Standard conjectures on algebraic cycles: Difference between revisions
→The Hodge standard conjecture: I corrected the "positive definiteness", which was wrong (e.g., for surfaces, it is negative definiteness). J-P.Serre |
|||
Line 1: | Line 1: | ||
In [[mathematics]] a '''Yetter–Drinfeld category'''<!--, named after [[?????? Yetter]] and [[?????? Drinfeld]],--> is a special type of [[braided monoidal category]]. It consists of [[module (mathematics)|module]]s over a [[Hopf algebra]] which satisfy some additional axioms. | |||
== Definition == | |||
Let ''H'' be a Hopf algebra over a [[field (mathematics)|field]] ''k''. Let <math> \Delta </math> denote the [[coproduct]] and ''S'' the [[antipode (algebra)|antipode]] of ''H''. Let ''V'' be a [[vector space]] over ''k''. Then ''V'' is called a (left left) '''Yetter–Drinfeld module over''' ''H'' if | |||
* <math> (V,\boldsymbol{.}) </math> is a left ''H''-[[module (mathematics)|module]], where <math> \boldsymbol{.}: H\otimes V\to V </math> denotes the left action of ''H'' on ''V'' and ⊗ denotes a [[tensor product]], | |||
* <math> (V,\delta\;) </math> is a left ''H''-[[comodule]], where <math> \delta : V\to H\otimes V </math> denotes the left coaction of ''H'' on ''V'', | |||
* the maps <math>\boldsymbol{.}</math> and <math>\delta</math> satisfy the compatibility condition | |||
::<math> \delta (h\boldsymbol{.}v)=h_{(1)}v_{(-1)}S(h_{(3)}) | |||
\otimes h_{(2)}\boldsymbol{.}v_{(0)}</math> for all <math> h\in H,v\in V</math>, | |||
:where, using [[coalgebra|Sweedler notation]], <math> (\Delta \otimes \mathrm{id})\Delta (h)=h_{(1)}\otimes h_{(2)} | |||
\otimes h_{(3)} \in H\otimes H\otimes H</math> denotes the twofold coproduct of <math> h\in H </math>, and <math> \delta (v)=v_{(-1)}\otimes v_{(0)} </math>. | |||
== Examples == | |||
* Any left ''H''-module over a cocommutative Hopf algebra ''H'' is a Yetter–Drinfeld module with the trivial left coaction <math>\delta (v)=1\otimes v</math>. | |||
* The trivial module <math>V=k\{v\}</math> with <math>h\boldsymbol{.}v=\epsilon (h)v</math>, <math> \delta (v)=1\otimes v</math>, is a Yetter–Drinfeld module for all Hopf algebras ''H''. | |||
* If ''H'' is the [[group ring|group algebra]] ''kG'' of an [[abelian group]] ''G'', then Yetter–Drinfeld modules over ''H'' are precisely the ''G''-graded ''G''-modules. This means that | |||
::<math> V=\bigoplus _{g\in G}V_g</math>, | |||
:where each <math>V_g</math> is a ''G''-submodule of ''V''. | |||
* More generally, if the group ''G'' is not abelian, then Yetter–Drinfeld modules over ''H=kG'' are ''G''-modules with a ''G''-gradation | |||
::<math> V=\bigoplus _{g\in G}V_g</math>, such that <math>g.V_h\subset V_{ghg^{-1}}</math>. | |||
* Over the basfield <math>k=\mathbb{C}\;</math> '''all''' finite-dimensional, irreducible/simple Yetter–Drinfeld modules over a (nonabelian) group ''H=kG'' are uniquely given<ref>N. Andruskiewitsch and M.Grana: ''Braided Hopf algebras over non abelian groups'', Bol. Acad. Ciencias (Cordoba) '''63'''(1999), 658-691</ref> through a [[conjugacy class]] <math>[g]\subset G\;</math> together with <math>\chi,X\;</math> (character of) an irreducible group representation of the [[Centralizer and normalizer|centralizer]] <math>Cent(g)\;</math> of some representing <math>g\in[g]</math>: | |||
*:<math>V=\mathcal{O}_{[g]}^\chi=\mathcal{O}_{[g]}^{X}\qquad V=\bigoplus_{h\in[g]}V_{h}=\bigoplus_{h\in[g]}X</math> | |||
** As ''G''-module take <math>\mathcal{O}_{[g]}^\chi</math> to be the [[Induced representation|induced module]] of <math>\chi,X\;</math>: | |||
*::<math>Ind_{Cent(g)}^G(\chi)=kG\otimes_{kCent(g)}X</math> | |||
*:(this can be proven easily not to depend on the choice of ''g'') | |||
** To define the ''G''-graduation (comodule) assign any element <math>t\otimes v\in kG\otimes_{kCent(g)}X=V</math> to the graduation layer: | |||
*::<math>t\otimes v\in V_{tgt^{-1}}</math> | |||
** It is very custom to '''directly construct''' <math>V\;</math> as direct sum of ''X''´s and write down the ''G''-action by choice of a specific set of representatives <math>t_i\;</math> for the <math>Cent(g)\;</math>-[[coset]]s. From this approach, one often writes | |||
*::<math>h\otimes v\subset[g]\times X \;\; \leftrightarrow \;\; t_i\otimes v\in kG\otimes_{kCent(g)}X \qquad\text{with uniquely}\;\;h=t_igt_i^{-1}</math> | |||
*:(this notation emphasizes the graduation<math>h\otimes v\in V_h</math>, rather than the module structure) | |||
== Braiding == | |||
Let ''H'' be a Hopf algebra with invertible antipode ''S'', and let ''V'', ''W'' be Yetter–Drinfeld modules over ''H''. Then the map <math> c_{V,W}:V\otimes W\to W\otimes V</math>, | |||
::<math>c(v\otimes w):=v_{(-1)}\boldsymbol{.}w\otimes v_{(0)},</math> | |||
:is invertible with inverse | |||
::<math>c_{V,W}^{-1}(w\otimes v):=v_{(0)}\otimes S^{-1}(v_{(-1)})\boldsymbol{.}w.</math> | |||
:Further, for any three Yetter–Drinfeld modules ''U'', ''V'', ''W'' the map ''c'' satisfies the braid relation | |||
::<math>(c_{V,W}\otimes \mathrm{id}_U)(\mathrm{id}_V\otimes c_{U,W})(c_{U,V}\otimes \mathrm{id}_W)=(\mathrm{id}_W\otimes c_{U,V}) (c_{U,W}\otimes \mathrm{id}_V) (\mathrm{id}_U\otimes c_{V,W}):U\otimes V\otimes W\to W\otimes V\otimes U.</math> | |||
A [[monoidal category]] <math> \mathcal{C}</math> consisting of Yetter–Drinfeld modules over a Hopf algebra ''H'' with bijective antipode is called a '''Yetter–Drinfeld category'''. It is a braided monoidal category with the braiding ''c'' above. The category of Yetter–Drinfeld modules over a Hopf algebra ''H'' with bijective antipode is denoted by <math> {}^H_H\mathcal{YD}</math>. | |||
== References == | |||
{{reflist}} | |||
* {{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 }} | |||
{{DEFAULTSORT:Yetter-Drinfeld category}} | |||
[[Category:Hopf algebras]] | |||
[[Category:Quantum groups]] | |||
[[Category:Monoidal categories]] |
Latest revision as of 16:25, 4 June 2013
In mathematics a Yetter–Drinfeld category is a special type of braided monoidal category. It consists of modules over a Hopf algebra which satisfy some additional axioms.
Definition
Let H be a Hopf algebra over a field k. Let denote the coproduct and S the antipode of H. Let V be a vector space over k. Then V is called a (left left) Yetter–Drinfeld module over H if
- is a left H-module, where denotes the left action of H on V and ⊗ denotes a tensor product,
- is a left H-comodule, where denotes the left coaction of H on V,
- the maps and satisfy the compatibility condition
- where, using Sweedler notation, denotes the twofold coproduct of , and .
Examples
- Any left H-module over a cocommutative Hopf algebra H is a Yetter–Drinfeld module with the trivial left coaction .
- The trivial module with , , is a Yetter–Drinfeld module for all Hopf algebras H.
- If H is the group algebra kG of an abelian group G, then Yetter–Drinfeld modules over H are precisely the G-graded G-modules. This means that
- More generally, if the group G is not abelian, then Yetter–Drinfeld modules over H=kG are G-modules with a G-gradation
- Over the basfield all finite-dimensional, irreducible/simple Yetter–Drinfeld modules over a (nonabelian) group H=kG are uniquely given[1] through a conjugacy class together with (character of) an irreducible group representation of the centralizer of some representing :
- As G-module take to be the induced module of :
- It is very custom to directly construct as direct sum of X´s and write down the G-action by choice of a specific set of representatives for the -cosets. From this approach, one often writes
Braiding
Let H be a Hopf algebra with invertible antipode S, and let V, W be Yetter–Drinfeld modules over H. Then the map ,
- is invertible with inverse
- Further, for any three Yetter–Drinfeld modules U, V, W the map c satisfies the braid relation
A monoidal category consisting of Yetter–Drinfeld modules over a Hopf algebra H with bijective antipode is called a Yetter–Drinfeld category. It is a braided monoidal category with the braiding c above. The category of Yetter–Drinfeld modules over a Hopf algebra H with bijective antipode is denoted by .
References
43 year old Petroleum Engineer Harry from Deep River, usually spends time with hobbies and interests like renting movies, property developers in singapore new condominium and vehicle racing. Constantly enjoys going to destinations like Camino Real de Tierra Adentro.
- 20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.
My blog: http://www.primaboinca.com/view_profile.php?userid=5889534
- ↑ N. Andruskiewitsch and M.Grana: Braided Hopf algebras over non abelian groups, Bol. Acad. Ciencias (Cordoba) 63(1999), 658-691