Alphabeta Math
ExampleConstruction: AI-adaptedVerification: AI-adaptedPipeline-generatedprecheck pass
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 H=Q with Δ(q)=q(1⊗1), ε(q)=q, and S(q)=q. The invertible tensor R=2(1⊗1) 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 Q, the one-dimensional algebra H=Q with the displayed Hopf maps, and R=2(1⊗1).

[F1]

Hopf algebras and antipodes: the displayed maps define a Hopf algebra when they satisfy the algebra, coalgebra, and antipode identities.

[F2]

Leg notation and quasitriangular Hopf algebras: QYBE is R12R13R23=R23R13R12, while quasitriangularity also requires both hexagons.

Verification

Given: The rational field and the displayed one-dimensional maps and tensor.

1.1givenF1algebra

Multiplication and unit on H=Q are the usual ones; Δ, ε, and S are the identity scalar maps with the tensor-unit identification. They preserve multiplication and unit, both coalgebra composites send q to q(1⊗1⊗1), both counit contractions return q, and both antipode contractions give q. Thus these maps make H a Hopf algebra.

1.2givenF2algebra

The tensor R has inverse 12(1⊗1). Each leg tensor is 2(1⊗1⊗1), so both sides of QYBE are 8(1⊗1⊗1). Therefore R is an invertible QYBE solution.

1.3givenF2algebra

The first hexagon has left side (Δ⊗id⁡)(R)=2(1⊗1⊗1), whereas R13R23=4(1⊗1⊗1). These tensors differ over Q, so the first hexagon fails and R is not quasitriangular.

2.1step 1.2step 1.3F3∎

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 q, the Uq(sl2) universal R-matrix is an infinite series in a completed tensor product, not an element of the algebraic H⊗H. Its action is a terminating sum on modules where the positive generator e 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