Related papers: On the K-theory of local fields
Let $V$ be a valuation ring of a global field $K$. We show that for all positive integers $k$ and $1 < n_1 \leq \ldots \leq n_k$ there exists an integer-valued polynomial on $V$, that is, an element of $\text{Int}(V) = \{ f \in K[X] \mid…
Let k be a regular F_p-algebra, let A = k[x,y]/(x^b - y^a) be the coordinate ring of a planar cuspical curve, and let I = (x,y) be the ideal that defines the cusp point. We give a formula for the relative K-groups K_q(A,I) in terms of the…
For any field $F$ (of characteristic not equal to 2), we determine the Zariski spectrum of homogeneous prime ideals in $K^{MW}_*(F)$, the Milnor-Witt $K$-theory ring of $F$. As a corollary, we recover Lorenz and Leicht's classical result on…
Thirty years ago, Huneke (for local rings) and Lyubeznik (in general) conjectured that for all regular rings $R$, the local cohomology modules $H^i_I(R)$ have finitely many associated prime ideals. We prove substantial new cases of their…
The "higher chromatic" Quillen-Lichtenbaum conjecture, as proposed by Ausoni and Rognes, posits that the finite localization map $K(R) \to L_{n + 1}^f K(R)$ is a $p$-local equivalence in large degrees for suitable ring spectra $R$. We give…
We study the structure of two-sided vector spaces over a perfect field $K$. In particular, we give a complete characterization of isomorphism classes of simple two-sided vector spaces which are left finite-dimensional. Using this…
To any left system of diagram categories or to any left pointed derivateur (in the sense of Grothendieck) a K-theory space is associated. This K-theory space is shown to be canonically an infinite loop space and to have a lot of common…
The article gives the second part of the treatise on Regular Algebraic $K$-theory (Sections V & VI) of the author. Regular algebraic $K$-theory for groups is a homology theory for discrete groups closely connected to (but different from)…
Given a field $K$ equipped with a set of discrete valuations $V$, we develop a general theory to relate reduction properties of skew-hermitian forms over a quaternion $K$-algebra $Q$ to quadratic forms over the function field $K(Q)$…
If $V$ is a smooth projective variety defined over a local field $K$ with finite residue field, so that its \'etale cohomology over the algebraic closure $\bar{K}$ is supported in codimension 1, then the mod $p$ reduction of a projective…
We prove that the relative K-groups associated with a nilpotent extension of Z/p^N Z-algebras and the bi-relative K-groups associated with a Milnor square of Z/p^N Z-algebras are p-primary torsion groups of bounded exponent. We also show…
For a finite totally ramified extension $L$ of a complete discrete valuation field $K$ with the perfect residue field of characteristic $p>0$, it is known that $L/K$ is an abelian extension if the upper ramification breaks are integers and…
We prove the triviality of the Grothendieck ring of a integer-valued field K under slight conditions on the logical language and on K. We construct a definable bijection from the plane K^2 to itself minus a point. When we specialize to…
Let A be an arbitrary ring. We introduce a Dennis trace map mod n, from K_1(A;Z/n) to the Hochschild homology group with coefficients HH_1(A;Z/n). If A is the ring of integers in a number field, explicit elements of K_1(A,Z/n) are…
We present a quick approach to computing the $K$-theory of the category of locally compact modules over any order in a semisimple $\mathbb{Q}$-algebra. We obtain the $K$-theory by first quotienting out the compact modules and subsequently…
Let $k$ be a field with a real valuation $\nu$ and $R$ a $k$-algebra. We show that there exist a $k$-algebra $K$ and a real valuation $\mu$ on $K$ extending $\nu$ such that any real ring valuation of $R$ is induced by $\mu$ via some…
For $K$ a field, consider a finite subgroup $G$ of $\operatorname{GL}_n(K)$ with its natural action on the polynomial ring $R:=K[x_1,\dots,x_n]$. Let $\mathfrak{n}$ denote the homogeneous maximal ideal of the ring of invariants $R^G$. We…
We consider the class of all commutative reduced rings for which there exists a finite subset T of A such that all projections on quotients by prime ideals of A are surjective when restricted to T. A complete structure theorem is given for…
This is a review/announcement of results concerning the connection between certain exactly solvable two-dimensional models of statistical mechanics, namely loop models, and the equivariant $K$-theory of the cotangent bundle of the…
A Laurent polynomial ring $A[t,1/t]$ with coefficients in a unital ring $A$ determines a category of quasi-coherent sheaves on the projective line over $A$; its $K$-theory is known to split into a direct sum of two copies of the $K$-theory…