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
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 for a tangent direction to complex structure. Define its local antighost pairing by 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 normalization of the supplied ghost mode algebra; consequently is dimensionless. The numerical normalization of this pairing is exactly the displayed coefficient with area : in the ghost supplier's convention this is . No additional or string-tension factor is included. For a tangent basis , the local moduli insertion is the ordered product and its antiholomorphic counterpart; because is odd, the order is fixed and a change of tangent basis contributes its determinant. At fixed punctures, define the conformal-Killing space as , where is the marked divisor. Its zero modes are fixed by a stated gauge slice, represented by the corresponding -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 , marked points, and a specified conformal-Killing zero-mode prescription.
Bosonic Bc Ghost System: is a quadratic differential of weight , is a vector field of weight , and the pair is anticommuting.
Coordinate invariance of the local Beltrami antighost pairing: is invariant under holomorphic coordinate changes on overlaps.
Proof
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.
If the tangent basis changes by , multilinearity of the pairing makes the ordered exterior product of the odd insertions change by . This is exactly the covector transformation of the top differential on the moduli chart. The separate -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.