Misplaced Pages

Nadel vanishing theorem

Article snapshot taken from Wikipedia with creative commons attribution-sharealike license. Give it a read and then ask your questions in the chat. We can research this topic together.
Vanishing theorem for multiplier ideals

In mathematics, the Nadel vanishing theorem is a global vanishing theorem for multiplier ideals, introduced by A. M. Nadel in 1989. It generalizes the Kodaira vanishing theorem using singular metrics with (strictly) positive curvature, and also it can be seen as an analytical analogue of the Kawamata–Viehweg vanishing theorem.

Statement

The theorem can be stated as follows. Let X be a smooth complex projective variety, D an effective Q {\displaystyle \mathbb {Q} } -divisor and L a line bundle on X, and J ( D ) {\displaystyle {\mathcal {J}}(D)} is a multiplier ideal sheaves. Assume that L − D {\displaystyle L-D} is big and nef. Then

H i ( X , O X ( K X + L ) ⊗ J ( D ) ) = 0 for i > 0. {\displaystyle H^{i}\left(X,{\mathcal {O}}_{X}(K_{X}+L)\otimes {\mathcal {J}}(D)\right)=0\;\;{\text{for}}\;\;i>0.}

Nadel vanishing theorem in the analytic setting: Let ( X , ω ) {\displaystyle (X,\omega )} be a Kähler manifold (X be a reduced complex space (complex analytic variety) with a Kähler metric) such that weakly pseudoconvex, and let F be a holomorphic line bundle over X equipped with a singular hermitian metric of weight φ {\displaystyle \varphi } . Assume that − 1 ⋅ θ ( F ) > ε ⋅ ω {\displaystyle {\sqrt {-1}}\cdot \theta (F)>\varepsilon \cdot \omega } for some continuous positive function ε {\displaystyle \varepsilon } on X. Then

H i ( X , O X ( K X + F ) ⊗ J ( φ ) ) = 0 for i > 0. {\displaystyle H^{i}\left(X,{\mathcal {O}}_{X}(K_{X}+F)\otimes {\mathcal {J}}(\varphi )\right)=0\;\;{\text{for}}\;\;i>0.}

Let arbitrary plurisubharmonic function ϕ {\displaystyle \phi } on Ω ⊂ X {\displaystyle \Omega \subset X} , then a multiplier ideal sheaf J ( ϕ ) {\displaystyle {\mathcal {J}}(\phi )} is a coherent on Ω {\displaystyle \Omega } , and therefore its zero variety is an analytic set.

References

Citations

  1. (Nadel 1990)
  2. (Lazarsfeld 2004, Theorem 9.4.8.)
  3. (Demailly, Ein & Lazarsfeld 2000)
  4. (Fujino 2011, Theorem 3.2)
  5. (Lazarsfeld 2004, Theorem 9.4.21.)
  6. (Demailly 1998–1999)

Bibliography

Further reading

Categories: