N. Lauritzen,A. P. Rao
Abstract:We give elementary counterexamples to Kodaira vanishing in prime characteristic constructed as the projectivization of Frobenius pull-backs of natural bundles on the incidence variety of points and planes in projective n-space (n>2).
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about counter - examples to Kodaira's vanishing theorem in prime characteristic. Specifically, Kodaira's vanishing theorem states that, on an algebraically closed field of characteristic zero, for a smooth projective variety \(X\) and an ample line bundle \(L\) on it, we have:
\[H^i(X,L^{-1}) = 0\quad\text{for all}\quad i\neq\dim(X)\]
However, this result does not always hold in positive characteristic \(p>0\). Raynaud constructed a smooth projective surface in positive characteristic, in which there exists an ample line bundle such that Kodaira's vanishing theorem does not hold. In addition, Raynaud raised two questions:
1. Do there exist very ample line bundles as counter - examples?
2. Do there exist a smooth projective variety \(X\) and an ample line bundle \(L\) such that the Euler - characteristic function \(\chi_i(L\otimes\omega_X)\) is not always non - negative?
The goal of this paper is to simplify and generalize the existing counter - examples by elementary algebraic - geometric methods and answer Raynaud's first question. The author constructs a specific example, showing how to use elementary methods to construct a very ample line bundle that violates Kodaira's vanishing theorem.
Specifically, the author considers the incidence correspondence \(Y\) on the vector space \(V\) and constructs a natural bundle \(G\) of rank 2. Then, through the projectivization \(X = P(F^*G)\) of the Frobenius pull - back \(F^*G\), a smooth variety \(X\) embedded in \(P(V)\times P(\wedge^2V^{\vee})\times P(V^{\vee})\) is obtained. On this variety, the line bundle \(L = O(1,3,1)\) is very ample and violates Kodaira's vanishing theorem, that is, \(H^5(X,L^{-1})\neq0\).
Therefore, this paper successfully provides a simple and easy - to - understand counter - example, proving that Kodaira's vanishing theorem can fail in positive characteristic and answering Raynaud's first question.