A numerical characterization of polarized manifolds \((X,\mathcal{L})\) with \(K_{X}=-(n-i)\mathcal{L}\) by the \(i\)th sectional geometric genus and the \(i\)th \(\Delta\)-genus (Q409061)

From MaRDI portal





scientific article; zbMATH DE number 6023347
Language Label Description Also known as
default for all languages
No label defined
    English
    A numerical characterization of polarized manifolds \((X,\mathcal{L})\) with \(K_{X}=-(n-i)\mathcal{L}\) by the \(i\)th sectional geometric genus and the \(i\)th \(\Delta\)-genus
    scientific article; zbMATH DE number 6023347

      Statements

      A numerical characterization of polarized manifolds \((X,\mathcal{L})\) with \(K_{X}=-(n-i)\mathcal{L}\) by the \(i\)th sectional geometric genus and the \(i\)th \(\Delta\)-genus (English)
      0 references
      0 references
      12 April 2012
      0 references
      0 references
      polarized manifold
      0 references
      Fano manifold
      0 references
      sectional genus
      0 references
      \(\Delta\)-genus
      0 references
      sectional geometric genus
      0 references
      \(i\)-th \(\Delta\)-genus
      0 references
      Let \(X\) be a connected projective complex manifold and \(L\) an ample line bundle on \(X\). Several numerical invariants of the polarized manifold \((X,L)\) are classically defined (the genus \(g(X,L) =g_1(X,L)\), the \(\Delta\)-genus the \(i\)-th genus \(g_i(X,L)\) and the \(i\)-th \(\Delta\)-genus \(\Delta _i(X,L)\) [\textit{Y. Fukuma} Commun. Algebra 32, No. 3, 1069--1100 (2004; Zbl 1068.14008); J. Math. Soc. Japan 57, No. 4, 1003--1044 (2005; Zbl 1093.14012)]). Here the author proves the followingNEWLINENEWLINETheorem. Let \((X,L)\) be a polarized manifold of dimension \(n\geq 3\). Assume one of the following conditions: {\parindent=6mm \begin{itemize}\item[(a)] \(i=2\); \item[(b)] \(i=3\) and \(n\geq 5\); \item[(c)] \(\max \{2,\dim (\mathrm{Base} | L| )+2\} \leq i \leq n-1\). NEWLINENEWLINE\end{itemize}} Then the following conditions are equivalent: {\parindent=6mm \begin{itemize}\item[1)] \(K_X \cong (i-n)L\); \item[2)] \(\Delta _i(X,L)=1\) and \(2g_1(X,L) -2 = (i-1)L^n\); \item[3)] \(\Delta _i(X,L) >0\) and \(2g_1(X,L) -2 = (i-1)L^n\); \item[4)] \(g_i(X,L) = 1\) and \(2g_1(X,L) -2 = (i-1)L^n\); \item[5)] \(g_i(X,L) >0\) and \(2g_1(X,L) -2 = (i-1)L^n\). NEWLINENEWLINE\end{itemize}} He also conjectures that 1), 2), 3), 4) and 5) are equivalent for all \(3 \leq i \leq n-1\).
      0 references

      Identifiers

      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references