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

Curvature-Current and Fradkin-Tseytlin Source Contacts

Physical scope

Only the stated original-convention curvature-current/Fradkin–Tseytlin contact channel; not a complete anomaly or conformal-invariance test.

Example

Use Curved Type II Pure-Spinor Model and Quantum BV Data and Intrinsic Pure-Spinor Volume and Current Cocycle. In the Euclidean source-contact chart z=x+iy, use d2z=dx dy, ∂z=12(∂x−i∂y) and ∂ˉz=12(∂x+i∂y). Let δsource(z−w) be the Dirac distribution with ⟨δsource(⋅−w),σ⟩=σ(w) for σ∈Cc∞(C). These are contact-chart derivatives, separate from the real canonical-time notation. For this contact channel additionally impose the source's conventional dimension-zero data: for odd frame indices A,B and any odd output δ, TABδ=0 (using the corresponding left or right connection); all components of H with three odd indices vanish; Tαβˉa=0; and Tαβa=Hαβa=(γa)αβ and T~αˉβˉa=−Hαˉβˉa=(γ~a)αˉβˉ. These are additional conventional background assumptions, not consequences of the pure-spinor-contracted constraints alone. Use the displayed canonical transformation as the specified source-convention input on this branch. For fixed left odd index α, its field-dependent Lorentz parameter and transformation are

Σαβ=λγΩγαβ+λ~γˉΩγˉαβ,Qcdα=Σαβdβ+(γaλ)αΠa+Vαδwδ,

where the actual curvature-current coefficient is

Vαδ=λβRβαγδλγ+λ~βˉRβˉαγδλγ.

Here RABαβ is the curvature of the left spinor connection and rAB its scale-curvature component. As in Curved Type II Pure-Spinor Model and Quantum BV Data, γmn is the Weyl block of 12[Γm,Γn]; thus RBAαδ=rBAδαδ+14RBA,mn(γmn)αδ. Set tαβ=Rαγβγ. Then

div⁡ΩVα=λβ(tαβ+8rβα)+8λ~βˉrβˉα.

On the branch Ωβˉ=0, the supplier's directional-derivative convention gives rβˉα=DβˉΩα−cβˉαCΩC, where [Eβˉ,Eα]=cβˉαCEC is the graded frame commutator. With DαΦ=4Ωα, the opposite-ghost term is 2λ~βˉDβˉDαΦ−8λ~βˉcβˉαCΩC. The simpler first term is recovered if cβˉαCΩC=0 is additionally imposed; vanishing mixed torsion alone does not imply this condition. The source conjugate has local components wi=βi. Since the current convention of Intrinsic Pure-Spinor Volume and Current Cocycle is jVα=−: ⁣βiVαi ⁣:, the actual Qd term +wiVαi is −jVα, so its third-pole coefficient is −α′div⁡ΩVα. The original left-odd simple poles are Φ(z)dβ(w)∼−α′DβΦ/(z−w) and Φ(z)Πa(w)∼+α′DaΦ/(z−w). With Uα=(γaλ)αDaΦ−ΣαβDβΦ, the left Fradkin–Tseytlin insertion TFT,L=∂2Φ contributes 2α′Uα/(z−w)3. The computed partial third-pole coefficient is therefore α′[−div⁡ΩVα+2Uα]; the opposite-chirality insertion also gives the distribution πα′Uα∂ˉzδsource(z−w), whose pairing with a test function σ is −πα′Uα∂ˉσ(w) under ∂ˉ(1/z)=πδsource. These are only the specified curvature/FT source contacts.

Facts & Assumptions

Given: The stated original left-odd OPE signs, curvature action on the constrained cone, positive third-pole convention, and distribution normalization.

[F1]

Intrinsic Pure-Spinor Volume and Current Cocycle proves div⁡(fX)=fdiv⁡X+X(f), Euler divergence eight, zero Spin divergence, and the current third-pole rule.

[F2]

Curved Type II Pure-Spinor Model and Quantum BV Data fixes the physical action, pure-spinor quotient, and the source's dilaton/connection convention DαΦ=4Ωα; it does not assert an anomaly cancellation.

[F3]

Chandía–Vallilo (1412.1030v1), §3.1, equations (3.1)–(3.11), use the conventional constraints (3.3), including the uncontracted dimension-zero torsions stated in the Example, before computing the type-II Qdα transformation from their canonical charge and equal-time brackets. Their PM=δSCV,lead/δ(∂0ZM) equals 2πα′ δSleadLag/δ(∂0ZM) here: their equation (3.1) writes the leading integrand without an overall coefficient, whereas SleadLag here has the outside factor 1/(2πα′). The derivative is of the leading action, with the separately written Fradkin–Tseytlin term excluded. This agrees with Bedoya–Chandía (hep-th/0609161v2), equation (2.2) and the paragraph preceding (2.5), where the same momentum is explicitly (2πα′)δS/δ(∂0ZM). Chandía–Vallilo's dα relation (3.8), charge (3.2), and transformation (3.9) then match the source data above with ωα=wα and their hatted right-spinor indices identified with the present barred indices. Their equation (3.11) is exactly the Σ displayed in the Example. Their canonical brackets are used only in the gauge-invariant pure-spinor combinations, as stated in their footnote 4. Section 4 treats a special AdS5×S5 background and is not transferred here.

[A1]

Use the additional conventional background data and supplied canonical transformation in the Example, the specified curvature/scale-connection branch, the original left-odd pole ordering, and ∂ˉ(1/z)=πδsource. The field-dependent coefficient derivative is included. No term outside this partial source channel is assumed to vanish.

Proof

1.1F1F2F3algebra

For a fixed curvature component, the fundamental cone vector XBA=(RBAλ)δ∂λδ has divergence 8rBA: its scale part is rBAE, which contributes eight by [F1], and its Spin part contributes zero. Applying div⁡(fX)=fdiv⁡X+X(f) to f=λβ adds Rβαγβλγ; the right ghost coefficient is constant along the left cone and contributes only its scale trace. Graded symmetry of the two left odd curvature slots and relabelling indices give the displayed λβ(tαβ+8rβα)+8λ~βˉrβˉα. This computes the divergence of Vα; since wi=βi and the full Qcdα term is +wiVαi=−jVα, its stress-tensor pole has the negative of this divergence.

2.1F2step 1.1algebra

In the scale-curvature formula of [F2], both indices βˉ,α are odd. Setting Ωβˉ=0 gives rβˉα=DβˉΩα−cβˉαCΩC. Substituting Ωα=14DαΦ yields 8λ~βˉrβˉα=2λ~βˉDβˉDαΦ−8λ~βˉcβˉαCΩC. This retains the frame term without identifying the frame commutator with torsion. If its contracted coefficient vanishes, the previously displayed directional-derivative specialization follows.

2.2A1F1F2F3step 1.1algebra

Contracting the two stated simple poles with ∂2Φ(z) differentiates twice in the insertion coordinate z. The dβ term gives −α′ΣαβDβΦ before differentiation, while the Πa term gives +α′(γaλ)αDaΦ; since ∂z2(z−w)−1=2(z−w)−3, their sum is 2α′Uα/(z−w)3. Adding the source-current pole −α′div⁡ΩVα identified in step 1.1 gives exactly the stated partial coefficient. No derivative of a coefficient at w is used in this simple-pole calculation.

3.1A1step 2.2algebra∎

The locally integrable Cauchy kernel has ∂ˉz(1/z)=πδsource: integration by parts on the complement of a disk gives −∫z−1∂ˉσ dx dy=lim⁡ε↓012i∮∣z∣=εσ(z)z−1dz=πσ(0), with the circle positively oriented. Applying the opposite-chirality FT insertion to the left simple pole uses ∂ˉz(1/(z−w))=πδsource(z−w) and yields πα′Uα∂ˉzδsource(z−w) in the stated Euclidean area normalization. For a test function σ, distributional integration by parts gives ∫d2z σ(z)∂ˉzδsource(z−w)=−∂ˉσ(w), proving the stated contact pairing. Other pole orders, matter normal products, canonical endpoint terms, right-source partners and the full BV density contribution are not evaluated here; hence no full anomaly or cancellation follows.

Scope boundary

The full source insertions also contain Σαβdβ and (γaλ)αΠa; only their stated FT simple-pole contractions are evaluated here. Other pole orders, target-coefficient contractions, canonical endpoint/momentum partners, the C,C~,S interaction vertices, the opposite right source, and the full regulated BV density remain unevaluated. The inspected research note constrained-ghost-weyl-current.md separately derives the classical scalar-current source cancellation after independent-coupling pullback. That redundant-source identity does not establish the one-loop QME, cone boundary prescription, or restored eight-slot BV comparison and is not used to cancel this partial sum.

Depends on

Dependency tree · 2 levels

Sources