Advertisement

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

  • Walter Whiteley
Part of the Progress in Mathematics book series (PM, volume 161)

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.

Unable to display preview. Download preview PDF.

References

  1. [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. [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. [3]
    B. Bollobas, Graph Theory: An Introductory Course, Springer-Verlag, New York, 1979.MATHGoogle Scholar
  4. [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. [5]
    Invariant theoretic methods in scene analysis and structural mechanics, J. Symbolic Computation 11 (1991), 523–548.CrossRefGoogle Scholar
  6. [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. [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. [8]
    Spaces of stresses, projections and parallel drawings for spherical polyhedra, Contributions to Algebra and Geometry 35 (1994), 259–281.Google Scholar
  9. [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. [10]
    J. Edmonds and G-C. Rota, Submodular set functions, Abstract of the Waterloo Combinatorics Conference, U. Waterloo, Waterloo Ont., 1966.Google Scholar
  11. [11]
    A. Fogelsanger, The generic rigidity of minimal cycles, Ph.D. Thesis, Department of Mathematics, Cornell University (1988).Google Scholar
  12. [12]
    J. Graver, B. Servatius and H. Servatius, Combinatorial Rigidity, vol. 2, AMS Monograph, 1993.Google Scholar
  13. [13]
    J.C. Maxwell, On reciprocal figures and diagrams of forces, Phil. Mag. Sere 4 27 (1864), 250–261.Google Scholar
  14. [14]
    J. E. Munkres, Elements of Algebraic Topology, Addison-Wesley, Reading, Mass., 1984.MATHGoogle Scholar
  15. [15]
    D-J. Ripmeester, Dimension of Spline Spaces, Ph.D. Thesis, Universiteit van Amsterdam, (1995).Google Scholar
  16. [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. [17]
    Homology of skeletal rigidity, preprint (1996).Google Scholar
  18. [18]
    T-S. Tay and W. Whiteley, Generating isostatic frameworks, Structural Topology 11 (1985), 21–69.MathSciNetMATHGoogle Scholar
  19. [19]
    N. White, Tutorial on Grassmann-Cayley Algebra, Invariant Methods in Discrete and Computational Geometry, Kluwer, 1995.Google Scholar
  20. [20]
    W. Whiteley, Motions and stresses of projected polyhedra, Structural Topology 7 (1982), 13–38.MathSciNetMATHGoogle Scholar
  21. [21]
    Cones, infinity and one-story buildings, Structural Topology 8 (1983), 53–70.MathSciNetMATHGoogle Scholar
  22. [22]
    A matroid on hypergraphs with applications to scene analysis and geometry, Discrete Comput. Geometry 4 (1989), 75–95.MathSciNetMATHCrossRefGoogle Scholar
  23. [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. [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

Copyright information

© Birkhäuser 1998

Authors and Affiliations

  • Walter Whiteley
    • 1
  1. 1.Department of Mathematics and StatisticsYork UniversityNorth YorkCanada

Personalised recommendations