Pith. sign in

REVIEW 4 cited by

Separability in homotopical algebra

Not yet reviewed by Pith; the record is open.

Re-run · record.json Download PDF Read on arXiv ↗

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2305.17236 v2 pith:JOWKYDLK submitted 2023-05-26 math.AT math.KT

Separability in homotopical algebra

Maxime Ramzi This is my paper
classification math.AT math.KT
keywords algebrasseparableinftycategoriescategorycontexthochschildhomology
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved
0 comments
read the original 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 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{\`a 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.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 4 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Higher Semiadditive Character Theory

    math.AT 2026-07 accept novelty 7.0

    Every ∞-commutative monoid has a universal (n−t)-fold semiadditive character that blue-shifts height, recovers the transchromatic character on Morava E-theory, and computes L_Q(S^A_{K(n)}) via GL_{n−t}(Z_p)-fixed points.

  2. Hopfological algebra, revisited

    math.RT 2026-06 unverdicted novelty 7.0

    Authors develop an ∞-categorical approach to Hopfological algebra that refines Khovanov-Qi foundations and generalizes to arbitrary rigidly-compactly generated symmetric monoidal stable ∞-categories.

  3. The Galois theory of $G$-spectra and the Burnside ring

    math.AT 2026-05 unverdicted novelty 7.0

    The Galois groupoid of G-spectra is equivalent to the étale fundamental groupoid of the Burnside ring of G.

  4. The singularity category of a separable extension

    math.CT 2026-05 unverdicted novelty 6.0

    Separable extensions of noetherian rings and finite étale morphisms of noetherian schemes give rise to separable extensions of singularity categories.