Instruction: Write an abstract for the following acadamic paper.

Input:
Paper: we have recorded the flight of a fly during take off and landing using digital high speed photography . it is shown that the dynamics of flexible wings are different for these procedures . during this observation fly flew freely in a big box and it was not tethered .
Abstract: in this fluid dynamics video , we demonstrated take off and landing of a fly . the deformation of wings is in focus in this video .

Paper: an _ orbitope _ is the convex hull of an orbit of a compact algebraic group @xmath2 acting linearly on a real vector space . the orbit has the structure of a real algebraic variety , and the orbitope is a convex , semi - algebraic set . thus , the study of algebraic orbitopes lies at the heart of _ convex algebraic geometry _  the fusion of convex geometry and ( real ) algebraic geometry . orbitopes have appeared in many contexts in mathematics and its applications . orbitopes of finite groups are highly symmetric convex polytopes which include the platonic solids , permutahedra , birkhoff polytopes , and other favorites from ziegler s text book @xcite , as well as the coxeter orbihedra studied by mccarthy , ogilvie , zobin , and zobin  @xcite . farran and robertson s regular convex bodies  @xcite are orbitopal generalzations of regular polytopes , which were classified by madden and robertson  @xcite . orbitopes for compact lie groups , such as @xmath0 , have appeared in investigations ranging from protein structure prediction  @xcite and quantum information  @xcite to calibrated geometries  @xcite . barvinok and blekherman studied the volumes of convex bodies dual to certain @xmath0-orbitopes , and they concluded that there are many more non - negative polynomials than sums of squares @xcite . this paper initiates the study of orbitopes as geometric objects in their own right . the questions we ask about orbitopes originate from three different perspectives : _ convexity _ , _ algebraic geometry _ , and _ optimization_. in convexity , one would seek to characterize all faces of an orbitope . in algebraic geometry , one would examine the zariski closure of its boundary and identify the components and singularities of that hypersurface . in optimization , one would ask whether the orbitope is a spectrahedron or the projection of a spectrahedron . spectrahedra are to semidefinite programming what polyhedra are to linear programming . more precisely , a _ spectrahedron _ is the intersection of the cone of positive semidefinite matrices with an affine space . it can be represented as the set of points @xmath3 such that @xmath4 where @xmath5 are symmetric matrices and @xmath6 denotes positive semidefiniteness . from a spectrahedral description many geometric properties , both convex and algebraic , are within reach . furthermore , if an orbitope admits a representation ( [ eq : lmi ] ) then it is easy to maximize or minimize a linear function over that orbitope . here is a simple illustration . [ ex : hankelsmall ] consider the action of the group @xmath7 on the space @xmath8 of binary quartics and take the convex hull of the orbit of @xmath9 . the four - dimensional convex body @xmath10 is a _ carathodory orbitope_. this orbitope is a spectrahedron : it coincides with the set of all binary quartics @xmath11 such that @xmath12 this representation ( [ 3by3hankel ] ) will be derived in section 5 , where we will also see that it is equivalent to classical results from the theory of positive polynomials @xcite . the hankel matrix shows that the boundary of @xmath10 is an irreducible cubic hypersurface in @xmath13 , defined by the vanishing of the hankel determinant . it also reveals that this four - dimensional carathodory orbitope is @xmath14-neighborly : the extreme points are the rank one matrices , and any two of them are connected by an edge . the typical intersection of @xmath10 with a three - dimensional affine plane looks like an inflated tetrahedron . this three - dimensional convex body is bounded by _ cayley s cubic surface _ , shown in figure  [ f : fat_tetrahedron ] . alternative pictures of this convex body can be found in ( * ? ? ? * fig .  3 ) and ( * ? ? ? * fig .  4 ) . the four vertices of the tetrahedron lie on the curve @xmath15 , and its six edges are inclusion - maximal faces of @xmath10 . @xmath16{figures / free - spec}\ ] ] -0.3 cm [ f : fat_tetrahedron ]    this article is organized as follows . we begin by deriving the basic definitions and a few general results about orbitopes , and we formulate * ten key questions * which will guide our subsequent investigations . these are organized along the themes of convex geometry ( subsection 2.1 ) , algebraic geometry ( subsection 2.2 ) and optimization ( subsection 2.3 ) . these questions are difficult . they are meant to motivate the reader and to guide our investigations . we are not yet able to offer a complete solution to any of these ten problems . section 3 is concerned with the action of @xmath1 and @xmath0 by conjugation on @xmath17-matrices . these decompose into the actions by conjugation on symmetric and skew - symmetric matrices . the resulting _ schur - horn orbitopes _ are shown be spectrahedra , their algebraic boundary is computed , and their face lattices are derived from certain polytopes known as permutahedra . the spectrahedral representations of the schur - horn orbitopes , stated in theorems [ thm : symspec ] and [ thm : skewsymspec ] , rely on certain schur functors also known as the _ additive compound matrices_.    given a compact real algebraic group of @xmath17-matrices , we can form its convex hull in @xmath18 . the resulting convex bodies are the _ tautological orbitopes_. in subsection 4.2 we study the tautological orbitope and its dual coorbitope for the group @xmath1 . both are spectrahedra , characterized by constraints on singular values , and they are unit balls for the operator and nuclear matrix norm considered in @xcite . subsections 4.1 and 4.4 are devoted to the tautological orbitope for @xmath0 . a characterization of its faces is given in theorem [ thm : sontauto ] . the orbitopes of the group @xmath19 are the convex hulls of trigonometric curves , a classical topic initiated by carathodory in @xcite , further developed in @xcite , and our primary focus in section 5 . these @xmath19-orbitopes can be represented as projections of spectrahedra in two distinct ways : in terms of hermitian toeplitz matrices or in terms of hankel matrices . a natural generalization of the rational normal curves in section 5 are the veronese varieties . their convex hulls , the _ veronese orbitopes _ , are dual to the cones of polynomials that are non - negative on @xmath20 , as seen in @xcite . in section 6 we undertake a detailed study of the @xmath21-dimensional veronese orbitope and its coorbitope which arise from ternary quartics . in section 7 we mesh our investigations with a line of research in differential geometry . the _ grassmann orbitope _ is the convex hull of the oriented grassmann variety in its plcker embedding in the unit sphere in @xmath22 . this vector space is the @xmath23-th exterior power of @xmath24 and it is isomorphic to @xmath25 . the facial structure of grassmann orbitopes has been studied in the theory of calibrated manifolds @xcite . we take a fresh look at these orbitopes from the point of view of convex algebraic geometry . theorem [ thm : g2n ] furnishes a spectrahedral representation and the algebraic boundary in the special case @xmath26 , while theorem [ thm : g36bad ] shows that the grassmann orbitopes fail to be spectrahedra in general . let @xmath2 be a real , compact , linear algebraic group , that is , a compact subgroup of @xmath27 for some @xmath28 given as a subvariety . prototypic examples are the _ special orthogonal group _ @xmath29 and the _ unitary group _ @xmath30 . a real representation of @xmath2 is a group homomorphism @xmath31 for some finite dimensional real vector space @xmath32 . we will write @xmath33 for @xmath34 and @xmath35 . the representation is _ rational _ if @xmath36 is a rational map of algebraic varieties . by choosing an inner product @xmath37 on @xmath32 , we may define a @xmath2-invariant inner product as @xmath38 here @xmath39 denotes the _ haar measure _ , which is the unique @xmath2-invariant probability measure on @xmath2 . choosing coordinates on @xmath32 so that @xmath40 becomes the standard inner product on @xmath41 , we can identify the matrix group @xmath2 with a subgroup of the _ orthogonal group _ @xmath42 . the _ orbit _ of a vector @xmath35 under the compact group @xmath2 is the set @xmath43 . this is a bounded subset of @xmath32 . the orbit @xmath44 is a smooth , compact real algebraic variety of dimension @xmath45 here @xmath46 is the _ stabilizer _ of the vector @xmath47 . in particular , the orbit is isomorphic as a @xmath2-variety to the compact homogeneous space @xmath48 . the _ orbitope _ of @xmath2 with respect to the vector @xmath35 is the semialgebraic convex body @xmath49 we tacitly assume that the group @xmath2 and its representation @xmath36 are clear from the context and sometimes we write @xmath50 or @xmath51 for @xmath52 . the dimension of an orbitope @xmath53 is the dimension of the affine hull of the orbit @xmath54 .    for small @xmath55 , the connected subgroups of the orthogonal group @xmath1 are known . this leads to the following census of low - dimensional orbitopes of connected groups . @xmath56    we identify @xmath2 with a subgroup of @xmath0 . we assume @xmath57 is an @xmath55-dimensional orbitope in @xmath24 . this implies that @xmath2 fixes no non - zero vector . here is our census : _ @xmath58 : _ there are no one - dimensional orbitopes because @xmath59 is a point . it is known that every proper connected subgroup of @xmath19 or @xmath60 fixes a non - zero vector , so for @xmath61 , the subgroup @xmath2 must be equal to @xmath0 . this establishes the next two cases :    _ @xmath62 : _ the only orbitopes in @xmath63 are the discs @xmath64 . _ @xmath65 : _ the only orbitopes in @xmath66 are the balls @xmath67 . the four - dimensional case is where things begin to get interesting :    _ @xmath68 : _ the group @xmath69 has connected subgroups @xmath2 of dimension @xmath70 , @xmath14 , @xmath71 and @xmath72 .    * if @xmath73 then @xmath74 and the orbitopes are balls in @xmath13 . * if @xmath75 then @xmath76 , acting as the unit quaternions on all quaternions , @xmath77 , by either left or right multiplication . here the orbitopes are also balls in @xmath13 . * if @xmath78 then @xmath79 . these tori act on @xmath13 through an orthogonal direct sum decomposition @xmath80 and their orbitopes are products of two discs . * if @xmath81 then @xmath82 and we obtain four - dimensional orbitopes that are isomorphic , for some positive integers @xmath83 , to the carathodory orbitopes @xmath84\bigr\}\,.\ ] ] these orbitopes were introduced one century ago by carathodory @xcite . their study was picked up in the 1980s by smilansky  @xcite and recently by barvinok and novik @xcite . we note that @xmath85 is affinely isomorphic to the hankel orbitope in example  [ ex : hankelsmall ] .    to compute the dimensions of orbitopes in general we shall need a pinch of representation theory @xcite . a representation @xmath32 of the group @xmath2 is _ irreducible _ if its only subrepresentations are @xmath86 and @xmath32 . if @xmath32 and @xmath87 are irreducible representations , then the space @xmath88 of equivariant linear maps between them is zero unless @xmath89 . schur s lemma states that @xmath90 is a division algebra over @xmath91 , that is , either @xmath91 , @xmath92 , or @xmath93 . if @xmath94 is a complete list of distinct irreducible representations of @xmath2 , and @xmath32 is any representation of @xmath2 , then we have a canonical decomposition into isotypical representations : @xmath95 this is an isomorphism of @xmath2-modules . the map ( [ eq : isotypical ] ) on each summand is @xmath96 . the image of the @xmath97th summand in @xmath32 is called the _ @xmath98-isotypical component of @xmath32 _ , and when it is non - zero , we say that the irreducible representation @xmath98 _ appears _ in the @xmath2-module @xmath32 . we say that @xmath32 is _ multiplicity - free _ if each irreducible representation @xmath98 appears in @xmath32 at most once , so that @xmath99 has rank 1 or 0 over @xmath100 . suppose that @xmath32 contains the trivial representation and write @xmath101 , where @xmath102 is the trivial isotypical component of @xmath32 and @xmath103 does not contain the trivial representation . any vector @xmath104 can be written as @xmath105 , where @xmath106 and @xmath107 . thus we lose no geometric information in assuming that @xmath32 does not contain the trivial representation . this property ensures that the linear span of an orbit coincides with its affine span . hence the affine span of an orbitope decomposes along its isotypical components : @xmath109 to determine the dimension of @xmath110 for @xmath47 in a single isotypical component @xmath32 we proceed as follows . let @xmath111 with @xmath87 irreducible . then @xmath112 and the affine span of @xmath54 is isomorphic to @xmath113 , where @xmath114 is the rank of the @xmath115-module spanned by @xmath116 . hence , the dimension of @xmath117 over @xmath91 equals @xmath118 . in particular , @xmath119 . if @xmath32 is multiplicity free and @xmath47 has a nonzero projection into each isotypical component of @xmath32 , then @xmath120 . we see this in the carathodory orbitopes for the group @xmath19 of @xmath121 rotation matrices . its nontrivial representations are @xmath122 , where a rotation matric acts through its @xmath123th power , for @xmath124 . let @xmath125 be the orbitope of @xmath19 with respect to a general vector @xmath126 . if @xmath127 , then @xmath32 has two isotypical components and @xmath125 has dimension four . if @xmath128 , then @xmath129 consists of a single isotypical component and @xmath130 is two - dimensional , as @xmath131 , the span of @xmath132 is complex one - dimensional .      orbitopes are convex bodies , and it is natural to begin their study from the perspective of classical convexity . a point @xmath133 in a convex body @xmath134 is an _ extreme point _ if @xmath135 . thus , the set @xmath136 of extreme points of @xmath137 is the minimal subset satisfying @xmath138 . an extrinsic description of @xmath137 is given by its _ support function _ @xmath139 in terms of the support function , the convex body @xmath137 is the set of points @xmath140 such that @xmath141 for every @xmath142 . each linear functional @xmath142 defines an _ exposed face _ of @xmath137 : @xmath143 an exposed face @xmath144 is itself a convex body of dimension @xmath145 . an exposed face of dimension @xmath146 is called an _ exposed point _ of @xmath137 . it follows that every exposed point is extreme , but the inclusion is typically strict . however , for orbitopes , these two notions coincide . every point in the orbit @xmath147 is exposed in its convex hull . in particular , every extreme point of the orbitope @xmath148 is an exposed point .    since @xmath2 acts orthogonally on @xmath32 , the orbit @xmath147 lies entirely in the sphere in @xmath32 that is centered at @xmath146 and contains the point @xmath47 . as every point of the sphere is exposed , the entire orbit consists of exposed points and hence extreme points . a closed subset @xmath149 is a _ face _ if @xmath150 contains the two endpoints to any open segment in @xmath137 it intersects . this includes @xmath151 and @xmath137 itself . an inclusion - maximal proper face of @xmath137 is called a _ facet_. by separation , every face is contained in an exposed face and thus facets are automatically exposed . in general , every exposed face is a face but not conversely . when does an orbitope have only exposed faces ?    the exposed faces of a convex body form a partially ordered set with respect to inclusion , called the _ face lattice_. the face lattice is atomic but in general not coatomic as was pointed out to us by stephan weis . a necessary condition is that the polar body ( see below ) has all faces exposed ( cf . @xcite ) . also , it is generally not graded because `` being a face of '' is not a transitive relation . for example , the four - dimensional barvinok - novik orbitope in section  [ s : caratheodory ] has triangular exposed faces for which the three vertices are exposed but the edges are not . similar behavior is seen in the convex body on the right of figure  [ f : trig_curves ] , which has two triangular exposed facets whose edges and two of three vertices are not exposed . [ question2 ] describe the face lattices of orbitopes .    for an orbitope @xmath152 , the faces come in @xmath2-orbits and these @xmath2-orbits come in algebraic families . in particular , the zero - dimensional faces come in a family parametrized by @xmath2 . the description of these families is the point of question [ question2 ] . for instance , the orbitope in example  [ ex : hankelsmall ] is a four - dimensional , two - neighborly convex body . its exposed points are parametrized by the circle @xmath153 and the edges come in a two - dimensional family . the _ polar body _ @xmath154 is called the _ coorbitope _ of @xmath2 with respect to @xmath104 . our assumption that @xmath32 does not contain the trivial representation ensures that @xmath146 is the centroid of @xmath51 , and this implies @xmath155 . we shall also make use of the cone over the coorbitope @xmath156 . this is the _ coorbitope cone _ @xmath157    for a convex body @xmath137 the assignment @xmath158 defines an _ ( asymmetric ) norm _ on @xmath32 with unit ball @xmath137 . if @xmath137 is centrally - symmetric with respect to the origin , then @xmath159 is an actual norm . in that case the polar body @xmath160 is also centrally - symmetric and @xmath161 is the _ dual norm_. norms and support functions are related by @xmath162 in particular , if @xmath137 is an orbitope , then @xmath159 and @xmath161 are @xmath2-equivariant norms . every point @xmath133 in a convex body @xmath137 is in the convex hull of finitely many extreme points . we denote by @xmath163 the least cardinality of a set @xmath136 of extreme points with @xmath164 . we call @xmath165 the _ carathodory number _ of @xmath137 . carathodory s theorem ( see e.g.  @xcite ) asserts that @xmath166 is bounded from above by @xmath167 . fenchel showed that @xmath168 when the set of extreme points of @xmath137 is connected @xcite . note that the carathodory number of an orbitope @xmath169 in general depends on @xmath47 ( cf . * theorem  4.9 ) ) whereas , for multiplicity - free representations , the dimension of @xmath50 does not . what are the carathodory numbers of orbitopes ? we refer to the recent work of barvinok and blekherman @xcite for more information about the convex geometry of orbitopes and coorbitopes , especially with regard to their volumes .      here we look at orbitopes as objects in real algebraic geometry . fix a rational representation @xmath170 of a compact connected algebraic group @xmath2 . every orbit @xmath44 is an irreducible real algebraic variety in @xmath171 , and we may ask for its prime ideal . by the tarski - seidenberg theorem @xcite , the orbitope is a semi - algebraic set .    which orbitopes are _ basic _ semi - algebraic sets , i.e.   for which triples @xmath172 can @xmath10 be described by a finite conjunction of polynomial equations and inequalities ? the boundary @xmath173 of an orbitope @xmath51 in @xmath171 is a compact semi - algebraic set of codimension  one in its affine span @xmath174 . the zariski closure of @xmath173 is denoted by @xmath175 . we call it the _ algebraic boundary _ of @xmath51 . if @xmath176 then the algebraic boundary @xmath175 is the zero set of a unique ( up to scaling ) reduced polynomial @xmath177 whose coefficients lie in the field of definition of @xmath172 . that field of definition will often be the rational numbers @xmath178 . since scalars in @xmath179 have an exact representation in computer algebra , but scalars in @xmath91 require numerical floating point approximations , we seek to use @xmath179 instead of @xmath91 wherever possible . [ ques : algbound ] how to calculate the algebraic boundary @xmath180 of an orbitope @xmath181 ? the irreducible factors of the polynomial @xmath177 that cuts out @xmath182 arise from various singularities in the boundary @xmath183 of the coorbitope @xmath184 . we believe that a complete answer to question [ ques : algbound ] will involve a whitney stratification of the real algebraic hypersurface @xmath185 . recall that a _ whitney stratification _ is a decomposition into locally closed submanifolds ( strata ) in which the singularity type of each stratum is locally constant along the stratum . the faces of a polytope form a whitney stratification of its boundary , which is dual to the stratification of the polar polytope . we expect a similar duality between the whitney stratification of the boundary of an orbitope and of the boundary of its coorbitope .    how to compute and study the algebraic boundary @xmath186 of the coorbitope @xmath187 ? is every component of @xmath188 the dual variety to a stratum in a whitney stratification of @xmath185 ?    recall that the _ dual variety _ @xmath189 of a subvariety @xmath190 in @xmath171 is the zariski closure of the set of all affine hyperplanes that are tangent to @xmath190 at some regular point . when studying this duality , algebraic geometers usually work in complex projective space @xmath191 rather than real affine space @xmath192 . in some of the examples for @xmath193 seen in this paper , the algebraic boundary @xmath185 of the coorbitope @xmath184 coincides with the dual variety @xmath189 of the orbit @xmath194 . a good example for this is the discriminantal hypersurface in corollary [ cor : discrorbi ] . more generally , we have the impression that the hypersurface @xmath185 is often irreducible while @xmath182 tends to be reducible . for further appearances of dual varieties in convex algebraic geometry see @xcite . @xmath114-th secant variety _ of @xmath15 is the zariski closure of all @xmath195-flats spanned by points of @xmath54 . the study of secant varieties leads to lower bounds for the carathodory number :    [ prop : secant ] if @xmath196 then the @xmath114-th secant variety of @xmath15 is the ambient space  @xmath171 . let @xmath197 . the set of points that lie in the convex hull of @xmath198 points of @xmath15 is dense in @xmath50 and hence is zariski dense in @xmath171 . the @xmath114-th secant variety contains that set . the lower bound for @xmath199 from proposition [ prop : secant ] usually does not match fenchel s upper bound @xmath200 . for instance , consider the carathodory orbitope @xmath50 in example [ ex : hankelsmall ] . its algebraic boundary @xmath201 equals the second secant variety of the orbit @xmath15 , so proposition [ prop : secant ] implies @xmath202 . this orbitope satisfies @xmath203 but @xmath204 . for which orbitopes @xmath205 is the boundary @xmath206 one of the secant varieties of @xmath15  ? when is the lower bound on the carathodory number @xmath207 in proposition [ prop : secant ] tight ?      a fundamental object in convex optimization is the set @xmath208 of positive semidefinite symmetric real @xmath17-matrices . this is the closed basic semi - algebraic cone defined by the non - negativity of the @xmath209 principal minors . it can also be described by only @xmath55 polynomial inequalities , namely , by requiring that the elementary symmetric polynomials in the eigenvalues , i.e.  the suitably normalized coefficients of the characteristic polynomial , be non - negative . the algebraic boundary @xmath210 of the cone @xmath208 is the symmetric @xmath17-determinant . all faces of @xmath208 are exposed , isomorphic to @xmath211 for @xmath212 , and indexed by the lattice of linear subspaces ordered by reverse inclusion . spectrahedra inherit these favorable properties . recall that a _ spectrahedron _ is the intersection of the cone @xmath208 with an affine - linear subspace in @xmath213 . if we know that an orbitope is a spectrahedron then this either answers or simplifies many of our questions . [ ques : isspec1 ] characterize all @xmath214-orbitopes that are spectrahedra . polytopes are special cases of spectrahedra : they arise when the affine - linear space consists of diagonal matrices . one major distinction between polytopes and spectrahedra is that the class of spectrahedra is not closed under projection . that is , the image of a spectrahedron under a linear map is typically not a spectrahedron . see section 5 for orbitopal examples . characterizing projections of spectrahedra among all convex bodies is a major open problem in optimization theory ; see e.g.  @xcite . here is a special case of this general problem :    [ ques : isspec2 ] is every orbitope the linear projection of a spectrahedron ?    in questions [ ques : isspec1 ] and [ ques : isspec2 ] , it is important to keep track of the subfield of @xmath91 over which the data @xmath172 are defined . frequently , this subfield is the rational numbers @xmath178 , and in this case we seek to write the orbitope as a ( projected ) spectrahedron over @xmath178 and not just over @xmath91 . semidefinite programming is the problem of maximizing a linear function over a ( projected ) spectrahedron , and there are efficient numerical algorithms for solving this problem in practice . in our context of orbitopes , the optimization problem can be phrased as follows :    what method can be used for maximizing a linear function @xmath215 over an orbitope @xmath51 ? equivalently , how to evaluate the norm @xmath216 associated with the coorbitope @xmath156 ? this is equivalent to a non - linear optimization problem over the compact group @xmath2 . we seek to find @xmath34 which maximizes @xmath217 . this maximum is an algebraic function of @xmath47 . in this section we study two families of orbitopes for the orthogonal group @xmath218 . this group acts on the lie algebra @xmath219 by restricting the adjoint representation of @xmath27 . the @xmath1-module @xmath220 decomposes into two distinguished invariant subspaces , namely @xmath221 and @xmath222 . these correspond to the normal and tangent space of @xmath223 at the identity . in matrix terms , the spaces of symmetric and skew - symmetric matrices form two natural representations of @xmath1 for the action @xmath224 with @xmath225 and @xmath226 .    for a symmetric matrix @xmath227 we define the _ symmetric schur - horn orbitope _ @xmath228 we shall see that these orbitopes are intimately related to certain polytopes which govern their boundary structure and spectrahedral representation . this connection arises via the classical schur - horn theorem  @xcite . the material in the sections below could also be presented in symplectic language , using the moment maps of atiyah - guillemin - sternberg  @xcite . the @xmath229-dimensional space @xmath221 decomposes into the trivial @xmath1-representation , given by multiples of the identity matrix , and the irreducible representation of symmetric @xmath17-matrices with trace zero . every symmetric matrix @xmath227 is orthogonally diagonalizable over @xmath91 . the ordered list of eigenvalues of @xmath230 is denoted @xmath231 . the orbit @xmath232 equals the set of matrices @xmath233 that satisfy @xmath234 . we shall see that its convex hull @xmath235 is the set of matrices @xmath233 for which @xmath236 is majorized by @xmath237 .    for @xmath238 we say that @xmath239 is _ majorized _ by @xmath133 , written @xmath240 , if @xmath241 , and , after reordering , @xmath242 and @xmath243 , we have @xmath244 for a fixed point @xmath245 , the set of all points @xmath239 majorized by @xmath133 is the convex polytope @xmath246 here @xmath247 denotes the symmetric group , and @xmath248 is the _ permutahedron _ with respect to @xmath133 . this is a well - studied polytope @xcite and is itself an orbitope for @xmath247 . the permutahedron @xmath248 for @xmath249 consists of all points @xmath250 such that @xmath251 and @xmath252$.}\ ] ]    let @xmath253 be the linear projection onto the diagonal . let @xmath227 and @xmath254 its symmetric schur - horn orbitope . then the diagonal @xmath255 is majorized by the vector of eigenvalues @xmath237 . in fact , the orbitope @xmath254 maps linearly onto the permutahedron : @xmath256    [ cor : sh1 ] the schur - horn orbitope equals @xmath257 . we have shown that the right hand side equals @xmath258 . we claim that a matrix @xmath259 is in this set if and only if @xmath259 lies in @xmath260 . this is clear if @xmath259 is a diagonal matrix . it follows for all matrices since both sets are invariant under the @xmath1-action . our next goal is to derive a spectrahedral characterization of @xmath254 . consider the natural action of the lie group @xmath27 on the @xmath114-th exterior power @xmath261 . if @xmath262 is any basis of @xmath24 , then the induced basis vectors of @xmath261 are @xmath263 for @xmath264 . a matrix @xmath265 acts on a basis element by sending it to @xmath266 . we denote by @xmath267 the induced map of lie algebras . the linear map @xmath268 is defined by the rule @xmath269 the @xmath270-matrix that represents @xmath271 in the standard basis of @xmath261 is known as the _ @xmath114-th additive compound matrix _ of the @xmath272-matrix @xmath273 . it has the following main property :    [ lem : compoundeigen ] let @xmath274 with eigenvalues @xmath275 . then @xmath271 is symmetric and has eigenvalues @xmath276 for @xmath264 . let @xmath277 be an eigenbasis for @xmath273 . then the formula ( [ eq : addcomprule ] ) says @xmath278 hence @xmath279 is an eigenvector of @xmath271 with eigenvalue @xmath280 . this leads to the result that each symmetric schur - horn orbitope @xmath254 is a spectrahedron . [ thm : symspec ] let @xmath227 with ordered eigenvalues @xmath281 . then @xmath282    a matrix @xmath233 is in @xmath254 if and only if @xmath236 is in the permutahedron @xmath283 . from the inequality representation in ( [ eq : permineq ] ) , in conjunction with lemma [ lem : compoundeigen ] , we see that this is the case if and only if the largest eigenvalue of @xmath284 is at most @xmath285 .    we shall now derive the description of all faces of the schur - horn orbitope @xmath254 . since @xmath254 is a spectrahedron , by theorem [ thm : symspec ] , we know that all of its faces are exposed faces . hence a face of @xmath254 is the set of points maximizing a linear function @xmath286 . the canonical @xmath1-invariant inner product on @xmath221 is given by @xmath287 and , by identifying spaces , a linear function may be written as @xmath288 . note that the dual space @xmath289 is equipped with the contragredient action , that is , @xmath290 . [ thm : facelatticesh ] every @xmath1-orbit of faces of @xmath254 intersects the pullback of a unique @xmath247-orbit of faces of the permutahedron @xmath283 . in particular , the faces of @xmath254 are products of symmetric schur - horn orbitopes of smaller dimensions corresponding to flags in @xmath24 . let @xmath150 be a face of @xmath254 and let @xmath291 be a linear function maximized at @xmath150 . then the face @xmath292 is given by @xmath293 and we may identify @xmath294 with the orbit @xmath295 . since @xmath273 is orthogonally diagonalizable , the orbit @xmath295 contains the diagonal matrices @xmath296 for @xmath297 . the corresponding faces are the pullbacks of the orbit of faces of @xmath283 given by the linear function @xmath298 . faces of the permutahedron correspond to flags of coordinate subspaces , and @xmath1 translates these to arbitrary flags of subspaces . facets of the permutahedron @xmath248 correspond to coordinate subspaces . replacing these with arbitrary subspaces yields supporting hyperplanes for the schur - horn orbitope @xmath254 . [ cor : sh2 ] the schur - horn orbitope @xmath299 is the set of matrices @xmath233 such that @xmath300    the following three examples show how theorem [ thm : facelatticesh ] translates into explicit face lattices . [ ex : freespec ] let @xmath301 be the diagonal matrix with diagonal @xmath302 . the orbitope @xmath260 is the convex hull of all symmetric rank @xmath70 matrices with trace @xmath70 , and hence @xmath303 . this orbitope plays the role of a `` simplex among spectrahedra '' because every compact spectrahedron is an affine section . the face @xmath304 of the orbitope @xmath254 in direction @xmath274 is isomorphic to @xmath305 where @xmath306 is the unit sphere and @xmath307 is the eigenspace of @xmath273 with maximal eigenvalue . thus , @xmath308 is isomorphic to a lower dimensional schur - horn orbitope for a rank one matrix . we conclude that the face lattice of @xmath254 consists of the linear subspaces of @xmath24 ordered by inclusion . this fact is well known ; see @xcite . the dimension of a face corresponding to a @xmath114-subspace is @xmath309 . the projection @xmath310 is the standard @xmath311-dimensional simplex @xmath312 whose faces correspond to the coordinate subspaces . we now describe continuous analogs to hypersimplices , extending the simplices in example [ ex : freespec ] . fix @xmath313 and let @xmath314 be the diagonal matrix with @xmath114 ones and @xmath315 zeros . the orbitope @xmath316 of the _ @xmath317-spectrahedral hypersimplex _ , as its diagonal projection @xmath318 is the classical @xmath317-hypersimplex ; cf . * example 0.11 ) . for instance , if @xmath68 and @xmath319 then @xmath299 is nine - dimensional and @xmath320 is an octahedron . up to @xmath321-symmetry , the octahedron has one orbit of vertices and edges but two orbits of triangles . the pullback of any edge is a circle , and the pullbacks of the triangles are five - dimensional symmetric schur - horn orbitopes @xmath322 for @xmath323 and @xmath324 . both facets are isomorphic to free spectrahedra . let @xmath227 be a symmetric matrix with distinct eigenvalues , e.g. @xmath325 . the image of @xmath254 under the diagonal map is the classical permutahedron @xmath326 . its face lattice may be described as the collection of all flags of coordinate subspaces in @xmath24 ordered by refinement . we may associate to every @xmath274 the complete flag whose @xmath114-th subspace is the direct sum of the eigenspaces of the first @xmath114 largest eigenvalues . thus , @xmath327 may be identified with the complete flag variety over @xmath91 . as for the facial structure , the face @xmath308 is isomorphic to the convex hull of the orbit @xmath328 . here , the stabilizer decomposes into a product of groups isomorphic to @xmath329 where @xmath330 is the dimension of the @xmath97-th eigenspace of @xmath273 . hence , the face @xmath308 is isomorphic to a cartesian product of generic schur - horn orbitopes and is of dimension @xmath331 . the face only depends on the flag associated to @xmath273 . this implies that the face lattice of @xmath299 is isomorphic to the set of partial flags ordered by refinement . again , in every orbit of flags there is a flag consisting only of coordinate subspaces . these special flags form the face lattice of the standard permutahedron @xmath332 . we regard @xmath299 as a continuous analog of the permutahedron . we conclude this subsection with a discussion of the algebraic boundary @xmath333 of the schur - horn orbitope . let @xmath334 be the smallest subfield of @xmath91 that contains the eigenvalues @xmath335 , and suppose that the @xmath336 are sufficiently general . then the hypersurface @xmath333 is defined in the affine space @xmath337 by the following polynomial of degree @xmath338 in @xmath229 unknowns over the field @xmath334 : @xmath339 however , from a computer algebra perspective , this is not what we want . assuming that @xmath340 has entries in @xmath178 , we prefer not to pass to the field extension @xmath334 , but we want the algebraic boundary @xmath333 to be the @xmath178-zariski closure of the above hypersurface @xmath341 . for instance , suppose that the characteristic polynomial of @xmath340 is irreducible over @xmath178 . then we must take the product of @xmath342 over all permutations of the eigenvalues @xmath335 , and the polynomial @xmath343 that defines @xmath333 over @xmath178 is the reduced part of that product . it equals @xmath344 where @xmath345 denotes the _ tensor sum _ of two square matrices of the same size ( see e.g.  @xcite ) . here the product goes only up to @xmath346 because the matrices @xmath259 and @xmath340 have the same trace .    for special matrices @xmath340 , the characteristic polynomial may factor over @xmath178 , and in this case the algebraic boundary @xmath333 is cut out by a factor of the polynomial @xmath342 or @xmath343 . the space @xmath222 consists of skew - symmetric @xmath17-matrices @xmath347 . the eigenvalues of @xmath347 are purely imaginary , say @xmath348 , where @xmath349 , with @xmath350 and an additional @xmath146 eigenvalue if @xmath55 is odd . thus @xmath347 is not diagonalizable over @xmath91 , but the adjoint @xmath1-action brings the matrix @xmath347 into the normal form @xmath351 here @xmath352 is a suitable matrix in @xmath353 , @xmath354 is the diagonal matrix with diagonal @xmath355 , and we denote @xmath356 . let @xmath357 be the linear map such that @xmath358    if @xmath347 is in normal form as above , then @xmath359 . we call @xmath360 the _ skew - diagonal _ of @xmath347 . in analogy to the symmetric case , the set @xmath361 of all skew - diagonals arising from @xmath299 is nicely behaved ; in fact , the necessary changes are rather modest .    for a point @xmath362 we denote by @xmath363 the vector of absolute values . for @xmath364 let @xmath365 be the set of points @xmath362 such that @xmath366 is _ weakly majorized _ by @xmath367 . this means that @xmath367 and @xmath366 satisfy the majorization conditions except that @xmath368 is allowed . the polytope @xmath369 is the _ @xmath370-permutahedron_. it is the convex hull of the orbit of @xmath133 under the action of the coxeter group @xmath370 , the group of all @xmath371 signed permutations . the @xmath370-permutahedron @xmath365 for @xmath372 consists of all points @xmath362 with @xmath373 $ with $ i \cap j = \emptyset$.}\ ] ]    as expected , we have the following analog of the symmetric schur - horn theorem . let @xmath374 with @xmath375 and @xmath376 the skew - symmetric schur - horn orbitope of @xmath347 . then @xmath377 is weakly majorized by @xmath378 . in particular , we have @xmath379 . the same arguments as in the symmetric case yield the following results .    [ thm : facelatticeskewsh ] every @xmath1 orbit of faces of the skew - symmetric schur - horn orbitope @xmath376 contains the pullback of a unique @xmath370-orbit of faces of the @xmath370-permutahedron @xmath380 . the skew - symmetric schur - horn orbitope @xmath376 coincides with the set of skew - symmetric matrices @xmath259 such that @xmath381 is weakly majorized by @xmath377 . fix @xmath382 and @xmath383 , and @xmath384 . then the system ( [ eq : bpermineq ] ) consists of @xmath385 linear inequalities , namely , six inequalities @xmath386 , twelve inequalities @xmath387 , and eight inequalities @xmath388 . their solution set is the @xmath389-permutahedron @xmath390 , commonly known as the _ truncated cuboctahedron _ , and it has @xmath391 vertices , @xmath392 edges and @xmath385 facets ( six octagons , twelve squares and eight hexagons ) . a picture is shown in figure [ f : b3permuta ] . @xmath393{figures / bpermut}\ ] ] -0.3 cm    let @xmath347 denote a general skew - symmetric @xmath394-matrix . theorem [ thm : facelatticeskewsh ] implies that the facets of the @xmath21-dimensional orbitope @xmath376 come in three families , corresponding to @xmath395-orbits of the octagons , squares , and hexagons in figure [ f : b3permuta ] . the facets arising from the octagons are skew - symmetric schur - horn orbitopes for @xmath69 with skew - diagonal @xmath396 and therefore have dimension six . the facets arising from the squares are the product of a line segment and a disc , coming from @xmath397 with @xmath398 acting by the determinant . the facets arising from the hexagons are @xmath399-orbitopes isomorphic to symmetric schur - horn orbitopes with eigenvalues @xmath400 and therefore have dimension five . we next present a spectrahedral description of an arbitrary skew - symmetric schur - horn orbitope @xmath376 . to derive this , we return to symmetric matrices and their real eigenvalues . let @xmath374 be a matrix with eigenvalues @xmath401 and let @xmath402 then @xmath403 has eigenvalues @xmath404 . for any @xmath405 , the additive compound matrix @xmath406 has largest eigenvalue @xmath407 . we conclude that each skew - symmetric skew - horn orbitope @xmath380 is a spectrahedron :    [ thm : skewsymspec ] let @xmath374 with @xmath408 . then @xmath409    from this theorem we can derive a description of the algebraic boundary as before , and again the issue arises that the @xmath410 lie in an extension @xmath334 over the field of definition of @xmath347 , which will usually be @xmath178 . at present we do not know whether theorems [ thm : symspec ] and [ thm : skewsymspec ] can be extended to obtain spectrahedral representations of the respective orbitopes over @xmath178 . we close this section with one more example of a skew - symmetric schur - horn orbitope . consider the skew - symmetric schur - horn orbitope @xmath376 for some @xmath411 with @xmath412 . according to theorem [ thm : skewsymspec ] , a spectrahedral representation  is @xmath413    the projection @xmath361 to the skew diagonal is the _ crosspolytope _ @xmath414 . this a regular polytope with symmetry group @xmath370 , and it has only one orbit of faces in each dimension . the orbitope @xmath376 is the @xmath26 instance of the _ grassmann orbitope _ @xmath415 . these are important in the theory of calibrated manifolds , and we shall study them in section 7 . we argued in section  [ sec : setup ] that , given a compact group @xmath2 acting algebraically on @xmath416 , we can identify @xmath2 with a subgroup of @xmath1 , or even of @xmath0 when @xmath2 is connected . the ambient space @xmath417 is itself an @xmath418-dimensional real representation of the group @xmath2 . the action of @xmath2 on @xmath419 is by left multiplication . the orbit of the identity matrix @xmath420 under this action is the group @xmath2 itself . we call the corresponding orbitope @xmath421 the _ tautological orbitope _ for the pair @xmath422 . this orbitope lives in @xmath423 , and it serves as an initial object because it maps linearly to every orbitope @xmath52 in @xmath32 . tautological orbitopes of finite permutation groups have been studied under the name of _ permutation polytopes _ ( see @xcite ) . the most famous of them all is the _ birkhoff polytope _ for @xmath424 , which was studied for other coxeter groups by mccarthy , ogilvie , zobin , and zobin  @xcite .    in this section we investigate the tautological orbitopes for the full groups @xmath1 and @xmath0 . similar to the schur - horn orbitopes in section  [ sec : schurhorn ] , the facial structure is governed by polytopes arising from the projection onto the diagonal . we begin with the example @xmath425 . the group @xmath60 of @xmath426 rotation matrices has dimension three . its tautological orbitope is a convex body of dimension nine . the following spectrahedral representation was suggested to us by pablo parrilo . [ prop : pabloso3 ] the tautological orbitope @xmath427 is a spectrahedron whose boundary is a quartic hypersurface . in fact , a @xmath426-matrix @xmath428 lies in @xmath427 if and only  if @xmath429    we first claim that @xmath427 coincides with the set of all @xmath426-matrices @xmath430 where @xmath431 runs over all positive semidefinite @xmath432-matrices having trace @xmath70 . positive semidefinite @xmath432-matrices with both trace @xmath70 and rank @xmath70 are of the form @xmath433 their convex hull is the free spectrahedron of example [ ex : freespec ] . the image of the above rank @xmath70 matrices @xmath434 under the linear map ( [ eq : pablosu2 ] ) is precisely the group @xmath60 . this parametrization is known as the _ cayley transform_. geometrically , it corresponds to the double cover @xmath435 . the claim follows because the linear map commutes with taking the convex hull . the symmetric @xmath432-matrices @xmath431 with @xmath436 form a nine - dimensional affine space , and this space is isomorphic to the nine - dimensional space of all @xmath426-matrices @xmath428 under the linear map given in . we can express each @xmath437 in terms of the @xmath438 by inverting the linear relations @xmath439 , @xmath440 , etc . the resulting symmetric @xmath432-matrix @xmath441 is precisely the matrix in the statement of proposition [ prop : pabloso3 ] . the ideal of the group @xmath399 is generated by the entries of the @xmath426-matrix @xmath442 , while the prime ideal of @xmath60 is that same ideal plus @xmath443 . we can check that the prime ideal of @xmath60 coincides with the ideal generated by the @xmath444-minors of the matrix  . thus the group @xmath60 is recovered as the set of matrices   of rank one . proposition [ prop : pabloso3 ] implies that @xmath427 is affinely isomorphic to the free spectrahedron for @xmath68 , that is , to the set of positive semidefinite @xmath432-matrices with trace equal to @xmath70 . this implies a characterization of all faces of the tautological orbitope for @xmath60 . first , all faces are exposed because @xmath427 is a spectrahedron . all of its proper faces are free spectrahedra , for @xmath445 , so they have dimensions @xmath146 , @xmath14 and @xmath446 , as seen in example [ ex : freespec ] . we now examine @xmath447 . as before , let @xmath448 denote the projection of the @xmath17-matrices onto their diagonals . [ lem : ontodiagonal ] the projection @xmath449 of the tautological orbitope for the orthogonal group @xmath1 to its diagonal is precisely the @xmath55-dimensional cube @xmath450^n$ ] . the columns of a matrix @xmath451 are unit vectors . thus every coordinate @xmath452 in bounded by @xmath70 in absolute value and @xmath449 is a subset of the cube . for the reverse inclusion , note that all @xmath453 diagonal matrices with entries @xmath454 are orthogonal matrices . the cube @xmath455^n$ ] is the special @xmath456-permutahedron @xmath457 . as with schur - horn orbitopes , the projection onto this polytope reveals the facial structure . as general endomorphisms are not normal , the key concept of diagonalizability is replaced by that of _ singular value decomposition_. recall that for any linear map @xmath226 there are orthogonal transformations @xmath458 such that @xmath459 is diagonal with entries @xmath460 . these entries are the _ singular values _ of @xmath259 . we shall see in ( [ eq : onspec ] ) that @xmath461 is a spectrahedron , hence all of its faces are exposed faces . the following result recursively characterizes all faces of this tautological orbitope . [ thm : tautoon ] let @xmath462 be a linear function on @xmath18 with @xmath463 . then the face of @xmath461 in direction @xmath215 is isomorphic to @xmath464 where @xmath465 . let @xmath466 be a linear function with @xmath467 , so that @xmath468 . we fix a singular value decomposition @xmath469 of the matrix @xmath273 . here @xmath470 is a diagonal matrix @xmath17 with its first @xmath471 entries positive and remaining @xmath472 entries zero . this matrix also defines a linear function @xmath473 on @xmath18 . cyclic invariance of the trace ensures that the faces @xmath474 and @xmath475 are isomorphic . the subset of @xmath1 at which @xmath476 is maximized is the subgroup @xmath477 . the convex hull of this subgroup equals @xmath475 . it coincides with the tautological orbitope for @xmath478 . we interpret theorem [ thm : tautoon ] geometrically as saying that the tautological orbitope for @xmath1 is a continuous analog of the @xmath55-dimensional cube . every face of the cube is a smaller dimensional cube and the dimension of a face maximizing a linear functional @xmath215 is determined by the support of @xmath215 . the role of the support is now played by the rank of the matrix @xmath273 . this behavior yields information about the carathodory number of the tautological orbitope . the carathodory number of the orbitope @xmath479 is at most @xmath480 .    by ( * ? * lemma  3.2 ) , the carathodory number of a convex body @xmath137 is bounded via @xmath481 since every proper face is isomorphic to @xmath482 for some @xmath483 the result follows by induction on @xmath55 . the base case is @xmath484 for which @xmath485 is a @xmath70-simplex . note that the orbit @xmath486 coincides with the orbit of the identity matrix @xmath420 under the action of the product group @xmath487 by both right and left multiplication . hence the tautological orbitope @xmath461 is also an @xmath487-orbitope for that action . we shall now digress and study these orbitopes in general . after we have seen ( in theorem [ thm : ononspec ] ) that these are spectrahedra , we shall resume our discussion of @xmath461 . the group @xmath488 acts on @xmath18 by simultaneous left and right translation . the action is given , for @xmath489 and @xmath226 , by @xmath490 ky fan proved in @xcite that the schur - horn theorem for symmetric matrices under conjugation by @xmath1 generalizes to arbitrary square matrices under this @xmath491 action . now , singular values play the role of the eigenvalues . the following is a convex geometric reformulation :    [ lem : fan ] for a square matrix @xmath226 let @xmath492 denote its orbitope under the action ( [ eq : fanact ] ) of the group @xmath493 . then the image @xmath494 of the projection to the diagonal is the @xmath456-permutahedron with respect to the singular values @xmath495 . we shall refer to @xmath496 as the _ fan orbitope _ of the matrix @xmath259 . from lemma [ lem : fan ] , one easily deduces the analogous results to theorems [ thm : facelatticesh ] and [ thm : facelatticeskewsh ] . the facial structure of the fan orbitope @xmath492 is determined by the facial structure of the @xmath456-permutahedron @xmath497 specified by the singular values of the matrix  @xmath259 . the description of the @xmath456-permutahedron in terms of weak majorization was stated in  . rephrasing these same linear inequalities for the singular values , and using lemma  [ lem : fan ] , now leads to a spectrahedral description of the fan orbitopes . for that we make use of the alternative characterization of singular values as the square roots of the ( non - negative ) eigenvalues of @xmath498 . using schur complements , it can be seen that the @xmath499-matrix @xmath500 has the eigenvalues @xmath501 . we form its additive compound matrices as before . [ thm : ononspec ] let @xmath259 be a real @xmath17-matrix with singular values @xmath502 . then its fan orbitope @xmath492 equals the spectrahedron @xmath503    fix an integer @xmath504 . the _ ky fan @xmath133-norm _ is defined by @xmath505 this function is indeed a norm on @xmath18 , and its unit ball is the fan orbitope @xmath492 where @xmath259 is the diagonal matrix with @xmath133 diagonal entries @xmath506 and @xmath507 diagonal entries @xmath146 . theorem [ thm : ononspec ] shows that the unit ball in the ky fan @xmath133-norm is a spectrahedron . two norms of special interest in applied linear algebra are the _ operator norm _ @xmath508 and the _ nuclear norm _ @xmath509 . indeed , these two norms played the key role in work of fazel , recht and parrilo @xcite on compressed sensing in the matrix setting . both the operator norm and the nuclear norm are closely tied to their vector counterparts . the unit balls in the operator and nuclear norm are both fan orbitopes . the projection to the diagonal yields the unit balls for the @xmath510 and the @xmath511-norm on @xmath24 . these two unit balls are polytopes in @xmath24 , namely , the @xmath55-cube and the @xmath55-crosspolytope respectively . fazel _ et al . _ showed in ( * ? ? ? 2.1 ) that the nuclear norm ball has the structure of a spectrahedron , and semidefinite programming duality allows for linear optimization over the operator norm ball . the spectrahedral descriptions of both unit balls in @xmath18 are special instances of theorem [ thm : ononspec ] , to be stated explicitly once more . the operator norm ball consists of all matrices @xmath190 whose largest singular value is at most @xmath70 . this is equivalent to @xmath512 the nuclear norm ball consists of all matrices @xmath190 for which the sum of the singular values is at most @xmath70 . this is equivalent to saying that the sum of the largest @xmath55 eigenvalues of the symmetric @xmath513 matrix @xmath514 is at most @xmath70 . hence the nuclear norm ball in @xmath18 is the spectrahedron defined by the linear matrix inequality @xmath515    we are now finally prepared to return to the main aim of this section , which is the study of tautological orbitopes . the proof of theorem [ thm : tautoon ] implies that the convex hull of @xmath1 equals the set of @xmath516-matrices whose largest singular value is at most @xmath70 . in other words :    the operator norm ball in @xmath18 is equal to the tautological orbitope of the orthogonal group @xmath1 . the coorbitope @xmath517 is the nuclear norm ball . both of these convex bodies are spectrahedra . they are characterized in ( [ eq : onspec ] ) and ( [ eq : onspec2 ] ) respectively . it would be worthwhile to explore implications of our geometric explorations of orbitopes for algorithmic applications in the sciences and engineering , such as those proposed in  @xcite . we next discuss the faces of the tautological orbitope of the group @xmath0 . the relevant convex polytope is now the convex hull @xmath518 of all vertices @xmath519 with an even number of @xmath520-entries . this polytope is known as the _ demicube _ or _ halfcube_. it is a permutahedron for the coxeter group of type @xmath521 , i.e.  signed permutations with an even number of sign changes . the facet hyperplanes of @xmath518 are derived by separating infeasible vertices of @xmath455^n$ ] by hyperplanes through the @xmath55 neighboring vertices : @xmath522^n \,:\ ,        \sum_{i \not\in j } x_i - \sum_{i \in j } x_i \le n-2    \,\,\,\ , \hbox{for all $ j \subseteq [ n]$ of odd cardinality } \bigr\}.\ ] ] while @xmath523 is only a line segment , we have @xmath524 for @xmath525 . for example , the halfcube @xmath526 is the tetrahedron with vertices @xmath527 , @xmath528 , @xmath529 and @xmath530 . note that its facet inequalities appear as the diagonal entries in the symmetric @xmath432-matrix ( [ eq : magic ] ) : @xmath531 this observation is explained by results of horn ( cf . @xcite ) on the diagonals of special orthogonal matrices . these imply the following lemma about the tautological orbitope of @xmath0 :    the projection of @xmath532 onto the diagonal equals the halfcube @xmath518 .    just like in lemma [ lem : ontodiagonal ] , it is clear that @xmath518 is a subset of @xmath533 . the converse is derived from the linear algebra fact that the trace of any matrix in @xmath534 is at most @xmath535 . for @xmath536 $ ] let @xmath537 be the diagonal matrix with @xmath538 if @xmath539 and @xmath540 if @xmath541 . let @xmath542 . then @xmath543 for all @xmath544 of odd cardinality . this means that @xmath545 satisfies the linear inequalities in ( [ eq : sonfacets ] ) and hence lies in @xmath518 . there is a variant of singular value decomposition with respect to the restricted class of orientation preserving transformations . for every matrix @xmath226 there exist rotations @xmath546 such that @xmath547 is diagonal . the diagonal entries are called the _ special singular values _ and denoted by @xmath548 . the main difference to the usual singular values is that @xmath549 may be negative ; only the first @xmath550 entries of @xmath551 are non - negative . we need to make this distinction in order to understand the faces of @xmath552 . [ thm : sontauto ] the tautological orbitope of @xmath0 has precisely two orbits of facets . these are the tautological orbitopes for @xmath553 and the free spectrahedra of dimension @xmath554 .    up to @xmath521-symmetry , the halfcube @xmath518 has only two distinct facets , namely an @xmath311-dimensional halfcube and an @xmath311-dimensional simplex . a typical halfcube facet @xmath555 arises by maximizing the linear function @xmath556 over @xmath518 , and a typical simplex facet @xmath557 arises by maximizing the linear function @xmath558 . pulling back @xmath215 along the diagonal projection @xmath559 , we see that the facet of @xmath552 corresponding to the halfcube facet is the convex hull of all rotations @xmath542 that fix the first standard basis vector @xmath560 . pulling back @xmath476 along @xmath559 , we see that the facet of @xmath552 corresponding to the simplex facet is the convex hull of @xmath561 . this facet is isomorphic to the convex hull of all @xmath562 such that @xmath563 . since @xmath564 is orientation reversing , one eigenvalue of @xmath564 is @xmath565 , and @xmath566 forces all other eigenvalues to be equal to @xmath70 . hence the facet in question is the symmetric schur - horn orbitope for the diagonal matrix @xmath567 . example [ ex : freespec ] implies that this is a free spectrahedron . in subsection 4.1 we exhibited a spectrahedral representation for the tautological orbitope @xmath427 , and in that case , the two facet types of theorem [ thm : sontauto ] collapse into one type . at present , we do not know how to generalize the representation ( [ eq : magic ] ) to @xmath0 for @xmath568 . orbitopes for @xmath19 were first studied by carathodory @xcite . the coorbitope cone ( [ eq : coorbitopecone ] ) dual to such a _ carathodory orbitope _ consists of non - negative trigonometric polynomials . this leads to the toeplitz spectrahedral representation of the universal carathodory orbitope in theorem [ th : toeplitz ] , which implies that the convex hulls of all trigonometric curves are projections of spectrahedra . the universal carathodory orbitope is also affinely isomorphic to the convex hull of the compact even moment curve , whose coorbitope cone consists of non - negative univariate polynomials . this leads to the representation by hankel matrices in theorem  [ th : hankel ] . the irreducible representations @xmath569 of @xmath19 are indexed by non - negative integers @xmath123 . here , @xmath570 is the trivial representation . when @xmath571 is positive , the representation @xmath569 of @xmath19 acts on @xmath63 , and it sends a rotation matrix to its @xmath123th power : @xmath572 for a vector @xmath573 we consider the direct sum of these representations @xmath574 the _ carathodory orbitope _ @xmath575 is the convex hull of the orbit @xmath576 under the action @xmath577 on the vector space @xmath578 . this orbit is the _ trigonometric moment curve _ @xmath579 this curve is also identified with the matrix group @xmath580 lying in the space @xmath581 of block - diagonal @xmath582-matrices with @xmath23 blocks of size @xmath583 . thus @xmath575 is isomorphic to the convex hull of @xmath580 , and can therefore also be thought of as a tautological orbitope . we distinguish between isomorphisms of orbitopes that preserve the @xmath19-action , and the weaker notion of affine isomorphisms that preserve their structure as convex bodies . [ l : all_cara ] any orbitope of the circle group @xmath19 is isomorphic to a carathodory orbitope @xmath575 , where @xmath584 has distinct coordinates , and it is affinely isomorphic to a carathodory orbitope where the coordinates of @xmath259 are relatively prime integers . let @xmath51 be an orbitope for @xmath19 . we may assume that its ambient @xmath19-module @xmath32 has no trivial components and is the linear span of @xmath51 . then @xmath32 has the form @xmath577 for @xmath585 with distinct non - zero components , that is , @xmath32 is multiplicity free . this is because @xmath586 , where we identify @xmath63 with @xmath92 and @xmath19 with the unit circle in @xmath92 . the orbitope @xmath51 is generated by a vector @xmath587 with non - zero coordinates . by complex rescaling , we may assume that @xmath588 , showing that @xmath51 is isomorphic to @xmath575 . lastly , if the coordinates of @xmath589 have greatest common divisor @xmath123 , then @xmath577 is the composition @xmath590 , where @xmath591 and @xmath51 is affinely isomorphic to an orbitope for the module @xmath592 . we henceforth assume that @xmath593 where the @xmath594 are relatively prime . when @xmath595 , carathodory @xcite studied the facial structure of @xmath575 . an even - dimensional cyclic polytope is the convex hull of finitely many points on carathodory s curve ( see  @xcite ) . smilansky @xcite studied the four - dimensional carathodory orbitopes ( @xmath26 ) , and this was recently extended by barvinok and novik @xcite who studied @xmath596 . the corresponding curve ( [ caracurve ] ) is the _ symmetric moment curve _ which gives rise to a remarkable family of centrally symmetric polytopes with extremal face numbers . many questions remain about the facial structure of the barvinok - novik orbitopes @xmath596 . see @xcite for details . we now focus on the _ universal carathodory orbitope _ @xmath597 in @xmath598 . this convex body has the following spectrahedral representation in terms of hermitian toeplitz matrices . [ th : toeplitz ] the universal carathodory orbitope @xmath599 is isomorphic to the spectrahedron consisting of positive semidefinite hermitian toeplitz matrices with ones along the diagonal : @xmath600    we note that the complex spectrahedron ( [ toeplitz ] ) can be translated into a spectrahedron over @xmath91 as follows . consider a hermitian matrix @xmath601 where @xmath150 is real symmetric and @xmath2 is real skew - symmetric . the hermitian matrix @xmath602 is positive definite if and only if @xmath603    a _ trigonometric curve _ is any curve in @xmath24 that is parametrized by polynomials in the trigonometric functions sine and cosine , or equivalently , any curve that is the image under a linear map of the universal trigonometric moment curve   where @xmath595 . the convex hull of any trigonometric curve is a projected spectrahedron . in particular , all carathodory orbitopes are projected spectrahedra .    @xmath604{figures / trig_curve_1.eps } }       \put(135,0){\includegraphics[height=120pt]{figures / trig_curve_2.eps } }       \put(280,0){\includegraphics[height=120pt]{figures / trig_curve_3.eps } }       \put (   0,-17){$(\cos(\theta),\sin(\theta),\cos(2\theta))$ }       \put(135,-17){$(\cos(2\theta),\sin(2\theta),\cos(\theta))$ }       \put(280,-17){$(\cos(\theta),\sin(2\theta),\cos(3\theta))$ }      \end{picture}\ ] ] -0.3 cm    figure  [ f : trig_curves ] shows the convex hulls of three trigonometric curves in @xmath66 . the left and middle convex bodies are each the intersection of two convex quadratic cylinders ( @xmath605 and @xmath606 for the former ; @xmath607 and @xmath608 for the latter ) and hence are spectrahedra . the rightmost convex body is visibly not a spectrahedron . its exposed points are @xmath609 for @xmath610 , and it has two algebraic families of one - dimensional facets . in addition , there are two two - dimensional facets , namely the equilateral triangles for @xmath611 and @xmath612 . the six edges of these two triangles are one - dimensional non - exposed faces , as there is no linear function which achieves its minimum on this body along these edges . also , exactly one vertex of each triangle at @xmath613 and @xmath614 is exposed . we conclude that this convex body is a projected spectrahedron but it is not a spectrahedron . the coorbitope cone dual to @xmath615 consists of all affine - linear functions that are non - negative on @xmath615 . these correspond to non - negative trigonometric polynomials : @xmath616 we identify each point @xmath617 in @xmath618 with the laurent polynomial @xmath619\ ] ] with @xmath620 , @xmath621 , @xmath349 , and @xmath622 . then @xmath623 and @xmath624 if and only if @xmath625 is non - negative on the unit circle @xmath153 of @xmath92 . roots of @xmath625 occur in pairs @xmath626 and those on @xmath153 have even multiplicity . choosing one root from each pair gives the factorization @xmath627 where @xmath628 $ ] has degree @xmath23 and the coefficient vectors of @xmath602 and @xmath629 are complex conjugate . this factorization is the classical fejr - riesz theorem .    utilizing the monomial map @xmath630 with @xmath631 , this is equivalent to the following : a trigonometric polynomial @xmath632 is non - negative on the unit circle if and only if there is a non - zero vector @xmath633 such that @xmath634    a point @xmath635 belongs to the carathodory orbitope @xmath636 if and only if @xmath637 the sum on the left equals the hermitian inner product in @xmath638 of the coefficient vector @xmath639 of the polynomial @xmath632 and the vector @xmath640 with @xmath641 as in ( [ toeplitz ] ) . the formula ( [ circlesos2 ] ) expresses @xmath639 as the image of the hermitian matrix @xmath642 under some linear projection @xmath643 . if @xmath644 denotes the linear map dual to @xmath643 then @xmath645 is precisely the hermitian toeplitz matrix in ( [ toeplitz ] ) . we conclude that the sum in ( [ circlepairing ] ) equals @xmath646 thus the point @xmath647 represented by a hermitian toeplitz matrix @xmath190 lies in @xmath615 if and only if @xmath648 for all @xmath649 if and only if @xmath190 is positive semidefinite . the proof of theorem  [ th : toeplitz ] elucidates the known results about the facial structure of @xmath615 . [ neighborly ] the universal carathodory orbitope @xmath650 is a neighborly simplicial convex body . its faces are in inclusion - preserving correspondence with sets of at most @xmath23 points on the circle .    a laurent polynomial @xmath625 as in   lies in the boundary of the coorbitope cone @xmath651 if and only if it is non - negative on the unit circle @xmath153 but not strictly positive . it supports the face of @xmath615 spanned by the points of the trigonometric moment curve corresponding to its zeros in @xmath153 . each zero has multiplicity at least @xmath14 , so there are at most @xmath23 such points , and conversely any subset of @xmath652 points supports a face . since any fewer than @xmath653 points on the curve are affinely independent and since all faces are exposed , these faces are simplices . corollary [ neighborly ] implies that the carathodory number @xmath654 equals @xmath655 , as no point in the interior of @xmath615 lies in the convex hull of @xmath23 points of the orbit , but @xmath654 is at most one more than the maximal carathodory number of a facet , by lemma  3.2 of  @xcite . carathodory orbitopes are generally not spectrahedra because they can possess non - exposed faces . smilansky @xcite showed that if we write @xmath656 for a point on the trigonometric moment curve with weights @xmath70 and @xmath71 then the faces of @xmath657 are exactly the points @xmath658 of the orbit , the line segments @xmath659 , where @xmath660 , and the triangles @xmath661 in particular , each line segment @xmath662 is a non - exposed edge of @xmath657 . we conclude that the barvinok - novik orbitope @xmath657 is not a spectrahedron . the toeplitz representation ( [ toeplitz ] ) of the universal carathodory orbitope @xmath615 reveals complete algebraic information . for example , the algebraic boundary @xmath663 is the irreducible hypersurface of degree @xmath655 defined by the determinant of that @xmath664-matrix . the curve   itself is the set of all positive definite hermitian toeplitz matrices of rank one . the @xmath583-minors of the matrix ( [ toeplitz ] ) generate the prime ideal @xmath665 of this rational curve . the union of the @xmath666-dimensional faces of @xmath615 is the set of positive definite hermitian toeplitz matrices of rank @xmath667 , as a point lies on a @xmath666-dimensional face if and only if it is the convex combination of @xmath667 points of the curve . the zariski closure of this stratum is the set of all rank @xmath667 hermitian toeplitz matrices which is defined by the vanishing of the @xmath668 minors of that matrix . this is also the @xmath667th secant variety of the carathodory curve . lastly , this rank stratification is a whitney stratification of the algebraic boundary . the derivation of the algebraic description of @xmath575 for arbitrary @xmath669 requires the process of elimination . for instance , the ideal @xmath670 of the trigonometric moment curve ( [ caracurve ] ) can be computed from the ideal of @xmath444-minors for @xmath671 by eliminating all unknowns @xmath672 with @xmath673 . the equation of the algebraic boundary @xmath674 is obtained by the same elimination applied to a certain ideal of larger minors of the toeplitz matrix ( [ toeplitz ] ) . we refer to recent work of vinzant @xcite for a detailed study of the edges of barvinok - novik orbitopes . an analysis of the algebraic boundary the orbitope @xmath675 can be found in @xcite . the cone over the degree @xmath23 moment curve is the image of @xmath63 in its @xmath23th symmetric power @xmath676 under the map @xmath677 this map is naturally @xmath19-equivariant . we define the _ compact moment curve _ to be the image @xmath678 of the unit circle under the map @xmath679 . this restricted map equals @xmath680 the convex hull of the curve @xmath678 is an orbitope . by lemma  [ l : all_cara ] , it is isomorphic to some carathodory orbitope @xmath575 . the following lemma makes this identification explicit . [ l : identification ] if @xmath681 is odd , then @xmath682 is isomorphic to the barvinok - novik orbitope @xmath683 . if @xmath681 is even , then @xmath682 is isomorphic to @xmath684 , which is affinely isomorphic to the universal carathodory orbitope @xmath685 .    complexifying the @xmath19-module @xmath577 where @xmath589 gives the @xmath686-module with symmetric weights @xmath687 . thus the underlying real @xmath19-module of this @xmath686-module is @xmath688 . the lemma follows because the complexified representation @xmath689 of @xmath690 has weights @xmath691 , and this representation is spanned by the pure powers of linear forms , so every weight appears in the linear span of the orbit . suppose now that @xmath692 is even . we describe the moment curve and the carathodory orbitope in coordinates @xmath693 for @xmath694 . fix the @xmath695-hankel matrix @xmath696    [ th : hankel ] the even moment curve consists of all vectors @xmath697 such that the hankel matrix @xmath698 has rank one , is positive semidefinite , and satisfies the linear equation @xmath699 its convex hull consists of all @xmath700 such that @xmath698 is positive semidefinite and satisfies  . thus the carathodory orbitope @xmath701 has a second _ hankel representation _ as a spectrahedron . the proof of this theorem follows from the well - known fact that every non - negative polynomial in one variable is a sum of squares of polynomials . it uses the duality in @xcite . observe that the points of the even compact moment curve satisfy  , which comes from the polynomial identity @xmath702 . as @xmath703 has just one copy of the trivial representation , this is the only affine equation that holds on @xmath704 . the dual to @xmath703 is the space @xmath705_{2n}$ ] of real homogeneous polynomials of degree @xmath706 in @xmath707 and @xmath708 . the coefficients of such a polynomial gives coordinates for @xmath705_{2n}$ ] . the coorbitope cone @xmath709 dual to the orbitope @xmath710 is the cone of homogeneous polynomials of degree @xmath706 that are non - negative on @xmath63 . thus a point @xmath711 lies in the orbitope @xmath710 if and only if it satisfies   and @xmath712 for every non - negative polynomial @xmath713 .    since non - negative homogeneous polynomials in @xmath707 and @xmath708 are sums of squares ( cf . @xcite ) , we only need these inequalities to hold when @xmath714 is a square . writing @xmath715 for the coefficient vector of the polynomial @xmath716 , the sum   becomes @xmath717 where @xmath698 is the hankel matrix  . this proves the theorem . the hankel representation of the universal carathodory orbitope arose by considering the image of the circle @xmath718 in @xmath703 and its relation to non - negative binary forms . generalizing from @xmath63 to @xmath719 gives the veronese orbitopes whose coorbitope cones ( [ eq : coorbitopecone ] ) consist of non - negative @xmath23-ary forms . when @xmath720 , non - negative forms are not necessarily sums of squares , except for quadratic forms and the exceptional case of ternary quartics . the set of decomposable symmetric tensors is the image of the veronese map @xmath721 the @xmath722-orbits through any two non - zero decomposable tensors are scalar multiples of each other and are thus isomorphic . we define the _ veronese orbitope _ @xmath723 to be the convex hull of the orbit through the specific decomposable tensor @xmath724 . that orbit is also the image @xmath725 of the unit @xmath726-sphere under the @xmath472-th veronese embedding of @xmath719 . suppose that @xmath727 is even . then the orbit @xmath725 can be identified with @xmath728 since @xmath729 is two - to - one with @xmath730 . the dual vector space to @xmath731 is the space of homogeneous forms of degree @xmath706 on @xmath719 . the only invariant forms are those proportional to the form @xmath732 , so both @xmath731 and its dual space contain one copy of the trivial representation , and @xmath733 lies in the hyperplane of @xmath731 defined by @xmath734 . the dual cone to the veronese orbitope @xmath735 is the cone of non - negative forms of degree @xmath706 in @xmath736 . see also ( * ? ? ? * example ( 1.2 ) ) . we write @xmath737 for the veronese coorbitope cone consisting of non - negative forms . the cone @xmath738 of non - negative forms contains the cone @xmath739 of sums of squares , but when @xmath720 , @xmath740 , and @xmath741 , hilbert  @xcite showed that the inclusion is strict . we refer to @xcite for a recent study which compares the dimension of the faces of these cones . the cone @xmath739 is naturally a projection of the positive semidefinite cone . hence its dual cone @xmath742 is a spectrahedron : it can be realized as the intersection of the positive semidefinite cone with a certain linear space of generalized hankel matrices , discussed in detail in reznick s book @xcite . this spectrahedron @xmath743 is strictly larger than the veronese orbitope @xmath744 when @xmath720 , @xmath740 , and @xmath741 . in fact , @xmath744 is precisely the convex hull of the subset of extreme points in @xmath743 that have rank one . we present a detailed case study of the exceptional case of ternary quartics , when @xmath745 . the veronese orbitope @xmath746 is a @xmath747-dimensional convex body . let @xmath748 be the @xmath21-dimensional cone over the veronese orbitope @xmath749 . as all non - negative ternary quartics are sums of squares , we have the following identities of cones : @xmath750 we next present reznick s spectrahedral representation of @xmath749 . for this , we identify @xmath751 with its dual , and we introduce coordinates @xmath752 where the indices @xmath753 are the exponents of monomials in variables @xmath754 of degree @xmath755 . the ternary quartic corresponding to @xmath700 is @xmath756 where @xmath757 is the multinomial coefficient . the inner product @xmath758 is @xmath60-invariant . given a ternary quartic @xmath759 in the notation , we associate to it the following symmetric @xmath760-matrix with hankel structure as in ( * ? ? ? ( 5.25 ) ) : @xmath761    the veronese orbitope @xmath762 is a spectrahedron . it consists of all positive semidefinite hankel matrices @xmath763 as in @xmath764 that satisfy the equation @xmath765    it is shown in  ( * ? ? ? 5 ) that the quartic @xmath759 is non - negative if and only if the hankel matrix @xmath763 is positive semidefinite . furthermore , the equation   is the affine equation @xmath766 which defines the hyperplane containing the orbit @xmath767 .    by contrast , the veronese coorbitope is not a spectrahedron . [ th : sos ] the convex cone of non - negative ternary quartics @xmath768 is not a spectrahedron . its facets have dimension twelve and the intersection of any two facets is an exposed face of dimension nine . it also has maximal non - exposed faces of dimension nine . we thank greg blekherman who explained this to us . the cone @xmath769 is full - dimensional in the @xmath21-dimensional space @xmath736 . its facets come from its defining linear inequalities @xmath770 for @xmath771 , let @xmath772 be the facet exposed by the inequality @xmath773 , which consists of those non - negative ternary quartics @xmath239 that vanish at @xmath133 . since the boundary of @xmath769 is @xmath747-dimensional and we have a two - dimensional family of isomorphic facets , we see that each facet @xmath772 is @xmath774-dimensional . a non - negative form that vanishes at @xmath771 must also have its two partial derivatives ( in local coordinates at @xmath133 ) vanish , which gives three linear conditions on the facet @xmath772 . concretely , if we take @xmath775 $ ] with local coordinates @xmath776 , then the constant and linear terms of the inhomogeneous quartic @xmath777 must vanish . consequently , @xmath778 where @xmath602 , @xmath779 , and @xmath780 are , respectively , the terms of degrees @xmath14 , @xmath71 , and @xmath755 in @xmath239 . these are binary forms . their @xmath781 coefficients parametrize the linear span of the facet @xmath772 , showing again that @xmath772 is 12-dimensional . the quadratic form @xmath782 is the hessian of @xmath777 at @xmath775 $ ] in these coordinates . a form @xmath239 lies in the relative interior of the facet @xmath772 if and only if , given any @xmath783 which vanishes at @xmath133 along with its partial derivatives , so that it lies in the linear span of @xmath772 , there is an @xmath784 such that @xmath785 also lies in @xmath772 . these conditions are equivalent to    1 . @xmath239 has no other zeros in @xmath786 , and 2 . the hessian of @xmath239 at @xmath133 is a positive definite quadratic form . a form @xmath787 lies in the boundary of @xmath772 when one of these conditions fails , that is , either    1 . @xmath239 vanishes at a second point @xmath788 , or 2 . the hessian of @xmath239 has a double root at some point @xmath789 . faces of type ( 1 ) have the form @xmath790 . these are nine - dimensional and occur in a four - dimensional family parametrized by pairs of distinct points in @xmath786 . the union of all such faces is a semialgebraic subset of dimension @xmath791 in the boundary of @xmath769 . faces of type ( 2 ) also have dimension nine . the condition that the hessian has a double root at a point @xmath792 gives two linear conditions on the coefficients of @xmath239 . there is an additional condition that the cubic part @xmath779 of @xmath239 in also vanishes at @xmath793 , for otherwise @xmath239 takes negative values along the line through @xmath133 corresponding to @xmath793 . a face of type ( 2 ) is the limit of faces @xmath790 of type ( 1 ) as @xmath794 approaches @xmath133 along the line corresponding to @xmath793 . these faces form a three - dimensional family on which @xmath60 acts faithfully and transitively . let us now examine the exposed faces of @xmath769 . let @xmath795 be a symmetric tensor in the dual cone to @xmath769 . then @xmath215 is the sum of decomposable symmetric tensors , @xmath796 and so it supports the face @xmath797 . thus the exposed faces of @xmath769 are intersections of facets , and they consist of non - negative ternary quartics that vanish at a given set of points . since the faces of type ( 2 ) are not of this form , they are not exposed . our next agenda item is a discussion of the algebraic boundaries of the convex bodies and cones discussed above . the algebraic boundary of the cone @xmath748 is characterized by the vanishing of the determinant of the hankel matrix @xmath763 in  . from this we conclude :    the algebraic boundary of the veronese orbitope @xmath749 is the variety of dimension @xmath798 and degree six which is defined by the linear equation   and the hankel determinant @xmath799 . the extreme points of @xmath749 are precisely the hankel matrices @xmath763 of rank @xmath70 . we observed in the proof of theorem  [ th : sos ] that the boundary of @xmath769 consists of non - negative quartics @xmath239 that vanish at some point @xmath133 of @xmath786 , and that the partial derivatives of @xmath239 necessarily also vanish at @xmath133 . that is , the plane quartic curve defined by @xmath800 is singular at @xmath133 . thus the algebraic boundary of @xmath769 consists of singular ternary quartics . working in @xmath801 , and its dual space of ternary quartics , this algebraic boundary is seen to be the dual variety to the veronese surface which consists of rank @xmath70 hankel matrices @xmath763 . [ cor : discrorbi ] the algebraic boundary of the coorbitope cone @xmath769 is an irreducible hypersurface of degree @xmath802 . its defining polynomial is the discriminant @xmath803 of the ternary quartic @xmath804    the discriminant @xmath803 is a homogeneous polynomial of degree @xmath802 in the @xmath21 indeterminates @xmath805 . in what follows we shall present an explicit expression for @xmath803 . that expression will be derived from a beautiful classical formula due to sylvester which can be found in section 3.4.d , starting on page 118 , of the book by gel@xmath806fand , kapranov , and zelevinsky  @xcite . according to ( 1.7 , page 434 ) , the discriminant @xmath803 is proportional to the resultant @xmath807 of the three partial derivatives of the quartic @xmath239 . here @xmath808 denotes the resultant of three ternary cubics , and the precise relation is @xmath809 . we write @xmath810 for the space of linear forms on @xmath66 , and we introduce the linear map @xmath811 next , for an exponent vector @xmath812 of degree @xmath813 and any variable @xmath814 , we choose a decomposition of the cubic partial derivative @xmath815 where @xmath816 , @xmath817 , and @xmath818 are forms of degree @xmath819 , @xmath820 , and @xmath821 , respectively . then @xmath822 is a quartic polynomial . finally , we define a linear map @xmath823 by sending @xmath824 , where @xmath825 is the basis dual to the monomial basis of @xmath826 . ( sylvester @xcite ) the discriminant @xmath803 is proportional to the resultant of the ternary cubics @xmath827 which is equal to the determinant of the linear map @xmath828 this is an irreducible homogeneous polynomial of degree @xmath802 in the @xmath21 coefficients @xmath805 . we write this map explicitly as a @xmath829 matrix @xmath830 whose rows are indexed by the @xmath21 monomials @xmath831 of degree @xmath832 and whose columns are indexed by @xmath21 auxiliary quartics , and whose entry in a given row and column is the coefficient of that monomial in that auxiliary quartic . nine of the quartics come from the map @xmath833 in  . they are @xmath834 the other six are the polynomials @xmath835 , @xmath836 , @xmath837 , @xmath838 , @xmath839 , and @xmath840 from @xmath841 . we only describe @xmath835 and @xmath838 as the others may be recovered from these by symmetry .    for @xmath835 , note that each partial derivative of @xmath239 has six terms divisible by @xmath707 , three divisible by @xmath708 and not @xmath707 , and a unique term involving @xmath842 . this leads to a decomposition  , and @xmath835 is the determinant of the @xmath843 matrix : @xmath844 by a similar reasoning , we find that @xmath838 is the determinant of the @xmath843 matrix : @xmath845 this concludes our discussion of the algebraic boundary of the coorbitope cone @xmath769 . we close with the remark that the notations @xmath846 and @xmath847 are consistent with those used in the paper @xcite where these cones consist of concentration matrices and sufficient statistics of a certain gaussian model . the _ grassmann orbitope _ @xmath415 is the convex hull of the grassmann variety of oriented @xmath23-dimensional linear subspaces of @xmath24 in its plcker embedding in the unit sphere in @xmath22 . equivalently , this is the highest weight orbitope for the group @xmath0 acting on @xmath22 : @xmath848 faces of the grassmann orbitope are of considerable interest in differential geometry since , according to the fundamental theorem of calibrations , they correspond to area - minimizing @xmath23-dimensional submanifolds of @xmath24 . references to this subject include the seminal article on calibrated geometries by harvey and lawson @xcite and the beautiful expositions by morgan @xcite . in this section we review basic known facts about @xmath415 and we initiate its study from the perspectives of combinatorics , semidefinite programming , and algebraic geometry . vectors in @xmath22 are written in terms of plcker coordinates relative to the standard basis : @xmath849 the plcker vector @xmath133 lies in the _ oriented grassmann variety _ if and only if it is decomposable , i.e. @xmath850 for some pairwise orthogonal subset @xmath851 of @xmath852 . this happens if and only if @xmath133 lies in the unit sphere in @xmath22 and satisfies all quadratic plcker relations , the relations among the @xmath853-minors of a @xmath854-matrix . these relations generate the prime ideal called the _ plcker ideal _ @xmath855 . thus the oriented grassmann variety is the algebraic subvariety of @xmath22 defined by the ideal @xmath856 the convex hull of that real algebraic variety is the @xmath857-dimensional grassmann orbitope  @xmath415 . [ ex : g24 ] the grassmann orbitope @xmath858 is the convex hull of the variety  of @xmath859 as suggested by ( * ? ? ? * proposition  3.2 ) , we perform the orthogonal change of coordinates @xmath860 this is simultaneous rotation by @xmath861 in each of the coordinate planes spanned by the pairs @xmath862 , @xmath863 , and @xmath864 . in these new coordinates , the prime ideal ( [ eq : pluckerideal24 ] ) equals @xmath865 this reveals that @xmath858 is the direct product of two three - dimensional balls of radius @xmath866 . we next examine the case @xmath867 and arbitrary @xmath55 . the vectors @xmath133 in @xmath868 can be identified with skew - symmetric @xmath17-matrices , and this brings us back to the orbitopes in section 3.2 .      if @xmath133 is a real skew - symmetric matrix whose eigenvalues are @xmath872 , where @xmath873 , then the matrix @xmath874 is hermitian and its eigenvalues are the real numbers @xmath875 . recall that the operator @xmath876 computes the @xmath114-th additive compound matrix of a given matrix . [ thm : g2n ] let @xmath877 and @xmath878 . the grassmann orbitope equals the spectrahedron @xmath879 its algebraic boundary @xmath880 is an irreducible hypersurface of degree @xmath881 , defined by a factor of the determinant of the matrix @xmath882 . the proper faces of @xmath869 are @xmath883-orbitopes for @xmath884 . every face @xmath150 is associated with an even - dimensional subspace @xmath885 equipped with an orthogonal complex structure and the extreme points of @xmath150 correspond to complex lines in @xmath885 .    everything in this theorem is also true for the small cases @xmath886 , with the exception that the quartic hypersurface @xmath887 is not irreducible , as was seen in example [ ex : g24 ] . in light of theorem [ thm : facelatticeskewsh ] , the reducibility of @xmath858 arises because the two - dimensional crosspolytope equals the square , which decomposes as a minkowski sum of two line segments . this may also be seen as the stabilizer of a decomposable tensor in @xmath69 is @xmath888 , where @xmath889 is the identity matrix , and @xmath890 , so @xmath858 is also an orbitope for @xmath891 . we begin with the last statement about the face lattice of @xmath869 . this result is well - known in the theory of calibrations , where it is usually phrased as follows : _ every face of the grassmannian of two - planes in @xmath24 consists of the complex lines in some @xmath892-dimensional subspace of @xmath24 under some orthogonal complex structure_. see  @xcite .    to derive the spectrahedral representation ( [ eq : spectrag2n ] ) , we note that the eigenvalues of @xmath893 are the sums of any @xmath114 distinct numbers of the eigenvalues of the skew - symmetric matrix @xmath133 . these are @xmath894 if @xmath55 is even and @xmath895 if @xmath55 is odd . in light of corollary [ rmk : grassinsec3 ] , we can apply the results in section 3.2 to conclude that @xmath133 lies in @xmath869 if and only if @xmath896 for all choices of signs . in terms of polyhedral geometry , this condition means that the vector @xmath897 lies in the crosspolytope @xmath898 . since all @xmath899 eigenvalues of @xmath893 are bounded above by the maximum of the @xmath881 special eigenvalues @xmath900 , we conclude that @xmath901 if and only if @xmath902 . to compute the algebraic boundary @xmath903 we consider the expression @xmath904 this is a symmetric polynomial of degree @xmath905 in the squared eigenvalues @xmath906 , and hence it can be written as a polynomial in the coefficients of the characteristic polynomial @xmath907 the resulting polynomial has degree @xmath881 in the entries @xmath908 of the matrix @xmath909 , and it vanishes on the boundary of the orbitope @xmath869 . it can be checked that it is irreducible for @xmath877 . let @xmath910 and consider the characteristic polynomial of our hermitian matrix : @xmath911 the algebraic boundary of the grassmann orbitope @xmath912 is derived from the polynomial @xmath913 we rewrite this expression in terms of the @xmath21 unknowns @xmath914 to get an irreducible polynomial of degree @xmath915 with @xmath916 terms . this is the defining polynomial of the hypersurface @xmath917 . for @xmath918 we use the same polynomial in @xmath919 but now there is one more eigenvalue @xmath146 . the defining polynomial of @xmath920 has @xmath921 terms of degree @xmath915 in the @xmath922 matrix entries @xmath914 . we now come to the harder case @xmath923 . the grassmann orbitope @xmath924 is a @xmath925-dimensional convex body . its facial structure was determined by dadok and harvey in @xcite , and independently by morgan in @xcite . we present their well - known results in our language .      1 .   one - dimensional faces from pairs of subspaces that satisfy the angle condition ( [ eq : threeangles ] ) ; 2 . three - dimensional faces that arise as @xmath60-orbitopes and these are round @xmath71-balls ; 3 . @xmath774-dimensional faces that are @xmath926-orbitopes , from the lagrangian grassmannian . harvey and morgan @xcite extended these results to @xmath927 . we will here focus on @xmath923 . our first goal is to explain the faces described in theorem [ thm : morgan36 ] , starting with the edges . let @xmath928 and @xmath929 be three - dimensional linear subspaces in @xmath930 with corresponding unit length plcker vectors @xmath133 and @xmath794 . we define @xmath931 to be the minimum angle between any unit vector @xmath932 and any unit vector @xmath933 . next , @xmath934 is the minimum angle between two unit vectors @xmath935 and @xmath936 such that @xmath937 and @xmath938 . finally , we define @xmath939 to be the angle between two unit vectors @xmath940 and @xmath941 such that @xmath942 and @xmath943 . we refer to ( * ? ? ? * lemma 2.3 ) for the fact that @xmath944 and @xmath945 are well defined by this rule . the angle condition referred to in part ( 1 ) of theorem [ thm : morgan36 ] is the inequality @xmath946 the convex hull of @xmath133 and @xmath794 is an exposed edge of @xmath924 if and only if the condition ( [ eq : threeangles ] ) holds . the maximal facets in part ( 3 ) of theorem [ thm : morgan36 ] are known to geometers as _ special lagrangian facets _ , and we represent them as orbitopes as follows . the _ special unitary group _ @xmath926 consists of all complex @xmath426-matrices @xmath434 with @xmath947 and @xmath948 . if @xmath949 and @xmath950 , so that @xmath951 , then we can identify @xmath434 with the real @xmath394-matrix @xmath952 note that this matrix lies in @xmath953 if and only if @xmath954 , @xmath955 , and @xmath956 . hence the transformation @xmath957 realizes @xmath926 as a subgroup of @xmath953 . the orbit @xmath958 is known as the _ special langrangian grassmannian_. this is a five - dimensional real algebraic variety in the unit sphere in @xmath959 . we call its convex hull @xmath960 the _ special lagrangian orbitope_. it is obtained from the @xmath925-dimensional grassmann orbitope @xmath924 by maximizing the linear function @xmath961 , which takes value @xmath70 on that face . the face @xmath962 is @xmath774-dimensional because it satisfies the two affine equations @xmath963 plus the six independent linear equations that cut out the langrangian grassmannian : @xmath964    the exposed faces of type ( 2 ) in theorem [ thm : morgan36 ] are not facets . each of them is the intersection of two special lagrangian facets . for example , consider the two linear functionals @xmath965 which were discussed in @xcite . each of them supports a special lagrangian facet . the intersection of these two @xmath747-dimensional facets is a three - dimensional ball . indeed , the linear functional @xmath966 is bounded above by @xmath70 on @xmath924 , and the subset at which the value equals @xmath70 is contained in the linear span of the six basis vectors @xmath967 where @xmath968 . in the intersection of this linear space with @xmath924 we find the grassmann orbitope @xmath858 from example [ ex : g24 ] , with our linear functional @xmath969 being represented by the scaled coordinate @xmath970 . the face of @xmath858 where @xmath970 attains its maximal value @xmath70 is a @xmath71-ball . this concludes our discussion of the census of faces given in theorem [ thm : morgan36 ] . the first assertion was proved by dadok and harvey in ( * ? ? ? * theorem 7 ) . for the second assertion we proceed as follows . we apply the technique in ( * ? ? ? * lemma 2.2 ) and restrict to the linear subspace @xmath973 of @xmath959 . the intersection of @xmath974 is the @xmath975-orbitope of @xmath976 , where the action is by unitary diagonal @xmath426-matrices , while the intersection @xmath977 is the @xmath978-orbitope of @xmath979 , where the action is by special unitary diagonal @xmath426-matrices , as described in @xcite . we claim that the @xmath978-orbitope @xmath977 is @xmath14-neighborly . this can be seen by examining the bivariate trigonometric polynomials of the form @xmath980 indeed , for any choice of @xmath981 and @xmath982 , we can find eight real coefficients @xmath983 such that @xmath984 and its derivatives vanish at @xmath981 and @xmath982 but @xmath984 is strictly positive elsewhere . the results in @xcite imply that every exposed edge of @xmath974 is also an exposed edge of @xmath924 . we believe that morgan s technique can be adapted to show that _ every _ exposed edge of @xmath977 is an exposed edge of @xmath962 . for the purpose of proving theorem [ thm : g36bad ] , however , we only need to identify _ one _ exposed edge of @xmath977 that is an exposed edge of @xmath962 . the claim that such exposed edges exist can be derived from ( * ? ? ? * theorem 12 ( i ) ) . with the help of philipp rostalski , we also obtained a computational proof of that claim . this was done as follows . we selected various random choices of points @xmath981 and @xmath985 in @xmath63 . each choice specifies two three - dimensional subspaces @xmath928 and @xmath929 of @xmath930 for which equality holds in the angle condition ( [ eq : threeangles ] ) . the corresponding line segment is not an exposed edge of @xmath924 .    to show that the line segment between @xmath928 and @xmath929 is exposed in @xmath962 , we use a technique from semidefinite programming . first we compute the eight coefficients @xmath986 of the supporting function @xmath984 as above . this gives a linear function @xmath987 on @xmath959 . we then run a first - order lasserre relaxation ( cf . @xcite ) to minimize this linear function subject to the linear and quadratic constraints that cut out the special lagrangian grassmannian . the optimal value is zero , the optimal lasserre moment matrix has rank two , and its image in @xmath959 lies in the relative interior of the line segment between @xmath928 and @xmath929 . we then re - optimize for various perturbations of the linear function @xmath987 . the output of each run is a rank one moment matrix which certifies either @xmath928 or @xmath929 as optimal solution of the optimization problem . this proves that the face of @xmath962 exposed by @xmath987 is the line segment between @xmath928 and  @xmath929 . nicholas mccarthy , david ogilvie , nahum zobin , and veronica zobin , _ convex geometry of coxeter - invariant polyhedra _ , trends in banach spaces and operator theory ( memphis , tn , 2001 ) , contemp . math . 321 , amer . soc . , providence , ri , 2003 , pp . 153179 . kristian ranestad and bernd sturmfels , _ the convex hull of a variety _ , to appear in the julius borcea memorial volume , ( eds . petter brndn , mikael passare and mihai putinar ) , trends in mathematics , birkhuser verlag , arxiv:1004.30 .
Abstract:

Answer: an orbitope is the convex hull of an orbit of a compact group acting linearly on a vector space . these highly symmetric convex bodies lie at the crossroads of several fields including convex geometry , algebraic geometry , and optimization . we present a self - contained theory of orbitopes with particular emphasis on instances arising from the groups @xmath0 and @xmath1 . these include schur - horn orbitopes , tautological orbitopes , carathodory orbitopes , veronese orbitopes , and grassmann orbitopes . we study their face lattices , their algebraic boundaries , and representations as spectrahedra or projected spectrahedra .