VertexAlgebra / CONCEPT
All orders in the formal parameter
Original corrected-field formal Mobius covariance
Closed
DIRECT PREREQUISITES3
DIRECT CONSEQUENCES1
PROOF DEPTH17
DOCUMENT LINKS0
All-source original Mobius coefficient identity
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
Certified topology / DOWNSTREAM
Consequences
RELATED KNOWLEDGE
Structural connections
- Actual Mobius L1 covariancestructural-affinity · Closed
- Actual Sugawara Eigenspaces and Integer Mode Gradingstructural-affinity · Closed
- Direct real selfduality from integer Golay congruencesstructural-affinity · Closed
- Explicit extended Golay codestructural-affinity · Closed
- Finite actual mixed coefficient transport and the Leech vacuum channelstructural-affinity · Closed
- Input translation of the actual normalized two-twisted-input fieldstructural-affinity · Closed
- Integral Gram data from a positive even selfdual real latticestructural-affinity · Closed
- Normalized two-input twisted coefficients in the actual fixed restricted dualstructural-affinity · Closed
- Original finite dual identitystructural-affinity · Closed
- OriginalCarrierstructural-affinity · Closed
- Source-linear opposite field on the actual fixed restricted dualstructural-affinity · Closed
- The actual Golay construction as a positive even unimodular real latticestructural-affinity · Closed
Documents & exposition
None recorded in this release.
Other authored & advisory relationships
None recorded in this release.
LIBRARY / RELEASE VERSIONS
Content history
Loading release versions...
Browse the archiveCertified provenance