A Complete Graphic Statics for Rigid-Jointed 3D Frames. Part 2: Homology of loops

This paper extends graphic statics by describing the forces and moments in any 3D rigid-jointed frame structure in terms of cell complexes using homology theory of algebraic topology. Graphic statics provides a highly geometric way to represent the equilibrium in bar structures. Unlike traditional matrix-based linear structural analysis which represents a structure as a set of nodes connected by bars, graphic statics imagines that the bar network defines a variety of higher-dimensional objects (polygonal faces, polyhedral cells, polytopes). These objects are related to piecewise-linear stress functions, the liftings of Maxwell, Rankine or Cremona. The requirement for such stress-functions to be plane-faced places a major limitation on the set of structures that can be analysed, as in many structures the spaces between bars do not correspond to flat polygonal regions. The CW-complexes of cellular homology provide a far-reaching generalisation of geometric notions such as polygons, polyhedra and polytopes, and their use here removes the requirement that spaces between bars must be flat. Here we demonstrate how any frame structure with bar-like members can be decomposed into a union of closed loops, each consisting of a closed circuit of bars. For general structures these loops are general closed space curves which cannot be spanned by flat polygons. Using chains of CW-complexes makes the new theory applicable to a much richer set of structural geometries. Unlike most descriptions of graphic statics, this approach is not restricted to purely axial forces. Shear forces, bending moments and torsional moments are included naturally, as described in Part 1 of this sequence of papers. Later papers will extend the approach to displacements, rotations and Virtual Work, and will give greater detail on how the loop formalism may be lifted toinvolve higher dimensional CW-complexes.

💡 Research Summary

This paper extends the field of graphic statics from its traditional two‑dimensional, plane‑face setting to fully three‑dimensional rigid‑joint frame structures by employing cellular homology and the concept of closed loops (cycles). The authors first model a 3‑D frame as a directed graph X with v vertices (nodes) and e edges (bars). They introduce two free Abelian groups: C₀, generated by the vertices, and C₁, generated by the directed edges. The boundary operator ∂: C₁ → C₀ maps each edge to its terminal vertex minus its initial vertex. The kernel of ∂ consists of all edge combinations whose net boundary is zero – precisely the cycles, or loops, of the structure. Because the groups are Abelian, a cycle can be expressed as any unordered sum of edges, which frees the representation from the sequential path constraints of homotopy theory.

To obtain a basis for the cycle space, the authors select a spanning tree of the graph. By definition a tree contains no cycles; consequently every edge not belonging to the tree (a “non‑tree” edge) together with the unique tree path connecting its endpoints forms an independent fundamental cycle. The number of such basis cycles is e − v + 1, which matches the classical count of self‑stress degrees of freedom in a 3‑D frame (Maxwell‑Calladine). Each basis cycle will be associated with a dual object in a four‑dimensional extended stress space (the usual three spatial axes i, j, k plus an extra axis h representing the stress function).

In the 4‑D stress space there are six bivector planes: i∧j, j∧k, k∧i, i∧h, j∧h, k∧h. The projection of a dual loop onto the first three planes yields the three components of force, while the projections onto the latter three give the three components of the total moment (including torsional and bending contributions). Thus a single dual loop encodes the complete force‑moment resultant acting on any cut of the corresponding structural loop. This dual‑loop construction, introduced in Part 1 for a single loop, is now generalized to an arbitrary frame by assigning a dual loop to each basis cycle.

The physical interpretation is straightforward: cutting each non‑tree bar at an arbitrary point turns the frame into a statically determinate tree. At each cut we apply six independent stress resultants (three forces, three moments) that are equal and opposite on the two cut faces. Each such cut generates a self‑stress in the associated fundamental cycle. Consequently the total number of independent self‑stress states is 6 · (e − v + 1), exactly the well‑known result for 3‑D frames. By superposing the dual loops of any subset of the basis cycles, any admissible self‑stress state can be constructed.

The key theoretical advance lies in replacing the geometric requirement of flat polygonal or polyhedral faces (central to classic graphic statics) with the more flexible notion of CW‑complexes. Cellular homology allows the “faces” between bars to be non‑planar, curved, or even absent, thereby removing the plane‑face limitation and enabling the method to handle highly irregular, curved‑bar, or space‑filling structures. The CW‑complex provides a rigorous algebraic framework while still being amenable to linear‑algebraic computation, bridging the gap between the visual elegance of graphic statics and the matrix‑based techniques familiar to structural engineers.

The paper also discusses the concept of “lifting”: the dual loops live in a 4‑D space that can be viewed as a lift of the 3‑D form diagram into a higher‑dimensional stress diagram. This lift carries the stress function (axis h) and makes the force‑moment information geometrically explicit, preserving the intuitive visual nature of graphic statics while extending it to full 3‑D frames with moments.

Finally, the authors outline future work. Part 3 will incorporate displacements, rotations, and the principle of virtual work into the homological framework, while Part 4 will explore higher‑dimensional CW‑complexes for even richer visualizations and analyses. Overall, the paper presents a comprehensive, mathematically rigorous, and visually intuitive method for representing all possible self‑stress states in arbitrary 3‑D rigid‑joint frames, unifying forces and moments within a single geometric‑algebraic language.