SMF

$K$-théorie et faisceaux de Hodge-Witt logarithmiques de schémas formels en caractéristique $p$

$K$-theory and logarithmic Hodge-Witt sheaves of formal schemes in characteristic $p$

Matthew MORROW
$K$-théorie et faisceaux de Hodge-Witt logarithmiques de schémas formels en caractéristique $p$
  • Consulter un extrait
  • Année : 2019
  • Fascicule : 6
  • Tome : 52
  • Format : Électronique
  • Class. Math. : 19E08, 19E15, 14F30, 14B10
  • Pages : 1537-1601
  • DOI : 10.24033/asens.2415

Nous décrivons les $K$-groups $\{K_n(A/I^s)/p^r\}_s$ modulo $p^r$ d'une $\mathbb  F_p$-algèbre régulière locale $A$ modulo les puissances d'un idéal approprié $I$ en termes des groupes de Hodge-Witt logarithmique, en démontrant des analogues pro des théorèmes de Geisser-Levine et Bloch-Kato-Gabber. Ceci est accompli en utilisant le théorème d'Hochschild-Kostant-Rosenberg pro en homologie cyclique topologique et le développement de la théorie des complexes de de Rham-Witt et de Hodge-Witt logarithmique sur les $\mathbb F_p$-schémas formels.

Des applications incluent les suivants : la partie infinitésimale de la conjecture de Lefschetz faible pour les groupes de Chow ; une version $p$-adique de la conjecture de Kato-Saito que leurs groupes des classes de dimension supérieure Zariski et Nisnevich sont isomorphes ; des résultats de continuité en $K$-théorie ; et des conditions, en termes des classes de cycles motiviques étales entières ou torsions, pour que les cycles algébriques sur un schéma formel admettent des déformations infinitésimales.

De plus, dans le cas où $n=1$ nous comparons la cohomologie étale de $W_r\Omega^1_\text{log}$ et la cohomologie fppf de $\mu_{p^r}$ sur un schéma formel, et ainsi présentons des conditions équivalentes pour que les fibres en droites déforment en termes de leurs classes dans chacune de ces cohomologies.

We describe the mod $p^r$ pro $K$-groups $\{K_n(A/I^s)/p^r\}_s$ of a regular local $\mathbb F_p$-algebra $A$ modulo powers of a suitable ideal $I$, in terms of logarithmic Hodge-Witt groups, by proving pro analogues of the theorems of Geisser-Levine and Bloch-Kato-Gabber. This is achieved by combining the pro Hochschild-Kostant-Rosenberg theorem in topological cyclic homology with the development of the theory of de Rham-Witt complexes and logarithmic Hodge-Witt sheaves on formal schemes in characteristic $p$.

Applications include the following: the infinitesimal part of the weak Lefschetz conjecture for Chow groups; a $p$-adic version of Kato-Saito's conjecture that their Zariski and Nisnevich higher dimensional class groups are isomorphic; continuity results in $K$-theory; and criteria, in terms of integral or torsion \'etale-motivic cycle classes, for algebraic cycles on formal schemes to admit infinitesimal deformations.

Moreover, in the case $n=1$, we compare the étale cohomology of $W_r\Omega^1_\text{{log}}$ and the fppf cohomology of $\mu_{p^r}$ on a formal scheme, and thus present equivalent conditions for line bundles to deform in terms of their classes in either of these cohomologies.

K-théorie, cohomologie motivique p-adique, déformation de cycles algébriques
K-theory, p-adic motivic cohomology, deformation of algebraic cycles
Prix
Adhérent 14 €
Non-Adhérent 20 €
Quantité
- +