VertexAlgebra / CONCEPT
Actual Tensor Ground Intersection
Nonnegative actual currents force every nonzero invariant tensor submodule to meet the selected finite ground.
Closed
DIRECT PREREQUISITES6
DIRECT CONSEQUENCES1
PROOF DEPTH12
DOCUMENT LINKS0
A nonzero current-stable tensor submodule contains a nonzero ground tensor
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
- Actual arbitrary-ground tensor operators and supported half fieldstruth-dependency · Closed
- Actual Charged Tensor Laurent Coefficientstruth-dependency · Closed
- Actual Current Derivations and Creation Exponentialstruth-dependency · Closed
- Actual Lattice Currents and Sugawara Coefficientstruth-dependency · Closed
- Conditional Polynomial Rigiditytruth-dependency · Closed
- The Reflection-Twisted Lattice Ground Representationtruth-dependency · Closed
Certified topology / DOWNSTREAM
Consequences
RELATED KNOWLEDGE
Structural connections
- Actual arbitrary-ground tensor operators and supported half fieldsstructural-affinity · Closed
- Actual Charged Tensor Laurent Coefficientsstructural-affinity · Closed
- Actual Current Derivations and Creation Exponentialsstructural-affinity · Closed
- Actual Half-Fock Normal Fieldsstructural-affinity · Closed
- Actual Lattice Currents and Sugawara Coefficientsstructural-affinity · Closed
- Conditional Polynomial Rigiditystructural-affinity · Closed
- From raw coefficients to every oscillator and ground vectorstructural-affinity · Closed
- The Reflection-Twisted Lattice Ground Representationstructural-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