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 full boundary twist acts on LKB by the scalar q to two n t squared
Statement
Assume AC. Let be the full twist of and let be the representation of The Lawrence-Krammer-Bigelow representation. Then the normalized lift of acts on the absolute module by the scalar : For , the scalar equals the identity of only for . Equivalently, in Krammer's fraction-field model with basis one has , and applying this identity twice multiplies every basis element by . For the absolute module is zero and every scalar induces its identity; the detection clause is not asserted in that rank.
Facts & Assumptions
Given: the full twist of , the representation of The Lawrence-Krammer-Bigelow representation, and the Krammer fraction-field model of Krammer's seven-case formula (Krammer 2002, Section 3).
(Krammer 2002, Lemma 3.2.) In the fraction-field model over one has for all .
The integral LKB module is free of rank n choose two together with Bigelow 2002, Section 4.2: the natural map is injective, and there is a -module isomorphism after extending scalars; the two integral lattices are not identified.
Bigelow 2001, Section 3.2 (final paragraph) records the geometric check and in the source's sign convention, exhibiting the same scalar .
Proof
For the representation definition supplies the zero absolute module; all stated action identities hold there, without detecting any exponent. For the remaining proof assume . The scalar identity in the fraction-field model. Fix and write , , so that and the assignment is an involution of the set of pairs. Applying [F1] to the pair gives ; applying [F1] to the pair gives , because the pair associated with is again . Combining the two identities, since , so . As runs over all pairs, every basis element of the fraction-field model is an eigenvector of with eigenvalue , so , a matrix identity whose entries lie in .
Transfer to the absolute integral module. By [F2] the scalar extension is isomorphic to as a -module, and the isomorphism intertwines the two actions of . Hence step 1.1 shows that acts on by the scalar . Let . The normalized lift of gives because the action preserves the integral lattice, and by definition of the scalar extension its image in equals times the image of . Both classes lie in the image of the integral lattice, and the natural map is injective by [F2]; therefore already in . As was arbitrary, .
Powers and nontriviality. Multiplying the scalar identity, for every one has ; the same identity with follows by inverting the scalar , and inverting again gives the stated formula for every . Since , the free module has a nonzero basis vector. If were the identity matrix, equality on that vector would imply the two Laurent monomials and would be equal in ; distinct monomials with distinct exponent vectors are distinct elements of , so and .
The Bigelow sign convention. The source's geometric computation [F3] exhibits the eigenvalue of on the class of the standard -fork as a unit multiple of ; the two computations agree on the scalar and differ only in the fixed unit contributed by the normalization of the pairing, which is immaterial for the matrix identity above.
Depends on
Used by
Dependency tree · two levels
12 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
- Krammer, Braid groups are linear, Ann. of Math. 155 (2002) 131-156 (standard reference, not scraped)
- Bigelow, The Lawrence-Krammer representation, arXiv:math/0204057v1 (standard reference, not scraped)
- Bigelow, Braid groups are linear, J. Amer. Math. Soc. 14 (2001) 471-486 (standard reference, not scraped)