Skip to main content
Expand on the use of Cartan B
Source Link
Richard Lärkäng
  • 1.5k
  • 1
  • 13
  • 14

Yes, since the morphism of sheaves $\mathcal{O}_{\mathbb{C}^n} \to \mathcal{O}_{M \cup N}$ is surjective, it is surjective on global sections by Cartan's theorem B. Thus, any holomorphic function on $M \cup N$ has a holomorphic extension to $\mathbb{C}^n$, in particular, this holds for the function $f$ which is $\equiv 0$ on $M$ and $\equiv 1$ on $N$.

Edit: To expand on the use of Cartan's theorem B, note that we have a short exact sequence of coherent sheaves $0 \to \mathcal{J} \to \mathcal{O}_{\mathbb{C}^n} \to \mathcal{O}_{M \cup N} \to 0$, where $\mathcal{J}$ is the kernel of $\mathcal{O}_{\mathbb{C}^n} \to \mathcal{O}_{M \cup N}$ (i.e., the ideal defining $M \cup N$), and thus we get the exact sequence of sheaf cohomology $H^0(\mathbb{C}^n,\mathcal{O}_{\mathbb{C}^n}) \to H^0(\mathbb{C}^n,\mathcal{O}_{M \cup N}) \to H^1(\mathbb{C}^n,\mathcal{J})$, and $H^1(\mathbb{C}^n,\mathcal{J})=0$ by Cartan's theorem B, which means that there is a surjective morphism on global sections.

Yes, since the morphism of sheaves $\mathcal{O}_{\mathbb{C}^n} \to \mathcal{O}_{M \cup N}$ is surjective, it is surjective on global sections by Cartan's theorem B. Thus, any holomorphic function on $M \cup N$ has a holomorphic extension to $\mathbb{C}^n$, in particular, this holds for the function $f$ which is $\equiv 0$ on $M$ and $\equiv 1$ on $N$.

Yes, since the morphism of sheaves $\mathcal{O}_{\mathbb{C}^n} \to \mathcal{O}_{M \cup N}$ is surjective, it is surjective on global sections by Cartan's theorem B. Thus, any holomorphic function on $M \cup N$ has a holomorphic extension to $\mathbb{C}^n$, in particular, this holds for the function $f$ which is $\equiv 0$ on $M$ and $\equiv 1$ on $N$.

Edit: To expand on the use of Cartan's theorem B, note that we have a short exact sequence of coherent sheaves $0 \to \mathcal{J} \to \mathcal{O}_{\mathbb{C}^n} \to \mathcal{O}_{M \cup N} \to 0$, where $\mathcal{J}$ is the kernel of $\mathcal{O}_{\mathbb{C}^n} \to \mathcal{O}_{M \cup N}$ (i.e., the ideal defining $M \cup N$), and thus we get the exact sequence of sheaf cohomology $H^0(\mathbb{C}^n,\mathcal{O}_{\mathbb{C}^n}) \to H^0(\mathbb{C}^n,\mathcal{O}_{M \cup N}) \to H^1(\mathbb{C}^n,\mathcal{J})$, and $H^1(\mathbb{C}^n,\mathcal{J})=0$ by Cartan's theorem B, which means that there is a surjective morphism on global sections.

Source Link
Richard Lärkäng
  • 1.5k
  • 1
  • 13
  • 14

Yes, since the morphism of sheaves $\mathcal{O}_{\mathbb{C}^n} \to \mathcal{O}_{M \cup N}$ is surjective, it is surjective on global sections by Cartan's theorem B. Thus, any holomorphic function on $M \cup N$ has a holomorphic extension to $\mathbb{C}^n$, in particular, this holds for the function $f$ which is $\equiv 0$ on $M$ and $\equiv 1$ on $N$.