Catalogue et commandes en ligne (paiement sécurisé, VISA ou MASTERCARD uniquement)

Revues disponibles par abonnement

Annales scientifiques de l'ENS

Astérisque

Bulletin de la SMF

Mémoires de la SMF

Revue d'Histoire des Mathématiques

Gazette des Mathématiciens

Séries de livres

Astérisque

Cours Spécialisés

Documents Mathématiques

Mémoires de la SMF

Panoramas et Synthèses

Séminaires et Congrès

Série Chaire Jean Morlet

SMF/AMS Texts and Monographs

La Série T

Fascicules « Journée Annuelle »

Autres livres

Donald E. Knuth - traductions françaises

Rééditions du Séminaire Nicolas Bourbaki

Rééditions des Œuvres de Jean Leray

Revue de l'Institut Elie Cartan

Editions électroniques

Annales scientifiques de l'ENS

Bulletin de la SMF

Revue d'Histoire des Mathématiques

Séminaires et Congrès

Plus d'information / Abonnement

Publications grand public

L'explosion des mathématiques (smf.emath.fr)

Mathématiques L'explosion continue (smf.emath.fr)

Zoom sur les métiers des maths (smf.emath.fr)

Zoom sur les métiers des mathématiques et de l'informatique (smf.emath.fr)

Où en sont les mathématiques ?

La Série T

Pour les auteurs

Soumission des manuscrits

Formats et documentation

Plus d'info

Liste de diffusion électronique (smf.emath.fr)

Information pour les libraires et diffuseurs (smf.emath.fr)

Publications de la SMF
fr en
Votre numéro IP : 54.156.58.187
Accès aux édit. élec. : SémCong

Annales scientifiques de l'ENS

Présentation de la publication

Parutions

Dernières parutions

Comité de rédaction / Secrétariat

Série 4 :
Série 3 :
Série 2 :
Série 1 :

Faire une recherche


Catalogue & commande

Annales scientifiques de l'ENS - Parutions - série 4, 50 (2017)

Parutions < série 4, 50

ANNALES SCIENTIFIQUES DE L’ÉCOLE NORMALE SUPÉRIEURE, série 4 50, fascicule 1 (2017)

Bjørn Ian Dundas, Matthew Morrow
Finite generation and continuity of topological Hochschild and cyclic homology
Annales scientifiques de l'ENS 50, fascicule 1 (2017), 201-238

Télécharger cet article : Fichier PDF

Résumé :
La génération finie et continuité en homologies de Hochschild et cyclique
Le but de cet article est d'établir des propriétés fondamentales des homologies de Hochschild, de Hochschild topologique et cyclique topologique d'anneaux commutatifs et noethériens, qu'on ne suppose être que F-finis pour la majorité de nos résultats. Cette hypothèse faible est satisfaite en tous cas d'intérêts en géométrie algébrique en caractéristique finie et mixte. Nous démontrons d'abord que les groupes d'homologie de Hochschild topologique, ainsi que les groupes d'homotopie du spectre des points fixés TR ^r, sont des modules de type fini (après la p-complétion dans le cadre de caractéristique mixte). En l'utilisant, nous établissons la continuité de ces homologies pour n'importe quel idéal. Une conséquence de ces résultats de continuité est le théorème de Hochschild-Kostant-Rosenberg pro pour les homologies de Hochschild topologique et cyclique topologique. Finalement, nous démontrons que ces résultats de génération finie et ces propriétés de continuité sont toujours valables pour les schémas propres et lisses sur un tel anneau.

Mots-clefs : K-théorie, homologie cyclique topologique.

Abstract:
The goal of this paper is to establish fundamental properties of the Hochschild, topological Hochschild, and topological cyclic homologies of commutative, Noetherian rings, which are assumed only to be F-finite in the majority of our results. This mild hypothesis is satisfied in all cases of interest in finite and mixed characteristic algebraic geometry. We prove firstly that the topological Hochschild homology groups, and the homotopy groups of the fixed point spectra TR ^r, are finitely generated modules (after p-completion in the mixed characteristic setting). We use this to establish the continuity of these homology theories for any given ideal. A consequence of such continuity results is the pro Hochschild-Kostant-Rosenberg theorem for topological Hochschild and cyclic homology. Finally, we show more generally that the aforementioned finite generation and continuity properties remain true for any proper scheme over such a ring.

Keywords: K-theory, topological cyclic homology.

Class. math. : 19D55, 13D03.


ISSN : 0012-9593
Publié avec le concours de : Centre National de la Recherche Scientifique

Bibliographie:

1
André, Michel
Homologie des algèbres commutatives
Springer, Berlin-New York, 1974
Math Reviews MR0352220
2
Bloch, Spencer and Esnault, Hélène and Kerz, Moritz
Deformation of algebraic cycle classes in characteristic zero
Algebr. Geom. 1 (2014) 290–310
Math Reviews MR3238152
3
Brun, M.
Topological Hochschild homology of <b>Z</b>/pn
J. Pure Appl. Algebra 148 (2000) 29–76
Math Reviews MR1750729
4
Carlsson, Gunnar
Problem session
Homology Homotopy Appl. 3 (2001) vii–xv
Math Reviews MR1856027
5
Cortiñas, G. and Haesemeyer, C. and Weibel, Charles A.
Infinitesimal cohomology and the Chern character to negative cyclic homology
Math. Ann. 344 (2009) 891–922
Math Reviews MR2507630
6
Costeanu, Viorel
On the 2-typical de Rham-Witt complex
Doc. Math. 13 (2008) 413–452
Math Reviews MR2520474
7
Dundas, Bjørn Ian
Continuity of K-theory: an example in equal characteristics
Proc. Amer. Math. Soc. 126 (1998) 1287–1291
Math Reviews MR1452802
8
Dundas, Bjørn Ian and Goodwillie, Thomas G. and McCarthy, Randy
The local structure of algebraic K-theory
Springer London, Ltd., London, 2013
Math Reviews MR3013261
9
Geisser, Thomas and Hesselholt, Lars
Topological cyclic homology of schemes
in Algebraic K-theory (Seattle, WA, 1997)
Proc. Sympos. Pure Math. 67 (1999) 41–87
Math Reviews MR1743237
10
Geisser, Thomas and Hesselholt, Lars
Bi-relative algebraic K-theory and topological cyclic homology
Invent. math. 166 (2006) 359–395
Math Reviews MR2249803
11
Geisser, Thomas and Hesselholt, Lars
On the K-theory and topological cyclic homology of smooth schemes over a discrete valuation ring
Trans. Amer. Math. Soc. 358 (2006) 131–145
Math Reviews MR2171226
12
Geisser, Thomas and Hesselholt, Lars
On the K-theory of complete regular local Fp-algebras
Topology 45 (2006) 475–493
Math Reviews MR2218752
13
Grothendieck, A.
Éléments de géométrie algébrique. III. Étude cohomologique des faisceaux cohérents. I
Publ. Math. IHÉS 11 (1961) 5–167
Math Reviews MR0163910
14
Hartshorne, Robin
Algebraic geometry
Springer, New York-Heidelberg, 1977
Math Reviews MR0463157
15
Hesselholt, Lars
On the p-typical curves in Quillen's K-theory
Acta Math. 177 (1996) 1–53
Math Reviews MR1417085
16
Hesselholt, Lars
The big de Rham-Witt complex
Acta Math. 214 (2015) 135–207
Math Reviews MR3316757
17
18
Hesselholt, Lars and Madsen, Ib
On the K-theory of finite algebras over Witt vectors of perfect fields
Topology 36 (1997) 29–101
Math Reviews MR1410465
19
Hesselholt, Lars and Madsen, Ib
On the K-theory of nilpotent endomorphisms
in Homotopy methods in algebraic topology (Boulder, CO, 1999)
Contemp. Math. 271 (2001) 127–140
Math Reviews MR1831350
20
Illusie, Luc
Complexe de deRham-Witt et cohomologie cristalline
Ann. Sci. Éc. Norm. Sup. 12 (1979) 501–661
Math Reviews MR565469
21
Kassel, Christian and Sletsjøe, Arne B.
Base change, transitivity and Künneth formulas for the Quillen decomposition of Hochschild homology
Math. Scand. 70 (1992) 186–192
Math Reviews MR1189973
22
Kunz, Ernst
On Noetherian rings of characteristic p
Amer. J. Math. 98 (1976) 999–1013
Math Reviews MR0432625
23
Langer, Andreas and Zink, Thomas
De Rham-Witt cohomology for a proper and smooth morphism
J. Inst. Math. Jussieu 3 (2004) 231–314
Math Reviews MR2055710
24
Loday, Jean-Louis
Cyclic homology
Springer, Berlin, 1992
Math Reviews MR1217970
25
Matsumura, Hideyuki
Commutative ring theory
Cambridge Univ. Press, Cambridge, 1989
Math Reviews MR1011461
26
27
Morrow, Matthew
A case of the deformational Hodge conjecture via a pro Hochschild-Kostant-Rosenberg theorem
C. R. Math. Acad. Sci. Paris 352 (2014) 173–177
Math Reviews MR3167562
28
Panin, I. A.
The Hurewicz theorem and K-theory of complete discrete valuation rings
Izv. Akad. Nauk SSSR Ser. Mat. 50 (1986) 763–775
Math Reviews MR864175
29
Pirashvili, Teimuraz and Waldhausen, Friedhelm
Mac Lane homology and topological Hochschild homology
J. Pure Appl. Algebra 82 (1992) 81–98
Math Reviews MR1181095
30
Popescu, Dorin
General Néron desingularization
Nagoya Math. J. 100 (1985) 97–126
Math Reviews MR818160
31
Popescu, Dorin
General Néron desingularization and approximation
Nagoya Math. J. 104 (1986) 85–115
Math Reviews MR868439
32
Quillen, Daniel
On the (co-) homology of commutative rings
in Applications of Categorical Algebra (Proc. Sympos. Pure Math., Vol. XVII, New York, 1968)
(1970) 65–87
Math Reviews MR0257068
33
Quillen, Daniel
Homology of commutative rings
(1968) unpublished MIT notes
34
Ronco, María
On the Hochschild homology decompositions
Comm. Algebra 21 (1993) 4699–4712
Math Reviews MR1242856
35
Rülling, Kay
The generalized de Rham-Witt complex over a field is a complex of zero-cycles
J. Algebraic Geom. 16 (2007) 109–169
Math Reviews MR2257322
36
Suslin, Andrei A.
On the K-theory of local fields
in Proceedings of the Luminy conference on algebraic K-theory (Luminy, 1983)
J. Pure Appl. Algebra 34 (1984) 301–318
Math Reviews MR772065
37
Swan, Richard G.
Néron-Popescu desingularization
in Algebra and geometry (Taipei, 1995)
Lect. Algebra Geom. 2 (1998) 135–192
Math Reviews MR1697953
38
Weibel, Charles
Cyclic homology for schemes
Proc. Amer. Math. Soc. 124 (1996) 1655–1662
Math Reviews MR1277141
39
Weibel, Charles A.
An introduction to homological algebra
Cambridge Univ. Press, Cambridge, 1994
Math Reviews MR1269324
40
Weibel, Charles A. and Geller, Susan C.
Étale descent for Hochschild and cyclic homology
Comment. Math. Helv. 66 (1991) 368–388
Math Reviews MR1120653