Pith. sign in

REVIEW 3 major objections 4 minor 1 cited by

Vertex algebras, topological defects, and Moonshine

T0 review · 3 major / 4 minor · reviewed 2026-08-10 · deepseek-v4-flash

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

Pith's one-line read The paper derives a general duality-defect McKay–Thompson formula for the Monster VOA and proves that Conway-module topological defects correspond, surjectively but not injectively, to Leech lattice endomorphisms.

desk verdict A solid derivation of a new general defect McKay-Thompson formula, bundled with an important but unproven theorem whose key lemma is deferred to a companion paper. read the letter →

arxiv 2412.21141 v2 pith:E3SSZYPG submitted 2024-12-30 hep-th

Roberto Volpato This is my paper · ORCID
classification hep-th MSC 17B6911F2281T40
keywords topologicaldefectlinesvertexoperatoralgebrasMonstrousmoonshineConwaymoduleLeechlatticeMcKay-ThompsonseriesdualitydefectsTambara-Yamagamicategory
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

Topological defect lines are generalized symmetries of a two-dimensional conformal field theory, and this paper asks what they mean for the two central Moonshine objects. For the Monster vertex algebra $V^\natural$, it derives a closed formula for the defect McKay–Thompson series of every duality defect — a self-dual defect $N_g$ whose square is the sum of all $\langle g\rangle$ defects — built from a non-anomalous Fricke element $g$, expressing $T_{N_g}$ as a $\sqrt{N}$-weighted $\theta$ series (3.40) rather than a Hauptmodul. For the Conway super vertex algebra $V^{f\natural}$, it establishes a sharper structural result: under two mild assumptions, any topological defect preserving the $N=1$ super-Virasoro algebra induces a $\mathbb{Z}$-linear endomorphism of the Leech lattice, and integrality of its traces against the group $\mathrm{Co}_0$ is exactly what forces this. The correspondence is a surjective, non-injective ring homomorphism from the Grothendieck ring of the defect category to $\mathrm{End}_{\mathbb{Z}}(\Lambda)$. This suggests Moonshine phenomena are not reserved for ordinary Monster automorphisms but extend to categorical symmetries.

What carries the argument

The engine of the Monster computation is the Tambara–Yamagami fusion category generated by the cyclic group $\langle g\rangle$ and the duality defect $N_g$ satisfying $N_g^2=\sum_k L_{g^k}$. For non-anomalous Fricke $g$, the orbifold $V^\natural/\langle g\rangle$ is again $V^\natural$, and the isomorphism $f_2:V_{n,m}\to V_{m,n}$ of $(V^\natural)^{\langle g\rangle}$-modules is realized inside an $\mathfrak{su}(2)_N$ current algebra extension of $W_L\otimes (V^\natural)^{\langle g\rangle}$. The trace over the defect is then reduced to a single $n=0$ current-eigenspace, dividing a known $\mathfrak{su}(2)$ trace by the Heisenberg character, yielding (3.40). For the Conway theorem, the mechanism is trace integrality on the 24 Ramond ground states: $\mathrm{Co}_0$ acts on the Leech lattice $\Lambda\subset\mathbb{R}^{24}$, and the proof identifies the space of linear maps with $V\otimes V^*$, translating integrality of $\operatorname{Tr}(\hat L g)$ into membership in the dual lattice $\Lambda\otimes\Lambda^*$, which self-duality of $\Lambda$ forces to equal the integer span of the $\mathrm{Co}_0$ action.

What would settle it

A concrete way to test the central claim is to search for a single $24\times24$ real matrix $\hat L$ with $\operatorname{Tr}(\hat L g)\in\mathbb{Z}$ for all $g\in\mathrm{Co}_0$ but $\hat L(\lambda)\notin\Lambda$ for some $\lambda\in\Lambda$; existence of such a matrix would refute Theorem 1. A second check is to verify identity (5.10) for specific pairs of Leech vectors using orbit sums of $\mathrm{Co}_0$; for property (5.6), one can compute $Z_{\hat L}(-1/\tau)$ for a candidate defect preserving only the super-Virasoro algebra and compare it with $\rho(S)Z_{\hat L}(\tau)$.

Watch

Extended reading notes

Core claim

The paper's central claim is that topological defects carry Moonshine-type data in two complementary ways. In the Monster case, for every non-anomalous Fricke element $g$ of order $N$ (an automorphism whose McKay–Thompson series has trivial multiplier and is Fricke-invariant), the self-duality defect $N_g$ exists and its defect McKay–Thompson series is $$T_{N_g}(\tau)=\sqrt{N}\,\frac{\eta(2\tau)}{\eta(\tau)^2}\sum_{n\in\mathbb{Z}/N\mathbb{Z}}\Theta_{\frac{2n}{\sqrt{2N}}+L}(\tau,\tfrac12 $q^{{N/2}}$)\,\operatorname{Tr}_{V_{n,-n}}($q^{{L_0-1}}$),$$ a formula that generalizes the $2A$ result of [17] and covers all such duality defects. In the Conway case, the claim is the trace–lattice theorem: for the $24$-dimensional Leech-lattice representation of $\mathrm{Co}_0$, a real linear map $\hat L$ has integral trace against every $g\in\mathrm{Co}_0$ if and only if $\hat L$ preserves the Leech lattice, if and only if $\hat L$ is an integer linear combination of $\mathrm{Co}_0$ elements. The paper then draws the consequence that evaluation on Ramond ground states gives a surjective, non-injective ring homomorphism from the Grothendieck ring of super-Virasoro-preserving defects to the ring of Leech lattice endomorphisms.

Load-bearing premise

The argument's load-bearing premise is an unproved lattice lemma, deferred to a companion paper, that for any Leech vectors $\lambda,\mu$ and any real linear map $\hat L$ the inner product $\mu\cdot\hat L(\lambda)$ can be realized as the trace of $\hat L$ against a finite integer sum of $\mathrm{Co}_0$ elements; a second expected-but-unproven assumption is the modular $S$-transformation property (5.6) for defects preserving only the non-rational super-Virasoro algebra.

Editorial extensions

If this is right

  • Every duality defect for a non-anomalous Fricke element of the Monster has a definite torus partition function given by (3.40); the earlier $2A$ example and the $3A$ example follow, and all new cases can be computed by substituting standard McKay–Thompson series.
  • For the Conway module, every defect in the category $C_{SVir}(V^{f\natural})$ has an associated Leech-lattice endomorphism, so any fusion relation among defects is reflected in an integer matrix relation; the Grothendieck ring maps onto $\mathrm{End}_{\mathbb{Z}}(\Lambda)$.
  • Because the homomorphism is not injective, distinct defects can act identically on the 24 Ramond ground states; the kernel consists of defects invisible to this ground-state probe.
  • Restricting to defects that preserve a 4-plane $\Pi$ of ground states gives a homomorphism to the subring of endomorphisms preserving $\Pi$, matching the defect ring of K3 sigma models obtained in [47].
  • The results motivate Moonshine-type categories in which defect McKay–Thompson series are Hauptmoduls for congruence genus-zero groups, possibly with irrational coefficients.

Reading between the lines

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

  • A natural next test is a finite computer search over rational $24\times24$ matrices to see whether integral traces against $\mathrm{Co}_0$ generators already force lattice preservation; a counterexample would show that the lattice lemma behind Theorem 1 fails.
  • The non-injectivity suggests the Grothendieck ring of the defect category is strictly richer than $\mathrm{End}_{\mathbb{Z}}(\Lambda)$; one implicit consequence is that the quantum dimension of a kernel element is invisible to the lattice action, which may constrain possible fusion rings.
  • If the modular transformation property (5.6) fails for defects preserving only the non-rational super-Virasoro algebra, the theorem would still apply to the smaller category in which the property holds; directly checking modular covariance for a continuum family of defects, if any exist, would locate the exact boundary of the result.
  • The same trace-integrality criterion is likely testable on other even self-dual lattices, such as the $E_8$ lattice, where finite computations are easy; a positive result would suggest the defect-to-endomorphism correspondence is a general lattice phenomenon rather than a dimension-24 special case.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

3 major / 4 minor

Summary. The paper studies topological defect lines in holomorphic vertex operator algebras, focusing on the Monster VOA V^♮ and the Conway module V^{f♮}. In Section 3 it derives a general defect McKay–Thompson series (3.40) for duality defects associated with non-anomalous Fricke elements of the Monster, with the 2A and 3A cases displayed as checks. Section 4 lists open problems and speculations about moonshine for defects. Section 5 states Theorem 1, asserting that for a 24-dimensional representation of Co0 on the Leech lattice Λ, integrality of Tr_V( L̂ g ) for all g ∈ Aut(Λ) is equivalent to L̂(Λ) ⊆ Λ and to L̂ being an integer linear combination of the Co0 matrices. Corollary 2 then claims a surjective, non-injective ring homomorphism from the Grothendieck ring of SVir-preserving defects to End_Z(Λ). The proof of Theorem 1 is only sketched; the key lattice-span lemma (5.10) is deferred to an unpublished companion paper [20], and the modular property (5.6) used to derive the trace-integrality condition is stated as expected rather than proved.

Significance. If the main results hold, the paper provides a substantial unification: the defect McKay–Thompson formula (3.40) generalizes the earlier 2A computation of [17] to all non-anomalous Fricke elements, and Theorem 1 gives a striking bridge between trace integrality over a finite group and lattice preservation, with a concrete algebraic consequence for the Grothendieck ring of the defect category. The paper contains no fitted parameters; the 2A and 3A series are independent benchmarks, and the 2A series matches the known result in [17], which is a genuine positive check. The conjecture and problem list in Section 4 are likely to stimulate further work. However, the two load-bearing points described below—the unproved lattice-span lemma (5.10) and the unproved modular property (5.6)—mean that the central claims of Section 5 are not yet fully established in this manuscript.

major comments (3)
  1. [Section 5, Theorem 1 and eq. (5.10)] The proof of the implication (1) ⇒ (2) rests entirely on eq. (5.10): for every λ, μ ∈ Λ there is a finite sum Σ_i g_i of elements of Co0 with Tr_V(L̂ Σ_i g_i) = μ·L̂(λ). This is exactly the assertion that the Z-span of the 24-dimensional Co0 representation is the full endomorphism ring End_Z(Λ). The manuscript says only that this follows 'using an explicit description of the lattice Λ and of the generators of Co0' and refers to the unpublished companion paper [20]. Since both Theorem 1 and Corollary 2 collapse if the span is a proper sublattice of End_Z(Λ), this lemma is load-bearing. I request that a complete proof be included or, at minimum, that the companion paper be made publicly available and cited with a precise statement of this lemma.
  2. [Section 5, property 3, eq. (5.6)] Property 3, the modular S-exchange Z_L(−1/τ) = ρ(S) Z^L(τ), is assumed without proof. The author notes that it should be automatic for defects preserving a rational subalgebra, but CSV_ir(V^{f♮}) is defined for defects preserving only the non-rational N=1 superVirasoro algebra. Without eq. (5.6), the equality Z_{L,−R} = Z^−_{L,R} and hence the integrality condition (5.8)–(5.9) do not follow. Since (5.9) is the hypothesis to which Theorem 1 is applied, this is another load-bearing gap. It should be either proved for the class of defects under consideration or explicitly recorded as an assumption, with the consequences stated conditionally.
  3. [Section 3, eqs. (3.5)–(3.7) and (3.40)] The general formula (3.40) is derived under the assumption that, for every non-anomalous Fricke element g of the Monster, a duality defect N_g exists with the Tambara–Yamagami fusion rules (3.6). The manuscript says this is expected on 'general grounds' from [11], but it does not prove existence of such defects in V^♮. If these defects are not already established for all such g, the statement of the formula should be made conditional on that existence; otherwise the reader cannot distinguish the theorem from the expectation in (3.40).
minor comments (4)
  1. [Section 3, eq. (3.3)] In eq. (3.3), the trace is written as Tr_{V^♮_g}(q^{L_0−1} L̂), but the operator L̂ acts on the untwisted Hilbert space V^♮; the subscript should presumably be V^♮ rather than V^♮_g.
  2. [Abstract] The abstract contains a typo: 'a Z-linear map form the Leech lattice' should read 'a Z-linear map from the Leech lattice'.
  3. [Throughout] There are several typographical errors that should be corrected: 'exaples' in Section 3, 'vanihs' near the discussion of generalized moonshine, 'Mc-Kay-Thompson' in the first paragraph of Section 4, and 'Neveu-Scwharz' in Section 5.
  4. [Section 5, eq. (5.10)] In the proof sketch around eq. (5.10), the notation L̂ Σ_i g_i should be made precise: the sum Σ_i g_i is an element of End_R(V), and the trace is understood accordingly. This is a presentation issue, but it matters because the lemma is central.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the defect McKay–Thompson formula is a genuine derivation benchmarked externally, and Theorem 1's deferred lattice lemma is a proof gap rather than an input–output identification.

full rationale

The paper's section 3 derivation is self-contained in the relevant sense: formula (3.40) is obtained from the known module decomposition (3.8), the isomorphism f2 from [33], and the modular transformation properties (3.14); it does not fit any parameter and is checked against the independent result [17] in (3.43). The use of [33] is a citation to a published, externally checkable theorem, not a restatement of (3.40). Section 5's Theorem 1 is the only load-bearing new claim, and its proof depends on the lattice-span assertion (5.10), which the paper states with 'one can show' and defers to the companion paper [20] by overlapping authors. This is a verification gap: if (5.10) fails, the equivalence between trace integrality and lattice preservation, and hence Corollary 2, would collapse. But this is not circularity, because Theorem 1 is not assumed as an input and (5.10) is a nontrivial statement about the integer span of the 24-dimensional Co0 representation, not a rephrasing of the theorem's conclusion. Property 3, eq. (5.6), is likewise an explicit assumption for defects preserving only the non-rational N=1 superVirasoro algebra; conditional results are not circular results. No fitted quantity is renamed as a prediction, and no known result is merely repackaged under new notation. Accordingly, the circularity score is 0.

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

The paper introduces no free parameters and no new physical entities. Its derivations rely on established theorems about the Monster module and the Conway module, on an assumed existence of duality defects, on an assumed modular property for defect partition functions, and on an unproved lattice lemma deferred to a companion paper. These are the load-bearing inputs.

assumptions (5)
  • domain assumption Existence of duality defects N_g for every non-anomalous Fricke g of order N, with N_g^2 = sum_{k=0}^{N-1} L_{g^k} and N_g L_{g^k} = N_g.
    Stated as 'one expects' from [11] in Section 3; the defect McKay-Thompson formula (3.40) is computed for these defects, so their existence is a load-bearing input.
  • standard math For Fricke-invariant g, the fixed-point subalgebra (V^natural)^<g> is strongly rational with modules V_{n,m} of conformal weights nm/N mod Z and group-like fusion.
    From [35,36]; used in Section 3 to construct the simple current extension and the isomorphism f2.
  • standard math The isomorphism f2 from V^natural to V^natural/<g> of [33] exists and is induced by an SU(2) automorphism f with adjoint action (ad f)(H) = -H.
    Used in eqs. (3.18) through (3.31) to compute the trace of the duality defect operator.
  • domain assumption Defects in C_SVir(V^f-natural) satisfy property 3, the modular S-transformation of partition functions, eq. (5.6).
    The paper requires this property and notes it is expected but not proven for defects preserving only the non-rational N=1 superVirasoro algebra; it is needed for the trace integrality condition (5.9).
  • ad hoc to paper Lattice lemma: for any vectors lambda and mu in Lambda there exist elements g_i of Co0 such that Tr_V(L-hat times the sum of g_i) equals mu dot L-hat(lambda).
    Key step in the proof sketch of Theorem 1, stated with 'one can show' and deferred to [20]. If false, the equivalence of conditions (1) and (2) collapses.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Vertex algebras, topological defects, and Moonshine." pith.science (2026). https://pith.science/paper/E3SSZYPG

@misc{pith2026241221141,
  author       = {Pith},
  title        = {Pith review of: Vertex algebras, topological defects, and Moonshine},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/E3SSZYPG}},
  note         = {Machine review of arXiv:2412.21141}
}
abstract

We discuss topological defect lines in holomorphic vertex operators algebras and superalgebras, in particular Frenkel-Lepowsky-Meurman Monster VOA $V^\natural$ with central charge $c=24$, and Conway module SVOA $V^{f\natural}$ with $c=12$. First, we consider duality defects in $V^\natural$ for all non-anomalous Fricke elements of the Monster group, and provide a general formula for the corresponding defect McKay-Thompson series. Furthermore, we describe some general properties of the category of defect lines preserving the $N=1$ superVirasoro algebra in $V^{f\natural}$. We argue that, under some mild assumptions, every such defect in $V^{f\natural}$ is associated with a $\mathbb{Z}$-linear map form the Leech lattice to itself. This correspondence establishes a surjective (not injective) ring homomorphism between the Grothendieck ring of the category of topological defects and the ring of Leech lattice endomorphisms. Finally, we speculate about possible generalization of the Moonshine conjectures that include topological defect lines.

Figures

Figures reproduced from arXiv: 2412.21141 by the authors.

Figure 1
Figure 1. A topological defect line L inserted in a worldsheet with the topology of a cylinder S 1 × R. (a) When the defect line is wrapped once around the circle S 1 at fixed time t, it corresponds to the insertion of a linear operator Lˆ : H → H in the time ordered correlation function. (b) When the line extends along the time direction, it corresponds to replacing the ordinary Hilbert space of states H with a L-twisted spa… view at source ↗
Figure 2
Figure 2. On the left, inserting a defect L along a line γ is the same as inserting the dual defect L ∗ along the line ¯γ with reversed orientation. On the right, the fusion of two topological line defects L1 and L2 into a single one L1L2. The fusion product L1L2 of any two defects L1 and L2 is the defect obtained by moving two parallel defects L1 and L2 very close to each other (see figure 2 right). The operator L[1L2 is jus… view at source ↗
Figure 3
Figure 3. On the left, a topological 2-junction u ∈ Hom(L1,L2) corresponds to a linear map u : HL1 → HL2 between twisted spaces. On the right, a topological 3-junction v ∈ Hom(L1 ⊗L2,L3) corresponds to a linear map v : HL1 ⊗ HL2 → HL3 . whose elements corresponds to morphisms HLi → HLj of twisted modules for the algebra of local operators. More generally, we have the identification Hom(Li ⊗ Lj ,Lk) ∼= Hom(I,Lk ⊗ (Li ⊗ Lj ) ∗ … view at source ↗

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Parafermionizing the Monster

    hep-th 2026-05 unverdicted novelty 7.0 of 10

    Parafermionization equates the Monster CFT to a gauged parafermion pair, yielding Rep(so(3)_p) symmetry and defect McKay-Thompson series invariant under Gamma_1(p+2).

Reference graph

Works this paper leans on

48 extracted references · 17 canonical work pages · cited by 1 Pith paper

  1. [20]

    Angius, S

    R. Angius, S. Giaccari, S.Harrison, and R. Volpato in preparation

    work page

  2. [17]

    Duality Defect of the Monster CFT,

    Y.-H. Lin and S.-H. Shao, “Duality Defect of the Monster CFT,” J. Phys. A54 no. 6, (2021) 065201, arXiv:1911.00042 [hep-th]

    arXiv 2021

  3. [11]

    Duality and defects in rational conformal field theory,

    J. Froehlich, J. Fuchs, I. Runkel, and C. C. Schweigert, “Duality and defects in rational conformal field theory,” Nucl. Phys. B763 (2007) 354–430, arXiv:hep-th/0607247 [hep-th]

    arXiv 2007

  4. [1]

    Generalized Global Symmetries,

    D. Gaiotto, A. Kapustin, N. Seiberg, and B. Willett, “Generalized Global Symmetries,” JHEP 02 (2015) , arXiv:1412.5148 [hep-th]

    arXiv 2015

  5. [2]

    Generalized Symmetries in Condensed Matter,

    J. McGreevy, “Generalized Symmetries in Condensed Matter,” Ann. Rev. Condensed Matter Phys. 14 (2023) 57–82, arXiv:2204.03045 [cond-mat.str-el]

    arXiv 2023

  6. [3]

    Snowmass White Paper: Generalized Symmetries in Quantum Field Theory and Beyond,

    C. Cordova, T. T. Dumitrescu, K. Intriligator, and S.-H. Shao, “Snowmass White Paper: Generalized Symmetries in Quantum Field Theory and Beyond,” in Snowmass 2021. 5,

    work page 2021

  7. [4]

    ICTP lectures on (non-)invertible generalized symmetries,

    S. Schafer-Nameki, “ICTP lectures on (non-)invertible generalized symmetries,” Phys. Rept. 1063 (2024) 1–55, arXiv:2305.18296 [hep-th]

    arXiv 2024

  8. [5]

    Introduction to Generalized Global Symmetries in QFT and Particle Physics,

    T. D. Brennan and S. Hong, “Introduction to Generalized Global Symmetries in QFT and Particle Physics,” arXiv:2306.00912 [hep-ph]

    arXiv

Show all 48 references
  1. [6]

    Lectures on generalized symmetries,

    L. Bhardwaj, L. E. Bottini, L. Fraser-Taliente, L. Gladden, D. S. W. Gould, A. Platschorre, and H. Tillim, “Lectures on generalized symmetries,” Phys. Rept.1051 (2024) 1–87, arXiv:2307.07547 [hep-th]

    2024 arXiv

  2. [7]

    What’s Done Cannot Be Undone: TASI Lectures on Non-Invertible Symmetries,

    S.-H. Shao, “What’s Done Cannot Be Undone: TASI Lectures on Non-Invertible Symmetries,” arXiv:2308.00747 [hep-th]. 25

    arXiv

  3. [8]

    Fusion Rules and Modular Transformations in 2D Conformal Field Theory,

    E. Verlinde, “Fusion Rules and Modular Transformations in 2D Conformal Field Theory,” Nucl. Phys. B300 (1988) 360–376

    1988

  4. [9]

    Generalized twisted partition functions,

    V. Petkova and J.-B. Zuber, “Generalized twisted partition functions,” Phys. Lett. B504 (2001) 157–164, arXiv:hep-th/0011021 [hep-th]

    2001 arXiv

  5. [10]

    Kramers-Wannier duality from conformal defects,

    J. Froehlich, J. Fuchs, I. Runkel, and C. Schweigert, “Kramers-Wannier duality from conformal defects,” Phys. Rev. Lett.93,070601 (2004) , arXiv:cond-mat/0404051 [cond-mat]

    2004 arXiv

  6. [12]

    Defect lines, dualities, and generalised orbifolds,

    J. Froehlich, J. Fuchs, I. Runkel, and C. Schweigert, “Defect lines, dualities, and generalised orbifolds,” in 16th International Congress on Mathematical Physics. 9, 2009. arXiv:0909.5013 [math-ph]

    2009 arXiv

  7. [13]

    Topological defect lines and renormalization group flows in two dimensions,

    C.-M. Chang, Y.-H. Lin, S.-H. Shao, Y. Wang, and X. Yin, “Topological defect lines and renormalization group flows in two dimensions,” JHEP 01 (2019) , arXiv:1802.04445 [hep-th]

    2019 arXiv

  8. [14]

    On finite symmetries and their gauging in two dimensions,

    L. Bhardwaj and Y. Tachikawa, “On finite symmetries and their gauging in two dimensions,” JHEP 03 (2018) 189, arXiv:1704.02330 [hep-th]

    2018 arXiv

  9. [15]

    Equivalence Relations on Vertex Operator Algebras, II: Witt Equivalence and Orbifolds,

    S. M¨ oller and B. C. Rayhaun, “Equivalence Relations on Vertex Operator Algebras, II: Witt Equivalence and Orbifolds,” arXiv:2410.18166 [hep-th]

    arXiv

  10. [16]

    Monstrous moonshine,

    J. H. Conway and S. P. Norton, “Monstrous moonshine,” Bull. London Math. Soc.11 no. 3, (1979) 308–339. https://doi.org/10.1112/blms/11.3.308

    1979 doi

  11. [18]

    Modular invariance groups and defect McKay-Thompson series,

    H. Fosbinder-Elkins and J. A. Harvey, “Modular invariance groups and defect McKay-Thompson series,” arXiv:2408.16263 [hep-th]

    arXiv

  12. [19]

    Tensor categories with fusion rules of self-duality for finite abelian groups,

    D. Tambara and S. Yamagami, “Tensor categories with fusion rules of self-duality for finite abelian groups,” J.Algebra 209 (1998) 692–707

    1998

  13. [21]

    TFT construction of RCFT correlators 1. Partition functions,

    J. Fuchs, I. Runkel, and C. Schweigert, “TFT construction of RCFT correlators 1. Partition functions,” Phys. Lett. B646 (2002) 353–497, arXiv:hep-th/0204148 [hep-th]. 26

    2002 arXiv

  14. [22]

    TFT construction of RCFT correlators 2. Unoriented world sheets,

    J. Fuchs, I. Runkel, and C. Schweigert, “TFT construction of RCFT correlators 2. Unoriented world sheets,” Phys. Lett. B678 (2004) 511–637, arXiv:hep-th/0306164 [hep-th]

    2004 arXiv

  15. [23]

    TFT construction of RCFT correlators 3. Simple currents,

    J. Fuchs, I. Runkel, and C. Schweigert, “TFT construction of RCFT correlators 3. Simple currents,” Phys. Lett. B694 (2004) 277–353, arXiv:hep-th/0403157 [hep-th]

    2004 arXiv

  16. [24]

    TFT construction of RCFT correlators IV: Structure constants and correlation functions,

    J. Fuchs, I. Runkel, and C. Schweigert, “TFT construction of RCFT correlators IV: Structure constants and correlation functions,” Phys. Lett. B715 (2005) 539–638, arXiv:hep-th/0412290 [hep-th]

    2005 arXiv

  17. [25]

    Gauging non-invertible symmetries: topological interfaces and generalized orbifold groupoid in 2d QFT,

    O. Diatlyk, C. Luo, Y. Wang, and Q. Weller, “Gauging non-invertible symmetries: topological interfaces and generalized orbifold groupoid in 2d QFT,” JHEP 03 (2024) 127, arXiv:2311.17044 [hep-th]

    2024

  18. [26]

    Remarks on boundaries, anomalies, and noninvertible symmetries,

    Y. Choi, B. C. Rayhaun, Y. Sanghavi, and S.-H. Shao, “Remarks on boundaries, anomalies, and noninvertible symmetries,” Phys. Rev. D108 no. 12, (2023) 125005, arXiv:2305.09713 [hep-th]

    2023 arXiv

  19. [27]

    Bosonic rational conformal field theories in small genera, chiral fermionization, and symmetry/subalgebra duality,

    B. C. Rayhaun, “Bosonic rational conformal field theories in small genera, chiral fermionization, and symmetry/subalgebra duality,” J. Math. Phys.65 no. 5, (2024) 052301, arXiv:2303.16921 [hep-th]

    2024 arXiv

  20. [28]

    Frenkel, J

    I. Frenkel, J. Lepowsky, and A. Meurman, Vertex operator algebras and the Monster, vol. 134 of Pure and Applied Mathematics. Academic Press, Inc., Boston, MA, 1988

    1988

  21. [29]

    Monstrous moonshine and monstrous Lie superalgebras,

    R. E. Borcherds, “Monstrous moonshine and monstrous Lie superalgebras,” Invent. Math. 109 no. 2, (1992) 405–444. https://doi.org/10.1007/BF01232032

    1992 doi

  22. [30]

    Generalized moonshine I: genus-zero functions,

    S. Carnahan, “Generalized moonshine I: genus-zero functions,” Algebra Number Theory4 no. 6, (2010) 649–679. https://doi.org/10.2140/ant.2010.4.649

    2010 doi

  23. [31]

    Generalized moonshine, II: Borcherds products,

    S. Carnahan, “Generalized moonshine, II: Borcherds products,” Duke Math. J.161 no. 5, (2012) 893–950. https://doi.org/10.1215/00127094-1548416

    2012 doi

  24. [32]

    Generalized Moonshine IV: Monstrous Lie algebras,

    S. H.-L. Carnahan, “Generalized Moonshine IV: Monstrous Lie algebras,” arXiv:1208.6254 [math.RT]

    arXiv

  25. [33]

    BPS Algebras, Genus Zero, and the Heterotic Monster,

    N. M. Paquette, D. Persson, and R. Volpato, “BPS Algebras, Genus Zero, and the Heterotic Monster,” J. Phys. A50 no. 41, (2017) 414001, arXiv:1701.05169 [hep-th]

    2017 arXiv

  26. [34]

    Duality defects in E 8,

    I. M. Burbano, J. Kulp, and J. Neuser, “Duality defects in E 8,” JHEP 10 (2022) 186, arXiv:2112.14323 [hep-th]

    2022 arXiv

  27. [35]

    Regularity of fixed-point vertex operator subalgebras,

    S. Carnahan and M. Miyamoto, “Regularity of fixed-point vertex operator subalgebras,” arXiv:1603.05645 [math.RT]. 27

    arXiv

  28. [36]

    Construction and classification of holomorphic vertex operator algebras,

    J. van Ekeren, S. M¨ oller, and N. R. Scheithauer, “Construction and classification of holomorphic vertex operator algebras,” J. Reine Angew. Math.2020 no. 759, (2020) 61–99

    2020

  29. [37]

    Fusion category symmetry ii: Categoriosities at c = 1 and beyond,

    R. Thorngren and Y. Wang, “Fusion category symmetry ii: Categoriosities at c = 1 and beyond,” arXiv:2106.12577 [hep-th]

    arXiv

  30. [38]

    A self-dual integral form of the Moonshine module,

    S. Carnahan, “A self-dual integral form of the Moonshine module,” SIGMA Symmetry Integrability Geom. Methods Appl.15 (2019) Paper No. 030, 36. https://doi.org/10.3842/SIGMA.2019.030

    2019 doi

  31. [39]

    Monstrous moonshine for integral group rings,

    S. Carnahan and S. Urano, “Monstrous moonshine for integral group rings,” Int. Math. Res. Not. IMRNno. 4, (2024) 2748–2789. https://doi.org/10.1093/imrn/rnad028

    2024 doi

  32. [40]

    Monstrous BPS-Algebras and the Superstring Origin of Moonshine,

    N. M. Paquette, D. Persson, and R. Volpato, “Monstrous BPS-Algebras and the Superstring Origin of Moonshine,” Commun. Num. Theor. Phys.10 (2016) 433–526, arXiv:1601.05412 [hep-th]

    2016 arXiv

  33. [41]

    On the Fate of Stringy Non-Invertible Symmetries,

    J. J. Heckman, J. McNamara, M. Montero, A. Sharon, C. Vafa, and I. Valenzuela, “On the Fate of Stringy Non-Invertible Symmetries,” arXiv:2402.00118 [hep-th]

    arXiv

  34. [42]

    On a class of selection rules without group actions in field theory and string theory,

    J. Kaidi, Y. Tachikawa, and H. Y. Zhang, “On a class of selection rules without group actions in field theory and string theory,” arXiv:2402.00105 [hep-th]

    arXiv

  35. [43]

    Self-Dual Vertex Operator Superalgebras and Superconformal Field Theory,

    T. Creutzig, J. F. R. Duncan, and W. Riedler, “Self-Dual Vertex Operator Superalgebras and Superconformal Field Theory,” J. Phys. A51 no. 3, (2018) 034001, arXiv:1704.03678 [math-ph]

    2018 arXiv

  36. [44]

    Super-moonshine for Conway’s largest sporadic group,

    J. Duncan, “Super-moonshine for Conway’s largest sporadic group,” arXiv:0502267 [math.RT]

  37. [45]

    Symmetries of K3 sigma models,

    M. Gaberdiel, S. Hohenegger, and R. Volpato, “Symmetries of K3 sigma models,” Commun. Num. Theor. Phys.6 (2012) 1–50, arXiv:1106.4315 [hep-th]

    2012 arXiv

  38. [46]

    Derived Equivalences of K3 Surfaces and Twined Elliptic Genera,

    J. Duncan and S. Mack-Crane, “Derived Equivalences of K3 Surfaces and Twined Elliptic Genera,” Res. Math. Sci.3 (2015) , arXiv:1506.06198 [math.RT]

    2015 arXiv

  39. [47]

    Topological defects in K3 sigma models,

    R. Angius, S. Giaccari, and R. Volpato, “Topological defects in K3 sigma models,” JHEP 07 (2024) 111, arXiv:2402.08719 [hep-th]. 28

    2024 arXiv

  40. [2022]

    arXiv:2205.09545 [hep-th]

    arXiv

Pith tools

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