Similar content being viewed by others
1 Introduction
The classical Kummer construction involves an abelian surface A over \(\mathbb {C}\) and an involution \(i:A\rightarrow A.\) The quotient \(X:=A/i\) is a normal surface having 16 rational singularities of type \(A_{1}.\) The minimal resolution of singularities \(\widetilde{X}\) of X is a K3 surface.
Various ideas have been used to give generalizations of the Kummer construction. In [18] the author describes the generalized Kummer manifold us an algebraic variety X for which there exists an abelian variety A and a generically surjective rational map \(A\rightarrow X.\) S. Cynk and K. Hulek in [10] imitated the classical Kummer construction in the sense that they considered pairs of varieties X, Y with involutions \(i_{X}\) and \(i_{Y}.\) Then the authors derived a criterion for when the quotient \((X\times Y)/(i_{X}\times i_{Y})\) admits a crepant resolution of singularities giving a Calabi-Yau manifold. In the paper [12] Cynk and M. Schütt using Cynk-Hulek generalised Kummer construction and the Weil restrictions discussed resulting Calabi-Yau manifolds over number fields. For \(n=3,\) the construction was exhibited in [4] in the context of Calabi-Yau threefold with complex multiplication.
In [2] M. Andreatta and J. Wiśniewski gave another generalization, \(Kum _{n}(A,G)\), of the classical Kummer construction by resolving singularities of the quotient of a complex abelian variety A of dimension n by a finite integral matrix group G in \(GL _{n}(\mathbb {Z})\). Incidentally, holomorphic symplectic manifolds introduced by A. Beauville in [3] are examples of manifolds \(Kum _{n}(A,G)\) for some group G. Andreatta and Wiśniewski gave also a new method to compute the cohomology of the constructed Kummer variety. In the case of Beauville’s holomorphic symplectic manifolds the cohomology has been computed by using another idea by L. Göttsche and W. Soergel in [15], B. Fantechi and L. Göttsche in [14]. In dimension 3, under some restrictions on the resolution of singularities and the group action, the resulting variety is a Calabi-Yau threefold.
M. Donten-Bury in [13] investigated the Andreatta-Wiśniewski construction in the case of \(A=E^{3}\) – a triple product of an elliptic curve E, together with an action of a finite subgroup of \(SL _{3}(\mathbb {Z})\) on \(E^{3}.\) The complete classification of finite subgroups of \(SL _{3}(\mathbb {Z})\) was given in [17], Donten-Bury classified these subgroups using different idea. Following Andreatta-Wiśniewski paper, the author gave detailed computations of the Poincaré polynomial of a crepant resolution \(Kum _{3}(E,G)\) of the quotient \(E^{3}/G.\)
The aim of this work is to give a formula for the Hodge numbers and local zeta function of \(Kum _{3}(E,G)\) using the Chen-Ruan orbifold cohomology theory [11] and the description of the Frobenius action on the orbifold cohomology [16]. The work is motivated by the limited range of examples of Calabi-Yau manifolds which are neither complete intersection in projective spaces nor hypersurfaces in toric space with explicit computed zeta functions.
Our main result is:
Theorem
Hodge numbers and zeta functions of \({\text {Kum}}_{3}(E,G)\) are given in tables from section 5.
In [6,7,8] we successfully used that approach in order to compute Hodge numbers and zeta function of manifolds \((X_1\times X_2 \times \ldots \times X_k)/G,\) where \(X_i\) (\(i=1,2,\ldots , k\)) are manifolds of a Calabi-Yau type (i.e. \(K_{X_{i}}= \mathcal {O}_{X_{i}}\)) and G is a finite group acting on a product variety \(X_1\times X_2 \times \ldots \times X_k.\) All computed examples covered: the famous Borcea-Voisin Calabi-Yau threefolds ( [5, 19]), n-dimensional Calabi-Yau manifold of a Borcea-Voisin type (see [9] for \(n=3\), and [8] for an arbitrary dimension n).
In Sects. 2 and 3 we briefly discuss Chen-Ruan cohomology theory and orbifold zeta function. In section 4 we give detailed computations of Hodge numbers and zeta functions of \(Kum _{3}(E,G)\), for some group \(G\in SL _{3}(\mathbb {Z})\) of order 24. In the Sect. 5 we give results of computations for all remaining groups.
2 Chen-Ruan cohomology
In [11] W. Chen and Y. Ruan introduced a new cohomology theory for an orbifold.
Definition 2.1
Let X be a projective variety and G be a finite group which acts on X. For a variety X/G define the Chen-Ruan cohomology by
where \(\text {Conj}(G)\) is the set of conjugacy classes of G (we choose a representative g of each conjugacy class), \(C (g)\) is the centralizer of g, \(\Lambda (g)\) denotes the set of irreducible connected components of the set fixed by \(g\in G\) and \({\text {age}}(g)\) is the age of the matrix of linearised action of g near a point of U.
The dimension of \( H_{\text {orb}}^{i,j}(X/G)\) will be denoted by \(h_{\text {orb}}^{i,j}(X/G).\)
An important feature of the Chen-Ruan cohomology is the possibility of computing Hodge numbers of a crepant resolution of singularities of a quotient variety, without referring to an explicit construction of such a resolution i.e.
Theorem 2.2
([20], Cor. 3.16) Let X and \(X'\) be complete varieties with Gorenstein quotient singularities. Suppose that there are proper birational morphisms \(Z\rightarrow X\) and \(Z\rightarrow X'\) such that \(K_{Z/X} = K_{Z/X'}.\) Then the orbifold cohomology groups of X and \(X'\) have the same Hodge structure.
As a special case we have:
Theorem 2.3
Let G be a finite group acting on an algebraic smooth variety X. If there exists a crepant resolution \(\widetilde{X/G}\) of variety X/G, then the following equality holds
For a systematic exposition of the orbifold Chen-Ruan cohomology see [1].
3 The orbifold zeta function
Let q be a prime power. For a smooth, tame, Deligne-Mumford \(\mathbb {F}_{q}\)-stack \(\mathcal {X}\) Rose in [16] defined \(\ell \)-adic Chen-Ruan orbifold cohomology of \(\mathcal {X}\times _{\mathbb {F}_{q}}\bar{\mathbb {F}}_{q}\) denoted by \(H^{*}_{\text {CR}}\left( \mathcal {X}\times _{\mathbb {F}_{q}}\bar{\mathbb {F}}_{q}, \mathbb {Q}_{l}\right) \) (Def. 3.1), introduced the orbifold Frobenius morphisms \({\text {Frob}}_{{\text {orb}}}\) on \(H^{*}_{\text {CR}}\left( \mathcal {X}\times _{\mathbb {F}_{q}}\bar{\mathbb {F}}_{q}, \mathbb {Q}_{l}\right) \) (Prop. 1.1) and defined (Def. 6.1) the orbifold zeta function by
It turns out that the orbifold zeta function of a crepant desingularization coincide with the usual zeta function i.e.
Theorem 3.1
([16], Cor. 6.4) Let \(\mathcal {X}\) be a proper, smooth, tame Deligne-Mumford stack satisfying the hard Lefschetz condition with trivial generic stabilizer. Suppose \(\widetilde{X}\rightarrow X\) is a crepant resolution of the coarse moduli scheme X of \(\mathcal {X},\) then
where \(Z_{q}(\widetilde{X},t)\) denotes the classical zeta function X.
As a special case we have:
Theorem 3.2
Let G be a finite group acting on an algebraic smooth variety X. If there exists a crepant resolution \(\widetilde{X/G}\) of variety X/G, then the following equality holds
4 Quotients of \(E^{3}\) by a finite subgroup of \(SL _{3}(\mathbb {Z})\)
Let E be an elliptic curve, and let G be a finite subgroup of \(SL _{3}(\mathbb {Z})\). The action of G on \(E^{3}\) is regarded as the action of G on the endomorphism ring of \(E^{3}.\) The quotient \(E^3/G\) admits a crepant resolution of singularities in the sense of Andreatta-Wiśniewski ( [2]) denoted by \({\text {Kum}}_{3}(E,G)\). If \(H^{1,0}(E^3)^G=0,\) then \({\text {Kum}}_{3}(E,G)\) is a Calabi-Yau threefold. The Calabi-Yau manifold \({\text {Kum}}_{3}(E,G)\) is defined over any subfield of \(\mathbb {C}\) containing the j-invariant of E. Note that all finite subgroups \(SL _{3}(\mathbb {Z})\) were classified in [17] as well as in [13] by using different idea.
Denote by \(\tau , \eta \) a 2-torsion and 3-torsion point of E, respectively.
4.1 Hodge numbers
In this section we compute Hodge numbers of the variety \({\text {Kum}}_{3}(E,G_{24.1}),\) where
is a finite subgroup of \(SL _{3}(\mathbb {Z})\) of order 24 denoted by \(G_{24.1}\). In the table below w collect all necessary data needed for computation of the Hodge numbers by using Chen-Ruan cohomology 2.1 i.e the fixed loci and the age of representative classes of conjugacy classes of \(G_{24.1}\):
\({\text {Fix}}(g_0)=E^3\) | |
\({\text {age}}(g_0)=0\) | |
\(C(g_0)=G_{24.1}\) | |
\(g_0=\left( \begin{array}{rrr}1 &{} 0 &{} 0 \\ 0 &{} 1 &{} 0 \\ 0 &{} 0 &{} 1 \end{array}\right) \) | |
\(g_1=\left( \begin{array}{rrr}-1 &{} 0 &{} 0\\ 0 &{} 0 &{} -1\\ 0 &{} -1 &{} 0 \end{array}\right) \) | \(C(g_1)=\left\langle _1,\;\left( \begin{array}{rrr}1 &{} 0 &{} 0 \\ 0 &{} -1 &{} 0 \\ 0 &{} 0 &{} -1 \end{array}\right) \right\rangle \simeq \mathbb {Z}_2\oplus \mathbb {Z}_2\) |
\({\text {Fix}}(g_{1})=\bigcup _{\tau \in E[2]}\{(\tau , -x, x)\}_{x\in E}\simeq \bigcup _{\tau \in E[2]}E - \text {four copies of }E\) | |
\({\text {age}}(g_1)=1\) | |
\(g_2=\left( \begin{array}{rrr}0 &{} -1 &{} 0\\ 0 &{} 0 &{} -1\\ 1 &{} 0 &{} 0 \end{array}\right) \) | \(C(g_2)=\left\langle g_2\right\rangle \simeq \mathbb {Z}_3 \) |
\(\displaystyle {\text {Fix}}(g_2)=\{(x, -x, x)\}_{x\in E}\simeq E - \text {one copy of }E\) | |
\({\text {age}}(g_2)=1\) | |
\(g_3=\left( \begin{array}{rrr}0 &{} -1 &{} 0\\ 1 &{} 0 &{} 0\\ 0 &{} 0 &{} 1 \end{array}\right) \) | \(C(g_3)=\left\langle g_3\right\rangle \simeq \mathbb {Z}_4 \) |
\(\displaystyle {\text {Fix}}(g_3)=\{(\tau , \tau , x)\}_{\tau \in E[2],\; x\in E}\simeq \bigcup _{\tau \in E[2]}E - \text {four copies of }E\) | |
\({\text {age}}(g_3)=1\) |
\(g_4=\left( \begin{array}{rrr}-1 &{} 0 &{} 0\\ 0 &{} -1 &{} 0\\ 0 &{} 0 &{} 1 \end{array}\right) \) | \(C(g_4)=\left\langle g_4,\; \left( \begin{array}{rrr}-1 &{} 0 &{} 0 \\ 0 &{} 1 &{} 0 \\ 0 &{} 0 &{} -1 \end{array}\right) , \left( \begin{array}{rrr}0 &{} 1 &{} 0 \\ -1 &{} 0 &{} 0 \\ 0 &{} 0 &{} 1 \end{array}\right) \right\rangle \simeq D_8 \) |
\(\displaystyle {\text {Fix}}(g_4)=\bigcup _{\tau _1\in E[2]}\bigcup _{\tau _2\in E[2]}\{(\tau _1, \tau _2, x)\}_{x\in E}\simeq \bigcup _{\tau _1\in E[2]}\bigcup _{\tau _2\in E[2]} E - \text {sixteen copies of }E\) | |
\({\text {age}}(g_4)=1\) |
The fixed locus of the action of \(g_0={\text {id}}.\) As \({\text {Fix}}(g_0)=E^3\) we have to compute \(H^{1,0}(E^3)^{G_{24.1}},\) \(H^{1,1}(E^3)^{G_{24.1}},\) \(H^{1,2}(E^3)^{G_{24.1}}.\) Denote by \(\mathop {}\!\textrm{d}z_{i},\) \(\mathop {}\!\textrm{d}\bar{z_{i}}\) pullbacks of invariant form and its complex conjugation by the projection \(E^{3}\rightarrow E\) on i-th component. Then \(\{\mathop {}\!\textrm{d}z_{1}, \mathop {}\!\textrm{d}z_{2}, \mathop {}\!\textrm{d}z_{3}\}\) is a basis of the vector space \(H^{1,0}(E^3).\) The action of generators of \(G_{24.1}\) on \(H^{1,0}(E^3)\) is given by matrices
Consequently the vector space \(H^{1,0}(E^3)^{G_{24.1}}\) is given by the kernel of the \(6\times 3\) matrix
In this case
Similarly the vector space \(H^{1,1}(E^3)^{G_{24.1}}\) has basis \(\mathop {}\!\textrm{d}z_{i}\wedge \mathop {}\!\textrm{d}\bar{z_{j}}\), hence the space \(H^{1,1}(E^3)^{G_{24.1}}\) is the kernel of the \(18\times 9\) matrix
where \(\otimes \) denotes the Kronecker product of matrices. In our case \(H^{1,1}(E^3)^{G_{24.1}}\simeq \mathbb {C}.\)
Finally \(\mathop {}\!\textrm{d}z_{i}\wedge \mathop {}\!\textrm{d}\bar{z_{j}}\wedge \mathop {}\!\textrm{d}\bar{z_{k}}\) forms a basis of \(H^{1,2}(E^3),\) hence \(H^{1,2}(E^3)^{G_{24.1}}\) is given by the kernel of the matrix
Consequently \(H^{1,2}(E^3)^{G_{24.1}}\simeq \mathbb {C}.\)
The fixed locus of the action of \(g_1.\) Since
and \(C(g_1)=\left\langle g_1, g\right\rangle \) where
it follows that
-
\(g(E^{(i)})=E^{(i)},\)
-
g acts on \(H^{0,0}({\text {Fix}}(g_{1}))\) as \({\text {diag}}(1,1,1,1)\),
-
g acts on \(H^{1,0}({\text {Fix}}(g_{1}))\) as \({\text {diag}}(-1,-1,-1,-1).\)
Consequently
One can also see that
The fixed locus of the action of \(g_2.\) In that case
Therefore \({\text {Fix}}(g_{2})/C(g_2)\simeq E,\) so
The fixed locus of the action of \(g_3.\) In that case
and \(C(g_3)=\left\langle g_3\right\rangle \). Therefore
The fixed locus of the action of \(g_4.\) In that case
The action of
on \(H^{0,0}({\text {Fix}}(g_4))\) has the following matrix
while the action of \(C(g_4)\) on \(H^{1,0}({\text {Fix}}(g_4))\) has the matrix \(-{\mathbb {1}}_{16}\). Therefore
In total, the Calabi-Yau manifold X has the following Hodge numbers:
hence the Poincaré polynomial of \({\text {Kum}}_{3}(E,G_{24.1})\) equals
which agrees with the result of [13].
4.2 Zeta function
Let q be a power of a prime \(p\ne 2\) such that the curve E admits a good reduction \(E_q\) over \(\mathbb {F}_q\). In the case of groups of order 6, 12, 24 we also assume that \(p\ne 3\). These conditions imply that the Calabi-Yau 3-fold \(X={\text {Kum}}_{3}(E_q,G)\) has a good reduction \(X_{q}\) over \(\mathbb {F}_q\).
The zeta function of \(E_q\) is equal to
where
Moreover trinomial \(1-a_qT+qT^2\) has two roots \(\alpha _{q}\) and \(\bar{\alpha _{q}}\) which are algebraic integers such that \(|\alpha _q|=|\bar{\alpha _q}|=q^{\frac{3}{2}}.\)
By [16] the orbifold zeta function is given by the product of zeta functions associated to fixed loci of actions of elements in \(G_{24.1}.\) The orbifold zeta function associated to \(H^{*}(E_q^{3})^{G_{24.1}}\) is a factor of zeta function of \(E_q^3:\)
The fixed locus of the action of \(g_0={\text {id}}.\) The contribution to the zeta function coming from \(H^{0}(X_q)\) and \(H^{6}(X_q)\) obviously equals
respectively.
By the orbifold formula (cf. Thm. 2.3) the Kummer 3-fold \({\text {Kum}}_{3}(E,G)\) is Calabi-Yau exactly for 16 non-cyclic groups from [17] (see Table 2 in [13] for a complete list of subgroups and corresponding Poincaré polynomials).
Lemma 4.1
Let E be an elliptic curve with a good reduction \(E_{q}\) over \(\mathbb {F}_q\). Then for any group G (such that \({\text {Kum}}_{3}(E,G)\) is a Calabi-Yau 3-fold) the group \(H^2(E_q^3)^{G}\) is generated by divisors defined over \(\mathbb {F}_q.\)
Consequently, the orbifold Frobenius polynomials for \(H^{2}(X_q)\) and \(H^{4}(X_q)\) equal
respectively.
Proof
The vector space \(H^{1,1}(E_q^3)^{G}\) is generated by the classes of the following invariant divisors:
-
\(G_{24.1}:\) \(\{(Z_1, Z_2, Z_3)\in E_q^{3}:Z_{1}=0\}\), \(\{(Z_1, Z_2, Z_3)\in E_q^{3}:Z_{2}=0\}\), \(\{(Z_1, Z_2, Z_3)\in E_q^{3}:Z_{3}=0\}\)
-
\(G_{24.2}:\) \(\{(Z_1, Z_2, Z_3)\in E_q^{3}:Z_1+Z_2+Z_3=0\}\), \(\{(Z_1, Z_2, Z_3)\in E_q^{3}:Z_1+Z_2=0\}\), \(\{(Z_1, Z_2, Z_3)\in E_q^{3}:Z_1+Z_3=0\}\), \(\{(Z_1, Z_2, Z_3)\in E_q^{3}:Z_{1}=0\}\), \(\{(Z_1, Z_2, Z_3)\in E_q^{3}:Z_{2}=0\}\), \(\{(Z_1, Z_2, Z_3)\in E_q^{3}:Z_{3}=0\}\)
-
\(G_{24.3}:\) \(\{(Z_1, Z_2, Z_3)\in E_q^{3}:Z_1+Z_2+Z_3=0\}\), \(\{(Z_1, Z_2, Z_3)\in E_q^{3}:Z_1+Z_2=0\}\), \(\{(Z_1, Z_2, Z_3)\in E_q^{3}:Z_1+Z_3=0\}\), \(\{(Z_1, Z_2, Z_3)\in E_q^{3}:Z_{1}=0\}\), \(\{(Z_1, Z_2, Z_3)\in E_q^{3}:Z_{2}=0\}\), \(\{(Z_1, Z_2, Z_3)\in E_q^{3}:Z_{3}=0\}\)
-
\(G_{12.1}:\) \(\{(Z_1, Z_2, Z_3)\in E_q^{3}:Z_2+Z_3=0\}\), \(\{(Z_1, Z_2, Z_3)\in E_q^{3}:Z_2=0\}\), \(\{(Z_1, Z_2, Z_3)\in E_q^{3}:Z_3=0\}\), \(\{(Z_1, Z_2, Z_3)\in E_q^{3}:Z_1=0\}\)
-
\(G_{12.2}:\) \(\{(Z_1, Z_2, Z_3)\in E_q^{3}:Z_{1}=0\}\), \(\{(Z_1, Z_2, Z_3)\in E_q^{3}:Z_{2}=0\}\), \(\{(Z_1, Z_2, Z_3)\in E_q^{3}:Z_{3}=0\}\)
-
\(G_{12.3}:\) \(\{(Z_1, Z_2, Z_3)\in E_q^{3}:Z_1-Z_2=0\}\), \(\{(Z_1, Z_2, Z_3)\in E_q^{3}:Z_2-Z_3=0\}\), \(\{(Z_1, Z_2, Z_3)\in E_q^{3}:Z_3-Z_1=0\}\), \(\{(Z_1, Z_2, Z_3)\in E_q^{3}:Z_{1}=0\}\), \(\{(Z_1, Z_2, Z_3)\in E_q^{3}:Z_{2}=0\}\), \(\{(Z_1, Z_2, Z_3)\in E_q^{3}:Z_{3}=0\}\)
-
\(G_{12.4}:\) \(\{(Z_1, Z_2, Z_3)\in E_q^{3}:Z_1+Z_2=0\}\), \(\{(Z_1, Z_2, Z_3)\in E_q^{3}:Z_1+Z_3=0\}\), \(\{(Z_1, Z_2, Z_3)\in E_q^{3}:Z_2+Z_3=0\}\), \(\{(Z_1, Z_2, Z_3)\in E_q^{3}:Z_1+Z_2+Z_3=0\}\), \(\{(Z_1, Z_2, Z_3)\in E_q^{3}:Z_{1}=0\}\), \(\{(Z_1, Z_2, Z_3)\in E_q^{3}:Z_{2}=0\}\), \(\{(Z_1, Z_2, Z_3)\in E_q^{3}:Z_{3}=0\}\)
-
\(G_{8.1}:\) \(\{(Z_1, Z_2, Z_3)\in E_q^{3}:Z_{1}=0\}\), \(\{(Z_1, Z_2, Z_3)\in E_q^{3}:Z_{2}=0\}\), \(\{(Z_1, Z_2, Z_3)\in E_q^{3}:Z_{3}=0\}\)
-
\(G_{8.2}:\) \(\{(Z_1, Z_2, Z_3)\in E_q^{3}:Z_1+Z_2+Z_3=0\}\), \(\{(Z_1, Z_2, Z_3)\in E_q^{3}:Z_1+Z_2=0\}\), \(\{(Z_1, Z_2, Z_3)\in E_q^{3}:Z_1+Z_3=0\}\), \(\{(Z_1, Z_2, Z_3)\in E_q^{3}:Z_{1}=0\}\), \(\{(Z_1, Z_2, Z_3)\in E_q^{3}:Z_{2}=0\}\), \(\{(Z_1, Z_2, Z_3)\in E_q^{3}:Z_{3}=0\}\)
-
\(G_{6.1}:\) \(\{(Z_1, Z_2, Z_3)\in E_q^{3}:Z_3-Z_2=0\}\), \(\{(Z_1, Z_2, Z_3)\in E_q^{3}:Z_{1}=0\}\), \(\{(Z_1, Z_2, Z_3)\in E_q^{3}:Z_{2}=0\}\), \(\{(Z_1, Z_2, Z_3)\in E_q^{3}:Z_{3}=0\}\)
-
\(G_{6.2}:\) \(\{(Z_1, Z_2, Z_3)\in E_q^{3}:Z_3-Z_2=0\}\), \(\{(Z_1, Z_2, Z_3)\in E_q^{3}:Z_{1}=0\}\), \(\{(Z_1, Z_2, Z_3)\in E_q^{3}:Z_{2}=0\}\), \(\{(Z_1, Z_2, Z_3)\in E_q^{3}:Z_{3}=0\}\)
-
\(G_{6.3}:\) \(\{(Z_1, Z_2, Z_3)\in E_q^{3}:Z_1+Z_2+Z_3=0\}\)
-
\(G_{4.1}:\) \(\{(Z_1, Z_2, Z_3)\in E_q^{3}:Z_{1}=0\}\), \(\{(Z_1, Z_2, Z_3)\in E_q^{3}:Z_{2}=0\}\), \(\{(Z_1, Z_2, Z_3)\in E_q^{3}:Z_{3}=0\}\)
-
\(G_{4.2}:\) \(\{(Z_1, Z_2, Z_3)\in E_q^{3}:Z_2+Z_3=0\}\), \(\{(Z_1, Z_2, Z_3)\in E_q^{3}:Z_{1}=0\}\), \(\{(Z_1, Z_2, Z_3)\in E_q^{3}:Z_{2}=0\}\), \(\{(Z_1, Z_2, Z_3)\in E_q^{3}:Z_{3}=0\}\)
-
\(G_{4.3}:\) \(\{(Z_1, Z_2, Z_3)\in E_q^{3}:Z_{1}=0\}\), \(\{(Z_1, Z_2, Z_3)\in E_q^{3}:Z_{2}=0\}\), \(\{(Z_1, Z_2, Z_3)\in E_q^{3}:Z_{3}=0\}\)
-
\(G_{4.4}:\) \(\{(Z_1, Z_2, Z_3)\in E_q^{3}:Z_1-Z_2=0\}\), \(\{(Z_1, Z_2, Z_3)\in E_q^{3}:Z_1+Z_3=0\}\), \(\{(Z_1, Z_2, Z_3)\in E_q^{3}:Z_2-Z_3=0\}\), \(\{(Z_1, Z_2, Z_3)\in E_q^{3}:Z_{2}=0\}\), \(\{(Z_1, Z_2, Z_3)\in E_q^{3}:Z_{3}=0\}\)
\(\square \)
Lemma 4.2
The orbifold Frobenius polynomial for \(H_{{\acute{e}t}}^{3}(E^3_q, \mathbb {Q}_{\ell })^{G}\) equals
Proof
The lemma is obvious when \(a_q=0,\) so we can consider only ordinary case. Let \(\omega , \eta \in H_{DR }^{1}(E_q)\) such that
Denote by \(\mathop {}\!\textrm{d}z_{i}=\pi _{i}^{*} (\mathop {}\!\textrm{d}z),\) \(\omega _i=\pi _{i}^{*} (\omega ),\) \(\eta _i=\pi _{i}^{*} (\eta )\) where \(\pi _{i}:E^{3}\rightarrow E\) is projection on i-th coordinate \((i=1,2,3)\). As \(\omega \) and \(\eta \) are linearly independent it follows
for some \(k, \ell , m, n \in \mathbb {C}\). Now
where
and
If all eigenvalues of \({\text {Frob}}_q^{*}\) are equal \(q\alpha _{q}\) and \(q\bar{\alpha _{q}},\) then \(k^{3}=\ell ^{3}=0\) as we consider the case \(a_q \ne 0\). Consequently \(\mathop {}\!\textrm{d}z=0\) which is impossible in the ordinary case.
\(\square \)
From the above lemmas we immediately get the following corollary
Corollary 4.3
The orbifold zeta function for \(H_{{\acute{e}t}}^{3}(E^3_q, \mathbb {Q}_{\ell })^{G}\) equals
For our main case (24.1) we have computed \(\dim H^{1,1}(E^3, \mathbb {C})^{G_{24.1}}=\dim H^{2,1}(E^3, \mathbb {C})^{G_{24.1}}=1,\) so the orbifold zeta function \(H_{{\acute{e}t}}^{3}(E^3_q, \mathbb {Q}_{\ell })^{G}\) equals
The fixed locus of the action of \(g_1=\left( \begin{array}{rrr}-1 &{} 0 &{} 0\\ 0 &{} 0 &{} -1\\ 0 &{} -1 &{} 0 \end{array}\right) \)
Since \({\text{ Fix }}(g_{1})/C(g_1)\simeq four copies of \) indexed by 2-torsion points E[2] the zeta function of \(H^{*}({\text {Fix}}(g_{1})/C(g_1))\) depends on the behaviour of torsion subgroups E[2] under the reduction modulo q. Let \(E_q[2]=\{a,b,c,d\}\) and denote by \(P_{(a_{1}, a_{2}, \ldots , a_{k})}\) the characteristic polynomial of the following matrix:
We have the following three cases:
-
(1,1,1,1) All points a, b, c, d are defined over \(\mathbb {F}_q\). Then the zeta function is equal to
$$\begin{aligned} P_{(1,1,1,1)}(T)=(1-T)^{4}. \end{aligned}$$ -
(1,1,2) Points a, b, \(c+d\) are defined over \(\mathbb {F}_q\) but c, d are not. The action of the Frobenius has the following linearization
$$\begin{aligned} {\begin{pmatrix} 1 &{} 0 &{} 0 &{} 0\\ 0 &{} 1 &{} 0 &{} 0\\ 0 &{} 0 &{} 0 &{} 1\\ 0 &{} 0 &{} 1 &{} 0\\ \end{pmatrix}} \end{aligned}$$and therefore the zeta function equals
$$\begin{aligned} P_{(1,1,2)}(T)=(1-T)^{3}(1+T). \end{aligned}$$ -
(1,3) a is defined over \(\mathbb {F}_{q}\) and b, c, d not. The action of the Frobenius has the following linearization
$$\begin{aligned} { \begin{pmatrix} 1 &{} 0 &{} 0 &{} 0\\ 0 &{} 0 &{} 0 &{} 1\\ 0 &{} 1 &{} 0 &{} 0\\ 0 &{} 0 &{} 1 &{} 0\\ \end{pmatrix}} \end{aligned}$$and therefore the zeta function equals
$$\begin{aligned} P_{(1,3)}(T)=(1-T)^{2}(1+T+T^2). \end{aligned}$$
From section 3 it follows that in the case \((\lambda )\) we have the following formula
for \((\lambda )\in \{(1,1,1,1), (1,1,2), (1,3)\}.\)
The fixed locus of the action of \(g_2=\left( \begin{array}{rrr}0 &{} -1 &{} 0\\ 0 &{} 0 &{} -1\\ 1 &{} 0 &{} 0 \end{array}\right) \)
Since \({\text {Fix}}(g_{2})/C(g_2)\simeq E\) it follows that
The fixed locus of the action of \(g_3=\left( \begin{array}{rrr}0 &{} -1 &{} 0\\ 1 &{} 0 &{} 0\\ 0 &{} 0 &{} 1 \end{array}\right) \) Since \(C(g_3)\) is generated by \(g_3\) then
The fixed locus of the action of \(g_4=\left( \begin{array}{rrr}-1 &{} 0 &{} 0\\ 0 &{} -1 &{} 0\\ 0 &{} 0 &{} 1 \end{array}\right) \)
In the case of \((1,1,1,1)\) the action has the matrix \({\mathbb {1}}_{10}\) with characteristic polynomial equal to
For (1,1,2) the Frobenius morphism has the following linearization:
with characteristic polynomial equal to
Finally, for (1,3) the Frobenius morphism has the following linearization:
with characteristic polynomial
Therefore in the case \((\eta )\) we get
for \(\eta \in \{(1,1,1,1,1,1,1,1,1,1), (1,1,1,1,2,2,2), (1,1,1,1,3,3)\}.\)
Multiplying rational functions (4.1), (4.2), (4.3), (4.4), (4.5) we obtain the following
Theorem 4.4
The zeta function of \({\text {Kum}}_{3}(E, G_{24.1})\) equals
Case: | \(\displaystyle {Z_{q}\left( {\text {Kum}}_{3}(E, G_{24.1})\right) }\) |
(1, 1, 1, 1) | \(\displaystyle {\frac{\left( 1-(a_q^{3}-3 a_q q)T+q^3 T^2\right) \left( 1-a_q qT +q^3T^{2}\right) ^{6}}{(1-T)(1-qT)^{20}(1-q^2T)^{20}(1-q^3T)}}\) |
(1, 1, 2) | \(\displaystyle {\frac{\left( 1-(a_q^{3}-3 a_q q)T+q^3 T^2\right) \left( 1-a_q qT +q^3T^{2}\right) ^{5}\left( 1+a_q qT +q^3T^{2}\right) ^{}}{(1-T)(1-qT)^{12}(1+qT)^5(1-a_{q}qT+q^{3}T^2)^3(1+q^2T)^5(1-q^2T)^{12}(1-q^3T)}}\) |
(1, 3) | \(\displaystyle {\frac{\left( 1-(a_q^{3}-3 a_q q)T+q^3 T^2\right) \left( 1-a_q qT +q^3T^{2}\right) ^{4}\left( 1+a_q qT -(q^3-a_q^2 q^2) T^2+a_q q^4 T^3 +q^6 T^4\right) ^{}}{(1-T)(1-qT)^{12}(1+qT+q^{2}T^2)^4(1+q^2T+q^4T^2)^4(1-q^2T)^{12}(1-q^3T)}}\) |
5 Examples
In the computation of zeta function we excluded powers of 2 and 3 because 2 is a prime of bad reduction of all considered Kummer manifolds while 3 is a prime of bad reduction of \({\text {Kum}}_{3}(E,G)\) where G is a group of order 6, 12, 24.
In this section we collect result of computations for all remaining groups. The Frobenius morphism acts on E[2] and E[3] by a permutation and the shape of the zeta function depends on the cycle type of this permutation. In particular, if all elements in E[2] and E[3] are \(\mathbb {F}_q\) rational then this action is trivial and hence the zeta function of \(X_q\) is given by the default (simplest) formula corresponding to the first row in the table.
5.1 Order 24
Hodge numbers:
Zeta function:
Case: | \(\displaystyle {Z_{q}\left( {\text {Kum}}_{3}(E, G_{24.2})\right) }\) |
(1, 1, 1, 1) | \(\displaystyle {\frac{\left( 1-(a_q^{3}-3 a_q q)T+q^3 T^2\right) \left( 1-a_q qT +q^3T^{2}\right) ^{3}}{(1-T)(1-qT)^{11}(1-q^2T)^{11}(1-q^3T)}}\) |
(1, 1, 2) | \(\displaystyle {\frac{\left( 1-(a_q^{3}-3 a_q q)T+q^3 T^2\right) \left( 1-a_q qT +q^3T^{2}\right) ^{3}}{(1-T)(1-qT)^{10}(1+qT)(1+q^2T)(1-q^2T)^{10}(1-q^3T)}}\) |
(1, 3) | \(\displaystyle {\frac{\left( 1-(a_q^{3}-3 a_q q)T+q^3 T^2\right) \left( 1-a_q qT +q^3T^{2}\right) ^{3}}{(1-T)(1-qT)^{7}(1+qT+q^{2}T^2)^2(1+q^2T+q^4T^2)^2(1-q^2T)^{7}(1-q^3T)}}\) |
\(G_{24.3}:\;\;\left\langle \left( \begin{array}{rrr} 1 &{} 1 &{} 0 \\ -2 &{} -1 &{} -1 \\ 0 &{} 0 &{} 1 \end{array}\right) , \left( \begin{array}{rrr} -1 &{} -1 &{} -1 \\ 0 &{} 0 &{} 1 \\ 0 &{} 1 &{} 0 \end{array}\right) \right\rangle \simeq S_{4}\) |
Hodge numbers:
Zeta function:
Case: | \(\displaystyle {Z_{q}\left( {\text {Kum}}_{3}(E, G_{24.3})\right) }\) |
(1, 1, 1, 1) | \(\displaystyle {\frac{\left( 1-(a_q^{3}-3 a_q q)T+q^3 T^2\right) \left( 1-a_q qT +q^3T^{2}\right) ^{3}}{(1-T)(1-qT)^{11}(1-q^2T)^{11}(1-q^3T)}}\) |
(1, 1, 2) | \(\displaystyle {\frac{\left( 1-(a_q^{3}-3 a_q q)T+q^3 T^2\right) \left( 1-a_q qT +q^3T^{2}\right) ^{3}}{(1-T)(1-qT)^{10}(1+qT)(1+q^2T)(1-q^2T)^{10}(1-q^3T)}}\) |
(1, 3) | \(\displaystyle {\frac{\left( 1-(a_q^{3}-3 a_q q)T+q^3 T^2\right) \left( 1-a_q qT +q^3T^{2}\right) ^{3}}{(1-T)(1-qT)^{7}(1+qT+q^{2}T^2)^2(1+q^2T+q^4T^2)^2(1-q^2T)^{7}(1-q^3T)}}\) |
5.2 Order 12
\(G_{12.1}:\;\; \left\langle \left( \begin{array}{rrr} 1 &{} 0 &{} 0 \\ 0 &{} 0 &{} -1 \\ 0 &{} 1 &{} 1 \end{array}\right) , \left( \begin{array}{rrr} -1 &{} 0 &{} 0 \\ 0 &{} 0 &{} 1 \\ 0 &{} 1 &{} 0 \end{array}\right) \right\rangle \simeq D_{6}\) |
Hodge numbers:
Zeta function: We get 15 possibilities for the zeta function of \({\text {Kum}}_{3}(E, G_{12.1})\):
where
Case: | \(\displaystyle {Z_{q}\left( {\text {Kum}}_{3}(E, G_{12.1})\right) }\) |
(1, 1, 1, 1, 1) (1, 1, 1, 1) | \(\displaystyle {\frac{\left( 1-(a_q^{3}-3 a_q q)T+q^3 T^2\right) \left( 1-a_q qT +q^3T^{2}\right) ^{9}}{(1-T)(1-qT)^{21}(1-q^2T)^{21}(1-q^3T)}}\) |
(1, 1, 1, 1, 1) (1, 1, 2) | \(\displaystyle {\frac{\left( 1-(a_q^{3}-3 a_q q)T+q^3 T^2\right) \left( 1-a_q qT +q^3T^{2}\right) ^{9}}{(1-T)(1-qT)^{18}(1+qT)^3(1+q^2T)^3(1-q^2T)^{18}(1-q^3T)}}\) |
(1, 1, 1, 1, 1)(1, 3) | \(\displaystyle {\frac{\left( 1-(a_q^{3}-3 a_q q)T+q^3 T^2\right) \left( 1-a_q qT +q^3T^{2}\right) ^{9}}{(1-T)(1-qT)^{15}(1+qT+q^{2}T^2)^3(1+q^2T+q^4T^2)^3(1-q^2T)^{15}(1-q^3T)}}\) |
(1, 1, 1, 2)(1, 1, 1, 1) | \(\displaystyle {\frac{\left( 1-(a_q^{3}-3 a_q q)T+q^3 T^2\right) \left( 1+a_q qT +q^3T^{2}\right) ^{5}\left( 1-a_q qT +q^3T^{2}\right) ^{4}}{(1-T)(1-qT)^{20}(1+qT)^{}(1+q^2T)^{}(1-q^2T)^{20}(1-q^3T)}}\) |
(1, 1, 1, 2)(1, 1, 2) | \(\displaystyle {\frac{\left( 1-(a_q^{3}-3 a_q q)T+q^3 T^2\right) \left( 1+a_q qT +q^3T^{2}\right) ^{5}\left( 1-a_q qT +q^3T^{2}\right) ^{4}}{(1-T)(1-qT)^{17}(1+qT)^{4}(1+q^2T)^{4}(1-q^2T)^{17}(1-q^3T)}}\) |
(1, 1, 1, 2)(1, 3) | \(\displaystyle {\frac{\left( 1-(a_q^{3}-3 a_q q)T+q^3 T^2\right) \left( 1+a_q qT +q^3T^{2}\right) ^{5}\left( 1-a_q qT +q^3T^{2}\right) ^{4}}{(1-T)(1-qT)^{14}(1+qT)^{}(1+qT+q^{2}T^2)^3(1+q^2T+q^4T^2)^3(1+q^2T)^{}(1-q^2T)^{14}(1-q^3T)}}\) |
(1, 2, 2)(1, 1, 1, 1) | \(\displaystyle {\frac{\left( 1-(a_q^{3}-3 a_q q)T+q^3 T^2\right) \left( 1+a_q qT +q^3T^{2}\right) ^{7}\left( 1-a_q qT +q^3T^{2}\right) ^{2}}{(1-T)(1-qT)^{19}(1+qT)^{2}(1+q^2T)^{2}(1-q^2T)^{19}(1-q^3T)}}\) |
(1, 2, 2)(1, 1, 2) | \(\displaystyle {\frac{\left( 1-(a_q^{3}-3 a_q q)T+q^3 T^2\right) \left( 1+a_q qT +q^3T^{2}\right) ^{7}\left( 1-a_q qT +q^3T^{2}\right) ^{2}}{(1-T)(1-qT)^{16}(1+qT)^{5}(1+q^2T)^{5}(1-q^2T)^{16}(1-q^3T)}}\) |
(1, 2, 2)(1, 3) | \(\displaystyle {\frac{\left( 1-(a_q^{3}-3 a_q q)T+q^3 T^2\right) \left( 1+a_q qT +q^3T^{2}\right) ^{7}\left( 1-a_q qT +q^3T^{2}\right) ^{2}}{(1-T)(1-qT)^{13}(1+qT)^{2}(1+qT+q^{2}T^2)^3(1+q^2T+q^4T^2)^3(1+q^2T)^{2}(1-q^2T)^{13}(1-q^3T)}}\) |
(1, 1, 3)(1, 1, 1, 1) | \(\displaystyle {\frac{\left( 1-(a_q^{3}-3 a_q q)T+q^3 T^2\right) \left( 1-a_q qT +q^3T^{2}\right) ^{7}\left( 1+a_q qT -(q^3-a_q^2 q^2) T^2+a_q q^4 T^3 +q^6 T^4\right) ^{}}{(1-T)(1-qT)^{19}(1+qT+q^{2}T^2)(1+q^2T+q^4T^2)(1-q^2T)^{19}(1-q^3T)}}\) |
(1, 1, 3)(1, 1, 2) | \(\displaystyle {\frac{\left( 1-(a_q^{3}-3 a_q q)T+q^3 T^2\right) \left( 1-a_q qT +q^3T^{2}\right) ^{7}\left( 1+a_q qT -(q^3-a_q^2 q^2) T^2+a_q q^4 T^3 +q^6 T^4\right) ^{}}{(1-T)(1-qT)^{16}(1+qT)^{3}(1+qT+q^{2}T^2)(1+q^2T+q^4T^2)(1+q^2T)^{3}(1-q^2T)^{16}(1-q^3T)}}\) |
(1, 1, 3)(1, 3) | \(\displaystyle {\frac{\left( 1-(a_q^{3}-3 a_q q)T+q^3 T^2\right) \left( 1-a_q qT +q^3T^{2}\right) ^{7}\left( 1+a_q qT -(q^3-a_q^2 q^2) T^2+a_q q^4 T^3 +q^6 T^4\right) ^{}}{(1-T)(1-qT)^{13}(1+qT+q^{2}T^2)^4(1+q^2T+q^4T^2)^4(1-q^2T)^{13}(1-q^3T)}}\) |
(1, 4)(1, 1, 1, 1) | \(\displaystyle {\frac{\left( 1-(a_q^{3}-3 a_q q)T+q^3 T^2\right) \left( 1-a_q qT +q^3T^{2}\right) ^{6}\left( 1+a_q qT +q^3T^{2}\right) ^{}\left( 1+a_q qT -(q^3-a_q^2 q^2) T^2+a_q q^4 T^3 +q^6 T^4\right) ^{}}{(1-T)(1-qT)^{18}(1+qT)(1+q^2T^2)(1+q^4T^2)(1+q^2T)(1-q^2T)^{18}(1-q^3T)}}\) |
(1, 1, 3)(1, 4) | \(\displaystyle {\frac{\left( 1-(a_q^{3}-3 a_q q)T+q^3 T^2\right) \left( 1-a_q qT +q^3T^{2}\right) ^{6}\left( 1+a_q qT +q^3T^{2}\right) ^{}\left( 1+a_q qT -(q^3-a_q^2 q^2) T^2+a_q q^4 T^3 +q^6 T^4\right) ^{}}{(1-T)(1-qT)^{15}(1+qT)^4(1+q^2T^2)(1+q^4T^2)(1+q^2T)^4(1-q^2T)^{15}(1-q^3T)}}\) |
(1, 4)(1, 3) | \(\displaystyle {\frac{\left( 1-(a_q^{3}-3 a_q q)T+q^3 T^2\right) \left( 1-a_q qT +q^3T^{2}\right) ^{6}\left( 1+a_q qT +q^3T^{2}\right) ^{}\left( 1+a_q qT -(q^3-a_q^2 q^2) T^2+a_q q^4 T^3 +q^6 T^4\right) ^{}}{(1-T)(1-qT)^{12}(1+qT)(1+q^2T^2)(1+qT+q^{2}T^2)^{3}(1+q^2T+q^4T^2)^3(1+q^4T^2)(1+q^2T)(1-q^2T)^{12}(1-q^3T)}}\) |
\(G_{12.2}:\;\;\left\langle \left( \begin{array}{rrr} 0 &{} 1 &{} 0 \\ 0 &{} 0 &{} 1 \\ 1 &{} 0 &{} 0 \end{array}\right) , \left( \begin{array}{rrr} -1 &{} 0 &{} 0 \\ 0 &{} 1 &{} 0 \\ 0 &{} 0 &{} -1 \end{array}\right) \right\rangle \simeq A_{4}\) |
Hodge numbers:
Zeta function:
Case: | \(\displaystyle {Z_{q}\left( {\text {Kum}}_{3}(E, G_{12.2})\right) }\) |
(1, 1, 1, 1) | \(\displaystyle {\frac{\left( 1-(a_q^{3}-3 a_q q)T+q^3 T^2\right) \left( 1-a_q qT +q^3T^{2}\right) ^{3}}{(1-T)(1-qT)^{19}(1-q^2T)^{19}(1-q^3T)}}\) |
(1, 1, 2) | \(\displaystyle {\frac{\left( 1-(a_q^{3}-3 a_q q)T+q^3 T^2\right) \left( 1-a_q qT +q^3T^{2}\right) ^{3}}{(1-T)(1-qT)^{15}(1+qT)^{4}(1+q^2T)^{4}(1-q^2T)^{15}(1-q^3T)}}\) |
(1, 3) | \(\displaystyle {\frac{\left( 1-(a_q^{3}-3 a_q q)T+q^3 T^2\right) \left( 1-a_q qT +q^3T^{2}\right) ^{3}}{(1-T)(1-qT)^{9}(1+qT+q^{2}T^2)^5(1+q^2T+q^4T^2)^5(1-q^2T)^{9}(1-q^3T)}}\) |
\(G_{12.3}:\;\; \left\langle \left( \begin{array}{rrr} 0 &{} 1 &{} 0 \\ 0 &{} 0 &{} 1 \\ 1 &{} 0 &{} 0 \end{array}\right) , \left( \begin{array}{rrr} 0 &{} -1 &{} 1 \\ 0 &{} -1 &{} 0 \\ 1 &{} -1 &{} 0 \end{array}\right) \right\rangle \simeq A_{4}\) | |
\(G_{12.4}:\;\; \left\langle \left( \begin{array}{rrr} 0 &{} 1 &{} 0 \\ 0 &{} 0 &{} 1 \\ 1 &{} 0 &{} 0 \end{array}\right) , \left( \begin{array}{rrr} -1 &{} -1 &{} -1 \\ 0 &{} 0 &{} 1 \\ 0 &{} 1 &{} 0 \end{array}\right) \right\rangle \simeq A_{4}\) |
Hodge numbers:
Zeta function:
Case: | \(\displaystyle {Z_{q}\left( {\text {Kum}}_{3}(E, G_{12.3})\right) =Z_{q}\left( {\text {Kum}}_{3}(E, G_{12.4})\right) }\) |
(1, 1, 1, 1) | \(\displaystyle {\frac{\left( 1-(a_q^{3}-3 a_q q)T+q^3 T^2\right) \left( 1-a_q qT +q^3T^{2}\right) ^{3}}{(1-T)(1-qT)^{7}(1-q^2T)^{7}(1-q^3T)}}\) |
(1, 1, 2) | \(\displaystyle {\frac{\left( 1-(a_q^{3}-3 a_q q)T+q^3 T^2\right) \left( 1-a_q qT +q^3T^{2}\right) ^{3}}{(1-T)(1-qT)^{6}(1+qT)(1+q^2T)(1-q^2T)^{6}(1-q^3T)}}\) |
(1, 3) | \(\displaystyle {\frac{\left( 1-(a_q^{3}-3 a_q q)T+q^3 T^2\right) \left( 1-a_q qT +q^3T^{2}\right) ^{3}}{(1-T)(1-qT)^{5}(1+qT+q^{2}T^2)(1+q^2T+q^4T^2)(1-q^2T)^{5}(1-q^3T)}}\) |
5.3 Order 8
\(G_{8.1}:\;\; \left\langle \left( \begin{array}{rrr} 1 &{} 0 &{} 0 \\ 0 &{} 0 &{} -1 \\ 0 &{} 1 &{} 0 \end{array}\right) , \left( \begin{array}{rrr} -1 &{} 0 &{} 0 \\ 0 &{} 0 &{} 1 \\ 0 &{} 1 &{} 0 \end{array}\right) \right\rangle \simeq D_{4}\) |
Hodge numbers:
Zeta function:
Case: | \(\displaystyle {Z_{q}\left( {\text {Kum}}_{3}(E, G_{8.1})\right) }\) |
(1, 1, 1, 1) | \(\displaystyle {\frac{\left( 1-(a_q^{3}-3 a_q q)T+q^3 T^2\right) \left( 1-a_q qT +q^3T^{2}\right) ^{6}}{(1-T)(1-qT)^{36}(1-q^2T)^{36}(1-q^3T)}}\) |
(1, 1, 2) | \(\displaystyle {\frac{\left( 1-(a_q^{3}-3 a_q q)T+q^3 T^2\right) \left( 1+a_q qT +q^3T^{2}\right) \left( 1-a_q qT +q^3T^{2}\right) ^{5}}{(1-T)(1-qT)^{27}(1+qT)^9(1+q^2T)^9(1-q^2T)^{27}(1-q^3T)0}}\) |
(1, 3) | \(\displaystyle {\frac{\left( 1-(a_q^{3}-3 a_q q)T+q^3 T^2\right) \left( 1-a_q qT +q^3T^{2}\right) ^{4}\left( 1+a_q qT -(q^3-a_q^2 q^2) T^2+a_q q^4 T^3 +q^6 T^4\right) ^{}}{(1-T)(1-qT)^{18}(1+qT+q^{2}T^2)^9(1+q^2T+q^4T^2)^9(1-q^2T)^{18}(1-q^3T)}}\) |
\(G_{8.2}:\;\;\left\langle \left( \begin{array}{rrr} 1 &{} 0 &{} 1 \\ 0 &{} 0 &{} -1 \\ 0 &{} 1 &{} 0 \end{array}\right) , \left( \begin{array}{rrr} -1 &{} 0 &{} 0 \\ 0 &{} 0 &{} -1 \\ 0 &{} -1 &{} 0 \end{array}\right) \right\rangle \simeq D_{4}\) |
Hodge numbers:
Zeta function:
Case: | \(\displaystyle {Z_{q}\left( {\text {Kum}}_{3}(E, G_{8.2})\right) }\) |
(1, 1, 1, 1) | \(\displaystyle {\frac{\left( 1-(a_q^{3}-3 a_q q)T+q^3 T^2\right) \left( 1-a_q qT +q^3T^{2}\right) ^{3}}{(1-T)(1-qT)^{15}(1-q^2T)^{15}(1-q^3T)}}\) |
(1, 1, 2) | \(\displaystyle {\frac{\left( 1-(a_q^{3}-3 a_q q)T+q^3 T^2\right) \left( 1-a_q qT +q^3T^{2}\right) ^{3}}{(1-T)(1-qT)^{12}(1+qT)^3(1+q^2T)^3(1-q^2T)^{12}(1-q^3T)}}\) |
(1, 3) | \(\displaystyle {\frac{\left( 1-(a_q^{3}-3 a_q q)T+q^3 T^2\right) \left( 1-a_q qT +q^3T^{2}\right) ^{3}}{(1-T)(1-qT)^{9}(1+qT+q^{2}T^2)^3(1+q^2T+q^4T^2)^3(1-q^2T)^{9}(1-q^3T)}}\) |
5.4 Order 6
\(G_{6.1}:\;\; \left\langle \left( \begin{array}{rrr} 1 &{} 0 &{} 0 \\ 0 &{} 0 &{} -1 \\ 0 &{} 1 &{} -1 \end{array}\right) , \left( \begin{array}{rrr} -1 &{} 0 &{} 0 \\ 0 &{} 0 &{} -1 \\ 0 &{} -1 &{} 0 \end{array}\right) \right\rangle \simeq S_{3}\) | |
\(G_{6.2}:\;\;\left\langle \left( \begin{array}{rrr} 1 &{} 0 &{} 0 \\ 0 &{} 0 &{} -1 \\ 0 &{} 1 &{} -1 \end{array}\right) , \left( \begin{array}{rrr} -1 &{} 0 &{} 0 \\ 0 &{} 0 &{} 1 \\ 0 &{} 1 &{} 0 \end{array}\right) \right\rangle \simeq S_{3}\) |
Hodge numbers:
Zeta function: We get 21 possibilities for the zeta function of \({\text {Kum}}_{3}(E, G_{6.1})\) and \({\text {Kum}}_{3}(E, G_{6.2})\):
where
Case: | \(\displaystyle {Z_{q}\left( {\text {Kum}}_{3}(E, G_{6.1})\right) =Z_{q}\left( {\text {Kum}}_{3}(E, G_{6.2})\right) }\) |
\(\begin{array}{l} {(1)^9}\\ {(1,1,1,1)}\end{array}\) | \(\displaystyle {\frac{\left( 1-(a_q^{3}-3 a_q q)T+q^3 T^2\right) \left( 1-a_q qT +q^3T^{2}\right) ^{15}}{(1-T)(1-qT)^{15}(1-q^2T)^{15}(1-q^3T)}}\) |
\(\begin{array}{l} {(1)^9}\\ {(1,1,2)}\end{array}\) | \(\displaystyle {\frac{\left( 1-(a_q^{3}-3 a_q q)T+q^3 T^2\right) \left( 1+a_q qT +q^3T^{2}\right) ^{}\left( 1-a_q qT +q^3T^{2}\right) ^{14}}{(1-T)(1-qT)^{14}(1+qT)(1+q^2T)(1-q^2T)^{14}(1-q^3T)}}\) |
\(\begin{array}{l}{(1)^9}\\ {(1,3)}\end{array}\) | \(\displaystyle {\frac{\left( 1-(a_q^{3}-3 a_q q)T+q^3 T^2\right) \left( 1-a_q qT +q^3T^{2}\right) ^{13}\left( 1+a_q qT -(q^3-a_q^2 q^2) T^2+a_q q^4 T^3 +q^6 T^4\right) ^{}}{(1-T)(1-qT)^{13}(1+qT+q^{2}T^2)(1+q^2T+q^4T^2)(1-q^2T)^{13}(1-q^3T)}}\) |
\(\begin{array}{l}{(1,1,1,2,2,2)}\\ {(1,1,1,1)}\end{array}\) | \(\displaystyle {\frac{\left( 1-(a_q^{3}-3 a_q q)T+q^3 T^2\right) \left( 1+a_q qT +q^3T^{2}\right) ^{3}\left( 1-a_q qT +q^3T^{2}\right) ^{12}}{(1-T)(1-qT)^{12}(1+qT)^3(1+q^2T)^3(1-q^2T)^{12}(1-q^3T)}}\) |
\(\begin{array}{l}{(1,1,1,2,2,2)}\\ {(1,1,2)}\end{array}\) | \(\displaystyle {\frac{\left( 1-(a_q^{3}-3 a_q q)T+q^3 T^2\right) \left( 1+a_q qT +q^3T^{2}\right) ^{4}\left( 1-a_q qT +q^3T^{2}\right) ^{11}}{(1-T)(1-qT)^{11}(1+qT)^4(1+q^2T)^4(1-q^2T)^{11}(1-q^3T)}}\) |
\(\begin{array}{l}{(1,1,1,2,2,2)}\\ {(1,3)}\end{array}\) | \(\displaystyle {\frac{\left( 1-(a_q^{3}-3 a_q q)T+q^3 T^2\right) \left( 1-a_q qT +q^3T^{2}\right) ^{10}\left( 1+a_q qT +q^3T^{2}\right) ^{3}\left( 1+a_q qT -(q^3-a_q^2 q^2) T^2+a_q q^4 T^3 +q^6 T^4\right) ^{}}{(1-T)(1-qT)^{10}(1+qT)^3(1+qT+q^{2}T^2)(1+q^2T+q^4T^2)(1+q^2T)^3(1-q^2T)^{10}(1-q^3T)}}\) |
\(\begin{array}{l}{(1,2,2,2,2)}\\ {(1,1,1,1)}\end{array}\) | \(\displaystyle {\frac{\left( 1-(a_q^{3}-3 a_q q)T+q^3 T^2\right) \left( 1+a_q qT +q^3T^{2}\right) ^{4}\left( 1-a_q qT +q^3T^{2}\right) ^{11}}{(1-T)(1-qT)^{11}(1+qT)^4(1+q^2T)^4(1-q^2T)^{11}(1-q^3T)}}\) |
\(\begin{array}{l}{(1,2,2,2,2)}\\ {(1,1,2)}\end{array}\) | \(\displaystyle {\frac{\left( 1-(a_q^{3}-3 a_q q)T+q^3 T^2\right) \left( 1+a_q qT +q^3T^{2}\right) ^{5}\left( 1-a_q qT +q^3T^{2}\right) ^{10}}{(1-T)(1-qT)^{10}(1+qT)^5(1+q^2T)^5(1-q^2T)^{10}(1-q^3T)}}\) |
Case: | \(\displaystyle {Z_{q}\left( {\text {Kum}}_{3}(E, G_{6.1})\right) =Z_{q}\left( {\text {Kum}}_{3}(E, G_{6.2})\right) }\) |
\(\begin{array}{l}{(1,2,2,2,2)}\\ {(1,3)}\end{array}\) | \(\displaystyle {\frac{\left( 1-(a_q^{3}-3 a_q q)T+q^3 T^2\right) \left( 1-a_q qT +q^3T^{2}\right) ^{9}\left( 1+a_q qT +q^3T^{2}\right) ^{4}\left( 1+a_q qT -(q^3-a_q^2 q^2) T^2+a_q q^4 T^3 +q^6 T^4\right) ^{}}{(1-T)(1-qT)^{9}(1+qT)^4(1+qT+q^{2}T^2)(1+q^2T+q^4T^2)(1+q^2T)^4(1-q^2T)^{9}(1-q^3T)}}\) |
\(\begin{array}{l}{(1,1,1,3,3)}\\ {(1,1,1,1)}\end{array}\) | \(\displaystyle {\frac{\left( 1-(a_q^{3}-3 a_q q)T+q^3 T^2\right) \left( 1-a_q qT +q^3T^{2}\right) ^{11}\left( 1+a_q qT -(q^3-a_q^2 q^2) T^2+a_q q^4 T^3 +q^6 T^4\right) ^{2}}{(1-T)(1-qT)^{11}(1+qT+q^{2}T^2)^2(1+q^2T+q^4T^2)^2(1-q^2T)^{11}(1-q^3T)}}\) |
\(\begin{array}{l}{(1,1,1,3,3)}\\ {(1,1,2)}\end{array}\) | \(\displaystyle {\frac{\left( 1-(a_q^{3}-3 a_q q)T+q^3 T^2\right) \left( 1-a_q qT +q^3T^{2}\right) ^{10}\left( 1+a_q qT +q^3T^{2}\right) ^{}\left( 1+a_q qT -(q^3-a_q^2 q^2) T^2+a_q q^4 T^3 +q^6 T^4\right) ^{2}}{(1-T)(1-qT)^{10}(1+qT)(1+qT+q^{2}T^2)^2(1+q^2T+q^4T^2)^2(1+q^2T)(1-q^2T)^{10}(1-q^3T)}}\) |
\(\begin{array}{l}{(1,1,1,3,3)}\\ {(1,3)}\end{array}\) | \(\displaystyle {\frac{\left( 1-(a_q^{3}-3 a_q q)T+q^3 T^2\right) \left( 1-a_q qT +q^3T^{2}\right) ^{9}\left( 1+a_q qT +q^3T^{2}\right) ^{4}\left( 1+a_q qT -(q^3-a_q^2 q^2) T^2+a_q q^4 T^3 +q^6 T^4\right) ^{}}{(1-T)(1-qT)^{9}(1+qT+q^{2}T^2)^3(1+q^2T+q^4T^2)^3(1-q^2T)^{9}(1-q^3T)}}\) |
\(\begin{array}{l}{(1,4,4)}\\ {(1,1,1,1)}\end{array}\) | \(\displaystyle {\frac{\left( 1-(a_q^{3}-3 a_q q)T+q^3 T^2\right) \left( 1-a_q qT +q^3T^{2}\right) ^{9}\left( 1+a_q qT +q^3T^{2}\right) ^{2}\left( 1+a_q qT -(q^3-a_q^2 q^2) T^2+a_q q^4 T^3 +q^6 T^4\right) ^{2}}{(1-T)(1-qT)^{9}(1+qT)^2(1+q^2T^2)^2(1+q^4T^2)^2(1+q^2T)^2(1-q^2T)^{9}(1-q^3T)}}\) |
\(\begin{array}{l}{(1,4,4)}\\ {(1,1,2)}\end{array}\) | \(\displaystyle {\frac{\left( 1-(a_q^{3}-3 a_q q)T+q^3 T^2\right) \left( 1-a_q qT +q^3T^{2}\right) ^{8}\left( 1+a_q qT +q^3T^{2}\right) ^{3}\left( 1+a_q qT -(q^3-a_q^2 q^2) T^2+a_q q^4 T^3 +q^6 T^4\right) ^{2}}{(1-T)(1-qT)^{8}(1+qT)^3(1+q^2T^2)^2(1+q^4T^2)^2(1+q^2T)^3(1-q^2T)^{8}(1-q^3T)}}\) |
\(\begin{array}{l}{(1,4,4)}\\ {(1,3)}\end{array}\) | \(\displaystyle {\frac{\left( 1-(a_q^{3}-3 a_q q)T+q^3 T^2\right) \left( 1-a_q qT +q^3T^{2}\right) ^{7}\left( 1+a_q qT +q^3T^{2}\right) ^{2}\left( 1+a_q qT -(q^3-a_q^2 q^2) T^2+a_q q^4 T^3 +q^6 T^4\right) ^{3}}{(1-T)(1-qT)^{7}(1+qT)^2(1+q^2T^2)^2(1+qT+q^{2}T^2)(1+q^2T+q^4T^2)(1+q^4T^2)^2(1+q^2T)^2(1-q^2T)^{7}(1-q^3T)}}\) |
\(\begin{array}{l}{(1,2,6)}\\ {(1,1,1,1)}\end{array}\) | \(\begin{aligned}&\displaystyle {\frac{\left( 1-(a_q^{3}-3 a_q q)T+q^3 T^2\right) \left( 1-a_q qT +q^3T^{2}\right) ^{9}\left( 1+a_q qT -(q^3-a_q^2 q^2) T^2+a_q q^4 T^3 +q^6 T^4\right) ^{}}{(1-T)(1-qT)^{9}(1+qT)^{2}(1+qT+q^{2}T^2)(1-qT+q^{2}T^2)(1-q^2T+q^4T^2)}}\times \\ {}&\times \frac{\left( 1+a_q qT +q^3T^{2}\right) ^{2}\left( 1-a_q qT -(q^3-a_q^2 q^2) T^2-a_q q^4 T^3 +q^6 T^4\right) ^{}}{(1+q^2T+q^4T^2)(1+q^2T)^{2}(1-q^2T)^{9}(1-q^3T)}\end{aligned}\) |
Case: | \(\displaystyle {Z_{q}\left( {\text {Kum}}_{3}(E, G_{6.1})\right) =Z_{q}\left( {\text {Kum}}_{3}(E, G_{6.2})\right) }\) |
\(\begin{array}{l}{(1,2,6)}\\ {(1,1,2)}\end{array}\) | \(\begin{aligned}&\displaystyle {\frac{\left( 1-(a_q^{3}-3 a_q q)T+q^3 T^2\right) \left( 1-a_q qT +q^3T^{2}\right) ^{8}\left( 1+a_q qT -(q^3-a_q^2 q^2) T^2+a_q q^4 T^3 +q^6 T^4\right) ^{}}{(1-T)(1-qT)^{8}(1+qT)^{3}(1+qT+q^{2}T^2)(1-qT+q^{2}T^2)(1-q^2T+q^4T^2)}}\times \\ {}&\times \frac{\left( 1+a_q qT +q^3T^{2}\right) ^{3}\left( 1-a_q qT -(q^3-a_q^2 q^2) T^2-a_q q^4 T^3 +q^6 T^4\right) ^{}}{(1+q^2T+q^4T^2)(1+q^2T)^{3}(1-q^2T)^{8}(1-q^3T)}\end{aligned}\) |
\(\begin{array}{l}{(1,2,6)}\\ {(1,3)}\end{array}\) | \(\begin{aligned}&\displaystyle {\frac{\left( 1-(a_q^{3}-3 a_q q)T+q^3 T^2\right) \left( 1-a_q qT +q^3T^{2}\right) ^{7}\left( 1+a_q qT -(q^3-a_q^2 q^2) T^2+a_q q^4 T^3 +q^6 T^4\right) ^{2}}{(1-T)(1-qT)^{7}(1+qT)^{2}(1+qT+q^{2}T^2)^2(1-qT+q^{2}T^2)(1-q^2T+q^4T^2)}}\times \\ {}&\times \frac{\left( 1+a_q qT +q^3T^{2}\right) ^{2}\left( 1-a_q qT -(q^3-a_q^2 q^2) T^2-a_q q^4 T^3 +q^6 T^4\right) ^{}}{(1+q^2T+q^4T^2)^2(1+q^2T)^{2}(1-q^2T)^{7}(1-q^3T)}\end{aligned}\) |
\(\begin{array}{l}{(1,8)}\\ {(1,1,1,1)}\end{array}\) | \(\begin{aligned}&\displaystyle {\frac{\left( 1-(a_q^{3}-3 a_q q)T+q^3 T^2\right) \left( 1-a_q qT +q^3T^{2}\right) ^{8}\left( 1+a_q qT +q^3T^{2}\right) ^{}\left( 1-2q^3T^2+a_q^2 q^2 T^2 +q^6 T^4\right) ^{}}{(1-T)(1-qT)^{8}(1+qT)^{}(1+q^2T^{2})^{}(1+q^4T^2)(1+q^4T^4)}}\times \\ {}&\times \frac{\left( 1+2q^6 T^4 -4a_q^2 q^5 T^4+a_q^4 q^4 T^4 +q^{12}T^8\right) ^{}}{(1+q^8T^4)(1+q^4T^2)^{}(1+q^2T)^{}(1-q^2T)^{8}(1-q^3T)}\end{aligned}\) |
\(\begin{array}{l}{(1,8)}\\ {(1,1,2)}\end{array}\) | \(\begin{aligned}&\displaystyle {\frac{\left( 1-(a_q^{3}-3 a_q q)T+q^3 T^2\right) \left( 1-a_q qT +q^3T^{2}\right) ^{7}\left( 1+a_q qT +q^3T^{2}\right) ^{2}\left( 1-2q^3T^2+a_q^2 q^2 T^2 +q^6 T^4\right) ^{}}{(1-T)(1-qT)^{7}(1+qT)^{2}(1+q^2T^{2})^{}(1+q^4T^2)(1+q^4T^4)}}\times \\ {}&\times \frac{\left( 1+2q^6 T^4 -4a_q^2 q^5 T^4+a_q^4 q^4 T^4 +q^{12}T^8\right) ^{}}{(1+q^8T^4)(1+q^4T^2)^{}(1+q^2T)^{2}(1-q^2T)^{7}(1-q^3T)}\end{aligned}\) |
\(\begin{array}{l}{(1,8)}\\ {(1,3)}\end{array}\) | \(\begin{aligned}&\displaystyle {\frac{\left( 1-(a_q^{3}-3 a_q q)T+q^3 T^2\right) \left( 1-a_q qT +q^3T^{2}\right) ^{6}\left( 1+a_q qT +q^3T^{2}\right) ^{}\left( 1-2q^3T^2+a_q^2 q^2 T^2 +q^6 T^4\right) ^{}}{(1-T)(1-qT)^{6}(1+qT)^{}(1+q^2T^{2})^{}(1+q^4T^2)(1+qT+q^{2}T^2)(1+q^4T^4)}}\times \\ {}&\times \frac{\left( 1+a_q qT -(q^3-a_q^2 q^2) T^2+a_q q^4 T^3 +q^6 T^4\right) ^{}\left( 1+2q^6 T^4 -4a_q^2 q^5 T^4+a_q^4 q^4 T^4 +q^{12}T^8\right) ^{}}{(1+q^8T^4)(1+q^2T+q^4T^2)(1+q^4T^2)^{}(1+q^2T)^{}(1-q^2T)^{6}(1-q^3T)}\end{aligned}\) |
\(G_{6.3}:\;\; \left\langle \left( \begin{array}{rrr} 0 &{} 1 &{} 0 \\ 0 &{} 0 &{} 1 \\ 1 &{} 0 &{} 0 \end{array}\right) , \left( \begin{array}{rrr} 0 &{} 0 &{} -1 \\ 0 &{} -1 &{} 0 \\ -1 &{} 0 &{} 0 \end{array}\right) \right\rangle \simeq S_{3}\) |
Hodge numbers:
Zeta function:
Case: | \(\displaystyle {Z_{q}\left( {\text {Kum}}_{3}(E, G_{6.3})\right) }\) |
(1, 1, 1, 1) | \(\displaystyle {\frac{\left( 1-(a_q^{3}-3 a_q q)T+q^3 T^2\right) \left( 1-a_q qT +q^3T^{2}\right) ^{7}}{(1-T)(1-qT)^{7}(1-q^2T)^{7}(1-q^3T)}}\) |
(1, 1, 2) | \(\displaystyle {\frac{\left( 1-(a_q^{3}-3 a_q q)T+q^3 T^2\right) \left( 1-a_q qT +q^3T^{2}\right) ^{3}}{(1-T)(1-qT)^{12}(1+qT)^3(1+q^2T)^3(1-q^2T)^{12}(1-q^3T)}}\) |
(1, 3) | \(\displaystyle {\frac{\left( 1-(a_q^{3}-3 a_q q)T+q^3 T^2\right) \left( 1-a_q qT +q^3T^{2}\right) ^{5}\left( 1+a_q qT -(q^3-a_q^2 q^2) T^2+a_q q^4 T^3 +q^6 T^4\right) ^{}}{(1-T)(1-qT)^{5}(1+qT+q^{2}T^2)(1+q^2T+q^4T^2)(1-q^2T)^{5}(1-q^3T)} }\) |
5.5 Order 4
\(G_{4.1}:\;\; \left\langle \left( \begin{array}{rrr} 1 &{} 0 &{} 0 \\ 0 &{} -1 &{} 0 \\ 0 &{} 0 &{} -1 \end{array}\right) , \left( \begin{array}{rrr} -1 &{} 0 &{} 0 \\ 0 &{} -1 &{} 0 \\ 0 &{} 0 &{} 1 \end{array}\right) \right\rangle \simeq \mathbb {Z}_2\oplus \mathbb {Z}_2\) |
Hodge numbers:
Zeta function:
Case: | \(\displaystyle {Z_{q}\left( {\text {Kum}}_{3}(E, G_{4.1})\right) }\) |
(1, 1, 1, 1) | \(\displaystyle {\frac{\left( 1-(a_q^{3}-3 a_q q)T+q^3 T^2\right) \left( 1-a_q qT +q^3T^{2}\right) ^{3}}{(1-T)(1-qT)^{51}(1-q^2T)^{51}(1-q^3T)}}\) |
(1, 1, 2) | \(\displaystyle {\frac{\left( 1-(a_q^{3}-3 a_q q)T+q^3 T^2\right) \left( 1-a_q qT +q^3T^{2}\right) ^{3}}{(1-T)(1-qT)^{39}(1+qT)^{12}(1+q^2T)^{12}(1-q^2T)^{39}(1-q^3T)}}\) |
(1, 3) | \(\displaystyle {\frac{\left( 1-(a_q^{3}-3 a_q q)T+q^3 T^2\right) \left( 1-a_q qT +q^3T^{2}\right) ^{3}}{(1-T)(1-qT)^{21}(1+qT+q^{2}T^2)^{15}(1+q^2T+q^4T^2)^{15}(1-q^2T)^{21}(1-q^3T)} }\) |
\(G_{4.2}:\;\; \left\langle \left( \begin{array}{rrr} 1 &{} 0 &{} 0 \\ 0 &{} -1 &{} 0 \\ 0 &{} 0 &{} -1 \end{array}\right) , \left( \begin{array}{rrr} -1 &{} 0 &{} 0 \\ 0 &{} 0 &{} -1 \\ 0 &{} -1 &{} 0 \end{array}\right) \right\rangle \simeq \mathbb {Z}_2\oplus \mathbb {Z}_2\) |
Hodge numbers:
Zeta function:
Case: | \(\displaystyle {Z_{q}\left( {\text {Kum}}_{3}(E, G_{4,2})\right) }\) |
(1, 1, 1, 1) | \(\displaystyle {\frac{\left( 1-(a_q^{3}-3 a_q q)T+q^3 T^2\right) \left( 1-a_q qT +q^3T^{2}\right) ^{9}}{(1-T)(1-qT)^{21}(1-q^2T)^{21}(1-q^3T)}}\) |
(1, 1, 2) | \(\displaystyle {\frac{\left( 1-(a_q^{3}-3 a_q q)T+q^3 T^2\right) \left( 1-a_q qT +q^3T^{2}\right) ^{9}}{(1-T)(1-qT)^{18}(1+qT)^{3}(1+q^2T)^{3}(1-q^2T)^{18}(1-q^3T)}}\) |
(1, 3) | \(\displaystyle {\frac{\left( 1-(a_q^{3}-3 a_q q)T+q^3 T^2\right) \left( 1-a_q qT +q^3T^{2}\right) ^{9}}{(1-T)(1-qT)^{15}(1+qT+q^{2}T^2)^{3}(1+q^2T+q^4T^2)^{3}(1-q^2T)^{15}(1-q^3T)}}\) |
\(G_{4.3}:\;\;\left\langle \left( \begin{array}{rrr} -1 &{} 0 &{} 0 \\ 0 &{} 0 &{} 1 \\ 0 &{} 1 &{} 0 \end{array}\right) , \left( \begin{array}{rrr} -1 &{} 0 &{} 0 \\ 1 &{} 0 &{} -1 \\ -1 &{} -1 &{} 0 \end{array}\right) \right\rangle \simeq \mathbb {Z}_2\oplus \mathbb {Z}_2\) | |
\(G_{4.4}:\;\; \left\langle \left( \begin{array}{rrr} -1 &{} 0 &{} 0 \\ 0 &{} 0 &{} 1 \\ 0 &{} 1 &{} 0 \end{array}\right) , \left( \begin{array}{rrr} -1 &{} 1 &{} -1 \\ 0 &{} 0 &{} -1 \\ 0 &{} -1 &{} 0 \end{array}\right) \right\rangle \simeq \mathbb {Z}_2\oplus \mathbb {Z}_2\) |
Hodge numbers:
Zeta function:
Case: | \(\displaystyle {Z_{q}\left( {\text {Kum}}_{3}(E, G_{4,3})\right) =Z_{q}\left( {\text {Kum}}_{3}(E, G_{4,4})\right) }\) |
(1, 1, 1, 1) | \(\displaystyle {\frac{\left( 1-(a_q^{3}-3 a_q q)T+q^3 T^2\right) \left( 1-a_q qT +q^3T^{2}\right) ^{3}}{(1-T)(1-qT)^{15}(1-q^2T)^{15}(1-q^3T)}}\) |
(1, 1, 2) | \(\displaystyle {\frac{\left( 1-(a_q^{3}-3 a_q q)T+q^3 T^2\right) \left( 1-a_q qT +q^3T^{2}\right) ^{3}}{(1-T)(1-qT)^{12}(1+qT)^{3}(1+q^2T)^{3}(1-q^2T)^{12}(1-q^3T)}}\) |
(1, 3) | \(\displaystyle {\frac{\left( 1-(a_q^{3}-3 a_q q)T+q^3 T^2\right) \left( 1-a_q qT +q^3T^{2}\right) ^{3}}{(1-T)(1-qT)^{9}(1+qT+q^{2}T^2)^{3}(1+q^2T+q^4T^2)^{3}(1-q^2T)^{9}(1-q^3T)}}\) |
References
Adem, A., Leida, J., Ruan, Y.: Orbifolds and stringy topology. Vol. 171. Cambridge Tracts in Mathematics. Cambridge University Press, Cambridge, pp. xii+149. isbn: 978-0-521-87004-7; 0-521-87004-6. https://doi.org/10.1017/CBO9780511543081 (2007)
Andreatta, M., Wiśniewski, Jaros law A.: “On the Kummer construction”. In: Rev. Mat. Complut. 23.1, pp. 191-215. issn: 1139-1138. (2010) https://doi.org/10.1007/s13163-009-0010-2
Beauville, A.: “Variétés Kähleriennes dont la première classe de Chern est nulle”. In: J. Differential Geom. 18.4 (1983), 755-782 . issn: 0022-040X. (1984) http://projecteuclid.org/euclid.jdg/1214438181
Borcea, C.: “Calabi-Yau threefolds and complex multiplication”. In: Essays on mirror manifolds. Int. Press, Hong Kong, pp. 489-502 (1992)
Borcea, C.: “K3 surfaces with involution and mirror pairs of Calabi-Yau manifolds”. In: Mirror symmetry, II. Vol. 1. AMS/IP Stud. Adv. Math. Amer. Math. Soc., Providence, RI, pp. 717-743 (1997)
Burek, D.: “Hodge numbers of generalised Borcea-Voisin threefolds”. In: Phenomenological approach to algebraic geometry. Vol. 116. Banach Center Publ. Polish Acad. Sci. Inst. Math., Warsaw, pp. 47-62 (2018)
Burek, D.: “Higher dimensional Calabi-Yau manifolds of Kummer type”. In: Math. Nachr. 293.4, pp. 638-650. issn: 0025-584X. https://doi.org/10.1002/mana.201800487 (2020)
Burek, D.: L-functions of higher dimensional Calabi-Yau manifolds of Borcea-Voisin type. eprint: arXiv:2107.04104 (2021)
Cattaneo, A., Garbagnati, A.: Calabi-Yau 3-folds of Borcea-Voisin type and elliptic fibrations. In: Tohoku Math. J. (2) 68.4, pp. 515-558. issn: 0040-8735. https://doi.org/10.2748/tmj/1486177214 (2016)
Cynk, S lawomir, Hulek, K.: Higher-dimensional modular Calabi-Yau manifolds. In: Canad. Math. Bull. 50.4 (2007), pp. 486-503. issn: 0008-4395. https://doi.org/10.4153/CMB-2007-049-9
Chen, W., Ruan, Y.: A new cohomology theory of orbifold’. In: Comm. Math. Phys. 248.1, pp. 1-31. issn: 0010-3616. https://doi.org/10.1007/s00220-004-1089-4 (2004)
Cynk, S lawomir, Schütt, Matthias: Generalised Kummer constructions and Weil restrictions. In: J. Number Theory 129.8, pp. 1965-1975. issn: 0022-314X. https://doi.org/10.1016/j.jnt.2008.09.010 (2009)
Donten, M.: On Kummer 3-folds. In: Rev. Mat. Complut. 24.2, pp. 465-492. issn: 1139-1138. (2011) https://doi.org/10.1007/s13163-010-0049-0
Fantechi, B., Göttsche, L.: Orbifold cohomology for global quotients. In: Duke Math. J. 117.2, pp. 197-227. issn: 0012-7094. https://doi.org/10.1215/S0012-7094-03-11721-4 (2003)
Göttsche, L., Soergel, W.: Perverse sheaves and the cohomology of Hilbert schemes of smooth algebraic surfaces. In: Math. Ann. 296.2, pp. 235-245. issn: 0025- 5831. (1993) https://doi.org/10.1007/BF01445104
Rose, Michael A.:“Frobenius action on \(\cal{l}\)-adic Chen-Ruan cohomology”. In: Communications in Number Theory and Physics 1.3, pp. 513.537. https://doi.org/10.4310/cntp.2007.v1.n3.a3 (2007)
Tahara, K.: On the finite subgroups of GL(3, Z). In: Nagoya Math. J. 41, pp. 169-209. issn: 0027-7630. http://projecteuclid.org/euclid.nmj/1118798212 (1971)
Ueno, K.: Classification theory of algebraic varieties and compact complex spaces. Lecture Notes in Mathematics, vol. 439. Notes written in collaboration with P. Cherenack. Springer- Verlag, Berlin-New York (1975)
Voisin, C.: Miroirs et involutions sur les surfaces K3. In: 218. Journées de Géométrie Algébrique d’Orsay (Orsay, 1992). pp. 273-323 (1993)
Yasuda, T.: Twisted jets, motivic measures and orbifold cohomology. In: Compos. Math. 140.2 , pp. 396-422. issn: 0010-437X. (2004) https://doi.org/10.1112/S0010437X03000368
Acknowledgements
I would like to thank Sławomir Cynk for helpful suggestions and comments. The author is supported by the National Science Center of Poland grant no. 2019/33/N/ST1/01502 and National Science Center of Poland grant no. 2020/36/T/ST1/00265. Part of this work was conducted during the stay at the Leibniz Universität in Hannover. I would like to thank the institute for hospitality. Finally, I would like to thank the anonymous referee for their careful reading and helpful suggestions.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Data sharing
Data sharing not applicable to this article as no datasets were generated or analysed during the current study.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Burek, D. Zeta function of some Kummer Calabi-Yau 3-folds. manuscripta math. (2023). https://doi.org/10.1007/s00229-023-01524-0
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00229-023-01524-0