arXiv research

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

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

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

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…

The paper generalizes Kuperberg invariants using twisted Drinfeld doubles.

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.

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.

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…

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…

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

We develop a theory of confluence of graphs. We describe an algorithm for proving that a given system of reduction rules for abstract graphs and graphs in surfaces is locally confluent. We apply this algorithm to show that each simple Lie algebra of rank at most 2, gives rise to a confluent system of reduction rules of…

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

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

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…

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…

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

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…

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

Kuperberg introduced web spaces for some Lie algebras which are generalizations of the Kauffman bracket skein module on a disk with marked points. We derive some formulas for $A_1$ and $A_2$ clasped web spaces by graphical calculus using skein theory. These formulas are colored version of skein relations, twist formula…

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…

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

We reconsider the su(3) link homology theory defined by Khovanov in math.QA/0304375 and generalized by Mackaay and Vaz in math.GT/0603307. With some slight modifications, we describe the theory as a map from the planar algebra of tangles to a planar algebra of (complexes of) `cobordisms with seams' (actually, a `canopo…

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…

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…

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…

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.

The sl_3 spider is a diagrammatic category used to study the representation theory of the quantum group U_q(sl_3). The morphisms in this category are generated by a basis of non-elliptic webs. Khovanov- Kuperberg observed that non-elliptic webs are indexed by semistandard Young tableaux. They establish this bijection v…

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…

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 proves zero stability for one-row colored sl₃-Jones polynomials.

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.

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.

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.

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

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…

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

In this article parametric versions of Wilson's plug and Kuperberg's plug are discussed. We show that there is a weak homotopy equivalence induced by the inclusion between the space of non-singular vector fields tangent to a foliation and the subspace of those without closed orbits, as long as the leaves of the foliati…

We characterize, using commuting zero-flux homologies, those volume-preserving vector fields on a $3$-manifold that are steady solutions of the Euler equations for some Riemannian metric. This result extends Sullivan's homological characterization of geodesible flows in the volume-preserving case. As an application, we…

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…

We show that the problem of recognizing that a knot diagram represents a specific torus knot, or any torus knot at all, is in the complexity class ${\sf NP} \cap {\sf co\text{-}NP}$, assuming the generalized Riemann hypothesis. We also show that satellite knot detection is in ${\sf NP}$ under the same assumption, and t…

Study Type $C$ skein modules using $Sp(2n)$ webs and construct transparent elements.

Kuperberg [Algebr. Geom. Topol. 3 (2003) 587-591] has shown that a virtual knot corresponds (up to generalized Reidemeister moves) to a unique embedding in a thichened surface of minimal genus. If a virtual knot diagram is equivalent to a classical knot diagram then this minimal surface is a sphere. Using this result a…

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…

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