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.
Totalizing a two-term twist action
Example
Fix and , let be the twist complex of The twist complexes R_i and R_i^{-1}, with in homological degree and in homological degree , and let be a two-term complex of finitely generated graded projective left -modules, concentrated in homological degrees and with of internal degree . Then the signed totalization of Signed totalization of graded A_m-bimodule actions has exactly four tensor summands, distributed over three homological degrees: with differentials for , and . The two routes from the bottom degree to the top degree cancel: with the sign attached to the column , the composite sends first to and then to .
Facts & Assumptions
Given: An integer , an index , the bimodule with the degree-zero bimodule map , the twist complex with in degree and in degree , and a two-term complex of finite graded projective left -modules with terms and degree-zero differential .
For a bounded complex of graded -bimodules and a bounded complex of graded left -modules the totalization has and total differential for in homological degree ; the sign uses the homological degree of the first factor and never its internal degree (Signed totalization of graded A_m-bimodule actions).
is a degree-zero map of graded -bimodules, and the only nonzero differential of is , and for (The twist complexes R_i and R_i^{-1}, The Khovanov–Seidel bimodule maps β_i and γ_i).
has for and , with because there is no term in degree ; is a degree-zero -linear map (Signed totalization of graded A_m-bimodule actions).
For a graded ring and a graded left -module the unit map , , is a degree-zero isomorphism, so the summands may be read as (Graded associativity, units, and internal-shift tensor isomorphisms).
Proof
The four summands and their degrees. Since has its two terms in degrees and by [F2] and has its two terms in degrees and by [F3], the index pairs with both and nonzero are , and the diagonal of [L1] collects them as for , as for and , and as for ; this gives the three displayed degrees with the four tensor summands , , , .
The differentials. By [L1] the differential on is , which on an elementary tensor is , and the differential on is , since on by [F3]; the differential on is , that is , and on it is because and . No internal degree enters any sign, and all four maps preserve the total internal degree because and are degree-zero maps by [F2] and [F3].
The two routes cancel. For step 1.2 gives , an element of the two summands of degree ; applying to the two pieces separately gives in the first summand and in the second, the latter because on is and ; the two results are negatives of one another, so on the bottom term, and holds trivially because . Hence the four displayed maps make the totalization a complex, as [L1] guarantees in general.
Unit form of the two upper summands. By [L4] the summands and are degree-zero isomorphic to and through the multiplication maps, so the middle term of the totalization may be written as and the top term as , with the differentials and the -component respectively.
Conclusion. A two-term twist complex and a two-term projective complex produce the totalization with the four summands and the differentials of step 1.2, whose square vanishes by the explicit cancellation of step 2.1, and whose two -columns may be read as and by step 2.2. The sign in the bottom differential is the Koszul sign at , that is, it is attached to the homological degree of the first factor and not to any internal degree, which is the point of the construction.
Depends on
Used by
Nothing in the library uses this result yet.
Dependency tree · two levels
23 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 and Paul Seidel, Quivers, Floer Cohomology, and Braid Group Actions, §2c, printed pp. 10-11 (standard reference, not scraped)
- Charles Weibel, An Introduction to Homological Algebra, ch. 10 §10.4, pp. 387-390 (standard reference, not scraped)