Hirzebruch class and Bialynicki-Birula decomposition

Suppose an algebraic torus acts on a complex algebraic variety $X$. Then a great part of information about global invariants of $X$ are encoded in some data localized around the fixed points. The goal of this note is to present a connection between two approaches to localization for $C^*$-action. The homological results are related to $S^1$-action, while from $R^*_{>0}$-action we obtain a geometric decomposition. We study the resulting decompositions of Hirzebruch $\chi_y$-genus and their relative versions. We show that via a limit process the second decomposition is obtained from the first one. The results are also valid for singular varieties.

Suppose an algebraic torus C * acts on a complex algebraic variety X. We assume that the action is algebraic. Then a great part of the information about global invariants of X is encoded in some data localized around the fixed points. The goal of this note is to present a connection between two approaches to localization for C * -action. The homological results are related to S 1 -action, while from R * >0 -action we obtain a geometric decomposition. Algebraic (or more generally holomorphic) actions of C * S 1 × R * >0 have the property that the actions of S 1 and R * >0 determine each other. From our point of view what really matter are the invariants of fixed point set components and information about the characters of the torus acting on the normal bundles. All the data can be deduced from Bia lynicki-Birula decomposition of the fixed point sets for the finite subgroups of C * . Our main goal is to express a relation between invariants of Bia lynicki-Birula cell and the localized Hirzebruch class. The procedure works for smooth algebraic varieties. A part of the construction can be carried out for singular varieties. We discuss two decompositions of Hirzebruch χ y -genus: the first one related to S 1 -action, the second one related to R * >0 flow. We show that via a limit process the second decomposition is obtained from the first one. That is our main result, Theorem 10. The idea to treat the generator t ∈ H 2 (BS 1 ) as a real number and pass to infinity is already present in [Wit82]. A version of the main result is valid for singular varieties and in a relative context by Theorem 19.
I would like to thank Andrzej Bia lynicki Birula for his valuable comments and for explaining to me the origin of the plus-decomposition. I'm also grateful to Jörg Schürmann and Matthias Franz for their remarks. 13. Beyond algebraic geometry 16 References 18 1. Homological localization associated to S 1 -action The homological approach to localization was initiated by Borel [Bor60] in 50-ties, but a lot of ideas originate from Smith theory [Smi34]. Further development is due to Segal [Seg68], Quillen [Qui71], Chang-Skjelbred [CS74]. The theory was summarized by Goresky-Kottwitz-MacPherson [GKM98]. This is essentially a topological theory, and the group acting is assumed to be a compact torus T (S 1 ) r . We give the formulation by Quillen. We will discuss only cohomology with rational coefficients or later where differential forms are involved, the cohomology with real coefficients. (1) H * T (X) → H * T (X T ) is an isomorphism after localization in the multiplicative system generated by nontrivial characters.
A variant of this approach was independently developed by Atiyah-Bott [AB66,AB84], Baum-Bott [BB70], Berline-Vergne [BV82] for manifolds. In particular there was found an inverse map of the restriction to the fixed point set. The integral of a cohomology class can be expressed as a sum of contributions concentrated on the components of the fixed point set T (F ) denote the equivariant Euler class of the normal bundle to F . Then Atiyah-Bott and also Vergne [Ver07] point out that the localization formula was discussed already in Witten [Wit82].
All the listed papers relate the cohomological properties of the fixed point set to global invariants. The arguments are of homological nature. If X is an algebraic variety and the action of T is the restriction of an algebraic action of a complex torus T, then X T = X T . Since H * T (X) H * T (X), from the homological point of view there is no difference between S 1 action and C * -action.
2. Geometric localization associated to the action of R *

>0
The second, very different approach of Bia lynicki-Birula is of geometric nature. The decomposition is obtained just from the action of R * >0 ⊂ C * , the action transverse to the S 1 -orbits. Let X be a complete algebraic variety. Suppose that T = C * is the one dimensional algebraic torus. Let λ · x for λ ∈ C * and x ∈ X denote the action. Let F be a connected component of the fixed point set X T . Let us define Note that for complete algebraic varieties the limit lim z→0 z · x always exists. To define the cell X + F it is enough to consider the real flow generated by the fundamental field of the action. We have Theorem 3 (Bia lynicki-Birula plus-decomposition, [BB73] Theorem 4.3). Suppose X is a complete nonsingular algebraic variety. Each set of the decomposition is a locally closed algebraic subvariety. Taking the limit x → lim λ→0 λ · x is a morphism of algebraic varieties X + F → F . The map X + F → F is a locally trivial bundle in the Zariski topology. The fibers are isomorphic to affine spaces.
In the original formulation of Theorem 3 there is an extra assumption: X can be covered by T-stable quasi-affine open subsets. This assumption is unnecessary by [Sum74,Lemma 8]. Bia lynicki-Birula decomposition is valid for algebraic varieties over an arbitrary field. Further properties of the decomposition for projective varieties are studied in [BB76]. We will not use these properties in our considerations.
We will consider the Bia lynicki-Birula decomposition for singular spaces. We assume that the singular space is contained in a smooth T-variety and the action is induced from the ambient space. By [Sum74, Theorem 1] any quasi-projective normal T-variety can be embedded equivariantly in a projective space with a linear action. If the singular space is not normal, then an embedding to a smooth T-variety might not exist. For example, let X = P 1 /{0, ∞} be the projective line with the standard T-action and with the points 0 and ∞ identified. Suppose X can be embedded in a smooth T-variety. Then by [Sum74, Corollary 2] there exists an affine invariant neighbourhood of each orbit. But any Tinvariant neighbourhood of the singular point contains the whole X, which is complete. Therefore P 1 /{0, ∞} cannot be equivariantly embedded into a smooth variety.
Despite counterexamples we will consider singular spaces which might be not normal nor projective. Instead we assume that they are equivariantly embedded in a smooth T-space. This way we obtain a decomposition into locally closed subsets.
Corollary 4. Assume that B is a complete smooth T-variety and X is a T-invariant subvariety. Then X admits a decomposition into locally closed subsets x is a morphism in the category of algebraic varieties.
We can as well obtain a finer decomposition indexed by the components of X T , but we will not need that.

Homological corollaries from plus-decomposition
Suppose X is smooth and complete. From Theorem 4 it follows that the class of X decomposes in the Grothendieck ring of varieties where n + (F ) is the dimension of the affine bundle X + F → F . It is equivalent to say that for any ring-valued function which is an additive and multiplicative invariant of algebraic varieties, we have In particular for Hirzebruch χ y -genus ([Hir56, Chapter 4], see the next section) we obtain A decomposition of rational cohomology follows when one applies virtual Poincaré polynomials ([Ful93, 4.5]). Originally that decomposition was obtained by Bia lynicki-Birula by counting points of the variety reduced to a finite base field.
Theorem 5 ( [BB74]). If X is smooth and complete algebraic variety, then as graded vector spaces, where n + (F ) is the dimension of the affine bundle X + F → F . Here again the original assumptions of [BB74] are stronger (X is assumed to be projective), but the theorem holds for complete X due to the Sumihiro result [Sum74, Lemma 8], as already explained. The decomposition of X as an object of the category of Chow motives was proved by several authors, see the discussion in [Bro05,§3]. The isomorphism of Theorem 5 can be realized by a certain correspondence [Bro05, Theorem 3.1] see [Ful98,§16] for the notation. For Kähler manifolds (under the assumption that X is connected, X T = ∅ or H 1 (X) = 0) the cohomological counterpart part of the decomposition was already known by Frankel [Fra59]. The decomposition of integer cohomology was proven by Carrell-Sommese [CS79]. A generalization for a certain class of singular varieties was proved by Carrell-Goresky [CG83]. We note, that for arbitrary C * -actions the decomposition is false. There are holomorphic actions on Kähler manifolds without fixed points (since C * acts transitively on an elliptic curve).

Relating homological and geometric decompositions
The following question arises: are the homological and geometric decompositions related?
We give an answer to this question in terms of characteristic classes. Consider an invariant A(X) of a smooth complete algebraic variety X which is both (1) given by the integral of a multiplicative characteristic class of the tangent bundle, (2) additive with respect to cut and paste procedure, i.e. it factors through the Grothendieck group of varieties K(V ar/C). By [BSY10] the Hirzebruch χ y -genus satisfies (1) and (2).
Remark 6. The property (2) implies that: (3) for a fibration F → E → → B which is locally trivial in Zariski topology it holds This kind of multiplicative property was discussed in [Tot07] for complex manifolds. By [Tot07, Theorem 1.2] the χ y -genus is an universal invariant which is multiplicative with respect to bundles with fibers being projective spaces. One can check (by easy computation) that if an invariant given by a characteristic class is multiplicative with respect to algebraic P 1 -and P 2 -bundles over P n 's, then such an invariant has to be (up to a change of variables) the Hirzebruch χ y -genus. It follows that the χ y -genus is an universal invariant satisfying (1) and (3) for algebraic varieties. Since (3) is weaker than (2), the χ y -genus is also an universal invariant satisfying (1) and (2).
The χ y -genus and the Hirzebruch class td y provide a bridge between geometric decompositions of varieties and decompositions on the cohomology level. For y = 0 we obtain the Todd class which was studied by Brion and Vergne in [BV97] from the equivariant point of view in the case of toric varieties.
To describe the simplest case of our main result assume that X is smooth, complete and the fixed point set is finite. Then for p ∈ X T the associated subset X + {p} is an algebraic cell isomorphic to an affine space. The cell dimension n + (p) can be expressed in terms of the tangent representation T p X. Let be the decomposition into weight subspaces of the action. Then be the Poincaré polynomial of X. When X admits a decomposition into algebraic cells then P X (after the substitution y = −t 2 ) is equal to the Hirzebruch χ y -genus [Hir56, §IV.15.5] Each fixed point of the T-action gives rise to a generator of cohomology and contributes to χ y -genus: On the other hand the χ y -genus can be computed by integration of the Hirzebruch class td y (X). We recall, that the Hirzebruch class of a complex manifold is defined as a characteristic class of the tangent bundle (19) td y (X) := td y (T X) .
The (nonreduced) class td y (−) is the multiplicative characteristic class associated to the power series .1] for a short presentation. If the torus acts on X then naturally the Hirzebruch class (as any characteristic class) lifts to equivariant cohomology. The properties of the equivariant Hirzebruch class are studied in [Web15]. An example of computation is given in [MW15]. Having the equivariant version of the Hirzebruch class td T y (X) we can apply Atiyah-Bott-Berline-Vergne formula. Strictly speaking we have a formula for push forward p * : . By [Mus11] the class p * td T y (X) is concentrated in degree zero and it is equal to χ y (X). Thus we have .
The contribution to the χ y genus corresponding to a point p ∈ X T is equal to where t is the generator of H * T (pt) R[t] (we will consider cohomology with real coefficients). The distinguished generator t ∈ H 2 (BT) corresponds to the identity character Let us treat t as a real number. Then which is exactly the contribution to χ y (X) coming from the Bia lynicki-Birula decomposition. Therefore we can loosely say: Corollary 7. The Bia lynicki-Birula decomposition of χ y -genus is the limit of the Atiyah-Bott-Berline-Vergne localization formula.
We obtain a decomposition in K(V ar/C) The resulting decomposition of χ y is the following: (BB) χ y (P 1 ) = (−y) + 1 .
The Atiyah-Bott or Berline-Vergne integration formula allows to decompose Allowing t → −∞ we see that (ABBV) decomposition converges to (BB) decomposition.

Relative Hirzebruch class
Characteristic classes of equivariant vector bundles appear in literature quite often, see e.g. [BGV92,§7] where a differential definition is given. For a compact connected Lie group K acting via symplectic transformations on a symplectic manifold X the equivariant Todd In the formulation of our main theorem, Theorem 10, the Hirzebruch class td T y for singular varieties appears. The non-equivariant case was studied in [BSY10]. The equivariant version for a torus action was developed in [Web15]. Let us list the formal properties which determine this class. Let us assume that B is a complex smooth algebraic T-variety. For any equivariant map of T-varieties f : X → B we have a cohomology class satisfying: . The above properties indicate how to calculate td T y (f : X → B). The Hirzebruch class of f : X → B is computed inductively with respect to the dimension of X. We may decompose X into smooth T-invariant strata and use the additivity property (iii). Therefore it is enough to assume that X is smooth. We claim that there exists a smooth T-variety X containing X and an equivariant extension f : X → B of f which is proper. To construct X we find (by [Sum74, Theorem 3]) an equivariant completion Y 1 ⊃ X. Let Y 2 be the closure of the graph f : X → B in Y 1 × B. The variety Y 2 contains an open subset isomorphic to X and the restriction of the projection to B is a proper extension of f . Now we resolve the singularities of Y 2 in an equivariant way due to [BM97] and obtain the desired variety X. Now where ∂X = X \ X. The first summand can be computed from the property (i) and (ii). Since dim(∂X) < dim(X) the term td T y (f |∂X : ∂X → B) is computed by the inductive assumption. Of course it is a nontrivial fact that the obtained result does not depend on the choices made.
Remark 9. By the equivariant Chow lemma [Sum74, Theorem 2] we can modify X and assume that it is quasi-projective. By equivariant completion and equivariant resolution the group K T (V ar/B) is generated by the proper maps [X → B], where X is smooth. We do not go into the structure of the group (in fact a ring) K T (V ar/B). We treat it here just as an auxiliary formal construction 1 .
The main property of the Hirzebruch class is that the assignment proper equivariant maps from smooth varieties to B −→Ĥ * extends to a homomorphism of groups . In the non-equivariant case this is the main theorem of [BSY10]. The equivariant case follows automatically. It is discussed in [Web15].

The main result
We will generalize the simple calculation of the Example 8 to the case of possibly singular varieties and actions with arbitrary fixed point set.
The substitution of the cohomology class t ∈ H 2 (BT) by a real number needs some justification. This is carefully explained by Propositions 14-15 and Theorem 16.
Remark 11. Regardless of the formal proof we would like to note that the convention to treat t as a real number, not as a cohomology class, is present in many places, see for example Witten [Wit82,§3]. Also the idea to look at the limit when t → −∞ is present in Witten's paper.
Since the Hirzebruch class td T y (X → B) is constructed via resolution of X we are led to prove a slightly more general functorial formulation. In Theorem 19 we consider not a subvariety, but an arbitrary map X → B. This extension is forced by the proof of the theorem based on the properties (i)-(iii) of §5. By these properties it is enough to consider the case when X = B, and the result follows from the calculus of characteristic classes.
We summarize our result in following way: Grothendieck groups with cohomology is commutative: is well defined for α belonging to the image of td T y . For a singular variety X the genus χ y (X) is by definition equal to td y (X → pt) ∈ H * (pt)[y] = R[y]. (In fact td y (X → pt) has integer coefficients.) Having Theorem 10 for granted we conclude that Atiyah-Bott-Berline-Vergne decomposition of χ y -genus converges to the Bia lynicki-Birula decomposition as t tends to −∞.
Remark 13. Application of the Laurent series 1+y e −t 1−e −t might be misleading for the reader. In fact by no means we rely on analytic properties of that series. It just serves as a bridge from equivariant K-theory to equivariant cohomology. The series e t ∈Ĥ * T (pt) is equal to the Chern character of the natural representation of T. In other words it is the image of a distinguished generator of equivariant K-theory under the equivariant Chern character map 2 (38) ch : K T (pt) →Ĥ * T (pt) . A better environment for our theorem would be equivariant K-theory of B. Then, instead of e t , we might use a variable θ and all the expressions involved would be rational functions in θ. Nevertheless we have decided to work with cohomology since we believe that this setup is wider spread in literature.
In the section §12 we study the Hirzebruch class of the fixed points X G for a subgroup G ⊂ T. We show that for a smooth variety X it is possible to read the χ y -genera of the cells (X G ) + F from the localized equivariant class.

Asymptotic of the characteristic class ch T Λ y
Assume that X is a smooth T-variety. Our goal is to prove that makes sense after the substitution t = t 0 ∈ R \ {0}. Then we compute the limit when t 0 → −∞. The content of this paragraph can be summarized as follows: by the splitting principle we assume that the normal bundle ν F decomposes into equivariant line bundles i ξ i . Let x i = c 1 (L i ) ∈ H 2 (F ) and let w i ∈ Z be the weight of T-action on ξ i . Then We see that the factors of the product after substitution t = t 0 ∈ R \ {0} become and converge when t 0 → −∞ to −y or 1, depending on the sign of w i . To be fully precise we divide the proof into several steps.
Let ξ be a complex vector bundle over a paracompact topological space F of finite dimension. Denote by Λ y (ξ) the formal combination . The operation Λ y is of exponential type. It converts direct sums to tensor products: Applying Chern character to Λ y (ξ) we obtain a characteristic class By the exponential property of Λ y we have Let ξ be a T-equivariant vector bundle over a base F . We will apply the localization Theorem 2, and thus we concentrate on analysis of equivariant vector bundles over a base F with trivial action. Every equivariant bundle over such base space decomposes into a direct sum of subbundles corresponding to various characters of T Here we assume that the action of T on ξ w is trivial. The line bundle C w is trivial as a vector bundle with the action of z ∈ T via multiplication by z w , for the given w ∈ Z.
Recall that we have chosen a generator of the cohomology ring H * (BT) = R[t] (the generator t ∈ H 2 (BT) corresponding to the identity character T = C * → C * ). Our goal is to describe the asymptotic behavior of the equivariant characteristic class ch T Λ y which belongs to . We use the completed cohomology H * = +∞ k=0 H k , since the classifying space is of infinite dimension. We will specialize the cohomology class t treated as a formal variable to a real number t 0 . First of all we have to show that such a specialization makes sense. The resulting specialization will be denoted by ch t 0 Λ y (ξ) ∈ H * (F )[y]. For y = −1 we will need to invert the classes ch T Λ −1 (ξ) and ch t 0 Λ −1 (ξ) Proposition 15. Assume that all weights appearing in ξ are nonzero. Then the class . Moreover, specializing t to a real number t 0 = 0 we obtain an invertible element in ch t 0 Λ −1 (ξ) ∈ H * (F ).
Next, we will let t 0 tend to −∞.
Theorem 16. Let and assume that all weights appearing in ξ are nonzero. Then there exist the following limits in H * (F )[y]: In particular the limits belong to H 0 (F )[y].

Proofs of asymptotic properties of ch T Λ y
Proof of Proposition 14. First assume, that ξ = ξ w ⊗ C w . We have and since the power series exp(t) converges for any argument, ch T Λ y (ξ ⊗ C w ) specializes to The claim for an arbitrary bundle is obtained by the exponential property of ch T Λ y . 2 Proof of Proposition 15. It is enough to show the invertibility for ξ = ξ w ⊗ C w . Since we assume that the base is paracompact, there exists a bundle η over F , such that ξ w ⊕ η is a trivial bundle of some rank N ∈ Z. Then The power series 1 − exp(wt) = −(wt + (wt) 2 2 + . . . ) is invertible, since w = 0 and we invert t. Therefore Specializing t = t 0 = 0 we have 1 − exp(wt) → 1 − e wt 0 = 0 ∈ R and we obtain invertibility Proof of Theorem 16. We will concentrate on the first limit. The second one is computed by changing z ∈ T to z −1 . By the exponential property of ch t 0 Λ it is enough to assume that ξ = ξ w ⊗ C w . Moreover, by the splitting principle we can assume, that dim(ξ) = 1. Precisely, by [Hus94, §17.5, Prop. 5.2] there exists a space F and a map f : F → F , which induces a monomorphism on cohomology, and the bundle f * ξ decomposes into linear summands. By the exponential property of ch t 0 Λ y (−) it is enough to compute the limit (40) in H * (F ) for each summand of f * ξ. Therefore we can assume that dim ξ = 1. We note that We will show (58) lim Indeed, set c 1 (ξ) = x. Then The denominator is a real number and we obtain the limits as claimed. Substituting y = −1 we obtain the formula for the second factor of (58): Taking the quotient of the limits (58) and (60) we prove the theorem. 2

Asymptotic of the Hirzebruch class
Let us now assume that w = 0 does not appear among the weights. The equivariant Hirzebruch class of a vector bundle ξ can be expressed by the class ch T Λ y (ξ * ) and the Euler class eu T (ξ) The Euler class is invertible in the equivariant cohomology localized in t (the same proof as of Proposition 15, see also [EG98]) and we can write the quotient class expressed only by the class ch T Λ y (ξ * ). From Theorem 16 we obtain Corollary 17. Let ξ be an equivariant vector bundle without eigenvectors of weight 0. The following limits in H * (F )[y] exist and In particular the limits belong to H 0 (F )[y].
Note that the roles of ∞ and −∞ are interchanged since in the definition of td y the dual bundle ξ * appears.

The limit of the localized Hirzebruch class -smooth case
Let X be a complex manifold with a holomorphic action of T. Let F ⊂ X T be a component of the fixed point set. The normal bundle ν F decomposes into the eigen-subbundles of the torus action The equivariant Hirzebruch class of X restricted to F is equal to the cup-product (66) td T y (X) |F = td T y (F ) · td T y (ν F ) . The contribution appearing in the Berline-Vergne or Atiyah-Bott formula corresponding to the component F is equal to By Corollary 17 we conclude: Theorem 18. Let X and F be as above, and let be the dimensions of the subbundles of ν F corresponding to the positive and negative weights. Then lim

Relative localization for singular varieties
This section is devoted to the proof of the main result, Theorem 10 and its refined version, Theorem 19.
We fix F ⊂ B T , a component of the fixed point set. Denote by i F : B + F → B the inclusion and r F : B + F → F the retraction induced by the action of T. Let (71) 1) Φ F : The first characteristic class is the limit The limit exists for smooth and complete X by Theorem 16. Since the Hirzebruch class satisfies the additivity condition ( §4, iii) the limit defines a homomorphism K T (V ar/B) → H * (F )[y]. In the notation of Corollary 12 we have Φ F = lim F • td T y .
2) Ψ F : The second class is equal to . This characteristic class is the composition In the notation of Corollary 12 we have Ψ F = td y • β F .
Both characteristic classes give rise to group homomorphisms Our main result is the following: Theorem 19. For any equivariant map f : X → B the classes Φ F (X → B) and Ψ F (X → B) are equal: Proof. As explained in §5 the group K T (V ar/B) is generated by the proper maps from smooth manifolds. Since we assume that B is complete it is enough to check the equality for equivariant maps to B from smooth compete varieties. Due the obvious property and functoriality of the class td T y with respect to the push-forwards (property (ii) of §5) one can assume that B = X, f = Id X . The retraction r F : X + F → F is an affine bundle with the fiber isomorphic to C n + (F ) , by Theorem 4. Therefore (78) Ψ F (id : X → X) = td y (r F : X + F → F ) = (−y) n + (F ) td y (F ) . This can be seen already on the level of the Grothendieck groups. We have (Here × : K(V ar/F ) × K(V ar/{pt}) → K(V ar/(F × {pt})) = K(V ar/F ) is given by the Cartesian product of maps.) On the other hand by Theorem 18 2 Remark 20. Taking the limit when t 0 → +∞ one obtains the Hirzebruch class of the map 12. Fixed points for the subgroups of S 1 Suppose X is a smooth complete complex algebraic variety. In [BB74] there were studied the fixed point sets of the subgroups of T. Originally X was assumed to be projective, but the results hold for complete varieties by [Sum74,Lemma 8]. Our goal is to show, that the information about the plus-decompositions of fixed point sets is encoded in the localized Hirzebruch classes.
Let G ⊂ T be the subgroup of order k. Then the fixed point set X G is again a T-manifold, with (X G ) T = X T . The plus-decomposition of X G is given by where n w (F ) = dim(ν w F ). In particular for k = 1 (85) w>0 n w (F ) = n + (F ) , w<0 n w (F ) = n − (F ) .
Knowing all the numbers n w (F ) and the cohomology of the fixed point set components one can compute (by Theorem 4) the cohomology of X G for all G ⊂ T. We claim that the numbers n w (F ) are encoded in the localized Hirzebruch class. First let us note that applying the limit procedure to we obtain td y (F )(−y) n + (F ) (by Theorem 18). Plugging y = −1 we obtain td y (F ), the first factor of (86). Therefore the expression (86) contains information about its second factor (87) td y (ν(F )) eu T (ν F ) .
The degree zero part of (87) with respect to the gradation in H * (F ) is equal to where θ = e t . Let us denote this expression by ∆(n). It is an exercise in calculus to show that the numbers n w are determined by ∆(n). We just note the following equalities: • The function ∆(n) |y=0 has poles at roots of unity. The order of the pole at a primitive root of order k is equal to w>0, k|w (n −w + n w ) , • the coefficient at θ k , k > 0 in ∂ ∂y ∆(n) |y=−1 is equal to w>0, w|k (n −w − n w ) . From these data the numbers n −w − n w and n −w + n w can be computed inductively with respect to divisibility of w. Finally all the exponents n w may be found. The above combination for k = 2 would have to be sent to (91) −y − 1 + y 2 − y − 2y 2 = 0.
Therefore for singular varieties it is not possible to compute the classes of the cells (X G ) + F = (X + F ) G from the localized Hirzebruch class. More specifically, there is no linear function sending

Beyond algebraic geometry
We would like to mention a decomposition of χ y -genus in the case of symplectic manifolds. We do not consider singular spaces, since for such spaces it is not clear how to extend the definition of χ y -genus. We will just discuss the formula (10).
Let X be a symplectic manifold with a Hamiltonian action of T = S 1 with a moment map (i.e. the Hamiltonian) µ. We fix a Riemannian metric on X which agrees with the symplectic structure. This way the tangent bundle to X is equipped with a complex structure. We can assume, averaging if necessary, that the scalar product is invariant with respect to the action of T . Now it makes perfect sense to apply the Hirzebruch class td y (−) to the tangent bundle T X and compute χ y (X). The equivariant version td T y (−) is available as well. Theorem 2 allows to compute χ y (X) as a sum of local contributions.
Let F be a component of X T . For x ∈ X T the tangent space T x X has a complex structure and as in the case of algebraic manifolds we define the number n + (F ) as the dimension of the subrepresentation with positive weights. The number n + (F ) can be computed in another way, using the gradient flow. Consider the flow f t : X → X, t ∈ R associated to the vector field grad(µ). Let Remark 22. The corresponding formula for Betti numbers was proved by Frankel [Fra59] for Kähler manifolds (with b 1 (X) = 0 or under the assumption that X T = ∅), but his proof works for symplectic manifolds with Hamiltonian action. Frankel treats the moment map µ as a Morse function. The critical set of µ is equal to the fixed point set X T and consists of nondegenerate critical submanifolds in the sense of Bott [Bot54]. The proof of Frankel relies on Morse-Bott inequalities and opposite inequalities which hold in general topological context. The exact analogue of the Bia lynicki-Birula decomposition in the case of Hamiltonian actions is mentioned in [GS84, Theorem 32.5] recalling Bott's work. A relevant reference for this circle of problems is the book [Kir84], especially §I.5.
Further weakening of assumptions on X, i.e. assuming only that X is a smooth oriented manifold, leads to the formula for signature (y = 1) and Euler characteristic (y = −1). Taking the limit when t → −∞ we obtain: with sign 3 depending on the character of the action of S 1 and the orientation of the normal bundle to F . This equality is the limit of [Wit82,Formula (45)]. We note that localization of signature was studied in [AS68] for finite order automorphisms, see Theorem 6.12 and its corollaries, in particular the formula 7.8 for circle action on a manifold with boundary. The equality σ(X) = σ(X T ) is mentioned by Hirzebruch in the report for Mathematical Reviews.
Forgetting the orientation we are left only with the formula for Euler characteristic (100) which was probably the starting point for all localization theorems for torus actions.
3 Orientations of the ambient manifold M and the submanifold F induce an orientation of the normal bundle. The action of S 1 on the normal bundle induces another orientation. The sign depends on whether these orientations agree.