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 f∈Om,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 V⊆Cm−1 of 0 such that, for every z′∈V, 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 f∈Om,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 ∣f−g∣<∣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.1givenL1L2choose

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.

2.1step 1.1L2L3∎

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,ζ)∣(z′∈V, ∣ζ∣=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.

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