Rigidity of Elliptic Genera: From Number Theory to Geometry and Back

In this paper, we derive topological and number theoretical consequences of the rigidity of elliptic genera, which are special modular forms associated to compact almost complex manifolds. On the geometry side, we prove that rigidity implies relations between the Betti numbers and the index of a compact symplectic manifold admitting a Hamiltonian action of a circle with isolated fixed points. We investigate the case of maximal index and toric actions. On the number theoretical side, we prove that from each compact almost complex manifold of index greater than one, that can be endowed with the action of a circle with isolated fixed points, one can derive non-trivial relations among Eisenstein series. We give explicit formulas coming from the standard action on ${{\mathbb{C}}} P^n$.

[1]  E. Witten.  The index of the dirac operator in loop space , 1988 .

[2]  T. Delzant,et al.  Hamiltoniens périodiques et images convexes de l'application moment , 1988 .

[3]  ELLIPTIC GENERA, TORUS ORBIFOLDS AND MULTI-FANS II , 2005 .

[4]  M. Atiyah,et al.  The Index of elliptic operators. 1 , 1968 .

[5]  E. Witten.  Elliptic genera and quantum field theory , 1987 .

[6]  V. Guillemin,et al.  Cohomology of GKM fiber bundles , 2008, 0806.3539.

[7]  S. Sternberg,et al.  Supersymmetry and equivariant de Rham theory , 1999 .

[8]  Michael Atiyah,et al.  The moment map and equivariant cohomology , 1984 .

[9]  M. Atiyah,et al.  The Index of elliptic operators. 3. , 1968 .

[10]  J. Humphreys.  Reflection groups and coxeter groups , 1990 .

[11]  M. Atiyah,et al.  The Index of Elliptic Operators: IV , 1971 .

[12]  J. Milnor.  On the Cobordism Ring Ω ∗ and a Complex Analogue, Part I , 1960 .

[13]  V. Guillemin,et al.  A GKM description of the equivariant cohomology ring of a homogeneous space , 2001, math/0112184.

[14]  Dusa McDuff,et al.  J-Holomorphic Curves and Symplectic Topology , 2004 .

[15]  Robert Evert Stong,et al.  Notes on cobordism theory , 1968 .

[16]  S. Tolman,et al.  New Techniques for obtaining Schubert-type formulas for Hamiltonian manifolds , 2010, 1004.4543.

[17]  D. Zagier.  Periods of modular forms and Jacobi theta functions , 1991 .

[18]  S. Sternberg,et al.  Convexity properties of the moment mapping , 1982 .

[19]  Leonor Godinho,et al.  New Tools for Classifying Hamiltonian Circle Actions with Isolated Fixed Points , 2012, Found. Comput. Math..

[20]  F. Kirwan.  Cohomology of Quotients in Symplectic and Algebraic Geometry. (MN-31), Volume 31 , 1984 .

[21]  M. Atiyah,et al.  The Index of Elliptic Operators: II , 1968 .

[22]  George A. Elliott,et al.  K-theory , 1999 .

[23]  Leonor Godinho,et al.  12, 24 and Beyond , 2016, 1604.00277.

[24]  Leonor Godinho,et al.  Fermat and the number of fixed points of periodic flows , 2014, 1404.4541.

[25]  M. Atiyah.  THE INDEX OF ELLIPTIC OPERATORS , 1997 .

[26]  P. Landweber,et al.  Elliptic Curves and Modular Forms in Algebraic Topology , 1988 .

[27]  S. Sabatini.  On the Chern numbers and the Hilbert polynomial of an almost complex manifold with a circle action , 2014, 1411.6458.

[28]  S. Tolman,et al.  On a symplectic generalization of Petrie’s conjecture , 2009, 0903.4918.

[29]  Ping Li.  The rigidity of Dolbeault-type operators and symplectic circle actions , 2010, 1007.4665.

[30]  Michael Atiyah,et al.  Convexity and Commuting Hamiltonians , 1982 .

[31]  Shlomo Sternberg,et al.  Convexity properties of the moment mapping. II , 1982 .

[32]  Tomoyoshi Yoshida,et al.  Lifting compact group actions in fiber bundles , 1976 .

[33]  I. Charton.  Hamiltonian S1-spaces with large equivariant pseudo-index , 2019, 1903.03668.

[34]  Shôshichi Kobayashi,et al.  Characterizations of complex projective spaces and hyperquadrics , 1973 .

[35]  R. Bott,et al.  On the rigidity theorems of Witten , 1989 .

[36]  T. Berger,et al.  Manifolds and modular forms , 1992 .

[37]  C. Taubes.  S1 actions and elliptic genera , 1989 .

[38]  A. Hattori.  Spinc-structures andS1-actions , 1978 .

[39]  M. Atiyah,et al.  Spin-manifolds and group actions , 1970 .