Topological Join Operation

• Topological join is a construction that combines spaces, simplicial complexes, or other objects by coning off each factor along an interval, resulting in a characteristic degree shift.
• The operation has multiple formulations—including abstract, quotient-space, and geometric joins—that offer varied chain-level interpretations and homological insights.
• It also facilitates applications in topological data analysis, singularity theory, and combinatorics with extensions like augmental joins and join theorems for Milnor fibers.

Searching arXiv for recent and foundational papers on topological joins and related formulations. Using the arXiv search tool to retrieve papers on topological joins, geometric joins, and join theorems. The topological join operation is a construction that combines spaces, simplicial complexes, or related objects by adjoining a new interval parameter and collapsing opposite ends onto the two factors. In its classical form, for spaces $A$ and $B$, the join is

$$A*B=\frac{A\times B\times[0,1]}{\{(a,b,0)\sim(a,b',0)\}\cup\{(a,b,1)\sim(a',b,1)\}},$$

while for finite simplicial complexes with disjoint vertex-sets it is the abstract join

$$K*L=\{\sigma\cup\tau\mid \sigma\in K,\ \tau\in L\}.$$

Across algebraic topology, topological combinatorics, TDA, and singularity theory, the join serves as a dimension-raising operation with a characteristic homological shift, and several distinct but related formulations coexist: the simplicial join used in chain-level constructions (Ellis, 2015), the classical quotient-space join and its geometric realizations (Barany et al., 2013), the augmental join with a strict $(-1)$-dimensional unit (Fors, 2012), and join theorems describing Milnor fibres of sums of real-analytic germs (Inaba, 2020).

1. Formal definitions and principal variants

For finite simplicial complexes $K$ and $L$ with disjoint vertex-sets, the abstract join is defined by

$$K*L=\{\sigma\cup\tau\mid \sigma\in K,\ \tau\in L\}.$$

If $\sigma=[v_0,\dots,v_p]\in C_p(K)$ and $\tau=[w_0,\dots,w_q]\in C_q(L)$, one orders the union of vertices as

$B$0

which already exhibits the characteristic degree shift by $B$1 (Ellis, 2015).

For topological spaces, the reduced join is the quotient

$B$2

and it satisfies the formal property

$B$3

This quotient-space description makes explicit that the construction “cones off” each factor at opposite ends of the interval (Barany et al., 2013).

A distinct Euclidean incarnation is the geometric join. For subsets $B$4,

$B$5

equivalently the union of all colorful simplices, that is, convex hulls of one point from each $B$6. One may realize the abstract join of the discrete sets $B$7 as a simplicial complex and linearly map it into $B$8; its image is $B$9. In general the homotopy type of the geometric join can be strictly simpler than that of the abstract join (Barany et al., 2013).

Fors introduced an augmental reformulation in the category $$A*B=\frac{A\times B\times[0,1]}{\{(a,b,0)\sim(a,b',0)\}\cup\{(a,b,1)\sim(a',b,1)\}},$$0, where the new isolate $$A*B=\frac{A\times B\times[0,1]}{\{(a,b,0)\sim(a,b',0)\}\cup\{(a,b,1)\sim(a',b,1)\}},$$1 is the unique $$A*B=\frac{A\times B\times[0,1]}{\{(a,b,0)\sim(a,b',0)\}\cup\{(a,b,1)\sim(a',b,1)\}},$$2-dimensional space and serves as a strict join-unit. In that setting the augmental join $$A*B=\frac{A\times B\times[0,1]}{\{(a,b,0)\sim(a,b',0)\}\cup\{(a,b,1)\sim(a',b,1)\}},$$3 is defined by a pushout, equivalently by

$$A*B=\frac{A\times B\times[0,1]}{\{(a,b,0)\sim(a,b',0)\}\cup\{(a,b,1)\sim(a',b,1)\}},$$4

with the boundary identifications collapsing $$A*B=\frac{A\times B\times[0,1]}{\{(a,b,0)\sim(a,b',0)\}\cup\{(a,b,1)\sim(a',b,1)\}},$$5 onto $$A*B=\frac{A\times B\times[0,1]}{\{(a,b,0)\sim(a,b',0)\}\cup\{(a,b,1)\sim(a',b,1)\}},$$6 and $$A*B=\frac{A\times B\times[0,1]}{\{(a,b,0)\sim(a,b',0)\}\cup\{(a,b,1)\sim(a',b,1)\}},$$7 onto $$A*B=\frac{A\times B\times[0,1]}{\{(a,b,0)\sim(a,b',0)\}\cup\{(a,b,1)\sim(a',b,1)\}},$$8 (Fors, 2012).

2. Chain-level structure and homological consequences

Over $$A*B=\frac{A\times B\times[0,1]}{\{(a,b,0)\sim(a,b',0)\}\cup\{(a,b,1)\sim(a',b,1)\}},$$9-coefficients, the simplicial join induces a bilinear chain map

$$K*L=\{\sigma\cup\tau\mid \sigma\in K,\ \tau\in L\}.$$0

If

$$K*L=\{\sigma\cup\tau\mid \sigma\in K,\ \tau\in L\}.$$1

then

$$K*L=\{\sigma\cup\tau\mid \sigma\in K,\ \tau\in L\}.$$2

In particular, if $$K*L=\{\sigma\cup\tau\mid \sigma\in K,\ \tau\in L\}.$$3 and $$K*L=\{\sigma\cup\tau\mid \sigma\in K,\ \tau\in L\}.$$4 are cycles then $$K*L=\{\sigma\cup\tau\mid \sigma\in K,\ \tau\in L\}.$$5 is again a cycle (Ellis, 2015).

The boundary formula over $$K*L=\{\sigma\cup\tau\mid \sigma\in K,\ \tau\in L\}.$$6 is

$$K*L=\{\sigma\cup\tau\mid \sigma\in K,\ \tau\in L\}.$$7

Over a general field $$K*L=\{\sigma\cup\tau\mid \sigma\in K,\ \tau\in L\}.$$8, with ordered vertices, the signed formula becomes

$$K*L=\{\sigma\cup\tau\mid \sigma\in K,\ \tau\in L\}.$$9

The $(-1)$0-setting eliminates the sign bookkeeping but not the degree shift (Ellis, 2015).

A convenient inverse “join-projection” chain map is

$(-1)$1

specified by

$(-1)$2

where $(-1)$3 denotes the unique $(-1)$4-simplex in the augmented complex. It satisfies

$(-1)$5

This map is central in the homological analysis of joined cycles (Ellis, 2015).

Ellis’s Theorem 1.2 states: if $(-1)$6 and $(-1)$7 are nontrivial classes represented by cycles $(-1)$8 and $(-1)$9, and if $K$0 lies in a subcomplex $K$1 and represents a nonzero class in $K$2, then the inclusion-induced map

$K$3

carries $K$4 to a nontrivial class. The proof uses the composition

$K$5

and the Künneth theorem over a field, under which

$K$6

sends $K$7. Proposition 1.3 gives the converse: if $K$8 is non-bounding in $K$9, then $L$0 and $L$1 must already represent nontrivial homology in $L$2 and $L$3, respectively (Ellis, 2015).

3. Monoidal and augmental formulations

In the augmental category $L$4, the join is not merely associative and symmetric up to homotopy; it is organized as a closed symmetric monoidal structure. There is a faithful functor

$L$5

and the augmental join-unit is

$L$6

The three point-free objects are explicitly distinguished: $L$7 as classical empty space and join-zero, $L$8 as simplicial join-unit in $L$9-complexes, and $$K*L=\{\sigma\cup\tau\mid \sigma\in K,\ \tau\in L\}.$$0 as the new topological join-unit of dimension $$K*L=\{\sigma\cup\tau\mid \sigma\in K,\ \tau\in L\}.$$1 (Fors, 2012).

The operation $$K*L=\{\sigma\cup\tau\mid \sigma\in K,\ \tau\in L\}.$$2 satisfies canonical associativity,

$$K*L=\{\sigma\cup\tau\mid \sigma\in K,\ \tau\in L\}.$$3

strict unit laws,

$$K*L=\{\sigma\cup\tau\mid \sigma\in K,\ \tau\in L\}.$$4

and symmetry,

$$K*L=\{\sigma\cup\tau\mid \sigma\in K,\ \tau\in L\}.$$5

Moreover, there is a natural homeomorphism

$$K*L=\{\sigma\cup\tau\mid \sigma\in K,\ \tau\in L\}.$$6

so $$K*L=\{\sigma\cup\tau\mid \sigma\in K,\ \tau\in L\}.$$7 is a closed symmetric monoidal category (Fors, 2012).

This formulation aligns topological joins with augmented simplicial constructions. If $$K*L=\{\sigma\cup\tau\mid \sigma\in K,\ \tau\in L\}.$$8 are $$K*L=\{\sigma\cup\tau\mid \sigma\in K,\ \tau\in L\}.$$9-complexes with geometric realizations $\sigma=[v_0,\dots,v_p]\in C_p(K)$0, then

$\sigma=[v_0,\dots,v_p]\in C_p(K)$1

Fors further states that the Stanley–Reisner functor $\sigma=[v_0,\dots,v_p]\in C_p(K)$2 carries simplicial join to tensor product, and geometric realization carries that back to topological join (Fors, 2012).

Several classical identities appear naturally in this setting. For $\sigma=[v_0,\dots,v_p]\in C_p(K)$3,

$\sigma=[v_0,\dots,v_p]\in C_p(K)$4

and for disjoint manifolds $\sigma=[v_0,\dots,v_p]\in C_p(K)$5,

$\sigma=[v_0,\dots,v_p]\in C_p(K)$6

The join also admits a Künneth theorem with the characteristic degree shift: $\sigma=[v_0,\dots,v_p]\in C_p(K)$7 under the stated excision and torsion hypotheses (Fors, 2012).

4. Geometric joins, connectivity, and contractibility thresholds

The geometric join links join constructions to convexity and discrete geometry. It arises naturally in the colorful Carathéodory and Tverberg theorems, and in transversal-Helly-type questions. Its central conjecture, due to Bárány–Holmsen–Karasev, is that if $\sigma=[v_0,\dots,v_p]\in C_p(K)$8, then for any subsets $\sigma=[v_0,\dots,v_p]\in C_p(K)$9, the geometric join $\tau=[w_0,\dots,w_q]\in C_q(L)$0 is contractible. This remains open even for $\tau=[w_0,\dots,w_q]\in C_q(L)$1 when each $\tau=[w_0,\dots,w_q]\in C_q(L)$2 has only two points (Barany et al., 2013).

Exact results are known in low dimensions. For $\tau=[w_0,\dots,w_q]\in C_q(L)$3, whenever $\tau=[w_0,\dots,w_q]\in C_q(L)$4, the union of all colorful triangles is star-shaped, hence contractible. For $\tau=[w_0,\dots,w_q]\in C_q(L)$5, Theorem 6.1 states: if $\tau=[w_0,\dots,w_q]\in C_q(L)$6 and $\tau=[w_0,\dots,w_q]\in C_q(L)$7, then $\tau=[w_0,\dots,w_q]\in C_q(L)$8 is contractible. The proof combines simple connectedness with vanishing $\tau=[w_0,\dots,w_q]\in C_q(L)$9 in a connected $B$00-dimensional union of simplices (Barany et al., 2013).

In arbitrary dimension, stronger but higher-threshold sufficient conditions are known. Theorem 4.1 states that if $B$01, then $B$02 is star-shaped, hence contractible. More generally, Theorem 4.2 states that if

$B$03

then $B$04 is $B$05-connected. The same picture extends to matroidal geometric joins: $B$06 with contractibility when $B$07 and simple connectedness when $B$08 (Barany et al., 2013).

A recurring misconception is that the abstract join and the geometric join should have comparable homotopy type. The cited results explicitly warn against this: the abstract join of $B$09 non-trivial finite sets is a wedge of $B$10-spheres, whereas the geometric join $B$11 can collapse many of those spheres and, under the conjectured threshold $B$12, would become contractible (Barany et al., 2013).

5. Join signatures in concurrence topology and Dowker filtrations

In concurrence topology, a TDA method for binary data, one constructs a filtration consisting of Dowker complexes and computes persistent homology. Persistent classes correspond to a form of negative statistical association among the variables. Ellis analyzes how the topological join appears when two groups of binary variables are examined separately and then combined (Ellis, 2015).

Suppose two groups of variables display negative association individually, manifested in nontrivial concurrence homology in dimensions $B$13 and $B$14. If the two groups are statistically independent and the sample size is large, then representative cycles, one from each group, combine to produce a cycle in dimension $B$15. In the Dowker-filtration setting, at each frequency threshold one has a complex $B$16 on variables $B$17, with $B$18 the induced subcomplex on the first $B$19 variables and $B$20 the induced subcomplex on the last $B$21. If

$B$22

in law, then “with high probability” every simplex $B$23 and $B$24 will jointly appear in $B$25, so $B$26 will look like $B$27. Long-lived classes in $B$28 and $B$29 then give rise, via the join operator, to nontrivial classes in $B$30 (Ellis, 2015).

The diagnostic proposed there compares persistence in the filtration

$B$31

and regards any class that survives at least two steps as a signature of independence. This use of joins is therefore not merely formal; it provides a topological criterion for dependence among groups of variables (Ellis, 2015).

The limitations are explicit. One needs $B$32 so that every $B$33 is a genuine simplex of $B$34. One also needs nontrivial factors: both $B$35 and $B$36 must be nonzero, and $B$37 must lie as a cycle in the test complex $B$38. Ellis’s examples further show that not every nontrivial class in a subcomplex of a join is literally of the form $B$39: the hexagon example gives a $B$40-cycle that is nontrivial but is not of join form, and Example 1.4(3) gives a $B$41-cycle nontrivial in both $B$42 and $B$43 that again is not literally a join $B$44 (Ellis, 2015).

6. Join theorems for Milnor fibres and real-analytic singularities

Inaba’s join theorem places the topological join at the center of the topology of real-analytic singularities. Let

$B$45

be real-analytic germs of independent variables, with $B$46, each satisfying: $B$47 is an isolated critical value and $B$48 satisfies the Thom-$B$49-condition with respect to some Whitney stratification of $B$50. Writing

$B$51

on $B$52, one obtains tubular Milnor fibrations for $B$53, $B$54, and $B$55 (Inaba, 2020).

For sufficiently small radii, the tubular Milnor fibre is

$B$56

for any regular value $B$57, and its homotopy type is independent of $B$58, and of the choice of $B$59. The join theorem then states: $B$60 When $B$61, the monodromy of the fibration of $B$62 is, up to homotopy, the join of the monodromies of $B$63 and $B$64 (Inaba, 2020).

The proof proceeds by constructing a tubular Milnor fibration for each germ, showing that $B$65 still satisfies $B$66, analyzing the projection

$B$67

over a radial segment $B$68 from $B$69 to $B$70, and then collapsing boundary pieces to obtain the mapping-cone description of the join. In particular, one finds a homeomorphism

$B$71

followed by a homotopy equivalence

$B$72

with $B$73 and $B$74 (Inaba, 2020).

The theorem has several stated corollaries. For $B$75, if $B$76 denotes the reduced zeta-function of the monodromy of $B$77, then

$B$78

The Seifert form of the link $B$79 is, up to an explicit sign, the tensor-product or “join-product” of the Seifert forms of $B$80 and $B$81. For Neumann–Rudolph’s enhanced Milnor invariants $B$82,

$B$83

and

$B$84

These statements place the join alongside addition of germs as a precise topological operation on Milnor fibres, monodromy, and links (Inaba, 2020).