Depth and detection for Noetherian unstable algebras

Drew Heard

arxiv: 1907.06373 · v1 · pith:2GJPYLUKnew · submitted 2019-07-15 · 🧮 math.AT · math.AC· math.GR

Depth and detection for Noetherian unstable algebras

Drew Heard This is my paper

Pith reviewed 2026-05-24 21:22 UTC · model grok-4.3

classification 🧮 math.AT math.ACmath.GR

keywords unstable algebrasSteenrod algebradepthDuflot theoremCarlson theoremNoetherian ringsmod p cohomology

0 comments

The pith

Versions of the Duflot and Carlson theorems on depth hold for any connected Noetherian unstable algebra over the mod p Steenrod algebra.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper shows that theorems bounding the depth of mod p cohomology rings, originally proved only when the ring comes from a finite group, actually follow from the general axioms of unstable algebras together with the Noetherian and connectedness conditions. The same depth statements therefore hold when the algebra is the mod p cohomology ring of a compact Lie group, a profinite group, a Kac-Moody group, or other listed examples. A sympathetic reader cares because the argument removes any dependence on group-specific topology and unifies several separate results inside one algebraic category. The proofs also cover certain finitely generated modules over these algebras.

Core claim

For a connected Noetherian unstable algebra R over the mod p Steenrod algebra, versions of the Duflot and Carlson theorems on the depth of R hold. The classical proofs of these theorems can be carried out using only the axioms of the category of unstable algebras together with the Noetherian and connectedness hypotheses, without any further structure special to group cohomology rings.

What carries the argument

The category of unstable algebras over the mod p Steenrod algebra, restricted to objects that are Noetherian and connected.

If this is right

The depth theorems apply when R is the mod p cohomology ring of a compact Lie group.
The depth theorems apply when R is the mod p cohomology ring of a profinite group with Noetherian cohomology.
The depth theorems apply when R is the mod p cohomology ring of a Kac-Moody group or a discrete group of finite virtual cohomological dimension.
Versions of the theorems hold for certain finitely generated unstable R-modules.
The results extend to the p-local compact groups of Broto, Levi, and Oliver and to the modular invariant theory of finite groups.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

Depth properties may be intrinsic to the unstable algebra category rather than depending on any topological origin.
The same algebraic reduction could be tried for other invariants previously studied only in group cohomology.
One could search for explicit unstable algebras that are not cohomology rings and check whether the depth bounds are attained.

Load-bearing premise

The classical proofs of the Duflot and Carlson theorems use only the unstable algebra axioms plus the Noetherian and connectedness conditions.

What would settle it

A connected Noetherian unstable algebra R over the mod p Steenrod algebra in which the depth of R falls below the bound given by the Duflot or Carlson statement would falsify the claim.

read the original abstract

For a connected Noetherian unstable algebra $R$ over the mod $p$ Steenrod algebra, we prove versions of theorems of Duflot and Carlson on the depth of $R$, originally proved when $R$ is the mod $p$ cohomology ring of a finite group. This recovers the aforementioned results, and also proves versions of them when $R$ is the mod $p$ cohomology ring of a compact Lie group, a profinite group with Noetherian cohomology, a Kac--Moody group, a discrete group of finite virtual cohomological dimension, as well as for certain other discrete groups. More generally, our results apply to certain finitely generated unstable $R$-modules. Moreover, we explain the results in the case of the $p$-local compact groups of Broto, Levi, and Oliver, as well as in the modular invariant theory of finite groups.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

Heard gives a uniform algebraic proof of the Duflot-Carlson depth theorems that works for any connected Noetherian unstable algebra over the Steenrod algebra and recovers the finite-group case while covering several other classes.

read the letter

The central point is that the depth results hold in this purely algebraic setting without needing extra structure from group cohomology. The paper carries the classical arguments over to the category of unstable algebras, using only the Noetherian and connectedness hypotheses, then checks that the listed examples satisfy them. This produces the statements for compact Lie groups, profinite groups with Noetherian cohomology, Kac-Moody groups, discrete groups of finite virtual cohomological dimension, and some others, plus versions for certain finitely generated modules. It also sketches the case for p-local compact groups and modular invariant theory. That unification is the real contribution; it saves repeating similar proofs for each new family of groups. The derivations look self-contained and avoid circularity or hidden group-specific steps. The only minor softness is that the verification of the Noetherian condition for the more exotic examples is summarized rather than expanded, but the paper still supplies the necessary references and checks. Readers already familiar with the finite-group theorems will see the value immediately. Anyone working on cohomology rings of groups or on unstable modules will get a clean reference and a broader statement to cite. The work is coherent on its own terms and formally grounded enough to merit referee time, even if some readers will want more detail on the module case. I would send it out for review.

Referee Report

0 major / 2 minor

Summary. The paper proves versions of Duflot's theorem (on depth) and Carlson's theorem (on detection) for the depth of a connected Noetherian unstable algebra R over the mod p Steenrod algebra. These recover the classical results when R is the mod p cohomology of a finite group and extend them to the mod p cohomology of compact Lie groups, profinite groups with Noetherian cohomology, Kac-Moody groups, discrete groups of finite virtual cohomological dimension, p-local compact groups, and certain other discrete groups, as well as to finitely generated unstable R-modules and modular invariant theory.

Significance. If the results hold, the work is significant because it isolates the Duflot-Carlson depth and detection statements as consequences of the axioms of the category of unstable algebras together with the Noetherian and connectedness hypotheses, without further group-specific structure. This unifies prior results across multiple topological settings and supplies new applications. The explicit verification that the listed examples satisfy the hypotheses is a strength, as is the extension to modules.

minor comments (2)

The abstract states that the results apply to 'certain other discrete groups' and 'certain finitely generated unstable R-modules'; a brief indication of the precise conditions on these objects would improve readability.
Notation for the Steenrod algebra action and the unstable condition is standard but could be recalled once in §2 for readers outside algebraic topology.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary, significance assessment, and recommendation to accept the manuscript. We are pleased that the referee recognizes the unification of Duflot-Carlson type results across multiple settings via the axioms of unstable algebras.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper states that Duflot–Carlson depth results are proved directly from the axioms of the category of unstable algebras over the Steenrod algebra together with the Noetherian and connectedness hypotheses, without invoking group-cohomology-specific structure. The abstract and reader's summary indicate that the derivations are carried out in this general setting and then applied to examples; no equations, fitted parameters, or self-citations are presented as load-bearing steps that reduce the claimed results to their inputs by construction. The central claim therefore remains an independent generalization rather than a renaming or self-referential fit.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on the standard axioms of the category of unstable algebras over the Steenrod algebra together with the Noetherian and connectedness hypotheses; no free parameters, new entities, or ad-hoc axioms are indicated in the abstract.

axioms (2)

standard math The category of unstable algebras over the mod p Steenrod algebra satisfies the usual axioms of an unstable module (Cartan formula, instability condition, etc.).
Invoked implicitly when the paper states that the results hold for any such algebra.
domain assumption The algebra R is connected and Noetherian.
Explicitly required in the abstract for the statements to apply.

pith-pipeline@v0.9.0 · 5673 in / 1504 out tokens · 51846 ms · 2026-05-24T21:22:02.376683+00:00 · methodology

Depth and detection for Noetherian unstable algebras

Core claim

What carries the argument

If this is right

Where Pith is reading between the lines

Load-bearing premise

What would settle it

discussion (0)