TheoremStatement: Literature-sourcedProof: AI-adaptedPipeline-generatedprecheck passjudge pass (gpt-6-luna)verified 2026-11-04 (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.

Kodaira classification in the relatively minimal elliptic-surface case

Statement

Let $C$ be a smooth connected complex algebraic curve and let $π : S \to C$ be a morphism from a projective smooth complex algebraic surface. Assume $π$ is proper (separated, of finite type, and universally closed), flat (each local ring $O_{S, s}$ is flat over $O_{C, π (s)}$ ), and surjective. For $c \in C$ , its geometric fiber is $S \times_{C} Spec \overline{κ (c)}$ . For the generic point $η$ of $C$ , assume the geometric generic fiber $S_{\overset{ˉ}{η}} : = S \times_{C} Spec \overline{C (C)}$ is a smooth proper geometrically integral curve with $\dim_{C (C)} H^{1} (S_{η}, O_{S_{η}}) = 1$ . Assume there is a specified regular section $s : C \to S$ with $π \circ s = {id}_{C}$ , and every geometric fiber is connected. Assume $S$ is nonsingular and $π$ is relatively minimal, meaning that no fiber contains a smooth curve isomorphic to $P_{C}^{1}$ with self-intersection $- 1$ .

Every singular scheme-theoretic fiber is of Kodaira type $I_{n}$ ( $n \geq 1$ ), II, III, IV, $I_{n}^{*}$ ( $n \geq 0$ ), IV*, III*, or II*. Here a singular fiber is one that is not a smooth curve over its base point. A rational curve means an integral curve whose normalization is isomorphic to $P_{C}^{1}$ ; a smooth rational component is therefore isomorphic to $P_{C}^{1}$ . The multiplicity of a component is its coefficient in the scheme-theoretic fiber divisor, and a fiber is multiple if all component multiplicities have a common integer divisor greater than one.

The type symbols specify these configurations. Type $I_{1}$ is an irreducible reduced rational curve with one node, analytically $u v = 0$ at that point. For $n \geq 3$ , type $I_{n}$ is a reduced cycle of $n$ smooth rational components, each of multiplicity one, with neighboring components meeting transversely once; type $I_{2}$ is two such components meeting transversely at two distinct points. Type II is an irreducible reduced rational curve with one ordinary cusp, analytically $v^{2} = u^{3}$ . Type III is two smooth rational components of multiplicity one meeting at one point with intersection number two. Type IV is three smooth rational components of multiplicity one meeting pairwise once at one common point.

For $n \geq 0$ , type $I_{n}^{*}$ has dual graph ${\tilde{D}}_{n + 4}$ : for $n = 0$ this is the four-legged star; for $n \geq 1$ it has two trivalent vertices joined by a path of $n$ edges, with two terminal leaves at each end. Types IV*, III*, and II* have dual graphs ${\tilde{E}}_{6}$ , ${\tilde{E}}_{7}$ , and ${\tilde{E}}_{8}$ , respectively, with arm lengths $(2, 2, 2)$ , $(1, 3, 3)$ , and $(1, 2, 5)$ . In these $D$ and $E$ fibers the component multiplicities are the coordinates of the primitive positive integer null vector of the component intersection matrix $M$ , where $M_{i i} = - 2$ and $M_{i j} = C_{i} \cdot C_{j}$ for distinct components $C_{i}, C_{j}$ ; primitive means that the coordinate gcd is one. A section excludes multiple fibers. These type labels describe geometric fiber configurations only; no physical interpretation or classification over a higher-dimensional base is asserted.

Statement references

Elliptic fibration with a section

Connected fiber graphs with negative semidefinite intersection form

Miranda, Lecture I §6

Facts & Assumptions

Given: Exactly the proper relatively minimal elliptic surface, section, nonsingular total surface, connected complex base curve and geometrically connected genus-one generic fiber of the Statement, in the algebraic fibration convention of the declared definitions.

[A1]

Full AC is the choice principle of The Axiom of Choice, inherited from the intersection, normalization and completion suppliers.

[A2]

By Elliptic fibration with a section, the morphism is a flat genus-one fibration with a regular section; its exact prerequisite Flat genus-one fibration requires the total variety $S$ to be projective. Proper surjectivity from compact $S$ also makes $C$ compact, so degree-one point divisors on $C$ are numerically equivalent. The generic-fiber group law supplied by the sectioned-fibration definition is not used in this intersection argument.

[F1]

Elliptic fibration with a section supplies a proper flat fibration with section, while Flat genus-one fibration requires the total surface to be projective. For $c \in C$ , the fiber divisor $D_{c} = π^{- 1} (c) = π^{*} [c]$ is Cartier: a local parameter at $c$ remains a nonzerodivisor after pullback by flatness. Each component $C_{i}$ of $D_{c}$ maps to $c$ , so $O_{S} (D_{c}) ∣_{C_{i}}$ is the pullback of a one-dimensional $C$ -vector space and is trivial; hence $D_{c} \cdot C_{i} = 0$ by Intersection with a curve is the degree of the restriction, and bilinearity gives $D_{c}^{2} = 0$ . For the section $s : C \to S$ , $s^{*} O_{S} (D_{c}) ≅ O_{C} (c)$ , so $s (C) \cdot D_{c} = \deg_{C} O_{C} (c) = 1$ by Degree of an invertible sheaf on a proper one-dimensional scheme and the same intersection-degree theorem. Distinct fibers are disjoint. Intersections of distinct effective components are nonnegative (The surface intersection product is symmetric and bilinear); each is Cartier because the smooth surface is locally factorial (Regular local rings are unique factorization domains).

[F3]

Adjunction gives $K_{S} \cdot C_{i} + C_{i}^{2} = 2 p_{a} (C_{i}) - 2$ for an integral Cartier curve on a smooth projective surface (Adjunction formula for effective divisors on a smooth projective surface, Genus and arithmetic genus of a curve). Since $C_{i}$ is a proper integral curve over $C$ , $H^{0} (C_{i}, O_{C_{i}}) = C$ by Functions on a proper curve, so $p_{a} (C_{i}) = \dim_{C} H^{1} (C_{i}, O_{C_{i}})$ is a nonnegative integer. Arithmetic genus zero implies $C_{i} ≅ P_{C}^{1}$ (Arithmetic genus zero forces a smooth rational curve).

[F4]

The Euler characteristic $χ (D_{c}, O_{D_{c}})$ is locally constant in the proper flat finite-presentation family $π : S \to C$ (Euler characteristic in a proper flat family is locally constant). On the generic fiber it is $1 - 1 = 0$ : the generic fiber is proper and geometrically integral, so its $H^{0}$ is the function field by Functions on a proper curve, and its $H^{1}$ has dimension one over the function field by the Statement. The proper cohomology field-extension comparison Flat field extension commutes with coherent cohomology identifies this $H^{1}$ after extension to $\overline{C (C)}$ with $H^{1} (S_{\overset{ˉ}{η}}, O_{S_{\overset{ˉ}{η}}})$ , so Flat genus-one fibration applies with the exact geometric-generic-fiber hypothesis. Since $C$ is connected, $χ (D_{c}, O_{D_{c}}) = 0$ for every fiber.

[F5]

A finite connected loopless multigraph with matrix $M_{i i} = - 2$ , $M_{i j}$ equal to edge multiplicity, negative semidefinite form, one-dimensional kernel, and positive kernel vector is one of the affine ADE graphs; its primitive positive integral null vector is unique (Connected fiber graphs with negative semidefinite intersection form).

[F6]

For an integral proper curve, normalization is finite and smooth and $p_{a} = g + \sum_{p} δ_{p}$ , where $δ_{p}$ is the complex dimension of the local normalization quotient; it is positive exactly at singular points. Arithmetic genus, geometric genus and delta invariants

[F7]

Completion is exact on finite modules over a Noetherian ring. Algebraic finite-type complex local rings and their analytic local rings have the same completed presentation, retaining its defining ideal. Adic completion is exact on finite modules over a Noetherian ring, Common completions of algebraic and holomorphic local rings and their finite-type quotients

[F8]

Holomorphic preparation replaces an analytic germ regular of order two in one variable by a unit times a monic quadratic. The holomorphic implicit theorem supplies analytic roots of units and analytic coordinate inverses when their indicated derivatives are invertible. Weierstrass preparation theorem, The holomorphic implicit function theorem

Proof

technique · use the exact edge-square identity and adjunction for reducible fibers; use the normalization defect and convergent quadratic preparation for irreducible fibers

1.1F1F3F4givenalgebra

Let $D = π^{- 1} (c)$ be any fiber. By [F1], $D^{2} = 0$ , $s (C) \cdot D = 1$ , and [F4] gives $χ (D, O_{D}) = 0$ . Adjunction for the effective Cartier divisor $D$ gives $D \cdot (K_{S} + D) = - 2 χ (D, O_{D})$ (Adjunction formula for effective divisors on a smooth projective surface), hence $K_{S} \cdot D = 0$ . If $D = m D_{0}$ with $D_{0}$ an integral divisor and $m > 1$ , the section gives $1 = s (C) \cdot D = m (s (C) \cdot D_{0}),$ where $s (C) \cdot D_{0}$ is an integer, contradicting $m > 1$ . Thus no fiber is multiple.

1.2F1givenalgebra

Suppose $D = \sum_{i = 1}^{r} n_{i} C_{i}$ is reducible. Its support is connected, $n_{i} > 0$ , and the component matrix $M_{i j} = C_{i} \cdot C_{j}$ has nonnegative off-diagonal entries and $M n = 0$ by [F1]. For every real vector $v$ , expand the row equations to obtain the exact identity $v^{T} M v = - \sum_{i < j} M_{i j} n_{i} n_{j} {(\frac{v_{i}}{n_{i}} - \frac{v_{j}}{n_{j}})}^{2} .$ Thus the form is negative semidefinite. Its quadratic value is zero exactly when $v_{i} / n_{i} = v_{j} / n_{j}$ along every edge; connectedness forces $v$ proportional to $n$ . In particular the kernel is one-dimensional: a kernel vector has zero quadratic value, and the positive vector $n$ is already in the kernel. This argument allows zero coefficients and does not presume that the positive and negative supports of a divisor meet.

2.1F1step 1.2algebra

Every component of a reducible fiber meets another one, so the row equation gives $C_{i}^{2} = - \frac{1}{n_{i}} \sum_{j \neq i} n_{j} (C_{i} \cdot C_{j}) < 0.$ The positive multiplicity vector and the one-dimensional kernel needed in [F4] are exactly those proved in step 1.2; there is no additional numerical-independence assumption on the component classes.

2.2F1F3step 1.1step 1.2algebra

Each $C_{i}$ is an effective Cartier curve on the smooth surface. Using adjunction [F3], $K_{S} \cdot D = 0$ from step 1.1 becomes $0 = \sum_{i} n_{i} (2 p_{a} (C_{i}) - 2 - C_{i}^{2}) .$ First, every $C_{i}^{2} \leq 0$ by step 1.2. If $C_{i}^{2} = 0$ , then $0 = D \cdot C_{i} = \sum_{j \neq i} n_{j} (C_{j} \cdot C_{i})$ , so $C_{i}$ meets no other component, contradicting connectedness of the reducible support. Hence $C_{i}^{2} < 0$ for every $i$ . If $p_{a} (C_{i}) = 0$ , [F3] gives $C_{i} ≅ P_{C}^{1}$ ; relative minimality excludes $C_{i}^{2} = - 1$ , so integrality and strict negativity give $C_{i}^{2} \leq - 2$ and its summand is nonnegative. If $p_{a} (C_{i}) \geq 1$ , then $2 p_{a} (C_{i}) - 2 - C_{i}^{2} > 0$ . Thus every summand is nonnegative, and one with $p_{a} (C_{i}) \geq 1$ is strictly positive. Since the displayed sum is zero and all $n_{i} > 0$ , no such component occurs and every summand vanishes. Therefore $p_{a} (C_{i}) = 0$ and $C_{i}^{2} = - 2$ for every component.

2.3F3F6F7step 1.1algebraconstruct

Suppose $D$ is irreducible and singular. Step 1.1 and the section make $D$ reduced, and adjunction gives $p_{a} (D) = 1$ from $D^{2} = K_{S} \cdot D = 0$ . By [F6], its smooth normalization has genus zero and its entire defect is one, at a single singular point $p$ . Write $R = O_{D, p}$ and $B = (ν_{*} O_{\tilde{D}})_{p}$ , a finite semilocal normalization algebra, so $\dim_{C} (B / R) = 1$ . Complete this finite-module exact sequence using [F7]. The completion of $B$ is $\prod_{j = 1}^{r} C ⟦ t_{j} ⟧$ : its finitely many maximal ideals are the points above $p$ , their adic filtrations are cofinal with the $m_{R} B$ filtration, and the Chinese remainder theorem separates their completions. Cofinality follows because the radical of the finite-dimensional algebra $B / m_{R} B$ is nilpotent; choosing finitely many nilpotent generators and expanding a sufficiently high product proves that nilpotence directly. Each local normalization ring is a smooth-curve DVR with residue $C$ , whose completion is $C ⟦ t_{j} ⟧$ by successive uniformizer coefficients. Thus $\hat{R}$ embeds as a codimension-one subring in that product.

3.1F1F5step 1.1step 1.2step 2.1

Form the dual intersection graph $G$ : its vertices are the components $C_{i}$ , and there are $C_{i} \cdot C_{j}$ edges between distinct vertices $i, j$ . It is connected, loopless, and may have multiple edges. Its matrix from [F5] is exactly the intersection matrix of the components; steps 1.2 and 2.1 supply negative semidefiniteness, one-dimensional kernel, and positive kernel vector. The graph lemma therefore makes $G$ one of ${\tilde{A}}_{n}$ ( $n \geq 1$ ), ${\tilde{D}}_{n}$ ( $n \geq 4$ ), or ${\tilde{E}}_{6}, {\tilde{E}}_{7}, {\tilde{E}}_{8}$ . The fiber multiplicities $(n_{i})$ have greatest common divisor one by step 1.1, so they are the primitive positive null vector of that graph.

3.2F6step 2.3algebraconstruct

Every element of $\hat{R}$ has the same constant on each branch. This equal-constant subspace has codimension $r - 1$ , so $r \leq 2$ . If $r = 2$ , the codimension-one hypothesis forces equality with ${(a (t), b (u)) : a (0) = b (0)}$ , the ring $C ⟦ X, Y ⟧ / (X Y)$ via $X = (t, 0)$ , $Y = (0, u)$ . If $r = 1$ , no element of $\hat{R}$ can have a nonzero linear $t$ coefficient: formal compositional inversion of such an element, whose coefficients are determined recursively, would put $t$ in the complete local ring $\hat{R}$ , and then every formal series in $t$ would lie there, contradicting codimension one. Therefore $\hat{R} \subset C + t^{2} C ⟦ t ⟧$ , and equal codimensions force equality. Splitting even and odd powers identifies the latter ring with $C ⟦ X, Y ⟧ / (Y^{2} - X^{3})$ via $X = t^{2}$ , $Y = t^{3}$ . In particular the completed embedded plane equation has multiplicity two. Indeed an isomorphism of either displayed ring with $\hat{R} = C ⟦ x, y ⟧ / (\hat{f})$ lifts its two generators to formal ambient coordinates; their independent classes modulo the squared maximal ideal make the linear Jacobian invertible, and recursive degree inversion gives a formal ambient automorphism. Its kernel identifies the principal equations up to a unit.

4.1F5step 3.1algebra

For ${\tilde{A}}_{1}$ , the two rational components have intersection number two: if they meet at two distinct transverse points the fiber is $I_{2}$ , while if they meet at one point with intersection multiplicity two the fiber is type III. For ${\tilde{A}}_{2}$ , the three rational components meet pairwise once: three distinct intersection points form the cycle $I_{3}$ , while a common triple point gives type IV. A cycle ${\tilde{A}}_{n}$ with $n \geq 3$ is $I_{n + 1}$ ; ${\tilde{D}}_{4}$ and ${\tilde{D}}_{n + 4}$ ( $n \geq 1$ ) give $I_{0}^{*}$ and $I_{n}^{*}$ ; the primitive null vectors on ${\tilde{E}}_{6}, {\tilde{E}}_{7}, {\tilde{E}}_{8}$ give IV*, III*, II*, respectively.

4.2F6F7F8step 2.3step 3.2algebraconstruct

By [F7], the analytic local ring of $D$ has a convergent plane equation $f (x, y)$ with the completion in step 3.2. Its quadratic jet is nonzero, so choose a linear $y$ direction with nonzero quadratic coefficient and apply [F8]. Completing the analytic square in its prepared quadratic gives $Y^{2} + c (x) = 0$ , with $c (0) = c^{'} (0) = 0$ . In the formal node case of step 3.2, the quadratic form has rank two, so $c$ has exact order two. In the formal cusp case, the quadratic form has rank one and the cubic jet is nonzero on its null line, so $c$ has exact order three. These two jet properties are preserved by the formal ambient coordinate changes and units in step 3.2: linear changes preserve quadratic rank; on the null line of a rank-one quadratic form $L^{2}$ , degree-three contributions from a quadratic coordinate correction have the factor $L$ , while those from a linear unit correction have the factor $L^{2}$ , so both vanish there. The canonical cusp $y^{2} - x^{3}$ has the asserted nonzero restricted cubic. Thus $c = x^{k} u (x)$ with $k = 2$ or $3$ and $u (0) \neq 0$ . An analytic square root of $- u$ from [F8] rescales $Y$ to give $Y^{2} - x^{k} = 0$ . These are a node and an ordinary cusp, respectively. With the rational normalization and unique singular point from step 2.3, they give exactly the geometric fibers $I_{1}$ and II.

5.1step 1.1step 3.1step 4.1step 4.2algebra∎

Steps 3.1 and 4.1 give every reducible fiber and its primitive multiplicities; steps 2.3, 3.2 and 4.2 give every irreducible singular fiber. Step 1.1 excludes multiple fibers. These are all the types in the unchanged Statement. The argument classifies only the geometric fiber configurations and assigns no additional physical data. No local minimal Weierstrass existence or valuation-table derivation is required.

Source-reported local valuation table

For a local equation $y^{2} = x^{3} + f (t) x + g (t)$ over a disk with local coordinate $t$ , let $Δ (t) : = 4 f (t)^{3} + 27 g (t)^{2}$ . Define ${ord}_{t} h$ for a nonzero holomorphic germ $h$ to be the least exponent with nonzero coefficient in its power series at $t = 0$ , and set ${ord}_{t} (0) = + \infty$ . For a minimal such equation in characteristic zero, the following valuation assignment is reported in the cited fiber-classification tables; minimality here means ${ord}_{t} f < 4$ or ${ord}_{t} g < 6$ . An inequality such as $\geq 2$ is a lower bound, not an equality. The table is not used in the proof above; no independent derivation of the table is supplied here.

Type	${ord}_{t} f$	${ord}_{t} g$	${ord}_{t} Δ$
$I_{n}$ ( $n \geq 1$ )	$0$	$0$	$n$
II	$\geq 1$	$1$	$2$
III	$1$	$\geq 2$	$3$
IV	$\geq 2$	$2$	$4$
$I_{0}^{*}$	$\geq 2$	$\geq 3$	$6$
$I_{n}^{*}$ ( $n \geq 1$ )	$2$	$3$	$n + 6$
IV*	$\geq 3$	$4$	$8$
III*	$3$	$\geq 5$	$9$
II*	$\geq 4$	$5$	$10$

The valuation table is supplementary source context and is not used in the geometric classification proof.

Fiber graph diagrams

The parallel edges in ${\tilde{A}}_{1}$ represent total intersection number two; the cycle in ${\tilde{A}}_{2}$ represents one intersection for each pair. These diagrams visualize the two ambiguous graph cases only; the proof uses intersection numbers and local equations, not the diagrams.

The affine Dynkin graph specifies the geometric reducible-fiber configuration together with its primitive multiplicities. The theorem does not infer a gauge group from Kodaira type without the additional function-field monodromy test.

Scope limitations

Projectivity is the workspace's declared genus-one-fibration convention, used for the exact adjunction and proper-normalization inputs. The proof establishes the complete geometric classification without assuming local minimal Weierstrass models. The separate valuation table is source context outside the Statement and is not used as a mathematical supplier.