Stunted projective space

A projective-space quotient that collapses a lower skeleton and retains higher cells.

Version

v1 · 2026-09-28 · History

Domain-specific #

12338

Domain group

Formal Sciences

Origin domain

Mathematics

Subdomains

Algebraic Topology, Homotopy Theory → Mathematics

Core Idea

A stunted projective space is formed by taking a finite projective space and collapsing one of its lower projective subspaces to a single basepoint. In the complex case CP^n/CP, the higher complex projective cells remain. Stunting is a quotient construction, not a deletion of the lower skeleton or a claim that the resulting space is another ordinary projective space.

This controlled loss of lower cells makes the quotient useful in homotopy theory. Feder and Gitler studied its stable homotopy types; Theriault uses a two-cell complex quotient CP^{n+1}/CP in a gauge-group argument. Real and complex variants share the nested-skeleton quotient pattern but differ in cellular dimensions and associated theorems.

Structural Signature

Sig role-phrases:

• Ambient projective space — Provides P^n and its cellular filtration over real, complex, or another specified scalar field. It is constitutive. Counterfactual: An arbitrary quotient of a manifold is not a stunted projective space.
• Nested lower skeleton — Selects P^{k−1} embedded within P^n for collapse. It is constitutive. Counterfactual: A nonnested or different-field space does not define the same standard quotient.
• Collapse quotient — Identifies the lower skeleton to one basepoint rather than removing it. It is constitutive. Counterfactual: Set subtraction P^n minus P^{k−1} is a different topological space.
• Retained higher cells — Preserves cells above the cutoff in the quotient, with dimension pattern depending on the field. It is constitutive. Counterfactual: Collapsing all cells leaves a trivial quotient, not the intended higher-cell object.
• Homotopy-theoretic use — Treats the based quotient as an object for stable or unstable invariants and maps. It is central. Counterfactual: A theorem about a gauge group is an application, not the quotient's definition.

What It Is Not

• Not the original projective space. A lower skeleton has been identified to a basepoint.
• Not set subtraction. The collapsed skeleton remains as the quotient point.
• Not a projective product space. The operation is a nested-subspace quotient, not a Cartesian product.
• Not automatically a sphere. Multiple higher cells and attaching maps may remain.
• Closest near-miss. Real and complex versions have different cell dimensions; stable equivalence properties do not automatically follow from the quotient notation.

Scope of Application

• Stable homotopy theory. Compare quotient spaces after suspension or stabilization.
• Cellular topology. Track the higher cells remaining after a lower cutoff.
• Gauge-group research. Use specific complex quotients in cofibration arguments.
• Field comparison. Distinguish real and complex indexing and cell-dimension behavior.

Clarity

Write the larger and smaller projective spaces over the same field, check that the smaller is nested, then collapse it to a point. CP^n/CP keeps higher even-dimensional cells. This is a quotient, not the complement CP^n−CP.

Manages Complexity

Projective spaces contain a hierarchy of cells and attachment maps. Collapsing a selected lower skeleton focuses study on a high-dimensional part without pretending the remaining cells are freely detached. The quotient notation compresses that construction, but field, cutoff, and stable-versus-unstable question remain essential.

Abstract Reasoning

1. Fix real, complex, or another stated projective-space family.
2. Choose ambient dimension and a nested lower skeleton index.
3. Form the based quotient collapsing that skeleton to one point.
4. List retained cells and dimensions under the chosen field convention.
5. Check whether attachments or maps survive the quotient.
6. Apply stable or unstable homotopy tools only with matching hypotheses.

Knowledge Transfer

Collapsing a nested lower filtration appears in many quotient or cofiber constructions, but a general filtered space is not literally a stunted projective space without the projective family and skeleton. The portable idea is controlled collapse with retained higher structure; the name remains topological.

Examples

Canonical

Feder and Gitler's original complex family CP^n/CP explicitly collapses the lower complex projective skeleton. For k<n it leaves cells in higher even real dimensions, making the quotient a precise defining construction for their stable homotopy classification. This is the original author-defined family, not a claim that all parameter choices have one homotopy type.

Mapped back: Ambient projective space → CP^n; Nested lower skeleton → CP^{k−1} within CP^n; Collapse quotient → CP^n/CP with a distinguished basepoint; Retained higher cells → complex projective cells of real dimensions 2k through 2n; Homotopy-theoretic use → stable homotopy classification studied by the authors.

Applied / In Practice

Theriault later sets X_{n+1}=CP^{n+1}/CP in a homotopy-cofibration diagram. The collapse identifies the lower skeleton to a point while retaining the top two even-dimensional cells. His SU(n) gauge-group research uses this quotient as a homotopy-theoretic tool; the application does not redefine stunting as a gauge-group operation.

Mapped back: Ambient projective space → CP^{n+1}; Nested lower skeleton → CP^{n−1}; Collapse quotient → quotient map to X_{n+1}; Retained higher cells → cells of real dimensions 2n and 2n+2; Homotopy-theoretic use → cofibration argument in gauge-group study.

Structural Tensions

T1 — Collapse Lower Cells versus Retain Geometric Detail. Collapsing a skeleton isolates higher-cell behavior but loses distinctions among its lower points and maps.

Diagnostic: Which lower information may be safely forgotten for the invariant?

T2 — Stable Simplification versus Unstable Distinction. Passing to stable homotopy can simplify comparison while concealing low-dimensional unstable attachment behavior.

Diagnostic: Is the theorem stable or about the unsuspended quotient?

T3 — Uniform Quotient Notation versus Field-Specific Cells. The same P^n/P schema spans real and complex cases, but cell dimensions and invariants differ.

Diagnostic: Which scalar field and index convention are fixed?

Structural–Framed Character

A stunted projective space is structural-leaning within topology: quotient collapse is formal, but the named object requires a projective-space filtration. Evaluative weight: “stunted” describes which lower cells are collapsed, not a defective space or a preference for one truncation. Human-practice-bound: once field, dimensions, and quotient are fixed, the resulting homotopy object is mathematically determined; selecting a cutoff and based-space convention is human formal practice. Institutional origin: algebraic topology supplies notation and proof norms, not an agency that decides whether a generic data truncation is a projective quotient. Vocabulary travels: filtration, quotient, and retained higher structure occur elsewhere, while P^n/P^{k-1} over a fixed field is the literal carrier. Import versus recognize: changing eligible indices or the field yields another member under the corresponding definition; deleting rows from a dataset is analogy.

The portable skeleton is controlled collapse of an initial layer while preserving later structure, an explicit future-prime candidate rather than an asserted strict parent. A quotient operation is involved, but this node is the resulting projective-skeleton space, not the operation in general. Its character: a based topological object whose projective family and cutoff are constitutive.

Structural Core vs. Domain Accent

Skeletal core. A filtered object loses an initial segment through quotient collapse while retaining later structure. Domain-bound accent. The filtration is the cell skeleton of a projective space over a fixed field. Transfer boundary. A generic quotient or data truncation is analogous, not this homotopy-theoretic space.

Instantiates / Related Primes

This entry is a kind of CW complex.

• Approved root. No exact current projective-space parent is available in the live catalog; a generic quotient operation is a process, while this candidate is a resulting based topological space.

• Neighbor. Thom-space descriptions and stable homotopy classifications may involve these quotients but are additional identifications or results.

Relationships to Other Abstractions

Current abstraction Stunted projective space Domain-specific

Parents (1) — more general patterns this builds on

• Stunted projective space is a kind of CW complex Domain-specific

  A stunted projective space is the quotient of a CW-complex (projective space) that collapses a subcomplex, and the result is itself a CW complex built from the retained higher cells.

Hierarchy path (1) — routes to 1 parentless root

• Stunted projective space → CW complex → Composition → Gestalt Principles → Holism

Neighborhood in Abstraction Space

Stunted projective space sits in a moderately populated region (51^st percentile for distinctiveness): it has near-neighbors but no dense thicket of look-alikes.

Family — Algebraic Varieties & Topological Invariants (27 abstractions)

Nearest neighbors

• Urysohn's lemma — 0.87
• Algebraic Surface — 0.87
• Euclidean Neighborhood Retract — 0.86
• Secant Variety — 0.86
• Cubic Fourfold — 0.85

Computed from structural-signature embeddings · 2026-10-08

Not to Be Confused With

• Projective space. Tell: The ambient uncollapsed object.
• Complement. Tell: Deletes rather than identifies the lower subspace.
• Projective product space. Tell: Forms a different quotient of sphere products.
• Sphere. Tell: May occur as a special degenerate one-cell quotient but is not the general identity.

References

• Feder and Gitler, Stable homotopy types of stunted complex projective spaces — the complex quotient family.
• Theriault, SU(n) gauge-group paper — explicit CP^{n+1}/CP^{n−1} quotient and two-cell use.
• Kahn, stable homotopy of stunted real projective spaces — real-projective family.
• Frozen Wikipedia discovery revision — candidate provenance; its damaged indices and attribution are not copied as authority.

The quotient construction is well supported, but real and complex cell dimensions and stable-versus-unstable results cannot be interchanged without their own hypotheses.