Namespaces
Variants
Actions

Difference between revisions of "Chow ring"

From Encyclopedia of Mathematics
Jump to: navigation, search
m (mr,zbl,msc)
 
(3 intermediate revisions by 2 users not shown)
Line 1: Line 1:
 +
{{MSC|14Cxx|14G10,18F25}}
 
{{TEX|done}}
 
{{TEX|done}}
  
Line 5: Line 6:
 
$
 
$
  
The ring of rational equivalence classes of algebraic cycles (cf. [[Algebraic cycle|Algebraic cycle]]) on a non-singular quasi-projective algebraic variety. Multiplication in this ring is defined in terms of intersections of cycles (cf. [[Intersection theory|Intersection theory]]).
+
The ''Chow ring'' of a non-singular quasi-projective algebraic variety
 +
is the ring of rational equivalence classes of algebraic cycles (cf. [[Algebraic cycle|Algebraic cycle]]) on that variety. Multiplication in this ring is defined in terms of intersections of cycles (cf. [[Intersection theory|Intersection theory]]).
  
 
The Chow ring $\CH(X)=\bigoplus_{i\geq 0} \CH^i(X)$ of a variety $X$ is a graded commutative ring, where $\CH^i(X)$ denotes the group of classes of cycles of codimension $i$. In earlier publications, the notation $\mathrm{A}(X)$ is sometimes used instead of $\CH(X)$.
 
The Chow ring $\CH(X)=\bigoplus_{i\geq 0} \CH^i(X)$ of a variety $X$ is a graded commutative ring, where $\CH^i(X)$ denotes the group of classes of cycles of codimension $i$. In earlier publications, the notation $\mathrm{A}(X)$ is sometimes used instead of $\CH(X)$.
Line 13: Line 15:
 
$$f_*(f^*(y)\cdot x) = y\cdot f_*(x), \quad x \in CH(X), \quad y \in CH(Y)$$
 
$$f_*(f^*(y)\cdot x) = y\cdot f_*(x), \quad x \in CH(X), \quad y \in CH(Y)$$
  
The Chow ring is the domain of values for the classical theory of Chern classes of vector bundles (cf. [[#References|[1]]]). More precisely, if $E$ is a locally free sheaf of rank $r$ over a variety $X$, if $\pi:P(E) \to X$ is its projectivization and if $\zeta \in \CH^1(P(E))$ is the class of the divisor corresponding to the invertible sheaf $\mathcal{O}_{P(E)}(1)$, then $\pi^*$ is injective and the Chow ring $\CH(P(E))$ may be identified with the quotient ring of the polynomial ring $\CH(X)[\zeta]$ by the ideal generated by the polynomial
+
The Chow ring is the domain of values for the classical theory of Chern classes of vector bundles (cf. {{Cite|Ha}}). More precisely, if $E$ is a locally free sheaf of rank $r$ over a variety $X$, if $\pi:P(E) \to X$ is its projectivization and if $\zeta \in \CH^1(P(E))$ is the class of the divisor corresponding to the invertible sheaf $\mathcal{O}_{P(E)}(1)$, then $\pi^*$ is injective and the Chow ring $\CH(P(E))$ may be identified with the quotient ring of the polynomial ring $\CH(X)[\zeta]$ by the ideal generated by the polynomial
  
 
$$\zeta^r -c_1(E)\zeta^{r-1}+\cdots + (-1)^r c_r(E).$$
 
$$\zeta^r -c_1(E)\zeta^{r-1}+\cdots + (-1)^r c_r(E).$$
Line 21: Line 23:
 
In the case of a variety over the field of complex numbers, there is a homomorphism $\CH(X) \to \mathrm{H}(X,\mathbb Z)$ into the singular cohomology ring that preserves the degree and commutes with the inverse-image and direct-image homomorphisms.
 
In the case of a variety over the field of complex numbers, there is a homomorphism $\CH(X) \to \mathrm{H}(X,\mathbb Z)$ into the singular cohomology ring that preserves the degree and commutes with the inverse-image and direct-image homomorphisms.
  
If $X$ is a singular quasi-projective variety, then its Chow ring $\CH(X)$ is defined as the direct limit of rings $\CH(X)=\varinjlim \CH(Y)$ over all morphisms $f:X \to Y$, where $Y$ is non-singular. One obtains a contravariant functor into the category of graded rings, satisfying the projection formula (cf. [[#References|[3]]]).
+
If $X$ is a singular quasi-projective variety, then its Chow ring $\CH(X)$ is defined as the direct limit of rings $\CH(X)=\varinjlim \CH(Y)$ over all morphisms $f:X \to Y$, where $Y$ is non-singular. One obtains a contravariant functor into the category of graded rings, satisfying the projection formula (cf. {{Cite|Fu}}).
  
 
====References====
 
====References====
<table><TR><TD valign="top">[1]</TD> <TD valign="top"> R. Hartshorne, "Algebraic geometry" , Springer (1977) {{MR|0463157}} {{ZBL|0367.14001}} </TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top"> "Anneaux de Chow et applications" , ''Sem. Chevalley'' (1958) {{MR|}} {{ZBL|0098.13101}} </TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top"> W. Fulton, "Rational equivalence on singular varieties" ''Publ. Math. IHES'' , '''45''' (1975) pp. 147–167 {{MR|0404257}} {{ZBL|0332.14002}} </TD></TR></table>
+
{|
 
+
|-
 
+
|valign="top"|{{Ref|Ch}}||valign="top"| "Anneaux de Chow et applications", ''Sem. Chevalley'' (1958) {{MR|}} {{ZBL|0098.13101}}
 +
|-
 +
|valign="top"|{{Ref|Fu}}||valign="top"| W. Fulton, "Rational equivalence on singular varieties" ''Publ. Math. IHES'', '''45''' (1975) pp. 147–167 {{MR|0404257}} {{ZBL|0332.14002}}
 +
|-
 +
|valign="top"|{{Ref|Ha}}||valign="top"| R. Hartshorne, "Algebraic geometry", Springer (1977) {{MR|0463157}} {{ZBL|0367.14001}}
 +
|-
 +
|}
  
 
====Comments====
 
====Comments====
For $X$ a Noetherian scheme (or ring), let $K_n(X)$ denote the $n$-th $K$-group of (the category of) finitely-generated projective modules over $X$; cf. [[Algebraic K-theory|Algebraic K-theory]]. Let $\mathcal{K}$ denote the sheaf obtained by sheafifying (in the Zariski topology) the pre-sheaf $U \mapsto K_n(U)$ where $U$ runs through the open (affine) subschemes of $X$. One then has the Bloch formula [[#References|[a1]]]
+
For $X$ a Noetherian scheme (or ring), let $K_n(X)$ denote the $n$-th $K$-group of (the category of) finitely-generated projective modules over $X$; cf. [[Algebraic K-theory|Algebraic K-theory]]. Let $\mathcal{K}$ denote the sheaf obtained by sheafifying (in the Zariski topology) the pre-sheaf $U \mapsto K_n(U)$ where $U$ runs through the open (affine) subschemes of $X$. One then has the Bloch formula {{Cite|Bl}}
  
$$\CH^p(X) \simeq H^p(X, \mathcal{K}_p)
+
$$\CH^p(X) \simeq H^p(X, \mathcal{K}_p)$$
  
providing a link between the Chow groups of $X$ and the cohomology of $X$ with values in the $\mathcal{K}$-sheaves of $X$. Using results on the algebraic K-theory of fields, [[#References|[a2]]], this can be used to obtain results on Chow groups, in particular on $\CH^2$, [[#References|[a3]]].
+
providing a link between the Chow groups of $X$ and the cohomology of $X$ with values in the $\mathcal{K}$-sheaves of $X$. Using results on the algebraic K-theory of fields, {{Cite|MeSu}}, this can be used to obtain results on Chow groups, in particular on $\CH^2$, {{Cite|Co}}.
  
 
Cf. [[Sheaf theory|Sheaf theory]] for the notions of sheafification, pre-sheaf, sheaf, and cohomology with values in a sheaf.
 
Cf. [[Sheaf theory|Sheaf theory]] for the notions of sheafification, pre-sheaf, sheaf, and cohomology with values in a sheaf.
  
 
====References====
 
====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top"> S. Bloch, "Lectures on algebraic cycles" , Dept. Math. Duke Univ. (1980) {{MR|0558224}} {{ZBL|0436.14003}} </TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top"> A.S. Merkur'ev, A.A. Suslin, "K-cohomology of Severi–Brauer varieties and norm residue homomorphism" ''Math. USSR Izv.'' , '''21''' (1983) pp. 307–340 ''Izv. Akad. Nauk SSSR Ser. Mat.'' , '''46''' : 5 (1982) pp. 1011–1046 {{MR|}} {{ZBL|0525.18008}} {{ZBL|0525.18007}} </TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top"> J.-L. Colliot-Thélène, "Hilbert's theorem 90 for $K_2$ with application to the Chow groups of rational surfaces" ''Inv. Math.'' , '''71''' (1983) pp. 1–20</TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top"> W. Fulton, "Intersection theory" , Springer (1984) {{MR|0735435}} {{MR|0732620}} {{ZBL|0541.14005}} </TD></TR></table>
+
{|
 +
|-
 +
|valign="top"|{{Ref|Bl}}||valign="top"| S. Bloch, "Lectures on algebraic cycles", Dept. Math. Duke Univ. (1980) {{MR|0558224}} {{ZBL|0436.14003}}
 +
|-
 +
|valign="top"|{{Ref|Co}}||valign="top"| J.-L. Colliot-Thélène, "Hilbert's theorem 90 for $K_2$ with application to the Chow groups of rational surfaces" ''Inv. Math.'', '''71''' (1983) pp. 1–20  {{MR|0688259}} {{ZBL|0527.14011}}
 +
|-
 +
|valign="top"|{{Ref|Fu2}}||valign="top"| W. Fulton, "Intersection theory", Springer (1984) {{MR|0735435}} {{MR|0732620}} {{ZBL|0541.14005}}
 +
|-
 +
|valign="top"|{{Ref|MeSu}}||valign="top"| A.S. Merkur'ev, A.A. Suslin, "K-cohomology of Severi–Brauer varieties and norm residue homomorphism" ''Math. USSR Izv.'', '''21''' (1983) pp. 307–340 ''Izv. Akad. Nauk SSSR Ser. Mat.'', '''46''' : 5 (1982) pp. 1011–1046 {{MR|}} {{ZBL|0525.18008}} {{ZBL|0525.18007}}
 +
|-
 +
|}

Latest revision as of 21:54, 24 April 2012

2020 Mathematics Subject Classification: Primary: 14Cxx Secondary: 14G1018F25 [MSN][ZBL]

$ \newcommand{\CH}{\mathrm{CH}} $

The Chow ring of a non-singular quasi-projective algebraic variety is the ring of rational equivalence classes of algebraic cycles (cf. Algebraic cycle) on that variety. Multiplication in this ring is defined in terms of intersections of cycles (cf. Intersection theory).

The Chow ring $\CH(X)=\bigoplus_{i\geq 0} \CH^i(X)$ of a variety $X$ is a graded commutative ring, where $\CH^i(X)$ denotes the group of classes of cycles of codimension $i$. In earlier publications, the notation $\mathrm{A}(X)$ is sometimes used instead of $\CH(X)$.

For a morphism $f:X \to Y$ the inverse-image homomorphism $f^*:\CH(Y) \to \CH(X)$ is a homomorphism of rings, and for $f$ proper, the direct-image homomorphism $f_*: \CH(X)\to \CH(Y)$ is a homomorphism of $\CH(Y)$-modules. This means that there is a projection formula:

$$f_*(f^*(y)\cdot x) = y\cdot f_*(x), \quad x \in CH(X), \quad y \in CH(Y)$$

The Chow ring is the domain of values for the classical theory of Chern classes of vector bundles (cf. [Ha]). More precisely, if $E$ is a locally free sheaf of rank $r$ over a variety $X$, if $\pi:P(E) \to X$ is its projectivization and if $\zeta \in \CH^1(P(E))$ is the class of the divisor corresponding to the invertible sheaf $\mathcal{O}_{P(E)}(1)$, then $\pi^*$ is injective and the Chow ring $\CH(P(E))$ may be identified with the quotient ring of the polynomial ring $\CH(X)[\zeta]$ by the ideal generated by the polynomial

$$\zeta^r -c_1(E)\zeta^{r-1}+\cdots + (-1)^r c_r(E).$$

The coefficient $c_k(E)\in \CH^k(X)$ is called the $k$-th Chern class of the locally free sheaf $E$.

In the case of a variety over the field of complex numbers, there is a homomorphism $\CH(X) \to \mathrm{H}(X,\mathbb Z)$ into the singular cohomology ring that preserves the degree and commutes with the inverse-image and direct-image homomorphisms.

If $X$ is a singular quasi-projective variety, then its Chow ring $\CH(X)$ is defined as the direct limit of rings $\CH(X)=\varinjlim \CH(Y)$ over all morphisms $f:X \to Y$, where $Y$ is non-singular. One obtains a contravariant functor into the category of graded rings, satisfying the projection formula (cf. [Fu]).

References

[Ch] "Anneaux de Chow et applications", Sem. Chevalley (1958) Zbl 0098.13101
[Fu] W. Fulton, "Rational equivalence on singular varieties" Publ. Math. IHES, 45 (1975) pp. 147–167 MR0404257 Zbl 0332.14002
[Ha] R. Hartshorne, "Algebraic geometry", Springer (1977) MR0463157 Zbl 0367.14001

Comments

For $X$ a Noetherian scheme (or ring), let $K_n(X)$ denote the $n$-th $K$-group of (the category of) finitely-generated projective modules over $X$; cf. Algebraic K-theory. Let $\mathcal{K}$ denote the sheaf obtained by sheafifying (in the Zariski topology) the pre-sheaf $U \mapsto K_n(U)$ where $U$ runs through the open (affine) subschemes of $X$. One then has the Bloch formula [Bl]

$$\CH^p(X) \simeq H^p(X, \mathcal{K}_p)$$

providing a link between the Chow groups of $X$ and the cohomology of $X$ with values in the $\mathcal{K}$-sheaves of $X$. Using results on the algebraic K-theory of fields, [MeSu], this can be used to obtain results on Chow groups, in particular on $\CH^2$, [Co].

Cf. Sheaf theory for the notions of sheafification, pre-sheaf, sheaf, and cohomology with values in a sheaf.

References

[Bl] S. Bloch, "Lectures on algebraic cycles", Dept. Math. Duke Univ. (1980) MR0558224 Zbl 0436.14003
[Co] J.-L. Colliot-Thélène, "Hilbert's theorem 90 for $K_2$ with application to the Chow groups of rational surfaces" Inv. Math., 71 (1983) pp. 1–20 MR0688259 Zbl 0527.14011
[Fu2] W. Fulton, "Intersection theory", Springer (1984) MR0735435 MR0732620 Zbl 0541.14005
[MeSu] A.S. Merkur'ev, A.A. Suslin, "K-cohomology of Severi–Brauer varieties and norm residue homomorphism" Math. USSR Izv., 21 (1983) pp. 307–340 Izv. Akad. Nauk SSSR Ser. Mat., 46 : 5 (1982) pp. 1011–1046 Zbl 0525.18008 Zbl 0525.18007
How to Cite This Entry:
Chow ring. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Chow_ring&oldid=25193
This article was adapted from an original article by Val.S. Kulikov (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article