arXiv subjects
Publications and source records attributed to Amalendu Krishna.
We show that the additive higher Chow groups of regular schemes over a field induce a Zariski sheaf of pro-differential graded algebras, whose Milnor range is isomorphic to the Zariski sheaf of big de Rham-Witt complexes. This provides an explicit cycle-theoretic description of the big de Rham-Witt sheaves. Several applications are derived.
We construct a cycle class map from the higher Chow groups of 0-cycles to the relative $K$-theory of a modulus pair. We show that this induces a pro-isomorphism between the additive higher Chow groups of relative 0-cycles and relative $K$-theory of truncated polynomial rings over a regular semi-local ring, essentially of finite type over a characteristic zero field.
We prove a moving lemma for the additive and ordinary higher Chow groups of relative $0$-cycles of regular semi-local $k$-schemes essentially of finite type over an infinite perfect field. From this, we show that the cycle classes can be represented by cycles that possess certain finiteness, surjectivity, and smoothness properties. It plays a key role in showing that the crystalline cohomology of smooth varieties can be expressed in terms of algebraic cycles.
We prove an Atiyah-Segal isomorphism for the higher $K$-theory of coherent sheaves on quotient Deligne-Mumford stacks over $\C$. As an application, we prove the Grothendieck-Riemann-Roch theorem for such stacks. This theorem establishes an isomorphism between the higher $K$-theory of coherent sheaves on a Deligne-Mumford stack and the higher Chow groups of its inertia stack. Furthermore, this isomorphism is covariant for proper maps between Deligne-Mumford stacks.
We present a relation between the classical Chow group of relative $0$-cycles on a regular scheme $\mathcal{X}$, projective and flat over an excellent Henselian discrete valuation ring, and the Levine-Weibel Chow group of 0-cycles on the special fiber. We show that these two Chow groups are isomorphic with finite coefficients under extra assumptions. This generalizes a result of Esnault, Kerz and Wittenberg.
We show, for a finitely generated partially cancellative torsion-free commutative monoid $M$, that $K_i(R) \cong K_i(R[M])$ whenever $i \le -d$ and $R$ is a quasi-excellent $\Q$-algebra of Krull dimension $d \ge 1$. In particular, $K_i(R[M]) = 0$ for $i < -d$. This is a generalization of Weibel's $K$-dimension conjecture to monoid algebras. We show that this generalization fails for $X[M]$ if $X$ is not an affine scheme. We also show that the Levine-Weibel Chow group of 0-cycles $\CH^{LW}_0(k[M])$ vanishes for any finitely generated commutative partially cancellative monoid $M$ if $k$ is an algebraically closed field.
We prove that the homotopy algebraic K-theory of tame quasi-DM stacks satisfies cdh-descent. We apply this descent result to prove that if X is a Noetherian tame quasi-DM stack and i < -dim(X), then K_i(X)[1/n] = 0 (resp. K_i(X, Z/n) = 0) provided that n is nilpotent on X (resp. is invertible on X). Our descent and vanishing results apply more generally to certain Artin stacks whose stabilizers are extensions of finite group schemes by group schemes of multiplicative type.
We prove Bloch's formula for 0-cycles on affine schemes over algebraically closed fields. We prove this formula also for projective schemes over algebraically closed fields which are regular in codimension one. Several applications, including Bloch's formula for 0-cycles with modulus, are derived.
We show that the Levine-Weibel Chow group of 0-cycles $\CH^d(A)$ of a reduced affine algebra $A$ of dimension $d \ge 2$ over an algebraically closed field is torsion-free. Among several applications, it implies an affirmative solution to an old conjecture of Murthy in classical $K$-theory..
We construct a motivic spectral sequence for the relative homotopy invariant K-theory of a closed immersion of schemes $D \subset X$. The $E_2$-terms of this spectral sequence are the cdh-hypercohomology of a complex of equi-dimensional cycles. Using this spectral sequence, we obtain a cycle class map from the relative motivic cohomology group of 0-cycles to the relative homotopy invariant K-theory. For a smooth scheme $X$ and a divisor $D \subset X$, we construct a canonical homomorphism from the Chow groups with modulus $\CH^i(X|D)$ to the relative motivic cohomology groups $H^{2i}(X|D, \Z(i))$ appearing in the above spectral sequence. This map is shown to be an isomorphism when $X$ is affine and $i = \dim(X)$.
We examine the slice spectral sequence for the cohomology of singular schemes with respect to various motivic T-spectra, especially the motivic cobordism spectrum. When the base field k admits resolution of singularities and X is a scheme of finite type over k, we show that Voevodsky's slice filtration leads to a spectral sequence for MGL(X) whose terms are the motivic cohomology groups of X defined using the cdh-hypercohomology. As a consequence, we establish an isomorphism between certain geometric parts of the motivic cobordism and motivic cohomology of X. A similar spectral sequence for the connective K-theory leads to a cycle class map from the motivic cohomology to the homotopy invariant K-theory of X. We show that this cycle class map is injective for projective schemes. We also deduce applications to the torsion in the motivic cohomology of singular schemes.
We show, for a smooth projective variety $X$ over an algebraically closed field $k$ with an effective Cartier divisor $D$, that the torsion subgroup $\CH_0(X|D)\{l\}$ can be described in terms of a relative {é}tale cohomology for any prime $l \neq p = {\rm char}(k)$. This extends a classical result of Bloch, on the torsion in the ordinary Chow group, to the modulus setting. We prove the Roitman torsion theorem (including $p$-torsion) for $\CH_0(X|D)$ when $D$ is reduced. We deduce applications to the problem of invariance of the prime-to-$p$ torsion in $\CH_0(X|D)$ under an infinitesimal extension of $D$.
We prove some fundamental results like localization, excision, Nisnevich descent and the Mayer-Vietoris property for equivariant regular blow-up for the equivariant K-theory of schemes with an affine group scheme action. We also show that the equivariant K-theory with finite coefficients is invariant under equivariant vector bundle morphisms. We show that the equivariant homotopy K-theory is invariant under equivariant vector bundle morphisms and satisfies all the above properties, including nil-invariance.
We show that for any commutative noetherian regular ring $R$ containing $\Q$, the map $K_1(R) \to K_1(\frac{R[x_1, \cdots , x_4]}{(x_1x_2 - x_3x_4)})$ is an isomorphism. This answers a question of Gubeladze. We also compute the higher $K$-theory of this monoid algebra. In particular, we show that the above isomorphism does not extend to all higher $K$-groups. We give applications to a question of Lindel on the Serre dimension of monoid algebras.
Given a smooth variety $X$ and an effective Cartier divisor $D \subset X$, we show that the cohomological Chow group of 0-cycles on the double of $X$ along $D$ has a canonical decomposition in terms of the Chow group of 0-cycles ${\rm CH}_0(X)$ and the Chow group of 0-cycles with modulus ${\rm CH}_0(X|D)$ on $X$. When $X$ is projective, we construct an Albanese variety with modulus and show that this is the universal regular quotient of ${\rm CH}_0(X|D)$. As a consequence of the above decomposition, we prove the Roitman torsion theorem for the 0-cycles with modulus. We show that ${\rm CH}_0(X|D)$ is torsion-free and there is an injective cycle class map ${\rm CH}_0(X|D) \hookrightarrow K_0(X,D)$ if $X$ is affine. For a smooth affine surface $X$, this is strengthened to show that $K_0(X,D)$ is an extension of ${\rm CH}_1(X|D)$ by ${\rm CH}_0(X|D)$.
For a smooth quasi-projective scheme $X$ over a field $k$ with an action of a reductive group, we establish a spectral sequence connecting the equivariant and the ordinary higher Chow groups of $X$. For $X$ smooth and projective, we show that this spectral sequence degenerates, leading to an explicit relation between the equivariant and the ordinary higher Chow groups. We obtain several applications to algebraic $K$-theory. We show that for a reductive group $G$ acting on a smooth projective scheme $X$, the forgetful map $K^G_i(X) \to K_i(X)$ induces an isomorphism $K^G_i(X)/{I_G K^G_i(X)} \cong K_i(X)$ with rational coefficients. This generalizes a result of Graham to higher $K$-theory of such schemes. We prove an equivariant Riemann-Roch theorem, leading to a generalization of a result of Edidin and Graham to higher $K$-theory. Similar techniques are used to prove the equivariant Quillen-Lichtenbaum conjecture.
We prove a moving lemma for higher Chow groups with modulus, in the sense of Binda-Kerz-Saito, of projective schemes when the modulus is given by a very ample divisor. This provides one of the first cases of moving lemmas for cycles with modulus, not covered by the additive higher Chow groups. We apply this to prove a contravariant functoriality of higher Chow groups with modulus. We use our moving techniques to show that the higher Chow groups of a line bundle over a scheme, with the 0-section as the modulus, vanishes.
We formulate analogues, for Noetherian local $\mathbb Q$-algebras which are not necessarily regular, of the injectivity part of Gersten's conjecture in algebraic $K$-theory, and prove them in various cases. Our results suggest that the algebraic $K$-theory of such a ring should be detected by combining the algebraic $K$-theory of both its regular locus and the infinitesimal thickenings of its singular locus.