Skip to main content
2 of 2
Spelling in title
Neil Strickland
  • 56.9k
  • 7
  • 142
  • 262

Pushforward of a log canonical pair

This question comes from learning the paper "Existence of minimal models for varieties of log general type", where they define the log terminal model (See Definition 3.6.7). However, the question itself does not need that definition.

Let $\pi: X \to U$ be a projective morphism of normal quasi-projective varieties. Suppose that $K_X + \Delta$ is log canonical and let $\phi: X -\to Y$ be a birational contraction of normal quasi-projective varieties over $U$, where $Y$ is projective over $U$ (here, $\phi$ is a "birational contraction" means $\phi^{-1}$ does not contract any divisor, for example, when $\phi$ is a morphism). Set $\Gamma=\phi_* \Delta$. Then is it true $$\phi_*(K_X + \Delta)=K_Y +\Gamma\quad?$$

I am equally satisfied with an answer in the simplified case as $U$ is a point, or $\phi$ is a morphism.

Li Yutong
  • 3.5k
  • 16
  • 34