Higson Dominated Corona in Coarse Geometry

• Higson dominated corona is a boundary concept that encodes large-scale geometry through rigidity principles and controlled oscillation.
• It distinguishes between various compactifications, including sublinear and subpower coronas, by imposing specific growth conditions.
• The framework links coarse equivalence, set-theoretic axioms, and functorial mapping to analyze structural invariants in metric spaces.

Searching arXiv for the cited Higson corona papers to ground the article in current literature. arxiv_search(query="Higson corona rigidity subpower corona coarse geometry", max_results=10) The Higson dominated corona is not a standard term of art with a single universally fixed meaning. In current usage around coarse geometry and Higson-type compactifications, it is interpreted in two closely related ways. First, in the rigidity setting, the Higson corona is said to “dominate” the large-scale geometry of a space when its topological type determines the coarse-equivalence class of the underlying uniformly locally finite metric space under additional set-theoretic axioms (Vignati, 14 Feb 2025). Second, in the theory of modified Higson compactifications, “dominated” refers to Higson-type coronas defined by prescribing growth controls on the radii over which oscillation must vanish at infinity, such as the sublinear and subpower Higson coronas (Iwamoto, 2018, Akaike, 2024, Fukaya, 2010). A further, distinct usage appears in finitary coarse spaces, where “dominated corona” is synonymous with the binary corona, namely the $2$-corona obtained by taking $M=2$ in the $M$-compactification framework (Banakh et al., 2020). Across these settings, the common theme is that boundary structure at infinity encodes, controls, or quotients large-scale information.

1. Conceptual scope and terminological variants

The phrase “dominated corona” is explicitly described as nonstandard in the rigidity context of Higson coronas (Vignati, 14 Feb 2025). There, the intended meaning is that under $\mathsf{OCA}$ and $\mathsf{MA}_{\aleph_1}$, the Higson corona “dominates” the coarse geometry of a uniformly locally finite metric space in the sense that homeomorphic coronas force coarse equivalence of the underlying spaces. Algebraically, this means that the isomorphism type of $C_\nu(X)$ determines $X$ up to coarse equivalence (Vignati, 14 Feb 2025).

A second use of “dominated” comes from the hierarchy of Higson-type compactifications indexed by control families $s:[0,\infty)\to[0,\infty)$. In this framework, a function is required to have oscillation tending to zero on balls $B_d(x,s(|x|))$ for every admissible control $s$. The standard Higson compactification corresponds to constant controls, the subpower compactification to asymptotically subpower controls, and the sublinear compactification to asymptotically sublinear controls (Iwamoto, 2018, Kucab et al., 2017, Akaike, 2024). In the paper on connected properties of the sublinear Higson corona, the sublinear Higson compactification is explicitly called the Higson dominated compactification, and its remainder the Higson dominated corona (Akaike, 2024).

A third, separate usage is categorical and coarse-combinatorial. In the realization theory of finitary coarse spaces, the “dominated corona” is identified with the binary corona $M=2$0, obtained by taking $M=2$1 in the general $M=2$2-compactification construction (Banakh et al., 2020). This is a different notion from the Higson corona proper, though it belongs to the same broad family of corona constructions.

These usages are compatible only at the level of analogy. A plausible implication is that “Higson dominated corona” functions best as an umbrella expression whose precise meaning depends on whether the emphasis is rigidity, growth-controlled oscillation, or compactification theory.

2. Classical Higson corona and coarse-geometric functoriality

For a discrete uniformly locally finite metric space $M=2$3, a bounded function $M=2$4 is slowly oscillating if for every $M=2$5 and $M=2$6 there is a finite set $M=2$7 such that whenever $M=2$8 satisfy $M=2$9, then $M$0 (Vignati, 14 Feb 2025). Equivalently, the oscillation at scale $M$1 tends to $M$2 at infinity (Vignati, 14 Feb 2025). In the proper metric setting, the same condition is often expressed as

$M$3

for every $M$4, where $M$5 is the oscillation of $M$6 on the $M$7-ball about $M$8 (Iwamoto, 2018).

The algebra $M$9 of slowly oscillating functions is a unital $\mathsf{OCA}$0-subalgebra of $\mathsf{OCA}$1, and its Gelfand spectrum is the Higson compactification $\mathsf{OCA}$2. The Higson corona is the boundary

$\mathsf{OCA}$3

with

$\mathsf{OCA}$4

in the discrete case (Vignati, 14 Feb 2025). For proper metric spaces, the ultrafilter-based corona $\mathsf{OCA}$5 agrees with Roe’s Higson corona $\mathsf{OCA}$6 (Banakh et al., 2012).

This corona is functorial for coarse proper maps. If $\mathsf{OCA}$7 is coarse proper, it induces a continuous map $\mathsf{OCA}$8, and close maps induce the same boundary map (Vignati, 14 Feb 2025). A coarse embedding induces an injective map on coronas, while a coarse equivalence induces a homeomorphism (Vignati, 14 Feb 2025). In the coarse-ultrafilter model, the corona functor is moreover faithful: if two coarse maps induce the same map on the corona, then they are close (Hartmann, 2019). For proper metric spaces, the coarse-ultrafilter corona is homeomorphic to the Higson corona (Hartmann, 2019).

The large-scale sensitivity of the Higson corona distinguishes it from the Stone–Čech remainder. In the words of the ultrafilter approach, $\mathsf{OCA}$9 reflects the large-scale geometry of $\mathsf{MA}_{\aleph_1}$0, and coarse equivalences induce homeomorphisms $\mathsf{MA}_{\aleph_1}$1 (Banakh et al., 2012). This forms the baseline against which various “domination” phenomena are measured.

3. Rigidity: domination by determination of coarse geometry

The strongest sense in which a Higson corona is “dominated” appears in the rigidity theorem for uniformly locally finite metric spaces. Under $\mathsf{MA}_{\aleph_1}$2 and $\mathsf{MA}_{\aleph_1}$3, if $\mathsf{MA}_{\aleph_1}$4 and $\mathsf{MA}_{\aleph_1}$5 are uniformly locally finite metric spaces and $\mathsf{MA}_{\aleph_1}$6, then $\mathsf{MA}_{\aleph_1}$7 and $\mathsf{MA}_{\aleph_1}$8 are coarsely equivalent (Vignati, 14 Feb 2025). This result is explicitly described as a rigidity statement: the topological type of the Higson corona determines the coarse geometry of the space.

The theorem does not follow from $\mathsf{MA}_{\aleph_1}$9 alone. The same paper records that the statement fails under $C_\nu(X)$0, and that under $C_\nu(X)$1 there are many non-coarsely equivalent uniformly locally finite spaces with homeomorphic Higson coronas (Vignati, 14 Feb 2025). For asymptotic dimension zero spaces, Parovičenko-type arguments imply that all such coronas are isomorphic under $C_\nu(X)$2 although the spaces need not be coarsely equivalent (Vignati, 14 Feb 2025). Likewise, Brian–Farah examples at asymptotic dimension one show that homeomorphic Higson coronas need not determine coarse equivalence in $C_\nu(X)$3 (Vignati, 14 Feb 2025). The rigidity is therefore a genuinely set-theoretic phenomenon.

The structural mechanism is formulated via trivial homomorphisms and the coarse weak Extension Principle. A unital $C_\nu(X)$4-homomorphism

$C_\nu(X)$5

is called trivial if it is induced by a function $C_\nu(X)$6 satisfying the defining identity

$C_\nu(X)$7

for every $C_\nu(X)$8 and every positive contraction $C_\nu(X)$9 (Vignati, 14 Feb 2025). If $X$0 is trivial, then the inducing map is coarse and proper; surjectivity implies expanding; injectivity implies cobounded range; an isomorphism therefore comes from a coarse equivalence (Vignati, 14 Feb 2025).

The coarse weak Extension Principle, abbreviated cwEP, isolates the local structure of corona homomorphisms. Under $X$1, every surjective unital $X$2-homomorphism between corona algebras is locally trivial on a clopen piece, with residual image nowhere dense (Vignati, 14 Feb 2025). This local triviality is then upgraded to global triviality using product-form liftings, marker functions, and an $X$3-driven uniformization argument (Vignati, 14 Feb 2025).

In this sense, the Higson corona is “dominated” not by another object but by its own determining power: under the stated axioms, the corona and the quotient algebra $X$4 code enough information to recover the coarse-equivalence class of the space (Vignati, 14 Feb 2025).

4. Dominated Higson-type coronas from growth controls

A second major line of interpretation treats “dominated” coronas as Higson-type boundaries defined by admissible growth controls. Fix a proper metric space $X$5, a basepoint $X$6, and write $X$7. Given a family of control functions $X$8, one asks that bounded continuous functions have oscillation tending to zero on balls $X$9 as $s:[0,\infty)\to[0,\infty)$0 (Iwamoto, 2018).

Three families are distinguished in the literature:

Family	Control condition	Resulting corona
$s:[0,\infty)\to[0,\infty)$1	positive constant functions	standard Higson corona
$s:[0,\infty)\to[0,\infty)$2	asymptotically subpower functions	subpower Higson corona
$s:[0,\infty)\to[0,\infty)$3	asymptotically sublinear functions	sublinear Higson corona

For the subpower case, $s:[0,\infty)\to[0,\infty)$4 means that for every $s:[0,\infty)\to[0,\infty)$5 there exists $s:[0,\infty)\to[0,\infty)$6 such that $s:[0,\infty)\to[0,\infty)$7 whenever $s:[0,\infty)\to[0,\infty)$8 (Iwamoto, 2018). For the sublinear case, $s:[0,\infty)\to[0,\infty)$9 means that for every $B_d(x,s(|x|))$0 there exists $B_d(x,s(|x|))$1 such that $B_d(x,s(|x|))$2 for all $B_d(x,s(|x|))$3 (Iwamoto, 2018, Akaike, 2024).

The associated closed subrings $B_d(x,s(|x|))$4, $B_d(x,s(|x|))$5, and $B_d(x,s(|x|))$6 define compactifications $B_d(x,s(|x|))$7, $B_d(x,s(|x|))$8, and $B_d(x,s(|x|))$9, with coronas $s$0, $s$1, and $s$2 (Iwamoto, 2018). The hierarchy

$s$3

yields canonical continuous surjections between the associated compactifications and coronas (Iwamoto, 2018). In the sublinear terminology of the Euclidean-space paper, $s$4 is also called the Higson dominated compactification, and $s$5 the Higson dominated corona (Akaike, 2024).

This framework explains why “dominated” naturally refers to the rate at which admissible radii may grow. The standard Higson corona uses fixed-radius control; the subpower and sublinear coronas admit larger and larger radii but constrain them asymptotically. A plausible implication is that the adjective “dominated” emphasizes that oscillation is controlled by a prescribed growth regime rather than merely by bounded scales.

5. Subpower and sublinear coronas: topology and examples

The subpower Higson corona $s$6 exhibits topological behavior that differs sharply from the classical Higson corona. For $s$7 with the usual metric, $s$8 is a non-metrizable indecomposable continuum (Iwamoto, 2018). The proof proceeds by showing that $s$9 is the intersection of a decreasing sequence of continua, contains a copy of $M=2$00, and has the property that every proper closed subset with nonempty interior is disconnected (Iwamoto, 2018). The same paper also constructs continuous surjections

$M=2$01

showing that the subpower corona can map onto several Higson-type compactifications of the half-line (Iwamoto, 2018).

This indecomposability depends on the metric. A proper metric on a copy of $M=2$02 can yield a decomposable subpower corona (Iwamoto, 2018). The subpower class is also strictly larger than the sublinear class: the function $M=2$03 constructed in the indecomposability argument is Higson subpower but not Higson sublinear (Iwamoto, 2018).

Convergence properties further separate the subpower corona from the classical Higson corona. There exists a proper unbounded metric space whose subpower Higson corona contains a $M=2$04-compact subset that is not $M=2$05-embedded (Kucab et al., 2017). Consequently, the closure of a $M=2$06-compact subset of the subpower Higson corona does not necessarily coincide with its Stone–Čech corona (Kucab et al., 2017). The counterexample is built inside

$M=2$07

with the max metric, using the family of curves $M=2$08 and a separation criterion based on power-exponent divergence (Kucab et al., 2017).

The sublinear Higson corona $M=2$09 has a different large-scale topological profile. For every $M=2$10, $M=2$11 is not locally connected at any point and is mutually aposyndetic (Akaike, 2024). The nowhere-local-connectedness is in fact proved for every noncompact proper metric space, and the same argument applies to the subpower and classical Higson coronas as well (Akaike, 2024). For $M=2$12, mutual aposyndesis implies decomposability of $M=2$13 (Akaike, 2024), in contrast to the indecomposable sublinear corona of $M=2$14 mentioned as earlier work in that paper (Akaike, 2024).

The sublinear corona of Euclidean cones has a particularly clean structure. If $M=2$15 is a compact path metric space and $M=2$16 an unbounded proper metric space of bounded geometry, then

$M=2$17

for the Euclidean cone $M=2$18 (Fukaya, 2010). In particular,

$M=2$19

because $M=2$20 is coarsely equivalent to $M=2$21 (Fukaya, 2010). This product decomposition is one of the clearest structural results for a growth-dominated Higson corona.

6. Set theory, local invariants, and domination by cardinal characteristics

The topology of the Higson corona is also sensitive to set-theoretic cardinal invariants. For an unbounded metric space $M=2$22, the minimal character $M=2$23 of a point of the Higson corona $M=2$24 is

$M=2$25

where $M=2$26 is the ultrafilter number and $M=2$27 the dominating number (Banakh et al., 2012).

Here $M=2$28 has asymptotically isolated balls if there exists $M=2$29 such that for every finite $M=2$30 there is $M=2$31 with

$M=2$32

(Banakh et al., 2012). If asymptotically isolated balls are present, the corona contains a clopen copy of $M=2$33, forcing $M=2$34 (Banakh et al., 2012). If they are absent, lower bounds via boundedly oscillating maps to $M=2$35 and coinitiality in $M=2$36 push the minimal character up to $M=2$37 (Banakh et al., 2012).

This gives a different but related sense in which the corona is “dominated”: when $M=2$38 has no asymptotically isolated balls, the local base size of the corona is governed by the dominating number $M=2$39 (Banakh et al., 2012). Under $M=2$40, this yields a sharp distinction between spaces with and without asymptotically isolated balls (Banakh et al., 2012).

The same paper proves a corona characterization of the Cantor macro-cube $M=2$41 under $M=2$42: for a metric space $M=2$43 of bounded geometry, the following are equivalent: $M=2$44 is coarsely equivalent to $M=2$45; $M=2$46 is homeomorphic to $M=2$47; and $M=2$48 together with $M=2$49 (Banakh et al., 2012). In this example, the pair “dimension zero plus $M=2$50-dominated minimal character” detects a coarse-equivalence class.

Under $M=2$51, these distinctions collapse because $M=2$52, and Protasov’s result makes coronas of asymptotically zero-dimensional separable spaces all homeomorphic to $M=2$53 (Banakh et al., 2012). The contrast with models where $M=2$54 again shows that domination phenomena for Higson coronas are deeply sensitive to set-theoretic context.

7. Related frameworks: binary coronas, quotient boundaries, and operator-algebraic domination

In finitary coarse spaces, the realization problem leads to a distinct notion of “dominated corona.” For a coarse space $M=2$55 and a proper metric space $M=2$56, the $M=2$57-compactification $M=2$58 and $M=2$59-corona $M=2$60 are defined using bounded slowly oscillating $M=2$61-valued functions (Banakh et al., 2020). When $M=2$62, one obtains the Higson compactification and Higson corona; when $M=2$63, one obtains the binary compactification and binary corona (Banakh et al., 2020). In that paper, “dominated corona” is explicitly identified with the binary corona (Banakh et al., 2020). The canonical permutation coarse structure $M=2$64 associated to a compact Hausdorff space $M=2$65 with dense isolated points realizes many compacta as Higson or binary coronas, with broad realization results under perfect normality, small weight and character assumptions, and under $M=2$66 (Banakh et al., 2020).

Another form of domination arises through quotient maps from the Higson corona to other boundaries. For a proper metric space, the coarse-ultrafilter corona is homeomorphic to the Higson corona, and for a proper geodesic hyperbolic metric space $M=2$67, the Gromov boundary $M=2$68 is obtained as a quotient of $M=2$69 by identifying ultrafilters supported on the same coarse ray (Hartmann, 2019). The quotient map

$M=2$70

is continuous and surjective (Hartmann, 2019). In this sense, the Higson corona dominates the Gromov boundary as a finer boundary object from which the hyperbolic boundary is recovered by quotienting.

Operator-algebraic work on groups acting amenably on their Higson corona supplies yet another version of domination. For a countable discrete group $M=2$71, bi-exactness is equivalent to amenability of the action on $M=2$72 (Engel, 2024). This is equivalent to nuclearity of $M=2$73, and to the existence of normalized positive type kernels on $M=2$74 having vanishing variation on diagonals and converging to $M=2$75 near the diagonal (Engel, 2024). The stable Higson corona then enters equivariant $M=2$76-theory: for finitely generated Gromov hyperbolic groups,

$M=2$77

(Engel, 2024). A plausible implication is that, in this setting, the stable Higson corona functions as a boundary model whose analytic and $M=2$78-theoretic structure controls several other boundary constructions.

The coarse-topological theory of the Higson–Roe functor provides a final abstract viewpoint. Given a compactification $M=2$79, its corona is Higson dominated when it is a continuous image of the Higson–Roe corona via a compactification map extending the identity on $M=2$80 (Moreno-Damas, 2014). In metrizable settings, compactifications arising from $M=2$81-coarse structures attached to families of pseudometrics are canonically dominated in this sense (Moreno-Damas, 2014). This recasts domination as a functorial quotient relation among compactifications.

Taken together, these strands show that the expression Higson dominated corona does not designate a single object but rather a family of related ideas. It may refer to a Higson-type corona defined by growth controls such as sublinear or subpower radii; to a rigidity principle under which the Higson corona determines the underlying coarse geometry; to a binary corona in finitary coarse spaces; or to quotient and functorial relations in which the Higson corona maps onto other boundaries or compactification remainders. The unifying principle is that asymptotic oscillation algebras encode enough information at infinity to control topology, coarse equivalence, set-theoretic invariants, and boundary functoriality.