How statement and proof provenance work
The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.
- Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
- AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
- AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.
These labels describe origin, not correctness: citations and verification chips remain separate evidence.
A nonsingular affine conic is a punctured-plane Riemann surface
Example
The affine algebraic curve is nonsingular at every point, and the map is a biholomorphism onto the punctured plane with inverse Thus is a Riemann surface biholomorphic to , and the inverse components are and .
Facts & Assumptions
Given: The affine curve and the punctured plane .
An affine algebraic set is , and the Jacobian matrix of a generating list is ; for a curve in nonsingularity in the Jacobian-rank sense means the single gradient does not vanish (An affine algebraic set in affine space, Equation rows and coordinate columns in an affine Jacobian).
is a nonempty connected open subset of , hence a Riemann surface with its identity atlas (Annuli in the complex plane, Atlases on the sphere, plane, disc and annulus).
A Riemann surface is a nonempty connected Hausdorff second-countable space with a holomorphic atlas; holomorphic maps between Riemann surfaces are those whose chart expressions are holomorphic, and a biholomorphism is a holomorphic bijection with holomorphic inverse (Riemann surfaces and holomorphic atlases, Holomorphic maps and meromorphic functions on Riemann surfaces, Biholomorphic maps between complex domains).
is a topological -manifold, hence Hausdorff and second countable, and both properties pass to subspaces (Euclidean spaces and Euclidean open subsets as smooth manifolds, Topological manifolds without boundary: Hausdorff, second-countable, and locally Euclidean spaces, , , and Hausdorffness are hereditary, Second countability is hereditary).
Continuous images of connected spaces are connected; homeomorphisms preserve connectedness (A continuous image of a connected space is connected, and connectedness is a topological property).
Sums, products and quotients of complex differentiable functions are complex differentiable, with the usual derivative formulas, on the open set where the denominator does not vanish; complex differentiability implies continuity (Linearity, product, reciprocal, and quotient rules for complex derivatives, Complex differentiability at a point implies continuity there).
Verification
(The conic is nonsingular.) The curve is cut out by the single polynomial with gradient ; if vanished at a point of then and , so is nowhere zero on and the Jacobian-rank condition of [F1] holds at every point.
(The two factors are reciprocal.) For one has , so satisfies and ; adding and subtracting the two equations gives and .
( is a bijection onto the punctured plane.) If then and, by step 1.2, also , so and is injective; conversely, for the point satisfies because its coordinates give and , whose product is , and , so is surjective with the displayed inverse.
( and its inverse are continuous.) The map is the restriction of the polynomial map , which is complex differentiable and hence continuous by [F6]; the inverse has components that are rational functions of and , complex differentiable on by [F6] and so continuous; hence is a continuous bijection with continuous inverse, that is, a homeomorphism.
(Transport of the complex structure.) Give the one-chart atlas , the chart being the homeomorphism of step 3.1 onto the plane domain ; its only transition with itself is the identity, which is holomorphic, and is nonempty, connected as a continuous image of the connected under by [F5], Hausdorff and second countable by [F4], so is a Riemann surface by [F3]; with these charts the chart expression of is the identity and the chart expression of its inverse is also the identity, so is a biholomorphism by [F3].
(Conclusion.) The curve is nonsingular at every point by step 1.1, and step 4.1 exhibits it as a Riemann surface biholomorphic to through , with inverse , , exactly as claimed.
Remarks
The biholomorphism is global, so this conic is one of the few curves whose Riemann-surface structure is visible without the implicit function theorem; nevertheless the pair is the standard illustration of the local-graph construction of Nonsingular affine and projective curves as Riemann surfaces, where the same curve is treated as a nonsingular affine instance. The map is not the restriction of a globally defined injective ambient coordinate, which is why the conic is not a graph over either axis. The curve contains no point with , so its image is the punctured plane and not the whole plane; consequently is noncompact, in contrast with the compact curves of the projective examples.
Depends on
- Riemann surfaces and holomorphic atlases
- Holomorphic maps and meromorphic functions on Riemann surfaces
- An affine algebraic set in affine space
- Equation rows and coordinate columns in an affine Jacobian
- Annuli in the complex plane
- Atlases on the sphere, plane, disc and annulus
- Euclidean spaces and Euclidean open subsets as smooth manifolds
- Topological manifolds without boundary: Hausdorff, second-countable, and locally Euclidean spaces
- $T_0$, $T_1$, and Hausdorffness are hereditary
- Second countability is hereditary
- A continuous image of a connected space is connected, and connectedness is a topological property
- Linearity, product, reciprocal, and quotient rules for complex derivatives
- Complex differentiability at a point implies continuity there
- Biholomorphic maps between complex domains
Used by
Nothing in the library uses this result yet.
Dependency tree · two levels
41 results within two dependency steps of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.
Sources
- Eduard Looijenga, Riemann Surfaces (2007) (standard reference, not scraped)
- Curtis T. McMullen, Riemann Surfaces, Math 213b course notes (2026) (standard reference, not scraped)