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

Pushforwad Pushforward of a log canonical pair

Source Link
Li Yutong
  • 3.5k
  • 16
  • 34

Pushforwad 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.