On the unramified cohomology of certain quotient varieties
Humberto A. Diaz

TL;DR
This paper develops a method to demonstrate non-vanishing of unramified cohomology groups with $\
Contribution
It introduces a new approach to prove non-vanishing of unramified cohomology for certain quotient varieties, including Kummer varieties, impacting the understanding of the integral Hodge conjecture.
Findings
Non-vanishing of unramified cohomology for specific quotient varieties.
Construction of new three-dimensional counterexamples to the integral Hodge conjecture.
Application of the method to Kummer varieties.
Abstract
In this note, we consider unramified cohomology with coefficients for some (degree two) quotient varieties and describe a method that allows one to prove the non-vanishing of these groups under certain conditions. We apply this method to prove a non-vanishing statement in the case of Kummer varieties. Combining this with work of Colliot-Th\'el\`ene and Voisin, we obtain a new type of three-dimensional counterexample to the integral Hodge conjecture.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
On the unramified cohomology of certain quotient varieties
H. Diaz
Abstract
In this note, we consider unramified cohomology with coefficients for some (degree two) quotient varieties and describe a method that allows one to prove the non-vanishing of these groups under certain conditions. We apply this method to prove a non-vanishing statement in the case of Kummer varieties. Combining this with work of Colliot-Thélène and Voisin, we obtain a new type of three-dimensional counterexample to the integral Hodge conjecture.
Let be a smooth projective variety over . We will consider the unramified cohomology with coefficients in , , where denotes the Zariski sheaf over associated to the presheaf . When , it has been known since [11] that these groups are (stably) birational invariants, and this been used quite often (and by many different authors) to prove the existence of unirational varieties are not (stably) rational.
Another application of these groups is to the integral Hodge conjecture, which asserts that every is algebraic. When , this is trivially true and when this is true by the Lefschetz -theorem. For all other , it has been known since the counterexamples of Atiyah and Hirzebruch [1] that the conjecture is false. Of particular interest is the case when is a threefold (necessarily for ). In this direction, various results have been produced, both positive and negative. On the positive side, Voisin [22] proved that the integral Hodge conjecture holds for uniruled threefolds and for Calabi-Yau threefolds. Grabowski [14] also proved the conjecture holds for Abelian threefolds. On the negative side, Kollár [16] produced the first counterexamples for threefolds, in the form of non-algebraic cohomology classes on general hypersurfaces in of sufficiently large degree. Other counterexamples have been found with Kodaira dimension (Colliot-Thélène and Voisin [12]; Totaro [21]). More recently, Benoist and Ottem [3] produced threefolds of Kodaira dimension zero that fail the Hodge conjecture, the counterexamples they give being products of Enriques surfaces with very general elliptic curves. Their counterexample was generalized by Shen [17] to products of Enriques surfaces with very general odd degree hypersurfaces of higher dimension. Colliot-Thélène [9] reinterpreted the result of Benoist and Ottem using unramified cohomology (together with a degeneration technique of Gabber [10]) and gave further counterexamples in dimension . This relation between the integral Hodge conjecture and unramified cohomology was first explored in [12], and the main results (in principle) give a recipe for producing counterexamples to the integral Hodge conjecture if one can exhibit non-trivial unramified cohomology classes (in degree ).
Unfortunately, the drawback to working with unramified cohomology groups is that they are quite mysterious in degree . Indeed, the canonical map
[TABLE]
is surjective for . By contrast, it is a non-trivial question in general whether or not the map (1) is even non-vanishing. One technique that works to prove the non-vanishing of (1) (under suitable conditions) was developed by Bloch and Esnault [4]; this is a mixed characteristic approach that is typically used in proving results about non-divisibility of algebraic cycles. As we discuss below, it implies that when is a very general Abelian variety of dimension , the map (1) is non-vanishing for .
The use of the Bloch and Esnault method until now has been restricted to instances for which . In this note, we would like to develop a strategy involving this method that works to prove the non-vanishing of in some instances for which . We will be concerned with the case and that is a degree two quotient variety. While our main application is to prove non-vanishing statements about when is a Kummer variety (see Corollary 2.13), the strategy developed here is flexible and can be applied to other types of degree two quotients. One consequence of these computations (in conjunction with the results of [12]) is what is (evidently) a new type of three-dimensional counterexample to the integral Hodge conjecture:
Theorem 0.1**.**
There exists a smooth projective simply-connected threefold of Kodaira dimension zero violating the integral Hodge conjecture. In fact, one can find such an defined over .
The counterexample given is a Kummer variety of dimension and is curious for a few reasons. First, by an old result of Spanier [19] (discussed below), not only is simply connected, but and is torsion-free (so that, in particular, this is a non-torsion counterexample). So, we will obtain that (for many such ) even though . To get around the fact that , we show that by a rather naïve “descend-and-extend” argument (see §2): using the corresponding Abelian variety , we descend unramified cycles to a suitable open subset of and then show that cycles obtained in this way must extend to unramified cycles on .
Additionally, as we note above, the integral Hodge conjecture holds for many threefolds with trivial canonical class. The counterexample obtained in [3] is of the form , where is an Enriques surface and is a very general elliptic curve, so that the canonical divisor is -torsion. This phenomenon is again evident in the case of a Kummer threefold, albeit in different way; i.e., the minimal model (the singular Kummer threefold) has -torsion canonical divisor.
Finally, as noted above, the counterexamples we obtain can be defined over number fields. This is one advantage of using the Bloch and Esnault method in that it applies to varieties that are very general in moduli, as well to those defined over number fields. The problem of finding -dimensional counterexamples to the integral Hodge conjecture defined over number fields was carefully considered by Totaro in [21] who used the Hassett-Tschinkel method (among others) to obtain many such counterexamples. Degeneration arguments can also be used to obtain counterexamples defined over number fields (as in op. cit. and [3] Rem. 2.2).
It is natural to speculate if the above technique will also work to answer (positively) the following much more elusive question:
Question 0.2**.**
Does there exist a simply-connected threefold with a non-algebraic torsion cohomology class?
Our plan will be as follows. In section , we review some essential properties of unramified cohomology and the method of Bloch and Esnault. In section , we describe the “descend-and-extend” strategy mentioned above and its applications. In section , we prove Theorem 0.1. In section , we address how Theorem 0.1 (conjecturally) generalizes to higher dimension.
Acknowledgements
The author would like to thank Olivier Benoist for his feedback and for finding a mistake in a previous draft (that led to this draft). He would also like to thank John Christian Ottem for his interest.
Notation
Unless otherwise specified, all varieties (reduced schemes of finite type) considered below are defined over . Moreover, we let the cohomology group denote singular cohomology with coefficients. As usual, we let and, for , let . Additionally, for any integer and Abelian group , we define
[TABLE]
With this notation, we have a canonical isomorphism , where denotes the group of roots of unity and . Finally, for an Abelian group, we denote its -torsion subgroup by .
1 Preliminaries
Definition 1.1**.**
Let be a smooth variety over , be an Abelian group and be the Zariski sheaf over associated to the presheaf . Then,
[TABLE]
is the unramified cohomology group with coefficients in .
When is torsion, we have the following alternative characterization. Indeed, note that Theorem 4.2 of [6] gives the following well-known short exact sequence:
[TABLE]
Here, denotes the set of irreducible codimension subvarieties on and
[TABLE]
in which the limit ranges over all Zariski open subsets of (viewed as a subvariety of ) and where the rightmost arrow of (2) is the sum of residue maps. This somewhat ad hoc definition (3) is used in loc. cit. as a suitable generalization of Galois cohomology with torsion coefficients. An immediate consequence of this characterization is that the restriction map is an isomorphism when is an open subset whose complement has codimension in . Moreover, if the complement of is a closed subvariety of codimension , there is a short exact sequence:
[TABLE]
where the right non-zero arrow is the sum of residue maps. Moreover, there is the natural map:
[TABLE]
When , there is the local-to-global spectral sequence:
[TABLE]
for which for thanks to the Gersten resolution obtained in [6]. Moreover, the natural map 5 arises as an edge map that is an isomorphism for , and in general there is a short exact sequence:
[TABLE]
here denotes the coniveau filtration on . When the right arrow is surjective so that, in particular, it follows that
[TABLE]
using the Kummer exact sequence. For , the coniveau filtration is quite mysterious and it is unclear in general whether or not
[TABLE]
(and, hence, whether or not (5) vanishes) even when in instances for which . To prove non-vanishing of (5), a few techniques exist. There is the degeneration method given in the appendix of [10] and used in [9]. The idea is that if one is able to spread out to a cycle , where is a family of smooth irreducible varieties containing as a (very general) fiber, then the set of for which
[TABLE]
is a subset of . In particular, if one can find some for which (9) does not hold, then a Baire category argument shows that very generally (9) does not hold. This implies the non-vanishing of (5), since was very general.
There is also the following method of Bloch and Esnault. As noted in the introduction, this is a mixed characteristic method and has the advantage that it does not require spreading out and, hence, can be applied to prove the non-vanishing of (5) for varieties over number fields. Its proof uses the spectral sequence in [5] for -adic étale cohomology that degenerates for smooth projective varieties over a -adic field with good ordinary reduction. This result has been used repeatedly in the context of finding non-divisible cycles in the Griffiths group.
Theorem 1.2** (Bloch-Esnault, [4] Theorem 1.2).**
Let be a smooth projective irreducible variety over a complete discrete valuation field with perfect residue field of mixed characteristic . Suppose further that has good ordinary reduction and that
- (a)
The crystalline cohomology of the special fiber has no torsion. 2. (b)
.
Then, .
As an immediate application, we have the following consequence for Abelian varieties over number fields.
Corollary 1.3**.**
Suppose that is a complex Abelian variety that is defined over a number field which has good ordinary reduction at some prime dividing the prime . Then, for all , the map is non-zero.
Remark 1.4**.**
As noted on p. 108 of [5], Deligne proved that the set of ordinary hypersurfaces in projective space (over a -adic field) of any given degree make up an open dense set in the moduli space. This implies that over a given number field , there is a Zariski dense subset of the moduli of plane curves defined over that have good ordinary reduction at a prime dividing . In particular, this is true for the set of plane curves over of degree , for which the corresponding set of Jacobians forms a Zariski open subset of the moduli of Abelian threefolds. We deduce that over a given number field , there is a Zariski dense subset of the moduli of Abelian threefolds defined over that have good ordinary reduction at a prime dividing . (We will be interested in the case that .)
2 Main strategy
2.1 Descent and extension
Notation 2.1**.**
Suppose that is a smooth variety over and let be a degree finite étale cover. Denote the corresponding Galois group by and let be the involution that generates it.
Our first lemma is the descent part of the strategy. It is easy and shows that mod unramified cohomology cycles descend along a double cover in degrees for which the pull-back map is surjective.
Lemma 2.2**.**
Suppose that the natural map
[TABLE]
does not vanish and that the pull-back is surjective. Then, the natural map does not vanish.
Proof.
Consider the obvious commutative diagram:
[TABLE]
Since the right vertical arrow is non-vanishing and the top horizontal arrow is surjective, it follows that the left vertical arrow is also non-vanishing, as desired. ∎
If one assumes the surjectivity of , a necessary consequence is that act trivially on . This triviality of is not really much of a restriction; for instance, any involution that acts diagonalizably on (with is torsion-free) acts trivially on . One can ask if this is sufficient to ensure the surjectivity assumption in Lemma 2.2:
Problem 2.3** (Étale descent).**
Suppose that acts trivially on . Is the pull-back map surjective?
Besides the trivial case that , it turns out the answer is conditionally “yes” for , provided that we impose the following extra assumption:
Assumption 2.4**.**
The natural short exact sequence:
[TABLE]
splits on the right; i.e., .
Lemma 2.5**.**
If acts trivially on and Assumption 2.4 holds, then the pull-back map
[TABLE]
is surjective.
Proof.
Since by assumption, we need to show that the restriction map in group cohomology:
[TABLE]
is surjective. To this end, since acts trivially on by assumption, inflation-restriction gives an exact sequence:
[TABLE]
Since the projection is tautologically split-injective, it follows that the rightmost arrow is injective, from which we deduce that the leftmost arrow is surjective, as desired. ∎
Remark 2.6**.**
The assumption that (10) be split on the right is necessary in the above lemma; indeed, if one takes to be an elliptic curve and to be translation by a -torsion element, then we do not have the surjectivity of the pull-back in this case (since is also an elliptic curve and the kernel is non-trivial).
Remark 2.6 suggests that (10) will be split on the right if admits a compactification to which the action of extends (and is no longer fixed-point-free). This is essentially true; one instance in which Assumption 2.4 holds is the following. Suppose that admits a smooth compactification for which extends to an action and for which the complement satifies:
- (a)
is a smooth (non-empty) closed subvariety of codimension 2. (b)
every is fixed by and the codifferential map acting on the cotangent spaces acts by on
We forget the variety structures and view , , and as real manifolds. Then, by standard results in topology, there exists a tubular neighborhood of in (the usual definition; c.f., [8] p. 65-66); by shrinking if necessary, we may assume that the fibers of the tautological map are real Euclidean-open -balls (with spherical boundary), that is stable under the action of and that acts on the fibers of by (since we have (b) by assumption). By shrinking again if necessary, we can assume that is stable under the action of . The fibers of are -spheres and since acts on the fibers of by , it follows that the quotient is an -fibration over . Then, as in the first paragraph of the proof of Theorem 1 in [19], the sequence (10) is split on the right in this case. Indeed, we have a commutative diagram with rows exact:
[TABLE]
where the vertical arrows are push-forward maps. So, one is reduced to showing that the top sequence is split on the right, but this follows from the fact that is an -fibration (and the long exact sequence of homotopy groups of a fibration); note that , so the fibers have fundamental groups .
As the above discussion shows, one encounters the étale descent issue even in degree . To avoid this issue in the application of Lemma 2.2, we restrict our attention to cases in which the answer is “yes” trivially. In particular, we have
Corollary 2.7**.**
If acts trivially on , Assumption 2.4 holds and the cup product
[TABLE]
is surjective, then the pull-back map is surjective.
Proof.
This follows directly from Lemma 2.5. ∎
Corollary 2.8**.**
Let be an Abelian variety over of dimension with a non-trivial involution and let be the maximal Zariski open subset on which acts freely; denote the corresponding quotient . Further, suppose that acts trivially on and that is a smooth (non-empty) closed subvariety of of codimension for which the codifferential satisfies condition (b) on the previous page, then the pull-back map:
[TABLE]
is surjective for .
Proof.
Using the Gysin sequence and the fact that the codimension of in is , we deduce that the restriction
[TABLE]
is an isomorphism for . In particular, the cup product is surjective in these degrees. Moreover, by the paragraph following Lemma 2.5, Assumption 2.4 applies in this case. The result now follows by Corollary 2.7. ∎
Remark 2.9**.**
The main challenge in applying the above descent strategy more generally is in ensuring that Problem 2.3 admits a positive solution. The obstruction is given by the non-vanishing of the push-forward. Indeed, there is a long exact sequence:
[TABLE]
arising from the short exact sequence of -modules:
[TABLE]
where the rightmost non-zero arrow is the trace map. The above long exact sequence has been used by many authors (see, for instance, [15], [18] §2). Then, Problem 2.3 is equivalent to asking if vanishes on whenever acts trivially on .
We will also need the extension lemma below that shows that one can promote unramified cohomology cycles from a smooth variety to its compactification under favorable circumstances.
Lemma 2.10**.**
Suppose that is a smooth irreducible variety over and for some integer for which the natural map
[TABLE]
is non-zero. Suppose there exists some smooth projective compactification for which is a divisor on with smooth irreducible components such that for all . Then, any in the image of (12) lies in .
Proof.
It will suffice to show that extends to a class in , to which end we have the following diagram:
[TABLE]
where the horizontal arrows are restriction maps and the vertical arrows are the sums of residue maps. Now, we observe that the image of the lower horizontal arrow is precisely , which vanishes by assumption. Thus, it follows that the lower horizontal arrow is [math]. Hence, lies in the kernel of the right vertical arrow, which is precisely (using (4)). This gives the desired result. ∎
Remark 2.11**.**
Note that it is entirely possible for even though (c.f., Remark 2.14).
2.2 Kummer varieties
We now apply the above results to the case of a Kummer variety. Suppose that is a complex Abelian variety of dimension that is defined over a number field with good ordinary reduction at a prime dividing . Let be the inversion map on and . As above, set . Then, we consider the corresponding desingularized Kummer variety of ; this is a minimal compactification of obtained in the usual way: first blow up on and then take the quotient of the corresponding blow-up by the induced action of .
Corollary 2.12**.**
Suppose that is a complex Abelian variety of dimension that is defined over a number field with good ordinary reduction at a prime dividing . Then, in the notation of the previous paragraph, the image of the natural map
[TABLE]
is non-zero for .
Proof.
It suffices to do this for . Since acts by on , it acts trivially on and the co-differential of satisfies condition (b) above. Corollary 2.8 then implies that the pull-back is surjective for . (We note that this is also obtained on p. 158 of [19].) Moreover, by Corollary 1.3
[TABLE]
is non-zero for . By Lemma 2.2, it follows that (13) is also non-zero. ∎
Corollary 2.13**.**
With the assumptions and notations above, suppose now that . Then, for
[TABLE]
Proof.
By Corollary 2.12, the natural map
[TABLE]
is non-zero for . Hence by Lemma 2.10, it suffices to check that for for all irreducible components of . However, this is trivially true; indeed, for all , and we certainly have for . ∎
Remark 2.14**.**
It ought to be noted that the main result of [19] is that vanishes and that is torsion-free. In particular, vanishes when is odd even though does not.
3 Application to the integral Hodge conjecture
Suppose now that is a smooth and projective variety over . Moreover, let denote the image of the degree cycle class map in . Then, consider the group
[TABLE]
Observe that the -torsion subgroup is generated by the degree cohomology classes for which some multiple is algebraic. In particular, any such is of type , and so whenever , the integral Hodge conjecture fails. Then, we have the following result relating degree unramified cohomology to the failure of the integral Hodge conjecture in degree :
Theorem 3.1** (Colliot-Thélène and Voisin, [12] Théorème 3.7).**
Let be a smooth projective variety over . Then, for every integer , there is a short exact sequence:
[TABLE]
Remark 3.2**.**
In light of this result, a strategy for finding a counterexample would be to find a smooth projective variety for which but for which for some . The condition that is satisfied if, for instance, for some closed surface (as noted in [12]). This follows from the proof of Theorem 1 in [7].
We now arrive at the following consequence of the above, which proves Theorem 0.1.
Corollary 3.3**.**
There exist complex Kummer varieties of dimension defined over number fields possessing non-algebraic non-torsion cohomology classes.
Proof.
Let be an Abelian variety of dimension that is defined over a number field and that has good reduction at some prime dividing . Let be the corresponding Kummer variety. Now, we have that for some closed surface by [7] §4 Example (1) (see also [2] Prop. 7). Thus, by Remark 3.2, we deduce that . So, by Corollary 2.13 and Theorem 3.1, it then follows that there exists some nontrivial . That is non-torsion follows from Remark 2.14. ∎
Remark 3.4**.**
As noted in Remark 1.4, there is a Zariski dense subset of the moduli space of ppav’s of dimension consisting of ppav’s that are defined over with good ordinary reduction. In particular, the corresponding Kummer varieties fail the integral Hodge conjecture.
Retaining the notation of the previous result, it does not seem clear which algebraic cycle on is responsible for the failure of the integral Hodge conjecture; i.e., which is non-algebraic. We can, however, give the following heuristic that suggests that the counterexample arises from the exceptional locus of . Indeed, let and consider the Gysin sequence:
[TABLE]
Since is torsion-free, it is easy to see that in the above sequence is injective (since the analogous map is injective), from which we deduce that . Thus, the Bockstein sequence gives an isomorphism
[TABLE]
In particular, there is some corresponding to any whose image under
[TABLE]
is non-zero (see Corollary 2.8), and by the proof of Corollary 2.12, this gives an unramified cycle. Since , the Gysin sequence above implies that the restriction map is surjective. So, we let be a lift of to . Since is -torsion, there is some such that
[TABLE]
The cycle is certainly algebraic since all the components of are algebraic since all the components of are isomorphic to . The speculation then seems to be is not algebraic, but it is not clear how to prove this directly.
As a matter of completeness, we mention the following straightforward result that shows that the failure of the integral Hodge conjecture in the Kummer case can only arise from -torsion in :
Lemma 3.5**.**
For any complex Kummer variety of dimension , for all odd.
Proof.
Suppose is such that is algebraic. Let be the corresponding Abelian variety, its blow-up along and the corresponding quotient map. By [13] Chapter 2 the integral Hodge conjecture holds for (and, hence, also for ), so we deduce that is algebraic. It follows that
[TABLE]
is also algebraic. Since is also algebraic and is odd, this implies that is algebraic. Hence, . Using the fact that vanishes by the proof of Corollary 3.3, it follows from Theorem 3.1 that the group vanishes. ∎
4 A higher-dimensional generalization
It is tempting to think that Corollary 3.3 might also hold if . This should be true, at least conjecturally. Indeed, one needs to prove that ; however, as in the proof of [7] Theorem 1, it suffices to show that . This is true, provided that one believes outstanding conjectures about cycles on Abelian varieties, which we describe below. For an Abelian variety (over ) of dimension , there is the Beauville decomposition [2] of the Chow group:
[TABLE]
where . Here denotes the induced action of multiplication by on . It is known that vanishes unless (see first result of op. cit.). There is the following expectation:
Conjecture 4.1** (Beauville).**
* vanishes for and the cycle class map*
[TABLE]
is injective for all .
Since acts by on , the cycle class map vanishes on the summands for . So, it is necessary to restrict to the summand to have injectivity. The first statement of Beauville’s conjecture is known for (by Prop. of [2]), while the second statement is known for . Apart from this, the conjecture remains open in general.
As to the other extreme, there is the following basic lemma that is surely well-known to the experts but for which a reference was not found:
Lemma 4.2**.**
For all , , where is the subspace of algebraically-equivalent-to-zero cycles in .
Proof.
This is certainly true for , so we assume that , and this case then becomes an exercise in applying properties of the Fourier transform. To this end, let be the Poincaré invertible sheaf on , where is the dual Abelian variety. Also, let
[TABLE]
be the corresponding Fourier transform, where denotes the Chern character. By Prop. 2 of [2], we have that
[TABLE]
In particular, we have that . Using (15), it also follows that , where is the identity and that
[TABLE]
which implies that via the Albanese map. Hence, the Albanese kernel is precisely , and since , we deduce that for all . Since and since
[TABLE]
it follows that . ∎
As usual, we let denote the subspace of of nul-homologous cycles and the Griffiths group by .
Corollary 4.3**.**
Assuming Beauville’s conjecture for , acts as on . Moreover, , where the associated Kummer variety of .
Proof.
Under the assumption of Beauville’s conjecture for , Beauville’s decomposition in codimension becomes:
[TABLE]
By Lemma 4.2, we have . There is then an iduced decomposition on the Griffiths group:
[TABLE]
Now, by Beauville’s conjecture, we also have , from which we deduce that . In particular, acts as on , as was to be shown. The proof of the second statement is then the same as that of Prop. 7 in [2]. ∎
This last result is the necessary step to generalize Corollary 3.3 to higher dimension.
Corollary 4.4**.**
Suppose that Beauville’s conjecture for . Let be a very general complex Kummer variety of dimension . Then, there exist non-algebraic non-torsion cohomology classes on . Moreover, one can find such defined over any given number field.
Proof.
The proof of Corollary 3.3 works mutatis mutandis except that one has to verify that , as noted at the beginning of this section. To this end, we note that from the local-to-global spectral sequence:
[TABLE]
one obtains the following short exact sequence:
[TABLE]
By Remark 2.14, the first group vanishes, so one is reduced to showing that , which follows from Corollary 4.3. ∎
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1[1] M. F. Atiyah, F. Hirzebruch. Analytic cycles on complex manifolds , Topology 1 (1962), 25-45.
- 2[2] A. Beauville. Sur l’anneau de Chow d’une variété abélienne , Math. Ann. 273 (1985), 647-652.
- 3[3] O. Benoist, J. C. Ottem. Failure of the integral Hodge conjecture for threefolds of Kodaira dimension zero , to appear in Comm. Math. Helv.
- 4[4] S. Bloch, H. Esnault. The coniveau filtration and non-divisibility for alge braic cycles , Math. Ann. 304 (1996), 303-314.
- 5[5] S. Bloch, K. Kato. p 𝑝 p -adic étale cohomology , Publ. Math. de l’IHÉS 63 (1986), 107-152.
- 6[6] S. Bloch, A. Ogus. Gersten’s conjecture and the homology of schemes , Ann. sci. de l’É.N.S. 4e série, 7 (2) (1974), 181-201.
- 7[7] S. Bloch, V. Srinivas. Remarks on Correspondences and Algebraic Cycles , Am. J. Math. 105 (5) (1983), 1235-1253.
- 8[8] R. Bott, L. W. Tu. Differential forms in algebraic topology , Springer-Verlag, Berlin (1982).
