-
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.
-
Derived representations of quantum character varieties
Authors:
Matthieu Faitg
Abstract:
Quantum moduli algebras $\mathcal{L}_{g,n}^{\mathrm{inv}}(H)$ were introduced by Alekseev-Grosse-Schomerus and Buffenoir-Roche in the context of quantization of character varieties of surfaces and exist for any quasitriangular Hopf algebra $H$. In this paper we construct representations of $\mathcal{L}_{g,n}^{\mathrm{inv}}(H)$ on cohomology spaces $\mathrm{Ext}_H^m(X,M)$ for all $m \geq 0$, where…
▽ More
Quantum moduli algebras $\mathcal{L}_{g,n}^{\mathrm{inv}}(H)$ were introduced by Alekseev-Grosse-Schomerus and Buffenoir-Roche in the context of quantization of character varieties of surfaces and exist for any quasitriangular Hopf algebra $H$. In this paper we construct representations of $\mathcal{L}_{g,n}^{\mathrm{inv}}(H)$ on cohomology spaces $\mathrm{Ext}_H^m(X,M)$ for all $m \geq 0$, where $X$ is any $H$-module and $M$ is any $\mathcal{L}_{g,n}(H)$-module endowed with a compatible $H$-module structure. As a corollary and under suitable assumptions on $H$, we obtain projective representations of mapping class groups of surfaces on such Ext spaces. This recovers the projective representations constructed by Lentner-Mierach-Schweigert-Sommerhäuser from Lyubashenko theory, when the category $\mathcal{C} = H\text{-}\mathrm{mod}$ is used in their construction. Other topological applications are matrix-valued invariants of knots in thickened surfaces and representations of skein algebras on Ext spaces.
△ Less
Submitted 6 February, 2025;
originally announced February 2025.
-
An adjunction theorem for Davydov-Yetter cohomology and infinitesimal braidings
Authors:
Matthieu Faitg,
Azat M. Gainutdinov,
Christoph Schweigert
Abstract:
Davydov-Yetter cohomology $H_{\mathrm{DY}}^{\bullet}(F)$ is associated to a monoidal functor $F: \mathcal{C} \to \mathcal{D}$ between $\Bbbk$-linear monoidal categories where $\Bbbk$ is a field, and its second degree classifies the infinitesimal deformations of the monoidal structure of $F$. Our main result states that if $F$ admits a right adjoint $R$, then there is an object $Γ$ in the Drinfeld…
▽ More
Davydov-Yetter cohomology $H_{\mathrm{DY}}^{\bullet}(F)$ is associated to a monoidal functor $F: \mathcal{C} \to \mathcal{D}$ between $\Bbbk$-linear monoidal categories where $\Bbbk$ is a field, and its second degree classifies the infinitesimal deformations of the monoidal structure of $F$. Our main result states that if $F$ admits a right adjoint $R$, then there is an object $Γ$ in the Drinfeld center $\mathcal{Z}(\mathcal{C})$ defined in terms of $R$ such that the Davydov-Yetter cohomology of $F$ can be expressed as the Davydov-Yetter cohomology of the identity functor on $\mathcal{C}$ with the coefficient $Γ$. We apply this result in the case when the product functor $\otimes: \mathcal{C} \boxtimes\mathcal{C} \to\mathcal{C}$ has a monoidal structure given by a braiding $c$ on $\mathcal{C}$ and determine explicitly the coefficient $Γ$ as a coend object in $\mathcal{Z}(\mathcal{C}) \boxtimes \mathcal{Z}(\mathcal{C})$. The motivation is that $H^{\bullet}_{\mathrm{DY}}(\otimes)$ contains a ``space of infinitesimal braidings tangent to $c$'' in a way that we describe precisely. For $\mathcal{C} = H\text{-}\mathrm{mod}$, where $H$ is a finite-dimensional Hopf algebra over a field $\Bbbk$, this is the Zariski tangent space to the affine variety of R-matrices for $H$. In the case of perfect $\Bbbk$, we give a dimension formula for this space as an explicit end involving only (low-degree) relative Ext's of the standard adjunction between $\mathcal{Z}(\mathcal{C})$ and $\mathcal{C}$. As a further application of the adjunction theorem, we describe deformations of the restriction functor associated to a Hopf subalgebra and a Drinfeld twist. Both applications are illustrated in the example of bosonization of exterior algebras.
△ Less
Submitted 28 November, 2024;
originally announced November 2024.
-
Unrestricted quantum moduli algebras, III: Surfaces of arbitrary genus and skein algebras
Authors:
Stéphane Baseilhac,
Matthieu Faitg,
Philippe Roche
Abstract:
We prove that the quantum moduli algebra associated to a possibly punctured compact oriented surface and a complex semisimple Lie algebra $\mathfrak{g}$ is a Noetherian and finitely generated ring; if the surface has punctures, we prove also that it has no non-trivial zero divisors. Moreover, we show that the quantum moduli algebra is isomorphic to the skein algebra of the surface, defined by mean…
▽ More
We prove that the quantum moduli algebra associated to a possibly punctured compact oriented surface and a complex semisimple Lie algebra $\mathfrak{g}$ is a Noetherian and finitely generated ring; if the surface has punctures, we prove also that it has no non-trivial zero divisors. Moreover, we show that the quantum moduli algebra is isomorphic to the skein algebra of the surface, defined by means of the Reshetikhin-Turaev functor for the quantum group $U_q(\mathfrak{g})$, and which coincides with the Kauffman bracket skein algebra when $\mathfrak{g}=\mathfrak{sl}_2$.
△ Less
Submitted 20 June, 2023; v1 submitted 1 February, 2023;
originally announced February 2023.
-
Davydov-Yetter cohomology and relative homological algebra
Authors:
Matthieu Faitg,
Azat M. Gainutdinov,
Christoph Schweigert
Abstract:
Davydov--Yetter (DY) cohomology classifies infinitesimal deformations of the monoidal structure of tensor functors and tensor categories. In this paper we provide new tools for the computation of the DY cohomology for finite tensor categories and exact functors between them. The key point is to realize DY cohomology as relative Ext groups. In particular, we prove that the infinitesimal deformation…
▽ More
Davydov--Yetter (DY) cohomology classifies infinitesimal deformations of the monoidal structure of tensor functors and tensor categories. In this paper we provide new tools for the computation of the DY cohomology for finite tensor categories and exact functors between them. The key point is to realize DY cohomology as relative Ext groups. In particular, we prove that the infinitesimal deformations of a tensor category $\mathcal{C}$ are classified by the 3-rd self-extension group of the tensor unit of the Drinfeld center $\mathcal{Z}(\mathcal{C})$ relative to $\mathcal{C}$. From classical results on relative homological algebra we get a long exact sequence for DY cohomology and a Yoneda product for which we provide an explicit formula. Using the long exact sequence and duality, we obtain a dimension formula for the cohomology groups based solely on relatively projective covers which reduces a problem in homological algebra to a problem in representation theory, e.g. calculating the space of invariants in a certain object of $\mathcal{Z}(\mathcal{C})$. Thanks to the Yoneda product, we also develop a method for computing DY cocycles explicitly which are needed for applications in the deformation theory. We apply these tools to the category of finite-dimensional modules over a finite-dimensional Hopf algebra. We study in detail the examples of the bosonization of exterior algebras $Λ\mathbb{C}^k \rtimes \mathbb{C}[\mathbb{Z}_2]$, the Taft algebras and the small quantum group of $\mathfrak{sl}_2$ at a root of unity.
△ Less
Submitted 28 February, 2024; v1 submitted 24 February, 2022;
originally announced February 2022.
-
Holonomy and (stated) skein algebras in combinatorial quantization
Authors:
Matthieu Faitg
Abstract:
The algebra $\mathcal{L}_{g,n}(H)$ was introduced by Alekseev-Grosse-Schomerus and Buffenoir-Roche and quantizes the character variety of the Riemann surface $Σ_{g,n}\!\setminus\! D$ ($D$ is an open disk). In this article we define a holonomy map in that quantized setting, which associates a tensor with components in $\mathcal{L}_{g,n}(H)$ to tangles in $(Σ_{g,n}\!\setminus\!D) \times [0,1]$, gene…
▽ More
The algebra $\mathcal{L}_{g,n}(H)$ was introduced by Alekseev-Grosse-Schomerus and Buffenoir-Roche and quantizes the character variety of the Riemann surface $Σ_{g,n}\!\setminus\! D$ ($D$ is an open disk). In this article we define a holonomy map in that quantized setting, which associates a tensor with components in $\mathcal{L}_{g,n}(H)$ to tangles in $(Σ_{g,n}\!\setminus\!D) \times [0,1]$, generalizing previous works of Buffenoir-Roche and Bullock-Frohman-Kania-Bartoszynska. We show that holonomy behaves well for the stack product and the action of the mapping class group; then we specialize this notion to links in order to define a generalized Wilson loop map. Thanks to the holonomy map, we give a geometric interpretation of the vacuum representation of $\mathcal{L}_{g,0}(H)$ on $\mathcal{L}_{0,g}(H)$. Finally, the general results are applied to the case $H=U_{q^2}(\mathfrak{sl}_2)$ in relation to skein theory and the most important consequence is that the stated skein algebra of a compact oriented surface with just one boundary edge is isomorphic to $\mathcal{L}_{g,n}\big( U_{q^2}(\mathfrak{sl}_2) \big)$. Throughout the paper we use a graphical calculus for tensors with coefficients in $\mathcal{L}_{g,n}(H)$ which makes the computations and definitions very intuitive.
△ Less
Submitted 8 February, 2022; v1 submitted 19 March, 2020;
originally announced March 2020.
-
Mapping class groups, skein algebras and combinatorial quantization
Authors:
Matthieu Faitg
Abstract:
The algebras $\mathcal{L}_{g,n}(H)$ have been introduced by Alekseev-Grosse-Schomerus and Buffenoir-Roche in the middle of the 1990's, in the program of combinatorial quantization of the moduli space of flat connections over the surface $Σ_{g,n}$ of genus $g$ with $n$ open disks removed. In this thesis we apply these algebras $\mathcal{L}_{g,n}(H)$ to low-dimensional topology (mapping class groups…
▽ More
The algebras $\mathcal{L}_{g,n}(H)$ have been introduced by Alekseev-Grosse-Schomerus and Buffenoir-Roche in the middle of the 1990's, in the program of combinatorial quantization of the moduli space of flat connections over the surface $Σ_{g,n}$ of genus $g$ with $n$ open disks removed. In this thesis we apply these algebras $\mathcal{L}_{g,n}(H)$ to low-dimensional topology (mapping class groups and skein algebras of surfaces), under the assumption that the gauge algebra $H$ is a finite dimensional factorizable ribbon Hopf algebra which is not necessarily semisimple, the guiding example being the restricted quantum group $\bar U_q(\mathfrak{sl}_2)$ (where $q$ is a $2p$-th root of unity).
First, we construct from $\mathcal{L}_{g,n}(H)$ a projective representation of the mapping class group of $Σ_{g,0}$. We provide formulas for the representations of Dehn twists generating the mapping class group and we use these formulas to show that our representation is equivalent to the one constructed by Lyubashenko--Majid and Lyubashenko via categorical methods. For the torus $Σ_{1,0}$ with the gauge algebra $\bar U_q(\mathfrak{sl}_2)$, we compute explicitly the representation of $\mathrm{SL}_2(\mathbb{Z})$ and we determine its structure.
Second, we introduce a diagrammatic description of $\mathcal{L}_{g,n}(H)$ which enables us to define in a very natural way the Wilson loop map $W$. This map associates an element of $\mathcal{L}_{g,n}(H)$ to any link in $(Σ_{g,n} \!\setminus\! D) \times [0,1]$ which is framed, oriented and colored by $H$-modules. When the gauge algebra is $H = \bar U_q(\mathfrak{sl}_2)$, we use $W$ and the representations of $\mathcal{L}_{g,n}(H)$ to construct representations of the skein algebras $\mathcal{S}_q(Σ_{g,n})$ for $q$ a $2p$-th root of unity. For the torus $Σ_{1,0}$ we explicitly study this representation.
△ Less
Submitted 9 October, 2019;
originally announced October 2019.
-
Projective representations of mapping class groups in combinatorial quantization
Authors:
Matthieu Faitg
Abstract:
Let $Σ_{g,n}$ be a compact oriented surface of genus $g$ with $n$ open disks removed. The graph algebra $\mathcal{L}_{g,n}(H)$ was introduced by Alekseev--Grosse--Schomerus and Buffenoir--Roche and is a combinatorial quantization of the moduli space of flat connections on $Σ_{g,n}$. We construct a projective representation of the mapping class group of $Σ_{g,n}$ using $\mathcal{L}_{g,n}(H)$ and it…
▽ More
Let $Σ_{g,n}$ be a compact oriented surface of genus $g$ with $n$ open disks removed. The graph algebra $\mathcal{L}_{g,n}(H)$ was introduced by Alekseev--Grosse--Schomerus and Buffenoir--Roche and is a combinatorial quantization of the moduli space of flat connections on $Σ_{g,n}$. We construct a projective representation of the mapping class group of $Σ_{g,n}$ using $\mathcal{L}_{g,n}(H)$ and its subalgebra of invariant elements. Here we assume that the gauge Hopf algebra $H$ is finite-dimensional, factorizable and ribbon, but not necessarily semi-simple. We also give explicit formulas for the representation of the Dehn twists generating the mapping class group; in particular, we show that it is equivalent to a representation constructed by V. Lyubashenko using categorical methods.
△ Less
Submitted 19 December, 2018; v1 submitted 2 December, 2018;
originally announced December 2018.
-
Modular Group Representations in Combinatorial Quantization with Non-Semisimple Hopf Algebras
Authors:
Matthieu Faitg
Abstract:
Let $Σ_{g,n}$ be a compact oriented surface of genus $g$ with $n$ open disks removed. The algebra $\mathcal{L}_{g,n}(H)$ was introduced by Alekseev-Grosse-Schomerus and Buffenoir-Roche and is a combinatorial quantization of the moduli space of flat connections on $Σ_{g,n}$. Here we focus on the two building blocks $\mathcal{L}_{0,1}(H)$ and $\mathcal{L}_{1,0}(H)$ under the assumption that the gaug…
▽ More
Let $Σ_{g,n}$ be a compact oriented surface of genus $g$ with $n$ open disks removed. The algebra $\mathcal{L}_{g,n}(H)$ was introduced by Alekseev-Grosse-Schomerus and Buffenoir-Roche and is a combinatorial quantization of the moduli space of flat connections on $Σ_{g,n}$. Here we focus on the two building blocks $\mathcal{L}_{0,1}(H)$ and $\mathcal{L}_{1,0}(H)$ under the assumption that the gauge Hopf algebra $H$ is finite-dimensional, factorizable and ribbon, but not necessarily semisimple. We construct a projective representation of $\mathrm{SL}_2(\mathbb{Z})$, the mapping class group of the torus, based on $\mathcal{L}_{1,0}(H)$ and we study it explicitly for $H = \overline{U}_q(\mathfrak{sl}(2))$. We also show that it is equivalent to the representation constructed by Lyubashenko and Majid.
△ Less
Submitted 3 October, 2019; v1 submitted 2 May, 2018;
originally announced May 2018.
-
A note on symmetric linear forms and traces on the restricted quantum group $\bar U_q(\mathfrak{sl}(2))$
Authors:
Matthieu Faitg
Abstract:
We prove two results about $\text{SLF}(\bar U_q)$, the algebra of symmetric linear forms on the restricted quantum group $\bar U_q = \bar U_q(\mathfrak{sl}(2))$. First, we express any trace on finite dimensional projective $\bar U_q$-modules as a linear combination in the basis of $\text{SLF}(\bar U_q)$ constructed by Gainutdinov - Tipunin and also by Arike. In particular, this allows us to determ…
▽ More
We prove two results about $\text{SLF}(\bar U_q)$, the algebra of symmetric linear forms on the restricted quantum group $\bar U_q = \bar U_q(\mathfrak{sl}(2))$. First, we express any trace on finite dimensional projective $\bar U_q$-modules as a linear combination in the basis of $\text{SLF}(\bar U_q)$ constructed by Gainutdinov - Tipunin and also by Arike. In particular, this allows us to determine the symmetric linear form corresponding to the modified trace on projective $\bar U_q$-modules. Second, we give the explicit multiplication rules between symmetric linear forms in this basis.
△ Less
Submitted 9 October, 2019; v1 submitted 23 January, 2018;
originally announced January 2018.
