Homology Manifold¶

A finite-dimensional ANR whose local relative homology at every point matches Euclidean space in a stated dimension and coefficient system, whether or not Euclidean charts exist.

Version: v1 · 2026-10-07 · History
Domain-specific #: 13905
Domain group: Formal Sciences
Origin domain: Mathematics
Subdomains: Geometric Topology, Algebraic Topology → Mathematics
Aliases: Homology N Manifold

Core Idea¶

A homology manifold has the local homology pattern of Euclidean space even when it does not have Euclidean coordinate neighborhoods. Under the convention used here, specify a finite-dimensional absolute neighborhood retract (ANR) \(X\), dimension \(n\), and coefficient ring \(K\). At every point \(x\), the relative groups \(H_i(X,X\setminus\{x\};K)\) must equal the Euclidean pattern: \(K\) in degree \(n\) and zero otherwise. The classical generalized-manifold definition cited by Bryant and colleagues uses integers; a rational homology manifold uses \(K=\mathbb Q\). These coefficient conventions cannot be silently exchanged.[^{ref-00c3736f0e02][}ref-c6a7e26ef63f][^ref-05fe688393fc]

A boundaryless topological manifold passes the integer test because its points have Euclidean neighborhoods. Local homology alone is weaker: Cannon's qualified single-suspension example passes the integral test but lacks manifold charts at its poles.[^ref-c6a7e26ef63f]

Scope of Application¶

The test applies to finite-dimensional ANR topological spaces under a declared dimension and coefficients. It can classify singular spaces whose exceptional points have the Euclidean local homology groups, such as a nonsimply-connected homology-sphere suspension under integer coefficients. Druschel also proves a rational result for underlying spaces of locally orientable orbifolds; dropping the orientation condition or replacing rational with integral coefficients changes the claim.[^{ref-c6a7e26ef63f][}ref-05fe688393fc]

This entry uses the no-boundary local pattern. A boundary point under a manifold-with-boundary convention needs separate treatment. Global homology or a global Poincaré-duality claim does not replace checking the relative groups at every point.[^{ref-00c3736f0e02][}ref-c6a7e26ef63f]

Clarity¶

Always ask: which \(n\), and which \(K\)? The derived quotient \(\mathbb R^4/\{\pm I\}\) is a rational homology 4-manifold but not an integral one. At its origin the link \(\mathbb{RP}^3\) has integral \(H_1=\mathbb Z/2\), producing extra local \(H_2=\mathbb Z/2\); rational coefficients erase that torsion. This quotient/link calculation follows from Druschel's theorem and standard homology, and is not a worked example in her paper.[^ref-05fe688393fc]

“Local homology like \(\mathbb R^n\)” also differs from “locally homeomorphic to \(\mathbb R^n\).” A point may pass the algebraic test without admitting a Euclidean chart.[^ref-c6a7e26ef63f]

Manages Complexity¶

The criterion replaces a broad impression of being “manifold-like” with an explicit local comparison. At ordinary manifold points the answer is immediate from charts. One then examines exceptional points, such as suspension poles or a quotient origin, using their links. This directs attention to the locations where the stronger manifold claim could fail.[^{ref-c6a7e26ef63f][}ref-ae7e2fd41167][^ref-05fe688393fc]

Abstract Reasoning¶

The apex of a cone on a link \(L\) has local relative groups given by the reduced homology of \(L\), shifted by one degree. A homology 3-sphere link therefore gives the integer Euclidean pattern in degree four at a suspension pole. A cone on \(\mathbb{RP}^3\) gives the rational degree-four pattern but reveals integer degree-two torsion. These are transparent mathematical deductions from the cone models and the cited local criterion, not formulas quoted from the source authors.[^{ref-00c3736f0e02][}ref-ae7e2fd41167][^ref-05fe688393fc]

Knowledge Transfer¶

The same audit works for unlike constructions: state \(K\), find the singular link, calculate point-local relative groups, and compare them with the Euclidean target. The method transfers from suspension to quotient. Their positive results do not transfer across coefficients: a proof over \(\mathbb Q\) is not a proof over \(\mathbb Z\).[^{ref-c6a7e26ef63f][}ref-05fe688393fc]

Example¶

Integral single suspension. Let \(H^3\) be a nonsimply-connected integral homology 3-sphere. Its single suspension \(\Sigma H^3\) is a finite-dimensional ANR. Ordinary points have manifold neighborhoods; the cone link at each pole gives integer local homology \(\mathbb Z\) only in degree four. Cannon identifies it as a generalized 4-manifold that is not a topological 4-manifold at the poles. Mapped back: \(X=\Sigma H^3\), \(n=4\), \(K=\mathbb Z\), all-point relative test, and degree-four Euclidean comparison. His double-suspension result prevents treating every later suspension as singular.[^{ref-c6a7e26ef63f][}ref-ae7e2fd41167]

Rational finite quotient. Let \(X=\mathbb R^4/\{\pm I\}\), \(n=4\), and \(K=\mathbb Q\). The action preserves orientation in four dimensions, so Druschel's locally orientable-orbifold theorem applies. Ordinary points are locally Euclidean; the origin has \(\mathbb{RP}^3\) as its cone link and rational local homology \(\mathbb Q\) only in degree four. Mapped back: a finite-dimensional quotient ANR, declared rational coefficients, all-point local test, and Euclidean comparison. This concrete case is a derived application, not her printed example. It fails the integer test at the origin.[^ref-05fe688393fc]

Relationships to Other Abstractions¶

Current abstraction Homology Manifold Domain-specific

Parents (1) — more general patterns this builds on

Homology Manifold is a kind of Topological Space Domain-specific

Every homology manifold is a topological space satisfying an additional all-points local-homology test.

Hierarchy paths (5) — routes to 3 parentless roots

Homology Manifold → Topological Space → Closure

Show alternative paths (4)

Neighborhood in Abstraction Space¶

Homology Manifold sits in a moderately populated region (56^th percentile for distinctiveness): it has near-neighbors but no dense thicket of look-alikes.

Family — Algebraic Topology & K-Theory (26 abstractions)

Nearest neighbors

KR-theory — 0.86
Simple space — 0.85
Poincaré space — 0.85
Twisted K-theory — 0.85
Semiregular space — 0.85

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

Not to Be Confused With¶

Topological manifold: Euclidean charts imply the boundaryless integral local pattern; the converse fails for qualified singular spaces.[^ref-c6a7e26ef63f]
Integral versus rational homology manifold: rational coefficients can hide the quotient's integer local torsion.[^ref-05fe688393fc]
Global homology sphere: matching total homology does not certify every point-local pair.[^ref-00c3736f0e02]
Manifold with boundary: the no-boundary local target used here does not cover boundary points without a separate convention.[^ref-c6a7e26ef63f]

References¶

[^ref-00c3736f0e02]: J. Bryant, S. Ferry, W. Mio, and S. Weinberger, “Topology of Homology Manifolds,” Bulletin of the American Mathematical Society 28, no. 2 (1993): 324–328, especially opening definition and Theorem 1. https://arxiv.org/pdf/math/9304210 [^ref-c6a7e26ef63f]: J. W. Cannon, “The Recognition Problem—What Is a Topological Manifold?,” Bulletin of the American Mathematical Society 84, no. 5 (1978): 832–866, especially §§1.4–1.5, pp. 833–834. The printed title uses a colon after “Problem”. https://www.maths.ed.ac.uk/~v1ranick/papers/cannon2.pdf [^ref-ae7e2fd41167]: Robert D. Edwards, “Suspensions of Homology Spheres,” 1974–1976 manuscript, electronically published 2006, especially PDF pp. 4–5. https://arxiv.org/pdf/math/0610573 [^ref-05fe688393fc]: Kimberly Sue Druschel, “Oriented Orbifold Cobordism,” Pacific Journal of Mathematics 164, no. 2 (1994): 299–323, especially Definitions 1.1, 1.2, and 1.7 and Lemma 1.10, pp. 300–303. https://msp.org/pjm/1994/164-2/pjm-v164-n2-p04-s.pdf