A Kawamata-Viehweg type formulation of the (logarithmic) Akizuki- Nakano Vanishing Theorem

開催日時
2018/05/18 金 10:30 - 12:00
場所
3号館152号室
講演者
Kenji Matsuki
講演者所属
Purdue University
概要

The celebrated Kodaira Vanishing Theorem asserts that
$$H^i(X, \mathcal{O}(K_X +A))=0$$
for $i>0$, where $X$ is a nonsingular projective variety over $\mathbb{C}$ and $A$ is an ample divisor on $X$.
According to the Iitaka philosophy, one obtains its logarithmic version by adding a boundary divisor
$$H^i(X, \mathcal{O}(K_X+D+A))=0$$
for $i>0$, where $D=\sum D_i$ is an SNC divisor on $X$. Now the Kawamata-Viehweg Vanishing Theorem allows the boundary divisor to have a fractional part
$$H^i(X,\mathcal{O}(K_X +B+F+A))=H^i(X,\mathcal{O}(K_X +B+\lceil A \rceil )=0$$
for $i>0$, where $D=B\cup F$ is an SNC divisor on $X$, $F=\sum f_j F_j \ (0 < f_j < 1)$ is the fractional part of the boundary divisor while $B=\sum B_k$ is the integral part, and where $A$ is an ample $\mathbb{Q}$-divisor such that $F+A=\lceil A \rceil$ becomes an integral divisor.
It is a natural question to ask what happens, instead of the Kodaira Van- ishing Theorem, if one starts with the Akizuki-Nakano Vanishing Theorem
$$H^i(X,\Omega^j(A)) = 0$$
for $i + j > \dim X$,
where $X$ is a nonsingular projective variety over $\mathbb{C}$ and $A$ is an ample divisor on $X$. Again according to the Iitaka philosophy, one obtains its logarithmic version by replacing the usual differential forms with the lopgarithmic differentail forms
$$H^i(X,\Omega^j(\log(D))(A)) = 0$$
for $i + j > \dim X$, where $D=\sum D_i$ is an SNC divisor on $X$. This is nothing but the Esnault-Viehweg Vanishing Theorem.
Then what is the alleged Kawamata-Viehweg type formulation of the (logarithmic) Akizuki-Nakano Vanishing Theorem?
The answer is the theme of this talk, and it was somewhat different from the author naively expected at the beginning.
This is a joint work with D. Arapura, D. Patel and J. Wlodarczyk.