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 and let be the local plumbing family with the equation fixed in its Definition. For , its fiber is a smooth one-dimensional complex manifold on the plumbing annulus. The central fiber is exactly the reduced local node : 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.
Statement references
Facts & Assumptions
Given: , the local family , and a finite list of disjoint coordinate pairs with independent parameters.
Plumbing family for punctured Riemann surfaces: in the plumbing chart the fiber equation is ; for the overlap map is on the annulus , and the central fiber is defined by .
Complex manifolds, holomorphic vector bundles and Hermitian metrics: the local analytic coordinates are holomorphic charts on open subsets of complex manifolds.
Proof
Fix . On the fiber , neither nor vanishes. The map is holomorphic on the annulus , has holomorphic inverse given by projection to , and identifies it with the corresponding -annulus by . Thus the sewn chart transition is biholomorphic, and every point in this local fiber has a one-dimensional complex chart.
At , the equation is , so its point set is the union of the coordinate axes . Its analytic local ring is ; a convergent power series divisible by both and has every monomial divisible by , so and the ring is reduced. The classes of and 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.
For disjoint plumbing pairs, each local equation uses only its own coordinate pair and parameter . The product charts therefore have independent biholomorphic transitions for every , while setting all gives the product of the independent equations . 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.
The horizontal and vertical axes are the sets and , 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.