Pith. sign in

REVIEW 2 major objections 4 minor 54 references

Tracking the symmetries of $\mathbb Z_3$-orbifold K3s within the Mathieu groups

T0 review · 2 major / 4 minor · reviewed 2026-08-16 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read The symmetry group of Z3-orbifold K3 surfaces is (Z3)^2 ⋊ Z4, and its image in M24 joins the Kummer symmetries to generate the entire Mathieu group M24.

desk verdict Solid lattice-theoretic determination of the Z3-orbifold K3 symmetry group; the M24 step is explicitly ad hoc but the core math holds up. read the letter →

arxiv 2504.16248 v2 pith:B2X6HNSU submitted 2025-04-22 math.AG hep-thmath.GR

Kasia Budzik , Anne Taormina , Mara Ungureanu , Katrin Wendland , Ida G. Zadeh This is my paper · ORCID
classification math.AGhep-thmath.GR MSC 14J2814J50
keywords Z3-orbifoldK3surfacesMathieugroupM24M12NiemeierlatticessymplecticautomorphismslatticegluingKummer
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

For $\mathbb{Z}_3$-orbifold limits of K3 surfaces, the complex surfaces obtained by minimally resolving the nine $A_2$ singularities of a $\mathbb{Z}_3$-quotient of a two-torus, this paper determines the full group of holomorphic symplectic automorphisms. The claimed group is $(\mathbb{Z}_3)^2 \rtimes \mathbb{Z}_4$, generated by translations of the underlying torus and one rotation, and every symmetry is shown to be induced by a symmetry of that torus. The paper then tracks these symmetries inside the sporadic Mathieu groups $M_{12}$ and $M_{24}$, writing them as explicit permutations of 12 and 24 elements. As a proof of concept, the image in $M_{24}$ together with the combined symmetry group of all Kummer surfaces generates the entire Mathieu group $M_{24}$. This supplies a new geometric piece of the Mathieu moonshine correspondence between K3 geometry and sporadic groups.

What carries the argument

The load-bearing object is the rank-18 Kummer-like lattice $P$, generated by the root lattice $A_2^9$ together with vectors obtained from affine lines in $\mathbb{F}_3^2$, and its partner rank-4 torus lattice $K$; the two are glued by lattice gluing to form $H^2(X,\mathbb{Z})$. The paper's central variation of the lattice technique of reference [13] is to track symmetries on $P$ rather than on the orthogonal complement of the invariant sublattice, which is possible because $P$ is generated by roots. The uniqueness of the primitive embedding of $P(-1)$ into the Niemeier lattice $N$ of type $A_2^{12}$, proved by discriminant-form gluing, makes $N$ the canonical stage where the symmetry group becomes permutations of the twelve $A_2$ components, hence visible inside $M_{12}$ and $M_{24}$.

What would settle it

Find a holomorphic symplectic automorphism of $X = \widehat{T/\mathbb{Z}_3}$ that is not induced by a symmetry of the torus $T$; for instance, compute the full automorphism group by an independent deformation-theoretic or period-domain method and check whether it exceeds $(\mathbb{Z}_3)^2 \rtimes \mathbb{Z}_4$. Alternatively, test directly whether the Torelli-type correspondence (2.10) used in the proof holds for the degenerate Kähler class by examining a $\mathbb{Z}_3$-effective lattice automorphism that fixes the relevant subspace but does not come from a geometric map.

Watch

Extended reading notes

Core claim

The paper's central result is that the symmetry group of a $\mathbb{Z}_3$-orbifold K3 surface $X = \widehat{T/\mathbb{Z}_3}$ is $(\mathbb{Z}_3)^2 \rtimes \mathbb{Z}_4$, and that this entire group is induced from symmetries of the underlying torus $T$. The proof describes $H^2(X,\mathbb{Z})$ as a lattice gluing of a rank-4 torus lattice $K$ and a rank-18 Kummer-like lattice $P$, then shows, via the Torelli-type correspondence (2.10), that every $\mathbb{Z}_3$-effective lattice automorphism fixing the appropriate subspace is realized geometrically and is generated by translations and the rotation $\beta$. A primitive embedding of $P(-1)$ into the Niemeier lattice $N$ of type $A_2^{12}$ is constructed and proved unique up to automorphisms, and $N$ is proved to be the unique Niemeier lattice admitting such an embedding. This yields faithful permutation representations of the symmetry group in $M_{12}$ and, via the standard embedding $M_{12} \subset M_{24}$, in $M_{24}$; together with the Kummer-surface symmetry group $(\mathbb{Z}_2)^4 \rtimes A_8$ from earlier work, the $M_{24}$ image generates the full Mathieu group $M_{24}$.

Load-bearing premise

The proof assumes that the classification of symmetries by lattice automorphisms (a Torelli theorem) remains valid for a Kähler class lying on the boundary of the allowed range, whereas the standard theorems are formulated for interior classes.

Editorial extensions

If this is right

  • The group of holomorphic symplectic automorphisms of every $\mathbb{Z}_3$-orbifold K3 is $(\mathbb{Z}_3)^2 \rtimes \mathbb{Z}_4$, generated by torus translations and a rotation, with no exceptional or extra symmetries.
  • These symmetries admit faithful permutation representations in $M_{12}$ and $M_{24}$, given explicitly in corollary 3.2.4 and proposition 3.3.2.
  • The Niemeier lattice $A_2^{12}$ is the unique positive definite self-dual rank-24 lattice that primitively contains $P(-1)$, making it the canonical lattice for tracking these symmetries.
  • Combining the $M_{24}$ image of this group with the combined symmetry group $(\mathbb{Z}_2)^4 \rtimes A_8$ of all Kummer surfaces generates the full Mathieu group $M_{24}$ (Theorem 3.3.3).
  • Rotational symmetries of the $\mathbb{Z}_3$-orbifold cannot be tracked on the non-primitive $E_6^4$ embedding, where the group reduces to $(\mathbb{Z}_3)^2$, confirming that primitivity is needed for the full symmetry.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • A testable extension the paper leaves open: the generation of $M_{24}$ by the $\mathbb{Z}_2$- and $\mathbb{Z}_3$-orbifold images suggests that other cyclic orbifold limits of K3 might combine with these two to realize the full Mathieu group through purely geometric symmetry groups, via a yet-to-be-constructed symmetry surfing of the moduli space.
  • The uniqueness of the primitive embedding of $P(-1)$ into the $A_2^{12}$ Niemeier lattice implies that any alternative geometric construction realizing these same $\mathbb{Z}_3$-orbifold symmetries would have to land in the same Niemeier lattice up to automorphism, which can serve as a consistency check for future orbifold constructions.
  • The explicit $M_{24}$ permutations could be tested in an orbifold conformal field theory: the rotational symmetry $\beta$ should appear as a genuine permutation mixing the twelve $A_2$-type labels, and a natural geometric origin for this mixing would turn the paper's ad hoc combination into a computed symmetry-surfing statement.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 4 minor

Summary. The paper studies the Z3-orbifold K3 surface X obtained as the minimal resolution of T/Z3 for a product of two elliptic curves with Z3 symmetry. It gives two constructions of X, determines the integral cohomology lattice H2(X,Z) by gluing two primitive sublattices K and P, and identifies the symmetry group of X — defined as the group of biholomorphic automorphisms preserving the holomorphic 2-form and the specific degenerate Kähler class induced from the torus — as (Z3)^2 ⋊ Z4. The paper then embeds the Kummer-like lattice P(-1) primitively into the Niemeier lattice of type A2^12, proves uniqueness of this embedding and uniqueness of the Niemeier lattice among all Niemeier lattices admitting such a primitive embedding, and uses this to realize the symmetry group as an explicit subgroup of M12 and M24. Finally, it shows that the image of this group together with the combined symmetry group of Kummer surfaces generates M24, while explicitly acknowledging that this last step depends on ad hoc choices.

Significance. If the results stand, the paper provides a genuine Z3-analogue of the extensive Kummer-surface programme: it gives the first detailed lattice-theoretic determination of the symmetry group of Z3-orbifold K3s, a new uniqueness theorem for the primitive embedding of P(-1) into the A2^12 Niemeier lattice, and explicit permutation realizations of the symmetry group inside M12 and M24. The lattice computations are carried out with full generators, gluing data, and discriminant forms, and several group-theoretic checks are reported as verified with GAP and Sage, which makes the paper unusually reproducible. The authors are also transparent that the final generation of M24 is a proof of concept rather than a geometrically or conformal-field-theoretically motivated symmetry-surfing result. These strengths make the paper a useful contribution to the Mathieu moonshine and K3 automorphism literature, provided the scope of the main theorem is stated precisely.

major comments (2)
  1. [Section 1, item 3; Section 2.4, Eq. (2.8) and footnote 4] The abstract and the introduction state that the paper determines 'the group of holomorphic symplectic automorphisms' of Z3-orbifold K3s, and item 3 of the introduction speaks of 'the entire group of symmetries of X'. In Section 2.4, however, a symmetry is defined as an automorphism fixing the holomorphic 2-form and the specific degenerate Kähler class ω = κ3 + κ4. A symplectic automorphism in the standard sense is only required to fix the holomorphic 2-form, and footnote 4 explicitly acknowledges that the chosen definition rules out automorphisms of Keum type that do not fix the required Kähler class. As written, Proposition 2.4.3 therefore establishes only the stabilizer of the induced boundary polarization, not necessarily the full symplectic automorphism group of X. This distinction is load-bearing for the paper's advertised claim. Please either prove that every symplectic automorphism of X fixes κ3 + κ4, or restate the main theorem with the polarization-stabilizer qualification and adjust the abstract and introduction accordingly.
  2. [Proposition 3.1.4, proof, second paragraph] After showing that every root of bN is either contained in bP or orthogonal to bP, the text asserts that the root lattice of bN decomposes as A2^9 ⊕ bK, 'where bK is a root lattice of rank 6'. This does not follow from the preceding argument: the argument only shows that roots orthogonal to bP lie in bK, not that bK is generated by its roots. To complete the proof one must show that a rank-6 complement that is rootless or whose root system is not A2^3 would give a root lattice not on the Niemeier list, and one must use the discriminant to justify that bK equals its root lattice once its root lattice is known to be A2^3. Please add this missing step; the conclusion is plausible, but the current proof is incomplete at a load-bearing point.
minor comments (4)
  1. [Equation (2.10)] The statement of (2.10) presents an 'iff' between Z3-effective lattice automorphisms and geometric symmetries when the fixed Kähler class ω lies on the boundary of the Kähler cone, whereas the cited Torelli theorems are standardly formulated for ample or interior Kähler classes. The proof of Proposition 2.4.3 uses only the forward direction and the uniqueness clause, so the boundary issue does not invalidate the main argument; nevertheless, the statement should be rephrased to record exactly which implications are needed and to add a reference or remark covering the boundary case.
  2. [Lemma 2.4.1] The first sentence says the action is 'generated by α1^* and α1^*'; the second generator should be α2^*.
  3. [Propositions 3.2.1 and 3.2.2] The extensions to the glue vectors are given in the proofs, but the semidirect relations among eα1^*, eα2^*, and eβ^* are not checked explicitly. Since the faithfulness claim and the isomorphism (Z3)^2 ⋊ Z4 depend on these relations, please add one sentence confirming them or state explicitly that they follow from the geometric construction.
  4. [Theorem 3.3.3 and preceding paragraph] The ad hoc nature of the embedding M12 ⊂ M24 and of the resulting generation of M24 is disclosed in the text, but the abstract still presents the generation of M24 without this caveat. Consider adding a sentence to the abstract or to item 8 of the introduction clarifying that this step is a proof of concept.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the derivation is self-contained, with disclosed ad hoc choices and non-load-bearing self-citations.

full rationale

The central chain—determination of the symmetry group (Z3)^2⋊Z4 in Prop. 2.4.3, the Kummer-like lattice P in Prop. 2.3.3, the primitive embedding into the Niemeier lattice N and its uniqueness in Props. 3.1.1, 3.1.3, 3.1.4, and the injective images in M12/M24 in Cor. 3.2.4 and Prop. 3.3.2—is computed from explicit lattice data, gluing arguments, and direct group-theoretic checks, rather than inferred from the desired subgroup. The Torelli correspondence (2.10) is cited to external classical theorems; the proof of Prop. 2.4.3 uses the forward direction (every symmetry induces a Z3-effective Hodge isometry) and the uniqueness of a symmetry acting trivially on H2, while the converse direction, the part most sensitive to an interior Kähler class, is not needed for the exclusion argument. Props. 3.1.3 and 3.1.4 establish uniqueness by explicitly constructing the relevant automorphisms and by comparing root sublattices with Niemeier's list, not by assuming the target group. The generation of M24 in Thm. 3.3.3 is an explicit group-theoretic computation, confirmed by GAP, taking as input the previously determined Kummer symmetry group from [11] and the newly constructed image; the authors themselves state that the M24 realization involves ad hoc choices, which is an acknowledged interpretative limitation rather than a circular derivation. The self-citations [10,11] supply techniques and a prior independent result, but the present claims do not reduce to those citations.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

The paper introduces no free numerical parameters and postulates no new physical or mathematical entities. It relies on established theorems in K3 geometry, lattice theory, and finite group theory. The main input is the geometry of a fixed Z3-orbifold K3 and standard classification results.

assumptions (5)
  • standard math Torelli theorem for K3 surfaces: Z3-effective lattice automorphisms of H2(X,Z) correspond bijectively to holomorphic symplectic automorphisms of X (Eq. 2.10).
    Invoked in Section 2.4 to pass from lattice automorphisms to geometric symmetries; this is the bridge between the cohomological description and the actual symmetry group.
  • standard math Nikulin's lattice gluing techniques and discriminant form criteria (Appendix C.2).
    Used throughout Section 2.3 and Section 3 to reconstruct H2(X,Z) and Niemeier lattices from primitive sublattices.
  • standard math Niemeier's classification of the 24 even unimodular positive definite lattices of rank 24, plus the identification of their automorphism groups with Mathieu groups (Appendices C.3 and C.4).
    The target groups M12 and M24 enter through the automorphism groups of the Niemeier lattices of type A2^12 and A1^24.
  • standard math Fujiki's classification of finite automorphism groups of complex tori of dimension two (Section 2.4).
    Used to assert that the symmetry group of the underlying torus is T ⋊ D, with D the binary dihedral group of order 12.
  • domain assumption The specific geometry of the Z3-orbifold K3: X is the minimal resolution of T/Z3 for the product torus with the standard Z3 action (Section 2.1).
    The paper studies this specific class of Z3-orbifold K3s; the symmetry group result is proven for this X and its induced boundary Kähler class.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Tracking the symmetries of $\mathbb Z_3$-orbifold K3s within the Mathieu groups." pith.science (2026). https://pith.science/paper/B2X6HNSU

@misc{pith2026250416248,
  author       = {Pith},
  title        = {Pith review of: Tracking the symmetries of $\mathbb Z_3$-orbifold K3s within the Mathieu groups},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/B2X6HNSU}},
  note         = {Machine review of arXiv:2504.16248}
}
abstract

For $\mathbb Z_3$-orbifold limits of K3, we provide a counterpart to the extensive studies by Nikulin and others of the geometry and symmetries of classical Kummer surfaces. In particular, we determine the group of holomorphic symplectic automorphisms of $\mathbb Z_3$-orbifold limits of K3. We moreover track this group within two of the Mathieu groups, which involves a variation of Kondo's lattice techniques that Taormina and Wendland introduced earlier in their study of the symmetries of Kummer surfaces and the genesis of their symmetry surfing programme. Specifically, we realise the finite group of symplectic automorphisms of this class of K3 surfaces as a subgroup of the sporadic groups Mathieu 12 and Mathieu 24 in terms of permutations of 12, resp. 24 elements. As a proof of concept, we construct an embedding that yields the largest Mathieu group when the symmetry group of $\mathbb Z_3$-orbifold K3s is combined with all symmetries of Kummer surfaces.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

54 extracted references · 42 canonical work pages

  1. [1]

    Weil, Final report on contract AF 18 (603)-57 , in Oeuvres Scientifiques, vol

    A. Weil, Final report on contract AF 18 (603)-57 , in Oeuvres Scientifiques, vol. II (1979), pp. 390–395, Springer (1958)

    work page 1979

  2. [2]

    Eguchi, H

    T. Eguchi, H. Ooguri and Y. Tachikawa, Notes on the K3 surface and the Mathieu group M24, Experimental Mathematics 20 (2011) 91 [ 1004.0956]

    arXiv 2011

  3. [3]

    Gannon, Much ado about Mathieu , Advances in Mathematics 301 (2016) 322 [1211.5531]

    T. Gannon, Much ado about Mathieu , Advances in Mathematics 301 (2016) 322 [1211.5531]

    arXiv 2016

  4. [4]

    Seiberg, Observations on the moduli space of superconformal field theories , Nucl

    N. Seiberg, Observations on the moduli space of superconformal field theories , Nucl. Phys. B303 (1988) 286

    work page 1988

  5. [5]

    Aspinwall and D

    P. Aspinwall and D. Morrison, String theory on K3 surfaces , in Mirror symmetry II , B. Greene and S. Yau, eds., pp. 703–716, AMS (1994) [ hep-th/9404151]

    arXiv 1994

  6. [6]

    Nahm and K

    W. Nahm and K. Wendland, A hiker’s guide to K3. Aspects of N = (4, 4) superconformal field theory with central charge c = 6, Commun. Math. Phys. 216 (2001) 85 [hep-th/9912067]

    arXiv 2001

  7. [7]

    Eguchi, H

    T. Eguchi, H. Ooguri, A. Taormina and S.-K. Yang, Superconformal Algebras and String Compactification on Manifolds with SU(N) Holonomy , Nucl. Phys. B315 (1989) 193

    work page 1989

  8. [8]

    Gaberdiel, S

    M. Gaberdiel, S. Hohenegger and R. Volpato, Symmetries of K3 sigma models , Commun. Number Theory Phys. 6 (2012) 1 [ 1106.4315]

    arXiv 2012

Show all 54 references
  1. [9]

    Mukai, Finite groups of automorphisms of K3 surfaces and the Mathieu group , Inventiones mathematicae 94 (1988) 183

    S. Mukai, Finite groups of automorphisms of K3 surfaces and the Mathieu group , Inventiones mathematicae 94 (1988) 183

    1988

  2. [10]

    Taormina and K

    A. Taormina and K. Wendland, The overarching finite symmetry group of Kummer surfaces in the Mathieu group M24, JHEP 08 (2013) 125 [ 1107.3834]

    2013 arXiv

  3. [11]

    Taormina and K

    A. Taormina and K. Wendland, Symmetry-surfing the moduli space of Kummer K3s , in Proc. of the Conference String-Math 2012 , no. 90 in Proceedings of Symposia in Pure Mathematics, pp. 129–153, 2015 [ 1303.2931]

    2012 arXiv

  4. [12]

    Nikulin, Finite automorphism groups of K¨ ahler K3 surfaces, Trans

    V. Nikulin, Finite automorphism groups of K¨ ahler K3 surfaces, Trans. Mosc. Math. Soc. 38 (1980) 71

    1980

  5. [13]

    Kondo, Niemeier lattices, Mathieu groups and finite groups of symplectic automorphisms of K3 surfaces , Duke Math

    S. Kondo, Niemeier lattices, Mathieu groups and finite groups of symplectic automorphisms of K3 surfaces , Duke Math. J. 92 (1998) 593

    1998

  6. [14]

    Taormina and K

    A. Taormina and K. Wendland, A twist in the M24 moonshine story, Confluentes Mathematici 7 (2015) 83 [ 1303.3221]

    2015 arXiv

  7. [15]

    Gaberdiel, C.A

    M.R. Gaberdiel, C.A. Keller and H. Paul, Mathieu moonshine and symmetry surfing , Journal of Physics A: Mathematical and Theoretical 50 (2017) 474002 [ 1609.09302]

    2017 arXiv

  8. [16]

    Keller and I.G

    C.A. Keller and I.G. Zadeh, Lifting 1/4-BPS states on K3 and Mathieu moonshine , Communications in Mathematical Physics 377 (2020) 225 [ 1905.00035]

    2020 arXiv

  9. [17]

    Taormina and K

    A. Taormina and K. Wendland, Not doomed to fail , Journal of High Energy Physics 2018 (2018) 1 [ 1708.01563]

    2018 arXiv

  10. [18]

    Nikulin, On Kummer surfaces , Math

    V. Nikulin, On Kummer surfaces , Math. USSR Isv. 9 (1975) 261

    1975

  11. [19]

    Bertin, R´ eseaux de Kummer et surfacesK3, Invent

    J. Bertin, R´ eseaux de Kummer et surfacesK3, Invent. Math. 93 (1988) 267

    1988

  12. [20]

    Shioda and H

    T. Shioda and H. Inose, On singular K3 surfaces, in Complex Analysis and Algebraic Geometry, W. Bailey and T. Shioda, eds., pp. 119–136, Cambridge Univ. Press (1977). – 58 –

    1977

  13. [21]

    Walton, The Heterotic String on the Simplest Calabi-Yau Manifold and Its Orbifold Limits, Phys

    M. Walton, The Heterotic String on the Simplest Calabi-Yau Manifold and Its Orbifold Limits, Phys. Rev. D 37 (1988) 377

    1988

  14. [22]

    Wendland, Moduli spaces of unitary conformal field theories , PhD Thesis, BONN-IR-2000-11, Bonn University, September, 2000

    K. Wendland, Moduli spaces of unitary conformal field theories , PhD Thesis, BONN-IR-2000-11, Bonn University, September, 2000

    2000

  15. [23]

    Wendland, Consistency of orbifold conformal field theories on K3 , Adv

    K. Wendland, Consistency of orbifold conformal field theories on K3 , Adv. Theor. Math. Phys. 5 (2002) 429 [ hep-th/0010281]

    2002 arXiv

  16. [24]

    Hirzebruch, Topological methods in algebraic geometry, vol

    F. Hirzebruch, Topological methods in algebraic geometry, vol. 131 of Grundl. Math. Wiss. , Springer-Verlag, Heidelberg (1966)

    1966

  17. [25]

    Krichever, Generalized elliptic genera and Baker-Akhiezer functions , Math

    I. Krichever, Generalized elliptic genera and Baker-Akhiezer functions , Math. Notes 47 (1990) 132

    1990

  18. [26]

    Witten, The index of the Dirac operator in loop space , in Elliptic curves and modular forms in algebraic geometry , P

    E. Witten, The index of the Dirac operator in loop space , in Elliptic curves and modular forms in algebraic geometry , P. Landweber, ed., pp. 161–181, Springer-Verlag (1988)

    1988

  19. [27]

    Borisov and A

    L. Borisov and A. Libgober, Elliptic genera of toric varieties and applications to mirror symmetry, Invent. Math. 140 (2000) 453 [ math/9904126]

    2000 arXiv

  20. [28]

    Wendland, Snapshots of conformal field theory , in Mathematical Aspects of Quantum Field Theories, D

    K. Wendland, Snapshots of conformal field theory , in Mathematical Aspects of Quantum Field Theories, D. Calaque and T. Strobl, eds., pp. 89–129, Springer-Verlag (2015) [ 1404.3108]

    2015 arXiv

  21. [29]

    Barth, C

    W. Barth, C. Peters and A.V. de Ven, Compact Complex Surfaces, Springer-Verlag, Berlin Heidelberg New York Tokyo (1984)

    1984

  22. [30]

    Griffiths and J

    P. Griffiths and J. Harris, Principles of algebraic geometry , John Wiley & Sons, New York (1978)

    1978

  23. [31]

    Pjatecki˘ ı-ˇSapiro and I

    I. Pjatecki˘ ı-ˇSapiro and I. ˇSafareviˇ c,Torelli’s theorem for algebraic surfaces of type K3, Izv. Akad. Nauk SSSR Ser. Mat. 35 (1971) 530

    1971

  24. [32]

    Burns and M

    D. Burns and M. Rapoport, On the Torelli problem for K¨ ahlerianK3 surfaces, in Annales scientifiques de l’ ´Ecole Normale Sup´ erieure, vol. 8(2), pp. 235–273, 1975

    1975

  25. [33]

    Looijenga and C

    E. Looijenga and C. Peters, Torelli theorems for K3-surfaces, Compos. Math. 42 (1981) 145

    1981

  26. [34]

    Inose, On certain Kummer surface which can be realized as non-singular quartic surfaces in P 3, J

    H. Inose, On certain Kummer surface which can be realized as non-singular quartic surfaces in P 3, J. Fac. Sci. Univ. Tokyo 23 (1976) 545

    1976

  27. [35]

    Morrison, On K3 surfaces with large Picard number , Invent

    D. Morrison, On K3 surfaces with large Picard number , Invent. Math. 75 (1984) 105

    1984

  28. [36]

    Kond¯ o,The automorphism group of a generic Jacobian Kummer surface , J

    S. Kond¯ o,The automorphism group of a generic Jacobian Kummer surface , J. Algebraic Geom. 7 (1998) 589

    1998

  29. [37]

    Keum, Automorphisms of Jacobian Kummer surfaces , Compositio Math

    J.H. Keum, Automorphisms of Jacobian Kummer surfaces , Compositio Math. 107 (1997) 269

    1997

  30. [38]

    Kulikov, Surjectivity of the period mapping for K3 surfaces, Uspehi Mat

    V. Kulikov, Surjectivity of the period mapping for K3 surfaces, Uspehi Mat. Nauk 32 (1977) 257

    1977

  31. [39]

    Fujiki, Finite automorphism groups of complex tori of dimension two , Publ

    A. Fujiki, Finite automorphism groups of complex tori of dimension two , Publ. Res. Inst. Math. Sci. 24 (1988) 1

    1988

  32. [40]

    Cheng and S

    M. Cheng and S. Harrison, Umbral Moonshine and K3 Surfaces , Commun. Math. Phys. 339 (2015) 221–261 [ 1406.0619]

    2015 arXiv

  33. [41]

    Conway and N

    J. Conway and N. Sloane, Sphere Packings, Lattices and Groups , Grundlehren der mathematischen Wissenschaften, Springer New York (1998). – 59 –

    1998

  34. [42]

    Nahm and K

    W. Nahm and K. Wendland, Mirror symmetry on Kummer type K3 surfaces , Commun. Math. Phys. 243 (2003) 557 [ hep-th/0106104]

    2003 arXiv

  35. [43]

    Val, On isolated singularities which do not affect the condition of adjunction , Proc

    P.D. Val, On isolated singularities which do not affect the condition of adjunction , Proc. Cambridge Phil. Soc. 30 (1934) 453

    1934

  36. [44]

    Artin, On isolated rational singularities of surfaces , Amer

    M. Artin, On isolated rational singularities of surfaces , Amer. J. Math. 88 (1966) 129

    1966

  37. [45]

    Witten, Elliptic Genera and Quantum Field Theory , Commun

    E. Witten, Elliptic Genera and Quantum Field Theory , Commun. Math. Phys. 109 (1987) 525

    1987

  38. [46]

    Font and S

    A. Font and S. Theisen, Introduction to string compactification, Lect. Notes Phys. 668 (2005) 101

    2005

  39. [47]

    Englert and A

    F. Englert and A. Neveu, Non-abelian compactification of the interacting bosonic string , Phys. Lett. B 163 (1985) 349

    1985

  40. [48]

    Lerche, A

    W. Lerche, A. Schellekens and N. Warner, Lattices and strings, Physics Reports 177 (1989) 1

    1989

  41. [49]

    Nikulin, Integral symmetric bilinear forms and some of their applications , Math

    V. Nikulin, Integral symmetric bilinear forms and some of their applications , Math. USSR Isv. 14 (1980) 103

    1980

  42. [50]

    Ebeling, Lattices and codes, Advanced Lectures in Mathematics, Friedr

    W. Ebeling, Lattices and codes, Advanced Lectures in Mathematics, Friedr. Vieweg & Sohn, Braunschweig, revised ed. (2002)

    2002

  43. [51]

    Vinberg, Some arithmetical discrete groups in Lobaˇ cevski˘ ı spaces, in Discrete subgroups of Lie groups and applications to moduli (Internat

    E.B. Vinberg, Some arithmetical discrete groups in Lobaˇ cevski˘ ı spaces, in Discrete subgroups of Lie groups and applications to moduli (Internat. Colloq., Bombay, 1973) , vol. No. 7 of Tata Inst. Fundam. Res. Stud. Math. , pp. 323–348, Published for the Tata Institute of Fu...

    1975

  44. [52]

    Niemeier, Definite quadratische Formen der Dimension 24 und Diskriminante 1, J

    H.-V. Niemeier, Definite quadratische Formen der Dimension 24 und Diskriminante 1, J. Number Theory 5 (1973) 142

    1973

  45. [53]

    Cheng, J.F

    M.C. Cheng, J.F. Duncan and J.A. Harvey, Umbral moonshine and the Niemeier lattices , Research in the Mathematical Sciences 1 (2014) 1 [ 1307.5793]

    2014 arXiv

  46. [54]

    Curtis, A new combinatorial approach to M24, Math

    R. Curtis, A new combinatorial approach to M24, Math. Proc. Camb. Phil. Soc. 79 (1976) 25. – 60 –

    1976

Pith tools

Reviewed August 16, 2026 · model on record in the stance chip above.