THE ALGEBRAIC GEOMETRY OF STRESSES IN FRAMEWORKS

A bar-and-joint framework, with rigid bars and flexible joints, is said to be generically isostatic if it has just enough bars to be infinitesimally rigid in some realization in Euclidean n-space. We determine the equation that must be satisfied by the coordinates of the joints in a given realization in order to have a nonzero stress, and hence an infinitesimal motion, in the framework. This equation, called the pure condition, is expressed in terms of certain determinants, called brackets. The pure condition is obtained by choosing a way to tie down the framework to eliminate the Euclidean motions, computing a bracket expression by a method due to Rosenberg and then factoring out part of the expression related to the tie-down. A major portion of this paper is devoted to proving that the resulting pure condition is independent of the tie-down chosen. We then catalog a number of small examples and their pure conditions, along with the geometric conditions for the existence of a stress which are equivalent ...

[1]  Lebrecht Henneberg,et al.  Die graphische Statik der Starren Systeme , 1911 .

[2]  W. V. Hodge,et al.  Methods of algebraic geometry , 1947 .

[3]  W. L. Edge Methods of Algebraic Geometry. By W. V. D. Hodge and D. Pedoe. Vol. I: pp. viii, 440; Vol. II: pp. ix, 394. Paperback edition. 17s. 6d. each volume. (Cambridge.) , 1970 .

[4]  Georges Blaha,et al.  Investigations of critical configurations for fundamental range networks , 1971 .

[5]  Critical configurations (determinantal loci) for range and range difference satellite networks , 1973 .

[6]  Gian-Carlo Rota,et al.  On the Foundations of Combinatorial Theory: IX Combinatorial Methods in Invariant Theory , 1974 .

[7]  N. White,et al.  The bracket ring of a combinatorial geometry. I , 1975 .

[8]  Henry H. Crapo,et al.  A combinatorial perspective on algebraic geometry , 1976 .

[9]  1926: The Linear Invariants of Ten Quaternary Quadrics , 1977 .

[10]  W. Whiteley Logic and invariant theory II: Homogeneous coordinates, the introduction of higher quantities, and structural geometry , 1978 .

[11]  Joseph P. S. Kung,et al.  Invariant theory, Young bitableaux, and combinatorics , 1978 .

[12]  E. Bolker,et al.  When is a bipartite graph a rigid framework , 1980 .

[13]  R. Connelly Rigidity and energy , 1982 .

[14]  Kokichi Sugihara,et al.  Mathematical Structures of Line Drawings of Polyhedrons-Toward Man-Machine Communication by Means of Line Drawings , 1982, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[15]  Kokichi Sugihara A unifying approach to descriptive geometry and mechanisms , 1983, Discret. Appl. Math..

[16]  W. Whiteley INFINITESIMAL MOTIONS OF A BIPARTITE FRAMEWORK , 1984 .