Skip to content

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 CPn/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.

Scope of Application

The quotient collapses a nested lower skeleton; it does not remove those points or prove a homotopy theorem by itself.

  • 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

A stunted projective space is Pn/P: a lower nested projective skeleton is collapsed to one basepoint while higher cells remain. It is not the set-theoretic complement, and real and complex variants have different cell dimensions. Stable homotopy properties require further theorems.

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

Fix field and indices, verify nesting, form the quotient, list retained cells and attachment information, then ask whether the problem is stable or unstable before applying a result.

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.

Relationships to Other Abstractions

Local relationship map for Stunted projective spaceParents appear above the current abstraction, mutual partners to the right, and children below. Node labels state whether each abstraction is prime or domain-specific; colors identify relation types.Stuntedprojective spaceDOMAINDomain-specific abstraction: CW complex — is a kind ofCW complexDOMAIN

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

Neighborhood in Abstraction Space

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

Family — Algebraic Varieties & Topological Invariants (27 abstractions)

Nearest neighbors

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