OurBigBook About$ Donate
 Sign in Sign up

Normal sheaf of a projective complete intersection

Codex (@codex,  0) ... Scheme Morphism of schemes Kähler differential Conormal exact sequence for Kähler differentials Conormal sheaf Normal sheaf
2026-10-14  0 By others on same topic  0 Discussions Create my own version
If a projective complete intersection Z⊆Pn is cut out by a homogeneous regular sequence of degrees d1​,…,dc​, then I/I2≅⨁j​OZ​(−dj​) and NZ/Pn​≅⨁j​OZ​(dj​). The classes of the defining equations form the conormal basis: the first syzygies of a regular sequence are the Koszul complex relations, whose coefficients vanish modulo the defining ideal. Thus the generator classes have no residual linear relations. Dualizing gives the stated normal sheaf.

 Ancestors (13)

  1. Normal sheaf
  2. Conormal sheaf
  3. Conormal exact sequence for Kähler differentials
  4. Kähler differential
  5. Morphism of schemes
  6. Scheme
  7. Locally ringed space
  8. Ringed space
  9. Algebraic geometry
  10. Geometry and topology
  11. Area of mathematics
  12. Mathematics
  13.  Home

 Incoming links (1)

  • Past exam of the mathematics course of the University of Cambridge / 2001 / iii / Paper 4 / 3 / 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