English

Some topological genera and Jacobi forms

Number Theory 2025-07-23 v4 Algebraic Topology

Abstract

We revisit and elucidate the A^\widehat{A}-genus, Hirzebruch's LL-genus and Witten's WW-genus, cobordism invariants of special classes of manifolds. After slight modification, involving Hecke's trick, we find that the A^\widehat{A}-genus and LL-genus arise directly from Jacobi's theta function. For every k0,k\geq 0, we obtain exact formulas for the quasimodular expressions of A^k\widehat{A}_k and LkL_k as ``traces'' of partition Eisenstein series A^k(τ)=Trk(ϕA^;τ)      and      Lk(τ)=Trk(ϕL;τ), \widehat{\mathcal{A}}_k(\tau)= \operatorname{Tr}_k(\phi_{\widehat{A}};\tau)\ \ \ \ \ \ {\text {and}}\ \ \ \ \ \ \mathcal{L}_k(\tau)= \operatorname{Tr}_k(\phi_L;\tau), which are easily converted to the original topological expressions. Surprisingly, Ramanujan defined twists of the A^k(τ)\widehat{\mathcal{A}}_k(\tau) in his ``lost notebook'' in his study of derivatives of theta functions, decades before Borel and Hirzebruch rediscovered them in the context of spin manifolds. In addition, we show that the nonholomorphic G2G_2^{\star}-completion of the characteristic series of the Witten genus is the Jacobi theta function avatar of the A^\widehat{A}-genus.

Keywords

Cite

@article{arxiv.2502.02432,
  title  = {Some topological genera and Jacobi forms},
  author = {Tewodros Amdeberhan and Michael Griffin and Ken Ono},
  journal= {arXiv preprint arXiv:2502.02432},
  year   = {2025}
}

Comments

We have corrected a few minor typos and updated two references. This paper will appear in the Proceedings of the National Academy of Sciences

R2 v1 2026-06-28T21:32:18.693Z