|
|
| Line 1: |
Line 1: |
| {{Refimprove|date=December 2009}}
| | Nice to satisfy you, I am Marvella Shryock. Years in the past we moved to Puerto Rico and [http://forums.cellphonedge.com/groups/valuable-guidance-for-successfully-treating-candidiasis/ check out the post right here] my family members enjoys it. One of the issues she enjoys most is to read comics and she'll be beginning something else along with [http://computerrepairredlands.com/solid-advice-terms-candida-albicans/ computerrepairredlands.com] it. In her expert life she is a [http://ohnotheydidnt.livejournal.com/49721712.html payroll clerk] but she's always needed her own business.<br><br>std home [http://Cervicalcancer.about.com/od/screening/f/genital_warts.htm test Feel] free to surf to at home std testing home std test kit my homepage; [http://www.bluecomtech.com/3dp/index.php?document_srl=701711&mid=bbs_firmware http://www.bluecomtech.com/3dp/index.php?document_srl=701711&mid=bbs_firmware] |
| In [[mathematics]], a [[Hopf algebra]], ''H'', is '''quasitriangular'''<ref>Montgomery & Schneider (2002), {{Google books quote|id=I3IK9U5Co_0C|page=72|text=Quasitriangular|p. 72}}.</ref> if [[there exists]] an [[inverse element|invertible]] element, ''R'', of <math>H \otimes H</math> such that
| |
| | |
| :*<math>R \ \Delta(x) = (T \circ \Delta)(x) \ R</math> for all <math>x \in H</math>, where <math>\Delta</math> is the coproduct on ''H'', and the linear map <math>T : H \otimes H \to H \otimes H</math> is given by <math>T(x \otimes y) = y \otimes x</math>,
| |
| | |
| :*<math>(\Delta \otimes 1)(R) = R_{13} \ R_{23}</math>,
| |
| | |
| :*<math>(1 \otimes \Delta)(R) = R_{13} \ R_{12}</math>,
| |
| | |
| where <math>R_{12} = \phi_{12}(R)</math>, <math>R_{13} = \phi_{13}(R)</math>, and <math>R_{23} = \phi_{23}(R)</math>, where <math>\phi_{12} : H \otimes H \to H \otimes H \otimes H</math>, <math>\phi_{13} : H \otimes H \to H \otimes H \otimes H</math>, and <math>\phi_{23} : H \otimes H \to H \otimes H \otimes H</math>, are algebra [[morphism]]s determined by
| |
| | |
| :<math>\phi_{12}(a \otimes b) = a \otimes b \otimes 1,</math> | |
| | |
| :<math>\phi_{13}(a \otimes b) = a \otimes 1 \otimes b,</math>
| |
| | |
| :<math>\phi_{23}(a \otimes b) = 1 \otimes a \otimes b.</math>
| |
| | |
| ''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 (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
| |
| antipode ''S'' must be a linear isomorphism, and thus ''S^2'' is an automorphism. In fact, ''S^2'' 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.
| |
| | |
| ==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
| |
| | |
| :<math> (F \otimes 1) \circ (\Delta \otimes id) F = (1 \otimes F) \circ (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.
| |
| | |
| ==See also==
| |
| * [[Quasi-triangular Quasi-Hopf algebra]]
| |
| * [[Ribbon Hopf algebra]]
| |
| | |
| == Notes ==
| |
| <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 |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}}
| |
| [[Category:Hopf algebras]]
| |
Nice to satisfy you, I am Marvella Shryock. Years in the past we moved to Puerto Rico and check out the post right here my family members enjoys it. One of the issues she enjoys most is to read comics and she'll be beginning something else along with computerrepairredlands.com it. In her expert life she is a payroll clerk but she's always needed her own business.
std home test Feel free to surf to at home std testing home std test kit my homepage; http://www.bluecomtech.com/3dp/index.php?document_srl=701711&mid=bbs_firmware