• Murthy's conjecture on 0-cycles(1511.04221)

March 18, 2019 math.AG
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..
• Vanishing theorems for the negative K-theory of stacks(1705.02295)

Aug. 13, 2019 math.AT, math.AG, math.KT
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.
• Algebraic cycles and crystalline cohomology(1504.08181)

July 13, 2018 math.AG, math.KT
We show that additive higher Chow groups of S. Bloch and H. Esnault of smooth varieties over an arbitrary field induce a Zariski sheaf of pro-differential graded algebras, whose Milnor range is isomorphic to the Zariski sheaf of the big de Rham-Witt complexes of L. Hesselholt and I. Madsen. When the characteristic $p$ of the field is positive, the Zariski hypercohomology of the $p$-typical part of the sheaves arising from additive higher Chow groups computes the crystalline cohomology of smooth varieties. This revisits the 1970s results of S. Bloch and L. Illusie on crystalline cohomology, this time from algebraic cycles.
• The slice spectral sequence for singular schemes and applications(1606.05810)

June 1, 2018 math.AG, math.KT
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.
• K-theory and 0-cycles on schemes(1803.00837)

April 26, 2018 math.AG
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.
• Torsion in the 0-cycle group with modulus(1607.01493)

Feb. 16, 2018 math.AG
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 {\'e}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$.
• Rigidity for relative $0$-cycles(1802.00165)

Feb. 1, 2018 math.AG
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 if the residue field of the discrete valuation ring is algebraically closed. This generalizes a result of Esnault, Kerz and Wittenberg to regular models with (arbitrarily) bad reduction.
• Motivic spectral sequence for relative homotopy K-theory(1801.00922)

Jan. 3, 2018 math.AG
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)$.
• Algebraic K-theory of quotient stacks(1509.05147)

Aug. 2, 2017 math.AG
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.
• $K$-theory of monoid algebras and a question of Gubeladze(1610.01825)

July 7, 2017 math.AG
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.
• Zero cycles with modulus and zero cycles on singular varieties(1512.04847)

June 16, 2017 math.AG
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)$.
• Atiyah-Segal theorem for Deligne-Mumford stacks and applications(1701.05047)

Oct. 17, 2019 math.AG
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.
• Equivariant K-theory and Higher Chow Groups of Schemes(0906.3109)

Nov. 30, 2016 math.AG
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.
• A moving lemma for cycles with very ample modulus(1507.05429)

Oct. 4, 2016 math.AG
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.
• Analogues of Gersten's conjecture for singular schemes(1508.05621)

July 21, 2016 math.AG, math.KT
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.
• Equivariant vector bundles, their derived category and $K$-theory on affine schemes(1410.8764)

May 31, 2016 math.AG
Let $G$ be an affine group scheme over a noetherian commutative ring $R$. We show that every $G$-equivariant vector bundle on an affine toric scheme over $R$ with $G$-action is extended from $\Spec(R)$ for several cases of $R$ and $G$. We show that given two affine schemes with group scheme actions, an equivalence of the equivariant derived categories implies isomorphism of the equivariant $K$-theories as well as equivariant $K'$-theories.
• A module structure and a vanishing theorem for cycles with modulus(1412.7396)

May 11, 2016 math.AG, math.KT
We show that the higher Chow groups with modulus of Binda-Kerz-Saito for a smooth quasi-projective scheme $X$ is a module over the Chow ring of $X$. From this, we deduce certain pull-backs, the projective bundle formula, and the blow-up formula for higher Chow groups with modulus. We prove vanishing of $0$-cycles of higher Chow groups with modulus on various affine varieties of dimension at least two. This shows in particular that the multivariate analogue of Bloch-Esnault--R\"ulling computations of additive higher Chow groups of 0-cycles vanishes.
• On additive higher Chow groups of affine schemes(1504.08185)

Dec. 24, 2015 math.AG, math.KT
We show that the multivariate additive higher Chow groups of a smooth affine $k$-scheme $\Spec (R)$ essentially of finite type over a perfect field $k$ of characteristic $\not = 2$ form a differential graded module over the big de Rham-Witt complex $\W_m\Omega^{\bullet}_{R}$. In the univariate case, we show that additive higher Chow groups of $\Spec (R)$ form a Witt-complex over $R$. We use these structures to prove an \'etale descent for multivariate additive higher Chow groups.
• A1-contractibility of Koras-Russell threefolds(1409.1293)

Dec. 14, 2015 math.AT, math.AG, math.KT
Finite suspensions of Koras-Russell threefolds are contractible in A1-homotopy theory.
• On 0-cycles with modulus(1504.03125)

Nov. 16, 2015 math.AG
Given a smooth surface $X$ over a field and an effective Cartier divisor $D$, we provide an exact sequence connecting $CH_0(X,D)$ and the relative $K$-group $K_0(X,D)$. We use this exact sequence to answer a question of Kerz and Saito whenever $X$ is a resolution of singularities of a normal surface. This exact sequence is used to show that the localization sequence for ordinary Chow groups does not extend to Chow groups with modulus.
• Completion theorem for equivariant $K$-theory(1201.5766)

Nov. 16, 2015 math.AG, math.KT
In this paper, we study the algebraic analogue of the topological Atiyah-Segal completion theorem. We verify this completion theorem for the algebraic equivariant $K$-theory of smooth projective schemes. We also show that the completion theorem fails in general for smooth non-projective schemes.
• Motivic homotopy theory of group scheme actions(1408.2348)

Oct. 16, 2015 math.AT, math.AG
We define an unstable equivariant motivic homotopy category for an algebraic group over a Noetherian base scheme. We show that equivariant algebraic $K$-theory is representable in the resulting homotopy category. Additionally, we establish homotopical purity and blow-up theorems for finite abelian groups.
• 0-cycles on singular schemes and class field theory(1502.01515)

Feb. 5, 2015 math.AG
We show that the Chow group of 0-cycles on a singular projective scheme $X$ over a finite field describes the abelian extensions of its function field which are unramified over the regular locus of $X$. As a consequence, we obtain the Bloch-Quillen formula for the Chow group of 0-cycles on such schemes. We deduce simple proofs of results of Kerz-Saito for a class of surfaces without any assumption on ${\rm char}(k)$.
• Semi-topologization in motivic homotopy theory and applications(1302.2218)

Oct. 11, 2014 math.AT, math.AG, math.KT
We study the semi-topologization functor of Friedlander-Walker from the perspective of motivic homotopy theory. We construct a triangulated endo-functor on the stable motivic homotopy category $\mathcal{SH}(\C)$, which we call \emph{homotopy semi-topologization}. As applications, we discuss the representability of several semi-topological cohomology theories in $\mathcal{SH}(\C)$, a construction of a semi-topological analogue of algebraic cobordism, and a construction of Atiyah-Hirzebruch type spectral sequences for this theory.
• Motivic homotopy of group scheme actions(1403.1915)

March 8, 2014 math.AG
To smooth schemes equipped with a smooth affine group scheme action, we associate an equivariant motivic homotopy category. Underlying our construction is the choice of an `equivariant Nisnevich topology' induced by a complete, regular, and bounded $cd$-structure. We show equivariant $K$-theory of smooth schemes is represented in the equivariant motivic homotopy category. This is used to characterize equivariantly contractible smooth affine curves and equivariant vector bundles on such curves. Generalizations of the purity and blow-up theorems in motivic homotopy theory are shown for actions of finite cyclic groups.