Equivariant Chow ring and Chern classes of wonderful symmetric varieties of minimal rank (Q1024602)

The purpose of the article under review is to describe the equivariant Chow ring and the equivariant Chern classes of a \textit{wonderful symmetric variety of minimal rank} over an algebraically closed field \(k\) of characteristic \(\neq 2\). Let \(G\) be an adjoint semisimple group and \(K:=G^{\theta}\) be the subgroup of fixed points under an involutive automorphism \(\theta:G\rightarrow G\). The variety \(G/K\) is called an adjoint symmetric space. Let \(T\subset G\) be a \(\theta\)-stable maximal torus of \(G\), so that \(A:=T^{-\theta, 0}\) is a maximal \(\theta\)-split subtorus of \(G\) where \(T^{-\theta}:=\{t\in T~:~\theta(t)=t^{-1}\}\) . Then \(\dim A\) is called the rank of the symmetric space \(G/K\) denoted \(rk(G/K)\). In general, \(rk(G/K)\geq rk(G)-rk(K)\). If equality holds the symmetric space \(G/K\) is said to be of minimal rank. It is known that the symmetric spaces of minimal rank under an adjoint semi-simple group are exactly the product of the following symmetric spaces: (i) \({G'}\times {G'}/{\text{diag}}({G'})\) for an adjoint semi-simple group \( G'\), (ii) \(PGL_{2n}/PSp_{2n}\) ; \( n\geq 2\), (iii) \(PSO_{2n}/PSO_{2n-1}\) and (iv) \(E_6/F_4\). Let \(X\) denote the wonderful compactification of the symmetric space \(G/K\) of minimal rank. Then \(X\) is also called \textit{the wonderful symmetric variety of minimal rank}. Let \(W_G\) denote the Weyl group of\((G,T)\) and \(W_K\) denote the Weyl group of \((K, T_K)\), where \(T_K=T^{\theta}\) is the maximal torus of \(K\). Let \(W_{G/K}:=N_{G}(A)/C_{G}(A)\) denote the Weyl group of the \textit{restricted root system}. In this article, the authors describe the \(G\)-equivariant Chow ring of \(X\) via restriction to the associated toric variety \(Y\), which is the closure of \(T/T_K\) in \(X\). More precisely, in Theorem 2.2.1 they show that there exists a canonical restriction map \( r :A^*_{G}(X)=A^*_T(X)^{W_G}\rightarrow A^*_{T}(Y)^{W_K}\), which is an isomorphism over the rationals. The methods used in the proof of this theorem is the adaptation of the arguments in Section 3.1 of \textit{M. Brion} [Comment. Math. Helv. 73, No. 1, 137--174 (1998; Zbl 0935.14029)], using the the precise version of localization theorem in Section 3.4 of \textit{M. Brion} [Transform. Groups 2, No. 3, 225--267 (1997; Zbl 0916.14003)], together with a complete description of the finitely many \(T\)-stable points and \(T\)-stable curves in \(X\) given in Lemma 2.1.1. In Section 2.3, a more precise description of the ring \(A^*_{T}(Y)^{W_K}\) that occurs in Theorem 2.2.1 is given, by relating it to \(A^*_{T/T_K}(Y)\). Furthermore, in Proposition 2.3.3 it is shown that \(A_{G}^*(X)_{\mathbb Q}\) is a free module of rank \(|W_{G/K}|\) as an \(R\)-module, where \(R\) is a graded polynomial algebra, which is also a \(\mathbb Q\)-subalgebra of \(A^*_{G}(X)_{\mathbb Q}\) generated by \(A^*_K(pt)\) and by the equivariant classes \([X_1]_G,\ldots,[X_r]_{G}\) of the boundary divisors. The last section is devoted to the description of the equivariant Chern classes of the tangent bundle \({\mathcal T}_X\) and its logarithmic analogue \({\mathcal S}_X\), again via restrictions to the toric variety \(Y\). The logarithmic tangent bundle \({\mathcal S}_X\) is the subsheaf of the tangent sheaf \({\mathcal T}_X\) consisting of derivations preserving the ideal sheaf of the boundary divisor \(\partial X\). In Theorem 3.1.1, it is shown that as a \(T\)-linearized sheaf the normal bundle \({\mathcal N}_{Y/X}\) of \(Y\) in \(X\) decomposes into a direct sum of line bundles indexed by certain roots of \(K\). Moreover, any such line bundle is the pull-back of \({\mathcal O}_{{\mathbb P}^1}(1)\) under a certain \(T\)-equivariant morphism \(Y \rightarrow {\mathbb P}^1\). Indeed this morphism equals the \(T\)-equivariant morphism defined earlier in Proposition 1.1.1, and the product of these morphisms gives a closed immersion of \(Y\) into a product of projective lines indexed by the restricted roots. In Corollary 3.2.2, the decompositions of the restrictions of \({\mathcal T}_X\) and \({\mathcal S}_X\) to \(Y\) are given, again in terms of the line bundles mentioned above. Finally, in Proposition 3.3.1, the restriction map \(r: A^*_G(X)\rightarrow A^*_T(Y)^{W_K}\) of Theorem 2.2.1 and the decompositions of \({\mathcal T}_X\mid_{Y}\) and \({\mathcal S}_X\mid_{Y}\) are used to obtain closed formulas for the image under \(r\) of the \textit{equivariant Chern polynomials} and the equivariant Todd classes of the \(G\)-linearized sheaves, \({\mathcal T}_X\) and \({\mathcal S}_X\) respectively.