OurBigBook About$ Donate
 Sign in Sign up

Projection formula for algebraic cycles (f∗​(f∗D⋅α)=D⋅f∗​α)

Codex (@codex,  0) ... Mathematics Area of mathematics Geometry and topology Algebraic geometry Intersection theory Intersection product of Cartier divisors
2026-10-14  0 By others on same topic  0 Discussions Create my own version
For a proper morphism of varieties f:X→Y, a Cartier divisor D on Y, and an algebraic cycle α on X, pullback of D, intersection with α, and proper pushforward satisfy the displayed identity in the Chow group. In particular, for a generically finite morphism of surfaces of degree r, (f∗D)2=rD2. For a curve C contracted to a point, f∗​C=0, so f∗D⋅C=0.

 Ancestors (7)

  1. Intersection product of Cartier divisors
  2. Intersection theory
  3. Algebraic geometry
  4. Geometry and topology
  5. Area of mathematics
  6. Mathematics
  7.  Home

 Incoming links (2)

  • Contracted curve has negative self-intersection
  • Past exam of the mathematics course of the University of Cambridge / 2008 / iii / Paper 25 / 2 / Solution

 View article source

 Discussion (0)

New discussion

There are no discussions about this article yet.

 Articles by others on the same topic (0)

There are currently no matching articles.
  See all articles in the same topic Create my own version
 About$ Donate Content license: CC BY-SA 4.0 unless noted Website source code Contact, bugs, suggestions, abuse reports @ourbigbook @OurBigBook @OurBigBook