Infineta Systems: Difference between revisions
en>Ashwathk mNo edit summary |
en>BattyBot m fixed CS1 errors: dates & General fixes using AWB (9816) |
||
| Line 1: | Line 1: | ||
In mathematics, a '''braided''' vectorspace <math>\;V</math> is a [[vectorspace]] together with an additional structure map <math>\tau\;</math> symbolizing '''interchanging''' of two vector [[tensor product|tensor copies]]: | |||
::<math>\tau:\; V\otimes V\longrightarrow V\otimes V \,</math> | |||
such that the [[Yang–Baxter equation]] is fulfilled. Hence drawing [[Penrose graphical notation|tensor diagram]]s with <math>\tau\;</math> an '''overcorssing''' the corresponding composed morphism is unchanged when a [[Reidemeister move]] is applied to the tensor diagram and thus they present a representation of the [[braid group]]. | |||
As first example, every vector space is braided via the trivial braiding (simply flipping). A [[superspace]] has a braiding with negative sign in braiding two '''odd''' vectors. More generally, a '''diagonal braiding''' means that for a <math>\;V</math>-base <math>x_i\;</math> we have | |||
::<math>\tau(x_i\otimes x_j)=q_{ij}(x_j\otimes x_i) \, </math> | |||
A good source for braided vector spaces entire [[braided monoidal category|braided monoidal categories]] with braidings between any objects <math>\tau_{V,W}\;</math>, most importantly the modules over [[quasitriangular Hopf algebra]]s and [[Yetter–Drinfeld category|Yetter–Drinfeld modules]] over finite groups (such as <math>\mathbb{Z}_2</math> above) | |||
If <math>V\;</math> additionally possesses an [[braided Hopf algebra|algebra structure inside the braided category]] ("braided algebra") one has a '''braided commutator''' (e.g. for a [[superspace]] the [[Commutator|anticommutator]]): | |||
::<math>\;[x,y]_\tau:=\mu((x\otimes y)-\tau(x\otimes y))\qquad \mu(x\otimes y):=xy</math> | |||
Examples of such braided algebras (and even [[braided Hopf algebra|Hopf algbebras]]) are the [[Nichols algebra]]s, that are by definition generated by a given braided vectorspace. They appear as quantum Borel part of [[quantum group]]s and often (e.g. when finite or over an abelian group) possess an [[Root system|arithmetic root system]], multiple [[Dynkin diagram]]s and a [[Poincare–Birkhoff–Witt theorem|PBW-basis]] made up of braided commutators just like the ones in [[semisimple lie algebra]]s. | |||
<ref name=AS02>Andruskiewitsch, Schneider: ''Pointed Hopf algebras'', New directions in Hopf algebras, 1–68, Math. Sci. Res. Inst. Publ., 43, Cambridge Univ. Press, Cambridge, 2002.</ref> | |||
<references/> | |||
[[Category:Hopf algebras]] | |||
[[Category:Quantum groups]] | |||
{{algebra-stub}} | |||
Revision as of 03:17, 25 December 2013
In mathematics, a braided vectorspace is a vectorspace together with an additional structure map symbolizing interchanging of two vector tensor copies:
such that the Yang–Baxter equation is fulfilled. Hence drawing tensor diagrams with an overcorssing the corresponding composed morphism is unchanged when a Reidemeister move is applied to the tensor diagram and thus they present a representation of the braid group.
As first example, every vector space is braided via the trivial braiding (simply flipping). A superspace has a braiding with negative sign in braiding two odd vectors. More generally, a diagonal braiding means that for a -base we have
A good source for braided vector spaces entire braided monoidal categories with braidings between any objects , most importantly the modules over quasitriangular Hopf algebras and Yetter–Drinfeld modules over finite groups (such as above)
If additionally possesses an algebra structure inside the braided category ("braided algebra") one has a braided commutator (e.g. for a superspace the anticommutator):
Examples of such braided algebras (and even Hopf algbebras) are the Nichols algebras, that are by definition generated by a given braided vectorspace. They appear as quantum Borel part of quantum groups and often (e.g. when finite or over an abelian group) possess an arithmetic root system, multiple Dynkin diagrams and a PBW-basis made up of braided commutators just like the ones in semisimple lie algebras.
- ↑ Andruskiewitsch, Schneider: Pointed Hopf algebras, New directions in Hopf algebras, 1–68, Math. Sci. Res. Inst. Publ., 43, Cambridge Univ. Press, Cambridge, 2002.