Effectivity of Iitaka fibrations and pluricanonical systems of polarized pairs (Q301608): Difference between revisions
From MaRDI portal
m rollbackEdits.php mass rollback Tag: Rollback |
Set OpenAlex properties. |
||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1643524511 / rank | |||
Normal rank |
Revision as of 18:30, 19 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Effectivity of Iitaka fibrations and pluricanonical systems of polarized pairs |
scientific article |
Statements
Effectivity of Iitaka fibrations and pluricanonical systems of polarized pairs (English)
0 references
1 July 2016
0 references
Let \(W\) be a smooth projective variety, then the Kodaira dimension \(\kappa (W)\) of \(W\) is the maximum dimension of the image of \(W\) via the linear series \(|mK_W|\) for all \(m>0\) (if \(|mK_W|=\emptyset\) for all \(m>0\), then we say that \(\kappa (W)<0\)). The Iitaka fibration of \(W\) is a rational contraction map \(f:W\dasharrow X\) where \(\dim X=\kappa (W)\) and \(\kappa (F)=0\) for the general fiber \(F\) of \(f\). This map is uniquely determined up to birational isomorphism by \(|mK_W|\) for any \(m>0\) sufficiently divisible. It is conjectured that for any integer \(d>0\) there exists an integer \(m_d>0\) depending only on \(d\) such that \(|mK_W|\) defines the Iitaka fibration for any smooth projective variety of dimension \(d\) and any integer \(m\) divisible by \(m_d\). In this paper, the authors prove the above conjecture assuming that certain invariants of the general fiber \(F\) of the Iitaka fibration are also bounded. More precisely, they show that for any integers \(d,b,\beta >0\) there exists an integer \(\bar m=m(d,b,\beta)>0\) such that if \(W\) is a smooth complex projective variety of dimension \(d\), \(F\) is the general fiber of the Iitaka fibration, \(b\) is the smallest positive integer such that \(|bK_F|\neq \emptyset\), \(\tilde F \) is a desingularization of the \(b\) to 1 cyclic cover determined by the unique divisor in \(|bK_F|\) and \(\beta =\dim H^{\dim F}(\tilde F,\mathbb C)\), then the Iitaka fibration of \(X\) is induced by \(|mK_W|\) for every integer \(m>0\) divisible by \(\bar m\).
0 references
Iitaka fibration
0 references
pluricanonical maps
0 references