Timeline for Extension of a holomorphic function
Current License: CC BY-SA 3.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 13, 2016 at 23:06 | comment | added | nfdc23 | Yes, the theory of Stein spaces (and that argument) works in all dimensions. The book "Theory of Stein Spaces" by Grauert and Remmert is extremely well-written, say building on some basic experience with coherent analytic sheaves from their other book "Coherent Analytic Sheaves" (don't need a lot from there, say just up through Oka's theorem on coherence of the sheaf of holomorphic functions on $\mathbf{C}^n$). It is well worth the effort for understanding the modern way of dealing with classical construction problems in holomorphic function theory (such as topological obstructions, etc.). | |
| Nov 13, 2016 at 21:43 | comment | added | fanfare | @nfdc23 Thank you very much, this sounds very helpful although somewhat above my current pay grade - but now I at least where to look. I'd be happy to accept your comment as an answer. Do you think the same is true for the higher-dimensional case, i.e. for the submanifold given by z_1^2 + ... + z_n^2 = - 1 in H^n? | |
| Nov 13, 2016 at 21:21 | comment | added | nfdc23 | The domain $H^2$ is a Stein manifold (since it has a Stein exhaustion), and $S$ is a closed submanifold in $H^2$, so by general theorems about the vanishing of higher coherent analytic sheaf cohomology every analytic function on $S$ extends to one on $H^2$. More concretely, for the sheaf $O_S$ of analytic functions on $S$ and $O_{H^2}$ likewise for $H^2$ we have a short exact sequence of sheaves $0 \rightarrow O_{H^2} \rightarrow O_{H^2} \rightarrow O_S \rightarrow 0$ where the first map is multiplication by $z^2 + w^2 + 1$. Thus, the vanishing of ${\rm{H}}^1(H^2, O_{H^2})$ does the job. | |
| Nov 13, 2016 at 21:15 | history | asked | fanfare | CC BY-SA 3.0 |