Keyboard shortcuts

Press ← or → to navigate between chapters

Press ? to show this help

Press Esc to hide this help

PositiveMode

Abstract

PositiveMode

This is the finite source-coordinate dependency of full corrected-field inversion. Arbitrary symmetric even integral lattices, rank zero, zero charge, empty supports and indefinite norms remain in scope. No positive energy, ground pairing or Jacobi premise is used.

Theorem 1.1 (sugawara_one_single).

Lean statement: D5/S3/VertexAlgebra/SourceMobius/PositiveMode.sugawara_one_single

Proof. Machine-checked in Lean as D5/S3/VertexAlgebra/SourceMobius/PositiveMode.sugawara_one_single (✓ std3). ∎

Citation. Bojko Bakalov and Victor G. Kac (2004). Twisted Modules over Lattice Vertex Algebras. DOI: 10.1142/9789812702562_0001. URL: https://arxiv.org/abs/math/0402315v1.

Commentary.

The existing current commutator and charged-ground annihilation identify the actual Sugawara mode 1 on every original sector polynomial.

The imported Sugawara architecture retains Kalle Kytola attribution. No literature novelty is claimed. Full all-source corrected-field adjointness, the K_L/K_R coefficient law and the complete Monster, VOA, CFT, fusion, string-theory and AdS/CFT goal remain open.

References