This page is supposed to be a review of the seminal article
Higher regulators and values of L-functions,
Journal of Soviet Mathematics 30 (1985), 2036-2070,
introducing Beilinson-Deligne cohomology, Beilinson regulators, higher regulators, and the Beilinson conjectures.
Please note that it is currently in a very preliminary state, having been prepared quickly as notes for a seminar talk on the first section of the paper. It follows the paper very closely, and an interested reader might like to rewrite from the nPOV.
By analytic space we will mean real analytic space. Let denote the real analytic site. Consider the category of abelian sheaves on . Beilinson denotes by its bounded above derived category, i.e. the category of connective cochain complexes up to quasi-isomorphism. Given an analytic space , we will also consider its petit topos of sheaves on the site of open subsets.
In we have the complex , of de Rham complexes of holomorphic forms. Let denote the “stupid” filtration.
Fix a subring and let for . We will abuse notation and write also for the constant sheaf valued in the complex concentrated in degree zero. Similarly we will view as an object of .
We will write for the Betti cohomology of .
For each , the inclusions and induce a canonical morphism
(given by the difference of the two inclusions).
For , the Deligne complex of weight , denoted , is defined as the mapping cone of the above morphism shifted by -1, hence fitting in the distinguished triangle
The Deligne cohomology is just the hypercohomology of this complex. That is, consider the right derived functor of the functor of global sections on with values in .
The Deligne cohomology of of weight and degree with coefficients in is
There is a canonical long exact sequence
This follows by applying the cohomological functor to the above distinguished triangle.
There exists a canonical morphism in
inducing the structure of a graded commutative ring on
for all .
Beilinson gives an explicit formula using the usual explicit model for the mapping cone. He also remarks shortly that the product can be defined by observing that the obvious multiplicative structures on , , , turn each into a monoid object in the symmetric monoidal category of cochain complexes (of abelian sheaves), that is, into dg-algebras (of complexes of sheaves). Consider then the homotopy pullback of the diagram ; Beilinson claims that the underlying complex of this dg-algebra has in each degree the Deligne complex of weight . This point is expanded on in Hopkins-Quick.
Here we will simply give a formula for the quasi-isomorphic complex of Lemma 1 (assuming ), which we will denote for the moment by . For , take , , and define
We omit the various verifications, that this defines a morphism of complexes, is associative, commutative, etc. One gets a monoid object in the category of cochain complexes of abelian sheaves. It only remains to see that preserves monoids, so that one gets the structure of a graded commutative ring on the hypercohomology groups .
Beilinson uses this cup product for to recover the Bloch regulator?.
(Bloch). For each algebraic curve over , there is a canonical functorial homomorphism
from the second algebraic K-theory group to the first Betti cohomology group with coefficients in .
By Lemma 1, there are quasi-isomorphisms
induced by the exponential map, and
induced by . It follows that the cup product
corresponds to a canonical homomorphism
According to Deligne, the RHS classifies isomorphism classes of line bundles with holomorphic connection?. Since , all connections are integrable and this group is identified with .
Now by Matsumoto’s theorem, giving a presentation of the group of a field by two generators and certain relations, one has
On the other hand, one has the Steinberg identity for . It follows that the homomorphism above factors through for a generic point. To extend it to all of , one uses the commutative diagram of localization exact sequences
The first row comes from the Gersten-Quillen resolution? for K-theory.
If and are toposes and is a geometric morphism, consider the Artin gluing, i.e. the topos whose objects are morphisms for , , and morphisms are commutative diagrams. Write for this topos.
The functor of global sections on is the left exact functor
defined by
for each sheaf given by with and . Let denote its right derived functor.
The rest of this section is just defining a monoidal product on , and explaining that a monoid in will induce a monoid in , i.e. a dg-algebra, after taking cohomology.
Let denote the category of pairs with smooth and an open subspace such that the complement is a normal crossing divisor?. The open immersion induces a functor on the petit sites by mapping an open subspace to . This induces a geometric morphism on the petit toposes. Following the discussion of the previous section, we make the
The topos of the pair is defined to be the Artin gluing , and will be denoted . Hence a sheaf on the pair is a sheaf on , a sheaf on , and a connecting morphism .
Let denote the de Rham complex of holomorphic forms on with logarithmic singularities? along . That is, is an object of and we view it as a complex on by taking the part on to be trivial. Let denote the stupid filtration.
Now we define a complex of abelian sheaves in as follows.
The Beilinson-Deligne complex with logarithmic singularities of weight of the pair is a complex of abelian sheaves on , denoted and defined as follows. In degree , take the sheaf
in (where the mapping cone is taken in ), and the sheaf
in , together with the connecting morphism induced by the inclusion .
The Beilinson-Deligne cohomology with logarithmic singularities of the pair in weight and degree and with coefficients in , is the hypercohomology
One defines a cup product on these complexes in the same way as above, and gets a graded commutative ring structure on Beilinson-Deligne cohomology with logarithmic singularities.
Let denote the full subcategory spanned by pairs for which is a smooth projective algebraic variety. Let denote the category of smooth quasi-projective schemes over . By the GAGA principle, we have a functor which sends a pair to . Conversely given , by Hironaka? there exists a pair (a compactification).
Let be a smooth quasi-projective algebraic variety over . Let be a compactification and define the Beilinson-Deligne cohomology of as
and
One shows that these definitions are independent of the chosen compactification. By the above, one gets a cup product also on these cohomology groups.
Next Beilinson shows that can be defined as cohomologies of certain complexes of Zariski sheaves. He notes that this is not necessary for the remainder of the paper, so we omit this here.
There is a canonical morphism
for each . This induces a canonical homomorphism
from the Picard group of invertible sheaves?.
For an invertible sheaf? on , its first Chern class is defined to be the image of the class of under the above homomorphism.
One can show that for , this homomorphism is injective, and further surjective if is compact.
Next Beilinson shows the projective bundle formula? for Beilinson-Deligne cohomology.
(Projective bundle formula). Let be an vector bundle of rank on , let be the associated projective bundle, and the tautological sheaf? on . The homomorphism
is invertible.
By definition we have the distinguished triangle
One checks that it is compatible with the cup product. Since the morphism sends first Chern classes in Deligne cohomology to first Chern classes in Betti cohomology, the projective bundle formula?s for Betti cohomology and de Rham cohomology show that the map in question induces an isomorphism on the leftmost and rightmost members of the triangle. Hence the result follows.
After the projective bundle theorem, one can define Chern classes of vector bundles following Grothendieck. In particular one gets the Chern character
For each , there exists a unique assignment to a vector bundle over a class
that is functorial with respect to inverse images and for which sends to the usual Chern class in Betti cohomology.
We omit the proof and just recall the construction due to Grothendieck of the Chern classes. Let and write . By the projective bundle formula one has
There exist such that
with and . We define .
In this paragraph, our goal is to define the homology theory dual to Deligne cohomology, for schemes over . To do this, we first define functorial complexes on . Then they extend, more or less formally, to the category of finite type schemes over and proper maps. Then we establish Poincare duality.
Let be smooth. Let
denote the complex of forms (resp. with distribution coefficients on ). This is the totalization of the double complex (resp. ) formed by sheaves of -forms (resp. with distribution coefficients). Let and denote the respective induced filtrations.
Let
denote the complex of singular chains with coefficents in the constant sheaf .
Let
denote the complex of global sections with compact support. (Here we view as a sheaf on .)
Let denote the subcategory with the same objects and only morphisms which satisfy .
Let . Define the complexes
and
with the induced filtrations and .
Define the complex of relative singular chains on as the quotient chain complex
Let
denote the complex of sections with compact support, with the induced filtration .
Finally, define the complex (this is the complex that will give us the Deligne homology groups ).
For , define the complex
This is functorial on .
Let denote the category of finite type schemes over and proper maps. Let denote the subcategory of smooth quasi-projective schemes. Let denote the category of pairs with smooth projective, open with a normal crossing divisor, and with morphisms such that .
The functor on the category extends uniquely to a functor on . In particular one gets has a distinguished triangle in
where is de Rham homology?, is the Hodge filtration, is the Borel-Moore homology with coefficients in the constant sheaf , and is the Deligne homology?, defined by the complex .
(Poincare duality). Let be a smooth scheme of dimension . There is a canonical isomorphism
Let be a compactification of . Consider the presheaf on of complexes of abelian groups, defined by
Take its associated sheaf, and consider it as a complex of abelian sheaves, . First of all note that
where is the open immersion. Note that is a flasque resolution? of the sheaf on . Since the embedding
is a filtered quasi-isomorphism, and the associated graded objects are soft sheaves?, one gets
Let be a scheme and an irreducible subscheme of dimension . Note that the canonical homomorphism
is invertible. Let denote the element of corresponding to the unit . Hence one gets a homomorphism
given by . If is smooth, by Poincare duality this corresponds to a homomorphism
on the group of algebraic cyles? of codimension .
If is smooth and compact, then for each , if is equal to 0, then coincides with the Abel-Jacobi-Griffiths periods of the cycle .
The distinguished triangle defining induces, after passing to the associated long exact sequence, a short exact sequence
where is the th intermediate Jacobian of Griffiths?, defined as
and is the group of integral Hodge cycles of type .
Using the usual explicit model for the mapping cone, is the homology class of the cycle
where denotes the closed immersion, and is a distribution defined by integration over . Since , we can choose such that . By subtracting from the boundary , we see that . But the latter is precisely the definition of the periods of the cycle .
…
Alexander BeilinsonHigher regulators and values of L-functions, Journal of Soviet Mathematics 30 (1985), 2036-2070, (mathnet (Russian), DOI) (reviewed in Esnault-Viehweg 88)
Hélène Esnault, Eckart Viehweg, Deligne-Beilinson cohomology in Rapoport, Schappacher, Schneider (eds.) Beilinson’s Conjectures on Special Values of L-Functions . Perspectives in Math. 4, Academic Press (1988) 43 - 91 (pdf)
Michael Hopkins, Gereon Quick, Hodge filtered complex bordism, arXiv.
Last revised on March 15, 2021 at 09:45:47. See the history of this page for a list of all contributions to it.