Abstract
An important problem in computer-aided geometric reasoning is to automatically find geometric interpretations for algebraic expressions. For projective geometry this question can be reduced to the Cayley factorization problem. A Cayley factorization of a homogeneous bracket polynomial P is a Cayley algebra expression (using only the join and meet operations) which evaluates to P.
We give an introduction to both Cayley algebra and bracket algebra for those readers not already familiar with them. The main result of this paper is an algorithm which solves the Cayley factorization problem in the important special case that P is multilinear.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
J. Bokowski, J. Richter and B. Sturmfels, Polytopal and nonpolytopal spheres: an algorithmic approach, Israel J. Math. 57 (1987), pp. 257–271.
N. Bourbaki, Eléments de Mathématique, Algèbra, Chap. 3, Diffusion C.C.L.S., Paris, 1970.
S. Chou, W.F. Schelter and J. Yang, Characteristic sets and Gröbner bases in geometry theorem proving, in H. Crapo (ed.), Computer-aided geometric reasoning, INRIA Rocquencourt, France, 1987, pp. 29–56.
P. Doubilet, G.-C. Rota and J. Stein, On the foundations of combinatorial theory IX: Combinatorial methods in invariant theory, Studies in Applied Math., 57 (1974), pp. 185–216.
W.H. Greub, Linear algebra, Grundlehren der Mathematischen Wissenschaften, Vol. 97, Second edition, Springer-Verlag, Berlin, or Academic Press, New York, 1963.
W.H. Greub, Multilinear algebra, Grundlehren der Mathematischen Wissenschaften, Vol. 136, Springer-Verlag, Berlin, 1967.
F. Grosshans, G.-C. Rota, and J. Stein, Invariant theory and superalgebras, C.B.M.S. Regional Conference Series, No. 69, Amer. Math. Soc., 1987.
T. Havel, The use of distances as coordinates in computer-aided proofs in Euclidean geometry, preprint.
W.V.D. Hodge and D. Pedoe, Methods of algebraic geometry, Vol. 1 and 2, Cambridge Univ. Press, London, 1946.
B. Kutzler and S. Stifter, On the application of Buchberger's algorithm to automated geometry theorem proving, J. Symbolic Computation, (to appear).
M. Marcus, Finite dimensional multilinear algebra, Parts I and II, Dekker, New York, 1973 and 1975.
T. McMillan, Ph. D. dissertation, University of Florida, in preparation.
C. Procesi, A primer in invariant theory, Brandeis Lecture Notes 1, September, 1982.
G.-C. Rota and J. Stein, Applications of Cayley algebras, Accademia Nazionale dei Lincei atti dei Convegni Lincei 17, Colloquio Internazionale sulle Teorie Combinatoire, Tomo 2, Roma, 1976.
G.-C. Rota and J. Stein, Symbolic method in invariant theory, Nat. Acad. Sci. U.S.A., Mathematics, 83 (1986), pp. 844–847.
B. Sturmfels and N. White, Gröbner bases and invariant theory, to appear, Advances in Math.
B. Sturmfels and W. Whiteley, On the synthetic factorization of homogeneous invariants, preprint.
H.W. Turnbull, The theory of determinants, matrices, and invariants, Blackie and Son, London, 1928.
N. White and W. Whiteley, The algebraic geometry of stresses in frameworks, S.I.A.M. J. Alg. and Disc. Meth. 4 (1983) pp. 481–511.
N. White and W. Whiteley, The algebraic geometry of motions of bar-and-body frameworks, S.I.A.M. J. Alg. and Disc. Meth. 8 (1987) pp. 1–32.
A. Young, On quantitative substitutional analysis, (3rd paper), Proc. London Math Soc., Ser. 2, 28 (1928), pp. 255–292.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1989 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
White, N.L., McMillan, T. (1989). Cayley factorization. In: Gianni, P. (eds) Symbolic and Algebraic Computation. ISSAC 1988. Lecture Notes in Computer Science, vol 358. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-51084-2_50
Download citation
DOI: https://doi.org/10.1007/3-540-51084-2_50
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-51084-0
Online ISBN: 978-3-540-46153-1
eBook Packages: Springer Book Archive