Mathematical Essays in honor of Gian-Carlo Rota pp 413-437 | Cite as

# An Analogy in Geometric Homology: Rigidity and Cofactors on Geometric Graphs

## Abstract

From recent work in two areas of discrete applied geometry, we abstract a common pattern of families of geometric homologies for graphs realized in projective d-space (for static rigidity) or in the projective plane (for bivariate splines). Using distinct algebraic constructions for the local coefficients of the chain complexes (exterior algebra for statics and symmetric algebra for splines), we explore the underlying analogy between the two theories. The analogy starts with isomorphisms for the lowest two members of the families, moves to a conjectured isomorphism for generic realizations in the third family members (static rigidity in 3-space and C _{2} ^{1} -cofactors for bivariate splines) and a proven difference with a conjectured injection for all higher family members.

The conjectured isomorphism for static rigidity in 3-space and C _{2} ^{1} -cofactors for bivariate splines illustrates fundamental problems in structural rigidity, in polynomial-time algorithms for graph properties which are random polynomial, and in defining ‘freest’ matroids for submodular functions.

### Key words and phrases

geometric homology first-order rigidity static rigidity multivariate splines cofactors exterior algebra symmetric algebra matroids on graphs## Preview

Unable to display preview. Download preview PDF.

### References

- [1]P. Alfeld, L. Schumaker and W. Whiteley,
*The generic dimension of the space of C*^{1}*splines of degree d*≥ 8*on tetrahedral decompositions*, SIAM J. Numer. Anal.**30**(1993),889–920.MathSciNetMATHCrossRefGoogle Scholar - [2]L. Billera,
*Homology of smooth splines: generic triangulations and a conjecture of Strang*, Trans. Amer. Math. Soc.**310**(1988), 325–340.MathSciNetMATHCrossRefGoogle Scholar - [3]B. Bollobas,
*Graph Theory: An Introductory Course*, Springer-Verlag, New York, 1979.MATHGoogle Scholar - [4]H. Crapo,
*Applications of geometric homology*, Geometry and Robotics: proceedings of the workshop, Toulouse, May 26–28, 1988, Lecture Notes in Computer Science #391, Springer-Verlag, 1990, pp. 213–224.Google Scholar - [5]
*Invariant theoretic methods in scene analysis and structural mechanics*, J. Symbolic Computation**11**(1991), 523–548.CrossRefGoogle Scholar - [6]H. Crapo and G-C. Rota,
*The resolving bracket*, Invariant Methods in Discrete and Computational Geometry, Neil White (ed.), Kluwer Academic Publisher, 1995, pp. 197–222.Google Scholar - [7]H. Crapo and W. Whiteley,
*Statics of frameworks and motions of panel structures: a projective geometric introduction*, Structural Topology**6**(1982), 42–82.MathSciNetGoogle Scholar - [8]Spaces of stresses, projections and parallel drawings for spherical polyhedra, Contributions to Algebra and Geometry
**35**(1994), 259–281.Google Scholar - [9]
*3-stresses in 3-space and projections of 4-polytopes: reciprocals, liftings and parallel configurations*, Preprint, Department of Mathematics and Statistics, York University, North York, Ontario (1994).Google Scholar - [10]J. Edmonds and G-C. Rota,
*Submodular set functions*, Abstract of the Waterloo Combinatorics Conference, U. Waterloo, Waterloo Ont., 1966.Google Scholar - [11]A. Fogelsanger,
*The generic rigidity of minimal cycles*, Ph.D. Thesis, Department of Mathematics, Cornell University (1988).Google Scholar - [12]J. Graver, B. Servatius and H. Servatius,
*Combinatorial Rigidity*, vol. 2, AMS Monograph, 1993.Google Scholar - [13]J.C. Maxwell,
*On reciprocal figures and diagrams of forces*, Phil. Mag. Sere 4**27**(1864), 250–261.Google Scholar - [14]J. E. Munkres,
*Elements of Algebraic Topology*, Addison-Wesley, Reading, Mass., 1984.MATHGoogle Scholar - [15]D-J. Ripmeester,
*Dimension of Spline Spaces*, Ph.D. Thesis, Universiteit van Amsterdam, (1995).Google Scholar - [16]T-S. Tay, N. White and W. Whiteley,
*Skeletal rigidity of simplicial complexes, I, II*, Eur. J. Combin.**16**(1995), 381–403, 503–523.MathSciNetMATHCrossRefGoogle Scholar - [17]
*Homology of skeletal rigidity*, preprint (1996).Google Scholar - [18]T-S. Tay and W. Whiteley,
*Generating isostatic frameworks*, Structural Topology**11**(1985), 21–69.MathSciNetMATHGoogle Scholar - [19]N. White,
*Tutorial on Grassmann-Cayley Algebra*, Invariant Methods in Discrete and Computational Geometry, Kluwer, 1995.Google Scholar - [20]W. Whiteley,
*Motions and stresses of projected polyhedra*, Structural Topology**7**(1982), 13–38.MathSciNetMATHGoogle Scholar - [21]
*Cones, infinity and one-story buildings*, Structural Topology**8**(1983), 53–70.MathSciNetMATHGoogle Scholar - [22]
*A matroid on hypergraphs with applications to scene analysis and geometry*, Discrete Comput. Geometry**4**(1989), 75–95.MathSciNetMATHCrossRefGoogle Scholar - [23]
*Combinatorics of bivariate splines*, Applied Geometry and Discrete Mathematics — the Victor Klee Festschrift, DIMACS, vol. 4, AMS, 1991, pp. 587–608.Google Scholar - [24]
*Some Matroids from Discrete Applied Geometry*, Matroid Theory, J. Bonin, J. Oxley and B. Servatius (eds.), Contemporary Mathematics**197**, AMS, 1996, pp. 171–311.Google Scholar