-
Braided categories of bimodules from stated skein TQFTs
Authors:
Francesco Costantino,
Matthieu Faitg
Abstract:
For each braided category $\mathcal{C}$ we show that, under mild hypotheses, there is an associated category of "half braided algebras" and their bimodules internal to $\mathcal{C}$ which is not only monoidal but even braided and balanced. We use this in the case where $\mathcal{C}$ is the category of modules over a ribbon Hopf algebra to interpret stated skeins as a TQFT, namely a braided balance…
▽ More
For each braided category $\mathcal{C}$ we show that, under mild hypotheses, there is an associated category of "half braided algebras" and their bimodules internal to $\mathcal{C}$ which is not only monoidal but even braided and balanced. We use this in the case where $\mathcal{C}$ is the category of modules over a ribbon Hopf algebra to interpret stated skeins as a TQFT, namely a braided balanced functor from a category of cobordisms to this category of algebras and their bimodules. Although our construction works in full generality, we relate in the special case of finite-dimensional ribbon factorizable Hopf algebras the stated skein functor to the Kerler-Lyubashenko TQFT by interpreting the former as the "endomorphisms" of the latter.
△ Less
Submitted 22 May, 2025;
originally announced May 2025.
-
Fisher-Rao distance between truncated distributions and robustness analysis in uncertainty quantification
Authors:
Baalu Belay Ketema,
Nicolas Bousquet,
Francesco Costantino,
Fabrice Gamboa,
Bertrand Iooss,
Roman Sueur
Abstract:
Input variables in numerical models are often subject to several levels of uncertainty, usually modeled by probability distributions. In the context of uncertainty quantification applied to these models, studying the robustness of output quantities with respect to the input distributions requires: (a) defining variational classes for these distributions; (b) calculating boundary values for the out…
▽ More
Input variables in numerical models are often subject to several levels of uncertainty, usually modeled by probability distributions. In the context of uncertainty quantification applied to these models, studying the robustness of output quantities with respect to the input distributions requires: (a) defining variational classes for these distributions; (b) calculating boundary values for the output quantities of interest with respect to these variational classes. The latter should be defined in a way that is consistent with the information structure defined by the ``baseline'' choice of input distributions. Considering parametric families, the variational classes are defined using the geodesic distance in their Riemannian manifold, a generic approach to such problems. Theoretical results and application tools are provided to justify and facilitate the implementation of such robustness studies, in concrete situations where these distributions are truncated -- a setting frequently encountered in applications. The feasibility of our approach is illustrated in a simplified industrial case study.
△ Less
Submitted 31 July, 2024;
originally announced July 2024.
-
Non-semisimple topological field theory and $\widehat{Z}$-invariants from $\mathfrak{osp}(1 \vert 2)$
Authors:
Francesco Costantino,
Matthew Harper,
Adam Robertson,
Matthew B. Young
Abstract:
We construct three dimensional non-semisimple topological field theories from the unrolled quantum group of the Lie superalgebra $\mathfrak{osp}(1 \vert 2)$. More precisely, the quantum group depends on a root of unity $q=e^{\frac{2 π\sqrt{-1}}{r}}$, where $r$ is a positive integer greater than $2$, and the construction applies when $r$ is not congruent to $4$ modulo $8$. The algebraic result whic…
▽ More
We construct three dimensional non-semisimple topological field theories from the unrolled quantum group of the Lie superalgebra $\mathfrak{osp}(1 \vert 2)$. More precisely, the quantum group depends on a root of unity $q=e^{\frac{2 π\sqrt{-1}}{r}}$, where $r$ is a positive integer greater than $2$, and the construction applies when $r$ is not congruent to $4$ modulo $8$. The algebraic result which underlies the construction is the existence of a relative modular structure on the non-finite, non-semisimple category of weight modules for the quantum group. We prove a Verlinde formula which allows for the computation of dimensions and Euler characteristics of topological field theory state spaces of unmarked surfaces. When $r$ is congruent to $\pm 1$ or $\pm 2$ modulo $8$, we relate the resulting $3$-manifold invariants with physicists' $\widehat{Z}$-invariants associated to $\mathfrak{osp}(1 \vert 2)$. Finally, we establish a relation between $\widehat{Z}$-invariants associated to $\mathfrak{sl}(2)$ and $\mathfrak{osp}(1 \vert 2)$ which was conjectured in the physics literature.
△ Less
Submitted 16 July, 2024;
originally announced July 2024.
-
Learning 3-Manifold Triangulations
Authors:
Francesco Costantino,
Yang-Hui He,
Elli Heyes,
Edward Hirst
Abstract:
Real 3-manifold triangulations can be uniquely represented by isomorphism signatures. Databases of these isomorphism signatures are generated for a variety of 3-manifolds and knot complements, using SnapPy and Regina, then these language-like inputs are used to train various machine learning architectures to differentiate the manifolds, as well as their Dehn surgeries, via their triangulations. Gr…
▽ More
Real 3-manifold triangulations can be uniquely represented by isomorphism signatures. Databases of these isomorphism signatures are generated for a variety of 3-manifolds and knot complements, using SnapPy and Regina, then these language-like inputs are used to train various machine learning architectures to differentiate the manifolds, as well as their Dehn surgeries, via their triangulations. Gradient saliency analysis then extracts key parts of this language-like encoding scheme from the trained models. The isomorphism signature databases are taken from the 3-manifolds' Pachner graphs, which are also generated in bulk for some selected manifolds of focus and for the subset of the SnapPy orientable cusped census with $<8$ initial tetrahedra. These Pachner graphs are further analysed through the lens of network science to identify new structure in the triangulation representation; in particular for the hyperbolic case, a relation between the length of the shortest geodesic (systole) and the size of the Pachner graph's ball is observed.
△ Less
Submitted 17 March, 2025; v1 submitted 15 May, 2024;
originally announced May 2024.
-
Skein (3+1)-TQFTs from non-semisimple ribbon categories
Authors:
Francesco Costantino,
Nathan Geer,
Benjamin Haïoun,
Bertrand Patureau-Mirand
Abstract:
Using skein theory very much in the spirit of the Reshetikhin--Turaev constructions, we define a $(3+1)$-TQFT associated with possibly non-semisimple finite unimodular ribbon tensor categories. State spaces are given by admissible skein modules, and we prescribe the TQFT on handle attachments. We give some explicit algebraic conditions on the category to define this TQFT, namely to be "chromatic n…
▽ More
Using skein theory very much in the spirit of the Reshetikhin--Turaev constructions, we define a $(3+1)$-TQFT associated with possibly non-semisimple finite unimodular ribbon tensor categories. State spaces are given by admissible skein modules, and we prescribe the TQFT on handle attachments. We give some explicit algebraic conditions on the category to define this TQFT, namely to be "chromatic non-degenerate". As a by-product, we obtain an invariant of 4-manifolds equipped with a ribbon graph in their boundary, and in the "twist non-degenerate" case, an invariant of 3-manifolds. Our construction generalizes the Crane--Yetter--Kauffman TQFTs in the semi-simple case, and the Lyubashenko (hence also Hennings and WRT) invariants of 3-manifolds. The whole construction is very elementary, and we can easily characterize invertibility of the TQFTs, study their behavior under connected sum and provide some examples.
△ Less
Submitted 5 June, 2023;
originally announced June 2023.
-
Chromatic maps for finite tensor categories
Authors:
Francesco Costantino,
Nathan Geer,
Bertrand Patureau-Mirand,
Alexis Virelizier
Abstract:
Chromatic maps for spherical tensor categories are instrumental tools to construct (non semisimple) invariants of 3-manifolds and their extension to (non compact) (2+1)-TQFTs. In this paper, we introduce left and right chromatic maps for finite tensor categories and prove that such maps always exist. As a corollary, we obtain that any spherical finite tensor category has a chromatic map.
Chromatic maps for spherical tensor categories are instrumental tools to construct (non semisimple) invariants of 3-manifolds and their extension to (non compact) (2+1)-TQFTs. In this paper, we introduce left and right chromatic maps for finite tensor categories and prove that such maps always exist. As a corollary, we obtain that any spherical finite tensor category has a chromatic map.
△ Less
Submitted 23 May, 2023;
originally announced May 2023.
-
Non compact (2+1)-TQFTs from non-semisimple spherical categories
Authors:
Francesco Costantino,
Nathan Geer,
Bertrand Patureau-Mirand,
Alexis Virelizier
Abstract:
This paper contains three related groupings of results. First, we consider a new notion of an admissible skein module of a surface associated to an ideal in a (non-semisimple) pivotal category. Second, we introduce the notion of a chromatic category and associate to such a category a finite dimensional non-compact (2+1)-TQFT by assigning admissible skein modules to closed oriented surfaces and usi…
▽ More
This paper contains three related groupings of results. First, we consider a new notion of an admissible skein module of a surface associated to an ideal in a (non-semisimple) pivotal category. Second, we introduce the notion of a chromatic category and associate to such a category a finite dimensional non-compact (2+1)-TQFT by assigning admissible skein modules to closed oriented surfaces and using Juhász's presentation of cobordisms. The resulting TQFT extends to a genuine one if and only if the chromatic category is semisimple with nonzero dimension (recovering then the Turaev-Viro TQFT). The third grouping of results concerns sided chromatic maps in finite tensor categories. In particular, we prove that every spherical tensor category (in the sense of Etingof, Douglas et al.) is a chromatic category (and so can be used to define a non-compact (2+1)-TQFT).
△ Less
Submitted 17 April, 2024; v1 submitted 9 February, 2023;
originally announced February 2023.
-
Admissible Skein Modules
Authors:
Francesco Costantino,
Nathan Geer,
Bertrand Patureau-Mirand
Abstract:
In this paper we introduce the notion of admissible skein modules associated to an ideal in a pivotal category. We explain how these modules are generalizations of the Kauffman skein algebra and how they relate to renormalized quantum invariants coming from non-semisimple categories.
In this paper we introduce the notion of admissible skein modules associated to an ideal in a pivotal category. We explain how these modules are generalizations of the Kauffman skein algebra and how they relate to renormalized quantum invariants coming from non-semisimple categories.
△ Less
Submitted 9 February, 2023;
originally announced February 2023.
-
Stated skein modules of 3-manifolds and TQFT
Authors:
Francesco Costantino,
Thang T. Q. Le
Abstract:
We study the behaviour of the Kauffman bracket skein modules of 3-manifolds under gluing along surfaces. For this purpose we extend the notion of Kauffman bracket skein modules to $3$-manifolds with marking consisting of open intervals and circles in the boundary. The new module is called the stated skein module.
The first main results concern non-injectivity of certain natural maps defined when…
▽ More
We study the behaviour of the Kauffman bracket skein modules of 3-manifolds under gluing along surfaces. For this purpose we extend the notion of Kauffman bracket skein modules to $3$-manifolds with marking consisting of open intervals and circles in the boundary. The new module is called the stated skein module.
The first main results concern non-injectivity of certain natural maps defined when forming connected sums along a sphere or along a closed disk. These maps are injective for surfaces, or for generic quantum parameter, but we show that in general they are not injective when the quantum parameter is a root of 1. The result applies to the classical skein modules as well. A particular interesting result is that when the quantum parameter is a root of 1, the empty skein is zero in a connected sum where each constituent manifold has non-empty marking.
We also prove various non injectivity results for the Chebyshev-Frobenius map and the natural map induced by the deletion of marked balls.
We then consider the general case of gluing along a surface, showing that the stated skein module can be interpreted as a monoidal symmetric functor from a category of "decorated cobordisms" to a Morita category of algebras and their bimodules. We apply this result to deduce several properties of stated skein modules as a Van-Kampen like theorem as well as a computation through Heegaard decompositions and a relation to Hochshild homology for trivial circle bundles over surfaces.
△ Less
Submitted 22 June, 2022;
originally announced June 2022.
-
Non-Semisimple TQFT's and BPS $q$-Series
Authors:
Francesco Costantino,
Sergei Gukov,
Pavel Putrov
Abstract:
We propose and in some cases prove a precise relation between 3-manifold invariants associated with quantum groups at roots of unity and at generic $q$. Both types of invariants are labeled by extra data which plays an important role in the proposed relation. Bridging the two sides - which until recently were developed independently, using very different methods - opens many new avenues. In one di…
▽ More
We propose and in some cases prove a precise relation between 3-manifold invariants associated with quantum groups at roots of unity and at generic $q$. Both types of invariants are labeled by extra data which plays an important role in the proposed relation. Bridging the two sides - which until recently were developed independently, using very different methods - opens many new avenues. In one direction, it allows to study (and perhaps even to formulate) $q$-series invariants labeled by spin$^c$ structures in terms of non-semisimple invariants. In the opposite direction, it offers new insights and perspectives on various elements of non-semisimple TQFT's, bringing the latter into one unifying framework with other invariants of knots and 3-manifolds that recently found realization in quantum field theory and in string theory.
△ Less
Submitted 15 March, 2023; v1 submitted 29 July, 2021;
originally announced July 2021.
-
Stated skein algebras of surfaces
Authors:
Francesco Costantino,
Thang T. Q. Le
Abstract:
We study the algebraic and geometric properties of stated skein algebras of surfaces with punctured boundary. We prove that the skein algebra of the bigon is isomorphic to the quantum group ${\mathcal O}_{q^2}(\mathrm{SL}(2))$ providing a topological interpretation for its structure morphisms. We also show that its stated skein algebra lifts in a suitable sense the Reshetikhin-Turaev functor and i…
▽ More
We study the algebraic and geometric properties of stated skein algebras of surfaces with punctured boundary. We prove that the skein algebra of the bigon is isomorphic to the quantum group ${\mathcal O}_{q^2}(\mathrm{SL}(2))$ providing a topological interpretation for its structure morphisms. We also show that its stated skein algebra lifts in a suitable sense the Reshetikhin-Turaev functor and in particular we recover the dual $R$-matrix for ${\mathcal O}_{q^2}(\mathrm{SL}(2))$ in a topological way. We deduce that the skein algebra of a surface with $n$ boundary components is an algebra-comodule over ${\mathcal O}_{q^2}(\mathrm{SL}(2))^{\otimes{n}}$ and prove that cutting along an ideal arc corresponds to Hochshild cohomology of bicomodules. We give a topological interpretation of braided tensor product of stated skein algebras of surfaces as "glueing on a triangle"; then we recover topologically some braided bialgebras in the category of ${\mathcal O}_{q^2}(\mathrm{SL}(2))$-comodules, among which the "transmutation" of ${\mathcal O}_{q^2}(\mathrm{SL}(2))$. We also provide an operadic interpretation of stated skein algebras as an example of a "geometric non symmetric modular operad". In the last part of the paper we define a reduced version of stated skein algebras and prove that it allows to recover Bonahon-Wong's quantum trace map and interpret skein algebras in the classical limit when $q\to 1$ as regular functions over a suitable version of moduli spaces of twisted bundles.
△ Less
Submitted 2 November, 2020; v1 submitted 26 July, 2019;
originally announced July 2019.
-
Kuperberg and Turaev-Viro Invariants in Unimodular Categories
Authors:
Francesco Costantino,
Nathan Geer,
Bertrand Patureau-Mirand,
Vladimir Turaev
Abstract:
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 invariants when the category is semi-simple and spherical.
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 invariants when the category is semi-simple and spherical.
△ Less
Submitted 14 December, 2018; v1 submitted 21 September, 2018;
originally announced September 2018.
-
Non semi-simple TQFTs from unrolled quantum $sl(2)$
Authors:
Christian Blanchet,
Francesco Costantino,
Nathan Geer,
Bertrand Patureau-Mirand
Abstract:
Invariants of 3-manifolds from a non semi-simple category of modules over a version of quantum $sl(2)$ were obtained by the last three authors in arXiv:1202.3553 . They are invariants of $3$-manifolds together with a cohomology class which can be interpreted as a line bundle with flat connection. In arXiv:1404.7289 we have extended those invariants to graded TQFTs on suitable cobordism categories.…
▽ More
Invariants of 3-manifolds from a non semi-simple category of modules over a version of quantum $sl(2)$ were obtained by the last three authors in arXiv:1202.3553 . They are invariants of $3$-manifolds together with a cohomology class which can be interpreted as a line bundle with flat connection. In arXiv:1404.7289 we have extended those invariants to graded TQFTs on suitable cobordism categories. Here we give an overview of constructions and results, and describe the TQFT vector spaces. Then we provide a new, algebraic, approach to the computation of these vector spaces.
△ Less
Submitted 26 May, 2016; v1 submitted 25 May, 2016;
originally announced May 2016.
-
Duality between Spin networks and the 2D Ising model
Authors:
Valentin Bonzom,
Francesco Costantino,
Etera R. Livine
Abstract:
The goal of this paper is to exhibit a deep relation between the partition function of the Ising model on a planar trivalent graph and the generating series of the spin network evaluations on the same graph. We provide respectively a fermionic and a bosonic Gaussian integral formulation for each of these functions and we show that they are the inverse of each other (up to some explicit constants)…
▽ More
The goal of this paper is to exhibit a deep relation between the partition function of the Ising model on a planar trivalent graph and the generating series of the spin network evaluations on the same graph. We provide respectively a fermionic and a bosonic Gaussian integral formulation for each of these functions and we show that they are the inverse of each other (up to some explicit constants) by exhibiting a supersymmetry relating the two formulations. We investigate three aspects and applications of this duality. First, we propose higher order supersymmetric theories which couple the geometry of the spin networks to the Ising model and for which supersymmetric localization still holds. Secondly, after interpreting the generating function of spin network evaluations as the projection of a coherent state of loop quantum gravity onto the flat connection state, we find the probability distribution induced by that coherent state on the edge spins and study its stationary phase approximation. It is found that the stationary points correspond to the critical values of the couplings of the 2D Ising model, at least for isoradial graphs. Third, we analyze the mapping of the correlations of the Ising model to spin network observables, and describe the phase transition on those observables on the hexagonal lattice. This opens the door to many new possibilities, especially for the study of the coarse-graining and continuum limit of spin networks in the context of quantum gravity.
△ Less
Submitted 10 April, 2015;
originally announced April 2015.
-
Some remarks on the unrolled quantum group of sl(2)
Authors:
Francesco Costantino,
Nathan Geer,
Bertrand Patureau-Mirand
Abstract:
In this paper we consider the representation theory of a non-standard quantization of sl(2). This paper contains several results which have applications in quantum topology, including the classification of projective indecomposable modules and a description of morphisms between them. In the process of proving these results the paper acts as a survey of the known representation theory associated to…
▽ More
In this paper we consider the representation theory of a non-standard quantization of sl(2). This paper contains several results which have applications in quantum topology, including the classification of projective indecomposable modules and a description of morphisms between them. In the process of proving these results the paper acts as a survey of the known representation theory associated to this non-standard quantization of sl(2). The results of this paper are used extensively in [arXiv:1404.7289] to study Topological Quantum Field Theory (TQFT) and have connections with Conformal Field Theory (CFT).
△ Less
Submitted 22 June, 2016; v1 submitted 2 June, 2014;
originally announced June 2014.
-
Non semi-simple sl(2) quantum invariants, spin case
Authors:
Christian Blanchet,
Francesco Costantino,
Nathan Geer,
Bertrand Patureau-Mirand
Abstract:
Invariants of 3-manifolds from a non semi-simple category of modules over a version of quantum sl(2) were obtained by the last three authors in [arXiv:1404.7289]. In their construction the quantum parameter $q$ is a root of unity of order $2r$ where $r>1$ is odd or congruent to $2$ modulo $4$. In this paper we consider the remaining cases where $r$ is congruent to zero modulo $4$ and produce invar…
▽ More
Invariants of 3-manifolds from a non semi-simple category of modules over a version of quantum sl(2) were obtained by the last three authors in [arXiv:1404.7289]. In their construction the quantum parameter $q$ is a root of unity of order $2r$ where $r>1$ is odd or congruent to $2$ modulo $4$. In this paper we consider the remaining cases where $r$ is congruent to zero modulo $4$ and produce invariants of $3$-manifolds with colored links, equipped with generalized spin structure. For a given $3$-manifold $M$, the relevant generalized spin structures are (non canonically) parametrized by $H^1(M;\mathbb C/2\mathbb Z)$.
△ Less
Submitted 14 May, 2014;
originally announced May 2014.
-
Non semi-simple TQFTs, Reidemeister torsion and Kashaev's invariants
Authors:
Christian Blanchet,
Francesco Costantino,
Nathan Geer,
Bertrand Patureau-Mirand
Abstract:
We construct and study a new family of TQFTs based on nilpotent highest weight representations of quantum sl(2) at a root of unity indexed by generic complex numbers. This extends to cobordisms the non-semi-simple invariants defined in (arXiv:1202.3553) including the Kashaev invariant of links. Here the modular category framework does not apply and we use the ``universal construction''. Our TQFT p…
▽ More
We construct and study a new family of TQFTs based on nilpotent highest weight representations of quantum sl(2) at a root of unity indexed by generic complex numbers. This extends to cobordisms the non-semi-simple invariants defined in (arXiv:1202.3553) including the Kashaev invariant of links. Here the modular category framework does not apply and we use the ``universal construction''. Our TQFT provides a monoidal functor from a category of surfaces and their cobordisms into the category of graded finite dimensional vector spaces and their degree 0-morphisms and depends on the choice of a root of unity of order 2r. The functor is always symmetric monoidal but for even values of r the braiding on GrVect has to be the super-symmetric one, thus our TQFT may be considered as a super-TQFT. In the special case r=2 our construction yields a TQFT for a canonical normalization of Reidemeister torsion and we re-prove the classification of Lens spaces via the non-semi-simple quantum invariants defined in (arXiv:1202.3553). We prove that the representations of mapping class groups and Torelli groups resulting from our constructions are potentially more sensitive than those obtained from the standard Reshetikhin-Turaev functors; in particular we prove that the action of the bounding pairs generators of the Torelli group has always infinite order.
△ Less
Submitted 29 April, 2014;
originally announced April 2014.
-
On the volume conjecture for polyhedra
Authors:
Francesco Costantino,
François Guéritaud,
Roland van der Veen
Abstract:
We formulate a generalization of the volume conjecture for planar graphs. Denoting by <G, c> the Kauffman bracket of the graph G whose edges are decorated by real "colors" c, the conjecture states that, under suitable conditions, certain evaluations of <G,kc> grow exponentially as k goes to infinity and the growth rate is the volume of a truncated hyperbolic hyperideal polyhedron whose one-skeleto…
▽ More
We formulate a generalization of the volume conjecture for planar graphs. Denoting by <G, c> the Kauffman bracket of the graph G whose edges are decorated by real "colors" c, the conjecture states that, under suitable conditions, certain evaluations of <G,kc> grow exponentially as k goes to infinity and the growth rate is the volume of a truncated hyperbolic hyperideal polyhedron whose one-skeleton is G (up to a local modification around all the vertices) and with dihedral angles given by c. We provide evidence for it, by deriving a system of recursions for the Kauffman brackets of planar graphs, generalizing the Gordon-Schulten recursion for the quantum 6j-symbols. Assuming that <G,kc> does grow exponentially these recursions provide differential equations for the growth rate, which are indeed satisfied by the volume (the Schlafli equation); moreover, any small perturbation of the volume function that is still a solution to these equations, is a perturbation by an additive constant. In the appendix we also provide a proof outlined elsewhere of the conjecture for an infinite family of planar graphs including the tetrahedra.
△ Less
Submitted 10 March, 2014;
originally announced March 2014.
-
Relations between Witten-reshetikhin-turaev and non semi-simple sl(2) 3-manifold invariants
Authors:
Francesco Costantino,
Nathan Geer,
Bertrand Patureau-Mirand
Abstract:
The Witten-Reshetikhin-Turaev invariants extend the Jones polynomials of links in S^3 to invariants of links in 3-manifolds. Similarly, in a preceding paper, the authors constructed two 3-manifold invariants N_r and N^0_r which extend the Akutsu-Deguchi-Ohtsuki invariant of links in S^3 colored by complex numbers to links in arbitrary manifolds. All these invariants are based on representation the…
▽ More
The Witten-Reshetikhin-Turaev invariants extend the Jones polynomials of links in S^3 to invariants of links in 3-manifolds. Similarly, in a preceding paper, the authors constructed two 3-manifold invariants N_r and N^0_r which extend the Akutsu-Deguchi-Ohtsuki invariant of links in S^3 colored by complex numbers to links in arbitrary manifolds. All these invariants are based on representation theory of the quantum group Uqsl2, where the definition of the invariants N_r and N^0_r uses a non-standard category of Uqsl2-modules which is not semi-simple. In this paper we study the second invariant N^0_r and consider its relationship with the WRT invariants. In particular, we show that the ADO invariant of a knot in S^3 is a meromorphic function of its color and we provide a strong relation between its residues and the colored Jones polynomials of the knot. Then we conjecture a similar relation between N^0_r and a WRT invariant. We prove this conjecture when the 3-manifold M is not a rational homology sphere and when M is a rational homology sphere obtained by surgery on a knot in S^3 or when M is a connected sum of such manifolds.
△ Less
Submitted 10 October, 2013;
originally announced October 2013.
-
An analytic family of representations for the mapping class group of punctured surfaces
Authors:
Francesco Costantino,
Bruno Martelli
Abstract:
We use quantum invariants to define an analytic family of representations for the mapping class group of a punctured surface. The representations depend on a complex number A with |A| <= 1 and act on an infinite-dimensional Hilbert space. They are unitary when A is real or imaginary, bounded when |A|<1, and only densely defined when |A| = 1 and A is not a root of unity. When A is a root of unity d…
▽ More
We use quantum invariants to define an analytic family of representations for the mapping class group of a punctured surface. The representations depend on a complex number A with |A| <= 1 and act on an infinite-dimensional Hilbert space. They are unitary when A is real or imaginary, bounded when |A|<1, and only densely defined when |A| = 1 and A is not a root of unity. When A is a root of unity distinct from 1, -1, i, -i the representations are finite-dimensional and isomorphic to the "Hom" version of the well-known TQFT quantum representations.
The unitary representations in the interval [-1,0] interpolate analytically between two natural geometric unitary representations, the SU(2)-character variety representation studied by Goldman and the multicurve representation induced by the action of the mapping class group on multicurves.
The finite-dimensional representations converge analytically to the infinite-dimensional ones. We recover Marche and Narimannejad's convergence theorem, and Andersen, Freedman, Walker and Wang's asymptotic faithfulness, that states that the image of a non-central mapping class is always non-trivial after some level r. When the mapping class is pseudo-Anosov we give a simple polynomial estimate of the level r in term of its dilatation.
△ Less
Submitted 9 October, 2012;
originally announced October 2012.
-
Quantum invariants of 3-manifolds via link surgery presentations and non-semi-simple categories
Authors:
Francesco Costantino,
Nathan Geer,
Bertrand Patureau-Mirand
Abstract:
In this paper we construct invariants of 3-manifolds "à la Reshetikhin-Turaev" in the setting of non-semi-simple ribbon tensor categories. We give concrete examples of such categories which lead to a family of 3-manifold invariants indexed by the integers. We prove this family of invariants has several notable features, including: they can be computed via a set of axioms, they distinguish homotopi…
▽ More
In this paper we construct invariants of 3-manifolds "à la Reshetikhin-Turaev" in the setting of non-semi-simple ribbon tensor categories. We give concrete examples of such categories which lead to a family of 3-manifold invariants indexed by the integers. We prove this family of invariants has several notable features, including: they can be computed via a set of axioms, they distinguish homotopically equivalent manifolds that the standard Reshetikhin-Turaev-Witten invariants do not, and they allow the statement of a version of the Volume Conjecture and a proof of this conjecture for an infinite class of links.
△ Less
Submitted 30 December, 2015; v1 submitted 16 February, 2012;
originally announced February 2012.
-
Generating series and asymptotics of classical spin networks
Authors:
Francesco Costantino,
Julien Marche
Abstract:
We study classical spin networks with group SU(2). In the first part, using gaussian integrals, we compute their generating series in the case where the networks are equipped with holonomies; this generalizes Westbury's formula. In the second part, we use an integral formula for the square of the spin network and perform stationary phase approximation under some non-degeneracy hypothesis. This giv…
▽ More
We study classical spin networks with group SU(2). In the first part, using gaussian integrals, we compute their generating series in the case where the networks are equipped with holonomies; this generalizes Westbury's formula. In the second part, we use an integral formula for the square of the spin network and perform stationary phase approximation under some non-degeneracy hypothesis. This gives a precise asymptotic behavior when the labels are rescaled by a constant going to infinity.
△ Less
Submitted 1 May, 2011; v1 submitted 29 March, 2011;
originally announced March 2011.
-
On SL(2, C) quantum 6j-symbol and its relation to the hyperbolic volume
Authors:
Francesco Costantino,
Jun Murakami
Abstract:
We generalize the colored Alexander invariant of knots to an invariant of graphs, and we construct a face model for this invariant by using the corresponding 6j-symbol, which comes from the non-integral representations of the quantum group U_q(sl_2). We call it the SL(2, C) quantum 6j-symbol, and show its relation to the hyperbolic volume of a truncated tetrahedron.
We generalize the colored Alexander invariant of knots to an invariant of graphs, and we construct a face model for this invariant by using the corresponding 6j-symbol, which comes from the non-integral representations of the quantum group U_q(sl_2). We call it the SL(2, C) quantum 6j-symbol, and show its relation to the hyperbolic volume of a truncated tetrahedron.
△ Less
Submitted 2 May, 2011; v1 submitted 24 May, 2010;
originally announced May 2010.
-
Integrality of Kauffman brackets of trivalent graphs
Authors:
Francesco Costantino
Abstract:
We show that Kauffman brackets of colored framed graphs (also known as quantum spin networks) can be renormalized to a Laurent polynomial with integer coefficients by multiplying it by a coefficient which is a product of quantum factorials depending only on the abstract combinatorial structure of the graph. Then we compare the shadow-state sums and the state-sums based on $R$-matrices and Clebsc…
▽ More
We show that Kauffman brackets of colored framed graphs (also known as quantum spin networks) can be renormalized to a Laurent polynomial with integer coefficients by multiplying it by a coefficient which is a product of quantum factorials depending only on the abstract combinatorial structure of the graph. Then we compare the shadow-state sums and the state-sums based on $R$-matrices and Clebsch-Gordan symbols, reprove their equivalence and comment on the integrality of the weight of the states. We also provide short proofs of most of the standard identities satisfied by quantum $6j$-symbols of $U_q(sl_2)$.
△ Less
Submitted 29 November, 2009; v1 submitted 4 August, 2009;
originally announced August 2009.
-
6j-symbols, hyperbolic structures and the Volume Conjecture
Authors:
Francesco Costantino
Abstract:
We compute the asymptotical growth rate of a large family of $U_q(sl_2)$ $6j$-symbols and we interpret our results in geometric terms by relating them to volumes of hyperbolic truncated tetrahedra. We address a question which is strictly related with S.Gukov's generalized volume conjecture and deals with the case of hyperbolic links in connected sums of $S^2\times S^1$. We answer this question f…
▽ More
We compute the asymptotical growth rate of a large family of $U_q(sl_2)$ $6j$-symbols and we interpret our results in geometric terms by relating them to volumes of hyperbolic truncated tetrahedra. We address a question which is strictly related with S.Gukov's generalized volume conjecture and deals with the case of hyperbolic links in connected sums of $S^2\times S^1$. We answer this question for the infinite family of fundamental shadow links.
△ Less
Submitted 30 October, 2007; v1 submitted 13 November, 2006;
originally announced November 2006.
-
Colored Jones invariants of links in S^3 # k S^2 X S^1 and the Volume Conjecture
Authors:
Francesco Costantino
Abstract:
We extend the definition of the colored Jones polynomials to framed links and trivalent graphs in S^3 # k S^2 X S^1 using a state-sum formulation based on Turaev's shadows. Then, we prove that the natural extension of the Volume Conjecture is true for an infinite family of hyperbolic links.
We extend the definition of the colored Jones polynomials to framed links and trivalent graphs in S^3 # k S^2 X S^1 using a state-sum formulation based on Turaev's shadows. Then, we prove that the natural extension of the Volume Conjecture is true for an infinite family of hyperbolic links.
△ Less
Submitted 18 October, 2005; v1 submitted 3 October, 2005;
originally announced October 2005.
-
3-manifolds efficiently bound 4-manifolds
Authors:
Francesco Costantino,
Dylan P. Thurston
Abstract:
It is known since 1954 that every 3-manifold bounds a 4-manifold. Thus, for instance, every 3-manifold has a surgery diagram. There are several proofs of this fact, including constructive proofs, but there has been little attention to the complexity of the 4-manifold produced. Given a 3-manifold M of complexity n, we show how to construct a 4-manifold bounded by M of complexity O(n^2). Here we m…
▽ More
It is known since 1954 that every 3-manifold bounds a 4-manifold. Thus, for instance, every 3-manifold has a surgery diagram. There are several proofs of this fact, including constructive proofs, but there has been little attention to the complexity of the 4-manifold produced. Given a 3-manifold M of complexity n, we show how to construct a 4-manifold bounded by M of complexity O(n^2). Here we measure ``complexity'' of a piecewise-linear manifold by the minimum number of n-simplices in a triangulation. It is an open question whether this quadratic bound can be replaced by a linear bound.
The proof goes through the notion of "shadow complexity" of a 3-manifold M. A shadow of M is a well-behaved 2-dimensional spine of a 4-manifold bounded by M. We prove that, for a manifold M satisfying the Geometrization Conjecture with Gromov norm G and shadow complexity S, c_1 G <= S <= c_2 G^2 for suitable constants c_1, c_2. In particular, the manifolds with shadow complexity 0 are the graph manifolds.
△ Less
Submitted 17 July, 2007; v1 submitted 28 June, 2005;
originally announced June 2005.
-
Stein domains and branched shadows of 4-manifolds
Authors:
Francesco Costantino
Abstract:
We provide sufficient conditions assuring that a suitably decorated 2-polyhedron can be thickened to a compact 4-dimensional Stein domain. We also study a class of flat polyhedra in 4-manifolds and find conditions assuring that they admit Stein, compact neighborhoods. We base our calculations on Turaev's shadows suitably "smoothed"; the conditions we find are purely algebraic and combinatorial.…
▽ More
We provide sufficient conditions assuring that a suitably decorated 2-polyhedron can be thickened to a compact 4-dimensional Stein domain. We also study a class of flat polyhedra in 4-manifolds and find conditions assuring that they admit Stein, compact neighborhoods. We base our calculations on Turaev's shadows suitably "smoothed"; the conditions we find are purely algebraic and combinatorial. Applying our results, we provide examples of hyperbolic 3-manifolds admitting "many" positive and negative Stein fillable contact structures, and prove a 4-dimensional analogue of Oertel's result on incompressibility of surfaces carried by branched polyhedra.
△ Less
Submitted 15 January, 2007; v1 submitted 19 April, 2005;
originally announced April 2005.
-
Branched shadows and complex structures of 4-manifolds
Authors:
Francesco Costantino
Abstract:
We define and study branched shadows of 4-manifolds as a combination of branched spines of 3-manifolds and Turaev's shadows. We use these objects to combinatorially represent 4-manifolds equipped with $Spin^c$-structures and homotopy classes of almost complex structures. We then use branched shadows to study complex 4-manifolds and prove that each almost complex structure on a 4-handlebody is ho…
▽ More
We define and study branched shadows of 4-manifolds as a combination of branched spines of 3-manifolds and Turaev's shadows. We use these objects to combinatorially represent 4-manifolds equipped with $Spin^c$-structures and homotopy classes of almost complex structures. We then use branched shadows to study complex 4-manifolds and prove that each almost complex structure on a 4-handlebody is homotopic to a complex one.
△ Less
Submitted 14 February, 2005;
originally announced February 2005.
-
A short introduction to shadows of 4-manifolds
Authors:
Francesco Costantino
Abstract:
We give a self-contained introduction to the theory of Turaev's shadows as a tool to study 3 and 4-manifolds. The goal of the present paper twofold: on one side it is intended to be a shortcut to a basic use of the theory of shadows, on the other side it gives a sketchy overview of some of the recent results on shadows. No original result is proved here and most of the details of the proofs are…
▽ More
We give a self-contained introduction to the theory of Turaev's shadows as a tool to study 3 and 4-manifolds. The goal of the present paper twofold: on one side it is intended to be a shortcut to a basic use of the theory of shadows, on the other side it gives a sketchy overview of some of the recent results on shadows. No original result is proved here and most of the details of the proofs are not included.
△ Less
Submitted 14 February, 2005; v1 submitted 30 May, 2004;
originally announced May 2004.
-
A calculus for branched spine of 3-manifolds
Authors:
Francesco Costantino
Abstract:
We establish a calculus for branched spines of 3-manifolds by means of branched Matveev-Piergallini moves and branched bubble-moves. We briefly indicate some of its possible applications in the study and definition of State-Sum Quantum Invariants.
We establish a calculus for branched spines of 3-manifolds by means of branched Matveev-Piergallini moves and branched bubble-moves. We briefly indicate some of its possible applications in the study and definition of State-Sum Quantum Invariants.
△ Less
Submitted 14 February, 2005; v1 submitted 29 February, 2004;
originally announced March 2004.
-
Triangulations of 3-manifolds, hyperbolic relative handlebodies, and Dehn filling
Authors:
Francois Costantino,
Roberto Frigerio,
Bruno Martelli,
Carlo Petronio
Abstract:
We establish a bijective correspondence between the set T(n) of 3-dimensional triangulations with n tetrahedra and a certain class H(n) of relative handlebodies (i.e. handlebodies with boundary loops, as defined by Johannson) of genus n+1.
We show that the manifolds in H(n) are hyperbolic (with geodesic boundary, and cusps corresponding to the loops), have least possible volume, and simplest bo…
▽ More
We establish a bijective correspondence between the set T(n) of 3-dimensional triangulations with n tetrahedra and a certain class H(n) of relative handlebodies (i.e. handlebodies with boundary loops, as defined by Johannson) of genus n+1.
We show that the manifolds in H(n) are hyperbolic (with geodesic boundary, and cusps corresponding to the loops), have least possible volume, and simplest boundary loops.
Mirroring the elements of H(n) in their geodesic boundary we obtain a class D(n) of cusped hyperbolic manifolds, previously considered by D. Thurston and the first named author. We show that also D(n) corresponds bijectively to T(n), and we study some Dehn fillings of the manifolds in D(n). As consequences of our constructions, we also show that:
- A triangulation of a 3-manifold is uniquely determined up to isotopy by its 1-skeleton;
- If a 3-manifold M has an ideal triangulation with edges of valence at least 6, then M is hyperbolic and the edges are homotopically non-trivial, whence homotopic to geodesics;
- Every finite group G is the isometry group of a closed hyperbolic 3-manifold with volume less than a constant times |G|^9.
△ Less
Submitted 6 December, 2005; v1 submitted 20 February, 2004;
originally announced February 2004.
-
A calculus for shadows of smooth 4-manifolds
Authors:
Francesco Costantino
Abstract:
The paper has been withdrawn by the author due an error in the proof of Theorem 3.2.
The paper has been withdrawn by the author due an error in the proof of Theorem 3.2.
△ Less
Submitted 14 May, 2002; v1 submitted 26 January, 2002;
originally announced January 2002.
