pith. sign in

arxiv: 2412.02298 · v3 · submitted 2024-12-03 · 🧮 math.AT · hep-th· math-ph· math.MP

Topological Elliptic Genera I -- The mathematical foundation

Ying-Hsuan Lin , Mayuko Yamashita This is my paper

Pith reviewed 2026-05-23 08:22 UTC · model grok-4.3

classification 🧮 math.AT hep-thmath-phmath.MP
keywords topological elliptic generaequivariant topological modular formsSU-manifoldsSp-manifoldsEuler numbersdivisibilityhomotopy refinementsWitten genus
0
0 comments X

The pith

Topological elliptic genera are constructed as homotopy refinements of classical elliptic genera for SU-manifolds that land in equivariant topological modular forms and imply a divisibility result for Euler numbers of Sp-manifolds.

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

The paper defines topological elliptic genera as refined versions of the usual elliptic genera that incorporate homotopy theory. These maps send manifolds equipped with SU or Sp structures into spaces built from equivariant topological modular forms twisted by group representations. The refinements are strong enough to produce new arithmetic constraints on the Euler numbers of Sp-manifolds. A reader would care because the construction turns geometric invariants into objects that can detect divisibility properties not visible in the classical versions.

Core claim

The authors construct topological elliptic genera as homotopy-theoretic refinements of the elliptic genera for SU-manifolds and variants including the Witten-Landweber-Ochanine genus. The codomains are genuinely G-equivariant topological modular forms twisted by G-representations. From this construction they deduce a divisibility result for the Euler numbers of Sp-manifolds.

What carries the argument

The topological elliptic genus, a homotopy-theoretic refinement of the classical elliptic genus that takes values in equivariant topological modular forms twisted by representations.

Load-bearing premise

The homotopy refinements exist and are strong enough to imply the stated divisibility for Euler numbers of Sp-manifolds.

What would settle it

An explicit Sp-manifold whose Euler number fails to satisfy the divisibility relation predicted by the topological elliptic genus would show the claim is false.

read the original abstract

We construct {\it Topological Elliptic Genera}, homotopy-theoretic refinements of the elliptic genera for $SU$-manifolds and variants including the Witten-Landweber-Ochanine genus. The codomains are genuinely $G$-equivariant Topological Modular Forms developed by Gepner-Meier, twisted by $G$-representations. As the first installment of a series of articles on Topological Elliptic Genera, this issue lays the mathematical foundation and discusses immediate applications. Most notably, we deduce an interesting divisibility result for the Euler numbers of $Sp$-manifolds.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 1 minor

Summary. The paper constructs Topological Elliptic Genera as homotopy-theoretic refinements of the classical elliptic genera for SU-manifolds (including the Witten-Landweber-Ochanine genus). The codomains are G-equivariant topological modular forms in the sense of Gepner-Meier, twisted by G-representations. The work lays the foundational definitions and properties for this construction and derives, as an immediate application, a divisibility result on the Euler numbers of Sp-manifolds.

Significance. If the refinement is shown to exist and to be sufficiently natural, the construction would supply a new source of homotopy-theoretic invariants refining elliptic genera, with potential applications to divisibility phenomena in bordism and manifold theory. The explicit use of Gepner-Meier's G-equivariant TMF is a strength, as is the focus on a concrete divisibility consequence for Sp-manifolds. No machine-checked proofs or parameter-free derivations are mentioned.

major comments (1)
  1. [Abstract / page 1] The central claim that the constructed invariants are strong enough to imply the stated divisibility for Euler numbers of Sp-manifolds rests on the existence of a natural map from the relevant bordism spectrum into the twisted G-equivariant TMF whose induced map on Euler characteristics detects the required divisibility. No explicit construction of this map, no verification of its naturality, and no computation of the induced map on Euler numbers appear in the provided text, leaving the divisibility step uncheckable.
minor comments (1)
  1. [Abstract] The abstract refers to 'variants including the Witten-Landweber-Ochanine genus' without specifying which variants are treated or how the construction adapts to them.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading and for highlighting the need for greater explicitness in the divisibility application. We address the single major comment below.

read point-by-point responses

  1. Referee: [Abstract / page 1] The central claim that the constructed invariants are strong enough to imply the stated divisibility for Euler numbers of Sp-manifolds rests on the existence of a natural map from the relevant bordism spectrum into the twisted G-equivariant TMF whose induced map on Euler characteristics detects the required divisibility. No explicit construction of this map, no verification of its naturality, and no computation of the induced map on Euler numbers appear in the provided text, leaving the divisibility step uncheckable.

    Authors: We agree that the divisibility result for Euler numbers of Sp-manifolds requires an explicit construction of the natural map from the relevant bordism spectrum to the twisted G-equivariant TMF, together with a verification of naturality and a computation of the induced map on Euler characteristics. These details were omitted from the foundation paper, rendering the step uncheckable as noted. In the revised version we will insert a dedicated subsection that (i) constructs the map via the universal property of the topological elliptic genus and the defining properties of Gepner–Meier G-equivariant TMF, (ii) proves naturality with respect to the relevant group actions and twists, and (iii) computes the induced map on Euler numbers to confirm the stated divisibility. revision: yes

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The paper presents a construction of Topological Elliptic Genera as homotopy-theoretic refinements of elliptic genera, with codomains in G-equivariant TMF from the external reference Gepner-Meier (twisted by representations), from which a divisibility result on Euler numbers of Sp-manifolds is deduced. No equations, definitions, or derivation steps are exhibited in the provided text that reduce any claimed prediction or result to a fitted input, self-definition, or self-citation chain by construction. The cited TMF work is external and not load-bearing via author overlap. The derivation chain appears self-contained against external benchmarks, consistent with a standard new construction in homotopy theory.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 1 invented entities

Review performed on abstract only; ledger entries are therefore minimal and provisional.

axioms (1)
  • domain assumption Existence and properties of G-equivariant Topological Modular Forms as developed by Gepner-Meier
    The codomains of the constructed genera are these forms.
invented entities (1)
  • Topological Elliptic Genera no independent evidence
    purpose: Homotopy-theoretic refinements of classical elliptic genera
    Newly introduced objects whose existence is asserted in the abstract.

pith-pipeline@v0.9.0 · 5623 in / 1290 out tokens · 31938 ms · 2026-05-23T08:22:54.434196+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 3 Pith papers

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

  1. Unraveling the Bott spiral

    math-ph 2026-05 unverdicted novelty 8.0

    A new homotopy model for the Bott spiral of fermionic SPTs is built via twisted ABS orientation and IFT spiral maps, showing IFTs need more symmetry data than K-theory and relying on an extraspecial group isomorphism ...

  2. The U(1)-topological elliptic genus is surjective

    math.AT 2026-04 unverdicted novelty 7.0

    The U(1)-topological elliptic genus lifts to connective topological Jacobi forms and is surjective in homotopy.

  3. Cohomology ring of unitary $N=(2,2)$ full vertex algebra and mirror symmetry

    math.RT 2025-04 unverdicted novelty 5.0

    Introduces cohomology rings, Hodge numbers and Witten index for unitary N=(2,2) full VOAs; constructs spectral flow algebraically and proves its periodicities equivalent to top-degree cohomology classes, yielding Poin...

Reference graph

Works this paper leans on

49 extracted references · 49 canonical work pages · cited by 3 Pith papers · 6 internal anchors

  1. [1]

    M. Ando, A. J. Blumberg, and D. Gepner, Twists of K -theory and TMF , Superstrings, geometry, topology, and C∗-algebras 81 (2010) 27--63

    work page 2010

  2. [2]

    M. Ando, A. J. Blumberg, and D. Gepner, Parametrized spectra, multiplicative T hom spectra and the twisted U mkehr map , Geom. Topol. 22 (2018) 3761--3825 https://doi.org/10.2140/gt.2018.22.3761

    work page doi:10.2140/gt.2018.22.3761 2018

  3. [3]

    M. Ando, C. P. French, and N. Ganter, The J acobi orientation and the two-variable elliptic genus , Algebraic & Geometric Topology 8 (2008) 493--539 http://dx.doi.org/10.2140/agt.2008.8.493

    work page doi:10.2140/agt.2008.8.493 2008

  4. [4]

    Circle-equivariant classifying spaces and the rational equivariant sigma genus

    M. Ando and J. P. C. Greenlees, Circle-equivariant classifying spaces and the rational equivariant sigma genus, 2010. http://arxiv.org/abs/0705.2687 arXiv:0705.2687 [math.AT]

    work page internal anchor Pith review Pith/arXiv arXiv 2010

  5. [5]

    M. Ando, M. J. Hopkins, and C. Rezk, Multiplicative orientations of KO -theory and of the spectrum of topological modular forms , preprint (2010) https://rezk.web.illinois.edu/koandtmf.pdf

    work page 2010

  6. [6]

    J. C. Alexander, A family of indecomposable symplectic manifolds, Amer. J. Math. 94 (1972) 699--710 https://doi.org/10.2307/2373752

    work page doi:10.2307/2373752 1972

  7. [7]

    J. C. Alexander, Correction and addendum to a family of indecomposable symplectic manifolds, American Journal of Mathematics 99 (1977) 1361--1364

    work page 1977

  8. [8]

    Bauer, Elliptic cohomology of projective spaces and the divisibility of taylor coefficients of jacobi forms

    T. Bauer, Elliptic cohomology of projective spaces and the divisibility of taylor coefficients of jacobi forms. To appear

    work page

  9. [9]

    Bauer and L

    T. Bauer and L. Meier, Topological Jacobi Forms . To appear

    work page

  10. [10]

    R. R. Bruner, On the P ostnikov towers for real and complex connective K -theory , 2012. http://arxiv.org/abs/1208.2232 arXiv:1208.2232 [math.AT]

    work page internal anchor Pith review Pith/arXiv arXiv 2012

  11. [11]

    C. L. Douglas, J. Francis, A. G. Henriques, and M. A. Hill (eds.), http://dx.doi.org/10.1090/surv/201 Topological modular forms , Mathematical Surveys and Monographs, vol. 201, American Mathematical Society, Providence, RI, 2014. https://doi.org/10.1090/surv/201

    work page doi:10.1090/surv/201 2014

  12. [12]

    Quantum Black Holes, Wall Crossing, and Mock Modular Forms

    A. Dabholkar, S. Murthy, and D. Zagier, Quantum black holes, wall crossing, and mock modular forms, 2014. http://arxiv.org/abs/1208.4074 arXiv:1208.4074 [hep-th]

    work page internal anchor Pith review Pith/arXiv arXiv 2014

  13. [13]

    a hler manifolds , K \

    I. Enoki, Compact ricci-flat k \"a hler manifolds , K \"a hler Metric and Moduli Spaces, vol. 18, Mathematical Society of Japan, 1990, pp. 229--257

    work page 1990

  14. [14]

    I. B. Frenkel, Representations of affine L ie algebras, H ecke modular forms and K orteweg—de V ries type equations , Lie Algebras and Related Topics: Proceedings of a Conference Held at New Brunswick, New Jersey, May 29--31, 1981, Springer, 2006, pp. 71--110

    work page 1981

  15. [15]

    D. S. Freed, http://dx.doi.org/10.1090/cbms/133 Lectures on field theory and topology , CBMS Regional Conference Series in Mathematics, vol. 133, American Mathematical Society, Providence, RI, 2019. https://doi.org/10.1090/cbms/133. Published for the Conference Board of the Mathematical Sciences

    work page doi:10.1090/cbms/133 2019

  16. [16]

    Gukov, V

    S. Gukov, V. Krushkal, L. Meier, and D. Pei, A new approach to (3+1) -dimensional TQFT s via T opological M odular F orms . To appear

    work page

  17. [17]

    Gepner and L

    D. Gepner and L. Meier, Equivariant elliptic cohomology with integral coefficients. To appear

    work page

  18. [18]

    Gepner and L

    D. Gepner and L. Meier, On equivariant topological modular forms, Compos. Math. 159 (2023) 2638--2693 https://doi.org/10.1112/s0010437x23007509

    work page doi:10.1112/s0010437x23007509 2023

  19. [19]

    Gomi, Freed- M oore K -theory , Comm

    K. Gomi, Freed- M oore K -theory , Comm. Anal. Geom. 31 (2023) 979--1067

    work page 2023

  20. [20]

    Elliptic genus of Calabi-Yau manifolds and Jacobi and Siegel modular forms

    V. Gritsenko, Elliptic genus of Calabi-Yau manifolds and Jacobi and Siegel modular forms , http://arxiv.org/abs/math/9906190 arXiv:math/9906190

    work page internal anchor Pith review Pith/arXiv arXiv

  21. [21]

    Gritsenko, Modified elliptic genus, http://dx.doi.org/https://doi.org/10.1007/978-3-030-42400-8_2 Partition Functions and Automorphic Forms (2020) 87--119

    V. Gritsenko, Modified elliptic genus, http://dx.doi.org/https://doi.org/10.1007/978-3-030-42400-8_2 Partition Functions and Automorphic Forms (2020) 87--119

    work page doi:10.1007/978-3-030-42400-8_2 2020

  22. [22]

    Gritsenko and H

    V. Gritsenko and H. Wang, Graded rings of integral jacobi forms, Journal of Number Theory 214 (2020) 382--398 https://www.sciencedirect.com/science/article/pii/S0022314X20300925

    work page 2020

  23. [23]

    Topological modular forms with level structure

    M. Hill and T. Lawson, Topological modular forms with level structure, Invent. Math. 203 (2016) 359--416 https://doi.org/10.1007/s00222-015-0589-5, http://arxiv.org/abs/1312.7394 arXiv:1312.7394 [math.AT]

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1007/s00222-015-0589-5 2016

  24. [24]

    Level/rank Duality and Chern-Simons-Matter Theories

    P.-S. Hsin and N. Seiberg, Level/rank duality and C hern- S imons-matter theories , http://dx.doi.org/10.1007/JHEP09(2016)095 JHEP 09 (2016) 095 , http://arxiv.org/abs/1607.07457 arXiv:1607.07457 [hep-th]

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1007/jhep09(2016)095 2016

  25. [25]

    P. S. Landweber, Cobordism operations and H opf algebras , Trans. Amer. Math. Soc. 129 (1967) 94--110 https://doi.org/10.2307/1994365

    work page doi:10.2307/1994365 1967

  26. [26]

    Y.-H. Lin, A. Tominaga, and M. Yamashita, On genuinely C_n -equivariant . To appear

    work page

  27. [27]

    Lurie, Elliptic cohomology I : Spectral abelian varieties

    J. Lurie, Elliptic cohomology I : Spectral abelian varieties . https://www.math.ias.edu/ lurie/papers/Elliptic-I.pdf

    work page

  28. [28]

    https://www.math.ias.edu/ lurie/papers/Elliptic-II.pdf

    , Elliptic cohomology II : Orientations . https://www.math.ias.edu/ lurie/papers/Elliptic-II.pdf

    work page

  29. [29]

    https://www.math.ias.edu/ lurie/papers/Elliptic-III-Tempered.pdf

    , Elliptic cohomology III : Tempered cohomology . https://www.math.ias.edu/ lurie/papers/Elliptic-III-Tempered.pdf

    work page

  30. [30]

    219--277

    , A survey of elliptic cohomology, Algebraic Topology: The Abel Symposium 2007, Springer, 2009, pp. 219--277

    work page 2007

  31. [31]

    Lin and M

    Y.-H. Lin and M. Yamashita, Topological elliptic genera II : Physical interpretations . To appear

    work page

  32. [32]

    E. J. Mlawer, S. G. Naculich, H. A. Riggs, and H. J. Schnitzer, Group-level duality of WZW fusion coefficients and C hern- S imons link observables , Nuclear Physics B 352 (1991) 863--896

    work page 1991

  33. [33]

    R. E. Mosher, Some stable homotopy of complex projective space, Topology 7 (1968) 179--193 https://doi.org/10.1016/0040-9383(68)90026-8

    work page doi:10.1016/0040-9383(68)90026-8 1968

  34. [34]

    Mukai, The order of the attaching class in the suspended quaternionic quasiprojective space, Publ

    J. Mukai, The order of the attaching class in the suspended quaternionic quasiprojective space, Publ. Res. Inst. Math. Sci. 20 (1984) 717--725 https://doi.org/10.2977/prims/1195181109

    work page doi:10.2977/prims/1195181109 1984

  35. [35]

    Meier and M

    L. Meier and M. Yamashita, Looijenga line bundles in equivariant twisted . To appear

    work page

  36. [36]

    S. P. Novikov, Methods of algebraic topology from the point of view of cobordism theory, Izv. Akad. Nauk SSSR Ser. Mat. 31 (1967) 855--951

    work page 1967

  37. [37]

    S. G. Naculich, H. Riggs, and H. Schnitzer, Group-level duality in WZW models and C hern- S imons theory , Physics Letters B 246 (1990) 417--422

    work page 1990

  38. [38]

    S. G. Naculich and H. J. Schnitzer, Level-rank duality of the U (N) WZW model, C hern- S imons theory, and 2d q YM theory , Journal of High Energy Physics 2007 (2007) 023

    work page 2007

  39. [39]

    Nakanishi and A

    T. Nakanishi and A. Tsuchiya, Level-rank duality of WZW models in conformal field theory , Communications in mathematical physics 144 (1992) 351--372

    work page 1992

  40. [40]

    Ochanine, Elliptic genera, modular forms over K O _* and the B rown- K ervaire invariant , Math

    S. Ochanine, Elliptic genera, modular forms over K O _* and the B rown- K ervaire invariant , Math. Z. 206 (1991) 277--291 https://doi.org/10.1007/BF02571343

    work page doi:10.1007/bf02571343 1991

  41. [41]

    Ostrik, E

    V. Ostrik, E. C. Rowell, and M. Sun, Symplectic level-rank duality via tensor categories, Journal of Lie Theory 30 (2020) 909--924

    work page 2020

  42. [42]

    Ostrik and M

    V. Ostrik and M. Sun, Level-rank duality via tensor categories, Communications in Mathematical Physics 326 (2014) 49--61 https://doi.org/10.1007/s00220-013-1869-9

    work page doi:10.1007/s00220-013-1869-9 2014

  43. [43]

    Ray, The symplectic bordism ring, Mathematical Proceedings of the Cambridge Philosophical Society, vol

    N. Ray, The symplectic bordism ring, Mathematical Proceedings of the Cambridge Philosophical Society, vol. 71, Cambridge University Press, 1972, pp. 271--282

    work page 1972

  44. [44]

    Tominaga, Computation of topological J acobi forms

    A. Tominaga, Computation of topological J acobi forms . To appear

    work page

  45. [45]

    Totaro, Chern numbers for singular varieties and elliptic homology, Annals of Mathematics 151 (2000) 757--791 http://www.jstor.org/stable/121047

    B. Totaro, Chern numbers for singular varieties and elliptic homology, Annals of Mathematics 151 (2000) 757--791 http://www.jstor.org/stable/121047

    work page 2000

  46. [46]

    Tachikawa and M

    Y. Tachikawa and M. Yamashita, Anderson self-duality of topological modular forms, its differential-geometric manifestations, and vertex operator algebras, http://arxiv.org/abs/1908.11012 arXiv:1908.11012

    work page arXiv 1908

  47. [47]

    Wakakuwa, On Riemannian manifolds with homogeneous holonomy group Sp (n) , Tohoku Mathematical Journal, Second Series 10 (1958) 274--303

    H. Wakakuwa, On Riemannian manifolds with homogeneous holonomy group Sp (n) , Tohoku Mathematical Journal, Second Series 10 (1958) 274--303

    work page 1958

  48. [48]

    Witten, The index of the D irac operator in loop space , http://dx.doi.org/10.1007/BFb0078045 Lect

    E. Witten, The index of the D irac operator in loop space , http://dx.doi.org/10.1007/BFb0078045 Lect. Notes Math. 1326 (1988) 161--181

    work page doi:10.1007/bfb0078045 1988

  49. [49]

    write newline

    " write newline "" before.all 'output.state := FUNCTION output.nonempty.mrnumber duplicate missing pop "" 'skip if duplicate empty 'pop " " swap * " " * write if FUNCTION blank.sep after.quote 'output.state := FUNCTION fin.entry add.period write newline FUNCTION new.block output.state before.all = 'skip output.state after.quote = after.quoted.block 'outpu...

    work page