B-Bound Domains: Concepts & Applications

• B-bound domains are a family of domain concepts defined by specialized boundary or binding conditions spanning mathematical analysis, complex geometry, cosmology, and topology.
• In analysis, they include BBM-domains where fractional seminorms recover first-order Sobolev structure, and extension properties drive function regularity.
• In applied contexts, the term encapsulates domains identified by biholomorphic rigidity, minimal Bergmann–Shilov boundaries, gravitational binding, and parameter-space binding for hadronic systems.

“B-bound domains” is best read here as an Editor’s term for several non-equivalent domain notions that appear across analysis, several complex variables, operator-theoretic complex geometry, cosmology, hadronic effective theory, and low-dimensional topology. Taken together, the cited literature suggests a family resemblance rather than a single standard definition: some of these domains are characterized by Bourgain–Brezis–Mironescu limits, some by biholomorphic equivalence to the Euclidean ball, some by a minimal norm-determining boundary, some by gravitational binding in a $\Lambda$CDM universe, and some by parameter regions supporting shallow bound states or by Morse-theoretic control of bounded $3$-manifolds (Bal et al., 2020, Diederich et al., 2016, Newsome, 4 Apr 2025, Mackey et al., 2021, Voit, 24 Feb 2025, Abreu, 2022, Tsuboi, 3 Nov 2025).

1. Terminological scope

The literature under discussion does not use one universal definition of “B-bound domain.” Instead, the label naturally separates into several recurring meanings.

Usage	Domain notion	Representative source
BBM-type	BBM-domain on which fractional seminorms recover $W^{1,p}$ or $BV$ data	(Bal et al., 2020)
Ball-type	Bounded complex domain forced to be biholomorphic to $\mathbb B^n$	(Diederich et al., 2016, Newsome, 4 Apr 2025, Bracci et al., 2022)
Boundary-determining type	Bounded symmetric domain with Bergmann–Shilov boundary $T$	(Mackey et al., 2021)
Binding-type	Gravitationally bound cosmological domain	(Voit, 24 Feb 2025)
Parameter-domain type	Regions in EFT coupling space supporting $B$-meson molecules	(Abreu, 2022)
Topological bounded-domain type	Compact connected $3$-manifold with connected smooth boundary in $\mathbb R^3$	(Tsuboi, 3 Nov 2025)

This plurality is not accidental. In every case, the decisive structure is not simple boundedness, but a boundary or binding mechanism that controls asymptotics, extension, rigidity, or confinement.

2. BBM-domains and extension geometry

One precise domain class is the BBM-domain introduced for Bourgain–Brezis–Mironescu asymptotics. For an open set $\Omega\subset\mathbb R^N$, $3$0, and $3$1, the relevant spaces are $3$2, the fractional space $3$3 with Gagliardo seminorm

$3$4

and, for $3$5, the $3$6-seminorm $3$7. The paper works directly with the $3$8-th power and does not take the $3$9-th root in the fractional seminorm (Bal et al., 2020).

An open set $W^{1,p}$0 is a $W^{1,p}$1-extension domain if every $W^{1,p}$2 admits an extension $W^{1,p}$3 with controlled norm, equivalently via a bounded linear operator

$W^{1,p}$4

A function $W^{1,p}$5 has the BBM-property if

$W^{1,p}$6

and $W^{1,p}$7 is a BBM-domain if every $W^{1,p}$8 has that property (Bal et al., 2020).

The central theorem is that, for $W^{1,p}$9, any extension domain is a BBM-domain. For $BV$0, if $BV$1 is any extension domain and $BV$2, then

$BV$3

with the convention that the right-hand side is $BV$4 when $BV$5. This yields the exact characterization

$BV$6

For $BV$7, the extension is partial: on any extension domain and for every $BV$8,

$BV$9

and if $\mathbb B^n$0 satisfies $\mathbb B^n$1, then $\mathbb B^n$2; the exact limit formula for arbitrary $\mathbb B^n$3 on general extension domains is not claimed (Bal et al., 2020).

The geometric point is that boundedness is not required, while smooth or Lipschitz boundary is replaced by the extension-domain property. The paper also recalls an explicit non-extension example from Di Nezza et al. in which a function belongs to $\mathbb B^n$4 but to no $\mathbb B^n$5 for $\mathbb B^n$6, so the BBM identity fails. This isolates extension geometry as the relevant regularity class rather than boundary smoothness alone (Bal et al., 2020).

3. Strong $\mathbb B^n$7-extension and the $\mathbb B^n$8 boundary mechanism

A closely related extension-theoretic usage appears in the characterization of $\mathbb B^n$9-extension domains. A bounded domain $T$0 is a strong $T$1-extension domain if every $T$2 admits an extension $T$3 such that

$T$4

There is an equivalent set-theoretic form: $T$5 has the strong extension property for sets of finite perimeter if every $T$6 of finite perimeter extends to $T$7 with controlled perimeter and

$T$8

(García-Bravo et al., 2021).

The main theorem states that, for bounded domains, the following are equivalent: $T$9 is a $B$0-extension domain; $B$1 is a strong $B$2-extension domain; and $B$3 has the strong extension property for sets of finite perimeter (García-Bravo et al., 2021). The proof uses a Whitney smoothing operator $B$4 that regularizes $B$5 functions inside an open set $B$6 while preserving the exterior values and ensuring

$B$7

This boundary-null variation is the key extra feature.

In the planar case, the geometric criterion becomes especially sharp. If $B$8 is a bounded $B$9-extension domain and $3$0 are the open connected components of $3$1, then $3$2 is a $3$3-extension domain exactly when

$3$4

is purely $3$5-unrectifiable (García-Bravo et al., 2021). Thus the obstruction is a rectifiable boundary portion not accounted for by complement components. The paper also notes that the slit disk is a $3$6-extension domain but not a $3$7-extension domain for any $3$8, which separates ordinary $3$9-extension from the stronger Sobolev condition (García-Bravo et al., 2021).

This suggests a common principle with BBM-domains: extension operators are not merely technical devices but encode the geometry needed for first-order information to be recoverable from nonlocal or $\mathbb R^3$0 data.

4. Ball-covered domains in several complex variables

A second major meaning identifies domains by rigidity toward the unit ball. One route uses the squeezing function. For a bounded domain $\mathbb R^3$1, the squeezing function $\mathbb R^3$2 is the supremal radius of a Euclidean ball centered at $\mathbb R^3$3 contained in $\mathbb R^3$4, where $\mathbb R^3$5 ranges over injective holomorphic maps with $\mathbb R^3$6. If $\mathbb R^3$7 is a bounded domain with $\mathbb R^3$8 boundary and there does not exist $\mathbb R^3$9 such that

$\Omega\subset\mathbb R^N$0

then $\Omega\subset\mathbb R^N$1 is biholomorphic to the ball. Equivalently, if there exists a sequence $\Omega\subset\mathbb R^N$2 with

$\Omega\subset\mathbb R^N$3

then $\Omega\subset\mathbb R^N$4 is biholomorphic to $\Omega\subset\mathbb R^N$5. The paper also shows that this fails for domains with only $\Omega\subset\mathbb R^N$6 boundary (Diederich et al., 2016).

A more metric formulation is given through abstract boundaries for bounded complete Kobayashi hyperbolic domains. The Gromov boundary, horosphere boundary, and Busemann boundary are each constructed as faithful abstract boundaries suitable for biholomorphic maps. Model domains are those for which the abstract closure is homeomorphic to the Euclidean closure, and quasi-model domains are those for which the identification is a sequentially continuous surjection. Strongly pseudoconvex domains, Gromov hyperbolic bounded convex domains, smooth bounded convex finite type domains, and smooth bounded pseudoconvex finite type domains in $\Omega\subset\mathbb R^N$7 are model domains for the Gromov boundary, while visible domains with no non-trivial analytic discs in the boundary are semi-model domains. In these classes, biholomorphisms extend continuously or homeomorphically to Euclidean closure (Bracci et al., 2022).

A still stronger classification holds on Kobayashi hyperbolic manifolds covering compact complex manifolds. If $\Omega\subset\mathbb R^N$8 is a hyperbolic complex manifold and $\Omega\subset\mathbb R^N$9 is a bounded subdomain with nonempty $3$00 boundary, containing a totally real boundary point and covering a compact complex manifold, then $3$01 is biholomorphic to the Euclidean ball. The argument passes through bounded symmetric domains and then uses the fact that a bounded symmetric domain with $3$02 boundary must be the ball (Newsome, 4 Apr 2025).

Across these results, the “B” is naturally the ball: a bounded complex domain is rigidly constrained once its intrinsic Kobayashi or squeezing geometry becomes too close to that of $3$03.

5. Bergmann–Shilov boundaries of bounded symmetric domains

A third boundary-centered meaning arises for bounded symmetric domains. In the JB$3$04-triple framework, a bounded symmetric domain is the open unit ball $3$05 of a JB$3$06-triple $3$07. For finite rank triples, the set

$3$08

of extreme points of the closed unit ball coincides with the maximal tripotents and is the finite-dimensional Bergmann–Shilov boundary (Mackey et al., 2021).

The paper extends this boundary principle to finite rank JB$3$09-triples, possibly infinite-dimensional. Its main theorem states that $3$10 is the smallest closed subset $3$11 such that

$3$12

for every scalar-valued holomorphic $3$13 that extends continuously to $3$14 (Mackey et al., 2021). In that sense, $3$15 is the analogue of the Bergmann–Shilov boundary for the algebra $3$16.

The same paper shows that there are many other determining subsets of the boundary. If unitary tripotents exist, their set $3$17 is norm-determining; for every boundary point $3$18, the orbit $3$19 under the identity component of the automorphism group is also determining; and for each rank $3$20 there exists a determining set all of whose points lie in rank-$3$21 boundary components. Nonetheless, only $3$22 is minimal among closed determining sets (Mackey et al., 2021).

Here the relevant “domain” is not defined by extension or ball-rigidity, but by a canonical minimal boundary that determines holomorphic values and sup norms.

6. Cosmological bound domains

In cosmology, a bound domain is the gravitationally bound structure that remains an isolated “island” in the far future of a $3$23CDM universe. For a shell of radius $3$24 and enclosed mass $3$25, the spherical model uses

$3$26

If $3$27 is the total mass of the bound domain, the asymptotic radius of the marginally bound shell is

$3$28

Everything inside the evolving outer boundary $3$29 remains gravitationally bound to the domain; anything reaching $3$30 or beyond is no longer bound (Voit, 24 Feb 2025).

This object differs sharply from a halo defined by an overdensity threshold such as $3$31. The bound domain is typically much larger: in the group-scale example discussed in the paper, $3$32 at low redshift and asymptotes to $3$33 (Voit, 24 Feb 2025). The energetic consequence is that removing baryons from the halo is not the same as removing them from the domain. At $3$34, the baryonic mass between $3$35 and $3$36 is about five times the halo’s baryonic mass, and the baryons out to $3$37 are about fifty times the halo baryonic mass (Voit, 24 Feb 2025).

The paper’s central physical claim is that a bound domain’s potential well was about as deep $3$38 Gyr after the Big Bang as it is now. Early on, the background mass distribution already creates a potential difference from the inner domain to $3$39 that is close to the late-time depth, even though the central halo later grows substantially (Voit, 24 Feb 2025). For a group-scale example with $3$40, the bound-domain energy is

$3$41

and the paper argues that fully unbinding baryons from a cluster-scale domain requires $3$42 erg (Voit, 24 Feb 2025).

This turns “bound domain” into the relevant energetic unit for baryon feedback: the question is not whether gas has left a halo, but whether it has escaped the entire future island universe.

7. Other specialized usages

In heavy-meson effective theory, “bound domains” appear as regions of low-energy-constant parameter space in which heavy-meson pairs form shallow deuteron-like molecules. For bottom-containing systems, the paper studies $3$43 and $3$44 channels, fixes benchmark lines such as

$3$45

and identifies shaded regions in the $3$46 plane where the conditions $3$47 MeV and $3$48 hold simultaneously. Inside these regions, several $3$49 channels become shallow bound states; outside them, only the benchmark state may remain bound or none at all (Abreu, 2022). In this usage, a “B-bound domain” is not a geometric subset of physical space but a coupling-space domain supporting bottom-meson binding.

A more literal geometric usage occurs for bounded domains in $3$50, defined as compact connected $3$51-manifolds with connected smooth boundary embedded in Euclidean space. Their shape is studied by Morse height functions $3$52, Reeb graphs $3$53, weighted Reeb graphs $3$54, and weighted indexed Reeb graphs $3$55. If all weights in $3$56 satisfy $3$57, then the bounded domain is diffeomorphic to a handlebody. Under the minNCP hypothesis, if the domain can be isotoped so that every boundary point is visible from infinity, then it must be an embedded handlebody (Tsuboi, 3 Nov 2025). Here bounded-domain theory is topological and Morse-theoretic rather than analytic or metric-hyperbolic.

Taken together, these usages suggest that “B-bound domains” names a constellation of domain concepts unified not by one formal definition but by a recurring structural theme: a domain is singled out by a privileged asymptotic principle—BBM recovery of first-order structure, extension across the boundary, biholomorphic rigidity toward the ball, a minimal Bergmann–Shilov boundary, permanent cosmological binding, shallow hadronic binding in parameter space, or Reeb-graph control of embedded $3$58-manifolds.