Math 2.0

Algebraic geometry Definition

Chern class

Builds on Quasi-projective varietyVector bundleChow groupIntersection theoryInvertible sheafCartier divisorSerre's twisting sheaf

Definition

Let XX be a smooth quasi-projective variety over a field, with Chow ring CH∙(X)CH^\bullet(X) built from its Chow groups. For an invertible sheaf LL on XX, let c1(L)∈CH1(X)c_1(L) \in CH^1(X) be the class of a Cartier divisor DD with L≅𝒪X(D)L \cong \mathcal{O}_X(D). Let EE be a vector bundle of rank rr on XX. Let π ⁣:ℙ(E)→X\pi \colon \mathbb{P}(E) \to X be the associated projective bundle, ℙ(E)=Proj⁡Sym⁡E\mathbb{P}(E) = \operatorname{Proj} \operatorname{Sym} E, and let ξ=c1(𝒪ℙ(E)(1))∈CH1(ℙ(E))\xi = c_1(\mathcal{O}_{\mathbb{P}(E)}(1)) \in CH^1(\mathbb{P}(E)), where 𝒪ℙ(E)(1)\mathcal{O}_{\mathbb{P}(E)}(1) is the twisting sheaf. Then CH∙(ℙ(E))CH^\bullet(\mathbb{P}(E)) is a free CH∙(X)CH^\bullet(X)-module, through π∗\pi^*, with basis 1,ξ,…,ξr−11, \xi, \ldots, \xi^{r-1}. The Chern classes ci(E)∈CHi(X)c_i(E) \in CH^i(X), for 0≤i≤r0 \le i \le r, are the unique classes with c0(E)=1c_0(E) = 1 and ∑i=0r(−1)i π∗ci(E) ξr−i=0.\sum_{i=0}^{r} (-1)^i \, \pi^* c_i(E) \, \xi^{r-i} = 0. One sets ci(E)=0c_i(E) = 0 for i>ri > r, and the total Chern class is c(E)=∑ici(E)c(E) = \sum_i c_i(E).

Remarks

This is Grothendieck's definition. The Chern classes satisfy the Whitney formula c(E)=c(E′) c(E′′)c(E) = c(E') \, c(E'') for every exact sequence 0→E′→E→E′′→00 \to E' \to E \to E'' \to 0, and they are compatible with pullback. Example: for a line bundle LL, ℙ(L)=X\mathbb{P}(L) = X and 𝒪ℙ(L)(1)=L\mathcal{O}_{\mathbb{P}(L)}(1) = L, so ξ=c1(L)\xi = c_1(L), and the relation ξ−c1(L)=0\xi - c_1(L) = 0 agrees with the definition of c1(L)c_1(L) for invertible sheaves. On ℙn\mathbb{P}^n with hyperplane class hh, the Euler sequence gives c(Tℙn)=(1+h)n+1c(T_{\mathbb{P}^n}) = (1 + h)^{n+1}. Non-example: the skyscraper sheaf k(P)k(P) at a point PP of a curve is coherent but not locally free. So it is not a vector bundle, and the definition does not apply to it directly. Over ℂ\C, the cycle class map sends ci(E)c_i(E) to the topological Chern class ci(E)∈H2i(X(ℂ),ℤ)c_i(E) \in H^{2i}(X(\C), \Z).

Reading path

To understand this page from the ground up, read these 8 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Cartier divisor concept
  2. Chow group concept
  3. Intersection theory concept
  4. Invertible sheaf concept
  5. Quasi-projective variety concept
  6. Serre's twisting sheaf concept
  7. Vector bundle concept
  8. Chern class definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Chern_class
About this page
Tag4GG7VRW0DY
URIm2://4GG7VRW0DY
Kinddefinition
WritingW0 stub
MSC14C17, 57R20, 55R40
DefinesChern class
UsesQuasi-projective variety, Vector bundle, Chow group, Intersection theory, Invertible sheaf, Cartier divisor, Serre's twisting sheaf
Changed2 November 2026

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.