How statement and proof provenance work
The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.
- Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
- AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
- AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.
These labels describe origin, not correctness: citations and verification chips remain separate evidence.
The trivial one-braid and the grading normalization
Example
Assume AC, inherited from the comparison theorem used to identify the grading dictionary. Let be the trivial braid on one strand: and the reduced ring of The reduced type-A polynomial ring and Soergel bimodules for the HHH construction is (there are no differences), so the generator complex of Khovanov's generator complexes for the HHH construction is the unit complex concentrated in cohomological degree . Hence and the one-strand class sits in tridegree . On the Khovanov-Rozansky side the reduced homology of the unknot is one-dimensional (The reduced Khovanov-Rozansky homology), and its class sits in the raw tridegree of The Khovanov-Rozansky complex and trigraded braid homology before the correction. Therefore the global correction of The Koszul-Hochschild comparison respects crossing differentials and trigradings sends this class to , and the dictionary , , maps to ; both theories have their one-strand generator in tridegree , exactly as the source records. This fixes the global constant in the trigrading dictionary and is the base case of the comparison of HHH is isomorphic to reduced Khovanov-Rozansky homology.
Caveats: the correction is a one-time global shift of the Khovanov-Rozansky trigrading, not a per-diagram normalization; the raw first bigrading comes from the universal row; after the correction it is ; the unreduced theory keeps the trivial -tower and is not one-dimensional, so the identification is made in the reduced theory.
Facts & Assumptions
Given: the trivial one-strand braid , the reduced ring , the unit complex , and the reductions and dictionary of the cited items.
For the reduced ring is with no simple reflections, and the generator complex of the trivial braid is the unit complex concentrated in cohomological degree (The reduced type-A polynomial ring and Soergel bimodules for the HHH construction, Khovanov's generator complexes for the HHH construction).
In Hochschild degree , the termwise Hochschild complex of a coefficient complex concentrated in cohomological degree is the single graded vector space ; the Hochschild chain complex has and with the alternating boundary, and is the coinvariant quotient (The termwise Hochschild complex of a Rouquier complex and the groups HHH, Hochschild chains and Hochschild homology with coefficients).
The reduced Khovanov-Rozansky homology is the construct of the reduced label ring with the coefficient retained; in its raw trigrading the one-strand class of the reduced unknot sits in tridegree , whose image under the global correction is the class ; the unreduced theory is with the trivial variable (The reduced Khovanov-Rozansky homology).
The comparison identifies with the reduced theory by , , after the global correction , and the correction is fixed by the one-strand normalizations (The Koszul-Hochschild comparison respects crossing differentials and trigradings, HHH is isomorphic to reduced Khovanov-Rozansky homology).
Verification
Compute . By [L1] the complex is in cohomological degree ; by [L2] the termwise complex in Hochschild degree is the single space , because is commutative, and the space has internal degree . For the Hochschild chain groups are and the alternating boundary acts on the one-dimensional space as the sum , which is in characteristic zero for even and for odd; hence each boundary is either zero or an isomorphism and for all . Thus the termwise complex is in cohomological degree and internal degree , so in .
The Khovanov-Rozansky side and the correction. By [L3] the reduced unknot class of the one-strand diagram sits in the raw tridegree . The global correction moves it to , and the dictionary of [L4] maps the HHH class to : indeed , and . Thus the two one-strand classes agree in the corrected trigrading.
Fix the global constant. The dictionary is determined up to the global shift that carries the one-strand class of one theory to the class of the other; step 2.1 computes that shift to be exactly the correction used in the dictionary, so no further constant is available: any other correction would move the class away from itself and contradict the identification of the two one-dimensional classes. Caveat: the unreduced theory keeps the tower and is not one-dimensional, so the normalization is a statement about the reduced theories.
Depends on
- HHH is isomorphic to reduced Khovanov-Rozansky homology
- The reduced Khovanov-Rozansky homology
- Khovanov's generator complexes for the HHH construction
- The termwise Hochschild complex of a Rouquier complex and the groups HHH
- Hochschild chains and Hochschild homology with coefficients
- The Koszul-Hochschild comparison respects crossing differentials and trigradings
- The reduced type-A polynomial ring and Soergel bimodules for the HHH construction
- The Axiom of Choice
Used by
Nothing in the library uses this result yet.
Dependency tree · two levels
33 results within two dependency steps of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.
Sources
- Mikhail Khovanov, Triply-graded link homology and Hochschild homology of Soergel bimodules, arXiv:math/0510265v3 (19 printed pages); printed pp. 9-10 (standard reference, not scraped)
- Mikhail Khovanov and Lev Rozansky, Matrix factorizations and link homology II, arXiv:math/0505056v2 (37 printed pages); end of section 1, printed pp. 11-12 (standard reference, not scraped)