Related papers: 4-Manifold Invariants From Hopf Algebras
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…
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…
In this paper we develop a theory for constructing an invariant of closed oriented 3-manifolds, given a certain type of Hopf algebra. Examples are given by a quantised enveloping algebra of a semisimple Lie algebra, or by a semisimple…
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…
For a given group $G$, we construct an invariant of flat $G$-connections on 4-manifolds from a finite type involutory quasitriangular Hopf $G$-algebra. Hopf $G$-algebras are generalizations of Hopf algebras, equipped with gradings by $G$.…
We introduce an approach to produce gauge invariants of any finite-dimensional Hopf algebras from the Kuperberg invariants of framed 3-manifolds. These invariants are generalizations of Frobenius-Schur indicators of Hopf algebras. The…
Given a triple $H$ of (possibly non-semisimple) Hopf algebras equipped with pairings satisfying a set of properties, we describe a construction of an associated smooth, scalar invariant $\tau_H(X,\pi)$ of a simply connected, compact,…
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…
We construct quantum invariants of balanced sutured 3-manifolds with a $Spin^{c}$ structure out of an involutive (possibly non-unimodular) Hopf superalgebra $H$. If $H$ is the Borel subalgebra of $U_{q}(\mathfrak{gl}(1|1))$, we show that…
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.
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…
We give invariants of flat bundles over 4-manifolds generalizing a result by Chaidez, Cotler, and Cui (Alg. \& Geo. Topology '22). We utilize a structure called a Hopf $G$-triplet for $G$ a group, which generalizes the notion of a Hopf…
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…
We show that the Kuperberg invariant of the Weeks manifold with any framing is a gauge invariant of finite-dimensional Hopf algebras, which provides the first example of gauge invariants of general finite-dimensional Hopf algebras via…
We construct an invariant of closed oriented $3$-manifolds using a finite dimensional, involutory, unimodular and counimodular Hopf algebra $H$. We use the framework of normal o-graphs introduced by R. Benedetti and C. Petronio, in which…
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…
We study Kuperberg invariants for sutured manifolds in the case of a semidirect product of an involutory Hopf superalgebra $H$ with its automorphism group $\text{Aut}(H)$. These are topological invariants of balanced sutured 3-manifolds…
We give invariants of pairs $(M,L)$ consisting of a closed connected oriented three-manifold and an (oriented) framed link $L$ embedded in $M$. This invariant generalizes the Kuperberg and Hennings-Kauffman-Radford (HKR) invariants of…
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…
We use Gay and Kirby's description of 4-manifolds in terms of trisections and trisection diagrams to define a new 4-manifold invariant. The algebraic data are an indecomposable finite semisimple bimodule category over a pair of spherical…