The Reshetikhin-Turaev invariant, Turaev's TQFT, and many related constructions rely on the encoding of certain tangles (n-string links, or ribbon n-handles) as n-forms on the coend of a ribbon category. We introduce the monoidal category of Hopf diagrams, and describe a universal encoding of ribbon string links as Hopf diagrams. This universal encoding is an injective monoidal functor and admits a straightforward monoidal retraction. Any Hopf diagram with n legs yields a n-form on the coend of a ribbon category in a completely explicit way. Thus computing a quantum invariant of a 3-manifold reduces to the purely formal computation of the associated Hopf diagram, followed by the evaluation of this diagram in a given category (using in particular the so-called Kirby elements).
A handlebody-knot is a handlebody embedded in the 3-sphere. We establish a uniform method to construct invariants for handlebody-links. We introduce the category $\mathcal{T}$ of handlebody-tangles and present it by generators and relations. The result tells us that every functor on $\mathcal{T}$ that gives rise to invariants is derived from what we call a quantum-commutative quantum-symmetric algebra in the target category. The example of such algebras of our main concern is finite-dimensional unimodular Hopf algebras. We investigate how those Hopf algebras give rise to handlebody-knot invari…
A detailed presentation of the results obtained during my Ph.D. research. The main investigations concern explicit descriptions of classes of finite dimensional pointed Hopf algebras and their quasi-isomorphism types.
Given a group G, we use involutary Hopf G-coalgebras to define a scalar invariant of flat G-bundles over 3-manifolds. When G=1, this invariant equals to the one of 3-manifolds constructed by Kuperberg from involutary Hopf algebras. We give examples which show that this invariant is not trivial.
We establish a 3-manifold invariant for each finite-dimensional, involutory Hopf algebra. If the Hopf algebra is the group algebra of a group $G$, the invariant counts homomorphisms from the fundamental group of the manifold to $G$. The invariant can be viewed as a state model on a Heegaard diagram or a triangulation of the manifold. The computation of the invariant involves tensor products and contractions of the structure tensors of the algebra. We show that every formal expression involving these tensors corresponds to a unique 3-manifold modulo a well-understood equivalence. This raises th…
We show that the matrix embeddings in Bratteli diagrams are iterated direct sums of Hopf-Galois extensions (quantum principle bundles) for certain abelian groups. The corresponding strong universal connections are computed. We show that $ M_{n}(\mathbb{C})$ is a trivial quantum principle bundle for the Hopf algebra $ \mathbb{C}[\mathbb{Z}_{n} \times \mathbb{Z}_{n}] $. We conclude with an application relating known calculi on groups to calculi on matrices.
We prove the unrolled superalgebra $\mathcal{U}_ξ^{H}\mathfrak{sl}(2|1)$ has a completion which is a ribbon superalgebra in a topological sense where $ξ$ is a root of unity of odd order. Using this ribbon superalgebra we construct its universal invariant of links. We use it to construct an invariant of $3$-manifolds of Hennings type.
The Hopf algebra structure underlying Feynman diagrams which governs the process of renormalization in perturbative quantum field theory is reviewed. Recent progress is briefly summarized with an emphasis on further directions of research.
In the 90s, based on presentations of 3-manifolds by Heegaard diagrams, Kuperberg associated a scalar invariant of 3-manifolds to each finite dimensional involutory Hopf algebra over a field. We generalize this construction to the case of involutory Hopf algebras in arbitrary symmetric monoidal categories admitting certain pairs of morphisms called good pairs. We construct examples of such good pairs for involutory Hopf algebras whose distinguished grouplike elements are central. The generalized construction is illustrated by an example of an involutory super Hopf algebra.
We construct a new type of quantum invariant of closed framed $3$-manifolds with the vanishing first Betti number. The invariant is defined for any finite dimensional Hopf algebra, such as small quantum groups, and is based on ideal triangulations. We use the canonical element of the Heisenberg double, which satisfies a pentagon equation, and graphical representations of $3$-manifolds introduced by R. Benedetti and C. Petronio. The construction is simple and easy to be understood intuitively; the pentagon equation reflects the Pachner $(2,3)$ move of ideal triangulations and the non-involutive…
The Kuperberg invariant is a topological invariant of closed 3-manifolds based on finite-dimensional Hopf algebras. In this paper, we initiate the program of constructing 4-manifold invariants in the spirit of Kuperberg's 3-manifold invariant. We utilize a structure called a Hopf triplet, which consists of three Hopf algebras and a bilinear form on each pair subject to certain compatibility conditions. In our construction, we present 4-manifolds by their trisection diagrams, a four-dimensional analog of Heegaard diagrams. The main result is that every Hopf triplet yields a diffeomorphism invar…
Using a power sum (boson) realization for the Macdonald operators, we investigate the Gukov, Iqbal, Kozcaz and Vafa (GIKV) proposal for the homological invariants of the colored Hopf link, which include Khovanov-Rozansky homology as a special case. We prove the polynomiality of the invariants obtained by GIKV's proposal for arbitrary representations. We derive a closed formula of the invariants of the colored Hopf link for antisymmetric representations. We argue that a little amendment of GIKV's proposal is required to make all the coefficients of the polynomial non-negative integers.
The Drinfeld double of a finite dimensional Hopf algebra is a quasi-triangular Hopf algebra with the canonical element as the universal $R$-matrix, and one can obtain a ribbon Hopf algebra by adding the ribbon element. The universal quantum invariant of framed links is constructed using a ribbon Hopf algebra. In that construction, a copy of the universal $R$-matrix is attached to each crossing, and invariance under the Reidemeister III move is shown by the quantum Yang-Baxter equation of the universal $R$-matrix. On the other hand, the Heisenberg double of a finite dimensional Hopf algebra has…
Oleg Viro studied in arXiv:math/0204290 two interpretations of the (multivariable) Alexander polynomial as a quantum link invariant: either by considering the quasi triangular Hopf algebra associated to $U_q sl(2)$ at fourth roots of unity, or by considering the super Hopf algebra $U_q gl(1|1)$. In this paper, we show these Hopf algebras share properties with the $-1$ specialization of $U_q gl(n|1)$ leading to the proof of a conjecture of David De Wit, Atsushi Ishii and Jon Links on the Links-Gould invariants.
Given a Hopf algebra in a symmetric monoidal category with duals, the category of modules inherits the structure of a monoidal category with duals. If the notion of algebra is replaced with that of monad on a monoidal category with duals then Bruguieres and Virelizier showed when the category of modules inherits this structure of being monoidal with duals, and this gave rise to what they called a Hopf monad. In this paper it is shown that there are good diagrammatic descriptions of dinatural transformations which allows the three-dimensional, object-free nature of their constructions to become…
We study Hopf algebras via tools from geometric invariant theory. We show that all the invariants we get can be constructed using the integrals of the Hopf algebra and its dual together with the multiplication and the comultiplication, and that these invariants determine the isomorphism class of the Hopf algebra. We then define certain canonical subspaces $Inv^{i,j}$ of tensor powers of $H$ and $H^*$, and use the invariant theory to prove that these subspaces satisfy a certain non-degeneracy condition. Using this non-degeneracy condition together with results on symmetric monoidal categories, …
This paper studies invariants of 3-manifolds derived from certain fin ite dimensional Hopf algebras. The invariants are based on right integrals for these algebras. It is shown that the resulting class of invariants is distinct from the class of Witten-Reshetikhin-Turaev invariants.
The general method of Reshetikhin and Turaev is followed to develop topological invariants of closed, connected, orientable 3-manifolds from a new class of algebras called pseudo-modular Hopf algebras. Pseudo-modular Hopf algebras are a class of Z_2-graded ribbon Hopf algebras that generalise the concept of a modular Hopf algebra. The quantum superalgebra U_q(osp(1|2n)) over C is considered with q a primitive N^th root of unity for all integers N >= 3. For such a q, a certain left ideal I of U_q(osp(1|2n)) is also a two-sided Hopf ideal, and the quotient algebra U_q^(N)(osp(1|2n)) = U_q(osp(1|…
We present a definition of an invariant #(M,H), defined for every finite-dimensional Hopf algebra (or Hopf superalgebra or Hopf object) H and for every closed, framed 3-manifold M. When H is a quantized universal enveloping algebra, #(M,H) is closely related to well-known quantum link invariants such as the HOMFLY polynomial, but it is not a topological quantum field theory.
We present an invariant of connected and oriented closed 3-manifolds based on a coribbon Weak Hopf Algebra H with a suitable left-integral. Our invariant can be understood as the generalization to Weak Hopf Algebras of the Hennings-Kauffman-Radford evaluation of an unoriented framed link using a dual quantum-trace. This quantum trace satisfies conditions that render the link evaluation invariant under Kirby moves. If H is a suitable finite-dimensional Hopf algebra (not weak), our invariant reduces to the Kauffman-Radford invariant for the dual of H. If H is the Weak Hopf Algebra Tannaka-Krein …
In this paper, we show that Hennings construction of invariants of framed links and 3-manifolds obtained from Hopf algebras can also be carried out for some algebraic quantum groups.
We study Hopf-Galois extensions with central invariants for a finite dimensional Hopf algebra. We collect general facts about them and discuss some examples arising in the study of restricted Lie algebras and quantum groups at roots of unity. Our focus is on representation theory and its special feature in this situation, restriction of the central character to the subalgebra of invariants.
For a given finite dimensional Hopf algebra $H$ we describe the set of all equivalence classes of cocycle deformations of $H$ as an affine variety, using methods of geometric invariant theory. We show how our results specialize to the Universal Coefficients Theorem in the case of a group algebra, and we also give examples from other families of Hopf algebras, including dual group algebras and Bosonizations of Nichols algebras. In particular, we use the methods developed here to classify the cocycle deformations of a dual pointed Hopf algebra associated to the symmetric group on three letters. …
We introduce new polynomial invariants of a finite-dimensional semisimple and cosemisimple Hopf algebra A over a field by using the braiding structures of A. We investigate basic properties of the polynomial invariants including stability under extension of the base field. Furthermore, we show that our polynomial invariants are indeed tensor invariants of the representation category of A, and recognize the difference of the representation category and the representation ring of A. Actually, by computing and comparing polynomial invariants, we find new examples of pairs of Hopf algebras whose r…
We prove a 20-year-old conjecture concerning two quantum invariants of three manifolds that are constructed from finite dimensional Hopf algebras, namely, the Kuperberg invariant and the Hennings-Kauffman-Radford invariant. The two invariants can be viewed as a non-semisimple generalization of the Turaev-Viro-Barrett-Westbury $(\text{TVBW})$ invariant and the Witten-Reshetikhin-Turaev $(\text{WRT})$ invariant, respectively. By a classical result relating $\text{TVBW}$ and $\text{WRT}$, it follows that the Kuperberg invariant for a semisimple Hopf algebra is equal to the Hennings-Kauffman-Radfo…
We show that if H is a cocommutative Hopf algebra, then there is a natural action of Aut(F_n) on the nth tensor power of H which induces an Out(F_n) action on a quotient \overline{H^{\otimes n}}. In the case when H=T(V) is the tensor algebra, we show that the invariant Tr^C of the cokernel of the Johnson homomorphism studied in [J. Conant, The Johnson cokernel and the Enomoto-Satoh invariant, Algebraic and Geometric Topology, 15 (2015), no. 2, 801--821.] projects to take values in the top dimensional cohomology of Out(F_n) with coefficients in \overline{H^{\otimes n}}. We analyze the n=2 case,…
In this article we develop some aspects of the construction of new Hopf algebras found recently by Andruskiewitsch and Schneider. There the authors classified (under some slight restrictions) all pointed finite dimensional Hopf algebras with coradical (Z/p)^s. We contribute to this work by giving a closer description of the possible ``exotic'' linkings.
We show how to construct, starting from a quasi-Hopf (super)algebra, central elements or Casimir invariants. We show that these central elements are invariant under quasi-Hopf twistings. As a consequence, the elliptic quantum (super)groups, which arise from twisting the normal quantum (super)groups, have the same Casimir invariants as the corresponding quantum (super)groups.
A version of Kirby calculus for spin and framed three-manifolds is given and is used to construct invariants of spin and framed three-manifolds in two situations. The first is ribbon *-categories which possess odd degenerate objects. This case includes the quantum group situations corresponding to the half-integer level Chern-Simons theories conjectured to give spin TQFTs by Dijkgraaf and Witten \cite{DW90}. In particular, the spin invariants constructed by Kirby and Melvin \cite{KM91} are shown to be identical to the invariants associated to $\mathrm{SO}(3).$ Second, an invariant of spin mani…
The operator valued distributions which arise in quantum field theory on the noncommutative Minkowski space can be symbolized by a generalization of chord diagrams, the dotted chord diagrams. In this framework, the combinatorial aspects of quasiplanar Wick products are understood in terms of the shuffle Hopf algebra of dotted chord diagrams, leading to an algebraic characterization of quasiplanar Wick products as a convolution. Moreover, it is shown that the distributions do not provide a weight system for universal knot invariants.
In this paper we introduce a trace-like invariant for the irreducible representations of a finite dimensional complex Hopf algebra H. We do so by considering the trace of the map induced by the antipode S on the endomorphisms End(V) of a self-dual module V. We also compute the values of this trace for the representations of two non-semisimple Hopf algebras: u_q(sl_2) and D(H_n(q)), the Drinfeld double of the Taft algebra.
We develop abstract nonsense for module categories over monoidal categories (this is a straightforward categorification of modules over rings). As applications we show that any semisimple monoidal category with finitely many simple objects is equivalent to the category of representations of a weak Hopf algebra (theorem of T. Hayashi) and classify module categories over the fusion category of $\hat{sl}(2)$ at a positive integer level where we meet once again ADE classification pattern.
Partial actions of Hopf algebras can be considered as a generalization of partial actions of groups on algebras. Among important properties of partial Hopf actions, it is possible to assure the existence of enveloping actions. This allows to extend several results from the theory of partial group actions to the Hopf algebraic setting. In this article, we explore some properties of the fixed point subalgebra with relations to a partial action of a Hopf algebra. We also construct, for partial actions of finite dimensional Hopf algebras a Morita context relating the fixed point subalgebra and the…
We develop explicit formulae for the eigenvalues of various invariants for highest weight irreducible representations of the quantum supergroup $U_q[gl(m|n)]$. The techniques employed make use of modified characteristic identity methods and allow for the evaluation of generator matrix elements and reduced Wigner coefficients.
Braided Morita invariants of finite-dimensional semisimple and cosemisimple Hopf algebras with braidings are constructed by refining the polynomial invariants introduced by the author. The invariants are computed for the duals of Suzuki's braided Hopf algebras, and as an application of that, the braided Morita equivalence classes over the $8$-dimensional Kac-Paljutkin algebra are determined. This paper also includes the modified results and proofs on determination of the coribbon elements of Suzuki's braided Hopf algebras, that are discussed and given in my previous paper "The coribbon structu…
Extending Knot Polynomials of Braided Hopf Algebras to Links
International Center for Mathematics, Department of Mathematics, Southern University of Science and Technology（南方科技大学数学系国际数学中心）；Department of Mathematics, Michigan State University（密歇根州立大学数学系）；Beijing Institute of Mathematical Sciences and Applications（北京国际数学研究中心）
We generalize the theory of the second invariant cohomology group $H^2_{\rm inv}(G)$ for finite groups $G$, developed in [Da2,Da3,GK], to the case of affine algebraic groups $G$, using the methods of [EG1,EG2,G]. In particular, we show that for connected affine algebraic groups $G$ over an algebraically closed field of characteristic $0$, the map $Θ$ from [GK] is bijective (unlike for some finite groups, as shown in [GK]). This allows us to compute $H^2_{\rm inv}(G)$ in this case, and in particular show that this group is commutative (while for finite groups it can be noncommutative, as shown …
We introduce a new filtration on Hopf algebras, the standard filtration, generalizing the coradical filtration. Its zeroth term, called the Hopf coradical, is the subalgebra generated by the coradical. We give a structure theorem: any Hopf algebra with injective antipode is a deformation of the bosonization of the Hopf coradical by its diagram, a connected graded Hopf algebra in the category of Yetter-Drinfeld modules over the latter. We discuss the steps needed to classify Hopf algebras in suitable classes accordingly. For the class of co-Frobenius Hopf algebras, we prove that a Hopf algebra …
In this paper, we define the higher Frobenius-Schur (FS-)indicators for finite-dimensional modules $V$ of a semisimple quasi-Hopf algebra $H$ via the categorical counterpart developed in \cite{NS05}. We prove that this definition of higher FS-indicators coincides with the higher indicators introduced by Kashina, Sommerhäuser, and Zhu when $H$ is a Hopf algebra. We also obtain a sequence of canonical central elements of $H$, which is invariant under gauge transformations, whose values, when evaluated by the character of an $H$-module $V$, are the higher Frobenius-Schur indicators of $V$. As an …
In this paper, we obtain a canonical central element $ν_H$ for each semi-simple quasi-Hopf algebra $H$ over any field $k$ and prove that $ν_H$ is invariant under gauge transformations. We show that if $k$ is algebraically closed of characteristic zero then for any irreducible representation of $H$ which affords the character $χ$, $χ(ν_H)$ takes only the values 0, 1 or -1, moreover if $H$ is a Hopf algebra or a twisted quantum double of a finite group then $χ(ν_H)$ is the corresponding Frobenius-Schur Indicator. We also prove an analog of a Theorem of Larson-Radford for split semi-simple quasi-…
Lyubashenko's construction associates representations of mapping class groups Map_{g,n} of Riemann surfaces of any genus g with any number n of holes to a factorizable ribbon category. We consider this construction as applied to the category of bimodules over a finite-dimensional factorizable ribbon Hopf algebra H. For any such Hopf algebra we find an invariant of Map_{g,n} for all values of g and n. More generally, we obtain such invariants for any pair (H,omega), where omega is a ribbon automorphism of H. Our results are motivated by the quest to understand correlation functions of bulk fiel…
The invariants of 3-manifolds defined by Kuperberg for involutory Hopf algebras and those defined by the authors for spherical Hopf algebras are the same for Hopf algebras on which they are both defined.
It was recently shown that the renormalization of quantum field theory is organized by the Hopf algebra of decorated rooted trees, whose coproduct identifies the divergences requiring subtraction and whose antipode achieves this. We automate this process in a few lines of recursive symbolic code, which deliver a finite renormalized expression for any Feynman diagram. We thus verify a representation of the operator product expansion, which generalizes Chen's lemma for iterated integrals. The subset of diagrams whose forest structure entails a unique primitive subdivergence provides a representa…
Let A be a Hopf algebra and $Gamma$ be a bicovariant first order differential calculus over A. It is known that there are three possibilities to construct a differential Hopf algebra $Gamma^wedge$ that contains $Gamma$ as its first order part; namely the universal exterior algebra, the second antisymmetrizer exterior algebra, and Woronowicz' external algebra. Now let A be one of the quantum groups GL_q(N) or SL_q(N). Let $Gamma$ be one of the N^2-dimensional bicovariant first order differential calculi over A and let q be transcendental. For Woronowicz' external algebra we determine the dimens…
A recent result of ours [GM] shows that all Hopf algebra liftings of a given diagram in the sense of Andruskiewitsch and Schneider are cocycle deformations of each other. Here we develop a "non-abelian" cohomology theory, which gives a method for an explicit description of cocycles relevant to the lifting process.
We continue the study of Hopf-Galois extensions with central invariants for a finite dimensional Hopf algebra. We concentrate on the geometrical side on the subject. We understand how to localize Hopf-Galois extensions and to paste them from local datum.
We recapture Kuperberg's numerical invariant of 3-manifolds associated to a semisimple and cosemisimple Hopf algebra through a `planar algebra construction'. A result of possibly independent interest, used during the proof, which relates duality in planar graphs and Hopf algebras, is the subject of a final section.
We prove that there is an isomorphism between the Hopf Algebra of Feynman diagrams and the Hopf algebra corresponding to the Homogenous Multiple Zeta Value ring H in C<<X,Y>> . In other words, Feynman diagrams evaluate to Multiple Zeta Values in all cases. This proves a recent conjecture of Connes-Kreimer, and others including Broadhurst and Kontsevich. The key step of our theorem is to present the Selberg integral as discussed in Terasoma [22] as a Functional from the Rooted Trees Operad to the Hopf algebra of Multiple Zeta Values. This is a new construction which provides illumination to the…
For any finite-dimensional factorizable ribbon Hopf algebra H and any ribbon automorphism omega of H, we establish the existence of the following structure: an H-bimodule F_omega and a bimodule morphism Z_omega from Lyubashenko's Hopf algebra object K for the bimodule category to F_omega. This morphism is invariant under the natural action of the mapping class group of the one-punctured torus on the space of bimodule morphisms from K to F_omega. We further show that the bimodule F_omega can be endowed with a natural structure of a commutative symmetric Frobenius algebra in the monoidal categor…
