arXiv subjects

Marius Nielsen

Publications and source records attributed to Marius Nielsen.

3 recordsLinked to original sources

arXiv2026

The formal spectrum of a tensor-triangulated category

To any essentially small tensor-triangulated category $\mathcal{K}$ and Thomason subset $Y \subseteq \mathrm{Spc}(\mathcal{K})$ we associate a ringed space $(\mathrm{Spf}(\mathcal{K},Y), \mathcal{O}_{\mathrm{Spf}(\mathcal{K},Y)}),$ called the formal spectrum of $(\mathcal{K},Y)$. We establish basic properties of this construction and compute it in several examples from algebraic geometry, chromatic homotopy theory, equivariant homotopy theory, and modular representation theory.

math.AT↗

arXiv2026

Hopfological algebra, revisited

We propose an $\infty$-categorical approach to Khovanov--Qi's Hopfological algebra that, in particular, refines several foundational aspects of the theory by recasting the previous constructions in terms of $\infty$-categories of modules in monoidal $\infty$-categories. This perspective leads to a more general variant of Hopfological algebra that takes place over an arbitrary rigidly-compactly generated symmetric monoidal stable $\infty$-category, which we also outline in the article. In the appendix, we compare the construction of Hopfological derived categories to that of Holm--Jørgensen's $Q$-shaped derived categories.

math.RT↗

arXiv2026

The presentable stable envelope of an exact category

We prove an analogue of the Gabriel--Quillen embedding theorem for exact $\infty$-categories, giving rise to a presentable version of Klemenc's stable envelope of an exact $\infty$-category. Moreover, we construct a symmetric monoidal structure on the $\infty$-category of small exact $\infty$-categories and discuss the multiplicative properties of the Gabriel--Quillen embedding. For $E$ an Adams-type homotopy associative ring spectrum, this allows us to identify the symmetric monoidal $\infty$-category of $E$-based synthetic spectra with the presentable stable envelope of the exact $\infty$-category of compact spectra with finite projective $E$-homology. In addition, we show that algebraic K-theory, considered as a functor on exact $\infty$-categories, admits a unique delooping as a localising invariant.

math.AT↗