Skip to main content
Sheng Meng's user avatar
Sheng Meng's user avatar
Sheng Meng's user avatar
Sheng Meng
  • Member for 6 years
  • Last seen more than 2 years ago
awarded
awarded
Loading…
Loading…
Loading…
awarded
comment
Restriction of a Cartier divisor
You may apply Chow's lemma and minimal resolution to reduce to the case when $X$ is a smooth projective surface, no need to get so involved with such things. On the other hand, your $f$ is not a zero divisor of $R/I$, for otherwise, $C$ is a component of $D$ (your assumption).
comment
Restriction of a Cartier divisor
But restriction $D|_C$ is just pullback of line bundle. So it is always Cartier?
comment
A birational morphism of a finite cover to itself
@abx Thanks for the precise example! Indeed, any projective variety of dimension $n$ has a finite surjective morphism to $\mathbb{P}^n$.
comment
A birational morphism of a finite cover to itself
@NickL The original question has many other assumptions, I just wonder what happens if removing all the assumptions. I would appreciate you copy this comment to an answer, I guess you mean $X:=$ blowup of $\mathbb{P}^2$, right? It has finite morphism to $\mathbb{P}^2$.
comment
A birational morphism of a finite cover to itself
@NickL If $\pi$ is isomorphic, then $\tau:X\to Y\cong X$ is a birational automorphism which has to be an automorphism.
comment
Restriction of a Cartier divisor
No need to consider the embedded points, I think. Or I made any mistake?
comment
Loading…
answered
Loading…
awarded
comment
Iitaka dimension of a $\mathbb{Q}$-Cartier Prime divisor
@Henri Thank you very much for the example! $D|_D\sim 0$ since $\Lambda^2 E$ is trivial.
comment
Iitaka dimension of a $\mathbb{Q}$-Cartier Prime divisor
If the question is too general, one may focus on the case when $X$ is a normal projective surface.
Loading…