Voir la source de Cycle (géométrie algébrique)

{{homon|Cycle}}
En [[géométrie algébrique]], les '''cycles''' sont des combinaisons formelles de fermés irréductibles d'un [[Schéma (géométrie algébrique)|schéma]] donné. Le quotient du groupe des cycles par une relation d'équivalence convenable aboutit aux {{Lien|Anneau de Chow|trad=Chow ring|texte=groupes de Chow}} qui sont des objets fondamentaux.

Tous les schémas considérés ici seront supposés '''noethériens de dimension finie'''.

== Définition ==
On fixe un schéma <math>X</math> qu'on supposera noethérien de dimension finie <math>d</math>. Pour tout entier positif ou nul <math>p</math>, on appelle '''<math>p</math>-cycle''' irréductible (resp. '''<math>p</math>-cocycle irréductible''') de <math>X</math> un fermé irréductible de dimension <math>p</math> (resp. [[codimension]] <math>p</math>). Un '''<math>p</math>-cycle''' est une combinaison formelle finie

* <math>\sum_i n_i[Z_i] </math>

où les coefficients <math>n_i</math> sont des entiers relatifs, et où les <math>Z_i</math> sont des <math>p</math>-cycles irréductibles. On définit similairement les
<math>p</math>-cocycles. L'ensemble des <math>p</math>-cycles est un groupe commutatif, qui est d'ailleurs le [[groupe abélien libre]] engendré par les fermés irréductibles de dimension <math>p</math> de <math>X</math>. On note ce groupe <math>Z_p(X)</math>. Similairement, le groupe des cocycles est noté <math>Z^p(X)</math>. On remarque que ces groupes sont nuls si <math>p>n</math>.

Les 1-cocycles s'appellent les '''diviseurs de Weil'''. Ce sont donc des combinaisons entières de fermés irréductibles de codimension 1. Rappelons qu'un fermé irréductible est de '''codimension 1''' si ce n'est pas une composante irréductible de <math>X</math>, et si tout fermé irréductible qui le contient strictement est une composante irréductible de <math>X</math>.

La somme directe (finie) des <math>Z_p(X)</math> est le '''groupe des cycles''' de <math>X</math>.

== Exemples ==

* Le groupe <math>Z^0(X)</math> est engendré par les composantes irréductibles de <math>X</math>.

* Le groupe <math>Z_d(X)</math> est engendré par les composantes irréductibles de <math>X</math> de dimension maximale.

* Le groupe <math>Z_0(X)</math> est engendré par les points fermés de <math>X</math>. Ce sont les 0-cycles.

* Le groupe <math>Z^d(X)</math> est engendré certains points fermés (ceux qui sont de codimension <math>d</math>).

* Supposons que <math>X</math> soit irréductible de dimension 1. Alors <math>Z_0(X)=Z^1(X)</math>.

== Diviseur principal et cycle principal ==

Soit <math>A</math> un anneau local noethérien de dimension 1. Soit <math>f</math> un élément régulier non inversible de <math>A</math>. On définit l''''ordre de <math>f</math>''' comme étant la [[longueur d'un module|longueur]] du <math>A</math>-[[module artinien]] <math>A/fA</math>. Notons-le <math>{\rm ord}(f)</math>. On montre que l'application ord est additif et induit donc un homomorphisme de groupes <math>{\rm Frac}(A)^* \to {\mathbb Z}</math> où <math>\mathrm{Frac}(A)</math> désigne l'anneau total des fractions de <math>A</math>. Noter que si <math>A</math> est intègre, l'anneau total des fractions est simplement le corps des fractions.

Supposons <math>X</math> intègre. Soit <math>f</math> une fonction rationnelle non nulle sur <math>X</math> (c'est donc un élément du corps des fractions de <math>O_X(U)</math> pour tout ouvert <math>U</math>). Pour tout fermé irréductible <math>Z</math> de codimension 1, de point générique <math>\xi</math>, l'anneau local <math>O_{X,\xi}</math> est de dimension 1. On note <math>{\rm ord}_{\xi}(f)</math> l'ordre de la fraction <math>f</math> dans l'anneau local <math>O_{X,\xi}</math>. On pose

* <math>{\rm div}(f)=\sum_{\xi} {\rm ord}_{\xi}(f)[Z_{\xi}] </math>

où la somme parcourt les points <math>\xi</math> de codimension 1, et où par commodité dactylographique <math>Z_{\xi}</math> est l'adhérence de Zariski de <math>\{\xi\}</math> (c'est un 1-cocycle irréductible). On montre aisément (parce que <math>X</math> est noethérien) que c'est une somme finie. On a donc un diviseur de Weil. Un tel diviseur est appelé un '''diviseur principal''' sur <math>X</math>. On a

* <math>{\rm div}(fg)={\rm div}(f)+{\rm div}(g)</math>

et <math>{\rm div}(1)=0</math>.

Par extension, les diviseurs principaux des fermés irréductibles de <math>X</math> forment un sous-groupe de <math>Z(X)</math> appelé le groupe des '''cycles principaux''' de <math>X</math>. Par exemple si <math>X</math> est de dimension 2, il y aura des diviseurs principaux de <math>X</math>, mais aussi des 0-cycles qui sont principaux dans des fermés irréductibles de dimension 1 de <math>X</math>.

On note <math>{\rm CH}(X)</math> le groupe quotient de <math>Z(X)</math> par le sous-groupe des cycles principaux. Les images de <math>Z^p(X)</math> et de <math>Z_p(X)</math> dans <math>{\rm CH}(X)</math> sont notées <math>{\rm CH}^p(X)</math> et <math>{\rm CH}_p(X)</math>. Ce sont les '''groupes de {{Lien|Wei-Liang Chow|texte=Chow}}''' de <math>X</math>.

On dira, même si cela comporte des pathologies en dehors des variétés algébriques intègres, que deux cycles sur <math>X</math> sont '''rationnellement équivalents''' si leur différence appartient au groupe des cycles principaux.

== Degré d'un 0-cycle ==

On suppose que <math>X</math> est une variété algébrique sur un corps <math>k</math> (i.e. c'est un <math>k</math>-schéma de type fini). Pour tout point fermé <math>x</math> (donc 0-cycle irréductible), le corps résiduel <math>k(x)</math> est une extension finie de <math>k</math>. Si <math>Z=\sum_i n_i [x_i] </math> est un 0-cycle, on définit son '''degré''' par <math>\deg Z= \sum_i n_i [k(x_i):k].</math> C'est un entier qui dépend du corps de base <math>k</math>. L'application degré est un homomorphisme <math>Z_0(X)\to </math>ℤ.

{{Théorème| 
Soit <math>X</math> une variété algébrique propre (par exemple projectif) sur un corps <math>k</math>. Soit <math>Z</math> un 0-cycle principal. Alors il est de degré 0. 
}}

Cela veut dire que dans le cas des variétés algébriques propres, l'application degré induit un homomorphisme de groupes
<math>{\rm CH}_0(X)\to {\mathbb Z}.</math>

* '''Corollaire'''. Soit <math>X</math> une courbe projective sur un corps, alors l'application degré induit un homomorphisme de groupes de <math>CH^1(X)=CH_0(X)</math> dans <math>{\mathbb Z}</math>.

== Fonctorialité ==

Soit <math>f : X\to Y</math> un morphisme. Soit <math>Z</math> un fermé irréductible, de point générique <math>\xi</math>. On pose

* <math>f_*[Z] = [k(\xi) : k(f(\xi)] [f(Z)] </math> si l'extension <math>k(\xi)/k(f(\xi)) </math> est finie, et <math>f_*[Z]=0 </math> sinon.

Ceci induit un homomorphisme de groupes <math>f_* : Z(X)\to Z(Y) </math>. Lorsque <math>Y</math> est le spectre d'un corps <math>k</math> et que <math>f</math> est de type fini, pour tout 0-cycle <math>Z</math>, on a <math>f_*Z=(\deg Z).e </math> où <math>e</math> est l'unique 0-cycle de Spec k.

== Correspondance ==
{{...}}

== Références bibliographiques ==

[[William Fulton (mathématicien)|William Fulton]], ''Intersection Theory'', {{2e}} éd., Springer, 1998

== Articles connexes ==
{{Lien|trad=Standard conjectures on algebraic cycles|Conjectures standard sur les cycles algébriques}}

{{Portail|mathématiques}}

[[Catégorie:Géométrie algébrique]]