Skip to main content
Commonmark migration
Source Link

Let $\mathcal{X}$ be a canonical stack (edit: I forgot to say I also want $\mathcal{X}$ smooth), and $\pi : \mathcal{X}\to X$ its coarse moduli space morphism. Let also $D$ be a prime divisor (i.e. just one reduced component) on $X$, and $\mathcal{D}=\pi^{-1}(D)$ the pulled back divisor on $\mathcal{X}$, which will also be prime.

Is the isomorphism of $\mathcal{O}_X$-modules

 

$$\pi_* \mathcal{O}(\mathcal{D})\cong \mathcal{O}(D)$$

 

always true?

Let $\mathcal{X}$ be a canonical stack (edit: I forgot to say I also want $\mathcal{X}$ smooth), and $\pi : \mathcal{X}\to X$ its coarse moduli space morphism. Let also $D$ be a prime divisor (i.e. just one reduced component) on $X$, and $\mathcal{D}=\pi^{-1}(D)$ the pulled back divisor on $\mathcal{X}$, which will also be prime.

Is the isomorphism of $\mathcal{O}_X$-modules

 

$$\pi_* \mathcal{O}(\mathcal{D})\cong \mathcal{O}(D)$$

 

always true?

Let $\mathcal{X}$ be a canonical stack (edit: I forgot to say I also want $\mathcal{X}$ smooth), and $\pi : \mathcal{X}\to X$ its coarse moduli space morphism. Let also $D$ be a prime divisor (i.e. just one reduced component) on $X$, and $\mathcal{D}=\pi^{-1}(D)$ the pulled back divisor on $\mathcal{X}$, which will also be prime.

Is the isomorphism of $\mathcal{O}_X$-modules

$$\pi_* \mathcal{O}(\mathcal{D})\cong \mathcal{O}(D)$$

always true?

added 61 characters in body
Source Link
Qfwfq
  • 23.3k
  • 14
  • 122
  • 225

Let $\mathcal{X}$ be a canonical stack (edit: I forgot to say I also want $\mathcal{X}$ smooth), and $\pi : \mathcal{X}\to X$ its coarse moduli space morphism. Let also $D$ be a prime divisor (i.e. just one reduced component) on $X$, and $\mathcal{D}=\pi^{-1}(D)$ the pulled back divisor on $\mathcal{X}$, which will also be prime.

Is the isomorphism of $\mathcal{O}_X$-modules

$$\pi_* \mathcal{O}(\mathcal{D})\cong \mathcal{O}(D)$$

always true?

Let $\mathcal{X}$ be a canonical stack, and $\pi : \mathcal{X}\to X$ its coarse moduli space morphism. Let also $D$ be a prime divisor (i.e. just one reduced component) on $X$, and $\mathcal{D}=\pi^{-1}(D)$ the pulled back divisor on $\mathcal{X}$, which will also be prime.

Is the isomorphism of $\mathcal{O}_X$-modules

$$\pi_* \mathcal{O}(\mathcal{D})\cong \mathcal{O}(D)$$

always true?

Let $\mathcal{X}$ be a canonical stack (edit: I forgot to say I also want $\mathcal{X}$ smooth), and $\pi : \mathcal{X}\to X$ its coarse moduli space morphism. Let also $D$ be a prime divisor (i.e. just one reduced component) on $X$, and $\mathcal{D}=\pi^{-1}(D)$ the pulled back divisor on $\mathcal{X}$, which will also be prime.

Is the isomorphism of $\mathcal{O}_X$-modules

$$\pi_* \mathcal{O}(\mathcal{D})\cong \mathcal{O}(D)$$

always true?

Source Link
Qfwfq
  • 23.3k
  • 14
  • 122
  • 225

Question about canonical DM stacks

Let $\mathcal{X}$ be a canonical stack, and $\pi : \mathcal{X}\to X$ its coarse moduli space morphism. Let also $D$ be a prime divisor (i.e. just one reduced component) on $X$, and $\mathcal{D}=\pi^{-1}(D)$ the pulled back divisor on $\mathcal{X}$, which will also be prime.

Is the isomorphism of $\mathcal{O}_X$-modules

$$\pi_* \mathcal{O}(\mathcal{D})\cong \mathcal{O}(D)$$

always true?