Source author record

Denis Nardin

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.AT math.CT math.AG math.KT math.QA

Catalog footprint

Research overview

9works

5topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

Hermitian K-theory via oriented Gorenstein algebras

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.

preprint2022arXiv

Parametrized and equivariant higher algebra

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.

preprint2022arXiv

Twisted K-theory in motivic homotopy theory

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.

preprint2020arXiv

A descent view on Mitchell's theorem

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.

preprint2016arXiv

Categorifying rationalization

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)$ .

preprint2016arXiv

Parametrized higher category theory and higher algebra: A general introduction

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.

preprint2016arXiv

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

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.

preprint2016arXiv

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

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.

preprint2014arXiv

Dualizing cartesian and cocartesian fibrations

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}$ .

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Denis Nardin

Research overview

Is this your work?

9 publications

Hermitian K-theory via oriented Gorenstein algebras

Parametrized and equivariant higher algebra

Twisted K-theory in motivic homotopy theory

A descent view on Mitchell's theorem

Categorifying rationalization

Parametrized higher category theory and higher algebra: A general introduction

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

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

Dualizing cartesian and cocartesian fibrations

See the researcher in context

Building this map preview

Denis Nardin

Research overview

Is this your work?

9 publications

Hermitian K-theory via oriented Gorenstein algebras

Parametrized and equivariant higher algebra

Twisted K-theory in motivic homotopy theory

A descent view on Mitchell's theorem

Categorifying rationalization

Parametrized higher category theory and higher algebra: A general introduction

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

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

Dualizing cartesian and cocartesian fibrations

See the researcher in context

Building this map preview

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