Alphabeta Math
ExampleConstruction: AI-adaptedVerification: 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.

Explicit degree-two sphere bubbling on the fixed sphere

Example

Let X=CP1 with its standard complex structure and normalized Fubini–Study form ωFS=i2πdz∧dzˉ(1+∣z∣2)2,∫CP1ωFS=1. For every integer n≥1, the rational map un(z)=z+1nz=nz2+1nz extends holomorphically as a degree-two map CP1→CP1. Away from z=0 it converges to the identity map. Under the rescaling z=w/n it converges to the bubble map w↦1/w, attached to the identity component at z=0 and w=∞. The two node values are both 0.

Facts & Assumptions

Given: The standard complex structure on CP1, the displayed normalized area form, and the rational maps un.

[F1]

A J-holomorphic map and its symplectic area use the curve-data convention. Symplectic and almost-complex curve data

[F2]

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

[F3]

An orientation-preserving diffeomorphism preserves the integral of a compactly supported top form. Change of variables on oriented manifolds

[F4]

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].

1.1F3givenalgebra

In the affine coordinate, un=(nz2+1)/(nz) has no cancellation because its numerator is 1 at z=0; its rational degree is therefore two. For all target values outside the finite branch-value set, the equation nz2−nyz+1=0 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 ∫CP1un∗ωFS=2∫CP1ωFS=2; the omitted branch points have measure zero.

2.1F1F2step 1.1algebra

On every compact subset of CP1∖{0}, un(z)=z+(nz)−1 converges with all derivatives to u0(z)=z. In the rescaled coordinate z=w/n, un(w/n)=w/n+1/w converges as a sphere-valued holomorphic map on compact subsets of CP1∖{∞} to u1(w)=1/w. 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: u0(0)=0=u1(∞).

3.1F2F4step 1.1step 2.1algebra∎

The two nonconstant components have trivial map-preserving automorphism groups, so the nodal map is stable. The total sequence energy equals its area 2 by [F4], while the two component energies sum to their areas 1+1=2. 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.

CP1z7!zCP1w7!1=wz=0»w=1

Depends on

Dependency tree · 2 levels

Sources