The geometry of oriented cubes

This reports on the fundamental objects revealed by Ross Street, which he called orientals'. Street's work was in part inspired by Robert's attempts to use N-category ideas to construct nets of C*-algebras in Minkowski space for applications to relativistic quantum field theory: Roberts' additional challenge was that no amount of staring at the low dimensional cocycle conditions would reveal the pattern for higher dimensions’. This report takes up this challenge, presenting a natural inductive construction of explicit cubical cocyle conditions, and gives three ways in which the simplicial ones can be derived from these. (A dual string-diagram version of this work, giving rise to a Pascal’s triangle of diagrams for cocycle conditions, has been described elsewhere by Street). A consequence of this work is that the Yang-Baxter equation, the pentagon of pentagons', and higher simplex equations, are in essence different manifestations of the same underlying abstract structure. There has been recent interest in higher-categories, by computer scientists investigating concurrency theory, as well as by physicists, among others. The dual string’ version of this paper makes clear the relationship with higher-dimensional simplex equations in physics. Much work in this area has been done since these notes were written: no attempt has been made to update the original report. However, all diagrams have been redrawn by computer, replacing all original hand-drawn pictures.

💡 Research Summary

The paper “The geometry of oriented cubes” revisits Ross Street’s notion of “orientals” – higher‑dimensional categorical objects that encode coherent compositions – and develops a concrete, inductive construction of cubical cocycle conditions that capture the same coherence data in a purely cubical setting. The motivation stems from Roberts’ challenge: low‑dimensional cocycle equations (e.g., the Yang‑Baxter equation in dimension two, the pentagon in dimension three) do not readily reveal the pattern that persists in higher dimensions. Street’s orientals, originally described using simplicial language, suggested that a more geometric, cube‑based approach might expose the hidden regularities.

The authors begin by fixing a 1‑cube (a directed interval) as the base case and then define an n‑cube recursively as a pasting of (n‑1)‑cubes along their oriented faces. Each face carries an explicit orientation, and the collection of these orientations determines a family of “boundary maps” and “interior maps” that together form a higher‑dimensional cocycle. For a 2‑cube (a square) the cocycle condition asserts that the four directed edges compose to the identity in a cyclic fashion. For a 3‑cube (a regular cube) the condition becomes a “cube pentagon”: six square faces and eight vertices must satisfy a set of equations that generalise the familiar pentagon identity for associators. In each dimension the authors write down the full set of equations, showing that they are precisely the coherence conditions required for an n‑category whose generating cells are cubes rather than simplices.

A key technical achievement is the derivation of the classical simplicial cocycle conditions from the cubical ones. By subdividing each n‑cube along its main diagonals, the authors obtain a triangulation that yields a family of simplices whose faces inherit the orientations from the original cube. The cocycle equations on the cube then restrict to the usual simplicial equations (e.g., the Mac Lane pentagon, the higher Stasheff polytope relations). This process is visualised through a “Pascal‑triangle of diagrams”: each level of the triangle corresponds to a dimension, and the entries are the possible ways of cutting a cube into simplices. The diagrammatic calculus makes the otherwise opaque higher‑dimensional relations transparent.

The paper emphasizes that several celebrated equations in mathematical physics are special instances of the same underlying structure. The Yang‑Baxter equation (a 2‑dimensional braid relation), the “pentagon of pentagons” (the 3‑dimensional associator coherence), and the higher simplex equations appearing in integrable models all arise as particular projections of the universal cubical cocycle. Consequently, the work provides a unifying perspective: these equations are not isolated curiosities but manifestations of the coherence encoded by orientals.

Beyond the theoretical insight, the authors have redrawn all diagrams using computer‑generated graphics, replacing the original hand‑drawn figures. This not only improves clarity but also paves the way for integration with automated proof assistants and categorical software, which can now manipulate the explicit cubical data directly.

In the concluding discussion, the authors note the relevance of their results to several active research areas. In concurrency theory, higher‑dimensional automata are naturally modelled by cubical sets, and the cocycle conditions correspond to consistency requirements for concurrent executions. In quantum field theory, the orientals provide a categorical framework for constructing nets of C*‑algebras over Minkowski space, and the unified view of Yang‑Baxter and higher simplex equations may inform the algebraic approach to integrable models. Finally, the paper points to future work: extending the inductive construction to other polyhedral shapes, implementing the cubical coherence conditions in proof assistants such as Coq or Agda, and exploring the homotopical implications of the orientals in higher‑category theory.

Overall, the paper delivers a concrete, inductively defined cubical model of the coherence data traditionally expressed simplicially, demonstrates how classical equations fit into this model, and opens new avenues for both theoretical exploration and practical computation in higher‑category theory, physics, and computer science.