Table of Contents
Fetching ...

Chern classes from Morava K-theories to $p^n$-typical oriented theories

Pavel Sechin

TL;DR

The paper develops a Morava-oriented framework in algebraic geometry by constructing Chern classes from the nth Morava K-theory $K(n)_{int}^*$ to any $p^n$-typical oriented theory $A^*$, with a universal Cartan formula governed by the height-$n$ Morava formal group law. Using Vishik's classification and a truncation technique, it reduces the problem to Chow groups, proving that if $A^*$ is free over $\mathbb{Z}_{(p)}$, then all operations from $K(n)_{int}^*$ to $A^*$ are generated by the Chern classes $c_j$. The gamma-filtration on $K(n)_{int}^*$ is defined via these Chern classes and serves as the best finite-approximation to the topological filtration, with surjectivity of $gr^i_\gamma$ to CH^i for $i\le p^n$, enabling bounds on torsion in CH for certain varieties. The work also proves uniqueness results for Morava K-theories as presheaves, discusses their motivic interpretation, and demonstrates applications to $K(n)_{int}$-motives of Tate type and to torsion estimates for Chow groups of quadrics, thereby linking chromatic homotopy ideas with algebraic geometry.

Abstract

We study non-additive operations from algebraic Morava K-theories to oriented cohomology theories in algebraic geometry. For oriented cohomology theory $A$ that has a {$p^n$}-typical formal group law over a $\mathbb{Z}_{(p)}$-algebra we construct `Chern classes' from the algebraic $n$-th Morava K-theory with $p$-local coefficients to $A$. If the coefficient ring of $A$ is a free $\mathbb{Z}_{(p)}$-module we also prove that these Chern classes freely generate all operations from $\mathrm{K}(n)$ to $A$. Examples of such theories are algebraic Morava K-theories $\mathrm{K}(nm)^*$ for all $m\in\mathbb{N}$ and Chow groups with $p$-local coefficients. The universal $p^n$-typical oriented theory is $BP\{n\}^*$ whose coefficient ring is also a free $\mathbb{Z}_{(p)}$-module. Chern classes from the $n$-th algebraic Morava K-theory $\mathrm{K}(n)$ to itself allow us to introduce the gamma filtration on $\mathrm{K}(n)$. This is the best approximation to the topological filtration obtained by values of operations and it satisfies properties similar to that of the classical gamma filtration on $\mathrm{K}_0$. The major difference from the classical case is that Chern classes from the graded factors $gr^i_γ\mathrm{K}(n)^*$ to Chow groups with p-local coefficients are surjective for $i\le p^n$, which allows to estimate $p$-torsion in Chow groups of codimension up to $p^n$ of some varieties.

Chern classes from Morava K-theories to $p^n$-typical oriented theories

TL;DR

The paper develops a Morava-oriented framework in algebraic geometry by constructing Chern classes from the nth Morava K-theory to any -typical oriented theory , with a universal Cartan formula governed by the height- Morava formal group law. Using Vishik's classification and a truncation technique, it reduces the problem to Chow groups, proving that if is free over , then all operations from to are generated by the Chern classes . The gamma-filtration on is defined via these Chern classes and serves as the best finite-approximation to the topological filtration, with surjectivity of to CH^i for , enabling bounds on torsion in CH for certain varieties. The work also proves uniqueness results for Morava K-theories as presheaves, discusses their motivic interpretation, and demonstrates applications to -motives of Tate type and to torsion estimates for Chow groups of quadrics, thereby linking chromatic homotopy ideas with algebraic geometry.

Abstract

We study non-additive operations from algebraic Morava K-theories to oriented cohomology theories in algebraic geometry. For oriented cohomology theory that has a {}-typical formal group law over a -algebra we construct `Chern classes' from the algebraic -th Morava K-theory with -local coefficients to . If the coefficient ring of is a free -module we also prove that these Chern classes freely generate all operations from to . Examples of such theories are algebraic Morava K-theories for all and Chow groups with -local coefficients. The universal -typical oriented theory is whose coefficient ring is also a free -module. Chern classes from the -th algebraic Morava K-theory to itself allow us to introduce the gamma filtration on . This is the best approximation to the topological filtration obtained by values of operations and it satisfies properties similar to that of the classical gamma filtration on . The major difference from the classical case is that Chern classes from the graded factors to Chow groups with p-local coefficients are surjective for , which allows to estimate -torsion in Chow groups of codimension up to of some varieties.

Paper Structure

This paper contains 34 sections, 66 theorems, 71 equations.

Key Result

Theorem 1

For every Morava K-theory $\mathrm{K}(n)_{int}^*$ and every $p^n$-typical theory $A^*$ there exist a series of operations $c_j\colon\mathrm{K}(n)_{int}^*\rightarrow A^*$ for $j\ge 1$ satisfying the following conditions.

Theorems & Definitions (151)

  • Definition : for the full definition encompassing torsion-case see Section \ref{['sec:pn-typ']}, cf. the notion of formal $A$-module Haz
  • Theorem : Theorem \ref{['th:main']}; if $A^*=\mathop{\mathrm{\mathrm{CH}}}\nolimits^*\otimes\mathbb{Z}_{(p)}\xspace$ this is Sech
  • Theorem : Theorem \ref{['th:morava_unique']}
  • Definition
  • Theorem : Prop. \ref{['prop:morava_gamma_properties']}
  • Definition 1.1: Vish1
  • Definition 1.2
  • Theorem 1.4: Levine-Morel, LevMor
  • Definition 1.5: Levine-Morel, LevMor
  • Definition 1.6
  • ...and 141 more