Spectral sequences in smooth generalized cohomology

Grady, Daniel¹ ; Sati, Hisham²

¹Department of Mathematics, New York University, Abu Dhabi, Abu Dhabi, United Arab Emirates
²Department of Mathematics, University of Pittsburgh, Pittsburgh, PA, United States

Algebraic and Geometric Topology, Tome 17 (2017) no. 4, pp. 2357-2412

Résumé

We consider spectral sequences in smooth generalized cohomology theories, including differential generalized cohomology theories. The main differential spectral sequences will be of the Atiyah–Hirzebruch (AHSS) type, where we provide a filtration by the Čech resolution of smooth manifolds. This allows for systematic study of torsion in differential cohomology. We apply this in detail to smooth Deligne cohomology, differential topological complex K-theory and to a smooth extension of integral Morava K-theory that we introduce. In each case, we explicitly identify the differentials in the corresponding spectral sequences, which exhibit an interesting and systematic interplay between (refinements of) classical cohomology operations, operations involving differential forms and operations on cohomology with U(1) coefficients.

Détail

DOI : 10.2140/agt.2017.17.2357

Classification : 55N15, 55T10, 55T25, 53C05, 55S05, 55S35
Keywords: differential cohomology, smooth cohomology, generalized cohomology, Atiyah-Hirzebruch spectral sequence, cohomology operations

Bibliographie

[1] J F Adams, Stable homotopy and generalised homology, Univ. of Chicago Press (1974)

[2] D Arlettaz, The order of the differentials in the Atiyah–Hirzebruch spectral sequence, K-Theory 6 (1992) 347 | DOI

[3] M F Atiyah, F Hirzebruch, Vector bundles and homogeneous spaces, from: "Differential Geometry" (editor C B Allendoerfer), Proc. Sympos. Pure Math. 3, Amer. Math. Soc. (1961) 7

[4] M F Atiyah, F Hirzebruch, Analytic cycles on complex manifolds, Topology 1 (1962) 25 | DOI

[5] N A Baas, B I Dundas, J Rognes, Two-vector bundles and forms of elliptic cohomology, from: "Topology, geometry and quantum field theory" (editor U Tillmann), London Math. Soc. Lecture Note Ser. 308, Cambridge Univ. Press (2004) 18 | DOI

[6] A Björner, Topological methods, from: "Handbook of combinatorics, II" (editors R L Graham, M Grötschel, L Lovász), Elsevier Sci. B. V. (1995) 1819

[7] R Bott, L W Tu, Differential forms in algebraic topology, 82, Springer (1982) | DOI

[8] A K Bousfield, The localization of spectra with respect to homology, Topology 18 (1979) 257 | DOI

[9] J Brodzki, V Mathai, J Rosenberg, R J Szabo, D-branes, RR-fields and duality on noncommutative manifolds, Comm. Math. Phys. 277 (2008) 643 | DOI

[10] K S Brown, Abstract homotopy theory and generalized sheaf cohomology, Trans. Amer. Math. Soc. 186 (1973) 419 | DOI

[11] J L Brylinski, Loop spaces, characteristic classes and geometric quantization, 107, Birkhäuser (1993) | DOI

[12] L Buhné, Properties of integral Morava K-theory and the asserted application to the Diaconescu–Moore–Witten anomaly, PhD thesis, Hamburg Univ. (2011)

[13] U Bunke, Differential cohomology, preprint (2012)

[14] U Bunke, M Kreck, T Schick, A geometric description of differential cohomology, Ann. Math. Blaise Pascal 17 (2010) 1 | DOI

[15] U Bunke, T Nikolaus, Twisted differential cohomology, preprint (2014)

[16] U Bunke, T Nikolaus, M Völkl, Differential cohomology theories as sheaves of spectra, J. Homotopy Relat. Struct. 11 (2016) 1 | DOI

[17] U Bunke, T Schick, Smooth K-theory, Astérisque 328, Soc. Math. France (2009) 45

[18] U Bunke, T Schick, Uniqueness of smooth extensions of generalized cohomology theories, J. Topol. 3 (2010) 110 | DOI

[19] A L Carey, S Johnson, M K Murray, Holonomy on D-branes, J. Geom. Phys. 52 (2004) 186 | DOI

[20] J Cheeger, J Simons, Differential characters and geometric invariants, from: "Geometry and topology" (editors J Alexander, J Harer), Lecture Notes in Math. 1167, Springer (1985) 50 | DOI

[21] D E Diaconescu, G Moore, E Witten, E8 gauge theory, and a derivation of K-theory from M-theory, Adv. Theor. Math. Phys. 6 (2002) 1031 | DOI

[22] D Dugger, Combinatorial model categories have presentations, Adv. Math. 164 (2001) 177 | DOI

[23] J L Dupont, R Ljungmann, Integration of simplicial forms and Deligne cohomology, Math. Scand. 97 (2005) 11 | DOI

[24] H Esnault, E Viehweg, Lectures on vanishing theorems, 20, Birkhäuser (1992) | DOI

[25] D Fiorenza, U Schreiber, J Stasheff, Čech cocycles for differential characteristic classes : an ∞–Lie theoretic construction, Adv. Theor. Math. Phys. 16 (2012) 149 | DOI

[26] A T Fomenko, D B Fuchs, V L Gutenmacher, Homotopic topology, Akadémiai Kiadó (1986) 310

[27] D S Freed, Dirac charge quantization and generalized differential cohomology, from: "Surveys in differential geometry" (editor S T Yau), Surv. Differ. Geom. 7, International Press (2000) 129 | DOI

[28] D S Freed, J Lott, An index theorem in differential K-theory, Geom. Topol. 14 (2010) 903 | DOI

[29] D S Freed, E Witten, Anomalies in string theory with D-branes, Asian J. Math. 3 (1999) 819 | DOI

[30] P Gajer, Geometry of Deligne cohomology, Invent. Math. 127 (1997) 155 | DOI

[31] A Gorokhovsky, J Lott, A Hilbert bundle description of differential K-theory, preprint (2015)

[32] D Grady, H Sati, AHSS for twisted differential spectra, in preparation

[33] D Grady, H Sati, Primary operations in differential cohomology, preprint (2016)

[34] D Grady, H Sati, Massey products in differential cohomology via stacks, J. Homotopy Relat. Struct. (2017) | DOI

[35] P A Griffiths, J W Morgan, Rational homotopy theory and differential forms, 16, Birkhäuser (1981) | DOI

[36] A Hatcher, Algebraic topology, Cambridge Univ. Press (2002)

[37] P Hekmati, M K Murray, V S Schlegel, R F Vozzo, A geometric model for odd differential K-theory, Differential Geom. Appl. 40 (2015) 123 | DOI

[38] P Hilton, General cohomology theory and K-theory, 1, Cambridge Univ. Press (1971)

[39] M H Ho, The differential analytic index in Simons–Sullivan differential K-theory, Ann. Global Anal. Geom. 42 (2012) 523 | DOI

[40] M H Ho, Remarks on flat and differential K-theory, Ann. Math. Blaise Pascal 21 (2014) 91 | DOI

[41] M J Hopkins, I M Singer, Quadratic functions in geometry, topology, and M-theory, J. Differential Geom. 70 (2005) 329 | DOI

[42] D Husemöller, M Joachim, B Jurčo, M Schottenloher, Basic bundle theory and K-cohomology invariants, 726, Springer (2008) | DOI

[43] J F Jardine, Stable homotopy theory of simplicial presheaves, Canad. J. Math. 39 (1987) 733 | DOI

[44] J F Jardine, Local homotopy theory, Springer (2015) | DOI

[45] M Karoubi, Homologie cyclique et K-théorie, 149, Soc. Math. France (1987) 147

[46] K R Klonoff, An index theorem in differential K-theory, PhD thesis, The University of Texas at Austin (2008)

[47] I Kriz, H Sati, M-theory, type IIA superstrings, and elliptic cohomology, Adv. Theor. Math. Phys. 8 (2004) 345 | DOI

[48] J A Lind, H Sati, C Westerland, A higher categorical analogue of topological T-duality for sphere bundles, preprint (2016)

[49] J Lott, R∕Z index theory, Comm. Anal. Geom. 2 (1994) 279 | DOI

[50] J Lott, Secondary analytic indices, from: "Regulators in analysis, geometry and number theory" (editors A Reznikov, N Schappacher), Progr. Math. 171, Birkhäuser (2000) 231 | DOI

[51] J Lurie, Higher algebra, prepublication book draft (2011)

[52] C R F Maunder, The spectral sequence of an extraordinary cohomology theory, Proc. Cambridge Philos. Soc. 59 (1963) 567 | DOI

[53] J P May, J Sigurdsson, Parametrized homotopy theory, 132, Amer. Math. Soc. (2006) | DOI

[54] J Mccleary, A user’s guide to spectral sequences, 58, Cambridge Univ. Press (2001)

[55] H R Miller, On relations between Adams spectral sequences, with an application to the stable homotopy of a Moore space, J. Pure Appl. Algebra 20 (1981) 287 | DOI

[56] R Minasian, G Moore, K-theory and Ramond–Ramond charge, J. High Energy Phys. (1997) | DOI

[57] V V Prasolov, Elements of combinatorial and differential topology, 74, Amer. Math. Soc. (2006) | DOI

[58] D C Ravenel, Localization with respect to certain periodic homology theories, Amer. J. Math. 106 (1984) 351 | DOI

[59] Y B Rudyak, On Thom spectra, orientability, and cobordism, Springer (1998) | DOI

[60] H Sati, Geometric and topological structures related to M-branes, from: "Superstrings, geometry, topology, and –algebras" (editors R S Doran, G Friedman, J Rosenberg), Proc. Sympos. Pure Math. 81, Amer. Math. Soc. (2010) 181 | DOI

[61] H Sati, U Schreiber, J Stasheff, Twisted differential string and fivebrane structures, Comm. Math. Phys. 315 (2012) 169 | DOI

[62] H Sati, C Westerland, Twisted Morava K-theory and E-theory, J. Topol. 8 (2015) 887 | DOI

[63] U Schreiber, Differential cohomology in a cohesive infinity-topos, preprint (2013)

[64] S Schwede, Symmetric spectra, unpublished manuscript (2012)

[65] B Shipley, HZ–algebra spectra are differential graded algebras, Amer. J. Math. 129 (2007) 351 | DOI

[66] J Simons, D Sullivan, Axiomatic characterization of ordinary differential cohomology, J. Topol. 1 (2008) 45 | DOI

[67] R M Switzer, Algebraic topology — homotopy and homology, 212, Springer (1975)

[68] H Tamanoi, Q–subalgebras, Milnor basis, and cohomology of Eilenberg–Mac Lane spaces, J. Pure Appl. Algebra 137 (1999) 153 | DOI

[69] T Tradler, S O Wilson, M Zeinalian, An elementary differential extension of odd K-theory, J. K-Theory 12 (2013) 331 | DOI

[70] T Tradler, S O Wilson, M Zeinalian, Differential K-theory as equivalence classes of maps to Grassmannians and unitary groups, New York J. Math. 22 (2016) 527

[71] M Upmeier, Algebraic structure and integration maps in cocycle models for differential cohomology, Algebr. Geom. Topol. 15 (2015) 65 | DOI

[72] N Yagita, On the Steenrod algebra of Morava K-theory, J. London Math. Soc. 22 (1980) 423 | DOI