Hostname: page-component-78c5997874-mlc7c Total loading time: 0 Render date: 2024-11-04T22:01:12.409Z Has data issue: false hasContentIssue false

Algèbres simpliciales S1-équivariantes, théorie de de Rham et théorèmes HKR multiplicatifs

Published online by Cambridge University Press:  29 July 2011

Bertrand Toën
Affiliation:
I3M UMR 5149, Université de Montpellier 2, France
Gabriele Vezzosi
Affiliation:
Dipartimento di Sistemi ed Informatica, Sezione di Matematica, Università di Firenze, Italy (email: [email protected])
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

This work establishes a comparison between functions on derived loop spaces (Toën and Vezzosi, Chern character, loop spaces and derived algebraic geometry, in Algebraic topology: the Abel symposium 2007, Abel Symposia, vol. 4, eds N. Baas, E. M. Friedlander, B. Jahren and P. A. Østvær (Springer, 2009), ISBN:978-3-642-01199-3) and de Rham theory. If A is a smooth commutative k-algebra and k has characteristic 0, we show that two objects, S1A and ϵ(A), determine one another, functorially in A. The object S1A is the S1-equivariant simplicial k-algebra obtained by tensoring A by the simplicial group S1 :=Bℤ, while the object ϵ(A) is the de Rham algebra of A, endowed with the de Rham differential, and viewed as a ϵ-dg-algebra (see the main text). We define an equivalence φ between the homotopy theory of simplicial commutative S1-equivariant k-algebras and the homotopy theory of ϵ-dg-algebras, and we show the existence of a functorial equivalence ϕ(S1A)∼ϵ(A) . We deduce from this the comparison mentioned above, identifying the S1-equivariant functions on the derived loop space LX of a smooth k-scheme X with the algebraic de Rham cohomology of X/k. As corollaries, we obtain functorial and multiplicative versions of decomposition theorems for Hochschild homology (in the spirit of Hochschild–Kostant–Rosenberg) for arbitrary semi-separated k-schemes. By construction, these decompositions are moreover compatible with the S1-action on the Hochschild complex, on one hand, and with the de Rham differential, on the other hand.

Résumé

Ce travail a pour objectif d’etablir une comparaison entre fonctions sur les espaces des lacets dérivés (Toën and Vezzosi, Chern character, loop spaces and derived algebraic geometry, in Algebraic topology: the Abel symposium 2007, Abel Symposia, vol. 4, eds N. Baas, E. M. Friedlander, B. Jahren and P. A. Østvær (Springer, 2009), ISBN:978-3-642-01199-3) et théorie de de Rham. Pour une k-algèbre commutative A, lisse sur k de caractéristique nulle, nous montrons que deux objets, S1A et ϵ(A), se déterminent mutuellement, et ce fonctoriellement en A. L’objet S1A est la k-algèbre simpliciale S1-équivariante obtenue en tensorisant A par le groupe simplicial S1 :=Bℤ. L’objet ϵ(A) est l’algèbre de de Rham de A, munie de la différentielle de de Rham et considérée comme une ϵ-dg-algèbre (i.e. une algèbre dans une certaine catégorie monoïdale de k[ϵ] -dg-modules, où k[ϵ]:=H* (S1,k) ). Nous construisons une équivalence ϕ, entre la théorie homotopique des k-algèbres simpliciales S1-équivariantes et celle des ϵ-dg-algèbres, et nous montrons l’existence d’une équivalence fonctorielle ϕ(S1A)∼ϵ(A) . Nous déduisons de cela la comparaison annoncée, identifiant les fonctions S1-équivariantes sur LX, l’espace des lacets dérivé d’un k-schéma X lisse, et la cohomologie de de Rham algébrique de X/k. Cela nous permet aussi de prouver des versions fonctorielles et multiplicatives des théorèmes de décomposition de l’homologie de Hochschild (du type Hochschild–Kostant–Rosenberg), pour des k-schémas semi-séparés quelconques. Par construction, ces décompositions sont de plus compatibles avec d’une part l’action naturelle de S1 sur le complexe de Hochschild, et d’autre part la différentielle de de Rham.

Type
Research Article
Copyright
Copyright © Foundation Compositio Mathematica 2011

References

Références

[AR94]Adámek, J. and Rosický, J., Locally presentable and accessible categories, London Mathematical Society Lecture Note Series, vol. 189 (Cambridge University Press, Cambridge, 1994).CrossRefGoogle Scholar
[BN07]Ben-Zvi, D. and Nadler, D., Loop spaces and Langlands parameters, prepublication, arXiv:0706.0322.Google Scholar
[Ber07]Bergner, J., A model category structure on the category of simplicial categories, Trans. Amer. Math. Soc. 359 (2007), 20432058.CrossRefGoogle Scholar
[BG76]Bousfield, A. K. and Gugenheim, V. K. A. M., On PL de Rham theory and rational homotopy type, Mem. Amer. Math. Soc. 8 (1976), ix+94 pp.Google Scholar
[BF08]Buchweitz, R.-O. and Flenner, H., The global decomposition theorem for Hochschild (co)homology of singular spaces via the Atiyah–Chern character, Adv. Math. 217 (2008), 243281.CrossRefGoogle Scholar
[Cis03]Cisinski, D.-C., Images directes cohomologiques dans les catégories de modéles, Ann. Math. Blaise Pascal 10 (2003), 195244.CrossRefGoogle Scholar
[CN08]Cisinski, D.-C. and Neeman, A., Additivity for derivator K-theory, Adv. Math. 217 (2008), 13811475.CrossRefGoogle Scholar
[GZ67]Gabriel, P. and Zisman, M., Calculus of fractions and homotopy theory (Springer, Berlin, 1967).CrossRefGoogle Scholar
[GM03]Gelfand, S. I. and Manin, Y., Methods of homological algebra, Springer Monographs in Mathematics, second edition (Springer, Berlin, 2003).CrossRefGoogle Scholar
[Gro]Grothendieck, A., Les Dérivateurs, edited by M. Künzer, J. Malgoire and G. Maltsiniotis; accessible at http://people.math.jussieu.fr/∼maltsin/groth/Derivateurs.html.Google Scholar
[Hin97]Hinich, V., Homological algebra of homotopy algebras, Comm. Algebra 25 (1997), 32913323.CrossRefGoogle Scholar
[Hov98]Hovey, M., Model categories, Mathematical Surveys and Monographs, vol. 63 (American Mathematical Society, Providence, RI, 1998).Google Scholar
[Ill71]Illusie, L., Complexe cotangent et déformations I, Lecture Notes in Mathematics, vol. 239 (Springer, Berlin, 1971).CrossRefGoogle Scholar
[Kas87]Kassel, C., Cyclic homology, comodules and mixed complexes, J. Algebra 107 (1987), 195216.CrossRefGoogle Scholar
[Lod98]Loday, J. L., Cyclic homology, Grundlehren der Mathematischen Wissenschaften, vol. 301, second edition (Springer, Berlin, 1998).CrossRefGoogle Scholar
[Lur]Lurie, J., Higher algebra, ch. 4.4.4, book to appear. Available online athttp://www.math.harvard.edu/∼lurie/papers/higheralgebra.pdf.Google Scholar
[Lur09]Lurie, J., Higher topos theory, Annals of Mathematics Studies, vol. 170 (Princeton University Press, Princeton, NJ, 2009).CrossRefGoogle Scholar
[Mal07]Maltsiniotis, R., La K-théorie d’un dérivateur triangulé (suivi d’un appendice par B. Keller), in Categories in algebra, geometry and mathematical physics, Contemporary Mathematics, vol. 431 (American Mathematical Society, Providence, RI, 2007), 341368.CrossRefGoogle Scholar
[Rez02]Rezk, C., Every homotopy theory of simplicial algebras admits a proper model, Topology Appl. 119 (2002), 6594.CrossRefGoogle Scholar
[Sch04]Schuhmacher, F., Hochschild cohomology of complex spaces and Noetherian schemes, Homology Homotopy Appl. 6 (2004), 299340.CrossRefGoogle Scholar
[SS03]Schwede, S. and Shipley, B., Equivalences of monoidal model categories, Algebr. Geom. Topol. 3 (2003), 287334.CrossRefGoogle Scholar
[Toe07]Toën, B., The homotopy theory of dg-categories and derived Morita theory, Invent. Math. 167 (2007), 615667.CrossRefGoogle Scholar
[Toe09]Toën, B., Higher and derived stacks: a global overview, in Algebraic geometry, Seattle 2005, Proceedings of Symposia in Pure Mathematics, vol. 80, eds Abramovich, D., Bertram, A., Katzarkov, L., Pandharipande, R. and Thaddeus, M. (American Mathematical Society, Providence, RI, 2009).Google Scholar
[TV05]Toën, B. and Vezzosi, G., Homotopical algebraic geometry I, Adv. Math. 193 (2005), 257372.CrossRefGoogle Scholar
[TV08]Toën, B. and Vezzosi, G., Homotopical algebraic geometry II: geometric stacks and applications, Mem. Amer. Math. Soc. 193 (2008).Google Scholar
[TV09a]Toën, B. and Vezzosi, G., Chern character, loop spaces and derived algebraic geometry, in Algebraic topology: the Abel symposium 2007, eds Baas, N., Friedlander, E. M., Jahren, B. and Østvær, P. A. (Springer, Berlin, 2009), ISBN:978-3-642-01199-3.Google Scholar
[TV09b]Toën, B. and Vezzosi, G., Infinies-catégories monoidales rigides, traces et caractères de Chern, prepublication, arXiv:0903.3292 (submitted).Google Scholar
[Yek02]Yekutieli, A., The continuous Hochschild cochain complex of a scheme, Canad. J. Math. 54 (2002), 13191337.CrossRefGoogle Scholar