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
, , 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