Alphabeta Math
LemmaStatement: 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.

Nearby slices of a regular germ have the same zero count

Statement

Let fOm,0 be regular in zm of order d. Then there are a representative of f on a neighbourhood of 0, a radius r>0, and a neighbourhood VCm1 of 0 such that, for every zV, the one-variable slice ζf(z,ζ) has no zero on ζ=r and has exactly d zeros inside ζ<r, counted with multiplicity.

Facts & Assumptions

Given: A germ fOm,0 that is regular in zm of order d.

[L1]

Regularity of order d means that on the central slice one has f(0,ζ)=ζdh(ζ) with h holomorphic and h(0)0 (Regular holomorphic germs in the last variable).

[L3]

If two holomorphic one-variable functions satisfy fg<g on a closed contour, they have the same number of zeros inside, counted with multiplicity (Rouche's theorem in the classical strict-inequality form).

Proof

technique · direct
1.1

By [L1], choose a representative on a neighbourhood of 0 for which f(0,ζ)=ζdh(ζ) and h(0)0. By continuity from [L2], after shrinking there is r>0 such that h(ζ)0 on ζr. Hence the central slice has no zero on ζ=r and exactly the order-d zero at ζ=0 inside ζ<r.

givenL1L2choose
2.1

The compact set {0}×{ζ=r} is contained in the domain of the chosen representative, and step 1.1 gives f(0,ζ)>0 there. By continuity from [L2], after shrinking the z-neighbourhood to some V we have f(z,ζ)f(0,ζ)<f(0,ζ)(zV, ζ=r). Then [L3] applied to the functions ζf(z,ζ) and ζf(0,ζ) shows that each nearby slice has the same zero count d inside ζ<r. The strict boundary inequality also makes f(z,ζ)0 on ζ=r.

step 1.1L2L3

Depends on

Used by

Dependency tree · two levels

20 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