The Merkuriev-Suslin theorem for any semi-local ring

An Algorithmic Proof of Suslin's Stability Theorem over Polynomial Rings

Let $k$ be a field. Then Gaussian elimination over $k$ and the Euclidean division algorithm for the univariate polynomial ring $k[x]$ allow us to write any matrix in $SL_n(k)$ or $SL_n(k[x])$, $n\geq 2$, as a product of elementary matrices. Suslin's stability theorem states that the same is true for the multivariate polynomial ring $SL_n(k[x_1,\ldots ,x_m])$ with $n\geq 3$. As Gaussian elimination gives us an algorithmic way of finding an explicit factorization of the given matrix into elementary matrices over a field, we develop a similar algorithm over polynomial rings.

Endomorphisms of the projective plane and the image of the Suslin-Hurewicz map

The endomorphism ring of the projective plane over a field F of characteristic neither two nor three is slightly more complicated in the Morel-Voevodsky motivic stable homotopy category than in Voevodsky's derived category of motives. In particular, it is not commutative precisely if there exists a square in F which does not admit a sixth root. A byproduct of the computations is a proof of Suslin's conjecture on the Suslin-Hurewicz homomorphism from Quillen to Milnor K-theory in degree four, based on work of Asok, Fasel, and Williams.

复数的Bredon母题上同调

Bredon motivic cohomology of the complex numbers

本文在复数域上计算了$C_2$-等变Bredon母题上同调环，并利用刚性将Suslin的经典结果推广到等变母题框架。

Full faithfulness for overconvergent F-isocrystals

Let X be a smooth variety over a field of characteristic p>0. We prove that the forgetful functor from the category of overconvergent F-isocrystals on X to the category of convergent F-isocrystals is fully faithful. The argument uses the quasi-unipotence theorem for overconvergent F-isocrystals (recently proved independently by Andre, Mebkhout, and the author; see math.AG/0110124), plus arguments of de Jong. In the process, we establish a theorem of Quillen-Suslin type (i.e., every finite projective module is free) over rings of overconvergent power series.

Motivic cohomology of fat points in Milnor range via formal and rigid geometries

We present a formal scheme based cycle model for the motivic cohomology of the fat points defined by the truncated polynomial rings $k[t]/(t^m)$ with $m \geq 2$, in one variable over a field $k$. We compute their Milnor range cycle class groups when the field has sufficiently many elements. With some aids from rigid analytic geometry and the Gersten conjecture for the Milnor $K$-theory resolved by M. Kerz, we prove that the resulting cycle class groups are isomorphic to the Milnor $K$-groups of the truncated polynomial rings, generalizing a theorem of Nesterenko-Suslin and Totaro.

On the K-theory of pullbacks

To any pullback square of ring spectra we associate a new ring spectrum and use it to describe the failure of excision in algebraic $K$-theory. The construction of this new ring spectrum is categorical and hence allows to determine the failure of excision for any localizing invariant in place of $K$-theory. As immediate consequences we obtain an improved version of Suslin's excision result in $K$-theory, generalizations of results of Geisser and Hesselholt on torsion in (bi)relative $K$-groups, and a generalized version of pro-excision for $K$-theory. Furthermore, we show that any truncating i…