On 81 symplectic resolutions of a 4-dimensional quotient by a group of order 32

Divisors, linear systems, invertible sheaves (14C20) Global theory and resolution of singularities (algebro-geometric aspects) (14E15) Minimal model program (Mori theory, extremal rays) (14E30) Geometric invariant theory (14L24) Group actions on varieties or schemes (quotients) (14L30) Hyper-Kähler and quaternionic Kähler geometry, ``special geometry (53C26)

Abstract: We provide a construction of 81 symplectic resolutions of a 4-dimensional quotient singularity obtained by an action of a group of order 32. The existence of such resolutions is known by a result of Bellamy and Schedler. Our explicit construction is obtained via GIT quotient of the spectrum of a ring graded in the Picard group generated by the divisors associated to the conjugacy classes of symplectic reflections of the group in question. As the result we infer the geometric structure of these resolutions and their flops. Moreover, we represent the group in question as a group of automorphisms of an abelian 4-fold so that the resulting quotient has singularities with symplectic resolutions. This yields a new Kummer-type symplectic 4-fold.

Review text

This paper provides an explicit construction of \(81\) symplectic resolutions of a \(4\)-dimensional quotient singularity obtained by an action of a certain symplectic group \(G\) of order \(32\) and also a construction of a new Kummer-type symplectic \(4\)-fold. For a complex vector space \(V\) with a symplectic form \(\omega\), denote by \(\mathrm{Sp}(V)\) its group of symplectomorphisms. An element \(A\in\mathrm{Sp}(V)\) is called a symplectic reflection if its fixed point set is of codimension \(2\). The paper studies the case when \(V=\mathbb{C}^4\), \(\omega=dx_1\wedge dx_3+dx_2\wedge dx_4\) in canonical coordinates, and the group \(G\) is generated by \(5\) symplectic reflections given by explicit \(4\times 4\) matrices (see Section~2.C of the paper). This group \(G\) has order \(32\) and is conjugate in \(\mathrm{Sp}(V)\) to the group generated by Dirac gamma matrices. So, the quotient singularity in question is \(Y=V/G\). A resolution \(\varphi: X\to Y\) is called symplectic, if \(X\) admits a symplectic form. The fact that \(Y\) has symplectic resolutions and that there are exactly \(81\) of them was proven earlier by \textit{G. Bellamy} and \textit{T. Schedler} [Math. Z. 273, No. 3--4, 753--769 (2013; Zbl 1271.16029)]. The new contribution of the article under consideration is an explicit construction of these resolutions. The first main result of the paper reads as follows. Let \(\mathbb{T}\) be a \(5\)-dimensional algebraic torus with coordinates \(t_i\), \(i=0,\dots,4\) associated to five classes of symplectic reflections generating \(G\). Let \(\mathcal{R}\) be a \(\mathbb{C}\)-subalgebra generated in \(\mathbb{C}[V]\otimes\mathbb{C}[\mathbb{T}]\) by \(t_{i}^{-2}\) for \(i=0,\dots,4\) and \(\phi_{ij}t_it_j\) for \(0\leq i<j\leq 4\), where \(\phi_{ij}\) are certain eigenfunctions of the action of the abelianization \(\mathrm{Ab}(G)\) on \(\mathbb{C}[V]^{[G,G]}\). Note that \(\mathrm{Ab}(G)\) can be identified with the class group \(\mathrm{Cl}(Y)\) and \(\mathbb{C}[V]^{[G,G]}\) with the Cox (or total coordinate) ring of \(Y\). Then there exist \(81\) GIT quotients of \(\mathrm{Spec}\mathcal{R}\) with respect to the action of an algebraic torus associated to a certain grading of \(\mathcal{R}\), and these quotients yield all symplectic resolutions of \(Y\). There is one distinguished resolution, and all other are obtained from it by flops. An interesting feature of the approach undertaken by the authors is the extensive use of the Cox ring. For the exact relation between the Cox ring of resolution of \(Y\) and the algebra \(\mathcal{R}\) the reader should consult the paper itself. As an application of their technique, the authors describe an action of the group \(G\) on an abelian \(4\)-fold such that the resulting quotient admits a symplectic resolution and thus is a Kummer-type symplectic \(4\)-fold. Their second main result states that if \(\mathbb{E}\) is an elliptic curve with complex multiplication by \(\sqrt{-1}\), then there exists an embedding of the group \(G\) to the group \(\mathrm{Aut}(\mathbb{E}^4)\) such that the quotient \(\mathbb{E}^4/G\) has a resolution which is a Kummer symplectic \(4\)-fold \(X\) with \(b_2(X)=23\) and \(b_4(X)=276\). The article is generally well written and self-contained. Some places are, however, computationally involved and the authors rely there on computer algebra systems as Macaulay2 and Singular.

Recommendations

Cited in

(14)

Describes a project that uses

Uses Software

This page was built for publication: On 81 symplectic resolutions of a 4-dimensional quotient by a group of order 32

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2359438)