Misplaced Pages

In mathematics, a cubical complex (also called cubical set and Cartesian complex) is a set composed of points, line segments, squares, cubes, and their n-dimensional counterparts. They are used analogously to simplicial complexes and CW complexes in the computation of the homology of topological spaces. Non-positively curved and CAT(0) cube complexes appear with increasing significance in geometric group theory.

Definitions

With regular cubes

A unit cube (often just called a cube) of dimension ${\displaystyle n\geq 0}$ is the metric space obtained as the finite (${\displaystyle l^{2}}$) cartesian product ${\displaystyle C_{n}=I^{n}}$ of ${\displaystyle n}$ copies of the unit interval ${\displaystyle I=}$.

A face of a unit cube is a subset ${\displaystyle F\subset {C_{n}}}$ of the form ${\displaystyle F=\prod _{i=1}^{n}J_{i}}$, where for all ${\displaystyle 1\leq i\leq n}$, ${\displaystyle J_{i}}$ is either ${\displaystyle \{0\}}$, ${\displaystyle \{1\}}$, or ${\displaystyle }$. The dimension of the face ${\displaystyle F}$ is the number of indices ${\displaystyle i}$ such that ${\displaystyle J_{i}=}$; a face of dimension ${\displaystyle k}$, or ${\displaystyle k}$-face, is itself naturally a unit elementary cube of dimension ${\displaystyle k}$, and is sometimes called a subcube of ${\displaystyle F}$. One can also regard ${\textstyle \emptyset }$ as a face of dimension ${\textstyle -1}$.

A cubed complex is a metric polyhedral complex all of whose cells are unit cubes, i.e. it is the quotient of a disjoint union of copies of unit cubes under an equivalence relation generated by a set of isometric identifications of faces. One often reserves the term cubical complex, or cube complex, for such cubed complexes where no two faces of a same cube are identified, i.e. where the boundary of each cube is embedded, and the intersection of two cubes is a face in each cube.

A cube complex is said to be finite-dimensional if the dimension of the cubical cells is bounded. It is locally finite if every cube is contained in only finitely many cubes.

With irregular cubes

An elementary interval is a subset ${\displaystyle I\subsetneq \mathbf {R} }$ of the form

${\displaystyle I=\quad {\text{or}}\quad I=}$

for some ${\displaystyle l\in \mathbf {Z} }$. An elementary cube ${\displaystyle Q}$ is the finite product of elementary intervals, i.e.

${\displaystyle Q=I_{1}\times I_{2}\times \cdots \times I_{d}\subsetneq \mathbf {R} ^{d}}$

where ${\displaystyle I_{1},I_{2},\ldots ,I_{d}}$ are elementary intervals. Equivalently, an elementary cube is any translate of a unit cube ${\displaystyle ^{n}}$ embedded in Euclidean space ${\displaystyle \mathbf {R} ^{d}}$ (for some ${\displaystyle n,d\in \mathbf {N} \cup \{0\}}$ with ${\displaystyle n\leq d}$). A set ${\displaystyle X\subseteq \mathbf {R} ^{d}}$ is a cubical complex (or cubical set) if it can be written as a union of elementary cubes (or possibly, is homeomorphic to such a set).

Related terminology

Elementary intervals of length 0 (containing a single point) are called degenerate, while those of length 1 are nondegenerate. The dimension of a cube is the number of nondegenerate intervals in ${\displaystyle Q}$, denoted ${\displaystyle \dim Q}$. The dimension of a cubical complex ${\displaystyle X}$ is the largest dimension of any cube in ${\displaystyle X}$.

If ${\displaystyle Q}$ and ${\displaystyle P}$ are elementary cubes and ${\displaystyle Q\subseteq P}$, then ${\displaystyle Q}$ is a face of ${\displaystyle P}$. If ${\displaystyle Q}$ is a face of ${\displaystyle P}$ and ${\displaystyle Q\neq P}$, then ${\displaystyle Q}$ is a proper face of ${\displaystyle P}$. If ${\displaystyle Q}$ is a face of ${\displaystyle P}$ and ${\displaystyle \dim Q=\dim P-1}$, then ${\displaystyle Q}$ is a facet or primary face of ${\displaystyle P}$.

In algebraic topology

In algebraic topology, cubical complexes are often useful for concrete calculations. In particular, there is a definition of homology for cubical complexes that coincides with the singular homology, but is computable.

In geometric group theory

This section needs expansion. You can help by adding to it. (November 2024)

Groups acting geometrically by isometries on CAT(0) cube complexes provide a wide class of examples of CAT(0) groups.

The Sageev construction can be understood as a higher-dimensional generalization of Bass-Serre theory, where the trees are replaced by CAT(0) cube complexes. Work by Daniel Wise has provided foundational examples of cubulated groups. Agol's theorem that cubulated hyperbolic groups are virtually special has settled the hyperbolic virtually Haken conjecture, which was the only case left of this conjecture after Thurston's geometrization conjecture was proved by Perelman.

CAT(0) cube complexes

Gromov's theorem

Hyperplanes

CAT(0) cube complexes and group actions

The Sageev construction

RAAGs and RACGs

See also

• Simplicial complex
• Simplicial homology
• Abstract cell complex

References

1. Kovalevsky, Vladimir. "Introduction to Digital Topology Lecture Notes". Archived from the original on 2020-02-23. Retrieved November 30, 2021.
2. Bridson, Martin R.; Haefliger, André (1999), Bridson, Martin R.; Haefliger, André (eds.), "Mκ—Polyhedral Complexes", Metric Spaces of Non-Positive Curvature, Berlin, Heidelberg: Springer, p. 115, doi:10.1007/978-3-662-12494-9_7, ISBN 978-3-662-12494-9, retrieved 2024-11-19
3. Werman, Michael; Wright, Matthew L. (2016-07-01). "Intrinsic Volumes of Random Cubical Complexes". Discrete & Computational Geometry. 56 (1): 93–113. arXiv:1402.5367. doi:10.1007/s00454-016-9789-z. ISSN 0179-5376.
4. Kaczynski, Tomasz; Mischaikow, Konstantin; Mrozek, Marian (2004). Computational Homology. New York: Springer. ISBN 9780387215976. OCLC 55897585.
5. Sageev, Michah (1995). "Ends of Group Pairs and Non-Positively Curved Cube Complexes". Proceedings of the London Mathematical Society. s3-71 (3): 585–617. doi:10.1112/plms/s3-71.3.585.
6. Daniel T. Wise, The structure of groups with a quasiconvex hierarchy, https://docs.google.com/file/d/0B45cNx80t5-2NTU0ZTdhMmItZTIxOS00ZGUyLWE0YzItNTEyYWFiMjczZmIz/edit?pli=1
7. Agol, Ian (2013). "The virtual Haken Conjecture". Doc. Math. 18. With an appendix by Ian Agol, Daniel Groves, and Jason Manning: 1045–1087. doi:10.4171/dm/421. MR 3104553. S2CID 255586740.

v t e Topology
Fields	General (point-set) Algebraic Combinatorial Continuum Differential Geometric low-dimensional Homology cohomology Set-theoretic Digital
Key concepts	Open set / Closed set Interior Continuity Space compact connected Hausdorff metric uniform Homotopy homotopy group fundamental group Simplicial complex CW complex Polyhedral complex Manifold Bundle (mathematics) Second-countable space Cobordism
Metrics and properties	Euler characteristic Betti number Winding number Chern number Orientability
Key results	Banach fixed-point theorem De Rham cohomology Invariance of domain Poincaré conjecture Tychonoff's theorem Urysohn's lemma
Category Mathematics portal Wikibook Wikiversity Topics general algebraic geometric Publications

• Cubes
• Topological spaces
• Algebraic topology
• Computational topology