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.
Hochschild homology of the rank-one Soergel bimodule
Example
Assume the Axiom of Choice (used only in step 3.1, through the polynomial Hochschild theorem). Take , so that with , and (The reduced type-A polynomial ring and Soergel bimodules for the HHH construction), with the left -basis of degrees and . The one-variable diagonal Koszul complex of The polynomial diagonal Koszul bimodule complex for the single element has terms of internal degrees and . In the displayed basis so the matrix of is and the underlying multiplication on has internal degree ; the displayed map therefore has degree . Hence and for ; the generator of is the class of the symbol times of Khovanov's generator complexes for the HHH construction, of total internal degree because the Koszul symbol has internal degree . This is the rank-one computation used by the source's two-strand example.
Facts & Assumptions
Given: the reduced ring , the bimodule , its left -basis with degrees and , the diagonal element , and AC.
, and is free of rank two on each side with of degree and of degree ; the balancing relation is (The reduced type-A polynomial ring and Soergel bimodules for the HHH construction).
The one-variable diagonal Koszul complex has degree-one term and degree-zero term , differential , and no other terms; the symbol has internal degree and the differential is internal-degree preserving (The polynomial diagonal Koszul bimodule complex).
Under AC, of the coefficient diagonal Koszul complex, naturally in and internal-degree preserving (Polynomial Hochschild homology from the diagonal Koszul complex).
is the degree-zero bimodule map used for the generator complex (Khovanov's generator complexes for the HHH construction).
AC is the choice-function principle (The Axiom of Choice), used only to invoke [L3].
Verification
Compute the differential in the displayed basis. [L1, L2, given, algebra] In the left -basis one has and as the second basis vector, so has coordinates . Using the balancing relation and , has coordinates . The matrix is therefore , with columns the images of the two basis vectors, and both columns are homogeneous of degree since has degree .
Compute kernel and cokernel. [step 1.1, algebra] An element lies in exactly when and ; since is a domain the second equation gives , and the first is then automatic. Hence , free of rank one with generator of degree . The first column generates the image, because the second column equals times the first; the cokernel is therefore free of rank one and the class of is a generator of degree , so with the class of as basis element.
Apply the diagonal theorem and read the Hochschild groups. [L1, L2, L3, L5, step 2.1, algebra] By [L3] applied to , in degree , and . The kernel of has its generator in degree inside ; the shifted term represents the coefficient together with its single Koszul symbol , so its degree is . Thus the class has total internal degree and . For the complex has no terms, so . AC is used only here, in [L3].
Record the normalization. [L1, L4, step 3.1] The generator of is the class of times the symbol, so it is the degree- element shifted by the degree- symbol; the resulting degree is , and no other normalization is asserted. The two other boundary cases are immediate: for there is no symbol and the degree is the degree of the class of , namely ; the complex is empty above .
Depends on
- The reduced type-A polynomial ring and Soergel bimodules for the HHH construction
- Khovanov's generator complexes for the HHH construction
- The termwise Hochschild complex of a Rouquier complex and the groups HHH
- The polynomial diagonal Koszul bimodule complex
- Polynomial Hochschild homology from the diagonal Koszul complex
- The Axiom of Choice
Used by
Dependency tree · two levels
31 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.