Alphabeta Math
LemmaStatement: AI-adaptedProof: AI-generatedPipeline-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.

Sphere and boundary conformal-Killing modes for tree gauge fixing

Statement

Let CP1 have affine coordinate z and coordinate w=1/z near infinity. Every global holomorphic vector field on CP1 is (a+bz+cz2)∂z, so the sphere conformal-Killing space has complex dimension 3. For the boundary tree gauge, adopt the upper-half-plane model and residual group PSL(2,R) of real fractional-linear maps (az+b)/(cz+d) with ad−bc=1, modulo the common sign; its real Lie algebra is three-dimensional. The group statement fixes the gauge convention and does not assert a global gauge slice on moduli.

Facts & Assumptions

Given: The two-chart definition of CP1, the coordinate transition w=1/z, and the stated upper-half-plane boundary gauge convention.

[F1]

Cauchy's inequalities bound every derivative by a boundary bound on a compactly contained circle: for an entire function f bounded by MR on the circle of radius R, ∣f(n)(0)∣≤n!MR/Rn.

Proof

1.1givenF1algebra

Write a global holomorphic vector field in the affine chart as f(z)∂z, with f entire. Since ∂z=−w2∂w, regularity at w=0 means w2f(1/w) is holomorphic near zero, hence f(z)=O(∣z∣2) at infinity. Thus for sufficiently large R, sup⁡∣z∣=R∣f(z)∣≤CR2 for a constant C. By [F1], for every n≥3, ∣f(n)(0)∣≤n!CR2−n; letting R→∞ gives f(n)(0)=0. The entire Taylor series therefore has degree at most two. Conversely, if f(z)=a+bz+cz2, then −w2f(1/w)=−(aw2+bw+c) is holomorphic at w=0, so each such polynomial defines a global vector field. The three monomials are linearly independent, proving dimension three.

2.1givenstep 1.1algebra∎

An infinitesimal real matrix M(t)=I+t(αβγ−α)+O(t2) acts by z↦((1+tα)z+tβ)/(tγz+1−tα)+O(t2). Differentiating at t=0 gives β+2αz−γz2. The real parameters α,β,γ are independent, so the adopted boundary group has real Lie algebra spanned by the same three polynomial vector fields over R and dimension three.

Remarks

These are the finite-dimensional residual modes used to gauge-fix three tree-level punctures. The proof is local and finite-dimensional; it makes no statement about choosing a global gauge slice over the full moduli space.

Depends on

Dependency tree · 2 levels

Sources