Related papers: Borel isomorphism and absolute purity
We introduce a theory of motivic cohomology for quasi-compact quasi-separated schemes, which generalises the construction of Elmanto--Morrow in the case of schemes over a field. Our construction is non-$\mathbb{A}^1$-invariant in general,…
We compute the generalized slices (as defined by Spitzweck-{\O}stv{\ae}r) of the motivic spectrum KO (representing hermitian K-theory) in terms of motivic cohomology and (a version of) generalized motivic cohomology, obtaining good…
A kind of motivic algebra of spectral categories and modules over them is developed to introduce K-motives of algebraic varieties. As an application, bivariant algebraic K-theory as well as bivariant motivic kohomology groups are defined…
We present news proofs of the additivity, resolution and cofinality theorems for the algebraic $K$-theory of exact categories. These proofs are entirely algebraic, based on Grayson's presentation of higher algebraic $K$-groups via binary…
We compare different algebraic structures in twisted equivariant K-Theory for proper actions of discrete groups. After the construction of a module structure over untwisted equivariant K-Theory, we prove a completion Theorem of Atiyah-Segal…
Given a group, we construct a fundamental additive functor on its orbit category. We prove that any isomorphism conjecture valid for this fundamental isomorphism functor holds for all additive functors, like K-theory, cyclic homology,…
We show that the category of rational G-spectra for a torus G is Quillen equivalent to an explicit small and practical algebraic model, thereby providing a universal de Rham model for rational G-equivariant cohomology theories. The result…
Let G be a group and k a field of characteristic zero. We prove that if the Farrell-Jones conjecture for the K-theory of R[G] is satisfied for every smooth k-algebra R, then it is also satisfied for every commutative k-algebra R.
Given a smooth projective variety $M$ endowed with a faithful action of a finite group $G$, following Jarvis-Kaufmann-Kimura and Fantechi-G\"ottsche, we define the orbifold motive (or Chen-Ruan motive) of the quotient stack $[M/G]$ as an…
Let $k$ be a field of characteristic 0 and $\mathcal{A}$ a curved $k$-algebra. We obtain a Chern-Weil-type formula for the Chern character of a perfect $\mathcal{A}$-module taking values in $HN_0^{II}(\mathcal{A})$, the negative cyclic…
In this article we investigate the question of chromatic purity of L-theory. To do so, we utilize the theory of additive GW and L-theory in the language of Poincar\'e categories as laid out in the series of papers by Calm\`es et al. We…
We prove that the isomorphism relation for separable C$^*$-algebras, and also the relations of complete and $n$-isometry for operator spaces and systems, are Borel reducible to the orbit equivalence relation of a Polish group action on a…
We study the motivic Serre invariant of a smoothly bounded algebraic or rigid variety $X$ over a complete discretely valued field $K$ with perfect residue field $k$. If $K$ has characteristic zero, we extend the definition to arbitrary…
An algebraic version of a theorem due to Quillen is proved. More precisely, for a ground field k we consider the motivic stable homotopy category SH(k) of P^1-spectra equipped with the symmetric monoidal structure described in…
Let $K$ be a perfect field and let $E$ be a homotopy commutative ring spectrum in the Morel-Voevodsky stable motivic homotopy category $\mathcal{SH}(K)$. In this work we investigate the relation between the $E$-homology localization and…
Let $R$ be a valuation ring with fraction field $K$ and $2\in R^\times$. We give an elementary proof of the following known result: Two unimodular quadratic forms over $R$ are isometric over $K$ if and only if they are isometric over $R$.…
Quillen proved that, if a Hermitian bihomogeneous polynomial is strictly positive on the unit sphere, then repeated multiplication of the standard sesquilinear form to this polynomial eventually results in a sum of Hermitian squares.…
An object in motivic homotopy theory is called cellular if it can be built out of motivic spheres using homotopy colimit constructions. We explore some examples and consequences of cellularity. We explain why the algebraic K-theory and…
In this paper we look at the $E$-completion of topological spaces where $E$ is a $p$-local ring spectrum. After a brief review of the concept of $E$-completion, we specialize to the case where $E=K$, $p$-local complex periodic $K$-theory,…
We define a genuine $\mathbb{Z}/2$-equivariant real algebraic $K$-theory spectrum $KR(A)$, for every genuine $\mathbb{Z}/2$-equivariant spectrum $A$ equipped with a compatible multiplicative structure. This construction extends the real…