VertexAlgebra / CONCEPT
Actual Neutral-Charged Commutator
Actual neutral and charged fields obey the order-one mixed locality law.
Closed
DIRECT PREREQUISITES3
DIRECT CONSEQUENCES1
PROOF DEPTH8
DOCUMENT LINKS1
The actual all-integer raw commutator
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 Charged Locality and Zero-Rank Casesstructural-affinity · Closed
- Actual Common Kernel and Intermediate Supportsstructural-affinity · Closed
- Actual Current Derivations and Creation Exponentialsstructural-affinity · Closed
- All Actual State Locality and Integer Residuesstructural-affinity · Closed
- Both Actual Charged Ordered Productsstructural-affinity · Closed
- Full Integer Borcherds on the Actual Latticestructural-affinity · Closed
- Ordered Product Localitystructural-affinity · Closed
- The Actual Ungraded Lattice Vertex Algebrastructural-affinity · Closed
Documents & exposition
Other authored & advisory relationships
None recorded in this release.
LIBRARY / RELEASE VERSIONS
Content history
Loading release versions...
Browse the archiveCertified provenance