Abelianisation of orthogonal groups and the fundamental group of modular varieties

We study moduli spaces of O'Grady's ten-dimensional irreducible symplectic manifolds. These moduli spaces are covers of modular varieties of dimension 21, namely quotients of hermitian symmetric domains by a suitable arithmetic group. The interesting and new aspect of this case is that the group in question is strictly bigger than the stable orthogonal group. This makes it different from both the K3 and the K3 [n] case, which are of dimension 19 and 20 respectively. IntroductionIrreducible symplectic manifolds are simply connected compact Kähler manifolds which have a (up to scalar) unique 2-form, which is non-degenerate. In dimension two these are the K3 surfaces. In higher dimension there are, so far, four known classes of examples. These are deformations of degree n Hilbert schemes of K3 surfaces (the K3[n] case), deformations of generalised Kummer varieties, and two examples of dimensions 6 and 10 due to O'GradyFrom the point of view of the Beauville lattice these examples fall into two series. The first consists of K3 surfaces, the K3[n] case and O'Grady's example of dimension 10. The Beauville lattices are the unimodular K3-lattice L K3 = 3U ⊕ 2E 8 (−1), the lattice L K3 ⊕ −2(n − 1) and L K3 ⊕ A 2 (−1). The moduli spaces of polarised irreducible symplectic manifolds of these classes are of dimensions 19, 20 and 21. The second series consists of generalised Kummer varieties and O'Grady's 6-dimensional variety with Beauville lattices 3U ⊕ −2 and 3U ⊕ −2 ⊕ −2 respectively. Here the dimensions of the moduli spaces of polarised varieties are 4 and 5.In order to describe moduli spaces of irreducible symplectic manifolds one must first classify the possible types of the polarisation. We do this in Section 3 for O'Grady's 10-dimensional example. As in the K3[n] case we find that we have a split and a non-split type. In this paper we shall mostly concentrate on the split case, when the modular group is maximal possible, but we shall also comment on the low degree non-split cases. 1In the non-split case we expect Kodaira dimension −∞ for the three cases of lowest Beauville degree, namely 2d = 12, 30, 48. For the next case of Beauville degree 2d = 66 we prove general type: see Corollary 4.3. The arguments used also suggest that 2d = 12, 30, 48 might be the only degrees of non-split polarisations giving unirational moduli spaces.We should like to comment that there is a natural series consisting of moduli of K3 surfaces of degree 2 (double planes branched along a sextic curve), the non-split K3[2] case of Beauville degree 2d = 6 (corresponding to cubic fourfolds and treated by Voisin in [Vo]) and O'Grady's example of dimension 10 with a non-split polarisation of degree 12. The lattices which are orthogonal to the polarisation vector in this series are 2U ⊕2E 8 (−1)⊕A n (−1) for n = 1, 2, 3. It would be very interesting to find a projective geometric realisation of O'Grady's 10-dimensional irreducible symplectic manifolds with non-split Beauville degree 12.In the split case we prove that the modular variety is...

show abstract

“…A proof of the following classical result, known as the Eichler criterion, is given in [GHS4,Proposition 3.3]. Proof.…”

Section: Any Totally Isotropic Subgroup Ofmentioning

confidence: 99%

Moduli Spaces of Polarized Symplectic O'Grady Varieties and Borcherds Products

Gritsenko

Hulek

Sankaran

2011

J. Differential Geom.

View full text Add to dashboard Cite

show abstract

“…The lattice 2U ⊕ A ∨ 6 (−7) satisfies the Kneser condition (see [14]). Therefore the unique nontrivial character of O + (2U ⊕ A ∨ 6 (−7)) is det (see [14,Corollary 1.8,Proposition 3.4]). Thus the modular form Borch(Ψ A ∨ 6 (7) ) has character det because it is antisymmetric.…”

Section: Lifting Scalar-valued Modular Forms To Jacobi Formsmentioning

confidence: 99%

Antisymmetric paramodular forms of weight 3

Gritsenko¹,

Wang²

2019

Sb. Math.

View full text Add to dashboard Cite

The problem on the construction of antisymmetric paramodular forms of canonical weight 3 was open since 1998. Any cusp form of this type determines a canonical differential form on any smooth compactification of the moduli space of Kummer surfaces associated to (1, t)-polarised abelian surfaces. In this paper, we construct the first infinite family of antisymmetric paramodular forms of weight 3 as Borcherds products whose first Fourier-Jacobi coefficient is a theta block.

show abstract

“…Since L 2 is unimodular, the Eichler criterion implies that div(Φ) equals the SO(L 2 ) +orbit of D α , see [11]. We can choose the representative α = (0, 0, r, 0, 0) ∈ L 2 where r = e 0 + e 5 + e 6 + e 7 2 (4)…”

Section: Corollary 53mentioning

confidence: 99%

The graded ring of modular forms on the Cayley half-space of degree two

2018

View full text Add to dashboard Cite

A result by Hashimoto and Ueda says that the graded ring of modular forms with respect to SO(2, 10) is a polynomial ring in modular forms of weights 4, 10,12,16,18, 22, 24, 28, 30, 36, 42. In this paper we show that one may choose Eisenstein series as generators. This is done by calculating sufficiently many Fourier coefficients of the restrictions to the Hermitian halfspace. Moreover we give two constructions of the skew symmetric modular form of weight 252.Let V be a real quadratic space of signature (2, 10). The bilinear form of V is denoted by (·, ·). The group of all isometries of V is called the orthogonal group of V and is given byBy SO(V ) we denote the subgroup of index two, which is equal to the kernel of the determinant-character. We obtain another subgroup O(V ) + of index two as the kernel of the real spinor norm. The intersection of the groups SO(V ) and O(V ) + is denoted by SO(V ) + . This is the connected component of the identity and is well-known to be a semisimple and noncompact Lie group, compare e.g. [15]. Its maximal compact subgroup is given by SO(2) × SO(10). In this text we fix L = E 8 to be the (up to isometries) unique even positive definite unimodular lattice in dimension 8. We denote the Gram matrix of L by S and define the even unimodular lattice of signature (2, 10)

show abstract

Abelianisation of orthogonal groups and the fundamental group of modular varieties

Cited by 78 publications

References 19 publications

Moduli Spaces of Polarized Symplectic O'Grady Varieties and Borcherds Products

Moduli Spaces of Polarized Symplectic O'Grady Varieties and Borcherds Products

Antisymmetric paramodular forms of weight 3

The graded ring of modular forms on the Cayley half-space of degree two

Contact Info

Product

Resources

About