arXiv research

The Kuperberg invariant is shown to be gauge invariant for certain framed 3-manifolds.

Defines a new invariant from graph configurations in three-manifolds.

The paper generalizes Kuperberg invariants using twisted Drinfeld doubles.

New gauge invariants from framed 3-manifolds match Hopf algebra indicators.

M. Kontsevich proposed a topological construction for an invariant Z of rational homology 3-spheres using configuration space integrals. G. Kuperberg and D. Thurston proved that Z is a universal real finite type invariant for integral homology spheres in the sense of Ohtsuki, Habiro and Goussarov. We review the Kontsev…

We give a categorical setting in which Penrose graphical calculus naturally extends to graphs drawn on the boundary of a handlebody. We use it to introduce invariants of 3-manifolds presented by Heegaard splittings. We recover Kuperberg invariants when the category comes from an involutory Hopf algebra and Turaev-Viro …

In the present paper, we develop a picture formalism which gives rise to an invariant that dominates several known invariants of classical and virtual knots: the Jones polynomial, the Kuperberg bracket, and the normalised arrow polynomial.

Invariants for 3-manifolds with embedded links using Hopf algebras.

In this paper, we reconstruct Kuperberg's $G_2$ web space. We introduce a new web (a trivalent diagram) and new relations between Kuperberg's web diagrams and the new diagram. Using the $G_2$ webs, we define crossing formulas corresponding to R-matrices associated to some $G_2$ irreducible representations and calculate…

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-W…

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 our invariant is computed via Fox calculus and it is a normalization of Reidemeist…

M. Kontsevich proposed a topological construction for an invariant Z of rational homology 3-spheres using configuration space integrals. G. Kuperberg and D. Thurston proved that Z is a universal real finite type invariant for integral homology spheres in the sense of Ohtsuki, Habiro and Goussarov. We discuss the behavi…

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 cer…

By generalizing the Kuperberg sl(3) bracket, we construct a graph-valued analogue of the Homflypt sl(3) invariant for virtual knots. The restriction of this invariant for classical knots coincides with the usual Homflypt sl(3) invariant, and for virtual knots and graphs it provides new information that allows one to pr…

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 a…

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 endowed with a homomorphism of the fundamental group into $\text{Aut}(H)$ and possi…

We define an invariant of rational homology 3-spheres via vector fields. The construction of our invariant is a generalization of both that of the Kontsevich-Kuperberg-Thurston invariant and that of Watanabe's Morse homotopy invariant, which implies the equivalence of these two invariants.

Details of quantum knot invariant calculations using a specific SU(3)_q-module are given which distinguish the Conway and Kinoshita-Teresaka pair of mutant knots. Features of Kuperberg's skein-theoretic techniques for SU(3)_q invariants in the context of mutant knots are also discussed.

Paper defines a jellyfish algorithm for a specific subfactor planar algebra.

We study natural bases for two constructions of the irreducible representation of the symmetric group corresponding to $[n,n,n]$: the {\em reduced web} basis associated to Kuperberg's combinatorial description of the spider category; and the {\em left cell basis} for the left cell construction of Kazhdan and Lusztig. I…

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.

M. Hennings and G. Kuperberg defined quantum invariants Z_{Henn} and Z_{Kup} of closed oriented 3-manifolds based on certain Hopf algebras, respectively. We prove that |Z_{Kup}|=|Z_{Henn}|^2 for lens spaces when both invariants are based on factorizable finite dimensional ribbon Hopf algebras.

For any n>1 we define an isotopy invariant, <Gamma>_n, for a certain set of n-valent ribbon graphs Gamma in R^3, including all framed oriented links. We show that our bracket coincides with the Kauffman bracket for n=2 and with the Kuperberg's bracket for n=3. Furthermore, we prove that for any n, our bracket of a link…

The aim of this paper is to define two link invariants satisfying cubic skein relations. In the hierarchy of polynomial invariants determined by explicit skein relations they are the next level of complexity after Jones, HOMFLY, Kauffman and Kuperberg's $G_2$ quantum invariants. Our method consists in the study of Mark…

In the present paper, we construct the generalized Kuperberg bracket for two-component links with one component fibred. We consider a new geometrical complexity for such links and establish minimality of diagrams in a strong sense.

Hennings and Kuperberg defined quantum invariants $Z_{Henn}$ and $Z_{Kup}$ for closed oriented $3$-manifolds based on certain Hopf algebras, respectively. When the Hopf algebras are semisimple, it is shown that $Z_{Kup}=|Z_{Henn}|^2$. In this paper, we present a new proof of this equality.

After shortly recalling the construction of the Khovanov-Kuperberg algebras, we give a characterisation of indecomposable web-modules. It says that a web-module is indecomposable if and only if one can deduce it directly from the Kuperberg bracket (via a Schur lemma argument). The proofs relies on the construction of i…

Extends $sl(3)$ invariant to tangles via webs and functors.

It is known that every surface-link can be presented by a marked graph diagram, and such a diagram presentation is unique up to moves called Yoshikawa moves. G. Kuperberg introduced a regular isotopy invariant, called the quantum A_2 invariant, for tangled trivalent graph diagrams. In this paper, a polynomial for a mar…

The aim of this note is to take benefit of the foam nature of the Khovanov-Kuperberg algebras to compute the Grothendieck groups of their categories of finitely generated projective modules. The computation relies on the Hattori-Stallings trace and some geometrical properties of foams in a solid torus.

The paper explores algorithms to transform 3-manifold triangulations while controlling sparsity.

For rational homology 3-spheres, there exist two universal finite-type invariants: the Le-Murakami-Ohtsuki invariant and the Kontsevich-Kuperberg-Thurston invariant. These invariants take values in the same space of "Jacobi diagrams", but it is not known whether they are equal. In 2004, Lescop proved that the KKT invar…

We recall a construction of Mackaay, Pan and Tubbenhauer of the algebras $K^ε$ which allow to understand the $sl_3$ homology for links in a local way (i.e. for tangles). Then, by studying the combinatorics of the Kuperberg bracket, we give a large family of non-elliptic webs whose associated projective $K^ε$-modules ar…

New invariant from quantum algebra for 3-manifold bundles.

We construct graph-valued analogues of the Kuperberg sl(3) and G2 invariants for virtual knots. The restriction of the sl(3) or G2 invariants for classical knots coincides with the usual Homflypt sl(3) invariant and G2 invariants. For virtual knots and graphs these invariants provide new graphical information that allo…

Lectures introduce evaluation of SL(3) foams and link homology.

Let $A\neq 0$ be a complex number with $|A|\neq 1$. Let $M$ be a compact smooth oriented $3$-manifold, the $SU(3)$-skein space of $M$, $S_A(M)$, is the vector space over $\mathbb{C}$ generated by framed oriented links (including framed oriented trivalent graphs in $M$) quotient by the $SU(3)$-skein relations due to Ku…

Study $G_2$ skein algebra elements using Kuperberg webs and threading operations.

Researchers calculate colored Jones polynomials for pretzel links using Kuperberg's theory.

The Theta invariant is the simplest 3-manifold invariant defined with configuration space integrals. It is actually an invariant of rational homology spheres equipped with a combing over the complement of a point. It can be computed as the algebraic intersection of three propagators associated to a given combing X in t…

It is a natural consequence of fundamental properties of the Casson invariant that the Rokhlin invariant of an amphichiral integral homology 3-sphere M vanishes. In this paper, we give a new direct proof of this vanishing property. For such an M, we construct a manifold pair (Y,Q) of dimensions 6 and 3 equipped with so…

Study of unoriented SL(4) foams in 3-manifolds.

Extends Gordon-Litherland pairing to links in thickened surfaces, defining new invariants.

In this self-contained book, following Edward Witten, Maxim Kontsevich, Greg Kuperberg and Dylan Thurston, we define an invariant Z of framed links in rational homology 3-spheres, and we study its properties. The invariant Z, which is often called the perturbative expansion of the Chern-Simons theory, is valued in a gr…

We first present three graphic surgery formulae for the degree $n$ part $Z_n$ of the Kontsevich-Kuperberg-Thurston universal finite type invariant of rational homology spheres. Each of these three formulae determines an alternate sum of the form $\sum_{I \subset N} (-1)^{\sharp I}Z_n(M_I)$ where $N$ is the set of com…

We provide elementary proofs of Lemmas 7.1 and 7.4 appearing in "The Cartan-Hadamard conjecture and the Little Prince", by B. Kloeckner and G. Kuperberg. The Lemmas play an important role in the derivation of novel isoperimetric inequalities. The original proofs relied on Sage, a symbolic algebra package, to factor cer…

Bott and Taubes constructed knot invariants by integrating differential forms along the fiber of a bundle over the space of knots, generalizing the Gauss linking integral. Their techniques were later used to construct real cohomology classes in spaces of knots and links in higher-dimensional Euclidean spaces. In previo…

Paper proves zero stability for one-row colored sl₃-Jones polynomials.