Math 2.0

Associative rings and algebras Definition

Yang–Baxter equation

Builds on Vector spaceTensor product of vector spaces

Definition

Let VV be a vector space over a field kk and let R ⁣:V⊗V→V⊗VR \colon V \otimes V \to V \otimes V be a linear map, where ⊗\otimes is the tensor product over kk. Define linear maps of V⊗V⊗VV \otimes V \otimes V by R12=R⊗id⁡VR_{12} = R \otimes \id_V and R23=id⁡V⊗RR_{23} = \id_V \otimes R. Let R13R_{13} act as RR on the first and third factors and as the identity on the second. If τ23\tau_{23} swaps the second and third factors, then R13=τ23R12τ23R_{13} = \tau_{23} R_{12} \tau_{23}. The map RR satisfies the (quantum) Yang–Baxter equation if R12R13R23=R23R13R12.R_{12} R_{13} R_{23} = R_{23} R_{13} R_{12}.

Remarks

Let τ ⁣:V⊗V→V⊗V\tau \colon V \otimes V \to V \otimes V be the flip u⊗v↦v⊗uu \otimes v \mapsto v \otimes u and c=τ∘Rc = \tau \circ R. Then RR satisfies the Yang–Baxter equation if and only if cc satisfies the braid relation c12c23c12=c23c12c23c_{12} c_{23} c_{12} = c_{23} c_{12} c_{23}, with c12=c⊗id⁡Vc_{12} = c \otimes \id_V and c23=id⁡V⊗cc_{23} = \id_V \otimes c. Example: R=τR = \tau. On u⊗v⊗wu \otimes v \otimes w, the left side sends it through u⊗w⊗vu \otimes w \otimes v and v⊗w⊗uv \otimes w \otimes u to w⊗v⊗uw \otimes v \otimes u. The right side sends it through v⊗u⊗wv \otimes u \otimes w and w⊗u⊗vw \otimes u \otimes v to w⊗v⊗uw \otimes v \otimes u, so the two sides agree. Example and non-example: let R=A⊗BR = A \otimes B for linear maps A,B ⁣:V→VA, B \colon V \to V. Then R12R13R23=A2⊗BA⊗B2R_{12} R_{13} R_{23} = A^2 \otimes BA \otimes B^2 and R23R13R12=A2⊗AB⊗B2R_{23} R_{13} R_{12} = A^2 \otimes AB \otimes B^2. If AB=BAAB = BA the equation holds. If A,BA, B are invertible and AB≠BAAB \ne BA, it fails, because A2⊗(BA−AB)⊗B2≠0A^2 \otimes (BA - AB) \otimes B^2 \ne 0. Versions with a spectral parameter, R(u)R(u) depending on u∈ℂu \in \C, are also called Yang–Baxter equations.

Reading path

To understand this page from the ground up, read these 3 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Tensor product of vector spaces concept
  2. Vector space definition
  3. Yang–Baxter equation definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Yang%E2%80%93Baxter_equation
About this page
TagBE6YFV3XP9
URIm2://BE6YFV3XP9
Kinddefinition
WritingW0 stub
MSC16T25, 81R12, 82B23
DefinesYang–Baxter equation
UsesVector space, Tensor product of vector spaces

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.