|
|
| Line 1: |
Line 1: |
| {{technical|date=December 2011}}
| | Gigi Wurst is what people today contact her but she doesn't like when persons use her full identify. She is a library assistant. New Jersey is exactly where her house is but she will have to move one working day or yet another. 1 of her preferred hobbies is dominoes and now she has time to acquire on new issues. Examine out the newest information on her internet site: http://[http://en.search.wordpress.com/?q=bigdata.ihep bigdata.ihep].ac.cn/bigdata/view_profile.php?userid=3453579<br><br>Look at my web site [http://bigdata.ihep.ac.cn/bigdata/view_profile.php?userid=3453579 ray ban Espa�a] |
| In [[mathematics]], '''weak bialgebras''' are a generalization of [[bialgebra]]s that are both algebras and coalgebras but for which the compatibility conditions between the two structures have been "weakened". In the same spirit, '''weak Hopf algebras''' are weak bialgebras together with a linear map S satisfying specific conditions; they are generalizations of [[Hopf algebras]].
| |
| | |
| These objects were introduced by Böhm, Nill and Szlachányi. The first motivations for studying them came from [[quantum field theory]] and [[operator algebras]].<ref>Böhm, Nill, Szlachányi. p. 387</ref> Weak Hopf algebras have quite interesting representation theory; in particular modules over a semisimple finite weak Hopf algebra is a [[fusion category]] (which is a [[monoidal category]] with extra properties). It was also shown by Etingof, Nikshych and Ostrik that any fusion category is equivalent to a category of modules over a weak Hopf algebra.<ref>Etingof, Nikshych and Ostrik, Cor. 2.22</ref>
| |
| | |
| ==Definition==
| |
| A '''weak bialgebra''' <math>(H, \mu, \eta, \Delta, \varepsilon)</math> over a field <math>k</math> is a [[vector space]] <math>H</math> such that
| |
| * <math>(H, \mu, \eta)</math> forms an associative [[algebra]] with multiplication <math>\mu : H \otimes H \rightarrow H</math> and unit <math>\eta : k \rightarrow H</math>,
| |
| * <math>(H, \Delta, \varepsilon)</math> forms a coassociative [[coalgebra]] with comultiplication <math>\Delta : H \rightarrow H \otimes H</math> and counit <math>\varepsilon : H \rightarrow k</math>,
| |
| for which the following compatibility conditions hold :
| |
| # Multiplicativity of the Comultiplication :
| |
| #: <math> \Delta \circ \mu = (\mu \otimes \mu) \circ (\mathrm{id}_H \otimes \sigma_{H, H} \otimes \mathrm{id}_H) \circ (\Delta \otimes \Delta) </math>,
| |
| # Weak Multiplicativity of the Counit :
| |
| #: <math> \varepsilon \circ \mu \circ (\mu \otimes \mathrm{id}_H) = (\varepsilon \otimes \varepsilon ) \circ (\mu \otimes \mu) \circ (\mathrm{id}_H \otimes \Delta \otimes \mathrm{id}_H)= (\varepsilon \otimes \varepsilon ) \circ (\mu \otimes \mu) \circ (\mathrm{id}_H \otimes \Delta^{op} \otimes \mathrm{id}_H) </math>,
| |
| # Weak Comultiplicativity of the Unit :
| |
| #: <math> (\Delta \otimes \mathrm{id}_H) \circ \Delta \circ \eta = (\mathrm{id}_H \otimes \mu \otimes \mathrm{id}_H) \circ (\Delta \otimes \Delta) \circ (\eta \otimes \eta) = (\mathrm{id}_H \otimes \mu^{op} \otimes \mathrm{id}_H) \circ (\Delta \otimes \Delta) \circ (\eta \otimes \eta) </math>,
| |
| where <math> \sigma_{V, W} : V \otimes W \rightarrow W \otimes V : v \otimes w \mapsto w \otimes v </math> flips the two tensor factors. Moreover <math>\mu^{op} = \mu \circ \sigma_{H,H}</math> is the opposite multiplication and <math>\Delta^{op} = \sigma_{H, H} \circ \Delta</math> is the opposite comultiplication. Note that we also implicitly use [[Mac Lane]]'s coherence theorem for the monoidal category of vector spaces, identifying <math>(U \otimes V) \otimes W \cong U \otimes (V \otimes W)</math> as well as <math>V \otimes k \cong V \cong k \otimes V</math>.
| |
| | |
| The definition is fairly self-explanatory, one sees that it is the compatibility between the algebra and coalgebra structures that is weaken.
| |
| | |
| A '''weak Hopf algebra''' <math>(H, \mu, \eta, \Delta, \varepsilon, S)</math> is a weak bialgebra <math>(H, \mu, \eta, \Delta, \varepsilon)</math> with a linear map <math>S : H \to H</math>, called the '''antipode''', that satisfies:
| |
| * <math>\mu \circ (\mathrm{id}_H \otimes S) \circ \Delta = (\varepsilon \otimes \mathrm{id}_H) \circ (\mu \otimes \mathrm{id}_H) \circ (\mathrm{id}_H \otimes \sigma_{H, H}) \circ (\Delta \otimes \mathrm{id}_H) \circ (\eta \otimes \mathrm{id}_H)</math>,
| |
| *<math> \mu \circ (S \otimes \mathrm{id}_H) \circ \Delta = (\mathrm{id}_H \otimes \varepsilon) \circ (\mathrm{id}_H \otimes \mu) \circ (\sigma_{H, H} \otimes \mathrm{id}_H) \circ (\mathrm{id}_H \otimes \Delta) \circ (\mathrm{id}_H \otimes \eta) </math>,
| |
| *<math>S = \mu \circ (\mu \otimes \mathrm{id}_H) \circ (S \otimes \mathrm{id}_H \otimes S) \circ (\Delta \otimes \mathrm{id}_H) \circ \Delta</math>.
| |
| | |
| ==Examples==
| |
| # '''Hopf algebra.''' Of course any [[Hopf algebra]] is a weak Hopf algebra.
| |
| # '''Groupoid algebra.''' Suppose <math>G = (G_0, G_1)</math> is a [[groupoid]] and let <math>K[G]</math> be the groupoid algebra, in other words, the algebra generated by the morphisms <math> g \in G_1</math>. This becomes a weak Hopf algebra if we define
| |
| #* <math> \mu : K[G] \otimes K[G] \to K[G] ~\text{by}~ \mu(g \otimes h)= \left\{ \begin{array}{cl}
| |
| g \circ h & \text{if target(h) = source(g)} \\
| |
| 0 & \text{otherwise} \end{array} \right. </math>
| |
| #* <math> \eta : k \to K[G] ~\text{by}~ \eta (1) = \sum_{X \in G_0} \mathrm{id}_X </math>
| |
| #* <math> \Delta : K[G] \to K[G] \otimes K[G] ~\text{by}~ \Delta(g) = g \otimes g ~ \text{for all} ~g \in G_1 </math>
| |
| #* <math> \varepsilon : K[G] \to k ~\text{by}~ \varepsilon(g) = 1 ~\text{for all}~ g \in G_1 </math>
| |
| #* <math> S : K[G] \to K[G] ~\text{by}~ S(g) = g^{-1} ~\text{for all}~ g \in G_1 </math>.
| |
| Note that this second example is a weak Hopf algebra but '''not''' a [[Hopf algebra]].
| |
| | |
| ==Representation theory==
| |
| Let H be a semisimple finite weak Hopf algebra, then modules over H form a semisimple rigid monoidal category with finitely many simple objects. Moreover the homomorphisms spaces are finite-dimensional vector spaces and the endomorphisms space of simple objects are one-dimensional. Finally, the monoidal unit is a simple object. Such a category is called a [[fusion category]].
| |
| | |
| It can be shown that some monoidal category are not modules over a Hopf algebra. In the case of fusion categories (which are just monoidal categories with extra conditions), it was proved by Etingof, Nikshych and Ostrik that any fusion category is equivalent to a category of modules over a weak Hopf algebra.
| |
| | |
| ==Notes==
| |
| {{reflist}}
| |
| | |
| ==References==
| |
| *{{cite journal
| |
| | last1 = Böhm | first1 = Gabriella
| |
| | last2 = Nill | first2 = Florian
| |
| | last3 = Szlachányi | first3 = Kornel
| |
| | title = Weak Hops algebras. I. Integral theory and <math>C^*</math>-structure
| |
| | journal = Journal of Algebra
| |
| | volume = 221
| |
| | issue = 2
| |
| | pages = 385–438
| |
| | year = 1999
| |
| | doi = 10.1006/jabr.1999.7984
| |
| }}
| |
| | |
| *{{cite journal
| |
| | last1 = Etingof | first1 = Pavel
| |
| | last2 = Nikshych | first2 = Dimitri
| |
| | last3 = Ostrik | first3 = Viktor
| |
| | title = On fusion categories
| |
| | journal = Annals of Mathematics. Second Series
| |
| | volume = 162
| |
| | issue = 2
| |
| | pages = 581–642
| |
| | year = 2005
| |
| | doi = 10.4007/annals.2005.162.581
| |
| }}
| |
| | |
| *{{cite journal
| |
| | last1 = Karaali | first1 = Gizem
| |
| | title = On Hopf algebras and their generalizations
| |
| | journal = Communications in Algebra
| |
| | volume = 36
| |
| | issue = 12
| |
| | pages = 4341–4367
| |
| | year = 2008
| |
| | doi = 10.1080/00927870802182424
| |
| }}
| |
| | |
| [[Category:Hopf algebras]]
| |
Gigi Wurst is what people today contact her but she doesn't like when persons use her full identify. She is a library assistant. New Jersey is exactly where her house is but she will have to move one working day or yet another. 1 of her preferred hobbies is dominoes and now she has time to acquire on new issues. Examine out the newest information on her internet site: http://bigdata.ihep.ac.cn/bigdata/view_profile.php?userid=3453579
Look at my web site [http://bigdata.ihep.ac.cn/bigdata/view_profile.php?userid=3453579 ray ban Espa�a]