
We show that the LevineWeibel Chow group of 0cycles $\CH^d(A)$ of a reduced
affine algebra $A$ of dimension $d \ge 2$ over an algebraically closed field is
torsionfree. Among several applications, it implies an affirmative solution to
an old conjecture of Murthy in classical $K$theory..

We prove that the homotopy algebraic Ktheory of tame quasiDM stacks
satisfies cdhdescent. We apply this descent result to prove that if X is a
Noetherian tame quasiDM 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 show that additive higher Chow groups of S. Bloch and H. Esnault of smooth
varieties over an arbitrary field induce a Zariski sheaf of prodifferential
graded algebras, whose Milnor range is isomorphic to the Zariski sheaf of the
big de RhamWitt 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.

We examine the slice spectral sequence for the cohomology of singular schemes
with respect to various motivic Tspectra, 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 cdhhypercohomology. 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
Ktheory leads to a cycle class map from the motivic cohomology to the homotopy
invariant Ktheory 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 prove Bloch's formula for 0cycles 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 0cycles with modulus, are derived.

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(XD)\{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(XD)$ when
$D$ is reduced. We deduce applications to the problem of invariance of the
primeto$p$ torsion in $\CH_0(XD)$ under an infinitesimal extension of $D$.

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 LevineWeibel Chow group of 0cycles
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.

We construct a motivic spectral sequence for the relative homotopy invariant
Ktheory of a closed immersion of schemes $D \subset X$. The $E_2$terms of
this spectral sequence are the cdhhypercohomology of a complex of
equidimensional cycles.
Using this spectral sequence, we obtain a cycle class map from the relative
motivic cohomology group of 0cycles to the relative homotopy invariant
Ktheory. For a smooth scheme $X$ and a divisor $D \subset X$, we construct a
canonical homomorphism from the Chow groups with modulus $\CH^i(XD)$ to the
relative motivic cohomology groups $H^{2i}(XD, \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 prove some fundamental results like localization, excision, Nisnevich
descent and the MayerVietoris property for equivariant regular blowup for the
equivariant Ktheory of schemes with an affine group scheme action. We also
show that the equivariant Ktheory with finite coefficients is invariant under
equivariant vector bundle morphisms. We show that the equivariant homotopy
Ktheory is invariant under equivariant vector bundle morphisms and satisfies
all the above properties, including nilinvariance.

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 0cycles on the double of $X$ along
$D$ has a canonical decomposition in terms of the Chow group of 0cycles ${\rm
CH}_0(X)$ and the Chow group of 0cycles with modulus ${\rm CH}_0(XD)$ 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(XD)$.
As a consequence of the above decomposition, we prove the Roitman torsion
theorem for the 0cycles with modulus. We show that ${\rm CH}_0(XD)$ is
torsionfree and there is an injective cycle class map ${\rm CH}_0(XD)
\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(XD)$ by ${\rm CH}_0(XD)$.

We prove an AtiyahSegal isomorphism for the higher $K$theory of coherent
sheaves on quotient DeligneMumford stacks over $\C$. As an application, we
prove the GrothendieckRiemannRoch theorem for such stacks. This theorem
establishes an isomorphism between the higher $K$theory of coherent sheaves on
a DeligneMumford stack and the higher Chow groups of its inertia stack.
Furthermore, this isomorphism is covariant for proper maps between
DeligneMumford stacks.

For a smooth quasiprojective 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 RiemannRoch theorem, leading to a generalization of a result of
Edidin and Graham to higher $K$theory. Similar techniques are used to prove
the equivariant QuillenLichtenbaum conjecture.

We prove a moving lemma for higher Chow groups with modulus, in the sense of
BindaKerzSaito, 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 0section 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.

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.

We show that the higher Chow groups with modulus of BindaKerzSaito for a
smooth quasiprojective scheme $X$ is a module over the Chow ring of $X$. From
this, we deduce certain pullbacks, the projective bundle formula, and the
blowup 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 BlochEsnaultR\"ulling computations of
additive higher Chow groups of 0cycles vanishes.

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
RhamWitt complex $\W_m\Omega^{\bullet}_{R}$. In the univariate case, we show
that additive higher Chow groups of $\Spec (R)$ form a Wittcomplex over $R$.
We use these structures to prove an \'etale descent for multivariate additive
higher Chow groups.

Finite suspensions of KorasRussell threefolds are contractible in
A1homotopy theory.

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.

In this paper, we study the algebraic analogue of the topological
AtiyahSegal 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 nonprojective schemes.

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 blowup theorems for finite abelian groups.

We show that the Chow group of 0cycles 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 BlochQuillen formula for the Chow group of 0cycles on such schemes. We
deduce simple proofs of results of KerzSaito for a class of surfaces without
any assumption on ${\rm char}(k)$.

We study the semitopologization functor of FriedlanderWalker from the
perspective of motivic homotopy theory. We construct a triangulated
endofunctor on the stable motivic homotopy category $\mathcal{SH}(\C)$, which
we call \emph{homotopy semitopologization}. As applications, we discuss the
representability of several semitopological cohomology theories in
$\mathcal{SH}(\C)$, a construction of a semitopological analogue of algebraic
cobordism, and a construction of AtiyahHirzebruch type spectral sequences for
this theory.

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
blowup theorems in motivic homotopy theory are shown for actions of finite
cyclic groups.