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

Uniqueness in Weierstrass preparation

Statement

Suppose f∈Om,0 is regular in zm of order d and

f=uW=vP

with u,v units and W,P Weierstrass polynomials of degree d. Then W=P and u=v.

Facts & Assumptions

Given: A regular germ f of order d with two preparations f=uW=vP.

[L1]

Units are exactly the germs with nonzero value at 0 (A germ is a unit exactly when its value at 0 is nonzero, so Om,0 is local).

[L2]

A degree-d Weierstrass polynomial is monic in zm and has central slice zmd (Weierstrass polynomials in the last variable).

[L3]

A holomorphic function on a domain that vanishes on a nonempty open subset vanishes identically (A holomorphic function vanishing on a nonempty open subset of a domain vanishes identically).

Proof

technique · direct
1.1givenL1

By [L1], after shrinking to a common neighbourhood the unit factors u and v are nowhere zero. Therefore for each fixed nearby parameter z′, the slice zeros of f(z′,⋅) coincide, with multiplicity, with the slice zeros of W(z′,⋅) and also with those of P(z′,⋅).

2.1step 1.1L2algebra

Fix such a parameter z′. By [L2], both W(z′,⋅) and P(z′,⋅) are monic degree-d one-variable polynomials with the same multiset of roots, counted with multiplicity. Over C, a monic polynomial is the product of its linear factors, so these two polynomials are equal. Since this holds for every nearby z′, the germs satisfy W=P.

3.1step 2.1L3algebra∎

With W=P, the two preparations give (u−v)W=0. On the nonempty open set where W≠0 one therefore has u=v. Applying [L3] to the holomorphic function u−v on the connected neighbourhood shows u=v everywhere there, and hence as germs.

Depends on

Used by

Dependency tree · two levels

22 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