Projective normality of complete toroidal symmetric varieties (Q2468533)

\textit{R. Chirivì} and \textit{A. Maffei} [Duke Math. J. 122, No. 1, 93--123 (2004; Zbl 1064.14058)] have proved that the multiplication map of sections of two globally generated line bundles on a wonderful symmetric variety is surjective. In this paper, A.~Ruzzi extends this result to smooth complete toroidal symmetric varieties as follows. Let \(G\) be a simply connected semisimple complex algebraic group. Let \(\theta\) be an involution of \(G\) and let \(Y\) be a smooth toroidal completion of the symmetric space \(G/H\), where \(H\) is the normalizer of the subgroup of \(\theta\)-fixed points of \(G\). Finally, let \(S\) be a maximal \(\theta\)-split torus in the adjoint group \(G/Z(G)\). The work of \textit{C. De Concini} and \textit{C. Procesi} [Adv. Stud. Pure Math. 6, 481--513 (1985; Zbl 0596.14041)] associates a certain smooth toric \(S\)-variety \(Z \subset Y\) to \(Y\). It is proper over a the affine space \(\mathbb{A}^l\), where \(l\) is the rank of \(G/H\), and its closure \(Z^c\) in \(Y\) is a smooth complete toric \(S\)-variety. Ruzzi proves that if \(L_1\) and \(L_2\) are two so-called \textit{almost spherical} line bundles on \(Y\) generated by global sections, then the multiplication map of sections \(H^0(Y,L_1) \otimes H^0(Y,L_2) \rightarrow H^0(L_1 \otimes L_2)\) is surjective if and only if the multiplication map \(m^c: H^0(Z^c,L_1|_{Z^c}) \otimes H^0(Z^c,L_2|_{Z^c}) \rightarrow H^0(L_1 \otimes L_2|_{Z^c})\) of the restrictions of the line bundles to \(Z^c\) is surjective. Furthermore, he proves that when \(L_1\) and \(L_2\) are \textit{spherical} ample line bundles, then the surjectivity of \(m^c\) is equivalent to that of the multiplication map for the restrictions of \(L_1\) and \(L_2\) to \(Z\). For so-called \textit{exceptional} \(Y\) he shows that when \(L_1=L_2\) the assumption that the ample line bundle be spherical can be dropped. In the last section of the paper, the author finds several families of toric varieties \(Z\) and line bundles for which the surjectivity of the multiplication map holds.