scispace - formally typeset
Search or ask a question

Showing papers on "Hopf algebra published in 2012"


Journal ArticleDOI
Claude Duhr1
TL;DR: In this article, the Hopf algebra structure of multiple polylogarithms is used to simplify complicated expressions for multi-loop amplitudes in perturbative quantum field theory and the coproduct incorporates information about the ζ values.
Abstract: We show how the Hopf algebra structure of multiple polylogarithms can be used to simplify complicated expressions for multi-loop amplitudes in perturbative quantum field theory and we argue that, unlike the recently popularized symbol-based approach, the coproduct incorporates information about the ζ values. We illustrate our approach by rewriting the two-loop helicity amplitudes for a Higgs boson plus three gluons in a simplified and compact form involving only classical polylogarithms.

274 citations


Posted Content
TL;DR: In this article, a Hopf algebra Y_Q, the Yangian of Q, acting on the cohomology of Nakajima quiver varieties was constructed, and a formula for quantum multiplication by divisors in terms of this Yangian action was proved.
Abstract: In this paper, we study the classical and quantum equivariant cohomology of Nakajima quiver varieties for a general quiver Q. Using a geometric R-matrix formalism, we construct a Hopf algebra Y_Q, the Yangian of Q, acting on the cohomology of these varieties, and show several results about their basic structure theory. We prove a formula for quantum multiplication by divisors in terms of this Yangian action. The quantum connection can be identified with the trigonometric Casimir connection for Y_Q; equivalently, the divisor operators correspond to certain elements of Baxter subalgebras of Y_Q. A key role is played by geometric shift operators which can be identified with the quantum KZ difference connection. In the second part, we give an extended example of the general theory for moduli spaces of sheaves on C^2, framed at infinity. Here, the Yangian action is analyzed explicitly in terms of a free field realization; the corresponding R-matrix is closely related to the reflection operator in Liouville field theory. We show that divisor operators generate the quantum ring, which is identified with the full Baxter subalgebras. As a corollary of our construction, we obtain an action of the W-algebra W(gl(r)) on the equivariant cohomology of rank $r$ moduli spaces, which implies certain conjectures of Alday, Gaiotto, and Tachikawa.

224 citations


Book
01 Feb 2012
TL;DR: May's "A Concise Course in Algebraic Topology" as discussed by the authors addresses the standard first course material, such as fundamental groups, covering spaces, the basics of homotopy theory, and homology and cohomology.
Abstract: With firm foundations dating only from the 1950s, algebraic topology is a relatively young area of mathematics. There are very few textbooks that treat fundamental topics beyond a first course, and many topics now essential to the field are not treated in any textbook. J. Peter May's "A Concise Course in Algebraic Topology" addresses the standard first course material, such as fundamental groups, covering spaces, the basics of homotopy theory, and homology and cohomology. In this sequel, May and his coauthor, Kathleen Ponto, cover topics that are essential for algebraic topologists and others interested in algebraic topology, but that are not treated in standard texts. They focus on the localization and completion of topological spaces, model categories, and Hopf algebras. The first half of the book sets out the basic theory of localization and completion of nilpotent spaces, using the most elementary treatment the authors know of. It makes no use of simplicial techniques or model categories, and it provides full details of other necessary preliminaries. With these topics as motivation, most of the second half of the book sets out the theory of model categories, which is the central organizing framework for homotopical algebra in general. Examples from topology and homological algebra are treated in parallel. A short last part develops the basic theory of bialgebras and Hopf algebras.

125 citations


Book ChapterDOI
01 Jan 2012
TL;DR: In this paper, the authors present several other examples of operads, including the Com and Lie algebras, which encode commutative and associative functions, respectively.
Abstract: In Chap. 9, we studied in detail the operad Ass encoding the associative algebras. It is a paradigm for nonsymmetric operads, symmetric operads, cyclic operads. In this chapter we present several other examples of operads. First, we present the two other “graces”, the operads Com and Lie encoding respectively the commutative (meaning commutative and associative) algebras, and the Lie algebras. Second, we introduce more examples of binary quadratic operads: Poisson, Gerstenhaber, pre-Lie, Leibniz, Zinbiel, dendriform, magmatic, several variations like Jordan algebra, divided power algebra, Batalin–Vilkovisky algebra. Then we present various examples of operads involving higher ary-operations: homotopy algebras, infinite-magmatic, brace, multibrace, Jordan triples, Lie triples. The choice is dictated by their relevance in various parts of mathematics: differential geometry, noncommutative geometry, harmonic analysis, algebraic combinatorics, theoretical physics, computer science. Of course, this list does not exhaust the examples appearing in the existing literature. The reader may have a look at the cornucopia of types of algebras 2012 to find more examples.

109 citations


Journal ArticleDOI
TL;DR: In this article, the authors identify two seemingly disparate structures: supercharacters, a useful way of doing Fourier analysis on the group of unipotent uppertriangular matrices with coefficients in a finite field, and the ring of symmetric functions in noncommuting variables.

92 citations


Posted Content
TL;DR: The theory of twisted commutative algebras can be seen as a generalization of the theory of linear symmetries as mentioned in this paper, which can be thought of as a theory for handling large groups of symmetric groups.
Abstract: This article is an expository account of the theory of twisted commutative algebras, which simply put, can be thought of as a theory for handling commutative algebras with large groups of linear symmetries. Examples include the coordinate rings of determinantal varieties, Segre-Veronese embeddings, and Grassmannians. The article is meant to serve as a gentle introduction to the papers of the two authors on the subject, and also to point out some literature in which these algebras appear. The first part reviews the representation theory of the symmetric groups and general linear groups. The second part introduces a related category and develops its basic properties. The third part develops some basic properties of twisted commutative algebras from the perspective of classical commutative algebra and summarizes some of the results of the authors. We have tried to keep the prerequisites to this article at a minimum. The article is aimed at graduate students interested in commutative algebra, algebraic combinatorics, or representation theory, and the interactions between these subjects.

89 citations


Journal ArticleDOI
TL;DR: In this paper, a Hopf monad ZT on an autonomous category C, the centralizer of T, and a canonical distributive law Ω: TZT → ZTT is given.
Abstract: The center Z(C) of an autonomous category C is monadic over C (if certain coends exist in C). The notion of a Hopf monad naturally arises if one tries to reconstruct the structure of Z(C) in terms of its monad Z: we show that Z is a quasitriangular Hopf monad on C and Z(C) is isomorphic to the braided category Z − C of Z-modules. More generally, let T be a Hopf monad on an autonomous category C. We construct a Hopf monad ZT on C, the centralizer of T , and a canonical distributive law Ω: TZT → ZTT . By Beck’s theory, this has two consequences. On one hand, DT = ZT ◦Ω T is a quasitriangular Hopf monad on C, called the double of T , and Z(T − C) DT − C as braided categories. As an illustration, we define the double D(A) of a Hopf algebra A in a braided autonomous category in such a way that the center of the category of A-modules is the braided category of D(A)-modules (generalizing the Drinfeld double). On the other hand, the canonical distributive law Ω also lifts ZT to a Hopf monad Z Ω T on T−C, and ZΩ T ( , T0) is the coend of T−C. For T = Z, this gives an explicit description of the Hopf algebra structure of the coend of Z(C) in terms of the structural morphisms of C. Such a description is useful in quantum topology, especially when C is a spherical fusion category, as Z(C) is then modular.

73 citations


Journal ArticleDOI
TL;DR: In this article, a new construction of a Hopf algebra whose bases are indexed by objects belonging to the Baxter combinatorial family (i.e., Baxter permutations, pairs of binary trees, etc.).

64 citations


01 Mar 2012
TL;DR: In this article, the authors identify two seemingly disparate structures: supercharacters, a useful way of doing Fourier analysis on the group of unipotent uppertriangular matrices with coefficients in a finite field, and the ring of symmetric functions in noncommuting variables.
Abstract: We identify two seemingly disparate structures: supercharacters, a useful way of doing Fourier analysis on the group of unipotent uppertriangular matrices with coefficients in a finite field, and the ring of symmetric functions in noncommuting variables. Each is a Hopf algebra and the two are isomorphic as such. This allows developments in each to be transferred. The identification suggests a rich class of examples for the emerging field of combinatorial Hopf algebras.

56 citations


Journal Article
TL;DR: In this paper, the authors investigated the Green ring of the generalized Taft algebra Hn,d and showed that each nilpotent element can be expressed as a sum of indecomposable projective representations.
Abstract: In this paper, we investigate the Green ring r(Hn,d) of the generalized Taft algebra Hn,d, extending the results of Chen, Van Oys- taeyen and Zhang in (7). We shall determine all nilpotent elements of the Green ring r(Hn,d). It turns out that each nilpotent element in r(Hn,d) can be written as a sum of indecomposable projective representations. The Jacobson radical J(r(Hn,d)) of r(Hn,d) is generated by one element, and its rank is n n/d. Moreover, we will present all the finite dimen- sional indecomposable representations over the complexified Green ring R(Hn,d) of Hn,d. Our analysis is based on the decomposition of the ten- sor product of indecomposable representations and the observation of the solutions for the system of equations associated to the generating relations of the Green ring r(Hn,d).

51 citations


Journal ArticleDOI
TL;DR: In this article, a combinatorial Hopf algebra dRec with basis elements indexed by diagonal rectangulations of a square was defined and studied, and a natural lattice structure was described, analogous to the Tamari lattice on triangulations.

Journal ArticleDOI
TL;DR: In this article, the authors review the study of Hopf algebras, classical and quantum R-matrices, infinite-dimensional Yangian symmetries and their representations in the context of integrability for the N = 4 vs AdS5 X S5 correspondence.
Abstract: We review the study of Hopf algebras, classical and quantum R-matrices, infinite-dimensional Yangian symmetries and their representations in the context of integrability for the N = 4 vs AdS5 X S5 correspondence.

Journal ArticleDOI
Claude Duhr1
TL;DR: In this article, the Hopf algebra structure of multiple polylogarithms is used to simplify complicated expressions for multi-loop amplitudes in perturbative quantum field theory and the coproduct incorporates information about the zeta values.
Abstract: We show how the Hopf algebra structure of multiple polylogarithms can be used to simplify complicated expressions for multi-loop amplitudes in perturbative quantum field theory and we argue that, unlike the recently popularized symbol-based approach, the coproduct incorporates information about the zeta values. We illustrate our approach by rewriting the two-loop helicity amplitudes for a Higgs boson plus three gluons in a simplified and compact form involving only classical polylogarithms.

Posted Content
TL;DR: In this paper, the algebraic formulation of renormalization using Hopf algebras was reviewed and applied to a toy model of quantum field theory given through iterated insertions of a single primitive divergence into itself.
Abstract: This masters thesis reviews the algebraic formulation of renormalization using Hopf algebras as pioneered by Dirk Kreimer and applies it to a toy model of quantum field theory given through iterated insertions of a single primitive divergence into itself. Using this example in a subtraction scheme, we exhibit the renormalized Feynman rules to yield Hopf algebra morphisms into the Hopf algebra of polynomials and as a consequence study the emergence of the renormalization group in connection with combinatorial Dyson-Schwinger equations. In particular we relate the perturbative expansion of the anomalous dimension to the coefficients of the Mellin transform of the integral kernel specifying the primitve divergence. A theorem on the Hopf algebra of rooted trees relates different Mellin transforms by automorphisms of this Hopf algebra.

Journal ArticleDOI
TL;DR: In this article, the authors unify κ-Minkowki spacetime and Lorentz algebra in unique Lie algebra and introduce commutative momenta, a family of κ deformed Heisenberg algebras and κ -deformed Poincare algesbras, which are specified by the matrix depending on momenta.
Abstract: We unify κ-Minkowki spacetime and Lorentz algebra in unique Lie algebra. Introducing commutative momenta, a family of κ-deformed Heisenberg algebras and κ-deformed Poincare algebras are defined. They are specified by the matrix depending on momenta. We construct all such matrices. Realizations and star product are defined and analyzed in general and specially, their relation to coproduct of momenta is pointed out. Hopf algebra of the Poincare algebra, related to the covariant realization, is presented in unified covariant form. Left–right dual realizations and dual algebra are introduced and considered. The generalized involution and the star inner product are analyzed and their properties are discussed. Partial integration and deformed trace property are obtained in general. The translation invariance of the star product is pointed out. Finally, perturbative approach up to the first order in a is presented in the appendix.

Journal ArticleDOI
TL;DR: In this article, the authors introduce two kinds of gauge invariants for any finite-dimensional Hopf algebra H. When H is semisimple over C, these invariants are, respectively, the trace of the map induced by the antipode on the endomorphism ring of a self-dual simple module, and the higher Frobenius-Schur indicators of the regular representation.
Abstract: We introduce two kinds of gauge invariants for any finite-dimensional Hopf algebra H. When H is semisimple over C, these invariants are, respectively, the trace of the map induced by the antipode on the endomorphism ring of a self-dual simple module, and the higher Frobenius-Schur indicators of the regular representation. We further study the values of these higher indicators in the context of complex semisimple quasi-Hopf algebras H. We prove that these indicators are non-negative provided the module category over H is modular, and that for a prime p, the p-th indicator is equal to 1 if, and only if, p is a factor of dimH. As an application, we show the existence of a non-trivial self-dual simple H-module with bounded dimension which is determined by the value of the second indicator.

Journal ArticleDOI
TL;DR: Weak multiplier Hopf algebras as discussed by the authors is a weak Hopf algebra that is not a Hopf Hopf Algebra but a weak multiplicative Hopf Agebra.
Abstract: Let $G$ be a {\it finite group}. Consider the algebra $A$ of all complex functions on G (with pointwise product). Define a coproduct $\Delta$ on A by $\Delta(f)(p,q)=f(pq)$ where $f\in A$ and $p,q\in G$. Then $(A,\Delta)$ is a Hopf algebra. If $G$ is only a {\it groupoid}, so that the product of two elements is not always defined, one still can consider $A$ and define $\Delta(f)(p,q)$ as above when $pq$ is defined. If we let $\Delta(f)(p,q)=0$ otherwise, we still get a coproduct on $A$, but $\Delta(1)$ will no longer be the identity in $A\ot A$. The pair $(A,\Delta)$ is not a Hopf algebra but a weak Hopf algebra. If $G$ is a {\it group}, but {\it no longer finite}, one takes for $A$ the algebra of functions with finite support. Then $A$ has no identity and $(A,\Delta)$ is not a Hopf algebra but a multiplier Hopf algebra. Finally, if $G$ is a {\it groupoid}, but {\it not necessarily finite}, the standard construction above, will give, what we call in this paper, a weak multiplier Hopf algebra. Indeed, this paper is devoted to the development of this 'missing link': {\it weak multiplier Hopf algebras}. We spend a great part of this paper to the motivation of our notion and to explain where the various assumptions come from. The goal is to obtain a good definition of a weak multiplier Hopf algebra. Throughout the paper, we consider the basic examples and use them, as far as this is possible, to illustrate what we do. In particular, we think of the finite-dimensional weak Hopf algebras. On the other hand however, we are also inspired by the far more complicated existing analytical theory. In forthcoming papers on the subject, we develop the theory further.

Posted Content
TL;DR: In this paper, the authors examined Kitaev's lattice model for an arbitrary complex, semisimple Hopf algebra and proved that it gives the same topological invariants as Turaev-Viro theory.
Abstract: In this paper, we examine Kitaev's lattice model for an arbitrary complex, semisimple Hopf algebra. We prove that this model gives the same topological invariants as Turaev-Viro theory. Using the description of Turaev-Viro theory as an extended TQFT, we prove that the excited states of the Kitaev model correspond to Turaev-Viro theory on a surface with boundary.

Journal ArticleDOI
TL;DR: For any finite-dimensional factorizable ribbon Hopf algebra H and any ribbon automorphism of H, the existence of a morphism Z ω from Lyubashenko's Hopf object K for the bimodule category to F ω is shown in this article.

Journal ArticleDOI
TL;DR: A new formula is given for the antipode in the graph algebra in terms of acyclic orientations; this formula contains many fewer terms than Schmitt's more general formula for the antithesis in an incidence Hopf algebra.
Abstract: The graph algebra is a commutative, cocommutative, graded, connected incidence Hopf algebra, whose basis elements correspond to finite simple graphs and whose Hopf product and coproduct admit simple combinatorial descriptions. We give a new formula for the antipode in the graph algebra in terms of acyclic orientations; our formula contains many fewer terms than Schmitt's more general formula for the antipode in an incidence Hopf algebra. Applications include several formulas (some old and some new) for evaluations of the Tutte polynomial. R´ esum´

Journal ArticleDOI
TL;DR: The recent result of Brown and Zhang as mentioned in this paper establishing Poincare duality in the Hochschild (co)homology of a large class of Hopf algebras is extended to right coideal subalges over which the Hopf algebra is faithfully flat and applied to the standard Podleś quantum 2-sphere.
Abstract: The recent result of Brown and Zhang establishing Poincare duality in the Hochschild (co)homology of a large class of Hopf algebras is extended to right coideal subalgebras over which the Hopf algebra is faithfully flat, and applied to the standard Podleś quantum 2-sphere.

OtherDOI
TL;DR: In this article, the classification of Hopf algebras of a given finite dimension over complex numbers is a challenging problem which remains open even for many small dimensions, not least because few general approaches to the problem are known.
Abstract: Classifying all Hopf algebras of a given finite dimension over the complex numbers is a challenging problem which remains open even for many small dimensions, not least because few general approaches to the problem are known. Some useful techniques include counting the dimensions of spaces related to the coradical filtration, studying sub- and quotient Hopf algebras, especially those sub-Hopf algebras generated by a simple subcoalgebra, working with the antipode, and studying Hopf algebras in Yetter-Drinfeld categories to help to classify Radford biproducts. In this paper, we add to the classification tools in our previous work [arXiv:1108.6037v1] and apply our results to Hopf algebras of dimension rpq and 8p where p,q,r are distinct primes. At the end of this paper we summarize in a table the status of the classification for dimensions up to 100 to date.

Posted Content
TL;DR: It is proved that the Gelfand-Kirillov dimension of a connected Hopf algebra is either infinity or a positive integer.
Abstract: Let $H$ be a pointed Hopf algebra. We show that under some mild assumptions $H$ and its associated graded Hopf algebra $\gr H$ have the same Gelfand-Kirillov dimension. As an application, we prove that the Gelfand-Kirillov dimension of a connected Hopf algebra is either infinity or a positive integer. We also classify connected Hopf algebras of GK-dimension three over an algebraically closed field of characteristic zero.

Journal ArticleDOI
TL;DR: In this paper, the representation ring of the Drinfeld quantum double (D(H_4)$ of Sweedler's 4-dimensional Hopf algebra was studied and the decomposition of the tensor products of finite dimensional indecomposable modules into the direct sum of indecompositionable modules over the whole representation ring was given.
Abstract: In this paper, we study the Green ring (or the representation ring) of Drinfeld quantum double $D(H_4)$ of Sweedler's 4-dimensional Hopf algebra $H_4$. We first give the decompositions of the tensor products of finite dimensional indecomposable modules into the direct sum of indecomposable modules over $D(H_4)$. Then we describe the structure of the Green ring $r(D(H_4))$ of $D(H_4)$ and show that $r(D(H_4))$ is generated, as a ring, by infinitely many elements subject to a family of relations.

Journal ArticleDOI
Yuri I. Manin1
TL;DR: This second part addresses some of the issues raised in Manin (2012) and develops them further in three contexts: a categorification of the algorithmic computations; time cut-off and anytime algorithms; and, finally, a Hopf algebra renormalisation of the Halting Problem.
Abstract: This is the second instalment in the project initiated in Manin (2012). In the first Part, we argued that both the philosophy and technique of perturbative renormalisation in quantum field theory could be meaningfully transplanted to the theory of computation, and sketched several contexts supporting this view. In this second part, we address some of the issues raised in Manin (2012) and develop them further in three contexts: a categorification of the algorithmic computations; time cut-off and anytime algorithms; and, finally, a Hopf algebra renormalisation of the Halting Problem.

Posted Content
TL;DR: In this article, a cross product construction was proposed to associate a self-transpose compact subgroup with a half-commutative Hopf algebra. But the cross product was not applied to the case of the self-adjoint coefficients of an orthogonal matrix core.
Abstract: A half-commutative orthogonal Hopf algebra is a Hopf *-algebra generated by the self-adjoint coefficients of an orthogonal matrix corepresentation $v=(v_{ij})$ that half commute in the sense that $abc=cba$ for any $a,b,c \in \{v_{ij}\}$ The first non-trivial such Hopf algebras were discovered by Banica and Speicher We propose a general procedure, based on a crossed product construction, that associates to a self-transpose compact subgroup $G \subset U_n$ a half-commutative orthogonal Hopf algebra $\mathcal A_*(G)$ It is shown that any half-commutative orthogonal Hopf algebra arises in this way The fusion rules of $\mathcal A_*(G)$ are expressed in term of those of $G$

Journal ArticleDOI
TL;DR: In this paper, the authors classify Nichols algebras of irreducible Yetter-Drinfeld modules over groups such that the underlying rack is braided and the homogeneous component of degree three of the Nichols algebra satisfies a given inequality.
Abstract: We classify Nichols algebras of irreducible Yetter–Drinfeld modules over groups such that the underlying rack is braided and the homogeneous component of degree three of the Nichols algebra satisfies a given inequality. This assumption turns out to be equivalent to a factorization assumption on the Hilbert series. Besides the known Nichols algebras we obtain a new example. Our method is based on a combinatorial invariant of the Hurwitz orbits with respect to the action of the braid group on three strands.

Posted Content
TL;DR: In this paper, the authors give a natural and complete description of Ecalle's mold-comould formalism within a Hopf-algebraic framework, and introduce a new Hopf algebra that systematically underlies the calculations for the normalization of local dynamical systems.
Abstract: We give a natural and complete description of Ecalle's mould-comould formalism within a Hopf-algebraic framework. The arborification transform thus appears as a factorization of characters, involving the shuffle or quasishuffle Hopf algebras, thanks to a universal property satisfied by Connes-Kreimer Hopf algebra. We give a straightforward characterization of the fundamental process of homogeneous coarborification, using the explicit duality between decorated Connes-Kreimer and Grossman-Larson algebras. Finally, we introduce a new Hopf algebra that systematically underlies the calculations for the normalization of local dynamical systems.

Posted Content
TL;DR: In this paper, a strategy to compute all liftings of a Nichols algebra over a finite dimensional cosemisimple Hopf algebra was developed, which can be expressed as cocycle deformations of the bosonization of these two.
Abstract: We develop a strategy to compute all liftings of a Nichols algebra over a finite dimensional cosemisimple Hopf algebra. We produce them as cocycle deformations of the bosonization of these two. In parallel, we study the shape of any such lifting.

Journal ArticleDOI
TL;DR: In this article, the authors deform Heisenberg algebra and corresponding coalgebra by twist and present deformed and deformed tensor identities, which are then expressed in terms of Poincar's generators.
Abstract: We deform Heisenberg algebra and corresponding coalgebra by twist. We present undeformed and deformed tensor identities. Coalgebras for the generalized Poincar\'{e} algebras have been constructed. The exact universal $R$-matrix for the deformed Heisenberg (co)algebra is found. We show, up to the third order in the deformation parameter, that in the case of $\kappa$-Poincar\'{e} Hopf algebra this $R$-matrix can be expressed in terms of Poincar\'{e} generators only. This implies that the states of any number of identical particles can be defined in a $\kappa$-covariant way.