Quasitriangular Hopf algebra: Difference between revisions
Fixed typo Tags: canned edit summary Mobile app edit |
Adamnemecek (talk | contribs) added link to R-matrix |
||
(4 intermediate revisions by 3 users not shown) | |||
Line 16: | Line 16: | ||
:<math>\phi_{23}(a \otimes b) = 1 \otimes a \otimes b.</math> |
:<math>\phi_{23}(a \otimes b) = 1 \otimes a \otimes b.</math> |
||
''R'' is called the R-matrix. |
''R'' is called the [[R-matrix]]. |
||
As a consequence of the properties of quasitriangularity, the R-matrix, ''R'', is a solution of the [[ |
As a consequence of the properties of quasitriangularity, the R-matrix, ''R'', is a solution of the [[Yang–Baxter equation]] (and so a [[Module (mathematics)|module]] ''V'' of ''H'' can be used to determine quasi-invariants of [[braid theory|braids]], [[knot (mathematics)|knots]] and [[link (knot theory)|links]]). Also as a consequence of the properties of quasitriangularity, <math>(\epsilon \otimes 1) R = (1 \otimes \epsilon) R = 1 \in H</math>; moreover |
||
<math>R^{-1} = (S \otimes 1)(R)</math>, <math>R = (1 \otimes S)(R^{-1})</math>, and <math>(S \otimes S)(R) = R</math>. One may further show that the |
<math>R^{-1} = (S \otimes 1)(R)</math>, <math>R = (1 \otimes S)(R^{-1})</math>, and <math>(S \otimes S)(R) = R</math>. One may further show that the |
||
antipode ''S'' must be a linear isomorphism, and thus ''S<sup>2</sup>'' is an automorphism. In fact, ''S<sup>2</sup>'' is given by conjugating by an invertible element: <math>S^2(x)= u x u^{-1}</math> where <math>u := m (S \otimes 1)R^{21}</math> (cf. [[Ribbon Hopf algebra]]s). |
antipode ''S'' must be a linear isomorphism, and thus ''S<sup>2</sup>'' is an automorphism. In fact, ''S<sup>2</sup>'' is given by conjugating by an invertible element: <math>S^2(x)= u x u^{-1}</math> where <math>u := m (S \otimes 1)R^{21}</math> (cf. [[Ribbon Hopf algebra]]s). |
||
It is possible to construct a quasitriangular Hopf algebra from a Hopf algebra and its dual, using the [[Vladimir Drinfeld|Drinfeld]] quantum double construction. |
It is possible to construct a quasitriangular Hopf algebra from a Hopf algebra and its dual, using the [[Vladimir Drinfeld|Drinfeld]] quantum double construction. |
||
If the Hopf algebra ''H'' is quasitriangular, then the category of modules over ''H'' is braided with braiding |
|||
:<math>c_{U,V}(u\otimes v) = T \left( R \cdot (u \otimes v )\right) = T \left( R_1 u \otimes R_2 v\right) </math>. |
|||
==Twisting== |
==Twisting== |
||
The property of being a [[quasi-triangular Hopf algebra]] is preserved by [[Quasi-bialgebra#Twisting|twisting]] via an invertible element <math> F = \sum_i f^i \otimes f_i \in \mathcal{A \otimes A} </math> such that <math> (\varepsilon \otimes id )F = (id \otimes \varepsilon)F = 1 </math> and satisfying the cocycle condition |
The property of being a [[quasi-triangular Hopf algebra]] is preserved by [[Quasi-bialgebra#Twisting|twisting]] via an invertible element <math> F = \sum_i f^i \otimes f_i \in \mathcal{A \otimes A} </math> such that <math> (\varepsilon \otimes id )F = (id \otimes \varepsilon)F = 1 </math> and satisfying the cocycle condition |
||
:<math> (F \otimes 1) \ |
:<math> (F \otimes 1) \cdot (\Delta \otimes id)( F) = (1 \otimes F) \cdot (id \otimes \Delta)( F) </math> |
||
Furthermore, <math> u = \sum_i f^i S(f_i)</math> is invertible and the twisted antipode is given by <math>S'(a) = u S(a)u^{-1}</math>, with the twisted comultiplication, R-matrix and co-unit change according to those defined for the [[quasi-triangular quasi-Hopf algebra]]. Such a twist is known as an admissible (or Drinfeld) twist. |
Furthermore, <math> u = \sum_i f^i S(f_i)</math> is invertible and the twisted antipode is given by <math>S'(a) = u S(a)u^{-1}</math>, with the twisted comultiplication, R-matrix and co-unit change according to those defined for the [[quasi-triangular quasi-Hopf algebra]]. Such a twist is known as an admissible (or Drinfeld) twist. |
||
Line 40: | Line 43: | ||
== References == |
== References == |
||
* {{cite book | last=Montgomery | first=Susan | authorlink=Susan Montgomery | title=Hopf algebras and their actions on rings | series=Regional Conference Series in Mathematics | volume=82 | location=Providence, RI | publisher=[[American Mathematical Society]] | year=1993 | isbn=0-8218-0738-2 | zbl=0793.16029 }} |
* {{cite book | last=Montgomery | first=Susan | authorlink=Susan Montgomery | title=Hopf algebras and their actions on rings | series=Regional Conference Series in Mathematics | volume=82 | location=Providence, RI | publisher=[[American Mathematical Society]] | year=1993 | isbn=0-8218-0738-2 | zbl=0793.16029 }} |
||
* {{cite book |authorlink=Susan Montgomery |first=Susan | last=Montgomery | authorlink2=Hans-Jürgen Schneider |first2=Hans-Jürgen |last2=Schneider |title=New directions in Hopf algebras | series=Mathematical Sciences Research Institute Publications | volume=43 | publisher= |
* {{cite book |authorlink=Susan Montgomery |first=Susan | last=Montgomery | authorlink2=Hans-Jürgen Schneider |first2=Hans-Jürgen |last2=Schneider |title=New directions in Hopf algebras | series=Mathematical Sciences Research Institute Publications | volume=43 | publisher=Cambridge University Press | year=2002 | isbn=978-0-521-81512-3 | zbl=0990.00022 }} |
||
{{DEFAULTSORT:Quasitriangular Hopf Algebra}} |
{{DEFAULTSORT:Quasitriangular Hopf Algebra}} |
Latest revision as of 18:29, 19 September 2023
This article needs additional citations for verification. (December 2009) |
In mathematics, a Hopf algebra, H, is quasitriangular[1] if there exists an invertible element, R, of such that
- for all , where is the coproduct on H, and the linear map is given by ,
- ,
- ,
where , , and , where , , and , are algebra morphisms determined by
R is called the R-matrix.
As a consequence of the properties of quasitriangularity, the R-matrix, R, is a solution of the Yang–Baxter equation (and so a module V of H can be used to determine quasi-invariants of braids, knots and links). Also as a consequence of the properties of quasitriangularity, ; moreover , , and . One may further show that the antipode S must be a linear isomorphism, and thus S2 is an automorphism. In fact, S2 is given by conjugating by an invertible element: where (cf. Ribbon Hopf algebras).
It is possible to construct a quasitriangular Hopf algebra from a Hopf algebra and its dual, using the Drinfeld quantum double construction.
If the Hopf algebra H is quasitriangular, then the category of modules over H is braided with braiding
- .
Twisting
[edit]The property of being a quasi-triangular Hopf algebra is preserved by twisting via an invertible element such that and satisfying the cocycle condition
Furthermore, is invertible and the twisted antipode is given by , with the twisted comultiplication, R-matrix and co-unit change according to those defined for the quasi-triangular quasi-Hopf algebra. Such a twist is known as an admissible (or Drinfeld) twist.
See also
[edit]Notes
[edit]References
[edit]- Montgomery, Susan (1993). Hopf algebras and their actions on rings. Regional Conference Series in Mathematics. Vol. 82. Providence, RI: American Mathematical Society. ISBN 0-8218-0738-2. Zbl 0793.16029.
- Montgomery, Susan; Schneider, Hans-Jürgen (2002). New directions in Hopf algebras. Mathematical Sciences Research Institute Publications. Vol. 43. Cambridge University Press. ISBN 978-0-521-81512-3. Zbl 0990.00022.