REVIEW
Embedding Riemann Surfaces Properly into $\CC^2$
Complex Variables · Submitted 20 Feb 2006 · 11 references
Pith's reading: Any subset of a torus with two boundary components admits a proper holomorphic embedding into C^2, together with new sufficient conditions for bordered submanifolds of C^2.
The paper
The paper claims
Any subset of a torus with two boundary components admits a proper holomorphic embedding into C^2, together with new sufficient conditions for bordered submanifolds of C^2.
The reading
Earlier work handled planar surfaces and hyperelliptic surfaces, where a double-cover structure makes the construction tractable. The author's strategy is to build a Fatou-Bieberbach domain, a biholomorphic copy of C^2 sitting properly inside C^2, that contains the surface M and avoids its boundary. If such a domain exists, its inverse biholomorphism embeds M properly. Two technical conditions are used: automorphisms can push the boundary far away while barely moving compact sets, and the surface can be exhausted by compact pieces whose polynomial hulls stay away from the boundary.
For tori, the Weierstrass p-function, a standard two-to-one map from a torus to the Riemann sphere, is used to embed a torus with two points or discs removed into C^2. A sequence of rotations and perturbations then arranges that the projection condition in the main theorem holds on each boundary component. The paper also proves that any bounded surface with one smooth Jordan boundary can be embedded, and that Runge surfaces can be exhausted by embeddable ones.
Extended reading notes
Core claim
Theorem 2: 'Any subset of a torus with two boundary components can be properly holomorphically embedded into C2.' If the paper is correct, this is the headline assertion: the two-boundary torus case, which is generally not hyperelliptic, becomes known to embed properly, going beyond the hyperelliptic cases treated by Cerne and Forstneric. The paper also establishes Theorem 1, a general projection criterion for bordered submanifolds of C^2, and uses it as the engine for the torus theorem.
Load-bearing premise
The proof of Theorem 2 depends on a local maximum-uniqueness assertion in Section 5: for the embedded torus subset, the first projection can be made to attain its maximum at a unique boundary point with a singleton fiber on each boundary component. The delicate case, a disc and a point, is handled by the estimate marked (∗) and the analysis of gamma_delta(r) intersect Delta_r, which require choosing p_delta = z0 + i delta so that |f_p| has a unique maximum point on the boundary. If that local estimate fails, the reduction to Theorem 1 collapses. The whole method also assumes the Fatou-Bieberbach basin theorem imported from the author's previous paper [10].
Original abstract
For certain bordered submanifolds $M\subset\CC^2$ we show that $M$ can be embedded properly and holomorphically into $\CC^2$. An application is that any subset of a torus with two boundary components can be embedded properly into $\CC^2$.
The compiled record
The paper's own sentences, arranged, kept beside the review and separate from it. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. Numbers in the tables are the authors', checked by code. No sentence in this record was written by a model.
The abstract, sentence by sentence
For certain bordered submanifolds $M\subset\CC^2$ we show that $M$ can be embedded properly and holomorphically into $\CC^2$. An application is that any subset of a torus with two boundary components can be embedded properly into $\CC^2$.
background contribution method result interpretation main claim
| # | sentence | role | the authors' own work | states the main conclusion | strength |
|---|---|---|---|---|---|
| s0 | For certain bordered submanifolds $M\subset\CC^2$ we show that $M$ can be embedded properly and holomorphically into $\CC^2$. | result 0.87 | 0.93 | 0.88 | asserted 1.00 |
| s1 | An application is that any subset of a torus with two boundary components can be embedded properly into $\CC^2$. | result 0.53 | 0.81 | 0.14 | asserted 1.00 |
What was examined, and what was not
- arXiv listing abstract v1
- full text
- figures and tables
- references and citing sentences
- relations to other papers
- P abstract
- S sections
- T body sentences
- C citations
- R cross-paper relations
Human review
References
Discussion
Disagree with the review, or know something it missed? Leave a comment, highlight any passage above to comment on it, or challenge this review formally.