Alphabeta Math
ExampleConstruction: Literature-sourcedVerification: AI-adaptedPipeline-generatedprecheck passjudge pass (gpt-6-luna)verified 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.

Critical bosonic torus vacuum integrand with covariant ghost factors

Physical scope

Formal covariant gauge-fixed torus trace in the critical flat bosonic model, with explicit b/c zero-mode and translation quotient normalization; the integral diverges at the bosonic tachyon cusp.

Statement

In the adopted flat critical closed bosonic model with D=26, α′>0, target-volume regulator V26, and torus modulus τ=τ1+iτ2 in a PSL(2,Z) fundamental domain, the formal covariant gauge-fixed one-loop vacuum integrand is, up to a τ-independent normalization, V26(4π2α′)−13 d2τ τ2−14∣η(τ)∣−48. Here q=e2πiτ and η(τ)=q1/24∏n≥1(1−qn). The antighost zero modes pair with the two real torus moduli, while the constant c zero modes are removed by quotienting translations; the source convention gives the net gauge-fixing factor d2τ/(4τ2). The cusp τ2→∞ diverges exponentially because the closed bosonic ground state is tachyonic. This is a formal integrand, not a finite vacuum energy or a construction of a global functional measure.

Facts & Assumptions

Given: A flat critical closed bosonic Polyakov model, Wick-rotated target momentum integral, a target-volume regulator, the conventional torus quotient, and the following explicit gauge-fixing convention: d2τ=dτ1dτ2, moduli/ghost zero-mode factor d2τ/(4τ2), with the translation CK volume divided out and the holomorphic/antiholomorphic b insertions paired with the two real moduli. Normalize the formal ghost oscillator trace by its standard anticommuting bc Fock supertrace with the zero modes removed; use the zero-mode-saturated ground c1∣0⟩.

[F1]

Bosonic Polyakov Model and String Tension Alpha Prime fix the flat model and α′>0.

[F2]

Bosonic Matter Oscillator Modes supplies 26 matter oscillator families before criticality reduction; Critical Dimension Flat Bosonic String conditionally gives D=26 and intercept one. Its current Step 1 record is escalated on the missing quantum Lorentz-closure input.

[F3]

Bosonic Bc Ghost System supplies Grassmann-odd modes with {bm,cn}=δm+n,0 and the local field types b(z)dz2 and c(z)∂z, with independent antiholomorphic partners. The global torus zero-mode dimensions are proved locally in step 2.1.

[F4]

Bosonic bc ghost and Beltrami moduli pairing defines the antighost pairing with a supplied Beltrami direction and requires a separate conformal-Killing zero-mode prescription. The torus pairing, translation quotient and their normalization are the data in Given and [A1]; the required zero-mode dimensions are established in step 2.1.

[F5]

Local punctured-moduli perturbative amplitude form is only a local chartwise form, so the torus integrand below is a formal gauge-fixed Fock trace with the above normalization, not a theorem about a global functional measure.

[F6]

The standard fundamental domain, boundary identifications and elliptic stabilisers gives a fundamental domain for the modular action. Jacobi theta triple product and nonvanishing of the theta constant and Transformation laws of the Jacobi theta function imply ∣η(−1/τ)∣=∣τ∣1/2∣η(τ)∣ and ∣η(τ+1)∣=∣η(τ)∣; the transformation-law supplier carries countable choice.

[F7]

Bosonic Bc Ghost Central Charge gives cgh=−26 for the exact ghost stress tensor and vacuum convention. Closed Bosonic Lightcone Spectrum conditionally gives α′M2/4=N−1 with level matching. Its current readiness, like [F2], is escalated; the ground state N=N~=0 is interpreted as tachyonic only under that exact input.

[A1]

Adopt the source gauge-fixing normalization: after pairing the torus b zero modes with the two real moduli and quotienting the constant c translations, the net zero-mode/moduli factor is d2τ/(4τ2). Weigand derives the moduli and CK setup and quotes the final ghost factor; this coefficient is carried as a declared normalization, not derived from a global determinant.

[A2]

The Axiom of Choice and The Axiom of Countable Choice (ACω) are assumed where required by the imported modular-theta inputs [F6]; the modular quotient is the stated source convention.

[F8]

The Gaussian integral ∫−∞∞e−x2 dx=π: ∫−∞∞e−x2 dx=π.

[F9]

Liouville's theorem: every bounded entire function is constant: every bounded entire function is constant.

Proof

1.1givenF1F2F8algebra

For one Euclidean target coordinate, the torus zero-mode momentum trace is ∫Rdk2πe−πα′τ2k2=(4π2α′τ2)−1/2 by the rescaled Gaussian integral [F8]. Taking 26 independent coordinates and restoring their regulated volume gives V26(4π2α′τ2)−13. The matter oscillator trace is ∣q∣−26/12∏n≥1∣1−qn∣−52=∣η(τ)∣−52, because for each chirality each positive oscillator mode has a bosonic geometric trace (1−qn)−1 and the vacuum factor is q−26/24.

1.2F6A2algebra

Write Q=eπiτ, so q=Q2, and define θ3=Θ(0∣τ), θ4=Θ(1/2∣τ) and θ2=Q1/4Θ(τ/2∣τ)=∑n∈ZQ(n+1/2)2, using Qa:=eπiaτ. Substituting these arguments into the triple product in [F6] gives θ2=2Q1/4∏n≥1(1−qn)(1+qn)2, θ3=∏n≥1(1−qn)(1+Q2n−1)2 and θ4=∏n≥1(1−qn)(1−Q2n−1)2. The identity ∏n≥1(1+qn)∏n≥1(1−q2n−1)=1 follows by splitting the nonzero absolutely convergent product ∏n≥1(1−qn) into its even and odd indices and using 1+qn=(1−q2n)/(1−qn). Multiplication therefore gives θ2θ3θ4=2Q1/4∏n≥1(1−qn)3=2η(τ)3. All products converge locally uniformly for Im⁡τ>0, since the sums of absolute geometric tails converge; their factors are nonzero there. Let s(τ)=exp⁡(12Log⁡(τ/i)) as in [F6]. Its full z-transformation, evaluated at z=0,1/2,−1/(2τ), respectively, gives θ3(−1/τ)=sθ3(τ), θ4(−1/τ)=sθ2(τ) and θ2(−1/τ)=sθ4(τ); the exponential factors cancel in the last identity and Θ(−1/2∣τ)=Θ(1/2∣τ) by its integer Fourier series. Taking absolute values in the product identity now yields ∣η(−1/τ)∣3=∣s∣3∣η(τ)∣3, hence ∣η(−1/τ)∣=∣τ∣1/2∣η(τ)∣. Directly from its exponential prefactor and q product, η(τ+1)=eπi/12η(τ), so its magnitude is T-invariant. No cube-root phase choice is needed.

2.1givenF3F4F7F9A1step 1.1algebra

On Στ=C/(Z+τZ), a holomorphic vector field has lift f(z)∂z and a holomorphic quadratic differential has lift g(z)dz2, where f,g are entire lattice-periodic functions. Each is bounded on a closed fundamental parallelogram and periodicity makes it bounded on C; [F9] makes each constant. Since ∂z and dz2 are nonzero global sections, each zero-mode space is exactly one-dimensional in a chirality. For the nonzero modes, the CAR in [F3] give two fermionic occupation modes at each positive integer n; the ghost-number supertrace in Given assigns sign −1 to each single occupation, so the factor is (1−qn)2. The zero-mode-saturated chiral ground c1∣0⟩ has L0=−1 because [L0,c1]=−c1 and L0∣0⟩=0. By [F7], the cylinder shift is −cgh/24=26/24, so its ground factor is q−1+26/24=q1/12. The resulting nonzero-mode character is η(τ)2 per chirality and ∣η(τ)∣4 in the closed trace. The b zero modes are saturated by [F4], the constant c modes are removed by the translation quotient, and the remaining factor is exactly the adopted d2τ/(4τ2) in [A1].

3.1F4F5F6A1A2step 1.1step 2.1step 1.2algebra

Multiplying the target zero-mode factor, matter oscillators, ghost oscillators, and the gauge-fixing factor in [A1] gives d2τ4τ2V26(4π2α′τ2)−13∣η∣−52∣η∣4∝V26(4π2α′)−13d2τ τ2−14∣η∣−48. By step 1.2 the eta magnitude transforms with weight 1/2, so ∣η∣−48 has modular weight −24; τ2−14 contributes weight +28 and d2τ contributes weight −4. These exponents sum to zero, proving invariance of the displayed density under generators S,T, hence on the stated fundamental domain.

4.1F6F7step 3.1algebra∎

As τ2→∞, ∣q∣=e−2πτ2→0 and the locally uniformly convergent product ∏n≥1(1−qn) tends to 1. Therefore ∣η∣−48=∣q∣−2(1+o(1))=e4πτ2(1+o(1)). Independently, [F7] labels the level-matched ground state N=N~=0 as having M2=−4/α′. The exponential cusp growth thus comes from the bosonic tachyon; multiplication by the polynomial τ2−14 remains nonintegrable, so the vacuum integral diverges. No finite vacuum energy is claimed.

Remarks

Tong explicitly calls the uncorrected light-cone torus derivation dishonest about zero modes. This calculation instead states the covariant b/c insertions, the two torus moduli, the residual translation quotient and its normalization, then derives the matter/ghost oscillator factors in a formal Fock trace. The gauge-fixed factor is an adopted normalization, not a newly proved global path-integral measure. The criticality/spectrum inputs remain escalated.

Depends on

Dependency tree · 2 levels

Sources