Abstract We give a complete classification of symplectic birational involutions of manifolds ofOG10 type. We approach this classification with three techniques—via involutions of the Leech lattice, via involutions of cubic fourfolds, and finally lattice enumeration via a modified Kneser’s neighbour algorithm. The classification consists of three involutions with an explicit geometric realisation via cubic fourfolds, and three exceptional involutions which cannot be obtained by any known construction.
more »
« less
Automorphisms and periods of cubic fourfolds
Abstract We classify the symplectic automorphism groups for cubic fourfolds. The main inputs are the global Torelli theorem for cubic fourfolds and the classification of the fixed-point sublattices of the Leech lattice. Among the highlights of our results, we note that there are 34 possible groups of symplectic automorphisms, with 6 maximal cases. The six maximal cases correspond to 8 non-isomorphic, and isolated in moduli, cubic fourfolds; six of them previously identified by other authors. Finally, the Fermat cubic fourfold has the largest possible order (174, 960) for the automorphism group (non-necessarily symplectic) among all smooth cubic fourfolds.
more »
« less
- Award ID(s):
- 1802128
- PAR ID:
- 10314606
- Date Published:
- Journal Name:
- Mathematische Zeitschrift
- Volume:
- 300
- Issue:
- 2
- ISSN:
- 0025-5874
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
-
Abstract We prove that the K-moduli space of cubic fourfolds is identical to their GIT moduli space.More precisely, the K-(semi/poly)stability of cubic fourfolds coincide to the corresponding GIT stabilities, which was studied in detail by Laza. In particular, this implies that all smooth cubic fourfolds admit Kähler–Einstein metrics. Key ingredients are local volume estimates in dimension three due to Liu and Xu, and Ambro–Kawamata’s non-vanishing theorem for Fano fourfolds.more » « less
-
We study the geometry of smooth projective surfaces defined by Frobenius forms, a class of homogenous polynomials in prime characteristic recently shown to have minimal possible F-pure threshold among forms of the same degree. We call these surfaces extremal surfaces, and show that their geometry is reminiscent of the geometry of smooth cubic surfaces, especially non-Frobenius split cubic surfaces. For instance, extremal surfaces have many lines but no triangles, hence many “star points” analogous to Eckardt points on a cubic surface. We generalize the classical notion of a double six for cubic surfaces to a double 2d on an extremal surface of degree d. We show that, asymptotically in d, smooth extremal surfaces have at least (1/16)d^{14} double 2d's. A key element of the proofs is the large automorphism group of an extremal surface, which we show to act transitively on many associated sets, such as the set of triples of skew lines on the extremal surface.more » « less
-
There are three types of involutions on a cubic fourfold; two of anti-symplectic type, and one symplectic. Here we show that cubics with involutions exhibit the full range of behaviour in relation to rationality conjectures. Namely, we show a general cubic fourfold with a symplectic involution has no associated surface and is conjecturely irrational. In contrast, a cubic fourfold with a particular anti-symplectic involution has an associated , and is in fact rational. We show such a cubic is contained in the intersection of all non-empty Hassett divisors; we call such a cubic Hassett maximal. We study the algebraic and transcendental lattices for cubics with an involution both lattice theoretically and geometrically.more » « less
-
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
An official website of the United States government

