Alphabeta Math
LemmaStatement: Literature-sourcedProof: AI-generatedPipeline-generatedprecheck passverified 2026-11-05 (gpt-6.1-sol)
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.

Local smoothing and nodal fiber of plumbing

Statement

Let r,s>0 and let Pr,s={(z,w,q):∣z∣<r, ∣w∣<s, ∣q∣<rs, zw=q} be the local plumbing family with the equation fixed in its Definition. For q≠0, its fiber is a smooth one-dimensional complex manifold on the plumbing annulus. The central fiber is exactly the reduced local node {zw=0}: two smooth complex branches crossing at the origin. For finitely many pairwise disjoint plumbing neighborhoods, the local equations are independent, so the simultaneous smooth fibers are smooth and the central fiber has one such node for each pair. This is a local statement and asserts no global compactification theorem.

Facts & Assumptions

Given: r,s>0, the local family Pr,s, and a finite list of disjoint coordinate pairs with independent parameters.

[F1]

Plumbing family for punctured Riemann surfaces: in the plumbing chart the fiber equation is zw=q; for q≠0 the overlap map is w=q/z on the annulus ∣q∣/s<∣z∣<r, and the central fiber is defined by zw=0.

[F2]

Complex manifolds, holomorphic vector bundles and Hermitian metrics: the local analytic coordinates are holomorphic charts on open subsets of complex manifolds.

Proof

1.1givenF1F2algebra

Fix q≠0. On the fiber zw=q, neither z nor w vanishes. The map z↦(z,q/z) is holomorphic on the annulus ∣q∣/s<∣z∣<r, has holomorphic inverse given by projection to z, and identifies it with the corresponding w-annulus by w=q/z. Thus the sewn chart transition is biholomorphic, and every point in this local fiber has a one-dimensional complex chart.

1.2givenF1algebra

At q=0, the equation is zw=0, so its point set is the union of the coordinate axes {z=0}∪{w=0}. Its analytic local ring is C{z,w}/(zw); a convergent power series divisible by both z and w has every monomial divisible by zw, so (z)∩(w)=(zw) and the ring is reduced. The classes of z and w are independent in the cotangent space because the relation has no linear term. Hence the tangent space at the origin is two-dimensional while each branch has complex dimension one. This is the ordinary node in the local analytic convention of the Statement, and it is not a smooth Riemann-surface point.

2.1givenF1step 1.1step 1.2algebra∎

For disjoint plumbing pairs, each local equation uses only its own coordinate pair (zj,wj) and parameter qj. The product charts therefore have independent biholomorphic transitions for every qj≠0, while setting all qj=0 gives the product of the independent equations zjwj=0. The smoothness and node conclusions of steps 1.1–1.2 apply in each disjoint neighborhood, with no cross-identification between pairs.

Local model diagram

The drawing records the two branches of the central fiber in local coordinates; the proof uses the analytic equation, not the drawing.

zwzw=0

The horizontal and vertical axes are the sets w=0 and z=0, respectively; their transverse intersection at the filled origin is the nodal point. The diagram is schematic and adds no global statement about moduli or compactification.

Depends on

Dependency tree · 2 levels

Sources