Quadratic functions in geometry, topology, and M-theory

We describe an interpretation of the Kervaire invariant of a Riemannian manifold of dimension $4k+2$ in terms of a holomorphic line bundle on the abelian variety $H^{2k+1}(M)\otimes R/Z$. Our results are inspired by work of Witten on the fivebrane partition function in $M$-theory (hep-th/9610234, hep-th/9609122). Our construction requires a refinement of the algebraic topology of smooth manifolds better suited to the needs of mathematical physics, and is based on our theory of differential functions. These differential functions generalize the differential characters of Cheeger-Simons, and the bulk of this paper is devoted to their study.

[1]  H. Lawson,et al.  From Sparks to Grundles--Differential Characters , 2003, math/0306193.

[2]  M. Hopkins,et al.  Elliptic spectra, the Witten genus and the theorem of the cube , 2001 .

[3]  J. Lott.  Higher-Degree Analogs of the Determinant Line Bundle , 2001, math/0106177.

[4]  I. Singer,et al.  Beyond the elliptic genus , 2001, hep-th/0104199.

[5]  D. Freed.  Dirac Charge Quantization and Generalized Differential Cohomology , 2000, hep-th/0011220.

[6]  G. Laures.  ON COBORDISM OF MANIFOLDS WITH CORNERS , 2000 .

[7]  E. Witten.  Overview of K theory applied to strings , 2000, hep-th/0007175.

[8]  D. Freed,et al.  On Ramond-Ramond fields and K-theory , 2000, hep-th/0002027.

[9]  C. Nappi,et al.  A modular invariant partition function for the fivebrane , 1998, hep-th/9806016.

[10]  E. Witten.  Five-brane effective action in M theory , 1996, hep-th/9610234.

[11]  E. Witten.  On flux quantization in M-theory and the effective action , 1996, hep-th/9609122.

[12]  Jean-Luc Brylinski,et al.  Loop Spaces, Characteristic Classes and Geometric Quantization , 1994 .

[13]  Jon P. May.  Simplicial objects in algebraic topology , 1993 .

[14]  J. Harris.  Theta-characteristics on algebraic curves , 1982 .

[15]  G. Anderson.  Surgery with Coefficients , 1977 .

[16]  Michael Comenetz,et al.  Pontrjagin Duality for Generalized Homology and Cohomology Theories , 1976 .

[17]  V. K. Patodi,et al.  Spectral asymmetry and Riemannian geometry. III , 1976, Mathematical Proceedings of the Cambridge Philosophical Society.

[18]  Z. Yosimura,et al.  Universal coefficient sequences for cohomology theories of CW-spectra. II , 1975 .

[19]  D. Sullivan,et al.  The Transversality Characteristic Class and Linking Cycles in Surgery Theory , 1974 .

[20]  J. M. Boardman,et al.  Homotopy Invariant Algebraic Structures on Topological Spaces , 1973 .

[21]  V. K. Patodi,et al.  Spectral asymmetry and Riemannian Geometry. I , 1973, Mathematical Proceedings of the Cambridge Philosophical Society.

[22]  Edgar H. Brown,et al.  Generalizations of the Kervaire Invariant , 1972 .

[23]  W. Browder.  The Kervaire invariant of framed manifolds and its generalization , 1969 .

[24]  E. Brown,et al.  The Kervaire Invariant of 8k + 2-Manifolds , 1966 .

[25]  E. Brown,et al.  The Kervaire invariant of $\left( {8k + 2} \right)$-manifolds , 1966 .

[26]  E. Brown.  Note on an invariant of Kervaire. , 1965 .

[27]  M. Narasimhan,et al.  EXISTENCE OF UNIVERSAL CONNECTIONS II. , 1961 .

[28]  Michel Kervaire,et al.  A manifold which does not admit any differentiable structure , 1960 .

[29]  R. Thom.  Quelques propriétés globales des variétés différentiables , 1954 .

[30]  G. Whitehead.  The (n + 2) nd Homotopy Group of the n-Sphere , 1950 .

[31]  B. Dundas,et al.  DIFFERENTIAL TOPOLOGY , 2002 .

[32]  L. Fatibene,et al.  Spin structures on manifolds , 1998 .

[33]  M. Hopkins.  Topological Modular Forms, the Witten Genus, and the Theorem of the Cube , 1995 .

[34]  K. Ribet.  Current Trends in Arithmetical Algebraic Geometry , 1987 .

[35]  P. Deligne.  Le déterminant de la cohomologie , 1987 .

[36]  D. Quillen,et al.  Superconnections, thom classes, and equivariant differential forms , 1986 .

[37]  D. Quillen.  Superconnections and the Chern character , 1985 .

[38]  J. Adams,et al.  Stable homotopy and generalised homology , 1974 .

[39]  S. Chern,et al.  Characteristic forms and geometric invariants , 1974 .

[40]  P. Cohn.  Symmetric Bilinear Forms , 1973 .

[41]  J. P. May,et al.  The geometry of iterated loop spaces , 1972 .

[42]  Michael Atiyah,et al.  Riemann surfaces and spin structures , 1971 .

[43]  D. Mumford.  Theta characteristics of an algebraic curve , 1971 .

[44]  Edward B Curtis,et al.  Simplicial homotopy theory , 1968 .

[45]  E. Brown,et al.  SU-corbodism, KO-characteristic Numbers, and the Kervaire Invariant , 1966 .

[46]  A. Douady,et al.  Variétés à bord anguleux et voisinages tubulaires , 1962 .

[47]  J. Cerf.  Topologie de certains espaces de plongements , 1961 .

[48]  K. Reidemeister.  Einführung in die kombinatorische Topologie , 1951 .