VertexAlgebra / CONCEPT
The actual Leech lattice and the original hyperbolic plane
The actual Leech lattice and the original hyperbolic plane
Closed
DIRECT PREREQUISITES2
DIRECT CONSEQUENCES0
PROOF DEPTH8
DOCUMENT LINKS0
The exact actual inclusion range
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
Certified topology / DOWNSTREAM
Consequences
None recorded in this release.
RELATED KNOWLEDGE
Structural connections
- Actual Common Kernel and Intermediate Supportsstructural-affinity · Closed
- Actual Current Derivations and Creation Exponentialsstructural-affinity · Closed
- Actual half currents and finite Sugawara normal sumsstructural-affinity · Closed
- Actual Leech Charges and Low Sugawara Spectrumstructural-affinity · Closed
- Both Actual Charged Ordered Productsstructural-affinity · Closed
- Finite Coefficient Convolutionsstructural-affinity · Closed
- Ordered integral hyperbolic extensionstructural-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