代数幾何学セミナー
過去の記録 ~05/01|次回の予定|今後の予定 05/02~
開催情報 | 金曜日 13:30~15:00 数理科学研究科棟(駒場) 118号室 |
---|---|
担当者 | 權業 善範、河上 龍郎 、榎園 誠 |
2015年04月13日(月)
15:30-17:00 数理科学研究科棟(駒場) 122号室
Frédéric Campana 氏 (Université de Lorraine)
An orbifold version of Miyaoka's semi-positivity theorem and applications (English)
Frédéric Campana 氏 (Université de Lorraine)
An orbifold version of Miyaoka's semi-positivity theorem and applications (English)
[ 講演概要 ]
This `orbifold' version of Miyaoka's theorem says that if (X,D)
is a projective log-canonical pair with K_X+D pseudo-effective,
then its 'cotangent' sheaf $¥Omega^1(X,D)$ is generically semi-positive.
The definitions will be given. The original proof of Miyaoka, which
mixes
char 0 and char p>0 arguments could not be adapted. Our proof is in char
0 only.
A first consequence is when (X,D) is log-smooth with reduced boudary D,
in which case the cotangent sheaf is the classical Log-cotangent sheaf:
if some tensor power of $¥omega^1_X(log(D))$ contains a 'big' line
bundle, then K_X+D is 'big' too. This implies, together with work of
Viehweg-Zuo,
the `hyperbolicity conjecture' of Shafarevich-Viehweg.
The preceding is joint work with Mihai Paun.
A second application (joint work with E. Amerik) shows that if D is a
non-uniruled smooth divisor in aprojective hyperkaehler manifold with
symplectic form s,
then its characteristic foliation is algebraic only if X is a K3 surface.
This was shown previously bt Hwang-Viehweg assuming D to be of general
type. This result has some further consequences.
This `orbifold' version of Miyaoka's theorem says that if (X,D)
is a projective log-canonical pair with K_X+D pseudo-effective,
then its 'cotangent' sheaf $¥Omega^1(X,D)$ is generically semi-positive.
The definitions will be given. The original proof of Miyaoka, which
mixes
char 0 and char p>0 arguments could not be adapted. Our proof is in char
0 only.
A first consequence is when (X,D) is log-smooth with reduced boudary D,
in which case the cotangent sheaf is the classical Log-cotangent sheaf:
if some tensor power of $¥omega^1_X(log(D))$ contains a 'big' line
bundle, then K_X+D is 'big' too. This implies, together with work of
Viehweg-Zuo,
the `hyperbolicity conjecture' of Shafarevich-Viehweg.
The preceding is joint work with Mihai Paun.
A second application (joint work with E. Amerik) shows that if D is a
non-uniruled smooth divisor in aprojective hyperkaehler manifold with
symplectic form s,
then its characteristic foliation is algebraic only if X is a K3 surface.
This was shown previously bt Hwang-Viehweg assuming D to be of general
type. This result has some further consequences.