K-Theory and Homology (math.KT)

  • PDF
    We disprove two (unpublished) conjectures of Kontsevich which state generalized versions of categorical Hodge-to-de Rham degeneration for smooth and for proper DG categories (but not smooth and proper, in which case degeneration is proved by Kaledin \citeKa). In particular, we show that there exists a minimal $10$-dimensional $A_{\infty}$-algebra over a field of characteristic zero, for which the supertrace of $\mu_3$ on the second argument is non-zero. As a byproduct, we obtain an example of a homotopically finitely presented DG category (over a field of characteristic zero) that does not have a smooth categorical compactification, giving a negative answer to a question of To├źn. This can be interpreted as a lack of resolution of singularities in the noncommutative setup. We also obtain an example of a proper DG category which does not admit a categorical resolution of singularities in the terminology of Kuznetsov and Lunts \citeKL (that is, it cannot be embedded into a smooth and proper DG category).
  • PDF
    In the present article we discuss an approach to cohomological invariants of algebraic groups over fields of characteristic zero based on the Morava $K$-theories, which are generalized oriented cohomology theories in the sense of Levine--Morel. We show that the second Morava $K$-theory detects the triviality of the Rost invariant and, more generally, relate the triviality of cohomological invariants and the splitting of Morava motives. We describe the Morava $K$-theory of generalized Rost motives, compute the Morava $K$-theory of some affine varieties, and characterize the powers of the fundamental ideal of the Witt ring with the help of the Morava $K$-theory. Besides, we obtain new estimates on torsion in Chow groups of codimensions up to $2^n$ of quadrics from the $(n+2)$-nd power of the fundamental ideal of the Witt ring. We compute torsion in Chow groups of $K(n)$-split varieties with respect to a prime $p$ in all codimensions up to $\frac{p^n-1}{p-1}$ and provide a combinatorial tool to estimate torsion up to codimension $p^n$. An important role in the proof is played by the gamma filtration on Morava $K$-theories, which gives a conceptual explanation of the nature of the torsion. Furthermore, we show that under some conditions the $K(n)$-motive of a smooth projective variety splits if and only if its $K(m)$-motive splits for all $m\le n$.
  • PDF
    Generalizing the definition of Cartier, we introduce $p^n$-typical formal group laws over $\mathbb{Z}_{(p)}$-algebras. An oriented cohomology theory in the sense of Levin-Morel is called $p^n$-typical if its corresponding formal group law is $p^n$-typical. The main result of the paper is the construction of 'Chern classes' from the algebraic $n$-th Morava K-theory to every $p^n$-typical oriented cohomology theory. If the coefficient ring of a $p^n$-typical theory is a free $\mathbb{Z}_{(p)}$-module we also prove that these Chern classes freely generate all operations to it. Examples of such theories are algebraic $mn$-th Morava K-theories $K(nm)^*$ for all $m\in\mathbb{N}$ and $\mathrm{CH}^*\otimes\mathbb{Z}_{(p)}$ (operations to Chow groups were studied in a previous paper). The universal $p^n$-typical oriented theory is $BP\{n\}^*=BP^*/(v_j,j\nmid n)$ which coefficient ring is also a free $\mathbb{Z}_{(p)}$-module. Chern classes from the $n$-th algebraic Morava K-theory $K(n)^*$ to itself allow us to introduce the gamma filtration on $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 $K_0$. The major difference from the classical case is that Chern classes from the graded factors $gr^i_\gamma K(n)^*$ to $\mathrm{CH}^i\otimes\mathbb{Z}_{(p)}$ are surjective for $i\le p^n$. For some projective homogeneous varieties this allows to estimate $p$-torsion in Chow groups of codimension up to $p^n$.