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
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 , use , and . Let be the Dirac distribution with for . 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 and any odd output , (using the corresponding left or right connection); all components of with three odd indices vanish; ; and and . 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
where the actual curvature-current coefficient is
Here is the curvature of the left spinor connection and its scale-curvature component. As in Curved Type II Pure-Spinor Model and Quantum BV Data, is the Weyl block of ; thus . Set . Then
On the branch , the supplier's directional-derivative convention gives , where is the graded frame commutator. With , the opposite-ghost term is . The simpler first term is recovered if is additionally imposed; vanishing mixed torsion alone does not imply this condition. The source conjugate has local components . Since the current convention of Intrinsic Pure-Spinor Volume and Current Cocycle is , the actual Qd term is , so its third-pole coefficient is . The original left-odd simple poles are and . With , the left Fradkin–Tseytlin insertion contributes . The computed partial third-pole coefficient is therefore ; the opposite-chirality insertion also gives the distribution , whose pairing with a test function is under . These are only the specified curvature/FT source contacts.
Statement references
Facts & Assumptions
Given: The stated original left-odd OPE signs, curvature action on the constrained cone, positive third-pole convention, and distribution normalization.
Intrinsic Pure-Spinor Volume and Current Cocycle proves , Euler divergence eight, zero Spin divergence, and the current third-pole rule.
Curved Type II Pure-Spinor Model and Quantum BV Data fixes the physical action, pure-spinor quotient, and the source's dilaton/connection convention ; it does not assert an anomaly cancellation.
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 transformation from their canonical charge and equal-time brackets. Their equals here: their equation (3.1) writes the leading integrand without an overall coefficient, whereas here has the outside factor . 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 . Chandía–Vallilo's relation (3.8), charge (3.2), and transformation (3.9) then match the source data above with 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 background and is not transferred here.
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 . The field-dependent coefficient derivative is included. No term outside this partial source channel is assumed to vanish.
Proof
For a fixed curvature component, the fundamental cone vector has divergence : its scale part is , which contributes eight by [F1], and its Spin part contributes zero. Applying to adds ; 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 . This computes the divergence of ; since and the full term is , its stress-tensor pole has the negative of this divergence.
In the scale-curvature formula of [F2], both indices are odd. Setting gives . Substituting yields . This retains the frame term without identifying the frame commutator with torsion. If its contracted coefficient vanishes, the previously displayed directional-derivative specialization follows.
Contracting the two stated simple poles with differentiates twice in the insertion coordinate . The term gives before differentiation, while the term gives ; since , their sum is . Adding the source-current pole identified in step 1.1 gives exactly the stated partial coefficient. No derivative of a coefficient at is used in this simple-pole calculation.
The locally integrable Cauchy kernel has : integration by parts on the complement of a disk gives , with the circle positively oriented. Applying the opposite-chirality FT insertion to the left simple pole uses and yields in the stated Euclidean area normalization. For a test function , distributional integration by parts gives , 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 and ; only their stated FT simple-pole contractions are evaluated here. Other pole orders, target-coefficient contractions, canonical endpoint/momentum partners, the 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
- Oscar A. Bedoya and Osvaldo Chandía, One-loop Conformal Invariance of the Type II Pure Spinor Superstring in a Curved Background
- Nikita Nekrasov, Lectures on Curved Beta-Gamma Systems, Pure Spinors, and Anomalies
- Osvaldo Chandia and Brenno Carlini Vallilo, Non-minimal fields of the pure spinor string in general curved backgrounds