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.
An invertible Yang–Baxter solution that is not a universal R-matrix
Example
Take the one-dimensional Hopf algebra with , , and . The invertible tensor satisfies the quantum Yang–Baxter equation but is not quasitriangular: its first hexagon fails. Thus even invertibility and QYBE do not replace the coproduct compatibility and both hexagons in the definition of a universal R-matrix.
Facts & Assumptions
Given: The field , the one-dimensional algebra with the displayed Hopf maps, and .
Hopf algebras and antipodes: the displayed maps define a Hopf algebra when they satisfy the algebra, coalgebra, and antipode identities.
Leg notation and quasitriangular Hopf algebras: QYBE is , while quasitriangularity also requires both hexagons.
Counit normalization and the Yang–Baxter identity for a quasitriangular structure: every quasitriangular structure satisfies QYBE.
Verification
Given: The rational field and the displayed one-dimensional maps and tensor.
Multiplication and unit on are the usual ones; , , and are the identity scalar maps with the tensor-unit identification. They preserve multiplication and unit, both coalgebra composites send to , both counit contractions return , and both antipode contractions give . Thus these maps make a Hopf algebra.
The tensor has inverse . Each leg tensor is , so both sides of QYBE are . Therefore is an invertible QYBE solution.
The first hexagon has left side , whereas . These tensors differ over , so the first hexagon fails and is not quasitriangular.
By [F3], every quasitriangular element must satisfy QYBE, and step 1.2 gives an invertible QYBE solution for which step 1.3 fails a defining hexagon. Hence QYBE is necessary but not sufficient for quasitriangularity.
Remarks
For generic or formal , the universal -matrix is an infinite series in a completed tensor product, not an element of the algebraic . Its action is a terminating sum on modules where the positive generator acts locally nilpotently; this includes all finite-dimensional representations. This is a separate completed construction, not an instance of the finite-tensor definition above; see Etingof–Semenyakin, §3.7.3, Remark 3.41, printed p. 22.
Depends on
Used by
Nothing in the library uses this result yet.
Dependency tree · two levels
8 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
- Kalle Kytölä, Introduction to Hopf Algebras and Representations (Helsinki lecture notes, Spring 2011) (standard reference, not scraped)
- Pavel Etingof and Mykola Semenyakin, A Brief Introduction to Quantum Groups, arXiv:2106.05252v3 (2024) (standard reference, not scraped)