Equations of some wonderful compactifications (Q416019): Difference between revisions

The author proves that some wonderful symmetric variety can be defined by linear equations. Let \(G\) be a semisimple adjoint group and let \(G^\sigma\) be the subgroup of fixed points of \(G\) by an involution \(\sigma\). De Concini and Procesi have defined the wonderful compactification \(X\) of \(G/G^\sigma\); it can be described as the closure of the \(G\)-orbit through \(Lie(G^\sigma)\) in the grassmannian of \(Lie(G)\) of the appropriate dimension. In general, the complementary set of \(G/G^\sigma\) in \(X\) is a smooth normal crossing divisor which has exactly \(r\) irreducible components, where \(r\) is the rank of \(X\). Moreover the \(G\)-orbits closures are the intersection of such divisors; in particular there is a unique closed orbit. The author studies the case where the rank of \(X\) is equal to the rank \(r\) of \(G\), i.e. there is maximal (\(\sigma\)-stable) torus over which \(\sigma\) acts as the inverse map. For each \(G\), there is a unique involution with such property; if \(G\) is \(SL_n\), then \(X\) is the variety of complete quadrics. Let \(\omega(x,y,z)=k([x,y],z)\) be the trilinear alternate form associate to the Killing form \(k\). A subspace of \(Lie(G)\) is a nullspace for \(\omega\) if the restriction of \(\omega\) to \(W\) zero; \(W\) is a maximal nullspace if it has maximal dimension between such spaces. Let \(Lie(G)=Lie(G)^\sigma\oplus Lie(G)^{-1}\) be the decomposition in \(\sigma\)-eigenspaces of \(Lie(G)\); then \(Lie(G)^{-1}\) is a nullspace. Moreover the author shows that any Borel subalgebra is a maximal nullspace; hence, by the hypothesis on the rank of \(X\), \(Lie(G)^{-1}\) is a maximal nullspace. Finally, the author shows that \(X\) is isomorphic to the variety of maximal nullspaces by the map \(W\rightarrow W^\perp\) (where \(W^\perp\) is the orthogonal to \(W\) with respect to \(k\)). At the end of this work the author considers two examples of rank 2.