Searcharxiv⌕ Search

arXiv subjects

Marco Schlichting

Publications and source records attributed to Marco Schlichting.

14 recordsLinked to original sources
arXiv2025

Symmetric versus genuine symmetric forms in Hermitian K-theory

We show that for finite dimensional regular Noetherian rings that contain a field or are smooth over a Dedekind domain, the comparison map from the Hermitian K-theory of genuine symmetric forms to that of symmetric forms is an equivalence in degrees greater or equal -1 and a monomorphism in degree -2. In particular, the spaces of Hermitian K-theory of genuine symmetric forms and the symplectic K-theory space are homotopy invariant for such rings.

math.KT↗
arXiv2024

Higher $K$-theory of forms III: from chain complexes to derived categories

We exhibit a canonical equivalence between the hermitian $K$-theory (alias Grothendieck-Witt) spectrum of an exact form category and that of its derived Poincaré $\infty$-category, with no assumptions on the invertibility of $2$. Along the way, we obtain a model for the nonabelian derived functor of a nondegenerate quadratic functor on an exact category.

math.KT↗
arXiv2024

Higher K-theory of forms II. From exact categories to chain complexes

We prove basic statements about the Hermitian K-theory of exact form categories with weak equivalences. Notably, we extend a quadratic functor with values in abelian groups from an exact category to its category of bounded chain complexes in a way that does not change Grothendieck-Witt spaces. This is used in joint work with Marlowe for the comparison of the classical 1-categorical version of the Hermitian K-theory of exact categories with the infinity-categorical version of Calmes-Dotto-Harpaz-Hebestreit-Land-Moi-Nardin-Nikolaus-Steimle.

math.KT↗
arXiv2022

L-theory of $C^*$-algebras

We establish a formula for the L-theory spectrum of real $C^*$-algebras from which we deduce a presentation of the L-groups in terms of the topological K-groups, extending all previously known results of this kind. Along the way, we extend the integral comparison map $\tau\colon \mathrm{k} \to \mathrm{L}$ obtained in previous work by the first two authors to real $C^*$-algebras and interpret it using topological Grothendieck-Witt theory. Finally, we use our results to give an integral comparison between the Baum-Connes conjecture and the L-theoretic Farrell-Jones conjecture, and discuss our comparison map $\tau$ in terms of the signature operator on oriented manifolds.

math.KT↗
arXiv2022

On the Homology stability range for symplectic groups

We improve, by a factor of 2, known homology stability ranges for the integral homology of symplectic groups over commutative local rings with infinite residue field and show that the obstruction to further stability is bounded below by Milnor-Witt K-theory. In particular our stability range is optimal in many cases.

math.KT↗
arXiv2021

The third homology of symplectic groups and algebraic K-theory

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 characteristic not 2 the symbol map from Milnor-Witt K-theory to higher Grothendieck-Witt groups is an isomorphism in degrees 2 and 3.

math.KT↗
arXiv2020

Grothendieck-Witt groups of some singular schemes

We establish some structural results for the Witt and Grothendieck-Witt groups of schemes over $\mathbb{Z}[1/2]$, including homotopy invariance for Witt groups and a formula for the Witt and Grothendieck-Witt groups of punctured affine spaces over a scheme. All these results hold for singular schemes and at the level of spectra.

math.AG↗
arXiv2016

Hermitian K-theory, derived equivalences and Karoubi's Fundamental Theorem

Within the framework of dg categories with weak equivalences and duality that have uniquely 2-divisible mapping complexes, we show that higher Grothendieck-Witt groups (aka. hermitian K-groups) are invariant under derived equivalences and that Morita exact sequences induce long exact sequences of Grothendieck-Witt groups. This implies an algebraic Bott sequence and a new proof and generalization of Karoubi's Fundamental Theorem. For the higher Grothendieck-Witt groups of vector bundles of (possibly singular) schemes with an ample family of line-bundles such that 2 is invertible in the ring of regular functions, we obtain Mayer-Vietoris long exact sequences for Nisnevich coverings and blow-ups along regularly embedded centers, projective bundle formulas, and a Bass fundamental theorem. For coherent Grothendieck-Witt groups, we obtain a localization theorem analogous to Quillen's K'-localization theorem.

math.KT↗
arXiv2016

The Witt group of real algebraic varieties

Let $V$ be an algebraic variety over $\mathbb R$. The purpose of this paper is to compare its algebraic Witt group $W(V)$ with a new topological invariant $WR(V_{\mathbb C})$, based on symmetric forms on Real vector bundles (in the sense of Atiyah) on the space of complex points of $V$, This invariant lies between $W(V)$ and the group $KO(V_{\mathbb R})$ of $\mathbb R$-linear topological vector bundles on $V_{\mathbb R}$, the set of real points of $V$. We show that the comparison maps $W(V)\to WR(V_{\mathbb C})$ and $WR(V_{\mathbb C})\to KO(V_{\mathbb R})$ that we define are isomorphisms modulo bounded 2-primary torsion. We give precise bounds for the exponent of the kernel and cokernel of these maps, depending upon the dimension of $V.$ These results improve theorems of Knebusch, Brumfiel and Mahé. Along the way, we prove a comparison theorem between algebraic and topological Hermitian $K$-theory, and homotopy fixed point theorems for the latter. We also give a new proof (and a generalization) of a theorem of Brumfiel.

math.KT↗
arXiv2016

Euler class groups, and the homology of elementary and special linear groups

We prove homology stability for elementary and special linear groups over rings with many units improving known stability ranges. Our result implies stability for unstable Quillen K-groups and proves a conjecture of Bass. For commutative local rings with infinite residue fields, we show that the obstruction to further stability is given by Milnor-Witt K-theory. As an application we construct Euler classes of projective modules with values in the cohomology of the Milnor Witt K-theory sheaf. For d-dimensional commutative noetherian rings with infinite residue fields we show that the vanishing of the Euler class is necessary and sufficient for a projective module P of rank d to split off a rank 1 free direct summand. Along the way we obtain a new presentation of Milnor-Witt K-theory.

math.KT↗
arXiv2013

Geometric models for higher Grothendieck-Witt groups in A1-homotopy theory

We show that the higher Grothendieck-Witt groups, a.k.a. algebraic hermitian K-groups, are represented by an infinite orthogonal Grassmannian in the A1-homotopy category of smooth schemes over a regular base for which 2 is a unit in the ring of regular functions. We also give geometric models for various P1- and S1-loop spaces of hermitian K-theory.

math.KT↗
arXiv2008

The Mayer-Vietoris principle for Grothendieck-Witt groups of schemes

We prove localization and Zariski-Mayer-Vietoris for higher Grothendieck-Witt groups, alias hermitian $K$-groups, of schemes admitting an ample family of line-bundles. No assumption on the characteristic is needed, and our schemes can be singular. Along the way, we prove additivity, fibration and approximation theorems for the hermitian $K$-theory of exact categories with weak equivalences and duality.

math.KT↗