skip to main content
US FlagAn official website of the United States government
dot gov icon
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
https lock icon
Secure .gov websites use HTTPS
A lock ( lock ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.


Title: Symmetries of Fano varieties
Abstract Prokhorov and Shramov proved that the BAB conjecture, which Birkar later proved, implies the uniform Jordan property for automorphism groups of complex Fano varieties of fixed dimension.This property in particular gives an upper bound on the size of finite semi-simple groups (i.e., those with no nontrivial normal abelian subgroups) acting faithfully on 𝑛-dimensional complex Fano varieties, and this bound only depends on 𝑛.We investigate the geometric consequences of an action by a certain semi-simple group: the symmetric group.We give an effective upper bound for the maximal symmetric group action on an 𝑛-dimensional Fano variety.For certain classes of varieties – toric varieties and Fano weighted complete intersections – we obtain optimal upper bounds.Finally, we draw a connection between large symmetric actions and boundedness of varieties, by showing that the maximally symmetric Fano fourfolds form a bounded family.Along the way, we also show analogues of some of our results for Calabi–Yau varieties and log terminal singularities.  more » « less
Award ID(s):
2202444
PAR ID:
10554973
Author(s) / Creator(s):
; ;
Publisher / Repository:
De Gruyter
Date Published:
Journal Name:
Journal für die reine und angewandte Mathematik (Crelles Journal)
ISSN:
0075-4102
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. Various coordinate rings of varieties appearing in the theory of Poisson Lie groups and Poisson homogeneous spaces belong to the large, axiomatically defined class of symmetric Poisson nilpotent algebras, e.g. coordinate rings of Schubert cells for symmetrizable Kac–Moody groups, affine charts of Bott-Samelson varieties, coordinate rings of double Bruhat cells (in the last case after a localization). We prove that every symmetric Poisson nilpotent algebra satisfying a mild condition on certain scalars is canonically isomorphic to a cluster algebra which coincides with the corresponding upper cluster algebra, without additional localizations by frozen variables. The constructed cluster structure is compatible with the Poisson structure in the sense of Gekhtman, Shapiro and Vainshtein. All Poisson nilpotent algebras are proved to be equivariant Poisson Unique Factorization Domains. Their seeds are constructed from sequences of Poisson-prime elements for chains of Poisson UFDs; mutation matrices are effectively determined from linear systems in terms of the underlying Poisson structure. Uniqueness, existence, mutation, and other properties are established for these sequences of Poisson-prime elements. 
    more » « less
  2. In 2015, Brosnan and Chow, and independently Guay-Paquet, proved the Shareshian-Wachs conjecture, which links the Stanley-Stembridge conjecture in combinatorics to the geometry of Hessenberg varieties through Tymoczko's permutation group action on the cohomology ring of regular semisimple Hessenberg varieties. In previous work, the authors exploited this connection to prove a graded version of the Stanley-Stembridge conjecture in a special case. In this manuscript, we derive a new set of linear relations satisfied by the multiplicities of certain permutation representations in Tymoczko's representation. We also show that these relations are upper-triangular in an appropriate sense, and in particular, they uniquely determine the multiplicities. As an application of these results, we prove an inductive formula for the multiplicity coefficients corresponding to partitions with a maximal number of parts. 
    more » « less
  3. Abstract Consider the algebraic function $$\Phi _{g,n}$$ that assigns to a general $$g$$ -dimensional abelian variety an $$n$$ -torsion point. A question first posed by Klein asks: What is the minimal $$d$$ such that, after a rational change of variables, the function $$\Phi _{g,n}$$ can be written as an algebraic function of $$d$$ variables? Using techniques from the deformation theory of $$p$$ -divisible groups and finite flat group schemes, we answer this question by computing the essential dimension and $$p$$ -dimension of congruence covers of the moduli space of principally polarized abelian varieties. We apply this result to compute the essential $$p$$ -dimension of congruence covers of the moduli space of genus $$g$$ curves, as well as its hyperelliptic locus, and of certain locally symmetric varieties. These results include cases where the locally symmetric variety $$M$$ is proper . As far as we know, these are the first examples of nontrivial lower bounds on the essential dimension of an unramified, nonabelian covering of a proper algebraic variety. 
    more » « less
  4. We study fixed-point loci of Nakajima varieties under symplectomorphisms and their antisymplectic cousins, which are compositions of a diagram isomorphism, a reflection functor, and a transpose defined by certain bilinear forms. These subvarieties provide a natural home for geometric representation theory of symmetric pairs. In particular, the cohomology of a Steinberg-type variety of the symplectic fixed-point subvarieties is conjecturally related to the universal enveloping algebra of the subalgebra in a symmetric pair. The latter symplectic subvarieties are further used to geometrically construct an action of a twisted Yangian on a torus equivariant cohomology of Nakajima varieties. In the type A case, these subvarieties provide a quiver model for partial Springer resolutions of nilpotent Slodowy slices of classical groups and associated symmetric spaces, which leads to a rectangular symmetry and a refinement of Kraft-Procesi row/column removal reductions. 
    more » « less
  5. Bott proved a strong vanishing theorem for sheaf cohomology on projective space, namely that the higher cohomology of every bundle of differential forms tensored with an ample line bundle is zero. This holds for toric varieties, but not for most other varieties. We classify the smooth Fano threefolds that satisfy Bott vanishing. There are many more than expected. 
    more » « less