Alphabeta Math
TheoremStatement: Literature-sourcedProof: AI-generatedprecheck passaudited 2026-08-31
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.

The Riemann surface of an nth root is the n-sheeted covering w maps to w to the nth power

Statement

Fix an integer n1. Let Rn be the Riemann surface of the complete analytic function generated by the principal nth-root germ at 1 over C×. Define

Λn:RnC×,Λn([ρ]z):=ρ(z).

Then Λn is a biholomorphism, and if pn:RnC× is the germ projection, then

pn([ρ]z)=Λn([ρ]z)n.

Thus Rn is the standard n-sheeted covering wwn of C×.

Facts & Assumptions

Given: The nth-root germ surface Rn and its projection pn.

[L1]

The principal root branch on the slit plane is a biholomorphism onto the sector Vn, with inverse wwn (A slit-plane root branch biholomorphically parametrizes a sector).

[L2]

The logarithm surface is biholomorphic to C over C× via the exponential map (The Riemann surface of the logarithm is the complex plane over the punctured plane via exp).

[L3]

The germ projection on a complete analytic function is a local biholomorphism (The germ projection is a local biholomorphism).

Proof

technique · direct
1.1

For each wC×, let Vw:=wnB(1,1/2) and define ρw(u):=wexp ⁣(Log(u/wn)/n) for uVw. Because B(1,1/2)C(,0], the principal logarithm is defined there, and ρw(u)n=wnexp(Log(u/wn))=u while ρw(wn)=w. So Ψ(w):=[ρw]wn is an nth-root germ over wn.

L1algebra
1.2

The germ Ψ(w) lies on Rn. By [L2], choose λC with eλ=w. Along the path γ(t)=entλ from 1 to wn, refine [0,1] so that successive values of etλ are close enough for the neighboring branches ρetjλ to agree on overlaps, exactly as in the logarithm-surface construction. This continues the principal root germ at 1 to Ψ(w).

L2choose
2.1

If Ψ(w)=Ψ(v), then the two germs have the same base point and the same value there, so w=v. Hence Ψ is injective.

step 1.1algebra
2.2

Let ξ=[ρ]zRn and put w:=ρ(z)C×. Shrink the representative domain to a connected disc UVw. On U the quotient h:=ρ/ρw is holomorphic and satisfies h(u)n=1 for every uU. So h(U) lies in the finite set of nth roots of unity. Since U is connected and h(z)=1, the function h is constantly 1. Thus ξ=Ψ(w), and Ψ is surjective.

step 1.1algebra
3.1

The inverse of Ψ is Λn. In a chart N(ρ,U) one has Λnϕρ,U1(u)=ρ(u), so [L3] makes Λn holomorphic. Near any fixed w0C×, the chart N(ρw0,Vw0) satisfies ϕρw0,Vw0(Ψ(w))=wn, which is holomorphic in w, so Ψ is holomorphic. Therefore Λn is a biholomorphism.

L3step 2.1step 2.2
4.1

For every [ρ]zRn one has pn([ρ]z)=z=ρ(z)n=Λn([ρ]z)n, so under Λn the projection is the power map wwn. Its fibre over a nonzero point consists of the n distinct roots wζnk for 0k<n, so this is exactly the standard n-sheeted covering of C×.

step 3.1algebra

Depends on

Used by

Dependency tree · two levels

14 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