Normed idempotence of spectra and distributivity in equivariant higher algebra

Kaif Hilman; Branko Juran; Natalie Stewart

Home/Archive/arXiv

arXiv · 2610.22074

Normed idempotence of spectra and distributivity in equivariant higher algebra

Kaif Hilman·Branko Juran·Natalie Stewart

View original source ↗Read source document ↗Export metadata ↓

Abstract

We introduce and develop the theory of distributivity for base categories equipped with so-called atomic orbital subcategories, with an eye towards applications in equivariant homotopy theory. This extends the important framework in Nardin's thesis and supplies several crucial details on distributivity missing from the treatment therein. As our main technical result, we provide a parametrised distributive version of the universal property of "partial cocompletions with relations". We then employ this to construct a distributively normed symmetric monoidal structure on presentable categories. In turn, by specialising to the case of equivariant homotopy theory for compact Lie groups G, we show that the category of genuine G-spectra is normed idempotent, so that we obtain the structure of multiplicative norms on G-spectra along inclusions of finite index subgroups.

Explore related subjects

math.AT

Keep this discovery

Explore connections, maps & timelines

BibTeX RIS

Kaif Hilman, Branko Juran, Natalie Stewart. 2026-10-15. Normed idempotence of spectra and distributivity in equivariant higher algebra. https://arxiv.org/abs/2610.22074

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Topological Hochschild homology of truncated Brown-Peterson spectra II

We compute topological Hochschild homology of $\mathbb{E}_3$-MU-algebra forms of the second truncated Brown-Peterson spectrum with Adams summand coefficients at $p=2$ and conditionally at arbitrary primes. We also provide a new computational tool, a variant of the Brun spectral sequence, for computing topological Hochschild homology of truncated Brown-Peterson spectra with certain coefficients. As a consequence, we show that $\mathbb{E}_3$-MU-algebra forms of truncated Brown-Peterson spectra $\mathrm{BP}\langle n\rangle$ are not Thom spectra at the prime $p=2$ for any $n\ge 2$.

math.AT↗

arXiv2026

Saturated directed spaces and generalized clocks

We construct a Hausdorff saturated directed space whose directed path space between two distinct points has nontrivial fundamental group although the corresponding trace space is a square. A clock is a directed space with submetrizable underlying space; a timed space is a saturated directed space equipped with a regular directed map to a clock. Over every fixed clock, timed spaces form a locally presentable category, and their quotients from paths to traces are trivial Hurewicz fibrations with continuous sections. For Hausdorff saturated directed spaces whose compact subspaces are metrizable, these quotients are trivial q-fibrations. We construct a globular clock containing the directed circle and admitting regular maps from all q-cofibrant globular realizations, whereas a finite cellular example admits no regular map to the circle. Normalization also gives a proof of the quotient theorem for execution paths and establishes the homotopy lifting property for nondecreasing reparametrizations.

math.AT↗

arXiv2026

Non-simply connected Poincaré surgery

We give homotopy-theoretic proofs of the principal results of non-simply connected Poincaré surgery. These include the Fundamental Theorem of Poincaré surgery, the Poincaré transversality exact sequence, and the construction of Poincaré handle structures. All results apply in dimensions~$\ge 8$.

math.AT↗