Original relative-shell constraints and exact-energy ground target

Abstract

Original relative-shell constraints and exact-energy ground target

Definition 1.1 (Ground.energyTarget).

Lean statement: D5/S3/VertexAlgebra/Lattice/LatticeRelativeBRSTGround.energyTarget

Formalization. D5/S3/VertexAlgebra/Lattice/LatticeRelativeBRSTGround.energyTarget (✓ std3).

Source. Repository-derived.

Commentary.

The complex submodule of transverse polynomials whose nonzero coefficients have exact integer energy weight(nu)+chargeEnergy(D,p)=1. It is defined by coefficient vanishing outside that equality, independently of the shell, groundMap or P0.

References

• Truth anchor: D5/S3/VertexAlgebra/Lattice/LatticeRelativeBRSTGround.energyTarget
• Dependency: D5/S3/HomologicalAlgebra/FinitePerturbation
• Dependency: D5/S3/VertexAlgebra/Lattice/LatticeBRSTFullOriginalRaising
• Dependency: D5/S3/VertexAlgebra/Lattice/LatticeBRSTRelativeZeroMode
• Dependency: D5/S3/VertexAlgebra/Lattice/LatticeBRSTSquare
• Dependency: D5/S3/VertexAlgebra/Lattice/LatticeBRSTWard
• Dependency: D5/S3/VertexAlgebra/Lattice/LatticeMatterGhostDegree
• Dependency: D5/S3/VertexAlgebra/Lattice/LatticeQuartetContraction
• Dependency: D5/S3/VertexAlgebra/Lattice/LatticeRelativeMassShell
• Dependency: D5/S3/VertexAlgebra/Lattice/LatticeRelativeShellDegreeBounds