Alphabeta Math
ExampleConstruction: Literature-sourcedVerification: AI-adaptedPipeline-generatedprecheck passaudited 2026-09-30
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 C0={(x,y)∈C2:x2+y2=1} is nonsingular at every point, and the map u:C0→C×,u(x,y)=x+iy, is a biholomorphism onto the punctured plane with inverse u↦(u+u−12, u−u−12i). Thus C0 is a Riemann surface biholomorphic to C×, and the inverse components are x=(u+u−1)/2 and y=(u−u−1)/(2i).

Facts & Assumptions

Given: The affine curve C0={x2+y2=1}⊆C2 and the punctured plane C×=C∖{0}=A(0;0,∞).

[F1]

An affine algebraic set is V(S)={a∈Cn:f(a)=0 for all f∈S}, and the Jacobian matrix of a generating list is (∂fi/∂tj); for a curve in C2 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).

[F2]

C×=A(0;0,∞) is a nonempty connected open subset of C, hence a Riemann surface with its identity atlas (Annuli in the complex plane, Atlases on the sphere, plane, disc and annulus).

[F3]

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).

[F5]

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).

[F6]

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

technique · direct
1.1F1given

(The conic is nonsingular.) The curve is cut out by the single polynomial f(x,y)=x2+y2−1 with gradient ∇f=(2x,2y); if ∇f vanished at a point of C0 then x=y=0 and x2+y2=0≠1, so ∇f is nowhere zero on C0 and the Jacobian-rank condition of [F1] holds at every point.

1.2F6givenalgebra

(The two factors are reciprocal.) For (x,y)∈C0 one has (x+iy)(x−iy)=x2+y2=1, so u=x+iy satisfies u≠0 and x−iy=u−1; adding and subtracting the two equations gives x=(u+u−1)/2 and y=(u−u−1)/(2i).

2.1step 1.2algebra

(u is a bijection onto the punctured plane.) If u(x,y)=u(x′,y′) then x+iy=x′+iy′ and, by step 1.2, also x−iy=u−1=x′−iy′, so (x,y)=(x′,y′) and u is injective; conversely, for u∈C× the point v(u)=((u+u−1)/2,(u−u−1)/(2i)) satisfies v(u)∈C0 because its coordinates give x+iy=u and x−iy=u−1, whose product is 1, and u(v(u))=u, so u is surjective with the displayed inverse.

3.1F6step 2.1

(u and its inverse are continuous.) The map u is the restriction of the polynomial map (x,y)↦x+iy, which is complex differentiable and hence continuous by [F6]; the inverse v has components that are rational functions of u and u−1, complex differentiable on C× by [F6] and so continuous; hence u:C0→C× is a continuous bijection with continuous inverse, that is, a homeomorphism.

4.1F2F3F4F5step 3.1

(Transport of the complex structure.) Give C0 the one-chart atlas {u}, the chart u being the homeomorphism of step 3.1 onto the plane domain C×; its only transition with itself is the identity, which is holomorphic, and C0 is nonempty, connected as a continuous image of the connected C× under v by [F5], Hausdorff and second countable by [F4], so C0 is a Riemann surface by [F3]; with these charts the chart expression of u is the identity and the chart expression of its inverse v is also the identity, so u is a biholomorphism C0→C× by [F3].

5.1step 1.1step 4.1∎

(Conclusion.) The curve x2+y2=1 is nonsingular at every point by step 1.1, and step 4.1 exhibits it as a Riemann surface biholomorphic to C× through u=x+iy, with inverse x=(u+u−1)/2, y=(u−u−1)/(2i), 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 (C0,u) 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 u 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 u=0, so its image is the punctured plane and not the whole plane; consequently C0 is noncompact, in contrast with the compact curves of the projective examples.

Depends on

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