Adams operations in smooth K–theory

Bunke, Ulrich¹

¹ Fakultät für Mathematik, Universität Regensburg, 93040 Regensburg, Germany

Geometry & topology, Tome 14 (2010) no. 4, pp. 2349-2381.

Résumé

We show that the Adams operation ${\Psi }^k$, $k\in \left\{-1,0,1,2,\dots \right\}$, in complex $K$–theory lifts to an operation ${\widehat{\Psi }}^k$ in smooth $K$–theory. If $V\to X$ is a $K$–oriented vector bundle with Thom isomorphism ${Thom}_V$, then there is a characteristic class ${\rho }^k\left(V\right)\in K{\left[1∕k\right]}^0\left(X\right)$ such that ${\Psi }^k\left({Thom}_V\left(x\right)\right)={Thom}_V\left({\rho }^k\left(V\right)\cup {\Psi }^k\left(x\right)\right)$ in $K\left[1∕k\right]\left(X\right)$ for all $x\in K\left(X\right)$. We lift this class to a ${\widehat{K}}^0\left(\cdots \right)\left[1∕k\right]$–valued characteristic class for real vector bundles with geometric ${Spin}^c$–structures.

If $\pi :E\to B$ is a $K$–oriented proper submersion, then for all $x\in K\left(X\right)$ we have ${\Psi }^k\left({\pi }_{!}\left(x\right)\right)={\pi }_{!}\left({\rho }^k\left(N\right)\cup {\Psi }^k\left(x\right)\right)$ in $K\left[1∕k\right]\left(B\right)$, where $N\to E$ is the stable $K$–oriented normal bundle of $\pi$. To a smooth $K$–orientation $o_{\pi }$ of $\pi$ we associate a class ${\widehat{\rho }}^k\left(o_{\pi }\right)\in {\widehat{K}}^0\left(E\right)\left[1∕k\right]$ refining ${\rho }^k\left(N\right)$. Our main theorem states that if $B$ is compact, then ${\widehat{\Psi }}^k\left({\widehat{\pi }}_{!}\left(\widehat{x}\right)\right)=\widehat{\pi }\left({\widehat{\rho }}^k\left(o_{\pi }\right)\cup {\widehat{\Psi }}^k\left(\widehat{x}\right)\right)$ in $\widehat{K}\left(B\right)\left[1∕k\right]$ for all $\widehat{x}\in \widehat{K}\left(E\right)$. We apply this result to the $e$–invariant of bundles of framed manifolds and $\rho$–invariants of flat vector bundles.

Détail

DOI : 10.2140/gt.2010.14.2349

Keywords: Adams operations, differential $K$–theory

Bibliographie

[1] J F Adams, On the groups J(X). II, Topology 3 (1965) 137

[2] A Bahri, P Gilkey, The eta invariant, Pinc bordism, and equivariant Spinc bordism for cyclic 2–groups, Pacific J. Math. 128 (1987) 1

[3] P Baum, R G Douglas, K homology and index theory, from: "Operator algebras and applications, Part I (Kingston, Ont., 1980)" (editor R V Kadison), Proc. Sympos. Pure Math. 38, Amer. Math. Soc. (1982) 117

[4] P Baum, N Higson, T Schick, On the equivalence of geometric and analytic K–homology, Pure Appl. Math. Q. 3 (2007) 1

[5] U Bunke, Index theory, eta forms, and Deligne cohomology, Mem. Amer. Math. Soc. 198 (2009)

[6] U Bunke, T Schick, Smooth K–theory, 328, Soc. Math. France (2009)

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

[8] U Bunke, T Schick, I Schröder, M Wiethaup, Landweber exact formal group laws and smooth cohomology theories, Algebr. Geom. Topol. 9 (2009) 1751 | DOI

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

[10] D S Freed, Dirac charge quantization and generalized differential cohomology, from: "Surveys in differential geometry" (editor S T Yau), Surv. Differ. Geom. VII, Int. Press (2000) 129

[11] D S Freed, M Hopkins, On Ramond–Ramond fields and K–theory, J. High Energy Phys. (2000) 14 | DOI

[12] D S Freed, R B Melrose, A mod k index theorem, Invent. Math. 107 (1992) 283 | DOI

[13] N Higson, An approach to Z∕k–index theory, Internat. J. Math. 1 (1990) 189 | DOI

[14] M J Hopkins, I M Singer, Quadratic functions in geometry, topology, and M–theory, J. Differential Geom. 70 (2005) 329

[15] P S Landweber, Homological properties of comodules over MU∗(MU) and BP∗(BP), Amer. J. Math. 98 (1976) 591

[16] G Moore, E Witten, Self-duality, Ramond–Ramond fields and K–theory, J. High Energy Phys. (2000) 32 | DOI

[17] D C Ravenel, Complex cobordism and stable homotopy groups of spheres, 347, Amer. Math. Soc. (2004) 395

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

[19] J Simons, D Sullivan, Structured bundles define differential K–theory. Géométrie différentielle, physique mathématique, mathématiques et société. I, 321, Soc. Math. France (2008) 1

[20] R J Szabo, A Valentino, Ramond–Ramond fields, fractional branes and orbifold differential K–theory, Comm. Math. Phys. 294 (2010) 647 | DOI

[21] Z I Yosimura, Universal coefficient sequences for cohomology theories of CW–spectra, Osaka J. Math. 12 (1975) 305