Related papers: Notes on Milnor-Witt K-theory
For a field $k$ we compute the $K$-theory of the exact category of $k[t_1,\dots,t_n]$-modules that are finite-dimensional over $k$, generalising the work of Kelley and Spanier.
In this paper, semilocal Milnor $K$-theory of fields is introduced and studied. A strongly convergent spectral sequence relating semilocal Milnor $K$-theory to semilocal motivic cohomology is constructed. In weight 2, the motivic cohomology…
This is the second article in a two-part series presenting a new proof comparing the non-invariant trace formula for a general linear group with that of one of its inner forms. In this article, we focus on the spectral side of the trace…
In this article, we further the study of higher K-theory of dg categories via universal invariants, initiated by the second named author. Our main result is the co-representability of non-connective K-theory by the base ring in the…
This work applies the ideas of Alekseev and Meinrenken's Non-commutative Chern-Weil Theory to describe a completely combinatorial and constructive proof of the Wheeling Theorem. In this theory, the crux of the proof is, essentially, the…
Let $k$ be a field that is finitely generated over its prime field. In Grothendieck's anabelian letter to Faltings, he conjectured that sending a $k$-scheme to its \'{e}tale topos defines a fully faithful functor from the localization of…
In this paper, we study the K-theory on higher modules in spectral algebraic geometry. We relate the K-theory of an $\infty$-category of finitely generated projective modules on certain $\mathbb{E}_{\infty}$-rings with the K-theory of an…
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…
We construct a symmetric spectrum representing the G-equivariant K-theory of C*-algebras for a compact group or a proper groupoid G. Our spectrum is functorial for equivariant *-homomorphisms. We use this to establish the additivity of the…
This monograph is devoted to a comprehensive study of graded rings and graded K-theory. A bird's eye view of the graded module theory over a graded ring gives an impression of the module theory with the added adjective "graded" to all its…
In this expository paper, various properties of matrix traces, determinants and adjugate matrices are proved, including the *trace Cayley-Hamilton theorem*, which says that \[ kc_k + \sum_{i=1}^k \operatorname{Tr} (A^i) c_{k-i} = 0 \qquad…
The ability to cast values between related types is a leitmotiv of many flavors of dependent type theory, such as observational type theories, subtyping, or cast calculi for gradual typing. These casts all exhibit a common structural…
We show that the K-theory cosheaf is a complete invariant for separable continuous fields with vanishing boundary maps over a finite-dimensional compact metrizable topological space whose fibers are stable Kirchberg algebras with rational…
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…
According to the Langlands functoriality conjecture, broadened to the setting of spherical varieties (of which reductive groups are special cases), a map between L-groups of spherical varieties should give rise to a functorial transfer of…
Permutation rational functions over finite fields have attracted high interest in recent years. However, only a few of them have been exhibited. This article studies a class of permutation rational functions constructed using trace maps on…
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…
One of the most significant discrete invariants of a quadratic form $\phi$ over a field $k$ is its (full) splitting pattern, a finite sequence of integers which describes the possible isotropy behaviour of $\phi$ under scalar extension to…
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…
Our aim is to transfer several foundational results from the modular representation theory of finite groups to the wider context of profinite groups. We are thus interested in profinite modules over the completed group algebra k[[G]] of a…