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
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 , , target-volume regulator , and torus modulus in a fundamental domain, the formal covariant gauge-fixed one-loop vacuum integrand is, up to a -independent normalization, Here and . The antighost zero modes pair with the two real torus moduli, while the constant zero modes are removed by quotienting translations; the source convention gives the net gauge-fixing factor . The cusp 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: , moduli/ghost zero-mode factor , with the translation CK volume divided out and the holomorphic/antiholomorphic insertions paired with the two real moduli. Normalize the formal ghost oscillator trace by its standard anticommuting Fock supertrace with the zero modes removed; use the zero-mode-saturated ground .
Bosonic Polyakov Model and String Tension Alpha Prime fix the flat model and .
Bosonic Matter Oscillator Modes supplies 26 matter oscillator families before criticality reduction; Critical Dimension Flat Bosonic String conditionally gives and intercept one. Its current Step 1 record is escalated on the missing quantum Lorentz-closure input.
Bosonic Bc Ghost System supplies Grassmann-odd modes with and the local field types and , with independent antiholomorphic partners. The global torus zero-mode dimensions are proved locally in step 2.1.
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.
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.
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 and ; the transformation-law supplier carries countable choice.
Bosonic Bc Ghost Central Charge gives for the exact ghost stress tensor and vacuum convention. Closed Bosonic Lightcone Spectrum conditionally gives with level matching. Its current readiness, like [F2], is escalated; the ground state is interpreted as tachyonic only under that exact input.
Adopt the source gauge-fixing normalization: after pairing the torus zero modes with the two real moduli and quotienting the constant translations, the net zero-mode/moduli factor is . 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.
The Axiom of Choice and The Axiom of Countable Choice () are assumed where required by the imported modular-theta inputs [F6]; the modular quotient is the stated source convention.
Liouville's theorem: every bounded entire function is constant: every bounded entire function is constant.
Proof
For one Euclidean target coordinate, the torus zero-mode momentum trace is by the rescaled Gaussian integral [F8]. Taking 26 independent coordinates and restoring their regulated volume gives . The matter oscillator trace is , because for each chirality each positive oscillator mode has a bosonic geometric trace and the vacuum factor is .
Write , so , and define , and , using . Substituting these arguments into the triple product in [F6] gives , and . The identity follows by splitting the nonzero absolutely convergent product into its even and odd indices and using . Multiplication therefore gives . All products converge locally uniformly for , since the sums of absolute geometric tails converge; their factors are nonzero there. Let as in [F6]. Its full -transformation, evaluated at , respectively, gives , and ; the exponential factors cancel in the last identity and by its integer Fourier series. Taking absolute values in the product identity now yields , hence . Directly from its exponential prefactor and product, , so its magnitude is -invariant. No cube-root phase choice is needed.
On , a holomorphic vector field has lift and a holomorphic quadratic differential has lift , where are entire lattice-periodic functions. Each is bounded on a closed fundamental parallelogram and periodicity makes it bounded on ; [F9] makes each constant. Since and 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 ; the ghost-number supertrace in Given assigns sign to each single occupation, so the factor is . The zero-mode-saturated chiral ground has because and . By [F7], the cylinder shift is , so its ground factor is . The resulting nonzero-mode character is per chirality and in the closed trace. The zero modes are saturated by [F4], the constant modes are removed by the translation quotient, and the remaining factor is exactly the adopted in [A1].
Multiplying the target zero-mode factor, matter oscillators, ghost oscillators, and the gauge-fixing factor in [A1] gives By step 1.2 the eta magnitude transforms with weight , so has modular weight ; contributes weight and contributes weight . These exponents sum to zero, proving invariance of the displayed density under generators , hence on the stated fundamental domain.
As , and the locally uniformly convergent product tends to . Therefore . Independently, [F7] labels the level-matched ground state as having . The exponential cusp growth thus comes from the bosonic tachyon; multiplication by the polynomial 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 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
Local punctured-moduli perturbative amplitude form
Bosonic bc ghost and Beltrami moduli pairing
Bosonic Bc Ghost System
Bosonic Bc Ghost Central Charge
The Gaussian integral
Liouville's theorem: every bounded entire function is constant
Bosonic Matter Oscillator Modes
Bosonic Polyakov Model
String Tension Alpha Prime
Critical Dimension Flat Bosonic String
Closed Bosonic Lightcone Spectrum
The standard fundamental domain, boundary identifications and elliptic stabilisers
Jacobi theta triple product and nonvanishing of the theta constant
Transformation laws of the Jacobi theta function
The Axiom of Countable Choice ()
The Axiom of Choice