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.
Explicit degree-two sphere bubbling on the fixed sphere
Example
Let with its standard complex structure and normalized Fubini–Study form For every integer , the rational map extends holomorphically as a degree-two map . Away from it converges to the identity map. Under the rescaling it converges to the bubble map , attached to the identity component at and . The two node values are both .
Example references
Facts & Assumptions
Given: The standard complex structure on , the displayed normalized area form, and the rational maps .
A -holomorphic map and its symplectic area use the curve-data convention. Symplectic and almost-complex curve data
A stable map is a nodal curve with holomorphic component maps, matched node values, and finite automorphism group; Gromov convergence includes rescaled component convergence and no neck-energy loss. Stable almost-complex maps and Gromov convergence
An orientation-preserving diffeomorphism preserves the integral of a compactly supported top form. Change of variables on oriented manifolds
For the Fubini–Study compatible target metric and the standard conformal sphere metric on each domain component, the energy of each holomorphic component equals its symplectic area. Tame J-holomorphic area equals metric Dirichlet energy
Verification
Given: The example data above and [F1]–[F3].
In the affine coordinate, has no cancellation because its numerator is at ; its rational degree is therefore two. For all target values outside the finite branch-value set, the equation has two distinct roots. On the complement of the branch values, the map is a two-sheeted orientation-preserving covering. Applying [F3] on local inverse sheets and exhausting away from the finite branch set gives ; the omitted branch points have measure zero.
On every compact subset of , converges with all derivatives to . In the rescaled coordinate , converges as a sphere-valued holomorphic map on compact subsets of to . These are degree-one maps, so each has area one by the same change-of-variables calculation as step 1.1. Their node values agree: .
The two nonconstant components have trivial map-preserving automorphism groups, so the nodal map is stable. The total sequence energy equals its area by [F4], while the two component energies sum to their areas . Since all remaining concentration or neck energy is nonnegative, equality leaves no energy for any additional bubble or neck; hence this rescaling is the full stable Gromov limit.
Bubble-tree diagram
The edge denotes the matched node, not a map between components.