Showing 1–16 of 16 results for author: Nardin, D

A motivic spectrum representing hermitian K-theory

Authors: Baptiste Calmès, Yonatan Harpaz, Denis Nardin

Abstract: We establish fundamental motivic results about hermitian K-theory without assuming that 2 is invertible on the base scheme. In particular, we prove that both quadratic and symmetric Grothendieck-Witt theory satisfy Nisnevich descent, and that symmetric Grothendieck-Witt theory further satisfies dévissage and A^1-invariance over a regular Noetherian base of finite Krull dimension, as well as a proj… ▽ More We establish fundamental motivic results about hermitian K-theory without assuming that 2 is invertible on the base scheme. In particular, we prove that both quadratic and symmetric Grothendieck-Witt theory satisfy Nisnevich descent, and that symmetric Grothendieck-Witt theory further satisfies dévissage and A^1-invariance over a regular Noetherian base of finite Krull dimension, as well as a projective bundle formula. We use this to show that over a regular Noetherian base, symmetric Grothendieck-Witt theory is represented by a motivic E-infinity-ring spectrum, which we then show is an absolutely pure spectrum, answering a question of Déglise. As with algebraic K-theory, we show that over a general base, one can also construct a hermitian K-theory motivic spectrum, representing this time a suitable homotopy invariant and Karoubi-localising version of Grothendieck-Witt theory. △ Less

Submitted 23 February, 2024; originally announced February 2024.

Comments: 101 pages

MSC Class: 19G38; 11E70; 14F42

Global homotopy theory via partially lax limits

Authors: Sil Linskens, Denis Nardin, Luca Pol

Abstract: We provide new $\infty$-categorical models for unstable and stable global homotopy theory. We use the notion of partially lax limits to formalize the idea that a global object is a collection of $G$-objects, one for each compact Lie group $G$, which are compatible with the restriction-inflation functors. More precisely, we show that the $\infty$-category of global spaces is equivalent to a partial… ▽ More We provide new $\infty$-categorical models for unstable and stable global homotopy theory. We use the notion of partially lax limits to formalize the idea that a global object is a collection of $G$-objects, one for each compact Lie group $G$, which are compatible with the restriction-inflation functors. More precisely, we show that the $\infty$-category of global spaces is equivalent to a partially lax limit of the functor sending a compact Lie group $G$ to the $\infty$-category of $G$-spaces. We also prove the stable version of this result, showing that the $\infty$-category of global spectra is equivalent to the partially lax limit of a diagram of $G$-spectra. Finally, the techniques employed in the previous cases allow us to describe the $\infty$-category of proper $G$-spectra for a Lie group $G$, as a limit of a diagram of $H$-spectra for $H$ running over all compact subgroups of $G$. △ Less

Submitted 31 May, 2024; v1 submitted 3 June, 2022; originally announced June 2022.

Comments: 70 pages. Improved introduction plus small reorganization of some results. Comments welcome!

Parametrized and equivariant higher algebra

Authors: Denis Nardin, Jay Shah

Abstract: We develop the rudiments of a theory of parametrized $\infty$-operads, including parametrized generalizations of monoidal envelopes, Day convolution, operadic left Kan extensions, results on limits and colimits of algebras, and the symmetric monoidal Yoneda embedding. We develop the rudiments of a theory of parametrized $\infty$-operads, including parametrized generalizations of monoidal envelopes, Day convolution, operadic left Kan extensions, results on limits and colimits of algebras, and the symmetric monoidal Yoneda embedding. △ Less

Submitted 28 February, 2022; originally announced March 2022.

Comments: Draft, 60 pages

MSC Class: 18N70

Twisted K-theory in motivic homotopy theory

Authors: Elden Elmanto, Denis Nardin, Maria Yakerson

Abstract: In this paper, we study twisted algebraic $K$-theory from a motivic viewpoint. For a smooth variety $X$ over a field of characteristic zero and an Azumaya algebra $\mathcal{A}$ over $X$, we construct the $\mathcal{A}$-twisted motivic spectral sequence, by computing the slices of the motivic twisted algebraic $K$-theory spectrum as a twisted form of motivic cohomology. This generalizes previous res… ▽ More In this paper, we study twisted algebraic $K$-theory from a motivic viewpoint. For a smooth variety $X$ over a field of characteristic zero and an Azumaya algebra $\mathcal{A}$ over $X$, we construct the $\mathcal{A}$-twisted motivic spectral sequence, by computing the slices of the motivic twisted algebraic $K$-theory spectrum as a twisted form of motivic cohomology. This generalizes previous results due to Kahn-Levine where $\mathcal{A}$ is assumed to be pulled back from a base field. Our methods use interaction between the slice filtration and birational geometry. Along the way, we prove a representability result, expressing the motivic space of twisted $K$-theory as an extension of the twisted Grassmannian by the sheaf of "twisted integers". This leads to a proof of cdh descent and Milnor excision for twisted homotopy $K$-theory. △ Less

Submitted 10 July, 2022; v1 submitted 18 October, 2021; originally announced October 2021.

Comments: corrections in Lemma 5.10

Hermitian K-theory via oriented Gorenstein algebras

Authors: Marc Hoyois, Joachim Jelisiejew, Denis Nardin, Maria Yakerson

Abstract: We show that the hermitian K-theory space of a commutative ring R can be identified, up to A^1-homotopy, with the group completion of the groupoid of oriented finite Gorenstein R-algebras, i.e., finite locally free R-algebras with trivialized dualizing sheaf. We deduce that hermitian K-theory is universal among generalized motivic cohomology theories with transfers along oriented finite Gorenstein… ▽ More We show that the hermitian K-theory space of a commutative ring R can be identified, up to A^1-homotopy, with the group completion of the groupoid of oriented finite Gorenstein R-algebras, i.e., finite locally free R-algebras with trivialized dualizing sheaf. We deduce that hermitian K-theory is universal among generalized motivic cohomology theories with transfers along oriented finite Gorenstein morphisms. As an application, we obtain a Hilbert scheme model for hermitian K-theory as a motivic space. We also give an application to computational complexity: we prove that 1-generic minimal border rank tensors degenerate to the big Coppersmith-Winograd tensor. △ Less

Submitted 13 September, 2022; v1 submitted 29 March, 2021; originally announced March 2021.

Comments: 30 pages. v4: final version, to appear in J. reine angew. Math. v3: minor changes. v2: Added section 4 on complexity theory

Hermitian K-theory for stable $\infty$-categories III: Grothendieck-Witt groups of rings

Authors: Baptiste Calmès, Emanuele Dotto, Yonatan Harpaz, Fabian Hebestreit, Markus Land, Kristian Moi, Denis Nardin, Thomas Nikolaus, Wolfgang Steimle

Abstract: We establish a fibre sequence relating the classical Grothendieck-Witt theory of a ring $R$ to the homotopy $\mathrm{C}_2$-orbits of its K-theory and Ranicki's original (non-periodic) symmetric L-theory. We use this fibre sequence to remove the assumption that 2 is a unit in $R$ from various results about Grothendieck-Witt groups. For instance, we solve the homotopy limit problem for Dedekind ring… ▽ More We establish a fibre sequence relating the classical Grothendieck-Witt theory of a ring $R$ to the homotopy $\mathrm{C}_2$-orbits of its K-theory and Ranicki's original (non-periodic) symmetric L-theory. We use this fibre sequence to remove the assumption that 2 is a unit in $R$ from various results about Grothendieck-Witt groups. For instance, we solve the homotopy limit problem for Dedekind rings whose fraction field is a number field, calculate the various flavours of Grothendieck-Witt groups of $\mathbb{Z}$, show that the Grothendieck-Witt groups of rings of integers in number fields are finitely generated, and that the comparison map from quadratic to symmetric Grothendieck-Witt theory of Noetherian rings of global dimension $d$ is an equivalence in degrees $\geq d+3$. As an important tool, we establish the hermitian analogue of Quillen's localisation-dévissage sequence for Dedekind rings and use it to solve a conjecture of Berrick-Karoubi. △ Less

Submitted 27 December, 2021; v1 submitted 15 September, 2020; originally announced September 2020.

Comments: 63 pages v2: minor improvements, updated references. v3: slightly reorganised the discussions of quadratic surgery for ring spectra, and the devissage sequence; otherwise minor improvements following a referee report

Report number: CPH-GEOTOP-DNRF151 MSC Class: 11E70; 18F25; 19G38 (Primary); 11E39; 11E81; 19D25 (Secondary)

Hermitian K-theory for stable $\infty$-categories II: Cobordism categories and additivity

Authors: Baptiste Calmès, Emanuele Dotto, Yonatan Harpaz, Fabian Hebestreit, Markus Land, Kristian Moi, Denis Nardin, Thomas Nikolaus, Wolfgang Steimle

Abstract: We define Grothendieck-Witt spectra in the setting of Poincaré $\infty$-categories and show that they fit into an extension with a K- and an L-theoretic part. As consequences we deduce localisation sequences for Verdier quotients, and generalisations of Karoubi's fundamental and periodicity theorems for rings in which 2 need not be invertible. Our set-up allows for the uniform treatment of such al… ▽ More We define Grothendieck-Witt spectra in the setting of Poincaré $\infty$-categories and show that they fit into an extension with a K- and an L-theoretic part. As consequences we deduce localisation sequences for Verdier quotients, and generalisations of Karoubi's fundamental and periodicity theorems for rings in which 2 need not be invertible. Our set-up allows for the uniform treatment of such algebraic examples alongside homotopy-theoretic generalisations: For example, the periodicity theorem holds for complex oriented $\mathrm{E}_1$-rings, and we show that the Grothendieck-Witt theory of parametrised spectra recovers Weiss and Williams' LA-theory. Our Grothendieck-Witt spectra are defined via a version of the hermitian Q-construction, and a novel feature of our approach is to interpret the latter as a cobordism category. This perspective also allows us to give a hermitian version -- along with a concise proof -- of the theorem of Blumberg, Gepner and Tabuada, and provides a cobordism theoretic description of the aforementioned LA-spectra. △ Less

Submitted 13 July, 2023; v1 submitted 15 September, 2020; originally announced September 2020.

Comments: 170 pages v4: rewrote the discussion of Poincaré categories of Tate objects, and added new result to Appendix A on the relation between localisations of ring spectra and almost mathematics; otherwise minor improvements following a referee report

Report number: CPH-GEOTOP-DNRF151 MSC Class: 11E70; 18F25 (Primary); 11E39; 11E81; 19D25 (Secondary)

Hermitian K-theory for stable $\infty$-categories I: Foundations

Authors: Baptiste Calmès, Emanuele Dotto, Yonatan Harpaz, Fabian Hebestreit, Markus Land, Kristian Moi, Denis Nardin, Thomas Nikolaus, Wolfgang Steimle

Abstract: This paper is the first in a series in which we offer a new framework for hermitian K-theory in the realm of stable $\infty$-categories. Our perspective yields solutions to a variety of classical problems involving Grothendieck-Witt groups of rings and clarifies the behaviour of these invariants when 2 is not invertible. In this article we lay the foundations of our approach by considering Lurie… ▽ More This paper is the first in a series in which we offer a new framework for hermitian K-theory in the realm of stable $\infty$-categories. Our perspective yields solutions to a variety of classical problems involving Grothendieck-Witt groups of rings and clarifies the behaviour of these invariants when 2 is not invertible. In this article we lay the foundations of our approach by considering Lurie's notion of a Poincaré $\infty$-category, which permits an abstract counterpart of unimodular forms called Poincaré objects. We analyse the special cases of hyperbolic and metabolic Poincaré objects, and establish a version of Ranicki's algebraic Thom construction. For derived $\infty$-categories of rings, we classify all Poincaré structures and study in detail the process of deriving them from classical input, thereby locating the usual setting of forms over rings within our framework. We also develop the example of visible Poincaré structures on $\infty$-categories of parametrised spectra, recovering the visible signature of a Poincaré duality space. We conduct a thorough investigation of the global structural properties of Poincaré $\infty$-categories, showing in particular that they form a bicomplete, closed symmetric monoidal $\infty$-category. We also study the process of tensoring and cotensoring a Poincaré $\infty$-category over a finite simplicial complex, a construction featuring prominently in the definition of the L- and Grothendieck-Witt spectra that we consider in the next instalment. Finally, we define already here the 0-th Grothendieck-Witt group of a Poincaré $\infty$-category using generators and relations. We extract its basic properties, relating it in particular to the 0-th L- and algebraic K-groups, a relation upgraded in the second instalment to a fibre sequence of spectra which plays a key role in our applications. △ Less

Submitted 27 December, 2021; v1 submitted 15 September, 2020; originally announced September 2020.

Comments: 178 pages v2: minor improvements, updated references. v3: slightly reorganised the discussion of periodicity; otherwise minor improvements following a referee report

Report number: CPH-GEOTOP-DNRF151 MSC Class: 11E70; 18F25 (Primary); 11E39; 11E81; 19D25 (Secondary)

A descent view on Mitchell's theorem

Authors: Elden Elmanto, Denis Nardin, Lucy Yang

Abstract: In this short note, we given a new proof of Mitchell's theorem that $L_{T\left(n\right)} K(Z) \cong 0$ for $n \geq 2$. Instead of reducing the problem to delicate representation theory, we use recently established hyperdescent technology for chromatically-localized algebraic K-theory. In this short note, we given a new proof of Mitchell's theorem that $L_{T\left(n\right)} K(Z) \cong 0$ for $n \geq 2$. Instead of reducing the problem to delicate representation theory, we use recently established hyperdescent technology for chromatically-localized algebraic K-theory. △ Less

Submitted 12 August, 2020; v1 submitted 6 August, 2020; originally announced August 2020.

Comments: 5 pages, proofs further simplified, comments welcomed

The Hilbert scheme of infinite affine space and algebraic K-theory

Authors: Marc Hoyois, Joachim Jelisiejew, Denis Nardin, Burt Totaro, Maria Yakerson

Abstract: We study the Hilbert scheme $\mathrm{Hilb}_d(\mathbb{A}^\infty)$ from an $\mathbb{A}^1$-homotopical viewpoint and obtain applications to algebraic K-theory. We show that the Hilbert scheme $\mathrm{Hilb}_d(\mathbb{A}^\infty)$ is $\mathbb{A}^1$-equivalent to the Grassmannian of $(d-1)$-planes in $\mathbb{A}^\infty$. We then describe the $\mathbb{A}^1$-homotopy type of… ▽ More We study the Hilbert scheme $\mathrm{Hilb}_d(\mathbb{A}^\infty)$ from an $\mathbb{A}^1$-homotopical viewpoint and obtain applications to algebraic K-theory. We show that the Hilbert scheme $\mathrm{Hilb}_d(\mathbb{A}^\infty)$ is $\mathbb{A}^1$-equivalent to the Grassmannian of $(d-1)$-planes in $\mathbb{A}^\infty$. We then describe the $\mathbb{A}^1$-homotopy type of $\mathrm{Hilb}_d(\mathbb{A}^n)$ in a range, for $n$ large compared to $d$. For example, we compute the integral cohomology of $\mathrm{Hilb}_d(\mathbb{A}^n)(\mathbb{C})$ in a range. We also deduce that the forgetful map $\mathrm{FFlat}\to\mathrm{Vect}$ from the moduli stack of finite locally free schemes to that of finite locally free sheaves is an $\mathbb{A}^1$-equivalence after group completion. This implies that the moduli stack $\mathrm{FFlat}$, viewed as a presheaf with framed transfers, is a model for the effective motivic spectrum $\mathrm{kgl}$ representing algebraic K-theory. Combining our techniques with the recent work of Bachmann, we obtain Hilbert scheme models for the $\mathrm{kgl}$-homology of smooth proper schemes over a perfect field. △ Less

Submitted 16 August, 2021; v1 submitted 26 February, 2020; originally announced February 2020.

Comments: 24 pages. Comments welcome! v3: minor change v2: new title, new author, and many new results

A comment on the vanishing of rational motivic Borel-Moore homology

Authors: Clark Barwick, Denis Nardin

Abstract: This note concerns a weak form of Parshin's conjecture, which states that the rational motivic Borel--Moore homology of a quasiprojective variety of dimension $m$ over a finite field in bidegree $(s,t)$ vanishes for $s>m+t$. It is shown that this conjecture holds if and only if the cyclic action on the motivic cohomology of an Artin--Schreier field extension in bidegree $(i,j)$ is trivial if… ▽ More This note concerns a weak form of Parshin's conjecture, which states that the rational motivic Borel--Moore homology of a quasiprojective variety of dimension $m$ over a finite field in bidegree $(s,t)$ vanishes for $s>m+t$. It is shown that this conjecture holds if and only if the cyclic action on the motivic cohomology of an Artin--Schreier field extension in bidegree $(i,j)$ is trivial if $i<j$. △ Less

Submitted 22 November, 2018; v1 submitted 19 November, 2018; originally announced November 2018.

Comments: We are grateful to Joseph Ayoub, who kindly informed us that our previous formulation of this result was too strong

Categorifying rationalization

Authors: Clark Barwick, Saul Glasman, Marc Hoyois, Denis Nardin, Jay Shah

Abstract: We solve a problem proposed by Khovanov by constructing, for any set of primes $S$, a triangulated category (in fact a stable $\infty$-category) whose Grothendieck group is $S^{-1}\mathbf{Z}$. More generally, for any exact $\infty$-category $E$, we construct an exact $\infty$-category $S^{-1}E$ of equivariant sheaves on the Cantor space with respect to an action of a dense subgroup of the circle.… ▽ More We solve a problem proposed by Khovanov by constructing, for any set of primes $S$, a triangulated category (in fact a stable $\infty$-category) whose Grothendieck group is $S^{-1}\mathbf{Z}$. More generally, for any exact $\infty$-category $E$, we construct an exact $\infty$-category $S^{-1}E$ of equivariant sheaves on the Cantor space with respect to an action of a dense subgroup of the circle. We show that this $\infty$-category is precisely the result of categorifying division by the primes in $S$. In particular, $K_n(S^{-1}E)\cong S^{-1}K_n(E)$. △ Less

Submitted 23 October, 2016; originally announced October 2016.

Comments: 11 pages

Journal ref: Forum of Mathematics, Sigma 7 (2019) e42

Parametrized higher category theory and higher algebra: Exposé IV -- Stability with respect to an orbital $\infty$-category

Authors: Denis Nardin

Abstract: In this paper we develop a theory of stability for $G$-categories (presheaf of categories on the orbit category of $G$), where $G$ is a finite group. We give a description of Mackey functors as $G$-commutative monoids exploit it to characterize $G$-spectra as the $G$-stabilization of $G$-spaces. As an application of this we provide an alternative proof of a theorem by Guillou and May. The theory h… ▽ More In this paper we develop a theory of stability for $G$-categories (presheaf of categories on the orbit category of $G$), where $G$ is a finite group. We give a description of Mackey functors as $G$-commutative monoids exploit it to characterize $G$-spectra as the $G$-stabilization of $G$-spaces. As an application of this we provide an alternative proof of a theorem by Guillou and May. The theory here is developed in the more general setting of orbital categories. △ Less

Submitted 29 October, 2016; v1 submitted 27 August, 2016; originally announced August 2016.

Parametrized higher category theory and higher algebra: Exposé I -- Elements of parametrized higher category theory

Authors: Clark Barwick, Emanuele Dotto, Saul Glasman, Denis Nardin, Jay Shah

Abstract: We introduce the basic elements of the theory of parametrized $\infty$-categories and functors between them. These notions are defined as suitable fibrations of $\infty$-categories and functors between them. We give as many examples as we are able at this stage. Simple operations, such as the formation of opposites and the formation of functor $\infty$-categories, become slightly more involved in… ▽ More We introduce the basic elements of the theory of parametrized $\infty$-categories and functors between them. These notions are defined as suitable fibrations of $\infty$-categories and functors between them. We give as many examples as we are able at this stage. Simple operations, such as the formation of opposites and the formation of functor $\infty$-categories, become slightly more involved in the parametrized setting, but we explain precisely how to perform these constructions. All of these constructions can be performed explicitly, without resorting to such acts of desperation as straightening. The key results of this Exposé are: (1) a universal characterization of the $T$-$\infty$-category of $T$-objects in any $\infty$-category, (2) the existence of an internal Hom for $T$-$\infty$-categories, and (3) a parametrized Yoneda lemma. △ Less

Submitted 11 August, 2016; originally announced August 2016.

Comments: 23 pages

Parametrized higher category theory and higher algebra: A general introduction

Authors: Clark Barwick, Emanuele Dotto, Saul Glasman, Denis Nardin, Jay Shah

Abstract: We introduce the study of parametrized higher category theory and parametrized higher algebra, and we describe the main theorems of the series of Exposés that make up the monograph. We introduce the study of parametrized higher category theory and parametrized higher algebra, and we describe the main theorems of the series of Exposés that make up the monograph. △ Less

Submitted 11 August, 2016; originally announced August 2016.

Comments: 11 pages

Dualizing cartesian and cocartesian fibrations

Authors: Clark Barwick, Saul Glasman, Denis Nardin

Abstract: In this technical note, we proffer a very explicit construction of the "dual cocartesian fibration" $p^{\vee}$ of a cartesian fibration $p$, and we show they are classified by the same functor to $\mathbf{Cat}_{\infty}$. In this technical note, we proffer a very explicit construction of the "dual cocartesian fibration" $p^{\vee}$ of a cartesian fibration $p$, and we show they are classified by the same functor to $\mathbf{Cat}_{\infty}$. △ Less

Submitted 7 September, 2014; originally announced September 2014.

Comments: 19 pages. Comments always welcome