-
Fractal behavior of tensor powers of the two dimensional space in prime characteristic
Authors:
Kevin Coulembier,
Pavel Etingof,
Victor Ostrik,
Daniel Tubbenhauer
Abstract:
We study the number of indecomposable summands in tensor powers of the vector representation of SL2. Our main focus is on positive characteristic where this sequence of numbers and its generating function show fractal behavior akin to Mahler functions.
We study the number of indecomposable summands in tensor powers of the vector representation of SL2. Our main focus is on positive characteristic where this sequence of numbers and its generating function show fractal behavior akin to Mahler functions.
△ Less
Submitted 26 May, 2024;
originally announced May 2024.
-
Bounds for asymptotic characters of simple Lie groups
Authors:
Pavel Etingof,
Eric Rains
Abstract:
An important function attached to a complex simple Lie group $G$ is its asymptotic character $X(λ,x)$ (where $λ,x$ are real (co)weights of $G$) - the Fourier transform in $x$ of its Duistermaat-Heckman function $DH_λ(p)$ (continuous limit of weight multiplicities). It is shown in arXiv:2312.03101 that the best $λ$-independent upper bound $-c(G)$ for ${\rm inf}_x{\rm Re}X(λ,x)$ for fixed $λ$ is str…
▽ More
An important function attached to a complex simple Lie group $G$ is its asymptotic character $X(λ,x)$ (where $λ,x$ are real (co)weights of $G$) - the Fourier transform in $x$ of its Duistermaat-Heckman function $DH_λ(p)$ (continuous limit of weight multiplicities). It is shown in arXiv:2312.03101 that the best $λ$-independent upper bound $-c(G)$ for ${\rm inf}_x{\rm Re}X(λ,x)$ for fixed $λ$ is strictly negative. We quantify this result by providing a lower bound for $c(G)$ in terms of $\dim G$. We also provide upper and lower bounds for $DH_λ(0)$ when $|λ|=1$. This allows us to show that $|X(λ,x)|\le C(G)|λ|^{-1}|x|^{-1}$ for some constant $C(G)$ depending only on $G$, which implies the conjecture in Remark 17.16 of arXiv:2312.03101. We also show that $c(SL_n)\le (\frac{4}{π^2})^{n-2}$. Finally, in the appendix, which subsumes our previous paper arXiv:1811.05293, we prove Conjecture 1 in arXiv:1706.02793 about Mittag-Leffler type sums for $G$.
△ Less
Submitted 14 May, 2024;
originally announced May 2024.
-
From the Albert algebra to Kac's ten-dimensional Jordan superalgebra via tensor categories in characteristic 5
Authors:
Alberto Elduque,
Pavel Etingof,
Arun S. Kannan
Abstract:
Kac's ten-dimensional simple Jordan superalgebra over a field of characteristic 5 is obtained from a process of semisimplification, via tensor categories, from the exceptional simple Jordan algebra (or Albert algebra), together with a suitable order 5 automorphism. This explains McCrimmon's 'bizarre result' asserting that, in characteristic 5, Kac's superalgebra is a sort of 'degree 3 Jordan super…
▽ More
Kac's ten-dimensional simple Jordan superalgebra over a field of characteristic 5 is obtained from a process of semisimplification, via tensor categories, from the exceptional simple Jordan algebra (or Albert algebra), together with a suitable order 5 automorphism. This explains McCrimmon's 'bizarre result' asserting that, in characteristic 5, Kac's superalgebra is a sort of 'degree 3 Jordan superalgebra'. As an outcome, the exceptional simple Lie superalgebra el(5;5), specific of characteristic 5, is obtained from the simple Lie algebra of type $E_8$ and an order 5 automorphism. In the process, precise recipes to obtain superalgebras from algebras in the category of representations of the cyclic group $C_p$, over a field of characteristic $p>2$, are given.
△ Less
Submitted 2 April, 2024;
originally announced April 2024.
-
Pull-back and push-forward functors for holonomic modules over Cherednik algebras
Authors:
Gwyn Bellamy,
Pavel Etingof,
Daniel Thompson
Abstract:
In this article we continue the study of holonomic modules over sheaves of Cherednik algebras, initiated by the third author in [Tho18]. Working with arbitrary parameters, we first develop a theory of $b$-functions to prove that push-forward along open embeddings preserves holonomicity. This implies that pull-back along closed embeddings also preserves holonomicity. We use these facts to show that…
▽ More
In this article we continue the study of holonomic modules over sheaves of Cherednik algebras, initiated by the third author in [Tho18]. Working with arbitrary parameters, we first develop a theory of $b$-functions to prove that push-forward along open embeddings preserves holonomicity. This implies that pull-back along closed embeddings also preserves holonomicity. We use these facts to show that both push-forward and pull-back under any melys morphism preserves holonomicity. Since duality preserves holonomicity, we deduce that extraordinary push-forward and extraordinary pull-back also exist for holonomic modules.
As a consequence, we give a general classification of irreducible holonomic modules similar to the classification of irreducible holonomic $\mathscr{D}$-modules as minimal extensions of integrable connections on locally closed subsets. Finally, we prove that ext-groups between holonomic modules are finite-dimensional and explore applications of our work to the classification of aspherical parameters and existence of finite-dimensional modules for sheaves of Cherednik algebras.
△ Less
Submitted 28 February, 2024;
originally announced February 2024.
-
On some special cases of Gaiotto's positivity conjecture
Authors:
Pavel Etingof
Abstract:
We prove a conjecture of D. Gaiotto on positivity of inner products arising in studying Landau-Ginzburg boundary conditions in the 1-dimensional case, and in special cases in higher dimensions, for 3d free hypermultiplets.
We prove a conjecture of D. Gaiotto on positivity of inner products arising in studying Landau-Ginzburg boundary conditions in the 1-dimensional case, and in special cases in higher dimensions, for 3d free hypermultiplets.
△ Less
Submitted 2 June, 2024; v1 submitted 26 February, 2024;
originally announced February 2024.
-
$p$-curvature of periodic pencils of flat connections
Authors:
Pavel Etingof,
Alexander Varchenko
Abstract:
In arXiv:2401.00636 we introduced the notion of a periodic pencil of flat connections on a smooth algebraic variety $X$. Namely, a pencil is a linear family of flat connections $\nabla(s_1,...,s_n)=d-\sum_{i=1}^r\sum_{j=1}^ns_jB_{ij}dx_i$, where $\lbrace x_i\rbrace$ are local coordinates on $X$ and $B_{ij}: X\to {\rm Mat}_N$ are matrix-valued regular functions. A pencil is periodic if it is generi…
▽ More
In arXiv:2401.00636 we introduced the notion of a periodic pencil of flat connections on a smooth algebraic variety $X$. Namely, a pencil is a linear family of flat connections $\nabla(s_1,...,s_n)=d-\sum_{i=1}^r\sum_{j=1}^ns_jB_{ij}dx_i$, where $\lbrace x_i\rbrace$ are local coordinates on $X$ and $B_{ij}: X\to {\rm Mat}_N$ are matrix-valued regular functions. A pencil is periodic if it is generically invariant under the shifts $s_j\mapsto s_j+1$ up to isomorphism. In this paper we show that in characteristic $p$, the $p$-curvature operators $\lbrace C_i,1\le i\le r\rbrace$ of a periodic pencil $\nabla$ are isospectral to the commuting endomorphisms $C_i^*:=\sum_{j=1}^n (s_j-s_j^p)B_{ij}^{(1)}$, where $B_{ij}^{(1)}$ is the Frobenius twist of $B_{ij}$. Using the results of arXiv:2401.00636, this allows us to compute the eigenvalues of the $p$-curvature for many important examples of pencils of flat connections, including Knizhnik-Zamolodchikov, Dunkl, and Casimir connections, their confluent limits, and equivariant quantum connections for conical symplectic resolutions with finitely many torus fixed points. We also show that a periodic pencil of connections always has regular singularites.
△ Less
Submitted 14 January, 2024; v1 submitted 10 January, 2024;
originally announced January 2024.
-
Representations of Lie groups
Authors:
Pavel Etingof
Abstract:
These are notes of a graduate course on representations of non-compact semisimple Lie groups given by the author at MIT.
These are notes of a graduate course on representations of non-compact semisimple Lie groups given by the author at MIT.
△ Less
Submitted 2 January, 2024;
originally announced January 2024.
-
Periodic and quasi-motivic pencils of flat connections
Authors:
Pavel Etingof,
Alexander Varchenko
Abstract:
We introduce a new notion of a periodic pencil of flat connections on a smooth algebraic variety $X$. This is a family $\nabla(s_1,...,s_n)$ of flat connections on a trivial vector bundle on $X$ depending linearly on parameters $s_1,...,s_n$ and generically invariant, up to isomorphism, under the shifts $s_i\mapsto s_i+1$ for all $i$. If in addition $\nabla$ has regular singularities, we call it a…
▽ More
We introduce a new notion of a periodic pencil of flat connections on a smooth algebraic variety $X$. This is a family $\nabla(s_1,...,s_n)$ of flat connections on a trivial vector bundle on $X$ depending linearly on parameters $s_1,...,s_n$ and generically invariant, up to isomorphism, under the shifts $s_i\mapsto s_i+1$ for all $i$. If in addition $\nabla$ has regular singularities, we call it a quasi-motivic pencil. We use tools from complex analysis to establish various remarkable properties of such pencils over $\mathbb C$. For example, we show that the monodromy of a quasi-motivic pencil is defined over the field of algebraic functions in $e^{2πis_j}$, and that its singularities are constrained to an arrangement of hyperplanes with integer normal vectors. Then we show that many important examples of families of flat connections, such as Knizhnik-Zamolodchikov, Dunkl, and Casimir connections, are quasi-motivic and thus periodic pencils.
Besides being interesting in its own right, the periodic property of a pencil of flat connections turns out to be very useful in computing the eigenvalues of the $p$-curvature of its reduction to positive characteristic. This will be done in our forthcoming paper.
△ Less
Submitted 4 May, 2024; v1 submitted 31 December, 2023;
originally announced January 2024.
-
N-spherical functors and tensor categories
Authors:
Kevin Coulembier,
Pavel Etingof
Abstract:
We apply the recently introduced notion, due to Dyckerhoff, Kapranov and Schechtman, of $N$-spherical functors of stable infinity categories, which generalise spherical functors, to the setting of monoidal categories. We call an object $N$-bounded if the corresponding regular endofunctor on the derived category is $N$-spherical. Besides giving new examples of $N$-spherical functors, the notion of…
▽ More
We apply the recently introduced notion, due to Dyckerhoff, Kapranov and Schechtman, of $N$-spherical functors of stable infinity categories, which generalise spherical functors, to the setting of monoidal categories. We call an object $N$-bounded if the corresponding regular endofunctor on the derived category is $N$-spherical. Besides giving new examples of $N$-spherical functors, the notion of $N$-bounded objects gives surprising connections with Jones-Wenzl idempotents, Frobenius-Perron dimensions and central conjectures in the field of symmetric tensor categories in positive characteristic.
△ Less
Submitted 6 December, 2023;
originally announced December 2023.
-
A general framework for the analytic Langlands correspondence
Authors:
Pavel Etingof,
Edward Frenkel,
David Kazhdan
Abstract:
We discuss a general framework for the analytic Langlands correspondence over an arbitrary local field F introduced and studied in our works arXiv:1908.09677, arXiv:2103.01509 and arXiv:2106.05243, in particular including non-split and twisted settings. Then we specialize to the archimedean cases (F=C and F=R) and give a (mostly conjectural) description of the spectrum of the Hecke operators in va…
▽ More
We discuss a general framework for the analytic Langlands correspondence over an arbitrary local field F introduced and studied in our works arXiv:1908.09677, arXiv:2103.01509 and arXiv:2106.05243, in particular including non-split and twisted settings. Then we specialize to the archimedean cases (F=C and F=R) and give a (mostly conjectural) description of the spectrum of the Hecke operators in various cases in terms of opers satisfying suitable reality conditions, as predicted in part in arXiv:2103.01509, arXiv:2106.05243 and arXiv:2107.01732. We also describe an analogue of the Langlands functoriality principle in the analytic Langlands correspondence over C and show that it is compatible with the results and conjectures of arXiv:2103.01509. Finally, we apply the tools of the analytic Langlands correspondence over archimedean fields in genus zero to the Gaudin model and its generalizations, as well as their q-deformations.
△ Less
Submitted 12 February, 2024; v1 submitted 7 November, 2023;
originally announced November 2023.
-
Incompressible tensor categories
Authors:
Kevin Coulembier,
Pavel Etingof,
Victor Ostrik
Abstract:
A symmetric tensor category $\mathcal D$ over an algebraically closed field $k$ is incompressible if every tensor functor out of $\mathcal D$ is an embedding. E.g., the categories $Vec$ and $sVec$ of (super)vector spaces are incompressible. Moreover, by Deligne's theorem, if char$(k)=0$ then any tensor category of moderate growth uniquely fibres over $sVec$, so $Vec$ and $sVec$ are the only incomp…
▽ More
A symmetric tensor category $\mathcal D$ over an algebraically closed field $k$ is incompressible if every tensor functor out of $\mathcal D$ is an embedding. E.g., the categories $Vec$ and $sVec$ of (super)vector spaces are incompressible. Moreover, by Deligne's theorem, if char$(k)=0$ then any tensor category of moderate growth uniquely fibres over $sVec$, so $Vec$ and $sVec$ are the only incompressible categories in this class.
Similarly, in characteristic $p>0$, we have the incompressible Verlinde category $Ver_p$, and any Frobenius exact category of moderate growth uniquely fibres over $Ver_p$. More generally, the Verlinde categories $Ver_{p^n}$, $Ver_{p^n}^+$ are incompressible, and a key conjecture is that every tensor category of moderate growth uniquely fibres over $Ver_{p^\infty}$. This would make the above the only incompressible categories in this class.
We prove a part of this conjecture, showing that every tensor category of moderate growth fibres over an incompressible one. So it remains to understand incompressible categories. We say that $\mathcal D$ is subterminal if it every tensor category admits at most one fibre functor to it, and a Bezrukavnikov category if the class of tensor categories that fibre over $\mathcal D$ is closed under quotients. Clearly, a subterminal Bezrukavnikov category is incompressible, and we conjecture the converse. We prove that $Ver_p$ is Bezrukavnikov, generalizing the result of Bezrukavnikov for $Vec$.
We also find intrinsic sufficient conditions for incompressibility and subterminality. Namely, $\mathcal D$ is maximally nilpotent if the growth rates of symmetric powers are minimal. We show that a finite maximally nilpotent category is incompressible, and also subterminal if it satisfies an additional geometric reductivity condition. Then we verify these conditions for $Ver_{2^n}$.
△ Less
Submitted 16 June, 2023;
originally announced June 2023.
-
Polynomial Solutions Modulo $p^s$ of Differential KZ and Dynamical Equations
Authors:
Pavel Etingof,
Alexander Varchenko
Abstract:
We construct polynomial solutions modulo $p^s$ of the differential KZ and dynamical equations where $p$ is an odd prime number.
We construct polynomial solutions modulo $p^s$ of the differential KZ and dynamical equations where $p$ is an odd prime number.
△ Less
Submitted 1 September, 2023; v1 submitted 16 April, 2023;
originally announced April 2023.
-
Asymptotic properties of tensor powers in symmetric tensor categories
Authors:
Kevin Coulembier,
Pavel Etingof,
Victor Ostrik
Abstract:
Let G be a group and V a finite dimensional representation of G over an algebraically closed field k of characteristic p>0. Let $d_n(V)$ be the number of indecomposable summands of $V^{\otimes n}$ of nonzero dimension mod p. It is easy to see that there exists a limit $δ(V):=\lim_{n\to \infty}d_n(V)^{1/n}$, which is positive (and $\ge 1$) iff V has an indecomposable summand of nonzero dimension mo…
▽ More
Let G be a group and V a finite dimensional representation of G over an algebraically closed field k of characteristic p>0. Let $d_n(V)$ be the number of indecomposable summands of $V^{\otimes n}$ of nonzero dimension mod p. It is easy to see that there exists a limit $δ(V):=\lim_{n\to \infty}d_n(V)^{1/n}$, which is positive (and $\ge 1$) iff V has an indecomposable summand of nonzero dimension mod p. We show that in this case the number $$ c(V):=\liminf_{n\to \infty} \frac{d_n(V)}{δ(V)^n}\in [0,1] $$ is strictly positive and $$ \log (c(V)^{-1})=O(δ(V)^2), $$ and moreover this holds for any symmetric tensor category over k of moderate growth. Furthermore, we conjecture that in fact $$ \log(c(V)^{-1})=O(δ(V)) $$ (which would be sharp), and prove this for p=2,3; in particular, for p=2 we show that $c(V)\ge 3^{-\frac{4}{3}δ(V)+1}$. The proofs are based on the characteristic p version of Deligne's theorem for symmetric tensor categories obtained in earlier work of the authors. We also conjecture a classification of semisimple symmetric tensor categories of moderate growth which is interesting in its own right and implies the above conjecture for all $p$, and illustrate this conjecture by describing the semisimplification of the modular representation category of a cyclic p-group. Finally, we study the asymptotic behavior of the decomposition of $V^{\otimes n}$ in characteristic zero using Deligne's theorem and the Macdonald-Mehta-Opdam identity.
△ Less
Submitted 19 February, 2024; v1 submitted 23 January, 2023;
originally announced January 2023.
-
Super invariant theory in positive characteristic
Authors:
Kevin Coulembier,
Pavel Etingof,
Alexander Kleshchev,
Victor Ostrik
Abstract:
We study invariant theory of the general linear supergroup in positive characteristic. In particular, we determine when the symmetric group algebra acts faithfully on tensor superspace and demonstrate that the symmetric group does not always generate all invariants.
We study invariant theory of the general linear supergroup in positive characteristic. In particular, we determine when the symmetric group algebra acts faithfully on tensor superspace and demonstrate that the symmetric group does not always generate all invariants.
△ Less
Submitted 21 November, 2022;
originally announced November 2022.
-
Lie groups and Lie algebras
Authors:
Pavel Etingof
Abstract:
These are expanded notes of a two-semester course on Lie groups and Lie algebras given by the author at MIT in 2020/2021.
These are expanded notes of a two-semester course on Lie groups and Lie algebras given by the author at MIT in 2020/2021.
△ Less
Submitted 10 May, 2024; v1 submitted 23 January, 2022;
originally announced January 2022.
-
On Frobenius exact symmetric tensor categories
Authors:
Kevin Coulembier,
Pavel Etingof,
Victor Ostrik
Abstract:
A fundamental theorem of P. Deligne (2002) states that a pre-Tannakian category over an algebraically closed field of characteristic zero admits a fiber functor to the category of supervector spaces (i.e., is the representation category of an affine proalgebraic supergroup) if and only if it has moderate growth (i.e., the lengths of tensor powers of an object grow at most exponentially). In this p…
▽ More
A fundamental theorem of P. Deligne (2002) states that a pre-Tannakian category over an algebraically closed field of characteristic zero admits a fiber functor to the category of supervector spaces (i.e., is the representation category of an affine proalgebraic supergroup) if and only if it has moderate growth (i.e., the lengths of tensor powers of an object grow at most exponentially). In this paper we prove a characteristic p version of this theorem. Namely we show that a pre-Tannakian category over an algebraically closed field of characteristic p>0 admits a fiber functor into the Verlinde category Ver_p (i.e., is the representation category of an affine group scheme in Ver_p) if and only if it has moderate growth and is Frobenius exact. This implies that Frobenius exact pre-Tannakian categories of moderate growth admit a well-behaved notion of Frobenius-Perron dimension.
It follows that any semisimple pre-Tannakian category of moderate growth has a fiber functor to Ver_p (so in particular Deligne's theorem holds on the nose for semisimple pre-Tannakian categories in characteristics 2,3). This settles a conjecture of the third author from 2015.
In particular, this result applies to semisimplifications of categories of modular representations of finite groups (or, more generally, affine group schemes), which gives new applications to classical modular representation theory. For example, it allows us to characterize, for a modular representation V, the possible growth rates of the number of indecomposable summands in V^{\otimes n} of dimension prime to p.
△ Less
Submitted 1 September, 2022; v1 submitted 5 July, 2021;
originally announced July 2021.
-
A brief introduction to quantum groups
Authors:
Pavel Etingof,
Mykola Semenyakin
Abstract:
These are lecture notes of a mini-course given by the first author in Moscow in July 2019, taken by the second author and then edited and expanded by the first author. They were also a basis of the lectures given by the first author at the CMSA Math Science Literature Lecture Series in May 2020. We attempt to give a bird's-eye view of basic aspects of the theory of quantum groups.
These are lecture notes of a mini-course given by the first author in Moscow in July 2019, taken by the second author and then edited and expanded by the first author. They were also a basis of the lectures given by the first author at the CMSA Math Science Literature Lecture Series in May 2020. We attempt to give a bird's-eye view of basic aspects of the theory of quantum groups.
△ Less
Submitted 9 June, 2021;
originally announced June 2021.
-
Analytic Langlands correspondence for PGL(2) on P^1 with parabolic structures over local fields
Authors:
Pavel Etingof,
Edward Frenkel,
David Kazhdan
Abstract:
We continue to develop the analytic Langlands program for curves over local fields initiated in arXiv:1908.09677, arXiv:2103.01509 following a suggestion of Langlands and a work of Teschner. Namely, we study the Hecke operators introduced in arXiv:2103.01509 in the case of P^1 over a local field with parabolic structures at finitely many points for the group PGL(2). We establish most of the conjec…
▽ More
We continue to develop the analytic Langlands program for curves over local fields initiated in arXiv:1908.09677, arXiv:2103.01509 following a suggestion of Langlands and a work of Teschner. Namely, we study the Hecke operators introduced in arXiv:2103.01509 in the case of P^1 over a local field with parabolic structures at finitely many points for the group PGL(2). We establish most of the conjectures of arXiv:1908.09677, arXiv:2103.01509 in this case.
△ Less
Submitted 15 May, 2022; v1 submitted 9 June, 2021;
originally announced June 2021.
-
Lectures on Symmetric Tensor Categories
Authors:
Pavel Etingof,
Arun S. Kannan
Abstract:
This is an expanded version of the notes by the second author of the lectures on symmetric tensor categories given by the first author at Ohio State University in March 2019 and later at ICRA-2020 in November 2020. We review some aspects of the current state of the theory of symmetric tensor categories and discuss their applications, including ones unavailable in the literature.
This is an expanded version of the notes by the second author of the lectures on symmetric tensor categories given by the first author at Ohio State University in March 2019 and later at ICRA-2020 in November 2020. We review some aspects of the current state of the theory of symmetric tensor categories and discuss their applications, including ones unavailable in the literature.
△ Less
Submitted 10 November, 2021; v1 submitted 8 March, 2021;
originally announced March 2021.
-
Hecke operators and analytic Langlands correspondence for curves over local fields
Authors:
Pavel Etingof,
Edward Frenkel,
David Kazhdan
Abstract:
We construct analogues of the Hecke operators for the moduli space of G-bundles on a curve X over a local field F with parabolic structures at finitely many points. We conjecture that they define commuting compact normal operators on the Hilbert space of half-densities on this moduli space. In the case F=C, we also conjecture that their joint spectrum is in a natural bijection with the set of oper…
▽ More
We construct analogues of the Hecke operators for the moduli space of G-bundles on a curve X over a local field F with parabolic structures at finitely many points. We conjecture that they define commuting compact normal operators on the Hilbert space of half-densities on this moduli space. In the case F=C, we also conjecture that their joint spectrum is in a natural bijection with the set of opers on X for the Langlands dual group with real monodromy. This may be viewed as an analytic version of the Langlands correspondence for complex curves. Furthermore, we conjecture an explicit formula relating the eigenvalues of the Hecke operators and the global differential operators studied in our previous paper arXiv:1908.09677. Assuming the compactness conjecture, this formula follows from a certain system of differential equations satisfied by the Hecke operators, which we prove in this paper for G=PGL(n).
△ Less
Submitted 23 February, 2024; v1 submitted 2 March, 2021;
originally announced March 2021.
-
Monoidal Abelian Envelopes with a quotient property
Authors:
Kevin Coulembier,
Pavel Etingof,
Victor Ostrik,
Bregje Pauwels
Abstract:
We study abelian envelopes for pseudo-tensor categories with the property that every object in the envelope is a quotient of an object in the pseudo-tensor category. We establish an intrinsic criterion on pseudo-tensor categories for the existence of an abelian envelope satisfying this quotient property. This allows us to interpret the extension of scalars and Deligne tensor product of tensor cate…
▽ More
We study abelian envelopes for pseudo-tensor categories with the property that every object in the envelope is a quotient of an object in the pseudo-tensor category. We establish an intrinsic criterion on pseudo-tensor categories for the existence of an abelian envelope satisfying this quotient property. This allows us to interpret the extension of scalars and Deligne tensor product of tensor categories as abelian envelopes, and to enlarge the class of tensor categories for which all extensions of scalars and tensor products are known to remain tensor categories. For an affine group scheme G, we show that pseudo-tensor subcategories of RepG have abelian envelopes with the quotient property, and we study many other such examples. This leads us to conjecture that all abelian envelopes satisfy the quotient property.
△ Less
Submitted 15 October, 2022; v1 submitted 26 February, 2021;
originally announced March 2021.
-
On a necessary condition for unitary categorification of fusion rings
Authors:
Pavel Etingof,
Dmitri Nikshych,
Victor Ostrik
Abstract:
In arXiv:1910.12059 Liu, Palcoux and Wu proved a remarkable necessary condition for a fusion ring to admit a unitary categorification, by constructing invariants of the fusion ring that have to be positive if it is unitarily categorifiable. The main goal of this note is to provide a somewhat more direct proof of this result. In the last subsection we discuss integrality properties of the Liu-Palco…
▽ More
In arXiv:1910.12059 Liu, Palcoux and Wu proved a remarkable necessary condition for a fusion ring to admit a unitary categorification, by constructing invariants of the fusion ring that have to be positive if it is unitarily categorifiable. The main goal of this note is to provide a somewhat more direct proof of this result. In the last subsection we discuss integrality properties of the Liu-Palcoux-Wu invariants.
△ Less
Submitted 2 November, 2023; v1 submitted 25 February, 2021;
originally announced February 2021.
-
Characteristic functions of $p$-adic integral operators
Authors:
Pavel Etingof,
David Kazhdan
Abstract:
Let $P\in \Bbb Q_p[x,y]$, $s\in \Bbb C$ with sufficiently large real part, and consider the integral operator $ (A_{P,s}f)(y):=\frac{1}{1-p^{-1}}\int_{\Bbb Z_p}|P(x,y)|^sf(x) |dx| $ on $L^2(\Bbb Z_p)$. We show that if $P$ is homogeneous then for each character $χ$ of $\Bbb Z_p^\times$ the characteristic function $\det(1-uA_{P,s,χ})$ of the restriction $A_{P,s,χ}$ of $A_{P,s}$ to the eigenspace…
▽ More
Let $P\in \Bbb Q_p[x,y]$, $s\in \Bbb C$ with sufficiently large real part, and consider the integral operator $ (A_{P,s}f)(y):=\frac{1}{1-p^{-1}}\int_{\Bbb Z_p}|P(x,y)|^sf(x) |dx| $ on $L^2(\Bbb Z_p)$. We show that if $P$ is homogeneous then for each character $χ$ of $\Bbb Z_p^\times$ the characteristic function $\det(1-uA_{P,s,χ})$ of the restriction $A_{P,s,χ}$ of $A_{P,s}$ to the eigenspace $L^2(\Bbb Z_p)_χ$ is the $q$-Wronskian of a set of solutions of a (possibly confluent) $q$-hypergeometric equation. In particular, the nonzero eigenvalues of $A_{P,s,χ}$ are the reciprocals of the zeros of such $q$-Wronskian.
△ Less
Submitted 27 January, 2021; v1 submitted 13 January, 2021;
originally announced January 2021.
-
Twisted Traces and Positive Forms on Quantized Kleinian Singularities of Type A
Authors:
Pavel Etingof,
Daniil Klyuev,
Eric Rains,
Douglas Stryker
Abstract:
Following [Beem C., Peelaers W., Rastelli L., Comm. Math. Phys. 354 (2017), 345-392, arXiv:1601.05378] and [Etingof P., Stryker D., SIGMA 16 (2020), 014, 28 pages, arXiv:1909.13588], we undertake a detailed study of twisted traces on quantizations of Kleinian singularities of type $A_{n-1}$. In particular, we give explicit integral formulas for these traces and use them to determine when a trace d…
▽ More
Following [Beem C., Peelaers W., Rastelli L., Comm. Math. Phys. 354 (2017), 345-392, ar** algebras of reductive Lie algebras [Vogan Jr. D.A., Annals of Mathematics Studies, Vol. 118, Princeton University Press, Princeton, NJ, 1987] to more general quantum algebras. Finally, we derive recurrences to compute the coefficients of short star-products corresponding to twisted traces, which are generalizations of discrete Painlevé systems.
△ Less
Submitted 18 May, 2023; v1 submitted 20 September, 2020;
originally announced September 2020.
-
On cohomology in symmetric tensor categories in prime characteristic
Authors:
David Benson,
Pavel Etingof
Abstract:
We describe graded commutative Gorenstein algebras ${\mathcal E}_n(p)$ over a field of characteristic $p$, and we conjecture that $\mathrm{Ext}^\bullet_{\mathsf{Ver}_{p^{n+1}}}(1,1)\cong{\mathcal E}_{n}(p)$, where $\mathsf{Ver}_{p^{n+1}}$ are the new symmetric tensor categories recently constructed in \cite{Benson/Etingof:2019a,Benson/Etingof/Ostrik,Coulembier}. We investigate the combinatorics of…
▽ More
We describe graded commutative Gorenstein algebras ${\mathcal E}_n(p)$ over a field of characteristic $p$, and we conjecture that $\mathrm{Ext}^\bullet_{\mathsf{Ver}_{p^{n+1}}}(1,1)\cong{\mathcal E}_{n}(p)$, where $\mathsf{Ver}_{p^{n+1}}$ are the new symmetric tensor categories recently constructed in \cite{Benson/Etingof:2019a,Benson/Etingof/Ostrik,Coulembier}. We investigate the combinatorics of these algebras, and the relationship with Minc's partition function, as well as possible actions of the Steenrod operations on them.
Evidence for the conjecture includes a large number of computations for small values of $n$. We also provide some theoretical evidence. Namely, we use a Koszul construction to identify a homogeneous system of parameters in ${\mathcal E}_n(p)$ with a homogeneous system of parameters in $\mathrm{Ext}^\bullet_{\mathsf{Ver}_{p^{n+1}}}(1,1)$. These parameters have degrees $2^i-1$ if $p=2$ and $2(p^i-1)$ if $p$ is odd, for $1\le i \le n$. This at least shows that $\mathrm{Ext}^\bullet_{\mathsf{Ver}_{p^{n+1}}}(1,1)$ is a finitely generated graded commutative algebra with the same Krull dimension as ${\mathcal E}_n(p)$. For $p=2$ we also show that $\mathrm{Ext}^\bullet_{\mathsf{Ver}_{2^{n+1}}}(1,1)$ has the expected rank $2^{n(n-1)/2}$ as a module over the subalgebra of parameters.
△ Less
Submitted 19 August, 2021; v1 submitted 30 August, 2020;
originally announced August 2020.
-
New realizations of deformed double current algebras and Deligne categories
Authors:
Pavel Etingof,
Daniil Kalinov,
Eric Rains
Abstract:
In this paper we propose an alternative construction of a certain class of Deformed Double Current Algebras. We construct them as spherical subalgebras of symplectic reflection algebras in the Deligne category. They can also be thought of as ultraproducts of the corresponding spherical subalgebras in finite rank. We also provide new presentations of DDCA of types A and B by generators and relation…
▽ More
In this paper we propose an alternative construction of a certain class of Deformed Double Current Algebras. We construct them as spherical subalgebras of symplectic reflection algebras in the Deligne category. They can also be thought of as ultraproducts of the corresponding spherical subalgebras in finite rank. We also provide new presentations of DDCA of types A and B by generators and relations.
△ Less
Submitted 27 May, 2020;
originally announced May 2020.
-
New incompressible symmetric tensor categories in positive characteristic
Authors:
Dave Benson,
Pavel Etingof,
Victor Ostrik
Abstract:
We propose a method of constructing abelian envelopes of symmetric rigid monoidal Karoubian categories over an algebraically closed field $\bf k$. If ${\rm char}({\bf k})=p>0$, we use this method to construct generalizations ${\rm Ver}_{p^n}$, ${\rm Ver}_{p^n}^+$ of the incompressible abelian symmetric tensor categories defined in arXiv:1807.05549 for $p=2$ and by Gelfand-Kazhdan and Georgiev-Math…
▽ More
We propose a method of constructing abelian envelopes of symmetric rigid monoidal Karoubian categories over an algebraically closed field $\bf k$. If ${\rm char}({\bf k})=p>0$, we use this method to construct generalizations ${\rm Ver}_{p^n}$, ${\rm Ver}_{p^n}^+$ of the incompressible abelian symmetric tensor categories defined in arXiv:1807.05549 for $p=2$ and by Gelfand-Kazhdan and Georgiev-Mathieu for $n=1$. Namely, ${\rm Ver}_{p^n}$ is the abelian envelope of the quotient of the category of tilting modules for $SL_2(\bf k)$ by the $n$-th Steinberg module, and ${\rm Ver}_{p^n}^+$ is its subcategory generated by $PGL_2(\bf k)$-modules. We show that ${\rm Ver}_{p^n}$ are reductions to characteristic $p$ of Verlinde braided tensor categories in characteristic zero, which explains the notation. We study the structure of these categories in detail, and in particular show that they categorify the real cyclotomic rings $\mathbb{Z}[2\cos(2π/p^n)]$, and that ${\rm Ver}_{p^n}$ embeds into ${\rm Ver}_{p^{n+1}}$. We conjecture that every symmetric tensor category of moderate growth over $\bf k$ admits a fiber functor to the union ${\rm Ver}_{p^\infty}$ of the nested sequence ${\rm Ver}_{p}\subset {\rm Ver}_{p^2}\subset\cdots$. This would provide an analog of Deligne's theorem in characteristic zero and a generalization of the result of arXiv:1503.01492, which shows that this conjecture holds for fusion categories, and then moreover the fiber functor lands in ${\rm Ver}_p$.
△ Less
Submitted 10 November, 2021; v1 submitted 23 March, 2020;
originally announced March 2020.
-
Representations with minimal support for quantized Gieseker varieties
Authors:
Pavel Etingof,
Vasily Krylov,
Ivan Losev,
José Simental
Abstract:
We study the minimally supported representations of quantizations of Gieseker moduli spaces. We relate them to $\operatorname{SL}_n$-equivariant D-modules on the nilpotent cone of $\mathfrak{sl}_n$ and to minimally supported representations of type A rational Cherednik algebras. Our main result is character formulas for minimally supported representations of quantized Gieseker moduli spaces.
We study the minimally supported representations of quantizations of Gieseker moduli spaces. We relate them to $\operatorname{SL}_n$-equivariant D-modules on the nilpotent cone of $\mathfrak{sl}_n$ and to minimally supported representations of type A rational Cherednik algebras. Our main result is character formulas for minimally supported representations of quantized Gieseker moduli spaces.
△ Less
Submitted 8 January, 2021; v1 submitted 16 February, 2020;
originally announced February 2020.
-
Semisimplification of the category of tilting modules for GL_n
Authors:
Jonathan Brundan,
Inna Entova-Aizenbud,
Pavel Etingof,
Victor Ostrik
Abstract:
We describe the semisimplification of the monoidal category of tilting modules for the algebraic group GL_n in characteristic p > 0. In particular, we compute the dimensions of the indecomposable tilting modules modulo p.
We describe the semisimplification of the monoidal category of tilting modules for the algebraic group GL_n in characteristic p > 0. In particular, we compute the dimensions of the indecomposable tilting modules modulo p.
△ Less
Submitted 5 February, 2023; v1 submitted 5 February, 2020;
originally announced February 2020.
-
On the Frobenius functor for symmetric tensor categories in positive characteristic
Authors:
Pavel Etingof,
Victor Ostrik
Abstract:
We develop a theory of Frobenius functors for symmetric tensor categories (STC) $\mathcal{C}$ over a field $\bf k$ of characteristic $p$, and give its applications to classification of such categories. Namely, we define a twisted-linear symmetric monoidal functor $F: \mathcal{C}\to \mathcal{C}\boxtimes {\rm Ver}_p$, where ${\rm Ver}_p$ is the Verlinde category (the semisimplification of…
▽ More
We develop a theory of Frobenius functors for symmetric tensor categories (STC) $\mathcal{C}$ over a field $\bf k$ of characteristic $p$, and give its applications to classification of such categories. Namely, we define a twisted-linear symmetric monoidal functor $F: \mathcal{C}\to \mathcal{C}\boxtimes {\rm Ver}_p$, where ${\rm Ver}_p$ is the Verlinde category (the semisimplification of ${\rm Rep}_{\bf k}(\mathbb{Z}/p)$). This generalizes the usual Frobenius twist functor in modular representation theory and also one defined in arXiv:1503.01492, where it is used to show that if $\mathcal{C}$ is finite and semisimple then it admits a fiber functor to ${\rm Ver}_p$. The main new feature is that when $\mathcal{C}$ is not semisimple, $F$ need not be left or right exact, and in fact this lack of exactness is the main obstruction to the existence of a fiber functor $\mathcal{C}\to {\rm Ver}_p$. We show, however, that there is a 6-periodic long exact sequence which is a replacement for the exactness of $F$, and use it to show that for categories with finitely many simple objects $F$ does not increase the Frobenius-Perron dimension. We also define the notion of a Frobenius exact category, which is a STC on which $F$ is exact, and define the canonical maximal Frobenius exact subcategory $\mathcal{C}_{\rm ex}$ inside any STC $\mathcal{C}$ with finitely many simple objects. Namely, this is the subcategory of all objects whose Frobenius-Perron dimension is preserved by $F$. We prove that a finite STC is Frobenius exact if and only if it admits a (necessarily unique) fiber functor to ${\rm Ver}_p$. We also show that a sufficiently large power of $F$ lands in $\mathcal{C}_{\rm ex}$. Also, in characteristic 2 we introduce a slightly weaker notion of an almost Frobenius exact category and show that a STC with Chevalley property is (almost) Frobenius exact.
△ Less
Submitted 30 June, 2020; v1 submitted 30 December, 2019;
originally announced December 2019.
-
Short Star-Products for Filtered Quantizations, I
Authors:
Pavel Etingof,
Douglas Stryker
Abstract:
We develop a theory of short star-products for filtered quantizations of graded Poisson algebras, introduced in 2016 by Beem, Peelaers and Rastelli for algebras of regular functions on hyperKähler cones in the context of 3-dimensional $N=4$ superconformal field theories [Beem C., Peelaers W., Rastelli L., Comm. Math. Phys. 354 (2017), 345-392, arXiv:1601.05378]. This appears to be a new structure…
▽ More
We develop a theory of short star-products for filtered quantizations of graded Poisson algebras, introduced in 2016 by Beem, Peelaers and Rastelli for algebras of regular functions on hyperKähler cones in the context of 3-dimensional $N=4$ superconformal field theories [Beem C., Peelaers W., Rastelli L., Comm. Math. Phys. 354 (2017), 345-392, arXiv:1601.05378]. This appears to be a new structure in representation theory, which is an algebraic incarnation of the non-holomorphic ${\rm SU}(2)$-symmetry of such cones. Using the technique of twisted traces on quantizations (an idea due to Kontsevich), we prove the conjecture by Beem, Peelaers and Rastelli that short star-products depend on finitely many parameters (under a natural nondegeneracy condition), and also construct these star products in a number of examples, confirming another conjecture by Beem, Peelaers and Rastelli.
△ Less
Submitted 11 September, 2021; v1 submitted 30 September, 2019;
originally announced September 2019.
-
An analytic version of the Langlands correspondence for complex curves
Authors:
Pavel Etingof,
Edward Frenkel,
David Kazhdan
Abstract:
The Langlands correspondence for complex curves is traditionally formulated in terms of sheaves rather than functions. Recently, Langlands asked whether it is possible to construct a function-theoretic version. In this paper we use the algebra of commuting global differential operators (quantum Hitchin Hamiltonians and their complex conjugates) on the moduli space of G-bundles of a complex algebra…
▽ More
The Langlands correspondence for complex curves is traditionally formulated in terms of sheaves rather than functions. Recently, Langlands asked whether it is possible to construct a function-theoretic version. In this paper we use the algebra of commuting global differential operators (quantum Hitchin Hamiltonians and their complex conjugates) on the moduli space of G-bundles of a complex algebraic curve to formulate a function-theoretic correspondence. We conjecture the existence of a canonical self-adjoint extension of the symmetric part of this algebra acting on an appropriate Hilbert space and link its spectrum with the set of opers for the Langlands dual group of G satisfying a certain reality condition, as predicted earlier by Teschner. We prove this conjecture for G=GL(1) and in the simplest non-abelian case.
△ Less
Submitted 13 July, 2021; v1 submitted 26 August, 2019;
originally announced August 2019.
-
Pointed Hopf actions on central simple division algebras
Authors:
Pavel Etingof,
Cris Negron
Abstract:
We examine actions of finite-dimensional pointed Hopf algebras on central simple division algebras in characteristic 0. (By a Hopf action we mean a Hopf module algebra structure.) In all examples considered, we show that the given Hopf algebra does admit a faithful action on a central simple division algebra, and we construct such a division algebra. This is in contrast to earlier work of Etingof…
▽ More
We examine actions of finite-dimensional pointed Hopf algebras on central simple division algebras in characteristic 0. (By a Hopf action we mean a Hopf module algebra structure.) In all examples considered, we show that the given Hopf algebra does admit a faithful action on a central simple division algebra, and we construct such a division algebra. This is in contrast to earlier work of Etingof and Walton, in which it was shown that most pointed Hopf algebras do not admit faithful actions on fields. We consider all bosonizations of Nichols algebras of finite Cartan type, small quantum groups, generalized Taft algebras with non-nilpotent skew primitive generators, and an example of non-Cartan type.
△ Less
Submitted 17 July, 2019;
originally announced July 2019.
-
Tensor algebras in finite tensor categories
Authors:
Pavel Etingof,
Ryan Kinser,
Chelsea Walton
Abstract:
This paper introduces methods for classifying actions of finite-dimensional Hopf algebras on path algebras of quivers, and more generally on tensor algebras $T_B(V)$ where $B$ is semisimple. We work within the broader framework of finite (multi-)tensor categories $\mathcal{C}$, classifying tensor algebras in $\mathcal{C}$ in terms of $\mathcal{C}$-module categories. We obtain two classification re…
▽ More
This paper introduces methods for classifying actions of finite-dimensional Hopf algebras on path algebras of quivers, and more generally on tensor algebras $T_B(V)$ where $B$ is semisimple. We work within the broader framework of finite (multi-)tensor categories $\mathcal{C}$, classifying tensor algebras in $\mathcal{C}$ in terms of $\mathcal{C}$-module categories. We obtain two classification results for actions of semisimple Hopf algebras: the first for actions which preserve the ascending filtration on tensor algebras, and the second for actions which preserve the descending filtration on completed tensor algebras. Extending to more general fusion categories, we illustrate our classification result for tensor algebras in the pointed fusion categories ${\sf Vec}_{G}^ω$ and in group-theoretical fusion categories, especially for the representation category of the Kac-Paljutkin Hopf algebra.
△ Less
Submitted 9 December, 2019; v1 submitted 6 June, 2019;
originally announced June 2019.
-
Angle-restricted sets and zero-free regions for the permanent
Authors:
Pavel Etingof
Abstract:
The goal of this note is to give a systematic method of constructing zero-free regions for the permanent in the sense of A. Barvinok, i.e. regions in the complex plane such that the permanent of a square matrix of any size with entries from this region is nonzero. We do so by refining the approach of Barvinok, which is based on his clever observation that a certain restriction on a set S involving…
▽ More
The goal of this note is to give a systematic method of constructing zero-free regions for the permanent in the sense of A. Barvinok, i.e. regions in the complex plane such that the permanent of a square matrix of any size with entries from this region is nonzero. We do so by refining the approach of Barvinok, which is based on his clever observation that a certain restriction on a set S involving angles implies zero-freeness; we call sets satisfying this requirement angle-restricted. This allows us to reduce the question to a low-dimensional geometry problem (notably, independent of the size of the matrix!), which can then be solved more or less explicitly. We give a number of examples, improving some results of Barvinok.
△ Less
Submitted 11 March, 2020; v1 submitted 24 May, 2019;
originally announced May 2019.
-
Finite symmetric tensor categories with the Chevalley property in characteristic $2$
Authors:
Pavel Etingof,
Shlomo Gelaki
Abstract:
We prove an analog of Deligne's theorem for finite symmetric tensor categories $\mathcal{C}$ with the Chevalley property over an algebraically closed field $k$ of characteristic $2$. Namely, we prove that every such category $\mathcal{C}$ admits a symmetric fiber functor to the symmetric tensor category $\mathcal{D}$ of representations of the triangular Hopf algebra…
▽ More
We prove an analog of Deligne's theorem for finite symmetric tensor categories $\mathcal{C}$ with the Chevalley property over an algebraically closed field $k$ of characteristic $2$. Namely, we prove that every such category $\mathcal{C}$ admits a symmetric fiber functor to the symmetric tensor category $\mathcal{D}$ of representations of the triangular Hopf algebra $(k[\dd]/(\dd^2),1\ot 1 + \dd\ot \dd)$. Equivalently, we prove that there exists a unique finite group scheme $G$ in $\mathcal{D}$ such that $\mathcal{C}$ is symmetric tensor equivalent to $\Rep_{\mathcal{D}}(G)$. Finally, we compute the group $H^2_{\rm inv}(A,K)$ of equivalence classes of twists for the group algebra $K[A]$ of a finite abelian $p$-group $A$ over an arbitrary field $K$ of characteristic $p>0$, and the Sweedler cohomology groups $H^i_{\rm{Sw}}(\mathcal{O}(A),K)$, $i\ge 1$, of the function algebra $\mathcal{O}(A)$ of $A$.
△ Less
Submitted 29 November, 2019; v1 submitted 16 April, 2019;
originally announced April 2019.
-
Finite symmetric integral tensor categories with the Chevalley property
Authors:
Pavel Etingof,
Shlomo Gelaki
Abstract:
We prove that every finite symmetric integral tensor category $\mathcal{C}$ with the Chevalley property over an algebraically closed field $k$ of characteristic $p>2$ admits a symmetric fiber functor to $\text{sVec}$. This proves Ostrik's conjecture \cite[Conjecture 1.3]{o} in this case. Equivalently, we prove that there exists a unique finite supergroup scheme $\mathcal{G}$ over $k$ and a groupli…
▽ More
We prove that every finite symmetric integral tensor category $\mathcal{C}$ with the Chevalley property over an algebraically closed field $k$ of characteristic $p>2$ admits a symmetric fiber functor to $\text{sVec}$. This proves Ostrik's conjecture \cite[Conjecture 1.3]{o} in this case. Equivalently, we prove that there exists a unique finite supergroup scheme $\mathcal{G}$ over $k$ and a grouplike element $ε\in k[\mathcal{G}]$ of order $\le 2$, whose action by conjugation on $\mathcal{G}$ coincides with the parity automorphism of $\mathcal{G}$, such that $\mathcal{C}$ is symmetric tensor equivalent to $\Rep(\mathcal{G},ε)$. In particular, when $\mathcal{C}$ is unipotent, the functor lands in $\Vect$, so $\mathcal{C}$ is symmetric tensor equivalent to $\Rep(U)$ for a unique finite unipotent group scheme $U$ over $k$. We apply our result and the results of \cite{g} to classify certain finite dimensional triangular Hopf algebras with the Chevalley property over $k$ (e.g., local), in group scheme-theoretical terms. Finally, we compute the Sweedler cohomology of restricted envelo** algebras over an algebraically closed field $k$ of characteristic $p>0$, classify associators for their duals, and study finite dimensional (not necessarily triangular) local quasi-Hopf algebras and finite (not necessarily symmetric) unipotent tensor categories over an algebraically closed field $k$ of characteristic $p>0$.
The appendix by K. Coulembier and P. Etingof gives another proof of the above classification results using the recent paper \cite{Co}, and, more generally, shows that the maximal Tannakian and super-Tannakian subcategory of a symmetric tensor category over a field of characteristic $\ne 2$ is always a Serre subcategory.
△ Less
Submitted 20 March, 2019; v1 submitted 2 January, 2019;
originally announced January 2019.
-
Frobenius-Perron dimensions of integral $\Bbb Z_+$-rings and applications
Authors:
Pavel Etingof
Abstract:
We introduce the notion of the Frobenius-Perron dimension of an integral $\Bbb Z_+$-ring and give some applications of this notion to classification of finite dimensional quasi-Hopf algebras with a unique nontrivial simple module, and of quasi-Hopf and Hopf algebras of prime dimension $p$.
We introduce the notion of the Frobenius-Perron dimension of an integral $\Bbb Z_+$-ring and give some applications of this notion to classification of finite dimensional quasi-Hopf algebras with a unique nontrivial simple module, and of quasi-Hopf and Hopf algebras of prime dimension $p$.
△ Less
Submitted 16 December, 2018;
originally announced December 2018.
-
Mittag-Leffler type sums associated with root systems
Authors:
Pavel Etingof,
Eric Rains
Abstract:
This is a largely expository note which applies standard techniques of the theory of Duijstermaat-Heckman measures for compact Lie groups and results of P. Littelmann to prove a generalization of a conjecture of Coquereaux and Zuber.
This is a largely expository note which applies standard techniques of the theory of Duijstermaat-Heckman measures for compact Lie groups and results of P. Littelmann to prove a generalization of a conjecture of Coquereaux and Zuber.
△ Less
Submitted 13 November, 2018;
originally announced November 2018.
-
The Hochschild cohomology ring of a global quotient orbifold
Authors:
Cris Negron,
Travis Schedler,
Pieter Belmans,
Pavel Etingof
Abstract:
We study the cup product on the Hochschild cohomology of the stack quotient [X/G] of a smooth quasi-projective variety X by a finite group G. More specifically, we construct a G-equivariant sheaf of graded algebras on X whose G-invariant global sections recover the associated graded algebra of the Hochschild cohomology of [X/G], under a natural filtration. This sheaf is an algebra over the polyvec…
▽ More
We study the cup product on the Hochschild cohomology of the stack quotient [X/G] of a smooth quasi-projective variety X by a finite group G. More specifically, we construct a G-equivariant sheaf of graded algebras on X whose G-invariant global sections recover the associated graded algebra of the Hochschild cohomology of [X/G], under a natural filtration. This sheaf is an algebra over the polyvector fields T^{poly}_X on X, and is generated as a T^{poly}_X-algebra by the sum of the determinants det(N_{X^g}) of the normal bundles of the fixed loci in X. We employ our understanding of Hochschild cohomology to conclude that the analog of Kontsevich's formality theorem, for the cup product, does not hold for Deligne--Mumford stacks in general. We discuss relationships with orbifold cohomology, extending Ruan's cohomological conjectures. This employs a trivialization of the determinants in the case of a symplectic group action on a symplectic variety X, which requires (for the cup product) a nontrivial normalization missing in previous literature.
△ Less
Submitted 11 December, 2018; v1 submitted 23 September, 2018;
originally announced September 2018.
-
Symmetric tensor categories in characteristic 2
Authors:
Dave Benson,
Pavel Etingof
Abstract:
We construct and study a nested sequence of finite symmetric tensor categories ${\rm Vec}=\mathcal{C}_0\subset \mathcal{C}_1\subset\cdots\subset \mathcal{C}_n\subset\cdots$ over a field of characteristic $2$ such that $\mathcal{C}_{2n}$ are incompressible, i.e., do not admit tensor functors into tensor categories of smaller Frobenius--Perron dimension. This generalizes the category…
▽ More
We construct and study a nested sequence of finite symmetric tensor categories ${\rm Vec}=\mathcal{C}_0\subset \mathcal{C}_1\subset\cdots\subset \mathcal{C}_n\subset\cdots$ over a field of characteristic $2$ such that $\mathcal{C}_{2n}$ are incompressible, i.e., do not admit tensor functors into tensor categories of smaller Frobenius--Perron dimension. This generalizes the category $\mathcal{C}_1$ described by Venkatesh and the category $\mathcal{C}_2$ defined by Ostrik. The Grothendieck rings of the categories $\mathcal{C}_{2n}$ and $\mathcal{C}_{2n+1}$ are both isomorphic to the ring of real cyclotomic integers defined by a primitive $2^{n+2}$-th root of unity, $\mathcal{O}_n=\mathbb Z[2\cos(π/2^{n+1})]$.
△ Less
Submitted 27 May, 2020; v1 submitted 15 July, 2018;
originally announced July 2018.
-
Eigenvalues of the squared antipode in finite dimensional weak Hopf algebras
Authors:
Pavel Etingof,
Gregor Schaumann
Abstract:
We extend Schaumann's theory of pivotal structures on fusion categories matched to a module category and of module traces developed in arXiv:1206.5716 to the case of non-semisimple tensor categories, and use it to study eigenvalues of the squared antipode $S^2$ in weak Hopf algebras. In particular, we diagonalize $S^2$ for semisimple weak Hopf algebras in characteristic zero, generalizing the resu…
▽ More
We extend Schaumann's theory of pivotal structures on fusion categories matched to a module category and of module traces developed in arXiv:1206.5716 to the case of non-semisimple tensor categories, and use it to study eigenvalues of the squared antipode $S^2$ in weak Hopf algebras. In particular, we diagonalize $S^2$ for semisimple weak Hopf algebras in characteristic zero, generalizing the result of Nikshych in the pseudounitary case. We show that the answer depends only on the Grothendieck group data of the pivotalizations of the categories involved and the global dimension of the fusion category (thus, all eigenvalues belong to the corresponding number field). On the other hand, we study the eigenvalues of $S^2$ on the non-semisimple weak Hopf algebras attached to dynamical quantum groups at roots of $1$ defined by D. Nikshych and the author in arXiv:math/0003221, and show that they depend nontrivially on the continuous parameters of the corresponding module category. We then compute these eigenvalues as rational functions of these parameters. The paper also contains an appendix by G. Schaumann discussing the connection between our generalization of module traces and the notion of an inner product module category introduced in arXiv:1405.5667.
△ Less
Submitted 23 May, 2018;
originally announced May 2018.
-
Reflection fusion categories
Authors:
Pavel Etingof,
César Galindo
Abstract:
We introduce the notion of a $\textit{reflection fusion category}$, which is a type of a $G$-crossed category generated by objects of Frobenius-Perron dimension $1$ and $\sqrt{p}$, where $p$ is an odd prime. We show that such categories correspond to orthogonal reflection groups over $\mathbb{F}_p$. This allows us to use the known classification of irreducible reflection groups over finite fields…
▽ More
We introduce the notion of a $\textit{reflection fusion category}$, which is a type of a $G$-crossed category generated by objects of Frobenius-Perron dimension $1$ and $\sqrt{p}$, where $p$ is an odd prime. We show that such categories correspond to orthogonal reflection groups over $\mathbb{F}_p$. This allows us to use the known classification of irreducible reflection groups over finite fields to classify irreducible reflection fusion categories.
△ Less
Submitted 16 April, 2018; v1 submitted 14 March, 2018;
originally announced March 2018.
-
On semisimplification of tensor categories
Authors:
Pavel Etingof,
Victor Ostrik
Abstract:
We develop the theory of semisimplifications of tensor categories defined by Barrett and Westbury. In particular, we compute the semisimplification of the category of representations of a finite group in characteristic $p$ in terms of representations of the normnalizer of its Sylow $p$-subgroup. This allows us to compute the semisimplification of the representation category of the symmetric group…
▽ More
We develop the theory of semisimplifications of tensor categories defined by Barrett and Westbury. In particular, we compute the semisimplification of the category of representations of a finite group in characteristic $p$ in terms of representations of the normnalizer of its Sylow $p$-subgroup. This allows us to compute the semisimplification of the representation category of the symmetric group $S_{n+p}$ in characteristic $p$, where $0\le n\le p-1$, and of the Deligne category $\underline{\rm Rep}^{\rm ab}S_t$, where $t\in \Bbb N$. We also compute the semisimplification of the category of representations of the Kac-De Concini quantum group of the Borel subalgebra of $\mathfrak{sl}_2$. We also study tensor functors between Verlinde categories of semisimple algebraic groups arising from the semisimplification construction, and objects of finite type in categories of modular representations of finite groups (i.e., objects generating a fusion category in the semisimplification). Finally, we determine the semisimplifications of the tilting categories of $GL(n)$, $SL(n)$ and $PGL(n)$ in characteristic $2$. In the appendix, we classify categorifications of the Grothendieck ring of representations of $SO(3)$ and its truncations.
△ Less
Submitted 9 November, 2019; v1 submitted 13 January, 2018;
originally announced January 2018.
-
A Tannakian interpretation of the elliptic infinitesimal braid Lie algebras
Authors:
Benjamin Enriquez,
Pavel Etingof
Abstract:
Let $n\geq 1$. The pro-unipotent completion of the pure braid group of $n$ points on a genus 1 surface has been shown to be isomorphic to an explicit pro-unipotent group with graded Lie algebra using two types of tools: (a) minimal models (Bezrukavnikov), (b) the choice of a complex structure on the genus 1 surface, making it into an elliptic curve $E$, and an appropriate flat connection on the co…
▽ More
Let $n\geq 1$. The pro-unipotent completion of the pure braid group of $n$ points on a genus 1 surface has been shown to be isomorphic to an explicit pro-unipotent group with graded Lie algebra using two types of tools: (a) minimal models (Bezrukavnikov), (b) the choice of a complex structure on the genus 1 surface, making it into an elliptic curve $E$, and an appropriate flat connection on the configuration space of $n$ points in $E$ (joint work of the authors with D. Calaque). Following a suggestion by P. Deligne, we give an interpretation of this isomorphism in the framework of the Riemann-Hilbert correspondence, using the total space $E^\#$ of an affine line bundle over $E$, which identifies with the moduli space of line bundles over $E$ equipped with a flat connection.
△ Less
Submitted 26 December, 2017; v1 submitted 11 September, 2017;
originally announced September 2017.
-
Relations in quantized function algebras
Authors:
Pavel Etingof,
Sergey Neshveyev
Abstract:
We develop a method to give presentations of quantized function algebras of complex reductive groups. In particular, we give presentations of quantized function algebras of automorphism groups of finite dimensional simple complex Lie algebras.
We develop a method to give presentations of quantized function algebras of complex reductive groups. In particular, we give presentations of quantized function algebras of automorphism groups of finite dimensional simple complex Lie algebras.
△ Less
Submitted 5 September, 2017;
originally announced September 2017.
-
Invariant Hopf $2$-cocycles for affine algebraic groups
Authors:
Pavel Etingof,
Shlomo Gelaki
Abstract:
We generalize the theory of the second invariant cohomology group $H^2_{\rm inv}(G)$ for finite groups $G$, developed in [Da2,Da3,GK], to the case of affine algebraic groups $G$, using the methods of [EG1,EG2,G]. In particular, we show that for connected affine algebraic groups $G$ over an algebraically closed field of characteristic $0$, the map $Θ$ from [GK] is bijective (unlike for some finite…
▽ More
We generalize the theory of the second invariant cohomology group $H^2_{\rm inv}(G)$ for finite groups $G$, developed in [Da2,Da3,GK], to the case of affine algebraic groups $G$, using the methods of [EG1,EG2,G]. In particular, we show that for connected affine algebraic groups $G$ over an algebraically closed field of characteristic $0$, the map $Θ$ from [GK] is bijective (unlike for some finite groups, as shown in [GK]). This allows us to compute $H^2_{\rm inv}(G)$ in this case, and in particular show that this group is commutative (while for finite groups it can be noncommutative, as shown in [GK]).
△ Less
Submitted 10 October, 2017; v1 submitted 26 July, 2017;
originally announced July 2017.
-
Poisson traces, D-modules, and symplectic resolutions
Authors:
Pavel Etingof,
Travis Schedler
Abstract:
We survey the theory of Poisson traces (or zeroth Poisson homology) developed by the authors in a series of recent papers. The goal is to understand this subtle invariant of (singular) Poisson varieties, conditions for it to be finite-dimensional, its relationship to the geometry and topology of symplectic resolutions, and its applications to quantizations. The main technique is the study of a can…
▽ More
We survey the theory of Poisson traces (or zeroth Poisson homology) developed by the authors in a series of recent papers. The goal is to understand this subtle invariant of (singular) Poisson varieties, conditions for it to be finite-dimensional, its relationship to the geometry and topology of symplectic resolutions, and its applications to quantizations. The main technique is the study of a canonical D-module on the variety. In the case the variety has finitely many symplectic leaves (such as for symplectic singularities and Hamiltonian reductions of symplectic vector spaces by reductive groups), the D-module is holonomic, and hence the space of Poisson traces is finite-dimensional. As an application, there are finitely many irreducible finite-dimensional representations of every quantization of the variety. Conjecturally, the D-module is the pushforward of the canonical D-module under every symplectic resolution of singularities, which implies that the space of Poisson traces is dual to the top cohomology of the resolution. We explain many examples where the conjecture is proved, such as symmetric powers of du Val singularities and symplectic surfaces and Slodowy slices in the nilpotent cone of a semisimple Lie algebra. We compute the D-module in the case of surfaces with isolated singularities, and show it is not always semisimple. We also explain generalizations to arbitrary Lie algebras of vector fields, connections to the Bernstein-Sato polynomial, relations to two-variable special polynomials such as Kostka polynomials and Tutte polynomials, and a conjectural relationship with deformations of symplectic resolutions. In the appendix we give a brief recollection of the theory of D-modules on singular varieties that we require.
△ Less
Submitted 13 November, 2017; v1 submitted 1 May, 2017;
originally announced May 2017.
-
On faithfulness of the lifting for Hopf algebras and fusion categories
Authors:
Pavel Etingof
Abstract:
We use a version of Haboush's theorem over complete local Noetherian rings to prove faithfulness of the lifting for semisimple cosemisimple Hopf algebras and separable (braided, symmetric) fusion categories from characteristic $p$ to characteristic zero (arXiv/math:0203060, Section 9), showing that, moreover, any isomorphism between such structures can be reduced modulo $p$. This fills a gap in ar…
▽ More
We use a version of Haboush's theorem over complete local Noetherian rings to prove faithfulness of the lifting for semisimple cosemisimple Hopf algebras and separable (braided, symmetric) fusion categories from characteristic $p$ to characteristic zero (arXiv/math:0203060, Section 9), showing that, moreover, any isomorphism between such structures can be reduced modulo $p$. This fills a gap in arXiv/math:0203060, Subsection 9.3. We also show that lifting of semisimple cosemisimple Hopf algebras is a fully faithful functor, and prove that lifting induces an isomorphism on Picard and Brauer-Picard groups. Finally, we show that a subcategory or quotient category of a separable multifusion category is separable (resolving an open question from arXiv/math:0203060, Subsection 9.4), and use this to show that certain classes of tensor functors between lifts of separable categories to characteristic zero can be reduced modulo $p$.
△ Less
Submitted 25 April, 2017;
originally announced April 2017.
-
Autoequivalences of tensor categories attached to quantum groups at roots of $1$
Authors:
Alexei Davydov,
Pavel Etingof,
Dmitri Nikshych
Abstract:
We compute the group of braided tensor autoequivalences and the Brauer-Picard group of the representation category of the small quantum group $\mathfrak{u}_q(\mathfrak{g})$, where $q$ is a root of unity.
We compute the group of braided tensor autoequivalences and the Brauer-Picard group of the representation category of the small quantum group $\mathfrak{u}_q(\mathfrak{g})$, where $q$ is a root of unity.
△ Less
Submitted 19 March, 2017;
originally announced March 2017.