Holmstrom Weil cohomology

Weil cohomology

The cycle map preserves products.

If some nonzero multiple of ZZ is algebraically equivalent to zero, then the cycle map sends ZZ to zero.

Write A i(X)A^i(X) for the \mathbb{Q}-VS generated by the image of the cycle map in H 2i(X)H^{2i}(X).

We have H *(X×Y)=Hom(H *(X),H *(Y))H^*(X \times Y) = Hom(H^*(X), H^*(Y)). An element in this set is called a correspondence, and is called algebraic if it lies in A *(X×X)A^*(X \times X).

Three important kinds of corresponndences: Graph, multiplication, and projector.

Thm: (Trace formula)


Weil cohomology

Grothendieck writes in a letter about Weil cohomology and simplicial stuff, see Grothendieck-Serre page 75. Read this properly.

category: [Private] Notes


Weil cohomology

MathSciNet

Google Scholar

Google

arXiv: Experimental full text search

arXiv: Abstract search

category: Search results


Weil cohomology

AG (Algebraic geometry)

category: World [private]


Weil cohomology

Pure

category: Labels [private]


Weil cohomology

See André for a presentation which differs slightly from Kleiman’s below, for example in that André includes Tate twists in the discussion. André also reviews briefly the classical Weil cohomologies. Some notes:

A Weil cohomology is a (symmetric?) monoidal contravariant functor from smooth projective kk-schemes to the tensor category of \mathbb{N}-graded vector spaces (finite-dimensional in each degree), such that H 2H^2 of the projective line is one-dimensional. Also two additional requirements (1), (2) below.

Tate twist means tensoring with the inverse of the above cohomology space; not that it is invertible in \mathbb{Z}-graded vector spaces because it is one-dimensional.

The cogebra structure on varieties, induced by the diagonal embedding, induces algebra structure on cohomology.

(1) Duality pairing, trace map H 2d(X)(d)KH^{2d}(X)(d) \to K

(2) Cycle class map CH r(X)H 2r(X)(r)CH^r(X) \to H^{2r}(X)(r)

André does not require weak or strong Lefschetz, because these statements lose their relevance when passing from pure to mixed.

A number of formal consequences, including: Various compatibilities, Gysin morphism

f *:H *(X)(d X)H *2(d Xd Y)(Y)(d Y) f_* : H^*(X)(d_X) \to H^{* - 2(d_X-d_Y)}(Y)(d_Y)

(covariant!), projection formula, description of the trace map, relating Hom of cohomologies to cohomology of product, some stuff about the cycle map (and products, etc), removing of equidimensionality hyp through additivity, Lefschetz trace formula (trivial, from super-linear algebra).

Properties of homological equivalence.

Classical Weil cohomologies. In char zero: Etale cohomology with coeffs in F \mathbf{F}_{\ell}, \ell-adic cohomology, algebraic de Rham cohomology, Betti cohomology, with their extra structures. In positive char: \ell-adic cohomology, crystalline cohomology (when kk is perfect).

Comparison IMs, including Tsuji and Berthelot-Ogus. Betti numbers.

Description of the various Tate twists, and of the part of cohomology which receives the cycle map.


Following Kleiman:

A Weil cohomology theory is a contravariant functor from the category of irreducible smooth projective varieties over an algebraically closed field kk, to the category of graded anticommutative algebras over a “coefficient field” KK of characteristic zero, such that the following holds.

  1. (Finiteness) Each H i(X)H^i(X) has finite dimension, and vanishes unless 0i2r0 \leq i \leq 2r, where r=dimXr = \dim X.

  2. (Poincaré duality) For each XX of dimension rr, there is a funcorial “orientation” isomorphism H 2r(X)KH^{2r}(X) \to K which, when composed with the multiplication (“cup product”) yields a non-degenerate bilinear pairing H i(X)×H 2ri(X)KH^i(X) \times H_{2r-i}(X) \to K. Notation: For a given YY of dimension ss and a map f:XYf: X \to Y, we write f *:H i(X)H 2s2r+i(Y)f_*: H^i(X) \to H^{2s-2r+i}(Y) for the transpose of f *:H 2riH 2rif^* : H^{2r-i} \to H^{2r-i}.

  3. (Kunneth) For all X,YX, Y, the projections induce an isomorphism H *(X)H *(Y)H *(X×Y)H^*(X) \otimes H^*(Y) \to H^*(X \times Y).

  4. (Cycle map) For each XX, write C i(X)C^i(X) for the group of algebraic cycles of codimension ii. Then there is a group HM γ X:C i(X)H 2i(X)\gamma_X : C^i(X) \to H^{2i}(X) satisfying:

  1. (Weak Lefschetz) Let h:WXh: W \to X be the inclusion of a smooth hyperplane section. Then h *:H i(X)H i(W)h^*: H^i(X) \to H^i(W) is an isomorphism for ir2i \leq r-2 and injective for i=r1i = r-1.

  2. (Strong Lefschetz) WW as above. Define the Lefschetz operator L:H i(X)H i+2(X)L: H_i(X) \to H^{i+2}(X) by xxγ X(W)x \mapsto x \cdot \gamma_X(W). Then, for iri \leq r ,the (ri)(r-i)‘th iterate of LL is an isomorphism L ri:H i(X)H 2ri(X)L^{r-i}: H^i(X) \to H^{2r-i}(X).

category: Properties


Weil cohomology

Kleiman in Motives.

André: Une introduction aux motifs. Especially sections 3.3 and 3.4.

Grothendieck: The cohomology theory of abstract algebraic varieties. 1960 Proc. Internat. Congress Math. (Edinburgh, 1958) pp. 103–118 Cambridge Univ. Press

category: Paper References


Weil cohomology

Lubkin: A p-adic proof of Weil’s conjectures. Constructs a Weil cohomology for the cat in which an object is a kk-variety which lifts to a smooth proper OO-scheme. Here OO is a complete discrete valuation ring with fraction field of char zero and residue field kk.

Macintyre links Weil cohomology to model theory (!) See also Tomasic


Weil cohomology

This is the class of cohomology theories for which Pure motives (Chow motives) are supposed to have a universal property.

Examples include: Betti cohomology, Algebraic de Rham cohomology, Crystalline cohomology, l-adic cohomology, Etale cohomology (with finite coefficients), and I think also Rigid cohomology.

See also Primitive cohomology

Weil cohomology theories are used to study Algebraic cycles. Some Weil cohomology theories are constructed using Sheaf cohomology

See also Homotopy type

See also the notion of Mixed Weil cohomology

In the book project, the relevant chapter is the “Pure” chapter.


Weil cohomology

3


Weil cohomology

A brief introduction by de Jong

Motivic stuff blog post


Weil cohomology

See Toen AIM talk on Homotopy types of algebraic varieties, for a unified viewpoint on extra structure on Weil cohomology theories, and more.


Weil cohomology

There is an example of Serre about nonexistence of a cohomology theory with certain properties. Maybe this is related to this SBS post

http://mathoverflow.net/questions/27014/is-it-possible-to-classify-all-weil-cohomologies

nLab page on Weil cohomology

Created on June 10, 2014 at 21:14:54 by Andreas Holmström