Equivariant Chow ring and Chern classes of wonderful symmetric varieties of minimal rank (Q1024602): Difference between revisions

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.