Dimensional Separation in Coarse Geometry

• Dimensional Separation is a principle in coarse geometry stating that a subset cannot coarsely cut an n-dimensional coarse PD space unless its asymptotic dimension is at least n-1.
• The proof leverages coarse homology and duality by converting nontrivial coarse cohomology of the space’s complement into a homological lower bound for the separating subset.
• This result generalizes classical Alexander duality, showing that large-scale separation mimics codimension-one phenomena observed in traditional topological settings.

Searching arXiv for the primary paper and closely related work on coarse separation and asymptotic dimension. arXiv search query: (Patil, 26 Jun 2025) OR "Coarse Separation of Coarse PD(n) spaces" OR "coarse separation asymptotic dimension coarse PD(n)" Dimensional separation, in the sense developed for coarse geometry, is the principle that a subset cannot coarsely cut an $n$-dimensional large-scale Poincaré duality space unless it itself carries at least $(n-1)$-dimensional large-scale structure. In "Coarse Separation of Coarse PD(n) spaces" (Patil, 26 Jun 2025), this principle is expressed by the theorem that if $A$ is a subspace of a coarse $PD(n)$ metric space $X$ and $A$ coarsely separates $X$, then $asdim(A)\ge n-1$. The result is a coarse-geometric analogue of the classical separation-versus-dimension philosophy associated with Alexander duality, and it fits into a broader program that studies separation at large scale via asymptotic dimension, coarse homology, and coarse duality (Tselekidis, 2024).

1. Classical and coarse formulations

In classical topology, the guiding idea is that if a subset separates an $n$-dimensional space, then it must itself be large enough to support $(n-1)$-dimensional information. The 2025 result formulates a coarse-geometric version of this principle for coarse $(n-1)$0 spaces, replacing topological dimension by asymptotic dimension and topological separation by coarse separation (Patil, 26 Jun 2025).

The main theorem is stated as follows: $(n-1)$1 This theorem identifies the dimensional threshold forced by coarse separation: the separator must have asymptotic dimension at least $(n-1)$2.

This conclusion parallels an earlier existence theorem showing that geodesic metric spaces of asymptotic dimension $(n-1)$3 containing a bi-infinite geodesic admit coarsely separating subsets of asymptotic dimension strictly less than $(n-1)$4, in fact equal to or smaller than $(n-1)$5 (Tselekidis, 2024). Taken together, the two results isolate a codimension-one regime: coarse separators in the $(n-1)$6 setting are not merely available, but are constrained to live at asymptotic dimension at least $(n-1)$7.

A plausible implication is that coarse $(n-1)$8 spaces behave, with respect to separation, like large-scale analogues of $(n-1)$9-manifolds. The paper makes this analogy explicit by describing its theorem as a coarse version of the classical statement that a subset separating an $A$0-manifold must support $A$1-dimensional homology (Patil, 26 Jun 2025).

2. Coarse separation and the ambient category

The notion of separation used in the theorem is coarse rather than topological. A subset $A$2 is called a coarse complementary component of $A$3 if for every $A$4 there exists $A$5 such that

$A$6

Here $A$7 denotes the $A$8-neighborhood. A coarse complementary component is shallow if it lies inside some neighborhood of $A$9, i.e. $PD(n)$0 for some $PD(n)$1; otherwise it is deep. The subspace $PD(n)$2 is said to coarsely separate $PD(n)$3 if there is a deep separation with respect to $PD(n)$4, meaning that both sides of the complement give deep coarse complementary components (Patil, 26 Jun 2025).

This definition is designed to ignore bounded-scale artifacts. Intuitively, the space has two large pieces that can only come close to each other near $PD(n)$5. That emphasis on deep components distinguishes coarse separation from literal disconnection after removing a subset.

The ambient spaces are coarse $PD(n)$6 spaces. The paper does not reprove their full definition; instead, it uses a theorem of Banerjee–Okun stating that coarse $PD(n)$7 spaces satisfy a coarse duality statement analogous to Alexander duality: $PD(n)$8 What matters for dimensional separation is that coarse $PD(n)$9 spaces admit a large-scale duality converting cohomology of the complement into homology of the separator (Patil, 26 Jun 2025).

This duality framework complements the broader coarse-separation literature. "Coarsely separation of groups and spaces" (Tselekidis, 2024) studies coarse separation for geodesic metric spaces and finitely generated groups through deep connected components of complements of neighborhoods, and introduces asymptotic Cantor manifolds as spaces that cannot be coarsely separated by subsets of asymptotic dimension at most $X$0. The 2025 $X$1 theorem sharpens that philosophy in a duality-rich category by proving an explicit lower bound $X$2.

3. The homological mechanism

The proof begins with the proposition that coarse separation forces nontrivial first coarse cohomology of the complement: $X$3 This is the separation input. It says that the existence of two deep coarse complementary components produces a nontrivial class in $X$4 (Patil, 26 Jun 2025).

The duality theorem is then applied with $X$5, yielding

$X$6

This is the core homological step: coarse separation forces a nonzero $X$7-st coarse homology class on $X$8 (Patil, 26 Jun 2025).

The structure of the argument is therefore the direct coarse analogue of classical Alexander-duality reasoning. Separation produces cohomology in degree $X$9 on the complement; duality transfers it to homology in degree $A$0 on the separating subset. The only remaining step is to convert nonvanishing coarse homology into a lower bound on asymptotic dimension.

This pattern is closely aligned with later finitary work on Euclidean spaces. "A Finitary Approach to Coarse Separation of Euclidean spaces" (Patil, 3 Jul 2026) proves that every coarsely separating family of subsets of $A$1 must have asymptotic dimension at least $A$2, using singular homology/cohomology and Alexander duality after reducing the problem to a cube-based finitary statement. The methodological emphasis differs, but the conceptual content is the same: coarse separation forces codimension-one homological complexity.

4. Anti-$A$3 systems and the asymptotic-dimension bridge

The dimension estimate is obtained through the relationship between coarse homology and asymptotic dimension. The paper recalls the standard covering definition: $A$4 if for every $A$5 there is a uniformly bounded cover $A$6 of $A$7 with Lebesgue number $A$8 and multiplicity at most $A$9 (Patil, 26 Jun 2025).

The paper packages such covers into an anti-$X$0 system: a sequence $X$1 of good covers by uniformly bounded sets for which there exists $X$2 such that each $X$3 has diameter at most $X$4, while $X$5 has Lebesgue number greater than $X$6. If $X$7, then $X$8 admits an anti-$X$9 system whose covers have multiplicity at most $asdim(A)\ge n-1$0 (Corollary $asdim(A)\ge n-1$1) (Patil, 26 Jun 2025).

The central bridge theorem is

$asdim(A)\ge n-1$2

where $asdim(A)\ge n-1$3 is the nerve of the cover and $asdim(A)\ge n-1$4 denotes locally finite homology. The proof proceeds by expressing coarse chains as a direct limit of subcomplexes $asdim(A)\ge n-1$5, identifying those with locally finite chains on the nerves of the ball covers $asdim(A)\ge n-1$6, and then invoking the fact that homology commutes with direct limits: $asdim(A)\ge n-1$7 A supporting lemma on direct limits of abelian groups is used to compare the direct limit of a subsequence of an anti-$asdim(A)\ge n-1$8 system with the full system (Patil, 26 Jun 2025).

Once this machinery is in place, the asymptotic-dimension estimate follows from a vanishing criterion: $asdim(A)\ge n-1$9 ] If $n$0, then one can choose an anti-$n$1 system with multiplicity at most $n$2, so each nerve $n$3 has dimension at most $n$4. Hence $n$5 for $n$6, and the direct-limit theorem forces $n$7 for $n$8 (Patil, 26 Jun 2025).

Applied to the separator $n$9, the nonvanishing $(n-1)$0 therefore implies

$(n-1)$1

The dimensional-separation theorem is exactly the conjunction of the coarse-separation proposition, the coarse duality theorem, and the anti-$(n-1)$2 direct-limit comparison.

5. Relation to earlier and later coarse-separation results

The 2025 theorem sits between an existence theorem and a finitary strengthening. The 2024 paper "Coarsely separation of groups and spaces" proves that if $(n-1)$3 is a geodesic metric space containing a bi-infinite geodesic and $(n-1)$4, then there exists a subspace $(n-1)$5 of asymptotic dimension strictly less than $(n-1)$6 which coarsely separates $(n-1)$7 (Tselekidis, 2024). That result is constructive and asymptotic-dimension-theoretic, and it motivates a coarse version of the classical dimension-drop theorem.

By contrast, the 2025 coarse $(n-1)$8 theorem is restrictive rather than constructive. It shows that in a duality space the separator cannot have asymptotic dimension smaller than $(n-1)$9 (Patil, 26 Jun 2025). Together, the two papers show that codimension-one separation is both attainable and, in the $(n-1)$00 setting, forced.

A later paper gives a Euclidean and finitary reformulation. "A Finitary Approach to Coarse Separation of Euclidean spaces" proves that every coarsely separating family of subsets of $(n-1)$01 must have asymptotic dimension at least $(n-1)$02, and extends the conclusion to every coarsely separating family of subsets of a $(n-1)$03-dimensional Euclidean building or a product of $(n-1)$04 geodesic, geodesically complete metric spaces (Patil, 3 Jul 2026). Its proof reduces large-scale separation to a sequence of subsets $(n-1)$05 with deep points in distinct connected components of the cube complements, and then uses singular homology/cohomology and Alexander duality.

The following table summarizes the role of these three papers.

Paper	Ambient setting	Dimensional-separation conclusion
"Coarsely separation of groups and spaces" (Tselekidis, 2024)	Geodesic metric spaces with a bi-infinite geodesic	There exists a coarsely separating subset of asymptotic dimension strictly less than $(n-1)$06
"Coarse Separation of Coarse PD(n) spaces" (Patil, 26 Jun 2025)	Coarse $(n-1)$07 metric spaces	Any coarse separator $(n-1)$08 satisfies $(n-1)$09
"A Finitary Approach to Coarse Separation of Euclidean spaces" (Patil, 3 Jul 2026)	$(n-1)$10, Euclidean buildings, certain products	Any coarsely separating family has asymptotic dimension at least $(n-1)$11

This progression suggests a stable codimension-one principle across several coarse categories. That suggestion remains interpretive, but it is directly supported in Euclidean, building, product, and coarse $(n-1)$12 settings by the stated theorems.

6. Interpretive significance and scope

The phrase “dimensional separation” in this body of work refers to a precise large-scale codimension-one phenomenon: a subset cannot coarsely cut an $(n-1)$13-dimensional coarse Poincaré duality space unless it is itself at least $(n-1)$14-dimensional in the asymptotic sense (Patil, 26 Jun 2025). The argument is not metric-combinatorial alone; it is fundamentally homological. Coarse separation first yields $(n-1)$15, duality converts this into $(n-1)$16, and asymptotic-dimension control of coarse homology forces $(n-1)$17.

A common misconception would be to regard the result as a reformulation of the topological statement “remove $(n-1)$18, obtain disconnected complement.” The paper’s definition is weaker at small scale and stronger at large scale: what matters is deep coarse complementary components rather than literal connected components of $(n-1)$19. Another misconception would be to treat asymptotic dimension as a formal stand-in for manifold dimension without homological content. The proof shows the opposite: the dimension bound is extracted through coarse homology and duality, not by a direct covering argument alone (Patil, 26 Jun 2025).

The broader significance lies in the convergence of several themes. Coarse separation theory provides existence theorems and asymptotic Cantor-manifold constructions (Tselekidis, 2024). Coarse $(n-1)$20 theory supplies a duality principle that makes coarse separation detectable in homological degree $(n-1)$21 (Patil, 26 Jun 2025). Finitary Euclidean methods show that analogous bounds can be proved with singular homology/cohomology and standard facts from algebraic topology, such as Alexander duality (Patil, 3 Jul 2026). In all three settings, the same structural message appears: large-scale separation is a codimension-one phenomenon.