Le Potier's vanishing theorem

From HandWiki
Short description: Generalizes the Kodaira vanishing theorem for ample vector bundle

In algebraic geometry, Le Potier's vanishing theorem is an extension of the Kodaira vanishing theorem, on vector bundles. The theorem states the following[1][2][3][4][5][6][7][8][9]

(Le Potier 1975): Let X be a n-dimensional compact complex manifold and E a holomorphic vector bundle of rank r over X, here [math]\displaystyle{ H^{p,q}(X,E) }[/math] is Dolbeault cohomology group, where [math]\displaystyle{ \Omega ^{p}_{X} }[/math] denotes the sheaf of holomorphic p-forms on X. If E is an ample, then
[math]\displaystyle{ H^{p,q}(X, E) = 0 }[/math] for [math]\displaystyle{ p + q \geq n + r }[/math] .

from Dolbeault theorem,

[math]\displaystyle{ H^{q}(X, \Omega ^{p}_{X} \otimes E ) = 0 }[/math] for [math]\displaystyle{ p + q \geq n + r }[/math] .

By Serre duality, the statements are equivalent to the assertions:

[math]\displaystyle{ H^{i}(X, \Omega ^{j}_{X} \otimes E^* ) = 0 }[/math] for [math]\displaystyle{ j + i \leq n - r }[/math] .

In case of r = 1, and let E is an ample (or positive) line bundle on X, this theorem is equivalent to the Nakano vanishing theorem. Also, (Schneider 1974) found another proof.

(Sommese 1978) generalizes Le Potier's vanishing theorem to k-ample and the statement as follows:[2]

Le Potier–Sommese vanishing theorem: Let X be a n-dimensional algebraic manifold and E is a k-ample holomorphic vector bundle of rank r over X, then
[math]\displaystyle{ H^{p,q}(X, E) = 0 }[/math] for [math]\displaystyle{ p + q \geq n + r + k }[/math] .

(Demailly 1988) gave a counterexample, which is as follows:[1][10]

Conjecture of (Sommese 1978): Let X be a n-dimensional compact complex manifold and E a holomorphic vector bundle of rank r over X. If E is an ample, then
[math]\displaystyle{ H^{p,q}(X, \Lambda^a E ) = 0 }[/math] for [math]\displaystyle{ p + q \geq n + r - a + 1 }[/math] is false for [math]\displaystyle{ n=2r \geq 6 . }[/math]

See also

  • vanishing theorem
  • Barth–Lefschetz theorem

Note

  1. ↑ 1.0 1.1 (Lazarsfeld 2004)
  2. ↑ 2.0 2.1 (Shiffman Sommese)
  3. ↑ (Demailly 1988)
  4. ↑ (Peternell 1994)
  5. ↑ (Laytimi Nahm)
  6. ↑ (Verdier 1974)
  7. ↑ (Schneider 1974)
  8. ↑ (Broer 1997)
  9. ↑ (Demailly 1996)
  10. ↑ (Manivel 1997)

References

Further reading

  • Schneider, Michael; Zintl, Jörg (1993). "The theorem of Barth-Lefschetz as a consequence of le Potier's vanishing theorem". Manuscripta Mathematica 80: 259–263. doi:10.1007/BF03026551. 
  • Huang, Chunle; Liu, Kefeng; Wan, Xueyuan; Yang, Xiaokui (2022). "Vanishing Theorems for Sheaves of Logarithmic Differential Forms on Compact Kähler Manifolds". International Mathematics Research Notices. doi:10.1093/imrn/rnac204. 
  • Bădescu, Lucian; Repetto, Flavia (2009). "A Barth–Lefschetz Theorem for Submanifolds of a Product of Projective Spaces". International Journal of Mathematics 20: 77–96. doi:10.1142/S0129167X09005182. 

External links



Retrieved from "https://handwiki.org/wiki/index.php?title=Le_Potier%27s_vanishing_theorem&oldid=3433218"