SU(2) channels the cancellation of K3 BPS states

Anne Taormina; Katrin Wendland

REVIEW 3 major objections 6 minor 30 references

SU(2) channels the cancellation of K3 BPS states

T0 review · 3 major / 6 minor · reviewed 2026-08-14 · deepseek-v4-flash

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

Pith's one-line read The paper claims that a geometric SU(2) × SU(2) action channels the cancellation of excess quarter-BPS states in Z2-orbifold K3 theories, pairing each bosonic untwisted state with a twisted fermionic partner.

desk verdict Honest conjecture paper with genuinely new SU(2)-graded data and explicit level-2 states; the title overstates the result, since the pairing is demonstrated only at level 1 and inequality (3.6) is necessary, not sufficient. read the letter →

arxiv 1908.03148 v3 pith:2RIOYOXT submitted 2019-08-08 hep-th math-phmath.GRmath.MP

Anne Taormina , Katrin Wendland This is my paper · ORCID

classification hep-thmath-phmath.GRmath.MP

keywords K3surfacesquarter-BPSstatesellipticgenusZ2-orbifoldconformalfieldtheoryMathieumoonshineSU(2)symmetryN=4superconformalalgebraAppellfunctions

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

This paper proposes a mechanism behind cancellations in the BPS spectrum of K3 conformal field theories. In Z2-orbifold theories, the elliptic genus counts a positive net number of massive quarter-BPS states even though the actual spectrum may contain equal numbers of bosonic and fermionic excess states whose contributions cancel. The paper's claim is that a geometric $SU(2) \times SU(2)$ action on the relevant state space channels these cancellations: excess states come in pairs of isomorphic $SU(2)$ representations with opposite fermion number, so the partner of each untwisted bosonic excess state is a fermionic state from the diagonal twisted sector. This is encoded in the inequality $g^{tw}_{n,p} - 2 f_{n,p} \geq 0$ at every level $n$ and isospin $p$, verified to order $q^{101}$. If correct, the result turns a counting identity into a selection rule that identifies exactly which states move off the BPS bound when the theory is deformed toward a generic K3 theory.

What carries the argument

The central object is the geometric $SU(2)_{\mathrm{geom}} \times \overline{SU(2)}_{\mathrm{geom}}$ action on the space $H_{\mathrm{rest}} \oplus H_+$ of massive quarter-BPS states. It is generated by letting the holomorphic Dirac fermions $\chi^a_\pm$ and their bosonic superpartners $j^a_\pm$ transform as doublets, while the vacuum and the diagonal twisted ground state $|\alpha_{\mathrm{diag}}\rangle$ remain invariant. The matching data are packaged in three refined partition functions $U_{\ell=1/2}(z,\nu)$, $U_{\ell=0}(z,\nu)$ and $T_{\ell=0}(z,\nu)$, whose Fourier-Jacobi coefficients $f_{n,p}$, $g^{\mathrm{inv}}_{n,p}$ and $g^{tw}_{n,p}$ are $SU(2)$ multiplicities. The load-bearing identity is the inequality $g^{tw}_{n,p} - 2 f_{n,p} \geq 0$, which says the diagonal twisted sector always contains at least twice as many fermionic states of each $SU(2)$ isospin as the untwisted sector has bosonic excess states, so isomorphic opposite-fermion-number partners exist at every level.

What would settle it

Compute the refined multiplicities $g^{tw}_{n,p}$ and $f_{n,p}$ beyond $O(q^{101})$: a single pair $(n,p)$ with $g^{tw}_{n,p} - 2 f_{n,p} < 0$ would falsify the channeling claim. Alternatively, carry out the level-2 conformal perturbation calculation along $T_{\mathrm{diag}}$ and check whether precisely the two untwisted singlets $|s(2)\rangle$, $|qs(2)\rangle$ and the two twisted singlets $|\tilde s(2)\rangle$, $|\tilde q s(2)\rangle$ move off the BPS bound together.

Watch

Extended reading notes

Core claim

The paper's central claim is that the cancellations of excess massive quarter-BPS states in Z2-orbifold K3 theories are channeled by a geometric $SU(2)_{\mathrm{geom}} \times \overline{SU(2)}_{\mathrm{geom}}$ action. The action is defined on the Fock spaces built from the vacuum and the diagonal twisted ground state, with the four free Dirac fermions and their bosonic superpartners transforming as doublets. The paper argues that the excess space $H_+$ decomposes into pairs of isomorphic $SU(2)_{\mathrm{geom}} \times \overline{SU(2)}_{\mathrm{geom}}$ representations of opposite fermion number, so that each bosonic untwisted excess state counted by $f(\tau,\nu)$ is matched by a fermionic state from the diagonal twisted sector. The precise matching condition is the inequality $g^{tw}_{n,p} - 2 f_{n,p} \geq 0$ for all levels $n$ and isospins $p$. Refined partition functions $f(\tau,\nu)$, $g^{\mathrm{inv}}(\tau,\nu)$ and $g^{tw}(\tau,\nu)$ are derived in closed form, the inequality is verified up to $O(q^{101})$, and explicit level-one and level-two states exhibit the matching representations. A by-product is a new explicit subspace of the generic space of states in $\hat H$.

Load-bearing premise

The load-bearing assumption is the decomposition of the BPS state space into a generic part $H_\perp \oplus H_{\mathrm{rest}}$ that stays at the BPS bound and an excess part $H_+$ that is lifted under the diagonal deformation; if that decomposition misassigns which states are generic, the $SU(2)$ pairing could match the wrong partners.

Editorial extensions

If this is right

At every level and isospin, the inequality $g^{tw}_{n,p} - 2 f_{n,p} \geq 0$ guarantees that the diagonal twisted sector contains at least twice as many fermionic states of each $SU(2)$ type as the untwisted sector has bosonic excess states, so the required opposite-fermion-number partners always exist.
Under a deformation in the diagonal direction $T_{\mathrm{diag}}$, these paired excess states combine into long $N=4$ representations off the BPS bound, leaving $H_\perp \oplus H_{\mathrm{rest}}$ as the stable generic subspace and keeping the elliptic genus unchanged.
The untwisted states counted by $g^{\mathrm{inv}}$ never pair with the bosonic excess states: they carry half-integer $SU(2)_{\mathrm{geom}}$ spin, so the matching can only involve the diagonal twisted sector.
The explicit states displayed at levels 1 and 2 provide concrete candidates for conformal perturbation theory: two triplets at level 1 and two singleton pairs at level 2 should lift together under $T_{\mathrm{diag}}$.
The $SU(2)$-refined decompositions define a new subspace of the generic state space $\hat H$, giving an explicit construction beyond the previously understood level-one structure.

Reading between the lines

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

If the inequality holds to all orders, it may be a number-theoretic consequence of the Appell-function and theta identities rather than a dynamical input; an analytic proof would make the $SU(2)$ pairing a theorem about mock modular forms.
The same channeling idea could apply to any K3 theory whose geometric symmetry group lies inside $SU(2)$: different choices of diagonal marginal directions would select different fermionic partners, making the excess-state pairing depend on the deformation direction in a controlled way.
Because the $g^{\mathrm{inv}}$ sector is excluded from pairing under all deformations, the long representations formed after deformation are constrained to involve only twisted-sector fermionic partners; this constraint could sharpen model building for the conjectural Mathieu Moonshine vertex operator algebra on the generic space.
A level-2 conformal perturbation calculation along $T_{\mathrm{diag}}$ would either confirm that exactly the two singlets $|s(2)\rangle$, $|qs(2)\rangle$ and their twisted partners lift, or reveal additional level-2 subtleties that refine the $SU(2)$ selection rule.

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.

Desk Editor's Note

read the letter

The headline: this is an honest, carefully written conjecture paper with genuinely new explicit data, but the title promises more than the argument delivers. 'Channels' is a postulate; what is actually established is a representation-counting compatibility that is necessary, not sufficient, for the claimed pairing.

What's new: the SU(2)_geom-refined partition functions (3.1a–c) with their analytic forms (3.5a–c), the explicit level-2 state lists in Appendix B, and the inequality gtw_{n,p} − 2f_{n,p} ≥ 0 (3.6), checked numerically to O(q^101). The level-1 material goes back to [16] and the H⊥ ⊕ H_rest ⊕ H_+ ansatz to [18], but the refined functions and the level-2 states are new, and they are the sort of concrete data people will want on record.

Credit where earned: the paper is unusually transparent about its own status. It repeatedly says 'we postulate', states that the H_rest/H_+ split 'has not been carried out so far', and limits the explicit construction to n = 1, 2. The observation that ginv carries only half-integer SU(2)_geom spins while f and gtw carry integer spins and are trivial under the second SU(2) is a genuine structural reason why Uℓ=0 states cannot be the pairing partners — more than numerology.

The soft spots. (3.6) is a necessary condition on representation content; it does not select which twisted states pair with which untwisted states. At n ≥ 3 the twisted multiplicities exceed 2f by a wide margin (Table 3), so SU(2) alone cannot identify the partners — the paper concedes exactly this in Section 4. The dynamical step, showing the proposed pairs actually lift into long representations under T_diag, has been performed only at level 1 in [19]; the level-2 singlet pairing (2.29)–(2.31) is an explicit but untested prediction. And the ansatz (2.25) does real load-bearing work beyond its dimensional consistency. None of this is hidden; the authors flag it. But it means the central claim is a well-motivated conjecture with supporting evidence, not a derivation.

Bottom line: this deserves a serious referee. The Appendix B lists and the O(q^101) check are independently checkable; the conjecture is clean; the paper advances the symmetry-surfing programme without overclaiming — except in the title ('channels' vs. 'propose'). I'd send it out with a referee asked to focus on whether the title's verb is warranted given that the pairing is demonstrated only at n = 1. I'll likely cite the refined functions and level-2 data regardless.

Referee Report

3 major / 6 minor

Summary. The paper studies massive 1/4-BPS states in the class of Z2-orbifold K3 superconformal field theories and the cancellations between bosonic and fermionic contributions in the conformal field theoretic elliptic genus. It introduces a geometric action of SU(2)_geom × SU(2)_geom on the space H_rest ⊕ H_+, and proposes that this action channels the cancellations by pairing excess untwisted states with diagonal twisted-sector states of opposite fermion number that lift off the BPS bound under the diagonal deformation T_diag. The paper derives refined partition functions f(τ,ν), ginv(τ,ν), gtw(τ,ν) from theta and Appell function identities, gives explicit level-1 and level-2 state lists, and verifies the inequality gtw_{n,p} − 2 f_{n,p} ≥ 0 numerically up to O(q^101). The central claim is explicitly presented as a postulate in Section 3.

Significance. If the proposed SU(2) channeling conjecture is correct, it would provide a selection principle for identifying which diagonal twisted-sector states pair with the untwisted excess 1/4-BPS states under deformation by T_diag, thereby giving structural insight into the generic space of states H0 and a fresh angle on Mathieu moonshine. The paper's strengths are the careful derivations of the refined partition functions, the explicit construction of level-1 and level-2 states in Appendix B, the absence of fitted parameters, and a clean numerical test of inequality (3.6). The level-2 partner states are a falsifiable prediction that can in principle be checked by conformal perturbation theory. However, the central claim is not proven: inequality (3.6) is a representation-counting necessary condition, and the paper itself acknowledges that the H_rest/H_+ decomposition has not been carried out at higher levels and that the postulate does not pin down exact pairing partners beyond levels 1 and 2.

major comments (3)

[Section 3, eq. (3.6)] The inequality gtw_{n,p} − 2 f_{n,p} ≥ 0 is evidence for the existence of SU(2)_geom representations in the diagonal twisted sector matching the untwisted excess states, but it is only a necessary condition for the proposed pairing. Table 3 shows that for n ≥ 3 the twisted multiplicities often exceed twice the untwisted multiplicities by a large margin, so the SU(2) content does not identify which twisted states pair with which untwisted states. The Discussion explicitly concedes that the postulate is not powerful enough to pin down the exact states beyond levels 1 and 2. Since the title and abstract state that SU(2) 'channels' the cancellations, the paper should either provide a state-level construction at higher levels or substantially soften the claim to a conjecture supported by counting evidence.
[Section 2.3 and Section 3, ansatz (2.25)] The decomposition \hat H_BPS = H^\perp ⊕ H_rest ⊕ H_+ is imported from [18], and as the paper states in Section 3, the decomposition of H_rest ⊕ H_+ 'has not been carried out so far' for n ≥ 3. The SU(2) matching argument presupposes this decomposition: it identifies pairing partners only if one already knows which states are excess. Without an independent construction of H_rest and H_+ at general level, the channeling statement is conditional on an unresolved structural assumption. Please clarify this status in the main text and, if possible, provide evidence for the decomposition at higher levels.
[Section 2.4, eqs. (2.29)–(2.31)] The level-2 pairing is a representational match: the two untwisted singlets |s(2)⟩ and |qs(2)⟩ are matched with two twisted singlets |\tilde{s}(2)⟩ and |\tilde{q}s(2)⟩ by SU(2) content. The paper correctly labels this as a prediction, since the actual lifting under T_diag has only been computed at level 1 in [19]. This is acceptable as a conjecture, but it means the central mechanism is not yet demonstrated at level 2; the authors should state this limitation explicitly in the abstract and introduction, not only in the Discussion.

minor comments (6)

[Section 3, eq. (3.3c)] There is a typographical comma in 'gtw_{n,p,}'; it should read gtw_{n,p}.
[Table 1] The row for A_n is hard to read ('96-6', '448+16-2', etc.); please reformat the table to display the arithmetic explicitly, for example with separate columns for each term.
[Section 2.4, after eq. (2.27)] The notation qΩ is used without definition; define it as qΩ := (χ^1_+)_{−1/2}(χ^2_+)_{−1/2}Ω before first use.
[Footnote 4] The footnote about whiskey becoming legal in 2010 is irrelevant to the scientific content and out of place in a research paper.
[References [13] and [14]] The reference list entry '[13] ... superseded by [14]' is unusual; consider citing [14] alone or explaining the relation in the text rather than in the reference list.
[Abstract] The abstract uses the plain-text notation 'H-roof' for \hat H; the symbol \hat H should be introduced consistently at first use in the introduction.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the SU(2) channeling claim is a clearly labeled postulate supported by independent representation-counting checks; no fitted parameter is renamed as a prediction.

full rationale

The paper's derivation chain does not reduce any prediction to its own inputs. The functions f(τ,ν), ginv(τ,ν), and gtw(τ,ν) are obtained from explicit free-field partition functions (2.15), (2.16), (2.19) and refined with an SU(2) fugacity in (3.1a)–(3.1c), then re-expressed through standard Jacobi theta and Appell-function identities in (3.5a)–(3.5c). The central inequality (3.6), gtw_{n,p} − 2 f_{n,p} ≥ 0, is a representation-counting consequence of the pairing postulate, not an input from which the multiplicities are constructed; it is verified numerically to O(q^101). The decomposition (2.25), \hat H_BPS = H⊥ ⊕ Hrest ⊕ H+, is explicitly called an "ansatz, introduced similarly in [18]", so it is an acknowledged structural premise rather than a hidden or smuggled input. The statements taken from [12] concern the existence of a generic space of states and the non-genericity of the untwisted states counted by f(ν); [12] is a published theorem independent of the SU(2) channeling proposal and does not assume the pairing result. The level-2 states |s(2)⟩, |qs(2)⟩, |˜s(2)⟩, |q˜s(2)⟩ are offered as an explicit prediction, and the paper states that confirming their lifting would require conformal perturbation theory along the lines of [19]; an untested prediction is a conjectural status, not circularity. No parameter is fitted to a subset of data and then presented as a prediction, and no uniqueness theorem from the authors' own prior work is invoked to forbid alternative decompositions. The self-citations present in the paper, primarily to the authors' symmetry-surfing programme [14–16], motivate definitions and provide background evidence, but the load-bearing representation computations and the numerical check of (3.6) are self-contained in the present paper. Accordingly, no circular step can be exhibited.

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

The central claim relies on the decomposition ansatz from [18] and on two unproven postulates about H_+ and the diagonal twisted sector. No free numeric parameters are fitted; no new physical entities are introduced. The inequality (3.6) is checked numerically to high order but is not proven.

assumptions (6)

domain assumption Decomposition ansatz: \hat H_BPS = H⊥ ⊕ H_rest ⊕ H_+, with H_n ≅ H⊥_n ⊕ H_rest_n.
Adopted from [18] in Section 2.3, eq. (2.25); if the decomposition of generic versus excess states is wrong, the SU(2) pairing targets the wrong states.
domain assumption All untwisted holomorphic states counted by f(ν) are bosonic and belong to H_+, while U_ell=0 states never pair up under any deformation.
Based on [12] and the argument in Section 4 that toroidal-generic states cannot be lifted; this restricts the matching to f(ν) versus twisted states.
ad hoc to paper H_+ decomposes into pairs of isomorphic SU(2)_geom × SU(2)_geom representations of opposite fermion number.
Postulated in Section 3; central to the channeling proposal and not proven.
ad hoc to paper Only diagonal twisted sector states can pair with U_ell=1/2 untwisted states, i.e. gtw_{n,p} − 2 f_{n,p} ≥ 0 for all n,p.
Postulated in Section 3, eq. (3.6); verified numerically to O(q^101) but no analytic proof is given.
domain assumption The fields χ^a_± and j^a_± transform as doublets under SU(2)_geom, while the vacuum and |α_diag> are invariant.
Definition of the action in Sections 2.1 and 3; assumed to commute with the N=4 superconformal algebra and extend to all of H_rest ⊕ H_+.
standard math Validity of the Jacobi theta identities, Appell function properties, and N=4 superconformal characters at c=6 used throughout.
Standard mathematical background, cited to [26,28,29,30] and Appendix A.

how reviews work

0 comments

Cite this review

Pith. "Pith review of SU(2) channels the cancellation of K3 BPS states." pith.science (2026). https://pith.science/paper/2RIOYOXT

@misc{pith2026190803148,
  author       = {Pith},
  title        = {Pith review of: SU(2) channels the cancellation of K3 BPS states},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/2RIOYOXT}},
  note         = {Machine review of arXiv:1908.03148}
}

read the original abstract

The conformal field theoretic elliptic genus, an invariant for N=(2,2) superconformal field theories, counts the BPS states in any such theory with signs, according to their bosonic or fermionic nature. For K3 theories, this invariant is the source of the Mathieu Moonshine phenomenon. There, the net number of quarter BPS states is positive for any conformal dimension above the massless threshold, but it may arise after cancellation of the contributions of an equal number of bosonic and fermionic BPS states present in non-generic theories, as is the case for the class of Z2-orbifolds of toroidal SCFTs. Nevertheless, the space H-roof of all BPS states that are generic to such orbifold theories provides a convenient framework to construct a particular generic space of states of K3 theories. We find a natural action of the group SU(2) on a subspace of H-roof which is compatible with the cancellations of contributions from the corresponding non-generic states. In fact, we propose that this action channels those cancellations. As a by-product, we find a new subspace of the generic space of states in H-roof.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

30 extracted references · 13 canonical work pages

[16]

, A twist in the M24 moonshine story , Conﬂuentes Mathematici 7 (2015), 83–113; [1303.3221 [hep-th] ]

arXiv 2015
[18]

Gaberdiel, Ch

M.R. Gaberdiel, Ch. Keller, and H. Paul , Mathieu Moonshine and Symmetry Surﬁng , J. Physics A50 (2017), no. 47, 474002; [1609.09302 [hep-th] ]

arXiv 2017
[19]

Keller and I

C. Keller and I. Zadeh , Lifting 1/4-BPS states on K3 and Mathieu moonshine , Commun. Math. Phys. (2020) doi: 10.1007/s00220-020-03721 -4; [1905.00035 [hep-th] ]

arXiv 2020
[1]

Eguchi, H

T. Eguchi, H. Ooguri, A. Taormina, and S.-K. Yang , Superconformal algebras and string compactiﬁcation on manifolds with SU (n) holonomy, Nucl. Phys. B315 (1989), 193–221

work page 1989
[2]

Aspinw all and D.R

P.S. Aspinw all and D.R. Morrison , String theory on K3 surfaces , in: Mirror symmetry II, B. Greene and S.T. Yau, eds., AMS, 1994, pp. 703–716; [ hep-th/9404151]

arXiv 1994
[3]

Nahm and K

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

arXiv 2001
[4]

Eguchi, H

T. Eguchi, H. Ooguri, and Y. Tachika w a , Notes on the K3 surface and the Mathieu group M24, Exp. Math. 20 (2011), no. 1, 91–96; [1004.0956 [hep-th] ]

arXiv 2011
[5]

Cheng , K3 surfaces, N = 4 dyons, and the Mathieu group M24, Commun

M.C.N. Cheng , K3 surfaces, N = 4 dyons, and the Mathieu group M24, Commun. Number Theory Phys. 4 (2010), 623–657; [1005.5415 [hep-th] ]

arXiv 2010

Show all 30 references

[6]

Gaberdiel, S

M.R. Gaberdiel, S. Hohenegger, and R. Volpato , Mathieu twining characters for K3 , JHEP 1009 (2010), 058; [1006.0221 [hep-th] ]

2010 arXiv
[7]

, Mathieu moonshine in the elliptic genus of K3 , JHEP 1010 (2010), 062; [1008.3778 [hep-th] ]

2010 arXiv
[8]

Eguchi and K

T. Eguchi and K. Hikami , Note on Twisted Elliptic Genus of K3 Surface , Phys. Lett. B694 (2011), 446–455; [1008.4924 [hep-th] ]

2011 arXiv
[9]

Gannon , Much ado about Mathieu , Adv

T. Gannon , Much ado about Mathieu , Adv. Math. 301 (2016), 322–358; [1211.5531 [math.RT] ]

2016 arXiv
[10]

Gaberdiel, S

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

2012 arXiv
[11]

Bailin Song , Chiral Hodge cohomology and Mathieu moonshine , International Mathematics Research Notices, doi: 10.1093/imrn/rnz298; [1705.04060 [math.QA] ]

arXiv
[12]

Wendland , Hodge-elliptic genera and how they govern K3 theories , Commun

K. Wendland , Hodge-elliptic genera and how they govern K3 theories , Commun. Math. Phys. 368 (2017), 187–221; [1705.09904 [hep-th] ]. – 31 –

2017 arXiv
[13]

Taormina and K

A. Taormina and K. Wendland , The symmetries of the tetrahedral Kummer surface in the Mathieu group M24, superseded by [ 14]; [1008.0954 [hep-th] ]

arXiv
[14]

, The overarching ﬁnite symmetry group of Kummer surfaces in the Mathieu group M24, JHEP 08 (2013), 125; [1107.3834 [hep-th] ]

2013 arXiv
[15]

of the Conference String-Math 2012, Proceedings of Symposia in Pure Mathemat ics, no

, Symmetry-surﬁng the moduli space of Kummer K3s , Proc. of the Conference String-Math 2012, Proceedings of Symposia in Pure Mathemat ics, no. 90, pp. 129–153; [1303.2931 [hep-th] ]

2012 arXiv
[17]

Margolin , A geometry for M24 , Journal of Algebra, 156, 2 (1993), 370–384

R.S. Margolin , A geometry for M24 , Journal of Algebra, 156, 2 (1993), 370–384

1993
[20]

Jordan , Traité des substitutions et des équations algébriques , Paris (1870)

C. Jordan , Traité des substitutions et des équations algébriques , Paris (1870)
[21]

Eguchi and A

T. Eguchi and A. Taormina , Unitary representations of the N = 4 superconformal algebra, Phys. Lett. B196 (1987), 75–81

1987
[22]

Witten , Elliptic genera and quantum ﬁeld theory , Commun

E. Witten , Elliptic genera and quantum ﬁeld theory , Commun. Math. Phys. 109 (1987), 525–536

1987
[23]

Dabholkar, S

A. Dabholkar, S. Murthy, and D. Zagier , Quantum black holes, wall crossing and mock modular forms ; [1208.4074 [hep-th] ]

arXiv
[24]

Ooguri , Superconformal Symmetry and Geometry of Ricci Flat Kahler Mani folds, Int

H. Ooguri , Superconformal Symmetry and Geometry of Ricci Flat Kahler Mani folds, Int. J. Mod. Phys. A4 (1989), 4303–4324

1989
[25]

J. R. Da vid, G. Mandal and S. R. W adia , Microscopic formulation of black holes in string theory, Physics Reports 369, 6 (2002), 549–686; [hep-th/0203048]

2002 arXiv
[26]

Whittaker and G

E. Whittaker and G. W atson , A course of modern analysis , Cambridge University Press, 1920

1920
[27]

Eguchi and A

T. Eguchi and A. Taormina , On the unitary representations of N = 2 and N = 4 superconformal algebras, Phys. Lett. 210 (1988), 125–132

1988
[28]

Appell , Sur les fonctions doublement périodiques de troisième espèc e, Annales scientiﬁques de l’Ecole Normale Supérieure 3ième série (1884-1886), no

M.P. Appell , Sur les fonctions doublement périodiques de troisième espèc e, Annales scientiﬁques de l’Ecole Normale Supérieure 3ième série (1884-1886), no. 4, tI, p.135, tII, p.9, tIII, p.9
[29]

Semikhatov, A

A.M. Semikhatov, A. Taormina, and I.Yu. Tipunin , Higher-level Appell functions, modular transformations, and characters , Commun. Math. Phys. 255 (2005), 469–512; [math/0311314 [math.QA] ]

2005 arXiv
[30]

Zwegers , Mock Theta functions , Ph.D

S. Zwegers , Mock Theta functions , Ph.D. thesis, Utrecht, 2002; [0807.4834 [math.NT] ]. – 32 –

2002 arXiv

Pith tools

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

[1] [16]

, A twist in the M24 moonshine story , Conﬂuentes Mathematici 7 (2015), 83–113; [1303.3221 [hep-th] ]

arXiv 2015

[2] [18]

Gaberdiel, Ch

M.R. Gaberdiel, Ch. Keller, and H. Paul , Mathieu Moonshine and Symmetry Surﬁng , J. Physics A50 (2017), no. 47, 474002; [1609.09302 [hep-th] ]

arXiv 2017

[3] [19]

Keller and I

C. Keller and I. Zadeh , Lifting 1/4-BPS states on K3 and Mathieu moonshine , Commun. Math. Phys. (2020) doi: 10.1007/s00220-020-03721 -4; [1905.00035 [hep-th] ]

arXiv 2020

[4] [1]

Eguchi, H

T. Eguchi, H. Ooguri, A. Taormina, and S.-K. Yang , Superconformal algebras and string compactiﬁcation on manifolds with SU (n) holonomy, Nucl. Phys. B315 (1989), 193–221

work page 1989

[5] [2]

Aspinw all and D.R

P.S. Aspinw all and D.R. Morrison , String theory on K3 surfaces , in: Mirror symmetry II, B. Greene and S.T. Yau, eds., AMS, 1994, pp. 703–716; [ hep-th/9404151]

arXiv 1994

[6] [3]

Nahm and K

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

arXiv 2001

[7] [4]

Eguchi, H

T. Eguchi, H. Ooguri, and Y. Tachika w a , Notes on the K3 surface and the Mathieu group M24, Exp. Math. 20 (2011), no. 1, 91–96; [1004.0956 [hep-th] ]

arXiv 2011

[8] [5]

Cheng , K3 surfaces, N = 4 dyons, and the Mathieu group M24, Commun

M.C.N. Cheng , K3 surfaces, N = 4 dyons, and the Mathieu group M24, Commun. Number Theory Phys. 4 (2010), 623–657; [1005.5415 [hep-th] ]

arXiv 2010