Related papers: On the K-theory of local fields
We describe the modulo $2$ de Rham-Witt complex of a field of characteristic $2$, in terms of the powers of the augmentation ideal of the $\mathbb{Z}/2$-geometric fixed points of real topological restriction homology TRR. This is analogous…
Let $K$ be an algebraically closed field of characteristic zero and let $R = K[X_1,\ldots,X_n]$. Let $I$ be an ideal in $R$. Let $A_n(K)$ be the $n^{th}$ Weyl algebra over $K$. By a result of Lyubeznik, the local cohomology modules…
The cyclotomic trace provides a comparison of the algebraic K-theory spectrum and a pro-spectrum TR that is built from the cyclic fixed points of topological Hochschild homology. In a previous paper with Ib Madsen, we used this comparison…
Let $K$ be a field of characteristic zero, $R = K[X_1,...,X_n]$ and let $I$ be an ideal in $R$. Let $A_n(K) = K<X_1,...,X_n, \partial_1,..., \partial_n>$ be the $n^{th}$ Weyl algebra over $K$. By a result due to Lyubeznik the local…
We improve the homology stability range for the 3rd integral homology of symplectic groups over commutative local rings with infinite residue field. As an application, we show that for local commutative rings containing an infinite field of…
This article is concerned with proving a refined function field analogue of the Coates-Sinnott conjecture, formulated in the number field context in 1974. Our main theorem calculates the Fitting ideal of a certain even Quillen K-group in…
We prove cancellation theorems for special ideals in Gorenstein local rings. These theorems take the form that if KI is contained in JI, then K is contained in J.
Let $K$ be a complete discrete valued field of characteristic $p$ with residue $k$ which is not necessarily perfect. We prove the Conjecture in \cite{cs} that a $p$-algebra over $K$ contains a totally ramified cyclic maximal subfield if it…
Goodwillie's rational isomorphism between relative algebraic K-theory and relative cyclic homology, together with the lambda decomposition of cyclic homology, illustrates the close relationships among algebraic K-theory, cyclic homology,…
For a reductive group scheme over a regular semi-local ring, we prove an equivarinat version of the Gersten conjecture. We draw some interesting consequences for the representation rings of such reductive group schemes. We also prove the…
We compute K-theory for ring C*-algebras in the case of higher roots of unity and thereby completely determine the K-theory for ring C*-algebras attached to rings of integers in arbitrary number fields.
Let K be a local field of characteristic p with perfect residue field k. In this paper we find a set of representatives for the k-isomorphism classes of totally ramified separable extensions L/K of degree p. This extends work of Klopsch,…
We study the algebraic $K$-theory of smooth schemes over $W_n(\Bbbk)$, where $\Bbbk$ is a perfect field of characteristic $p>0$. For a $p$-adic smooth scheme $X_{\centerdot}$ over $W_{\centerdot}(k)$, we introduce complexes…
We draw concrete consequences from our arithmetic duality for two-dimensional local rings with perfect residue field. These consequences include class field theory, Hasse principles for coverings and $K_{2}$ and a duality between divisor…
Let $K _{m}$ be an $m$-local field with an $m$-th residue field $K _{0}$, for some integer $m > 0$, and let $K/K _{m}$ be a field extension of transcendence degree trd$(K/K _{m}) \le 1$. This paper shows that if $K _{0}$ is a field of…
We study the K-theory of ring C*-algebras associated to rings of integers in global function fields with only one single infinite place. First, we compute the torsion-free part of the K-groups of these ring C*-algebras. Secondly, we show…
For a number field $K$, we extend the notion of the ring class field of an order in $K$ [C. Lv and Y. Deng, SciChina. Math., 2015] to that of an arbitrary number ring in $K$. We give both ideal-theoretic and idele-theoretic description of…
We provide an irreducibility test in the ring K[[x]][y] whose complexity is quasi-linear with respect to the discriminant valuation, assuming the input polynomial F square-free and K a perfect field of characteristic zero or greater than…
We prove that the theory of a Henselian valued field of characteristic zero, with finite ramification, and whose value group is a $Z$-group, is model-complete in the language of rings if the theory of its residue field is model-complete in…
We prove that the tangent complex of K-theory, in terms of (abelian) deformation problems over a characteristic 0 field k, is cyclic homology (over k). This equivalence is compatible with the $\lambda$-operations. In particular, the…