Abstract
Let \(f:X\rightarrow Y\) be a projective birational morphism, between complex quasi-projective varieties. Fix a bivariant class \(\theta \in H^0(X{\mathop {\rightarrow }\limits ^{f}}Y)\cong Hom_{D^{b}_{c}(Y)}(Rf_*{\mathbb {A}}_X, {\mathbb {A}}_Y)\) (here \({\mathbb {A}}\) is a Noetherian commutative ring with identity, and \({\mathbb {A}}_X\) and \({\mathbb {A}}_Y\) denote the constant sheaves). Let \(\theta _0:H^0(X)\rightarrow H^0(Y)\) be the induced Gysin morphism. We say that \(\theta \)has degree one if \(\theta _0(1_X)= 1_Y\in H^0(Y)\). This is equivalent to say that \(\theta \) is a section of the pull-back \(f^*: {\mathbb {A}}_Y\rightarrow Rf_*{\mathbb {A}}_X\), i.e. \(\theta \circ f^*={\text {id}}_{{\mathbb {A}}_Y}\), and it is also equivalent to say that \({\mathbb {A}}_Y\) is a direct summand of \(Rf_*{\mathbb {A}}_X\). We investigate the consequences of the existence of a bivariant class of degree one. We prove explicit formulas relating the (co)homology of X and Y, which extend the classic formulas of the blowing-up. These formulas are compatible with the duality morphism. Using which, we prove that the existence of a bivariant class \(\theta \) of degree one for a resolution of singularities, is equivalent to require that Y is an \({\mathbb {A}}\)-homology manifold. In this case \(\theta \) is unique, and the Betti numbers of the singular locus \({\text {Sing}}(Y)\) of Y are related with the ones of \(f^{-1}({\text {Sing}}(Y))\).
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Let \(f:X\rightarrow Y\) be a projective birational morphism, between complex quasi-projective varieties. Fix a bivariant class
where \({\mathbb {A}}\) is a Noetherian commutative ring with identity, and \({\mathbb {A}}_X\) and \({\mathbb {A}}_Y\) denote the constant sheaves [10]. Let \(\theta _0:H^0(X)\rightarrow H^0(Y)\) be the induced Gysin morphism. We say that \(\theta \) has degree one if \(\theta _0(1_X)= 1_Y\in H^0(Y)\). This is equivalent to say that \(\theta \) is a section of the pull-back \(f^*: {\mathbb {A}}_Y\rightarrow Rf_*{\mathbb {A}}_X\), i.e. \(\theta \circ f^*={\text {id}}_{{\mathbb {A}}_Y}\) (Remark 2.1, (i)), and it is also equivalent to say that \({\mathbb {A}}_Y\) is a direct summand of \(Rf_*{\mathbb {A}}_X\) (Theorem 3.1). We investigate the consequences of the existence of a bivariant class of degree one. Specifically, in Sect. 4 we prove explicit formulas relating the (co)homology of X and Y, which extend classic formulas of the blowing-up (Propositions 4.1, 4.3, 4.4, 4.5). These formulas are compatible with the duality morphism (Sect. 5). Using which, we prove that the existence of a bivariant class \(\theta \) of degree one for a resolution of singularities, is equivalent to require that Y is an \(\mathbb A\)-homology manifold (Theorem 6.1). In this case \(\theta \) is unique, and the Betti numbers of the singular locus \({\text {Sing}}(Y)\) of Y are related with the ones of \(f^{-1}({\text {Sing}}(Y))\) (Remark 6.2, (ii)).
Although elementary, Theorem 3.1 seems to have escaped explicit notice. As far as we know, Theorem 6.1 gives a new characterization of homology manifolds, in terms of their resolution of singularities.
2 Notations
-
(i)
Let \({\mathbb {A}}\) be a Noetherian commutative ring with identity (e.g. \({\mathbb {A}}={\mathbb {Z}}\) or \({\mathbb {A}}={\mathbb {Q}}\)). Every topological space V occurring in this paper will be assumed to be imbeddable as a closed subspace of some \({\mathbb {R}}^N\) [10, p. 32] (e.g. a complex quasi-projective variety, with the natural topology, and its open subsets). Maps between topological spaces are assumed continuous of finite cohomological dimension [10, p. 83] (e.g. algebraic maps between complex quasi-projective varieties, and their restrictions on open subsets). We denote by \(H^{i}(V)\) and \(H_{i}(V)\) the cohomology and the Borel–Moore homology groups, with \({\mathbb {A}}\)-coefficients, of V [9]. We denote by \({\text {Sh}}(V)\) the category of sheaves of \({\mathbb {A}}\)-modules on V. Let \(D_{c}^{b}(V)\) denote the derived category of bounded constructible complexes of \(\mathbb A\)-sheaves \(\mathcal {F^{\bullet }}\) on V [8, 5]. The symbol \(IC_{V}^{\bullet }\) represents the intersection cohomology complex of V. If V is a smooth, irreducible, quasi-projective complex variety of dimension n, then \(IC_{V}^{\bullet }\cong {\mathbb {A}}_V[n]\), where \({\mathbb {A}}_V\) is the constant sheaf.
-
(ii)
Let \(f:X\rightarrow Y\) be a continuous and proper map. Fix a bivariant class [10]
$$\begin{aligned} \theta \in H^0(X{\mathop {\rightarrow }\limits ^{f}}Y)\cong Hom_{D^{b}_{c}(Y)}(Rf_*{\mathbb {A}}_X, {\mathbb {A}}_Y). \end{aligned}$$Let \(\theta _0:H^0(X)\rightarrow H^0(Y)\) be the induced Gysin homomorphism. We say that \(\theta \) has degree one (for the map f) if \(\theta _0(1_X)= 1_Y\in H^0(Y)\) [16, p. 238].
-
(iii)
Let V be an irreducible, quasi-projective variety of complex dimension n. We say that V is an \({\mathbb {A}}\)-homology manifold if for all \(y\in Y\) and for all \(i\ne 2n\) one has \(H_{i}(Y, Y\backslash \{y\})=0\), and \(H_{2n}(Y, Y\backslash \{y\})\cong {\mathbb {A}}\) [3, 4] (by \(H_{i}(Y, Y\backslash \{y\})\) we denote the singular homology of a pair). This is equivalent to say that \({\mathbb {A}}_Y[n]\) is self-dual, or that \({\mathbb {A}}_Y[n]\cong IC_{Y}^{\bullet }\) [4, p. 804–805].
-
(iv)
An element \(\theta \in H^i(X{\mathop {\rightarrow }\limits ^{f}}Y)\) is called a strong orientation of codimension i for the morphism \(f:X\rightarrow Y\) if, for all morphisms \(g:Z\rightarrow X\), the morphism
$$\begin{aligned} H^{\bullet }(Z{\mathop {\rightarrow }\limits ^{g}}X){\mathop {\rightarrow }\limits ^{\bullet \,\theta }}H^{\bullet }(Z{\mathop {\rightarrow }\limits ^{f\circ g}}Y) \end{aligned}$$
Remark 2.1
-
(i)
Observe that \(\theta \) has degree one if and only if \(\theta \) is a section of the pull-back \(f^*:{\mathbb {A}}_Y\rightarrow Rf_*{\mathbb {A}}_X\), i.e.
$$\begin{aligned} \theta _0(1_X) =1_{Y} \iff \theta \circ f^*={\text {id}}_{{\mathbb {A}}_Y}. \end{aligned}$$In fact, assume that \(\theta \) is of degree one. For every \(y\in H^{\bullet }(Y)\), one has ( [10, p. 26, (G4), (i)], [16, p. 251, 9]):
$$\begin{aligned} \theta _*(f^*(y))=\theta _*({1_X}\cup f^*(y))=\theta _*(1_X) \cup y=1_{Y}\cup y=y. \end{aligned}$$By functoriality, this means that the morphism \(\theta \circ f^*\) induces the identity on the cohomology groups \({\mathrm{{id}}_{H^{\bullet }(Y)}}=\theta _*\circ f^*:H^{\bullet }(Y)\rightarrow H^{\bullet }(Y)\). On the other hand, we have \( \theta \circ f^*\in \mathrm{{Hom}}_{D^b_c(Y)}({\mathbb {A}}_Y, {\mathbb {A}}_Y)\cong H^0(Y).\) It follows that \(\theta \circ f^*={\text {id}}_{{\mathbb {A}}_Y}\). Conversely, if \(\theta \circ f^*={\text {id}}_{{\mathbb {A}}_Y}\), then the composite \( H^0(Y){\mathop {\rightarrow }\limits ^{f^*}}H^0(X){\mathop {\rightarrow }\limits ^{\theta _0}}H^0(Y)\) is the identity of \(H^0(Y)\). Since \(f^*(1_Y)=1_X\), it follows that \(\theta _0(1_X)=1_{Y}\), i.e. \(\theta \) has degree one.
-
(ii)
Let \(f:X\rightarrow Y\) be a proper map. Let \(\theta \in H^0(X{\mathop {\rightarrow }\limits ^{f}}Y)\) be a bivariant class. If \(\theta _0(1_X)=d\cdot 1_Y\in H^0(Y)\), and if d is a unit in \({\mathbb {A}}\), then \(d^{-1}\cdot \theta \) is a bivariant class of degree one. Moreover, let \(i:W\subseteq Y\) be a non-empty subspace of Y, and let \(g:f^{-1}(W)\rightarrow W\) be the restriction of f on \(f^{-1}(W)\). Denote by \(\theta '=i^*(\theta )\in H^0(f^{-1}(W){\mathop {\rightarrow }\limits ^{g}}W)\) the pull-back of \(\theta \). By [10, (G2), (ii), p. 26], we see that \(i^*\theta _0(1_X)=\theta '_0j^*(1_X)\), where \(j:f^{-1}(W)\subseteq X\) denotes the inclusion. Therefore, \(1_W=\theta '_0(1_{f^{-1}(W)})\in H^0(W)\). This proves that the pull-back of a bivariant class of degree one, is again of degree one. And, conversely, if Y is path-connected, and \(\theta '\) is of degree one, then also \(\theta \) is of degree one.
-
(iii)
Assume that \(f:X\rightarrow Y\) is a projective, locally complete intersection morphism between complex irreducible quasi-projective varieties, and that f is birational (e.g. f is the blowing-up of Y at a locally complete intersection subvariety \(W\subset Y\) [11, p. 114]). Let \(\theta \in H^0(X{\mathop {\rightarrow }\limits ^{f}}Y)\) be the orientation class of f [11, p. 114], [10, p. 131]. Then \(\theta \) has degree one. In fact, let U be a non-empty Zariski open set of Y, such that f induces an isomorphism \(f^{-1}(U)\cong U\). Let \(\theta '\) be the restriction of \(\theta \) on \(f^{-1}(U)\rightarrow U\). Since \(\theta '\) is the orientation class of \(f^{-1}(U)\rightarrow U\) [11, Lemma 19.2, (a), p. 379], and \(f^{-1}(U)\cong U\), it follows that \(\theta '\) has degree one. By remark (ii) above, also \(\theta \) has degree one . Compare with [1, p. 137] and [17, p. 12].
-
(iv)
If Y is a quasi-projective \({\mathbb {A}}\)-homology manifold, and \(f: X\rightarrow Y\) is a resolution of singularities of Y, then there exists a unique bivariant class \(\theta \in Hom_{D^{b}_{c}(Y)}(Rf_*{\mathbb {A}}_X, {\mathbb {A}}_Y)\) of degree one. See Theorem 6.1 below.
-
(v)
Let \(f:X\rightarrow Y\) be a projective map between irreducible, complex quasi-projective varieties of the same dimension n. Assume that Y is smooth (or, more generally, that Y is an \(\mathbb A\)-homology manifold). In this case one has (compare with [10, 3.1.4, p. 34], [9, Lemma 2, p. 217], and the proof of Theorem 6.1 below):
$$\begin{aligned} H^0(X{\mathop {\rightarrow }\limits ^{f}}Y)\cong H_{2n}(X)\cong H^0(X). \end{aligned}$$By remark (i) above, if there exists a bivariant class of degree one for f, then, for every k, \(H^k(Y)\) is contained, via pull-back, in \(H^k(X)\). Therefore, if \({\mathbb {A}}={\mathbb {Z}}\) and \(h^k(Y)>h^k(X)\) for some k, then it happens that \(H^0(X{\mathop {\rightarrow }\limits ^{f}}Y)\ne 0\), but \(\theta _0=0\), for every bivariant class \(\theta \). However, if, in addition, f is birational, then the bivariant class \(\theta \) corresponding to \(1_X\in H^0(X)\) is a bivariant class of degree one. In fact, if U is a Zariski open subset of Y such that \(f^{-1}(U)\cong U\), the restriction of \(\theta \) on \(f^{-1}(U)\rightarrow U\) has degree one. Observe that, if Y is singular, it is no longer true. For instance, let \(C\subset {\mathbb {P}}^3\) be a projective non-singular curve of genus \(\ge 1\). Let \(Y\subset {\mathbb {P}}^4\) be the cone over C, and let \(f:X\rightarrow Y\) be the blowing-up of Y at the vertex. Then one has \(H^0(X{\mathop {\rightarrow }\limits ^{f}}Y)\ne 0\), but there is no a bivariant class of degree one of f. This is a consequence of Theorem 6.1. For more details, see Remark 6.2, (iii).
-
(vi)
Let \(f:X\rightarrow Y\) be a projective map between irreducible quasi-projective varieties. Assume there exists a bivariant class \(\theta \) of degree one. Put \(n=\dim X\), and \(m=\dim Y\). Since \(f_*\circ \theta ^*=\mathrm{{id}_{H_{\bullet }(Y)}}\), the Gysin map \(\theta ^*\) induces an inclusion \(H_{\bullet }(Y)\subseteq H_{\bullet }(X)\). It follows that \(m\le n\). Moreover, f is surjective, otherwise the push-forward \(f_*:H_{2m}(X)\rightarrow H_{2m}(Y)\) vanishes. Since restricting \(\theta \) to some special fibre, we obtain again a bivariant class of degree one, in general it may happen that \(n>m\). It is clear that, if \(n=m\), then f is birational.
3 Bivariant Class of Degree One and Decompositions
The existence of a bivariant class of degree one can be reformulated in terms of certain decompositions in derived category. This is the content of the following Theorem 3.1.
Theorem 3.1
Let \(f:X\rightarrow Y\) be a continuous and proper map, with Y path-connected. Let \(U\subseteq Y\) be a non-empty open subset such that f induces an homeomorphism \(f^{-1}(U)\cong U\). Set \(W= Y\backslash U\), and \({\widetilde{W}}=f^{-1}(W)\). The following properties are equivalent.
-
(i)
There exists a bivariant class \(\theta \in Hom_{D^{b}_{c}(Y)}(Rf_*{\mathbb {A}}_X, {\mathbb {A}}_Y)\) of degree one.
-
(ii)
In \(D^{b}_{c}(Y)\) there exists a cross isomorphism \(Rf_*{\mathbb {A}}_X\oplus {\mathbb {A}}_W\cong Rf_*{\mathbb {A}}_{\widetilde{W}}\oplus {\mathbb {A}}_Y\).
-
(iii)
In \(D^{b}_{c}(Y)\) there exists a decomposition \(Rf_*\mathbb A_X \cong {\mathbb {A}}_Y \oplus {\mathcal {K}}\).
In this section we are going to prove Theorem 3.1. To this purpose, we need some preliminaries. The first one is the following lemma.
Lemma 3.2
Let \({\mathcal {T}}\) be a triangulated category, and \(f^*\in \mathrm{{Hom}}_{{\mathcal {T}}}(A, B)\) be a morphism in \({\mathcal {T}}\). Assume that \(f^*\) if left-invertible, i.e. that there exists \(\theta \in \mathrm{{Hom}}_{{\mathcal {T}}}(B, A)\) such that \(\theta \circ f^*=1_A\). Then we have \(B\cong A\oplus C\) for some \(C\in Ob ({\mathcal {T}})\).
Proof of Lemma 3.2
The axiom TR1 (iii) of triangulated categories implies that \(f^*\) can be completed to a distinguished triangle
[12, p. 12]. Thus, combining the hypothesis \(\theta \circ f^*=1_A\) with axioms TR1 and TR3, we have a commutative diagram of distinguished triangles
The axiom TR2 provides also the following commutative diagram of distinguished triangles
from which we argue that \(\delta \) vanishes. Then the triangle \(A {\mathop {\longrightarrow }\limits ^{f^*}} B \longrightarrow C\) splits; see e.g. [12, Exercise 1.38]. \(\square \)
We are in position to prove that (i) is equivalent to (iii) in Theorem 3.1.
To this purpose, first assume there exists a bivariant class \(\theta : Rf_*{\mathbb {A}}_X\rightarrow {\mathbb {A}}_Y\) of degree one, and let \(f^*:{\mathbb {A}}_Y\rightarrow Rf_*{\mathbb {A}}_X\) be the pull-back morphism. By Remark 2.1, (i), we know that \(\theta \circ f^*=1_{{\mathbb {A}}_Y}\). Therefore, we may apply previous Lemma 3.2, with \({\mathcal {T}}=D^b_c(Y)\), \(A={\mathbb {A}}_Y\), \(B=Rf_*{\mathbb {A}}_X\), with the morphism \(f^*\) as the pull-back, and \(\theta \) as the given bivariant class. It follows a decomposition like \(Rf_*{\mathbb {A}}_X \cong {\mathbb {A}}_Y \oplus {\mathcal {K}}\).
Conversely, suppose there exists a decomposition \(Rf_*{\mathbb {A}}_X \cong {\mathbb {A}}_Y \oplus {\mathcal {K}}\). By projection, it induces a bivariant class \(\eta : Rf_*{\mathbb {A}}_X \rightarrow {\mathbb {A}}_Y\). Let \(U'\) be a path-connected component of U. Since the restriction \(\eta '\) of \(\eta \) on \(U'\) is an automorphism of \({{\mathbb {A}}}_{U'}\), it follows that \(\eta '_0(1_{U'})=d\cdot 1_{U'}\in H^0(U')\), with some unit \(d\in {\mathbb {A}}\). Therefore, \(d^{-1}\cdot \eta \) is a bivariant class of degree one (compare with Remark 2.1, (ii)).
This concludes the proof that (i) is equivalent to (iii) in Theorem 3.1.
Remark 3.3
In order to prove that (i) implies (iii), we do not need the existence of U.
Now we are going to prove that (i) is equivalent to (ii).
Observe that the same argument we just used to prove that (iii) implies (i), proves that (ii) implies (i). In fact, suppose there exists a decomposition \(Rf_*{\mathbb {A}}_X\oplus {\mathbb {A}}_W\cong Rf_*{\mathbb {A}}_{{\widetilde{W}}}\oplus {\mathbb {A}}_Y\). By projection, it induces a bivariant class \(\eta : Rf_*{\mathbb {A}}_X \rightarrow {\mathbb {A}}_Y\). Since both \({\mathbb {A}}_W\) and \(Rf_*{\mathbb {A}}_{{\widetilde{W}}}\) are supported on W, the restriction of \(\eta \) on U is an automorphism of \({{\mathbb {A}}}_U\). And now we may conclude as before.
In order to conclude the proof of Theorem 3.1, we only have to prove that (i) implies (ii). Also in this case, we need some preliminaries.
Consider the following natural commutative diagram
where \(g:{{\widetilde{W}}}\rightarrow W\) denotes the restriction of f, and the other maps are the inclusions. Denote by \(\mathcal {A}\) (resp. \(\mathcal {B}\)) the full subcategory of \({\text {Sh}}(X)\) (resp. \({\text {Sh}}(Y)\)) supported on U.
Lemma 3.4
On the category \({{\textrm{Sh}}}(U)\) we have \(f_* \circ \partial _{X\, !}=\partial _{Y\, !}\). Furthermore, \(f_*\) is an exact equivalence between \(\mathcal {A}\) and \(\mathcal {B}\), whose inverse is the pull-back \(f^*\).
Proof
First we prove that \(f_* \circ \partial _{X\, !}=\partial _{Y\, !}\) on \({\text {Sh}}(U)\).
Let \(\mathcal {F}\) be a sheaf on U and let \(V\subseteq Y\) be an open subset. By [13, Definition 6.1, p. 106], we have
and
Since f is continuous, we have \(\partial _{Y !}(\mathcal {F})(V)\subseteq f_*(\partial _{X !}(\mathcal {F}))(V)\). Hence, \( \partial _{Y !}(\mathcal {F})\) is a subsheaf of \(f_*(\partial _{X !}(\mathcal {F}))\). As for the opposite inclusion, we argue as follows. By the local compactness of Y, we can assume that the closure of V is compact in Y. Fix \(s\in f_*(\partial _{X !}(\mathcal {F}))(V)\). Then s is a section of the sheaf \(\mathcal {F}\) over the open set \(f^{-1}(V) \cap U\) of Y, whose corresponding support
is closed in \(f^{-1}(V)\) (compare with the definition (2)). It suffices to prove that f(C), which is homeomorphic to C, is closed in V. Since f is a proper morphism, \(f^{-1}({\overline{V}} )\) is compact and the map \(f^{-1}({\overline{V}} ) \rightarrow {\overline{V}}\) is closed. Then we have
and we are done.
We are left with the proof that \(f_*\) induces an exact equivalence between \(\mathcal {A}\) and \(\mathcal {B}\). By [13, Proposition 6.4, p. 107], we know that \(\partial _{X!}\) (\(\partial _{Y!}\) resp.) induces an equivalence between \({\text {Sh}}(U)\) and \(\mathcal {A}\) (\(\mathcal {B}\) resp.), whose inverse functor is the pull-back \(\partial _{X}^*\) (\(\partial _{Y}^*\) resp.). Taking into account what we have just proved, that is \(f_* \circ \partial _{X\, !}=\partial _{Y\, !}\), it follows that \(f_*\) induces an equivalence between \(\mathcal {A}\) and \(\mathcal {B}\), whose inverse is the functor \(\partial _{X\, !}\circ \partial _{Y}^*:\mathcal {B}\rightarrow \mathcal {A}\). On the other hand, \(f^*\) sends \(\mathcal {B}\) to \(\mathcal {A}\) [13, 4.3, p. 97], and, by functoriality, we have \(\partial _{X}^*\circ f^*=\partial _{Y}^*\). It follows that \(f^*:\mathcal {B}\rightarrow \mathcal {A}\) is equal to \(\partial _{X\, !}\circ \partial _{Y}^*:\mathcal {B}\rightarrow \mathcal {A}\), which is the inverse of \(f_*:\mathcal {A}\rightarrow \mathcal {B}\).
As for the exactness, \(f_*\) first of all is left-exact by [13, p. 97]. Now, consider an exact sequence of sheaves in \(\mathcal {A}\): \(\mathcal {D}\rightarrow \mathcal {H}\rightarrow 0\). By [13, Proposition 6.4, p. 107], we have \(\mathcal {D}= \partial _{X !}\mathcal {D}_U\) and \(\mathcal {H}= \partial _{X !}\mathcal {H}_U\), with \(\mathcal {D}_U=\partial _{X}^*\mathcal {D}\) and \(\mathcal {H}_U=\partial _{X}^*\mathcal {H}\). Therefore, since \(f_* \circ \partial _{X\, !}=\partial _{Y\, !}\), by [13, (6.3) p. 106] we deduce
and we are done. \(\square \)
Lemma 3.5
Consider a triangulated category \(\mathcal {T}\), and two commutative diagram of distinguished triangles in \(\mathcal {T}\)
Assume moreover that \(\theta \circ f^*=1_{B}\), \(\eta \circ g^*=1_{C}\), and that \(\mathrm{{Hom}}_{\mathcal {T}}(A, C_1[-1])=0\). Then we have a “ cross” isomorphism
Remark 3.6
If the category \(\mathcal {T}\) is the derived category of an abelian category \(\mathcal {A}\) with enough injectives (e.g. \(D^b_c(Y)\)), and \(A\in {\text {Ob}}(\mathcal {A})\), and \(C_1\) is a complex in degree \(\ge 0\), then the assumption \(\mathrm{{Hom}}_{\mathcal {T}}(A, C_1[-1])=0\) is verified.
Proof of Lemma 3.5
Consider the following commutative diagram:
where the first and second columns are the ones given in the hypothesis, and the fourth column is obtained by the first one by means of TR2. The first row, which gives the fourth one by means of TR2, is given by TR1. The second and third rows are given by completion of \(f^{*}\) and \(g^{*}\), respectively, by means of TR1. Lastly, the arrows in the third column are given by TR3. Observe that the third column, a priori, is not a distinguished triangle.
Since \(\theta \circ f^*=1_{B}\) and \(\eta \circ g^*=1_{C}\), by Lemma 3.2 and its proof, we know that \(B_1\cong B\oplus B_2\), and that \(C_1\cong C\oplus C_2\). Therefore, it suffices to prove that \(B_2\cong C_2\). To this purpose, we are going to use TR4 [8, p. 11] as follows.
Consider the composition \(A {\mathop {\rightarrow }\limits ^{\partial }} B \rightarrow B_1\) in the top left-square of the diagram, and the distinguished triangles given by the first column, the second row and the second column. Then, TR4 says there exist a distinguished triangle
and a triangle morphism:
The same diagram appears in our assumptions, with \(g^{*}\) instead of \(\gamma \). It follows that \(g^{*}=\gamma \), because \(\mathrm{{Hom}}_{\mathcal {T}}(A, C_1[-1])=0\) [2, Proposition 1.1.9., p. 23]. Now, comparing (3) with the third row of the diagram at the beginning of the proof, we see that \(B_2\cong C_2\), because the third object in a distinguished triangle is unique, up to isomorphism. \(\square \)
We are in position to prove that (i) implies (ii) in Theorem 3.1. We keep the notations introduced in the diagram (1).
First notice that the pull-back induces a natural commutative diagram of distinguished triangles in \(D^b_c(Y)\) [8, p. 46]:
In view of Lemma 3.4, the vertical map \(\partial _{Y\, !}\mathbb A_U {\mathop {\longrightarrow }\limits ^{1}} Rf_*(\partial _{X\, !}\mathbb A_U)\) on the left is an isomorphism in \(D^b_c(Y)\). Now consider the following diagram:
Since the pull-back diagram is commutative, and \(\theta \) has degree one (so \(\theta \circ f^*=1_{{\mathbb {A}}_Y}\)), it follows that previous square commutes. In fact:
Then, by axiom TR3, previous diagram extends to a “ Gysin” morphism of triangles, induced by the bivariant class \(\theta \):
In this diagram, by [2, loc. cit.] (keep in mind that \(Rf_*(\partial _{X\, !}{\mathbb {A}}_U)\cong \partial _{Y\, !}{\mathbb {A}}_U \), and compare with Remark 3.6), the morphism \(\eta \) is unique. For the same reason, since composing this diagram with the diagram induced by the pull-back, we get the identity on both \(\partial _{Y\, !}{\mathbb {A}}_U\) and \({\mathbb {A}}_Y \), we also have \(\eta \circ g^*=1_{{\mathbb {A}}_W}\). At this point, it is clear that the decomposition appearing in (ii) follows from Lemma 3.5 and Remark 3.6. This concludes the proof of Theorem 3.1.
Remark 3.7
Bivariant Theory provides a pull-back morphism \(\eta _1:=i^*(\theta )\) [10, (3), p. 19], with:
We are not able to prove that \(\eta =\eta _1\), i.e. that the Gysin diagram, with \(\eta _1\) instead of \(\eta \), commutes. However, we will prove, later, that \(\eta \) and \(\eta _1\) induce the same morphism in (co)homology. Notice that also \(\eta _1\) has degree one, and so we also have \(\eta _1\circ g^*=1_{{\mathbb {A}}_W}\). Therefore, if a morphism of degree one was unique, then \(\eta =\eta _1\).
4 Consequences for the (Co)homology
Keep the same assumption of Theorem 3.1, and suppose there is a bivariant class of degree one for f. Then we have a cross isomorphism \(Rf_*{\mathbb {A}}_X\oplus {\mathbb {A}}_W\cong Rf_*\mathbb A_{{{\widetilde{W}}}}\oplus {\mathbb {A}}_Y\). Taking hypercohomology (hypercohomology with compact support resp.), we deduce isomorphisms in cohomology (Borel–Moore homology resp.):
Using the triangle morphisms (4) and (5), we can make these isomorphisms explicit as follows.
First, taking hypercohomology [8, p. 46], the triangle morphisms (4) and (5) induce commutative diagrams with exact rows:
and
for every \(k\in {\mathbb {Z}}\). Since these diagrams commute, and \(\theta _*\circ f^*={\text {id}}_{H^{\bullet }(Y)}\) and \(\eta _*\circ g^*={\text {id}}_{H^{\bullet }(W)}\), a diagram chase shows that the sequence:
with
is exact (compare with [11, Proposition 6.7, (e), p. 114-115]). Moreover, the map
is a right section for the sequence, and so we get an explicit isomorphism:
Proposition 4.1
The map
with
is an isomorphism.
We may interpret the map \(\varphi ^*\) as a matrix product (compare with [14, p. 328]):
Since
the matrix defining the inverse map \(({\varphi ^*})^{-1}\) has the following form:
where the functions:
are uniquely determined by the condition that the two matrices above are the inverse each other, i.e. by the equations:
which in turn are equivalent to the equations:
Since we also have \(\eta _*\circ j^*-i^*\circ \theta _*=0\) and \(\eta _*\circ g^*=\mathrm{{id}_{H^{\bullet }(W)}}\), by the uniqueness, it follows that \(\eta _*=\mu _*\).
Remark 4.2
Let \(\eta _1:=i^*(\theta )\) be the pull-back of \(\theta \) on W. By properties of bivariant classes [10, (G2), p. 26], we see that \((\eta _1)_*\circ j^*-i^*\circ \theta _*=0\) and \((\eta _1)_*\circ g^*=\mathrm{{id}_{H^{\bullet }(W)}}\). As before, this proves that \(\eta _*=(\eta _1)_*\). Similarly, for the maps induced in homology, one sees that \(\eta ^*=(\eta _1)^*\) (see below). Recall that we do not know whether \(\eta =\eta _1\) (compare with Remark 3.7).
Using these equations, we are able to explicit also the isomorphism induced in cohomology by the decomposition appearing in (iii) of Theorem 3.1. First observe that, since \(\eta _*\circ g^*=\mathrm{{id}_{H^{\bullet }(W)}}\), we may see \(H^k(W)\), via \(g^*\), as a direct summand of \(H^k({{\widetilde{W}}})\) for every integer k. Denote by
the corresponding quotient.
Proposition 4.3
For every k, the map
is an isomorphism, whose inverse is the map
Proof
First observe that the map
is an isomorphism. Next, observe that previous Eqs. (6) and (7) imply that \(j^*\) induces an isomorphism
whose inverse acts as \(\lambda _*\). On the other hand, we also have an isomorphism:
\(\square \)
Similarly, taking hypercohomology with compact support, the triangle morphisms (4) and (5) induce commutative diagrams with exact rows involving Borel–Moore homology:
and
for every \(k\in {\mathbb {Z}}\). Since these diagrams commute, and \(f_*\circ \theta ^*={\text {id}}_{H_{\bullet }(Y)}\) and \(g_*\circ \eta ^*={\text {id}}_{H_{\bullet }(W)}\), a diagram chase shows that the sequence:
with
is exact (compare with [6, pp. 264-266, Proposition 2.5]). Moreover, the map
is a left section for the sequence, and so we get an explicit isomorphism:
Proposition 4.4
The map
with
is an isomorphism.
We may interpret the map \(\varphi _*\) as a matrix product:
Since
the matrix defining the inverse map \((\varphi _*){^{-1}}\) has the following form:
where the functions:
are uniquely determined by the condition that the two matrices above are the inverse each other, i.e. by the equations:
which in turn are equivalent to the equations:
In particular, it follows that \(\mu ^*=f_*\). Using these equations, we are able to explicit the isomorphism induced in Borel–Moore homology by (iii) of Theorem 3.1. First, observe that, since \(g_*\circ \,\eta ^*=\mathrm{{id}_{H_{\bullet }(W)}}\), we may see \(H_k(W)\), via \(\eta ^*\), as a direct summand of \(H_k(\widetilde{W})\) for every integer k. Denote by
the corresponding quotient.
Proposition 4.5
For every k, the map
is an isomorphism, whose inverse is the map
Proof
First observe that the map
is an isomorphism. Next, observe that previous Eqs. (8) and (9) imply that \(\lambda ^*\) induces an isomorphism
whose inverse acts as \(j_*\). On the other hand, we also have an isomorphism:
\(\square \)
5 Behaviour Under the Duality Morphism
One may ask how previous decompositions given in Propositions 4.3 and 4.5, behave under the cap product with a homology class. In this section we consider only the case of the fundamental class, and algebraic maps.
Consider a map \(f:X\rightarrow Y\) as in Theorem 3.1, and assume there exists a bivariant class of f of degree one. Moreover, assume that f is onto, and that X and Y are open subsets of complex quasi-projective varieties of the same complex dimension n. Let \([X]\in H_{2n}(X)\) be the fundamental class of X, and consider the map
given by the cap product with [X]. When X is a compact complex variety (e.g. a projective variety), this map is called the duality morphism [15, p. 150] (in this case X is automatically a circuit [15, p. 149]). If X is a smooth compact complex variety, then \({\mathcal {D}}_X\) is the Poincaré Duality isomorphism (the map \({\mathcal {D}}_X\) remains an isomorphism if X is smooth but not compact, because \(H_{2n-k}(X)\) denotes Borel–Moore homology). In view of the decompositions given in Propositions 4.3 and 4.5, the map \({\mathcal {D}}_X\) identifies with a map
which acts as follows:
The map \({\mathcal {D}}_X\) induces two projections
Observe that, by the projection formula [10, p. 24], we have
Therefore, \(P_1= {\mathcal {D}}_Y\), i.e. \(P_1\) is nothing but the duality morphism on Y.
Corollary 5.1
The duality morphism \({\mathcal {D}}_X:H^{k}(X)\rightarrow H_{2n-k}(X)\) is the direct sum of \({\mathcal {D}}_Y\) and \(P_2\), i.e.
Proof
We have to prove that:
-
\(\bullet \)) for every \({{\widetilde{w}}}\in \frac{H^i(\widetilde{W})}{H^i(W)}\) one has \(f_*([X]\cap \lambda _* {{\widetilde{w}}})=0\), and
-
\(\bullet \)) for every \(y\in H^i(Y)\) one has \(\lambda ^*([X]\cap f^*y)=0\).
To this purpose, first observe that \(\theta ^*([Y])=[X]\), i.e. the Gysin map sends the fundamental class of Y in the fundamental class of X. In fact, from the Eq. (8) we obtained in homology (recall that \(\mu ^*=f_*\)), we know that \(\theta ^*([Y])=\theta ^*f_*[X]=[X]-(j_*\circ \lambda ^*)([X])=[X]\) because \(\lambda ^*[X]=0\in H_{2n}({{\widetilde{W}}})=\{0\}\) for dimensional reasons.
-
\(\bullet \)) Now, by [10, p. 26, G4, (ii)], we have:
$$\begin{aligned} f_*([X]\cap \lambda _* {{\widetilde{w}}})=f_*(\theta ^*[Y]\cap \lambda _* {{\widetilde{w}}})=(\theta _*\lambda _*{{\widetilde{w}}})\cap [Y] \end{aligned}$$which is zero because, from the Eq. (7) we obtained in cohomology, we know that \(\theta _*\circ \lambda _*=0\) .
-
\(\bullet \)) Next, by [10, p. 26, G4, (iii)], we have:
$$\begin{aligned} \lambda ^*([X]\cap f^*y)= \lambda ^*(\theta ^*[Y]\cap f^*y)=\lambda ^*(\theta ^*(Y\cap y)) \end{aligned}$$which is zero because, from the Eq. (9) we obtained in homology, we know that \(\lambda ^*\circ \theta ^*=0\).
\(\square \)
6 Resolution of Singularities of a Homology Manifold
As a consequence of previous results, we are going to prove the following Theorem 6.1. Observe that it applies to a resolution of singularities of Y, and gives a characterization of homology manifolds, in terms of their resolution of singularities. In the case Y has only isolated singularities, and the coefficients are in a field, it should be compared with [7, Theorem 3.2 and Remark 6.1].
Theorem 6.1
Let \(f:X\rightarrow Y\) be a projective birational morphism between complex, irreducible, and quasi-projective varieties of the same dimension n. Let U be a non-empty Zariski open subset of Y such that f induces an isomorphism \(f^{-1}(U)\cong U\). Set \(W=Y\backslash U\).
-
If Y is an \({\mathbb {A}}\)-homology manifold, then there exists a bivariant class \(\theta \) in \(Hom(Rf _* {\mathbb {A}} _X , {\mathbb {A}}_Y)\) of degree one. In this case, \(\theta \) is unique, and there exists a decomposition \(Rf _* {\mathbb {A}} _X\cong {\mathbb {A}} _Y\oplus {\mathcal {K}}\), with \({\mathcal {K}}\) supported on W. Moreover, if also X is an \({\mathbb {A}}\)-homology manifold, then \(\mathcal K[n]\) is self-dual.
-
Conversely, if X is an \({\mathbb {A}}\)-homology manifold and there exists a bivariant class \(\theta \in Hom(Rf _* {\mathbb {A}} _X , {\mathbb {A}}_Y)\) of degree one, then also Y is an \(\mathbb A\)-homology manifold.
Proof
First assume that Y is an \({\mathbb {A}}\)-homology manifold.
By [4, Definition 3.1, Theorem 3.7], we know that the fundamental class of Y
is a strong orientation. Therefore, we have
Since f is birational, the bivariant class corresponding to \(1_X\in H^0(X)\) is a bivariant class of degree one for f, and it is unique (compare with Remark 2.1, (ii) and (v)). By Theorem 3.1, we know there exists a decomposition
It is clear that \({\mathcal {K}}\) is supported on W. Passing to Verdier dual, we get:
Now let
be the fundamental class of X. We have [4, p. 804-805]:
Therefore, [X] corresponds to a morphism
whose induced map in hypercohomology is nothing but the duality morphism (10). If we assume that X is an \(\mathbb A\)-homology manifold, the morphism (13) is an isomorphism [4, Proof of Theorem 3.7]. Since \(D\left( Rf_*\mathbb A_X[n]\right) \cong Rf_* D\left( A_X[n]\right) \) [8, p. 69], it induces an isomorphism
which in turn, via the previous decompositions (11) and (12), induces two projections
By Corollary 5.1, we know that the maps induced in hypercohomology by \({\mathcal {K}}[n]\rightarrow D\left( {\mathcal {K}}[n]\right) \) are isomorphisms, and this holds true when restricting to every open subset of Y. Therefore, we have \( {\mathcal {K}}[n]\cong D\left( {\mathcal {K}}[n]\right) \), i.e. \({\mathcal {K}}[n]\) is self-dual.
Conversely, assume there exists a bivariant class \(\theta \) of degree one. Arguing as before, by Corollary 5.1, we know that the isomorphism (13) induces an isomorphism \(\mathbb A_Y[n]\cong D\left( {\mathbb {A}}_Y[n]\right) \). This is equivalent to say that Y is an \({\mathbb {A}}\)-homology manifold [4, loc. cit.].
This concludes the proof of Theorem 6.1. \(\square \)
Remark 6.2
-
(i)
With the notations as in Theorem 6.1, assume there exists a bivariant class \(\theta \) of degree one. When the coefficients are in \({\mathbb {Q}}\), \({\mathbb {R}}\) or \({\mathbb {C}}\) (i.e. when \({\mathbb {A}}={\mathbb {Q}}\), \({\mathbb {R}}\) or \({\mathbb {C}}\)), we may prove that Y is an \({\mathbb {A}}\)-homology manifold in a different manner, using the Decomposition Theorem [8, p. 161]. In fact, by the Decomposition Theorem, there exists a certain decomposition
$$\begin{aligned} Rf_*{\mathbb {A}}_X[n] \cong IC_Y^{\bullet } \oplus {\mathcal {H}}. \end{aligned}$$Comparing with the decomposition given by Theorem 3.1
$$\begin{aligned} Rf_*{\mathbb {A}}_X[n] \cong {\mathbb {A}}_Y[n] \oplus {\mathcal {K}}[n], \end{aligned}$$it follows a non-zero endomorphism \(IC_Y^{\bullet }\rightarrow \mathbb A_Y[n]\rightarrow IC_Y^{\bullet }\). On the other hand, \(IC_Y^{\bullet }\) belongs to the core of \(D^b_c(Y)\), which is an abelian subcategory of \(D^b_c(Y)\). In this category, \(IC_Y^{\bullet }\) is a simple object. Therefore, by Schur’s Lemma, the composition \(IC_Y^{\bullet }\rightarrow {\mathbb {A}}_Y[n]\rightarrow IC_Y^{\bullet }\) is an automorphism. Observe that also the composition \({\mathbb {A}}_Y[n]\rightarrow IC_Y^{\bullet }\rightarrow {\mathbb {A}}_Y[n]\) is an automorphism, because \(Hom_{D^{b}_{c}(Y)}({\mathbb {A}}_Y, {\mathbb {A}}_Y)\cong H^0(Y)\). So, \(IC_Y^{\bullet }\cong {\mathbb {A}}_Y[n]\).
-
(ii)
Let \(f:X\rightarrow Y\) be a map between \({\mathbb {A}}\)-homology manifolds, of the same complex dimension n, as in Theorem 6.1. Assume \({\mathbb {A}}\) is a field. Consider the decomposition \(Rf_*{\mathbb {A}}_X[n] \cong {\mathbb {A}}_Y[n] \oplus {\mathcal {K}}[n]\) appearing in (11). Taking hypercohomology, we deduce that \(\dim _{{\mathbb {A}}} H^{k+n}(X)-\dim _{\mathbb A}H^{k+n}(Y)=\dim _{{\mathbb {A}}}{\mathbb {H}}^k({\mathcal {K}}[n])\) for every k. On the other hand, from Theorem 6.1, we know that \({\mathcal {K}}[n]\) is self-dual. Therefore, passing to Verdier dual in (11), and taking hypercohomology, we get \(\dim _{\mathbb A}H_{n-k}(X)-\dim _{{\mathbb {A}}}H_{n-k}(Y)=\dim _{{\mathbb {A}}}\mathbb H^k({\mathcal {K}}[n])\). And so we have
$$\begin{aligned} \dim _{{\mathbb {A}}} H^{k+n}(X)-\dim _{{\mathbb {A}}}H^{k+n}(Y)= \dim _{{\mathbb {A}}}H_{n-k}(X)-\dim _{{\mathbb {A}}}H_{n-k}(Y). \end{aligned}$$Comparing with Propositions 4.3 and 4.5, we deduce, for every \(k\in {\mathbb {Z}}\), the following formula
$$\begin{aligned} \dim _{{\mathbb {A}}}H^{k+n}({{\widetilde{W}}})-\dim _{\mathbb A}H_{n-k}({{\widetilde{W}}})=\dim _{{\mathbb {A}}}H^{k+n}(W)-\dim _{\mathbb A}H_{n-k}(W), \end{aligned}$$which relates the Betti numbers of W with the ones of \(\widetilde{W}\).
-
(iii)
The following example shows there exist projective birational maps \(f:X\rightarrow Y\) such that \(H^0(X{\mathop {\rightarrow }\limits ^{f}}Y)\ne 0\), without bivariant classes of degree one. The coefficients are in \({\mathbb {Q}}\). Let \(C\subset {\mathbb {P}}^3\) be a projective non-singular curve of genus \(g\ge 1\). Let \(Y\subset {\mathbb {P}}^4\) be the cone over C, and let \(f:X\rightarrow Y\) be the blowing-up of Y at the vertex \(y\in Y\). By the Decomposition Theorem (see e.g. [7]) we have
$$\begin{aligned} Rf_*{\mathbb {Q}}_X={\mathbb {Q}}_y[-2]\oplus IC_Y^{\bullet }[-2]. \end{aligned}$$On the other hand, combining [13, 9.13, p. 128] with [8, Remark 2.4.5, (i), p. 46], we have
$$\begin{aligned} Hom_{D^b_c(Y)}({\mathbb {Q}}_y, {\mathbb {Q}}_Y[2])\cong H^2(Y,Y\backslash \{y\})\cong H^1(L), \end{aligned}$$where L is the link of Y at the vertex y. The Hopf fibration \(L\rightarrow C\) induces a Gysin sequence
$$\begin{aligned} 0\rightarrow H^1(C)\rightarrow H^1(L)\rightarrow H^0(C)\rightarrow H^2(C)\rightarrow \dots \end{aligned}$$from which we get \(h^1(L)=h^1(C)=2g\ge 2\). It follows that \(H^0(X{\mathop {\rightarrow }\limits ^{f}}Y)\cong Hom_{D^{b}_{c}(Y)}(Rf_*{\mathbb {A}}_X, {\mathbb {A}}_Y)\ne 0\), and that Y is not a homology manifold. In particular, since X is smooth, in view of Theorem 6.1, there is no a bivariant class of degree one.
Corollary 6.3
Let \(f:X\rightarrow Y\) be a projective birational morphism between irreducible and quasi-projective complex varieties of the same complex dimension n. Let \(\theta \in H^0(X{\mathop {\rightarrow }\limits ^{f}}Y)\) be a bivariant class. If \(\theta \) is a strong orientation for f, then \(\theta \) is a bivariant class of degree one for f, up to multiplication by a unit. Moreover, if X is an \(\mathbb A\)-manifold and \(\theta \) is a bivariant class of degree one for f, then \(\theta \) is a strong orientation for f.
Proof
First assume that \(\theta \) is a strong orientation for f.
Let \(U\subset Y\) be a Zariski non-empty open subset of Y such that \(f^{-1}(U)\cong U\) via f. Product by \(\theta \) gives an isomorphism:
On the other hand, by Verdier Duality [4, p. 803], and [8, Corollary 3.2.12., p. 65], we have:
Therefore, \(\theta \) induces an isomorphism \(H^0(f^{-1}(U))\rightarrow H^0(U)\). It follows that, up to multiplication by a unit, \(\theta \) is a bivariant class of degree one.
Conversely, assume X is an \({\mathbb {A}}\)-manifold, and \(\theta \) is a bivariant class of degree one for f.
In this case, by Theorem 6.1, we know that also Y is an \({\mathbb {A}}\)-homology manifold, and that \(\theta \) corresponds to \(1_X\) in the isomorphism \(H^0(X{\mathop {\rightarrow }\limits ^{f}}Y)\cong H^0(X)\). Since X and Y are \({\mathbb {A}}\)-manifolds, we get:
Therefore, \(\theta \) corresponds to an isomorphism in
By [10, 7.3.2, proof of Proposition, p. 85], we deduce that \(\theta \) is a strong orientation for f. \(\square \)
Proposition 6.4
Let \(f:X\rightarrow Y\) be a projective birational morphism between irreducible and quasi-projective complex varieties of the same complex dimension n. Let \(\theta \in H^0(X{\mathop {\rightarrow }\limits ^{f}}Y)\) be a bivariant class. If \(\theta \) is a strong orientation for f, and Y is an \({\mathbb {A}}\)-homology manifold, then also X is so.
Proof
Since Y is an \({\mathbb {A}}\)-homology manifold, we have:
On the other hand, if \(\theta \) is a strong orientation, then [10, loc. cit.]
Therefore, we get \(D({\mathbb {A}}_X[2n])\cong {\mathbb {A}}_X\). This means that \({\mathbb {A}}_X[n]\) is self-dual, i.e. X is an \(\mathbb A\)-homology manifold [4, proof of Theorem 3.7]. \(\square \)
Remark 6.5
Let \(f:X\rightarrow Y\) be a birational, projective local complete intersection morphism between complex irreducible quasi-projective algebraic varieties. Let \(\theta \in H^0(X{\mathop {\rightarrow }\limits ^{f}}Y)\) be the orientation class of f. Then \(\theta \) has degree one (Remark 2.1, (iii)). But, in general, in view of previous Proposition 6.4, \(\theta \) cannot be a strong orientation.
Data availability
Data sharing not applicable to this article as no datasets were generated or analysed during the current study.
Change history
23 January 2023
Missing Open Access funding information has been added in the Funding Note
References
Baum, P., Fulton, W., MacPherson, R.: Riemann-Roch for singular varieties. Publ. Math. I.H.E.S. 45, 101–145 (1975)
Beilinson, A., Bernstein, J., Deligne, P. : Faisceaux pervers, Analysis and topology on singular spaces, I (Luminy, 1981), Astérisque, 100, Soc. Math. France, (Paris, 1982), pp. 5–171
Borho, W., MacPherson, R.: Partial Resolutions of Nilpotent Varieties. Astérisque 101–102, 23–74 (1982)
Brasselet, J.P., Schürmann, J., Yokura, S.: On the uniqueness of bivariant Chern class and bivariant Riemann-Roch transformations. Adv. Math. 210, 797–812 (2007)
de Cataldo, M.A., Migliorini, L.: The decomposition theorem, perverse sheaves and the topology of algebraic maps. Bull. Am. Math. Soc. 46(4), 535–633 (2009)
Di Gennaro, V., Franco, D.: Noether-Lefschetz Theory with base locus. Rend. Circ. Mat. Palermo 63, 257–276 (2014)
Di Gennaro, V., Franco, D.: On the topology of a resolution of isolated singularities. J. Singul. 16, 195–211 (2017)
Dimca, A. : Sheaves in Topology, Springer Universitext (2004)
Fulton, W.: Young Tableaux: London Mathematical Society Student Texts, vol. 35. Cambridge University Press (1997)
Fulton, W., MacPherson, R.: Categorical framework for the study of singular spaces. Mem. Am. Math. Soc. 31(243), vi+165 (1981)
Fulton, W.: Intersection theory, Ergebnisse der Mathematik und ihrer Grenzgebiete; 3.Folge, Bd. 2, Springer (1984)
Huybrechts, D.: Fourier-Mukai Transforms in Algebraic Geometry, Oxford Mathematical Monographs. Oxford University Press (2006)
Iversen, B.: Cohomology of Sheaves Universitext. Springer (1986)
Jouanolou, J.P. : Cohomologie de quelques schémas classiques et théorie cohomologique des classes de Chern, Séminaire de Géométrie Algébrique du Bois-Marie, 1965-66, SGA5, dirigé par A. Grothendieck avec la collaboration de I. Bucur, C. Houzel, L. Illusie, J.P. Jouanolou et J.P. Serre, Exposé VII, 282-350, Lecture Notes in Mathematics, 589, Springer (1977)
McCrory, C.: A characterization of homology manifolds. J. Lond. Math. Soc. 16(2), 149–159 (1977)
Spanier, E.H.: Algebraic Topology, McGraw-Hill Series in Higher Mathematics (1966)
Verdier, J.L.: Le théorème de Riemann-Roch pour les variétés algébriques éventuellement singulitères (d’après P. Baum, W. Fulton et R. MacPherson), Astérisque, tome 36-37 pp. 5–20 (1976)
Funding
Open access funding provided by Universitá degli Studi di Roma Tor Vergata within the CRUI-CARE Agreement. The authors declare that no funds, grants, or other support were received during the preparation of this manuscript.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Competing interests
The authors have no relevant financial or non-financial interests to disclose.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Di Gennaro, V., Franco, D. & Sessa , C. Bivariant Class of Degree One. Results Math 77, 227 (2022). https://doi.org/10.1007/s00025-022-01761-x
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00025-022-01761-x
Keywords
- Projective variety
- derived category
- Poincaré–Verdier duality
- bivariant theory
- Gysin morphism
- homology manifold
- resolution of singularities
- intersection cohomology
- decomposition Theorem