Related papers: On very effective hermitian $K$-theory
We employ the slice spectral sequence, the motivic Steenrod algebra, and Voevodsky's solutions of the Milnor and Bloch-Kato conjectures to calculate the hermitian $K$-groups of rings of integers in number fields. Moreover, we relate the…
In this paper we introduce a homotopy theoretic technique for proving that the $K$-theoretic assembly map is an equivalence. It is an extension of the methods used to prove split injectivity of the assembly and applies to any geometrically…
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 establish a relationship between a certain notion of covering complexity of a Riemannian spin manifold and positive lower bounds on its scalar curvature. This makes use of a pairing between quantitative operator $K$-theory and Lipschitz…
The rational points of a smooth curve $X$ over a number field $k$ map to the set of augmentations of the associated motivic algebra. An expectation, related to Kim's conjecture, is that for $X$ hyperbolic, the set of augmentations which…
In this paper, we study $k$-parabolic arrangements, a generalization of the $k$-equal arrangement for any finite real reflection group. When $k=2$, these arrangements correspond to the well-studied Coxeter arrangements. We construct a cell…
We consider slice filtrations in logarithmic motivic homotopy theory. Our main results establish conjectured compatibilities with the Beilinson, BMS, and HKR filtrations on (topological, log) Hochschild homology and related invariants. In…
We construct a notion of derived completion which applies to homomorphisms of commutative S-algebras. We study the relationship of the construction with other constructions of completions, and prove various invariance properties. The…
We construct a $C_2$-equivariant spectral sequence for RO$(C_2)$-graded homotopy groups. The construction is by using the motivic effective slice filtration and the $C_2$-equivariant Betti realization. We apply the spectral sequence to…
We introduce and study matrix transfers to achieve elementary models for bivariant $K$-theory. They share lots of common properties with Voevodsky's framed correspondences and lead to symmetric matrix motives of algebraic varieties…
Let $k$ be a field of characteristic zero and let $(F,R)$ be a Landweber exact formal group law. We consider a Landweber exact $T$-spectrum $\mathcal{E}:=R\otimes_{\mathbb{L}}\text{MGL}$ and its effective cover $f_0\mathcal{E}\to…
We prove that for the action of a finite constant group scheme, equivariant algebraic $K$-theory is represented by a colimit of Grassmannians in the equivariant motivic homotopy category. Using this result we show that the set of…
We prove an analogue of the Gabriel--Quillen embedding theorem for exact $\infty$-categories, giving rise to a presentable version of Klemenc's stable envelope of an exact $\infty$-category. Moreover, we construct a symmetric monoidal…
A generalised notion of Kac-Moody algebra is defined using smooth maps from a compact real manifold $\mathcal{M}$ to a finite-dimensional Lie group, by means of complete orthonormal bases for a Hermitian inner product on the manifold and a…
We prove absolute purity for the rational motivic sphere spectrum. The main ingredient is the construction of an analogue of the Chern character, where algebraic K-theory is replaced by hermitian K-theory, and motivic cohomology by the plus…
Our results are of three types. First we describe a general procedure of adjoining polynomial variables to $A_\infty$-ring spectra whose coefficient rings satisfy certain restrictions.A host of examples of such spectra is provided by…
We show that if $X$ is a toric scheme over a regular commutative ring $k$ then the direct limit of the $K$-groups of $X$ taken over any infinite sequence of nontrivial dilations is homotopy invariant. This theorem was previously known for…
We prove that for any base scheme $S$, real \'etale motivic (unstable) homotopy theory over $S$ coincides with unstable semialgebraic topology over $S$ (that is, sheaves of spaces on the real spectrum of $S$). Moreover we show that for…
In this paper, we establish a "pseudo-effective" version of the holonomy principle for compact K\"{a}hler manifolds with nonnegative holomorphic sectional curvature. As applications, we prove that if a compact complex manifold $M$ admits a…
Waldhausen's $K$-theory of the sphere spectrum (closely related to the algebraic $K$-theory of the integers) is a naturally augmented $S^0$-algebra, and so has a Koszul dual. Classic work of Deligne and Goncharov implies an identification…