Frobenius direct images of line bundles on toric varieties (Q1977547)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Frobenius direct images of line bundles on toric varieties |
scientific article |
Statements
Frobenius direct images of line bundles on toric varieties (English)
0 references
17 May 2000
0 references
Let \(X\) be a scheme over an algebraically closed field of characteristic \(p>0\). Recall that the absolute Frobenius morphism \(F:X\to X\) is the morphism which is the identity on the underlying point set of \(X\) and the \(p\)-th power map at the sheaf level. The author proves that if \(X\) is a smooth toric variety and \(L\) is a line bundle on \(X\), then the direct image \(F_*L\) of \(L\) via \(F_*\) splits into a direct sum of line bundles. This generalizes on old result of Hartshorne for \(X=\mathbb{P}^n\). Thomsen's proof is constructive and gives an algorithm to compute the decomposition explicitly. \textit{R. Bøgvad} [Proc. Am. Math. Soc. 126, No. 12, 3447-3454 (1998; Zbl 0902.14038)] has further generalized this result of Thomsen by showing that for a \(T\)-linearized vector bundle \(M\) in the toric variety \(X\) (under \(T)\), \(F_*M\) splits into a sum of vector bundles of the same rank as \(M\).
0 references
direct images of line bundles
0 references
characteristic \(p\)
0 references
Frobenius morphism
0 references
toric variety
0 references