Original tensor Borcherds support and Pascal calculus

Abstract

Original tensor Borcherds support and Pascal calculus

Pointwise Hahn orders bound the actual inner actions on the original tensor carrier. The three support families are finite before any finsum operation. Finite shift/Pascal calculations prove the discrepancy recurrence in all three integer indices. All lemmas are private consumed helpers of the unrestricted Borcherds theorem, with no unused iterate-equivalence wrappers. These calculations retain the completed tensor supplier and Scott Carnahan Apache-2.0 attribution; the ghost supplier supplies coefficient conventions, with no transport between carriers.

References

• Dependency: D5/S3/VertexAlgebra/BinomialKernelDelta
• Dependency: D5/S3/VertexAlgebra/Lattice/LatticeMatterGhostStateField
• Dependency: D5/S3/VertexAlgebra/StateFieldResidueReconstruction