The variety of orthogonal frames

Abstract: An orthogonal n-frame is an ordered set of n pairwise orthogonal vectors. The set of all orthogonal n-frames in a d-dimensional quadratic vector space is an algebraic variety V(d,n). In this paper, we investigate the variety V(d,n) as well as the quadratic ideal I(d,n) generated by the orthogonality relations, which cuts out V(d,n). We classify the irreducible components of V(d,n), give criteria for the ideal I(d,n) to be prime or a complete intersection, and for the variety V(d,n) to be normal. We also give near-equivalent conditions for V(d,n) to be factorial. Applications are given to the theory of Lovász-Saks-Schrijver ideals.