The equivariant Todd genus of a complete toric variety, with Danilov condition (Q2370294)

Let \(G=(\mathbb C^*)^d\) and let \(\Lambda \) denote the character group of \(G\), \(\mathfrak{g}^*\) the real vector space \(\Lambda\otimes _\mathbb Z\mathbb R\). Denote by \(\Lambda^*\) the dual lattice and by \(\mathfrak{g}\) the dual vector space. Let \(\Sigma \) be a complete fan in \(\mathfrak{g}\) and let \(X_\Sigma\) the corresponding complete toric variety. The \(G\)-equivariant Todd (homology) class \(\text{Todd}(X_\Sigma)\) is an element of \(\widehat{H}^G_*(X;\mathbb R):=\widehat{S}(\mathfrak{g^*})\otimes_{S(\mathfrak{g})} H^G_*(X)\) the (completed) equivariant homology module. Here \(\widehat{S}(\mathfrak{g}^*)\) is the completion of the symmetric algebra \(S(\mathfrak{g}^*)\) (over \(\mathbb{R}\)) at the irrelevant ideal. The homology classes \([\overline{O}_\sigma], \sigma\in \Sigma,\) of the \(G\)-orbit closures corresponding to the cones in \(\Sigma\) generate the equivariant homology of \(X_\Sigma\). The authors obtain an explicit formula for the \(G\)-equivariant Todd class \(\text{Todd}(X_\Sigma)\) as an \(\widehat{S}(\mathfrak{g}^*)\)-linear combination \(\sum_{\sigma\in \Sigma}\mu^*(\sigma)[\overline{O}_\sigma]\), where \(\mu^*(\sigma)\in \widehat{S}(\mathfrak{g}^*)\) is a formal power series, which is the Taylor series at the origin of (the germ of) an analytic function defined in a neighbourhood of \(0\in \mathfrak{g}\). Also \(\mu^*(\sigma)\) has rational coefficients and depends only on the cone \(\sigma\) and not on the fan \(\Sigma\), thus satisfying the Danilov condition. The formula for \(\text{Todd}(X_\Sigma)\) is first proved for complete simplicial toric varieties. It is derived for arbitrary complete toric varieties from the simplicial case by using the proper birational morphism \(f:X_{\widetilde{\Sigma}}\rightarrow X_\Sigma\) induced by a simplicial refinement \(\widetilde{\Sigma}\) of \(\Sigma\). One crucial property of \(\mu^*(\sigma)\) used in the proof is that if \(\mathcal{C}=\{\tau \}\) is a subdivision of \(\sigma\) then \(\mu^*(\sigma)=\sum\mu^*(\tau)\), where the summation is over those \(\tau\in \mathcal{C}\) having the same dimension as \(\sigma\). In the case when \(\Sigma\) is simplicial, \textit{M. Brion} and \textit{M. Vergne} [J. Reine Angew. Math. 482, 67--92 (1997; Zbl 0862.14006)] have obtained a formula for the equivariant Todd class as element of the equivariant cohomology ring. Under the Poincaré duality and the identification of the equivariant cohomology algebra \(H^*_G(X_\Sigma)\) with the algebra \(R_\Sigma\) of continuous piecewise polynomial functions on \(\mathfrak{g}\), the expression for the equivariant cohomology Todd class is shown to yield the asserted formula for the equivariant homology Todd class once a choice of a rational scalar product on \(\mathfrak{g}\) is made. The authors deduce a formula of \textit{J. L. Brylinski} and \textit{B. Zhang} [Equivariant Todd classes for toric varieties, \url{arXiv:math.AG/0311318}] which expresses the equivariant Todd class of an arbitrary complete toric variety \(X_\Sigma\) as a linear combination of the class of \(G\)-fixed points where the coefficients are certain (germs at \(0\) of) meromorphic functions thought of as elements of the ring obtained from \(S(\mathfrak{g}^*)\) by localizing with respect to the multiplicatively closed subset consisting of products of nonzero characters of \(G\).