RATIONALITY OF QUOTIENTS BY FINITE HEISENBERG GROUPS STANISLAV GRISHIN AND ILYA KARZHEMANOV, WITH AN APPENDIX BY MING-CHANG KANG n Abstract. We prove rationality of the quotient C /Hn for the finite Heisen- n berg group Hn, any n ≥ 1, acting on C via its irreducible representation. 1. Introduction 1.1. In the present paper, we study rationality of the quotient Cn/G (Noether’s problem) for the affine space Cn, n ≥ 1, equipped with a linear action of an algebraic group G. Recall that for finite G variety Cn/G can be non-rational (e.g. this is the case for certain p - groups in [22]). At the same time, for connected G the quotient Cn/G is typically stably rational, that is the product Ck × (Cn/G) is rational for some k (see [3, Theorem 2.1]). Note that variety Cn/G is rational when G is Abelian (see [7]). Some ratio- nality constructions for Cn/G with non - Abelian G can be found in [19] (see also [12]). In the present paper, we consider a particular case of the Heisenberg group n G := Hn generated by two elements ξ, η, which act on C as follows (Schr¨odinger representation): 2π√ 1 −i n− ξ : xi 7→ ω xi, η : xi 7→ xi+1 (i ∈ Z/n, ω := e ), arXiv:2010.05196v2 [math.AG] 17 Oct 2020 n where x1,...,xn form a basis in C (up to a choice of ω this is the only irreducible linear representation of Hn). n When studying rationality problem for C /Hn it is reasonable to pass to the n−1 projectivization and consider the quotient X := P /Hn (cf. [19, Proposition 1.2]). Here is our main result: Theorem 1.2. Variety X is rational for every n. MS 2020 classification: 14E08, 14M25, 14E30, 14J81. Key words: Heisenberg group, quotient, log pair, toric variety. 1 The group Hn is a central extension of Z/n ⊕ Z/n by Z/n ∋ [ξ, η] and so the n−1 action of Hn on P factors through that of Z/n ⊕ Z/n. Thus Theorem 1.2 is a natural generalization of linear Abelian case mentioned above. Let us also point out that the case of central extensions of the cyclic groups has been treated in [23]. Our result confirms in addition (a stronger version of) Conjecture 15 in [5]. Actually, stable rationality of X can be proved via a direct argument by considering diagonal action of Hn on V × V , with linear action of Z/n ⊕ Z/n on the second factor. Note also that Theorem 1.2 is evident when n ≤ 3 and the case n = 4 has been treated in [19, Theorem 5.2] (compare with [3, Lemma 3.1]). 1.3. Let us outline our approach towards the proof of Theorem 1.2. One may observe that the quotient Cn/G is a toric variety for Abelian group G. In our case n−1 of G = Hn, its action on P is also Abelian, and so it is reasonable to expect that X is toric as well. This turns out to be (almost) so. Namely, one employs an instance of the toric conjecture after V. V. Shokurov, characterizing toric varieties (with Picard number 1) in terms of the log pairs: we construct a Q - divisor D on X satisfying the assumptions of Proposition 2.2 below and reduce rationality problem for X to that for a cyclic quotient of Pn−1 (the latter n−1 is rational by the discussion in 1.1). In turn, the explicit action of Hn on P allows one to find appropriate invariant divisors descending to the components of D, which is done in 2.3. Our point was, more generally, to develop a geometric approach to the Noether’s problem for central extensions of Abelian groups (cf. 3.1 below). Thus the case of n C /Hn is a special corollary of this approach. On the other hand, after our paper appeared online, Professor Ming - chang Kang has kindly communicated to us an algebraic proof of Theorem 1.2 (see Appendix after Section 3). Remark 1.4. We show in Proposition 2.2 that X is actually a cyclic quotient of Pn−1/G for a linearized Abelian group G. Thus X resembles the so - called fake e e weighted projective space (see [13]). Note however that X need not be toric. Let us 2 consider the first non - trivial case n = 3. Here the group H3 acts on P preserving 3 3 3 1 the Hesse pencil Et : x + y + z + txyz =0 | t ∈ P and on the smooth cubic Et the H3 - action coincides with the one of the group of 3 - torsion points Et[3] 2 (see [1]). The quotient surface X = P /H3 has 4 singular points of type A2 and so can not be toric. One may also observe that the algebra of invariants of H3 in 2 C[x,y,z] is generated by polynomials xyz, x3 + y3 + z3, x3y3 + y3z3 + z3x3 and x3y6 + y3z6 + z3x6 (cf. [1, Section 6]). 2. Proof of Theorem 1.2 2.1. We will be using freely standard notions and facts about the singularities of pairs (see e. g. [15, Chapter 5]). All varieties are assumed to be normal, projective, over C, and all divisors are Q - Cartier with rational coefficients. Our proof of Theorem 1.2 is based on the following: Proposition 2.2 (cf. [14], [20], [10]). Let V be a d - dimensional variety with a d+1 boundary divisor D = X diDi, where Di are prime Weil divisors, such that the i=1 following holds: • the Picard number of V is 1, • the log pair (V,D) is log canonical, • KV + D ∼ Q 0, • diDi ∼ Q dj Dj for all 1 ≤ i, j ≤ d +1, • there exists a finite, ´etale in codimension 1 cyclic cover p : V ′ −→ V such ∗ that p (diDi) ∼ Q Wi, 1 ≤ i ≤ d +1, where Wi are distinct Weil divisors on V ′. Then V ′ is a toric quotient Pd/G for a finite Abelian group G with linearized e e action on Pd. In particular, if Γ ≃ Z/mZ is the Galois group of p, then V = V ′/Γ is birational to Pd/Γ (hence V is rational). Proof. We follow the proof of Lemma 3.1 in [20]. Namely, after repeated finite, p ´etale in codimension 1 cyclic covers V ←− V ′←− ... ←− V we obtain a new log e pair (V, D = ϕ∗(D)), where ϕ : V −→ V ′ is the resulting morphism, such that all ∗ ∗ e e e ϕ p (Wi) are Cartier. Furthermore, we have ∗ ∗ K e + D ∼ Q ϕ p (KV + D) ∼ Q 0 V e and (V, D) is log canonical, i. e. V is a log Fano (note that ϕ∗p∗(D) is ample). e e e ∗ ∗ e The Fano index of V is ≥ d + 1, since −KV ∼ Q D and ϕ p (diDi) ∼ Q ∗ ∗ e e d ϕ p (dj Dj ) for all 1 ≤ i, j ≤ d + 1. This implies that V = P and ϕ coincides e with the quotient morphism by some finite group G (the Galois group of the field 3 e extension C(V )/ϕ∗C(V ′)). Also, by construction G leaves invariant d + 1 hyper- ∗ ∗ e d e planes ϕ p (Wi) in P , whence it is Abelian. ∗ d ′ Further, if T := (C ) ⊂ V is the open torus with coordinates z1,...,zd, then ∗ ′ for some N ∈ N we have: Np (diDi) ∼ the closure Wi of (zi = 0) ⊂ V , 1 ≤ i ≤ d, ∗ f −1 ′ and Np (dd+1Dd+1) ∼ the closure Wd+1 of (zd+1 := (z1 ...zd) = 0) ⊂ V . In ∗ f ′ ′ particular, since each p (diDi) generates the Q -Picard group of V and V \ T = d+1 ′ [ Wi on the toric variety V , up to twist by a character we may assume that Γ i=1 f either preserves all the zi or permutes them cyclicly. In both cases, compactifying T by Pd, we obtain that T/Γ is birational to the rational variety Pd/Γ. n−1 2.3. We now turn to the variety X = P /Hn from Theorem 1.2. Let π : Pn−1 −→ X be the quotient morphism. ∗ Lemma 2.4. n 1 π is ´etale in codimension 1 and KP − ∼ Q π (KX ). Proof. The first assertion follows from the fact that every 6= 1 element in Hn has ∗ 1.1 n 1 non - multiple spectrum (see ). Then the equivalence KP − ∼ Q π (KX ) is the usual Hurwitz formula. n−1 Identify x0,...,xn−1 from 1.1 with projective coordinates on P . Put fk := k n−k ∗ k ∗ X xi xi+1 for 1 ≤ k ≤ n. We have ξ fk = ω fk and η fk = fk. Hence i∈Z/n n polynomials fk are Hn - invariant. 2 n n Lemma 2.5. n 1 The linear system L ⊂ |OP − (n )| spanned by f1 ,...,fn and n (x0 ...xn−1) is basepoint - free. Proof. It suffices to show that f1,...,fn and x0 ...xn−1 span a basepoint-free (m) linear system. Fix an arbitrary m ≥ n and consider the polynomials fk := k m−k (m) X xi xi+1 for various 1 ≤ k ≤ m. Let L be the linear system spanned by i∈Z/n (m) (m) m−n+1 (m) f1 ,...,fm and x0 ...xn−1 . Then we claim that L is basepoint-free (note that m = n corresponds to our case). Indeed, for n = 2 this is trivially true, whereas for n> 2 we restrict to the hyperplanes (xi = 0) and argue by induction.