-
A Classification of Modular Functors via Factorization Homology
Authors:
Adrien Brochier,
Lukas Woike
Abstract:
Modular functors are traditionally defined as systems of projective representations of map** class groups of surfaces that are compatible with gluing. They can formally be described as modular algebras over central extensions of the modular surface operad, with the values of the algebra lying in a suitable symmetric monoidal $(2,1)$-category $\mathcal{S}$ of linear categories. In this paper, we…
▽ More
Modular functors are traditionally defined as systems of projective representations of map** class groups of surfaces that are compatible with gluing. They can formally be described as modular algebras over central extensions of the modular surface operad, with the values of the algebra lying in a suitable symmetric monoidal $(2,1)$-category $\mathcal{S}$ of linear categories. In this paper, we prove that modular functors in $\mathcal{S}$ are equivalent to self-dual balanced braided algebras $\mathcal{A}$ in $\mathcal{S}$ (a categorification of the notion of a commutative Frobenius algebra) for which a condition formulated in terms of factorization homology with coefficients in $\mathcal{A}$ is satisfied; we call such $\mathcal{A}$ connected. The equivalence in one direction is afforded by genus zero restriction. Our construction of the inverse equivalence is entirely topological and can be thought of as a far reaching generalization of the construction of modular functors from skein theory. In order to verify the connectedness condition in practice, we prove that it can be reduced to a single condition in genus one. Moreover, we show that cofactorizability of $\mathcal{A}$, a condition known to be satisfied for modular categories, is sufficient. Therefore, we recover in particular Lyubashenko's construction of a modular functor from a (not necessarily semisimple) modular category and show that it is determined by its genus zero part. Additionally, we exhibit modular functors that do not come from modular categories and outline applications to the theory of vertex operator algebras.
△ Less
Submitted 11 December, 2023; v1 submitted 21 December, 2022;
originally announced December 2022.
-
Gaudin Algebras, RSK and Calogero-Moser Cells in Type A
Authors:
Adrien Brochier,
Iain Gordon,
Noah White
Abstract:
We study the spectrum of a family of algebras, the inhomogeneous Gaudin algebras, acting on the $n$-fold tensor representation $\mathbb{C}[x_1, \ldots, x_r]^{\otimes n}$ of the Lie algebra $\mathfrak{gl}_r$. We use the work of Halacheva-Kamnitzer-Rybnikov-Weekes to demonstrate that the Robinson-Schensted-Knuth correspondence describes the behaviour of the spectrum as we move along special paths in…
▽ More
We study the spectrum of a family of algebras, the inhomogeneous Gaudin algebras, acting on the $n$-fold tensor representation $\mathbb{C}[x_1, \ldots, x_r]^{\otimes n}$ of the Lie algebra $\mathfrak{gl}_r$. We use the work of Halacheva-Kamnitzer-Rybnikov-Weekes to demonstrate that the Robinson-Schensted-Knuth correspondence describes the behaviour of the spectrum as we move along special paths in the family. We apply the work of Mukhin-Tarasov-Varchenko, which proves that the rational Calogero-Moser phase space can be realised as a part of this spectrum, to relate this to behaviour at $t=0$ of rational Cherednik algebras of $\mathfrak{S}_n$. As a result, we confirm for symmetric groups a conjecture of Bonnafé-Rouquier which proposes an equality between the Calogero-Moser cells they defined and the well-known Kazhdan-Lusztig cells.
△ Less
Submitted 18 December, 2020;
originally announced December 2020.
-
Invertible braided tensor categories
Authors:
Adrien Brochier,
David Jordan,
Pavel Safronov,
Noah Snyder
Abstract:
We prove that a finite braided tensor category A is invertible in the Morita 4-category BrTens of braided tensor categories if, and only if, it is non-degenerate. This includes the case of semisimple modular tensor categories, but also non-semisimple examples such as categories of representations of the small quantum group at good roots of unity. Via the cobordism hypothesis, we obtain new inverti…
▽ More
We prove that a finite braided tensor category A is invertible in the Morita 4-category BrTens of braided tensor categories if, and only if, it is non-degenerate. This includes the case of semisimple modular tensor categories, but also non-semisimple examples such as categories of representations of the small quantum group at good roots of unity. Via the cobordism hypothesis, we obtain new invertible 4-dimensional framed topological field theories, which we regard as a non-semisimple framed version of the Crane-Yetter-Kauffman invariants, after Freed--Teleman and Walker's construction in the semisimple case. More generally, we characterize invertibility for E_1- and E_2-algebras in an arbitrary symmetric monoidal oo-category, and we conjecture a similar characterization of invertible E_n-algebras for any n. Finally, we propose the Picard group of BrTens as a generalization of the Witt group of non-degenerate braided fusion categories, and pose a number of open questions about it.
△ Less
Submitted 30 March, 2020;
originally announced March 2020.
-
On dualizability of braided tensor categories
Authors:
Adrien Brochier,
David Jordan,
Noah Snyder
Abstract:
We study the question of dualizability in higher Morita categories of locally presentable tensor categories and braided tensor categories. Our main results are that the 3-category of rigid tensor categories with enough compact projectives is 2-dualizable, that the 4-category of rigid braided tensor categories with enough compact projectives is 3-dualizable, and that (in characteristic zero) the 4-…
▽ More
We study the question of dualizability in higher Morita categories of locally presentable tensor categories and braided tensor categories. Our main results are that the 3-category of rigid tensor categories with enough compact projectives is 2-dualizable, that the 4-category of rigid braided tensor categories with enough compact projectives is 3-dualizable, and that (in characteristic zero) the 4-category of braided fusion categories is 4-dualizable. Via the cobordism hypothesis, this produces respectively 2, 3 and 4-dimensional framed local topological field theories. In particular, we produce a framed 3-dimensional local TFT attached to the category of representations of a quantum group at any value of $q$.
△ Less
Submitted 15 August, 2018; v1 submitted 20 April, 2018;
originally announced April 2018.
-
Quantum character varieties and braided module categories
Authors:
David Ben-Zvi,
Adrien Brochier,
David Jordan
Abstract:
We compute quantum character varieties of arbitrary closed surfaces with boundaries and marked points. These are categorical invariants $\int_S\mathcal A$ of a surface $S$, determined by the choice of a braided tensor category $\mathcal A$, and computed via factorization homology.
We identify the algebraic data governing marked points and boundary components with the notion of a {\em braided mod…
▽ More
We compute quantum character varieties of arbitrary closed surfaces with boundaries and marked points. These are categorical invariants $\int_S\mathcal A$ of a surface $S$, determined by the choice of a braided tensor category $\mathcal A$, and computed via factorization homology.
We identify the algebraic data governing marked points and boundary components with the notion of a {\em braided module category} for $\mathcal A$, and we describe braided module categories with a generator in terms of certain explicit algebra homomorphisms called {\em quantum moment maps}. We then show that the quantum character variety of a decorated surface is obtained from that of the corresponding punctured surface as a quantum Hamiltonian reduction.
Characters of braided $\mathcal A$-modules are objects of the torus category $\int_{T^2}\mathcal A$. We initiate a theory of character sheaves for quantum groups by identifying the torus integral of $\mathcal A=\operatorname{Rep_q} G$ with the category $\mathcal D_q(G/G)-\operatorname{mod}$ of equivariant quantum $\mathcal D$-modules. When $G=GL_n$, we relate the mirabolic version of this category to the representations of the spherical double affine Hecke algebra (DAHA) $\mathbb{SH}_{q,t}$.
△ Less
Submitted 29 June, 2018; v1 submitted 15 June, 2016;
originally announced June 2016.
-
A Duflo Star Product for Poisson Groups
Authors:
Adrien Brochier
Abstract:
Let $G$ be a finite-dimensional Poisson algebraic, Lie or formal group. We show that the center of the quantization of $G$ provided by an Etingof-Kazhdan functor is isomorphic as an algebra to the Poisson center of the algebra of functions on $G$. This recovers and generalizes Duflo's theorem which gives an isomorphism between the center of the envelo** algebra of a finite-dimensional Lie algebr…
▽ More
Let $G$ be a finite-dimensional Poisson algebraic, Lie or formal group. We show that the center of the quantization of $G$ provided by an Etingof-Kazhdan functor is isomorphic as an algebra to the Poisson center of the algebra of functions on $G$. This recovers and generalizes Duflo's theorem which gives an isomorphism between the center of the envelo** algebra of a finite-dimensional Lie algebra $\mathfrak{a}$ and the subalgebra of ad-invariant in the symmetric algebra of $\mathfrak{a}$. As our proof relies on Etingof-Kazhdan construction it ultimately depends on the existence of Drinfeld associators, but otherwise it is a fairly simple application of graphical calculus. This shed some lights on Alekseev-Torossian proof of the Kashiwara-Vergne conjecture, and on the relation observed by Bar-Natan-Le-Thurston between the Duflo isomorphism and the Kontsevich integral of the unknot.
△ Less
Submitted 7 September, 2016; v1 submitted 28 April, 2016;
originally announced April 2016.
-
Virtual tangles and fiber functors
Authors:
Adrien Brochier
Abstract:
We define a category $v\mathcal{T}$ of tangles diagrams drawn on surfaces with boundaries. On the one hand we show that there is a natural functor from the category of virtual tangles to $v\mathcal{T}$ which induces an equivalence of categories. On the other hand, we show that $v\mathcal{T}$ is universal among ribbon categories equipped with a strong monoidal functor to a symmetric monoidal catego…
▽ More
We define a category $v\mathcal{T}$ of tangles diagrams drawn on surfaces with boundaries. On the one hand we show that there is a natural functor from the category of virtual tangles to $v\mathcal{T}$ which induces an equivalence of categories. On the other hand, we show that $v\mathcal{T}$ is universal among ribbon categories equipped with a strong monoidal functor to a symmetric monoidal category. This is a generalization of the Shum-Reshetikhin-Turaev theorem characterizing the category of ordinary tangles as the free ribbon category. This gives a straightforward proof that all quantum invariants of links extends to framed oriented virtual links. This also provides a clear explanation of the relation between virtual tangles and Etingof-Kazhdan formalism suggested by Bar-Natan. We prove a similar statement for virtual braids, and discuss the relation between our category and knotted trivalent graphs.
△ Less
Submitted 14 September, 2017; v1 submitted 9 February, 2016;
originally announced February 2016.
-
Integrating quantum groups over surfaces
Authors:
David Ben-Zvi,
Adrien Brochier,
David Jordan
Abstract:
We apply the mechanism of factorization homology to construct and compute category-valued two-dimensional topological field theories associated to braided tensor categories, generalizing the $(0,1,2)$-dimensional part of Crane-Yetter-Kauffman 4D TFTs associated to modular categories. Starting from modules for the Drinfeld-Jimbo quantum group $U_q(\mathfrak g)$ we obtain in this way an aspect of to…
▽ More
We apply the mechanism of factorization homology to construct and compute category-valued two-dimensional topological field theories associated to braided tensor categories, generalizing the $(0,1,2)$-dimensional part of Crane-Yetter-Kauffman 4D TFTs associated to modular categories. Starting from modules for the Drinfeld-Jimbo quantum group $U_q(\mathfrak g)$ we obtain in this way an aspect of topologically twisted 4-dimensional ${\mathcal N}=4$ super Yang-Mills theory, the setting introduced by Kapustin-Witten for the geometric Langlands program.
For punctured surfaces, in particular, we produce explicit categories which quantize character varieties (moduli of $G$-local systems) on the surface; these give uniform constructions of a variety of well-known algebras in quantum group theory. From the annulus, we recover the reflection equation algebra associated to $U_q(\mathfrak g)$, and from the punctured torus we recover the algebra of quantum differential operators associated to $U_q(\mathfrak g)$. From an arbitrary surface we recover Alekseev's moduli algebras. Our construction gives an intrinsically topological explanation for well-known map** class group symmetries and braid group actions associated to these algebras, in particular the elliptic modular symmetry (difference Fourier transform) of quantum $\mathcal D$-modules.
△ Less
Submitted 29 June, 2018; v1 submitted 19 January, 2015;
originally announced January 2015.
-
Fourier transform for quantum $D$-modules via the punctured torus map** class group
Authors:
Adrien Brochier,
David Jordan
Abstract:
We construct a certain cross product of two copies of the braided dual $\tilde H$ of a quasitriangular Hopf algebra $H$, which we call the elliptic double $E_H$, and which we use to construct representations of the punctured elliptic braid group extending the well-known representations of the planar braid group attached to $H$. We show that the elliptic double is the universal source of such repre…
▽ More
We construct a certain cross product of two copies of the braided dual $\tilde H$ of a quasitriangular Hopf algebra $H$, which we call the elliptic double $E_H$, and which we use to construct representations of the punctured elliptic braid group extending the well-known representations of the planar braid group attached to $H$. We show that the elliptic double is the universal source of such representations. We recover the representations of the punctured torus braid group obtained in arXiv:0805.2766, and hence construct a homomorphism to the Heisenberg double $D_H$, which is an isomorphism if $H$ is factorizable.
The universal property of $E_H$ endows it with an action by algebra automorphisms of the map** class group $\widetilde{SL_2(\mathbb{Z})}$ of the punctured torus. One such automorphism we call the quantum Fourier transform; we show that when $H=U_q(\mathfrak{g})$, the quantum Fourier transform degenerates to the classical Fourier transform on $D(\mathfrak{g})$ as $q\to 1$.
△ Less
Submitted 15 March, 2017; v1 submitted 7 March, 2014;
originally announced March 2014.
-
Cyclotomic associators and finite type invariants for tangles in the solid torus
Authors:
Adrien Brochier
Abstract:
The universal Vassiliev-Kontsevich invariant is a functor from the category of tangles to a certain graded category of chord diagrams, compatible with the Vassiliev filtration and whose associated graded is an isomorphism. The Vassiliev filtration has a natural extension to tangles in any thickened surface $M\times I$ but the corresponding category of diagrams lacks some finiteness properties whic…
▽ More
The universal Vassiliev-Kontsevich invariant is a functor from the category of tangles to a certain graded category of chord diagrams, compatible with the Vassiliev filtration and whose associated graded is an isomorphism. The Vassiliev filtration has a natural extension to tangles in any thickened surface $M\times I$ but the corresponding category of diagrams lacks some finiteness properties which are essential to the above construction. We suggest to overcome this obstruction by studying families of Vassiliev invariants which, roughly, are associated to finite coverings of $M$. In the case $M=\mathbb{C}^*$, it leads for each positive integer $N$ to a filtration on the space of tangles in $\mathbb{C}^* \times I$ (or "B-tangles"). We first prove an extension of the Shum--Reshetikhin--Turaev theorem in the framework of braided module category leading to B-tangles invariants. We introduce a category of "$N$-chord diagrams", and use a cyclotomic generalization of Drinfeld associators, introduced by Enriquez, to put a braided module category structure on it. We show that the corresponding functor from the category of B-tangles is a universal invariant with respect to the $N$ filtration. We show that Vassiliev invariants in the usual sense are well approximated by $N$ finite type invariants. We show that specializations of the universal invariant can be constructed from modules over a metrizable Lie algebra equipped with a finite order automorphism preserving the metric. In the case the latter is a "Cartan" automorphism, we use a previous work of the author to compute these invariants explicitly using quantum groups. Restricted to links, this construction provides polynomial invariants.
△ Less
Submitted 28 October, 2013; v1 submitted 3 September, 2012;
originally announced September 2012.
-
A Kohno-Drinfeld theorem for the monodromy of cyclotomic KZ connections
Authors:
Adrien Brochier
Abstract:
We compute explicitly the monodromy representations of "cyclotomic" analogs of the Knizhnik--Zamolodchikov differential system. These are representations of the type B braid group $B_n^1$. We show how the representations of the braid group $B_n$ obtained using quantum groups and universal $R$-matrices may be enhanced to representations of $B_n^1$ using dynamical twists. Then, we show how these "al…
▽ More
We compute explicitly the monodromy representations of "cyclotomic" analogs of the Knizhnik--Zamolodchikov differential system. These are representations of the type B braid group $B_n^1$. We show how the representations of the braid group $B_n$ obtained using quantum groups and universal $R$-matrices may be enhanced to representations of $B_n^1$ using dynamical twists. Then, we show how these "algebraic" representations may be identified with the above "analytic" monodromy representations.
△ Less
Submitted 18 November, 2010;
originally announced November 2010.
-
A comparison of Monte-Carlo simulations using RESTRAX and McSTAS with experiment on IN14
Authors:
A. R. Wildes,
J. Saroun,
E. Farhi,
I. Anderson,
P. Hoghoj,
A. Brochier
Abstract:
Monte-Carlo simulations of a focusing supermirror guide after the monochromator on the IN14 cold neutron three-axis spectrometer, I.L.L. were carried out using the instrument simulation programs RESTRAX and McSTAS. The simulations were compared to experiment to check their accuracy. Comparisons of the flux ratios over both a 100 mm2 and a 1600 mm2 area at the sample position compare well, and th…
▽ More
Monte-Carlo simulations of a focusing supermirror guide after the monochromator on the IN14 cold neutron three-axis spectrometer, I.L.L. were carried out using the instrument simulation programs RESTRAX and McSTAS. The simulations were compared to experiment to check their accuracy. Comparisons of the flux ratios over both a 100 mm2 and a 1600 mm2 area at the sample position compare well, and there is very close agreement between simulation and experiment for the energy spread of the incident beam.
△ Less
Submitted 1 September, 2000;
originally announced September 2000.