|
Braided Hopf Algebra
In mathematics, a braided Hopf algebra is a Hopf algebra in a braided monoidal category. The most common braided Hopf algebras are objects in a Yetter–Drinfeld category of a Hopf algebra ''H'', particularly the Nichols algebra of a braided vector space in that category. ''The notion should not be confused with quasitriangular Hopf algebra.'' Definition Let ''H'' be a Hopf algebra over a field ''k'', and assume that the antipode of ''H'' is bijective. A Yetter–Drinfeld module ''R'' over ''H'' is called a braided bialgebra in the Yetter–Drinfeld category ^H_H\mathcal if * (R,\cdot ,\eta ) is a unital associative algebra, where the multiplication map \cdot :R\times R\to R and the unit \eta :k\to R are maps of Yetter–Drinfeld modules, * (R,\Delta ,\varepsilon ) is a coassociative coalgebra with counit \varepsilon , and both \Delta and \varepsilon are maps of Yetter–Drinfeld modules, * the maps \Delta :R\to R\otimes R and \varepsilon :R\to k are algebra map ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics with the major subdisciplines of number theory, algebra, geometry, and analysis, respectively. There is no general consensus among mathematicians about a common definition for their academic discipline. Most mathematical activity involves the discovery of properties of abstract objects and the use of pure reason to prove them. These objects consist of either abstractions from nature orin modern mathematicsentities that are stipulated to have certain properties, called axioms. A ''proof'' consists of a succession of applications of deductive rules to already established results. These results include previously proved theorems, axioms, andin case of abstraction from naturesome basic properties that are considered true starting points of t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hopf Algebra
Hopf is a German surname. Notable people with the surname include: * Eberhard Hopf (1902–1983), Austrian mathematician * Hans Hopf (1916–1993), German tenor *Heinz Hopf (1894–1971), German mathematician * Heinz Hopf (actor) (1934–2001), Swedish actor *Ludwig Hopf Ludwig Hopf (23 October 1884 in Nürnberg, Germany – 23 December 1939 in Dublin]) was a German-Jewish theoretical physicist who made contributions to mathematics, special relativity, hydrodynamics, and aerodynamics. Early in his career ... (1884–1939), German physicist * Maria Hopf (1914-2008), German botanist and archaeologist {{surname, Hopf German-language surnames ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Braided Monoidal Category
In mathematics, a ''commutativity constraint'' \gamma on a monoidal category ''\mathcal'' is a choice of isomorphism \gamma_ : A\otimes B \rightarrow B\otimes A for each pair of objects ''A'' and ''B'' which form a "natural family." In particular, to have a commutativity constraint, one must have A \otimes B \cong B \otimes A for all pairs of objects A,B \in \mathcal. A braided monoidal category is a monoidal category \mathcal equipped with a braiding—that is, a commutativity constraint \gamma that satisfies axioms including the hexagon identities defined below. The term ''braided'' references the fact that the braid group plays an important role in the theory of braided monoidal categories. Partly for this reason, braided monoidal categories and other topics are related in the theory of knot invariants. Alternatively, a braided monoidal category can be seen as a tricategory with one 0-cell and one 1-cell. Braided monoidal categories were introduced by André Joyal and ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Yetter–Drinfeld Category
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 \Delta 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 * (V,\boldsymbol) is a left ''H''-module, where \boldsymbol: H\otimes V\to V denotes the left action of ''H'' on ''V'', * (V,\delta\;) is a left ''H''-comodule, where \delta : V\to H\otimes V denotes the left coaction of ''H'' on ''V'', * the maps \boldsymbol and \delta satisfy the compatibility condition :: \delta (h\boldsymbolv)=h_v_S(h_) \otimes h_\boldsymbolv_ for all h\in H,v\in V, :where, using Sweedler notation, (\Delta \otimes \mathrm)\Delta (h)=h_\otimes h_ \otimes h_ \in H\otimes H\otimes H denotes the twofold coproduct of h\in H , and \delta (v)=v ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Nichols Algebra
In algebra, the Nichols algebra of a braided vector space (with the braiding often induced by a finite group) is a braided Hopf algebra which is denoted by \mathfrak(V) and named after the mathematician Warren Nichols. It takes the role of quantum Borel part of a pointed Hopf algebra such as a quantum groups and their well known finite-dimensional truncations. Nichols algebras can immediately be used to write down new such quantum groups by using the Radford biproduct. The classification of all such Nichols algebras and even all associated quantum groups (see Application) has been progressing rapidly, although still much is open: The case of an abelian group was solved in 2005, but otherwise this phenomenon seems to be very rare, with a handful examples known and powerful negation criteria established (see below). See also this List of finite-dimensional Nichols algebras. The finite-dimensional theory is greatly governed by a theory of root systems and Dynkin diagrams, strikingl ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Quasitriangular Hopf Algebra
In mathematics, a Hopf algebra, ''H'', is quasitriangularMontgomery & Schneider (2002), p. 72 if there exists an invertible element, ''R'', of H \otimes H such that :*R \ \Delta(x)R^ = (T \circ \Delta)(x) for all x \in H, where \Delta is the coproduct on ''H'', and the linear map T : H \otimes H \to H \otimes H is given by T(x \otimes y) = y \otimes x, :*(\Delta \otimes 1)(R) = R_ \ R_, :*(1 \otimes \Delta)(R) = R_ \ R_, where R_ = \phi_(R), R_ = \phi_(R), and R_ = \phi_(R), where \phi_ : H \otimes H \to H \otimes H \otimes H, \phi_ : H \otimes H \to H \otimes H \otimes H, and \phi_ : H \otimes H \to H \otimes H \otimes H, are algebra morphisms determined by :\phi_(a \otimes b) = a \otimes b \otimes 1, :\phi_(a \otimes b) = a \otimes 1 \otimes b, :\phi_(a \otimes b) = 1 \otimes a \otimes b. ''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'' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Associative Algebra
In mathematics, an associative algebra ''A'' is an algebraic structure with compatible operations of addition, multiplication (assumed to be associative), and a scalar multiplication by elements in some field ''K''. The addition and multiplication operations together give ''A'' the structure of a ring; the addition and scalar multiplication operations together give ''A'' the structure of a vector space over ''K''. In this article we will also use the term ''K''-algebra to mean an associative algebra over the field ''K''. A standard first example of a ''K''-algebra is a ring of square matrices over a field ''K'', with the usual matrix multiplication. A commutative algebra is an associative algebra that has a commutative multiplication, or, equivalently, an associative algebra that is also a commutative ring. In this article associative algebras are assumed to have a multiplicative identity, denoted 1; they are sometimes called unital associative algebras for clarification. ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
