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.
A braiding alone does not define a link trace
Statement refuted
The claim refuted is: a braiding on a monoidal category suffices to define a link trace, that is, to evaluate the closure of every braid. In with the transposition braiding the canonical braid actions exist by An object of a braided category carries canonical braid actions, but the categorical closure of even the one-braid has no value: closing a band requires evaluation and coevaluation maps, which exist only for dualizable objects, and has no dual (as proved below from the finite tensor sum and zig-zag identity). Even for rigid categories the braiding and chosen duals need not determine one ribbon evaluation: over a field of characteristic , finite-dimensional super vector spaces with their sign braiding admit both the identity twist and the parity twist. On the odd line these give respective unknot evaluations and , as computed below. Thus neither existence in a non-rigid category nor uniqueness of a ribbon evaluation in a rigid one follows from a braiding alone.
Facts & Assumptions
Given: the symmetric monoidal category with the transposition braiding, its infinite-dimensional object , and the one-braid .
A braiding alone yields canonical braid actions , with no further structure (An object of a braided category carries canonical braid actions).
The trace formulas require evaluation and coevaluation maps, and a closure evaluation is typed on a morphism into a double dual; the pivotal comparison used for closures is , where is the Drinfeld morphism and the twist. The Drinfeld morphism need not be monoidal; its tensor obstruction is precisely the double braiding (The ribbon evaluation of an -colored closed braid, A braided rigid category has a Drinfeld morphism).
Ribbon twists obey balancing and dual-compatibility (Twist and ribbon structure), and the left trace is the evaluation--coevaluation composite of The categorical trace of a morphism into the double dual.
A left dual has evaluation and coevaluation maps satisfying the zig-zag identities (Left dual and right dual object). Every element of an algebraic tensor product is a finite sum of elementary tensors (The tensor product from the additive group underlying the free -module on , elementary tensors, and finite tensor sums).
Counterexample
The braiding already gives the actions. In with the transposition braiding the canonical actions of [F1] exist for every , even though the category is not rigid. Hence whatever is missing from a link trace is not the braid action.
The closure of the one-braid has no value in the non-rigid model. For the object coloring the band, the left trace of begins with , applies , and ends with [F2, F4]. If had a left dual , write , a finite sum by [F3]. The zig-zag identity would give for every , putting all of in the finite-dimensional span of the . The monomials are linearly independent, so this is impossible. The right-dual version is the same mirror argument. Therefore the closure of has no categorical trace value for , and a braiding alone does not evaluate it.
A rigid model with two different ribbon evaluations. Take finite-dimensional -graded vector spaces over a field of characteristic , with even linear maps and . Graded duals, ordinary evaluation and basis coevaluation obey the zig-zags. The sign rule is natural, and both hexagons follow from ; the double braiding is the identity. Both and are natural monoidal automorphisms preserving duals, hence ribbon twists by [F4]. On the odd line with odd dual basis , the Drinfeld composite of [F2] sends to : its sole crossing is . Thus and under the usual double-dual identification; coevaluation and evaluation give left traces and . The same braiding and duals therefore give different ribbon unknot values.
Conclusion. The non-rigid witness lacks the dual pair needed for closure, and the rigid witness has two different ribbon evaluations for the same braiding and chosen duals. Hence it does not suffice to define a link trace, and the claim is refuted.
Depends on
- A braided rigid category has a Drinfeld morphism
- The ribbon evaluation of an $X$-colored closed braid
- Left dual and right dual object
- The tensor product $M\otimes_R N$ from the additive group underlying the free $\mathbb Z$-module on $M\times N$, elementary tensors, and finite tensor sums
- Absolutely simple objects
- An object of a braided category carries canonical braid actions
- Twist and ribbon structure
- The categorical trace of a morphism into the double dual
Used by
Nothing in the library uses this result yet.
Dependency tree · two levels
29 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.