Showing 1–9 of 9 results for author: Ramzi, M

Every spectrum is the K-theory of a stable $\infty$-category

Authors: Maxime Ramzi, Vladimir Sosnilo, Christoph Winges

Abstract: We prove that any spectrum is equivalent to the nonconnective K-theory of a stable $\infty$-category. We use these results to construct a stable $\infty$-category $\mathcal{C}$ with a bounded t-structure such that $\operatorname{K}(\mathcal{C})$ is not equivalent to $\operatorname{K}(\mathcal{C}^\heartsuit)$, disproving a conjecture of Antieau, Gepner, and Heller. We prove that any spectrum is equivalent to the nonconnective K-theory of a stable $\infty$-category. We use these results to construct a stable $\infty$-category $\mathcal{C}$ with a bounded t-structure such that $\operatorname{K}(\mathcal{C})$ is not equivalent to $\operatorname{K}(\mathcal{C}^\heartsuit)$, disproving a conjecture of Antieau, Gepner, and Heller. △ Less

Submitted 12 January, 2024; originally announced January 2024.

Comments: 17 pages

Report number: CPH-GEOTOP-DNRF151

A note on quadratic forms

Authors: Fabian Hebestreit, Achim Krause, Maxime Ramzi

Abstract: For a field extension $L/K$ we consider maps that are quadratic over $L$ but whose polarisation is only bilinear over $K$. Our main result is that all such are automatically quadratic forms over $L$ in the usual sense if and only if $L/K$ is formally unramified. In particular, this shows that over finite and number fields, one of the axioms in the standard definition of quadratic forms is superflu… ▽ More For a field extension $L/K$ we consider maps that are quadratic over $L$ but whose polarisation is only bilinear over $K$. Our main result is that all such are automatically quadratic forms over $L$ in the usual sense if and only if $L/K$ is formally unramified. In particular, this shows that over finite and number fields, one of the axioms in the standard definition of quadratic forms is superfluous. △ Less

Submitted 6 February, 2024; v1 submitted 3 August, 2023; originally announced August 2023.

Comments: 13 pages, v3: Minor changes, to appear in Bulletin of the LMS

Report number: CPH-GEOTOP-DNRF151

Separability in homotopical algebra

Authors: Maxime Ramzi

Abstract: We study the notion of \emph{separable algebras} in the context of symmetric monoidal stable $\infty$-categories. In the first part of this paper, we compare this context to that of tensor-triangulated categories and show that separable algebras and their modules in a symmetric monoidal stable $\infty$-category are, in large parts, controlled by the (tensor-triangulated) homotopy category. We also… ▽ More We study the notion of \emph{separable algebras} in the context of symmetric monoidal stable $\infty$-categories. In the first part of this paper, we compare this context to that of tensor-triangulated categories and show that separable algebras and their modules in a symmetric monoidal stable $\infty$-category are, in large parts, controlled by the (tensor-triangulated) homotopy category. We also study a variant of this notion, which we call ind-separability. Among other things, this provides a partially new proof of the Goerss--Hopkins--Miller theorem about the uniqueness of $\mathbb E_\infty$-structures on Morava $E$-theory. We later initiate a study of separable algebras \textit{à la} Auslander-Goldman by relating them to Azumaya algebras, and prove in some restrictive cases that centers of separable algebras are separable. Finally, we study the Hochschild homology of separable algebras and prove some descent results in topological Hochschild homology. △ Less

Submitted 9 October, 2023; v1 submitted 26 May, 2023; originally announced May 2023.

Comments: 89 pages; v2: A mistake in section 4 was corrected (it does not affect the main example in this section); the following changes have also been made: the proof of theorem 2.15 was simplified; I have expanded upon the ind-separability of Lubin-Tate theories based on other perfect rings; and I have added an example of an applications of my results

Report number: CPH-GEOTOP-DNRF151

On the multiplicativity of the Euler characteristic

Authors: John R. Klein, Cary Malkiewich, Maxime Ramzi

Abstract: In this short paper, we give two proofs that the Euler characteristic is multiplicative, for fiber sequences of finitely dominated spaces. This is equivalent to proving that the Becker-Gottlieb transfer is functorial on $π_0$. In this short paper, we give two proofs that the Euler characteristic is multiplicative, for fiber sequences of finitely dominated spaces. This is equivalent to proving that the Becker-Gottlieb transfer is functorial on $π_0$. △ Less

Submitted 27 March, 2023; v1 submitted 9 November, 2022; originally announced November 2022.

Comments: Accepted version. 13 pages plus references

Report number: CPH-GEOTOP-DNRF151 MSC Class: Primary: 55R12; Secondary: 19A31

Characters and transfer maps via categorified traces

Authors: Shachar Carmeli, Bastiaan Cnossen, Maxime Ramzi, Lior Yanovski

Abstract: We develop a theory of generalized characters of local systems in $\infty$-categories, which extends classical character theory for group representations and, in particular, the induced character formula. A key aspect of our approach is that we utilize the interaction between traces and their categorifications. We apply this theory to reprove and refine various results on the composability of Beck… ▽ More We develop a theory of generalized characters of local systems in $\infty$-categories, which extends classical character theory for group representations and, in particular, the induced character formula. A key aspect of our approach is that we utilize the interaction between traces and their categorifications. We apply this theory to reprove and refine various results on the composability of Becker-Gottlieb transfers, the Hochschild homology of Thom spectra, and the additivity of traces in stable $\infty$-categories. △ Less

Submitted 2 March, 2023; v1 submitted 31 October, 2022; originally announced October 2022.

Comments: 94 pages, comments welcome! v2: updated exposition and terminology in section 4.2

Report number: CPH-GEOTOP-DNRF151, MPIM-Bonn-2022

An elementary proof of the naturality of the Yoneda embedding

Authors: Maxime Ramzi

Abstract: We give a short proof that the Yoneda embedding is natural for $\infty$-categories, and further prove that the space of natural transformations that are, pointwise, the Yoneda embedding, is contractible. We give a short proof that the Yoneda embedding is natural for $\infty$-categories, and further prove that the space of natural transformations that are, pointwise, the Yoneda embedding, is contractible. △ Less

Submitted 17 August, 2023; v1 submitted 26 September, 2022; originally announced September 2022.

Comments: 7 pages, comments welcome ! v3: changed the title following a suggestion from the referee; added a paragraph about uniqueness; rewrote the introduction to require less background; and finally made some minor modifications. This is the accepted version. Now 10 pages

Report number: CPH-GEOTOP-DNRF151

A monoidal Grothendieck construction for $\infty$-categories

Authors: Maxime Ramzi

Abstract: We construct a monoidal version of Lurie's un/straightening equivalence. In more detail, for any symmetric monoidal $\infty$-category $\mathbf C$, we endow the $\infty$-category of coCartesian fibrations over $\mathbf C$ with a (naturally defined) symmetric monoidal structure, and prove that it is equivalent the Day convolution monoidal structure on the $\infty$-category of functors from… ▽ More We construct a monoidal version of Lurie's un/straightening equivalence. In more detail, for any symmetric monoidal $\infty$-category $\mathbf C$, we endow the $\infty$-category of coCartesian fibrations over $\mathbf C$ with a (naturally defined) symmetric monoidal structure, and prove that it is equivalent the Day convolution monoidal structure on the $\infty$-category of functors from $\mathbf C$ to $\mathbf{Cat}_\infty$. In fact, we do this over any $\infty$-operad by categorifying this statement and thereby proving a stronger statement about the functors that assign to an $\infty$-category $\mathbf C$ its category of coCartesian fibrations on the one hand, and its category of functors to $\mathbf{Cat}_\infty$ on the other hand. △ Less

Submitted 26 September, 2022; originally announced September 2022.

Comments: 30 pages, comments welcome !

Report number: CPH-GEOTOP-DNRF151

The additivity of traces in stable $\infty$-categories

Authors: Maxime Ramzi

Abstract: We prove a version of J.P. May's theorem on the additivity of traces, in symmetric monoidal stable $\infty$-categories. Our proof proceeds via a categorification, namely we use the additivity of topological Hochschild homology as an invariant of stable $\infty$-categories and construct a morphism of spectra $\mathrm{THH}(\mathbf C)\to \mathrm{End}(\mathbf 1_\mathbf C)$ for $\mathbf C$ a stably sym… ▽ More We prove a version of J.P. May's theorem on the additivity of traces, in symmetric monoidal stable $\infty$-categories. Our proof proceeds via a categorification, namely we use the additivity of topological Hochschild homology as an invariant of stable $\infty$-categories and construct a morphism of spectra $\mathrm{THH}(\mathbf C)\to \mathrm{End}(\mathbf 1_\mathbf C)$ for $\mathbf C$ a stably symmetric monoidal rigid $\infty$-category. We also explain how to get a more general statement involving traces of finite (homotopy) colimits. △ Less

Submitted 18 August, 2022; v1 submitted 3 September, 2021; originally announced September 2021.

Comments: 12 pages, comments welcome ! New version: corrected typos, fixed some references, and added two remarks

Report number: CPH-GeoTop-DNRF151

A multiplicative comparison of MacLane homology and topological Hochschild homology

Authors: Geoffroy Horel, Maxime Ramzi

Abstract: Let $Q$ denote MacLane's $Q$-construction, and $\otimes$ denote the smash product of spectra. In this paper we construct an equivalence $Q(R)\simeq \mathbb Z\otimes R$ in the category of $A_\infty$ ring spectra for any ring $R$, thus proving a conjecture made by Fiedorowicz, Schwänzl, Vogt and Waldhausen in "MacLane homology and topological Hochschild homology". More precisely, we construct is a s… ▽ More Let $Q$ denote MacLane's $Q$-construction, and $\otimes$ denote the smash product of spectra. In this paper we construct an equivalence $Q(R)\simeq \mathbb Z\otimes R$ in the category of $A_\infty$ ring spectra for any ring $R$, thus proving a conjecture made by Fiedorowicz, Schwänzl, Vogt and Waldhausen in "MacLane homology and topological Hochschild homology". More precisely, we construct is a symmetric monoidal structure on $Q$ (in the $\infty$-categorical sense) extending the usual monoidal structure, for which we prove an equivalence $Q(-)\simeq \mathbb Z\otimes -$ as symmetric monoidal functors, from which the conjecture follows immediately. From this result, we obtain a new proof of the equivalence $\mathrm{HML}(R,M)\simeq \mathrm{THH}(R,M)$ originally proved by Pirashvili and Waldaushen in "MacLane homology and topological Hochschild homology" (a different paper from the one cited above). This equivalence is in fact made symmetric monoidal, and so it also provides a proof of the equivalence $\mathrm{HML}(R)\simeq \mathrm{THH}(R)$ as $E_\infty$ ring spectra, when $R$ is a commutative ring. △ Less

Submitted 5 February, 2021; v1 submitted 3 November, 2020; originally announced November 2020.

Comments: 26 pages

Report number: CPH-GEOTOP-DNRF151

Journal ref: Ann. K-Th. 6 (2021) 571-605