Alphabeta Math
DefinitionDefinition: AI-adaptedProof: AI-generatedPipeline-generatedprecheck passverified 2026-11-05 (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.

Bosonic bc ghost and Beltrami moduli pairing

Physical scope

Local bosonic reparametrization-ghost pairing on a fixed moduli chart, including declared conformal-Killing zero-mode treatment; no global determinant or gauge slice is asserted.

Definition

Let Σ be a fixed Riemann surface chart with a chosen Beltrami representative μ=μzˉ zdzˉ⊗∂z for a tangent direction to complex structure. Define its local antighost pairing by (b,μ)=∫Σbzzμzˉ z dx dy, using a finite chart cover and compactly supported smooth representatives on each patch (and a partition of unity when more than one patch represents the same global tensor). Use dimensionless worldsheet and moduli coordinates, dimensionless Beltrami components, and the dimensionless b,c normalization of the supplied ghost mode algebra; consequently (b,μ) is dimensionless. The numerical normalization of this pairing is exactly the displayed coefficient 1 with area dx dy: in the ghost supplier's convention d2z=2dx dy this is 12∫bzzμzˉ zd2z. No additional 2π or string-tension factor is included. For a tangent basis μ1,…,μm, the local moduli insertion is the ordered product ∏a=1m(b,μa) and its antiholomorphic counterpart; because b is odd, the order is fixed and a change of tangent basis contributes its determinant. At fixed punctures, define the conformal-Killing space as H0(Σ,TΣ(−D)), where D is the marked divisor. Its zero modes are fixed by a stated gauge slice, represented by the corresponding c-ghost evaluations, or divided out by the stated automorphism-group volume. The convention and zero-mode saturation are data of each amplitude. No global determinant line, global gauge slice, or integration measure is included.

Facts & Assumptions

Given: The anticommuting bosonic reparametrization ghost system of Bosonic Bc Ghost System, a local complex-structure chart, representatives μa, marked points, and a specified conformal-Killing zero-mode prescription.

[F1]

Bosonic Bc Ghost System: b is a quadratic differential of weight 2, c is a vector field of weight −1, and the pair is anticommuting.

[F2]

Coordinate invariance of the local Beltrami antighost pairing: bzzμzˉ zdxdy is invariant under holomorphic coordinate changes on overlaps.

Proof

1.1givenF1F2algebra

The product of a quadratic differential with a Beltrami differential and the area element is a scalar density by [F1]; the explicit overlap calculation in [F2] shows its local expression agrees in every chart. Thus the integral in the Definition is independent of the chosen local coordinates for the fixed representative, provided the stated compact supports and chart cover are used.

2.1givenF1step 1.1algebra∎

If the tangent basis changes by μa′=∑bMa bμb, multilinearity of the pairing makes the ordered exterior product of the m odd insertions change by det⁡(M). This is exactly the covector transformation of the top differential on the moduli chart. The separate c-ghost prescription removes or saturates precisely the declared conformal-Killing zero modes; it is not determined by the local pairing and must be recorded as input.

Remarks

For a sphere with three fixed punctures the residual Möbius transformations are fixed by the three marked points; for a torus without punctures, translation remains a one-complex-dimensional conformal-Killing group and the quotient/zero-mode convention must be stated. No zero-mode count for other strata is asserted here without its actual surface and puncture data.

Depends on

Dependency tree · 2 levels

Sources