• ### Koszul duality and the PBW theorem in symmetric tensor categories in positive characteristic(1603.08133)

Sept. 1, 2018 math.CT, math.QA, math.RA
We generalize the theory of Koszul complexes and Koszul algebras (in particular, Koszul duality between symmetric and exterior algebras) to symmetric tensor categories. In characteristic $p\ge 5$, this theory exhibits peculiar effects, not observed in the classical theory. In particular, we show that the symmetric and exterior algebras of a non-invertible simple object in the Verlinde category ${\rm Ver}_p$ are almost Koszul (although not Koszul), and show how this gives examples of $(r,s)$-Koszul algebras with any $r,s\ge 2$. We also develop a theory of Lie algebras in symmetric tensor categories. We show that the PBW theorem may fail in ${\rm Ver}_p$, but it holds if one assumes a certain identity of degree $p$ which we call the $p$-Jacobi identity. This identity is a generalization to $p\ge 5$ of the identity $[x,x]=0$ required for Lie algebras in characteristic $2$ and the identity $[[x,x],x]=0$ for odd $x$ required for Lie superalgebras in characteristic $3$.
• ### $p$-adic dimensions in symmetric tensor categories in characteristic $p$(1510.04339)

Sept. 1, 2018 math.CT, math.QA, math.RT
To every object $X$ of a symmetric tensor category over a field of characteristic $p>0$ we attach $p$-adic integers $\text{Dim}_+(X)$ and $\text{Dim}_-(X)$ whose reduction modulo $p$ is the categorical dimension $\text{dim}(X)$ of $X$, coinciding with the usual dimension when $X$ is a vector space. We study properties of $\text{Dim}_{\pm}(X)$, and in particular show that they don't always coincide with each other, and can take any value in $\mathbb{Z}_p$. We also discuss the connection of $p$-adic dimensions with the theory of $\lambda$-rings and Brauer characters.
• ### Cyclotomic double affine Hecke algebras (with an appendix by Hiraku Nakajima and Daisuke Yamakawa)(1611.10216)

Sept. 5, 2019 math.RT
We show that the partially spherical cyclotomic rational Cherednik algebra (obtained from the full rational Cherednik algebra by averaging out the cyclotomic part of the underlying reflection group) has four other descriptions: (1) as a subalgebra of the degenerate DAHA of type A given by generators; (2) as an algebra given by generators and relations; (3) as an algebra of differential-reflection operators preserving some spaces of functions; (4) as equivariant Borel-Moore homology of a certain variety. Also, we define a new $q$-deformation of this algebra, which we call cyclotomic DAHA. Namely, we give a $q$-deformation of each of the above four descriptions of the partially spherical rational Cherednik algebra, replacing differential operators with difference operators, degenerate DAHA with DAHA, and homology with K-theory, and show that they give the same algebra. In addition, we show that spherical cyclotomic DAHA are quantizations of certain multiplicative quiver and bow varieties, which may be interpreted as K-theoretic Coulomb branches of a framed quiver gauge theory. Finally, we apply cyclotomic DAHA to prove new flatness results for various kinds of spaces of $q$-deformed quasiinvariants. In the appendix by H. Nakajima and D. Yamakawa (added in version 2), the authors explain the relations between multiplicative bow varieties and (various versions of) multiplicative quiver varieties for a cyclic quiver.
• ### Reflection fusion categories(1803.05568)

April 16, 2018 math.QA
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.
• ### On semisimplification of tensor categories(1801.04409)

Jan. 13, 2018 math.RT
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$. Finally, we 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). In the appendix, we classify categorifications of the Grothendieck ring of representations of $SO(3)$ and its truncations.
• ### A Tannakian interpretation of the elliptic infinitesimal braid Lie algebras(1709.03430)

Dec. 26, 2017 math.AG, math.QA
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.
• ### Invariant Hopf $2$-cocycles for affine algebraic groups(1707.08672)

Oct. 10, 2017 math.QA
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 $\Theta$ 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]).
• ### Relations in quantized function algebras(1709.01278)

Sept. 5, 2017 math.OA, math.QA
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.
• ### Poisson traces, D-modules, and symplectic resolutions(1705.00423)

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.
• ### The Classification of Triangular Semisimple and Cosemisimple Hopf Algebras Over an Algebraically Closed Field(math/9905168)

May 1, 2017 math.QA
In this paper we classify triangular semisimple and cosemisimple Hopf algebras over any algebraically closed field k. Namely, we construct, for each positive integer N, relatively prime to the characteristic of k if it is positive, a bijection between the set of isomorphism classes of triangular semisimple and cosemisimple Hopf algebras of dimension N over k, and the set of isomorphism classes of quadruples (G,H,V,u), where G is a group of order N, H is a subgroup of G, V is an irreducible projective representation of H over k of dimension |H|^{1/2}, and u\in G is a central element of order \le 2. This classification implies, in particular, that any triangular semisimple and cosemisimple Hopf algebra over k can be obtained from a group algebra by a twist. We also answer positively the question from our previous paper whether the group underlying a minimal triangular semisimple Hopf algebra is solvable. We conclude by showing that any triangular semisimple and cosemisimple Hopf algebra over k of dimension bigger than 1 contains a non-trivial grouplike element. The classification uses Deligne's theorem on Tannakian categories and the results of a paper of Movshev in an essential way. The proof of solvability and existence of grouplike elements relies on a theorem of Howlett and Isaacs that any group of central type is solvable, which is proved using the classification of finite simple groups. The classification in positive characteristic relies also on the lifting functor from our previous paper.
• ### On fusion categories(math/0203060)

April 28, 2017 math.QA
Using a variety of methods developed in the literature (in particular, the theory of weak Hopf algebras), we prove a number of general results about fusion categories in characteristic zero. We show that the global dimension of a fusion category is always positive, and that the S-matrix of any modular category (not necessarily hermitian) is unitary. We also show that the category of module functors between two module categories over a fusion category is semisimple, and that fusion categories and tensor functors between them are undeformable (generalized Ocneanu rigidity). In particular the number of such categories (functors) realizing a given fusion datum is finite. Finally, we develop the theory of Frobenius-Perron dimensions in an arbitrary fusion category and classify categories of prime dimension.
• ### On faithfulness of the lifting for Hopf algebras and fusion categories(1704.07855)

April 25, 2017 math.QA
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$.
• ### Autoequivalences of tensor categories attached to quantum groups at roots of $1$(1703.06543)

March 20, 2017 math.CT, math.QA, math.RT
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.
• ### Cherednik and Hecke algebras of varieties with a finite group action(math/0406499)

March 18, 2017 math.AG, math.QA
This paper is an expanded and updated version of the preprint arXiv:math/0406499. It includes a more detailed description of the basics of the theory of Cherednik and Hecke algebras of varieties started in arXiv:math/0406499, as well as a new Section 4, which reviews the developments in this theory since 2004 with references to the relevant literature. Let $G$ be a finite group of linear transformations of a finite dimensional complex vector space $V$. To this data one can attach a family of algebras $H_{t,c}(V,G)$, parametrized by complex numbers $t$ and conjugation invariant functions $c$ on the set of complex reflections in $G$, which are called rational Cherednik algebras. These algebras have been studied for over 15 years and revealed a rich structure and deep connections with algebraic geometry, representation theory, and combinatorics. In this paper, we define global analogs of Cherednik algebras, attached to any smooth algebraic or analytic variety $X$ with a finite group $G$ of automorphisms. We show that many interesting properties of Cherednik algebras (such as the PBW theorem, universal deformation property, relation to Calogero-Moser spaces, action on quasiinvariants) still hold in the global case, and give several interesting examples. Then we define the KZ functor for global Cherednik algebras, and use it to define (in the case $\pi_2(X)\otimes \Bbb Q=0$) a flat deformation of the orbifold fundamental group of the orbifold $X/G$, which we call the Hecke algebra of $X/G$. This includes usual, affine, and double affine Hecke algebras for Weyl groups, Hecke algebras of complex reflection groups, as well as many new examples.
• ### Proof of the Brou\'e-Malle-Rouquier conjecture in characteristic zero (after I. Losev and I. Marin - G. Pfeiffer)(1606.08456)

March 10, 2017 math.RT
In 1998 Brou\'e, Malle and Rouquier conjectured that the Hecke algebra of a finite complex reflection group W is a free module over the algebra of parameters of rank |W|. We give an exposition of a proof of this conjecture in characteristic zero (and sufficiently large positive characteristic), due to I. Losev and I. Marin - G. Pfeiffer.
• ### Finite dimensional Hopf actions on algebraic quantizations(1605.00560)

Dec. 1, 2016 math.QA, math.RA
Let k be an algebraically closed field of characteristic zero. In joint work with J. Cuadra [arxiv.org/abs/1409.1644, arxiv.org/abs/1509.01165], we showed that a semisimple Hopf action on a Weyl algebra over a polynomial algebra k[z_1,...,z_s] factors through a group action, and this in fact holds for any finite dimensional Hopf action if s=0. We also generalized these results to finite dimensional Hopf actions on algebras of differential operators. In this work we establish similar results for Hopf actions on other algebraic quantizations of commutative domains. This includes universal enveloping algebras of finite dimensional Lie algebras, spherical symplectic reflection algebras, quantum Hamiltonian reductions of Weyl algebras (in particular, quantized quiver varieties), finite W-algebras and their central reductions, quantum polynomial algebras, twisted homogeneous coordinate rings of abelian varieties, and Sklyanin algebras. The generalization in the last three cases uses a result from algebraic number theory, due to A. Perucca.
• ### Finite dimensional Hopf actions on Weyl algebras(1509.01165)

July 13, 2016 math.QA, math.RA
We prove that any action of a finite dimensional Hopf algebra H on a Weyl algebra A over an algebraically closed field of characteristic zero factors through a group action. In other words, Weyl algebras do not admit genuine finite quantum symmetries. This improves a previous result by the authors, where the statement was established for semisimple H. The proof relies on a refinement of the method previously used: namely, considering reductions of the action of H on A modulo prime powers rather than primes. We also show that the result holds, more generally, for algebras of differential operators. This gives an affirmative answer to a question posed by the last two authors.
• ### Finite dimensional Hopf actions on deformation quantizations(1602.00532)

July 3, 2016 math.QA, math.RA
We study when a finite dimensional Hopf action on a quantum formal deformation A of a commutative domain A_0 (i.e., a deformation quantization) must factor through a group algebra. In particular, we show that this occurs when the Poisson center of the fraction field of A_0 is trivial.
• ### Invariants of Hamiltonian flow on locally complete intersections(1401.5042)

June 24, 2016 math.AG, math.SG, math.KT
We consider the Hamiltonian flow on complex complete intersection surfaces with isolated singularities, equipped with the Jacobian Poisson structure. More generally we consider complete intersections of arbitrary dimension equipped with Hamiltonian flow with respect to the natural top polyvector field, which one should view as a degenerate Calabi-Yau structure. Our main result computes the coinvariants of functions under the Hamiltonian flow. In the surface case this is the zeroth Poisson homology, and our result generalizes those of Greuel, Alev and Lambre, and the authors in the quasihomogeneous and formal cases. Its dimension is the sum of the dimension of the top cohomology and the sum of the Milnor numbers of the singularities. In other words, this equals the dimension of the top cohomology of a smoothing of the variety. More generally, we compute the derived coinvariants, which replaces the top cohomology by all of the cohomology. Still more generally we compute the D-module which represents all invariants under Hamiltonian flow, which is a nontrivial extension (on both sides) of the intersection cohomology D-module, which is maximal on the bottom but not on the top. For cones over smooth curves of genus g, the extension on the top is the holomorphic half of the maximal extension.
• ### Quantization of Lie bialgebras, I(q-alg/9506005)

May 30, 2016 math.QA, q-alg
In the paper "On some unsolved problems in quantum group theory", V.Drinfeld formulated the problem of the existence of a universal quantization for Lie bialgebras. When the paper "Tensor structures arising from affine Lie algebras, III", by Kazhdan and Lusztig, appeared, Drinfeld asked whether its methods could be useful for the problem of universal quantization of Lie bialgebras. In this paper we use these methods to construct the universal quantization, which gives a positive answer to Drinfeld's question. We also show the existence of universal quantization of classical r-matrices, unitary r-matrices, and quasitriangular Lie bialgebras, which answers the corresponding questions of Drinfeld.
• ### On properties of the lower central series of associative algebras(1508.00943)

May 29, 2016 math.RA
We give an accessible introduction into the theory of lower central series of associative algebras, exhibiting the interplay between algebra, geometry and representation theory that is characteristic for this subject, and to discuss some open questions. In particular, we provide shorter and clearer proofs of the main results of this theory. We also discuss some new theoretical and computational results and conjectures on the lower central series of the free algebra in two generators modulo a generic homogeneous relation.
• ### Pointed Hopf actions on fields, II(1511.09320)

April 21, 2016 math.QA, math.RA
This is a continuation of the authors' study of finite-dimensional pointed Hopf algebras H which act inner faithfully on commutative domains. As mentioned in Part I of this work, the study boils down to the case where H acts inner faithfully on a field. These Hopf algebras are referred to as Galois-theoretical. In this work, we provide classification results for finite-dimensional pointed Galois-theoretical Hopf algebras H of finite Cartan type. Namely, we determine when such H of type A_1^{\times r} and some H of rank two possess the Galois-theoretical property. Moreover, we provide necessary and sufficient conditions for Reshetikhin twists of small quantum groups to be Galois-theoretical.
• ### Representation theory in complex rank, II(1407.0373)

April 12, 2016 math.RT
This paper is a sequel to arXiv:1401.6321. We define and study representation categories based on Deligne categories Rep(GL_t), Rep(O_t), Rep(Sp_2t), where t is any (non-integer) complex number. Namely, we define complex rank analogs of the parabolic category O and the representation categories of real reductive Lie groups and supergroups, affine Lie algebras, and Yangians. We develop a framework and language for studying these categories, prove basic results about them, and outline a number of directions of further research.
• ### Hopf coactions on commutative algebras generated by a quadratically independent comodule(1507.08486)

March 3, 2016 math.QA
Let A be a commutative unital algebra over an algebraically closed field k of characteristic not equal to 2, whose generators form a finite-dimensional subspace V, with no nontrivial homogeneous quadratic relations. Let Q be a Hopf algebra that coacts on A inner-faithfully, while leaving V invariant. We prove that Q must be commutative when either: (i) the coaction preserves a non-degenerate bilinear form on V; or (ii) Q is co-semisimple, finite-dimensional, and char(k)=0.
• ### Bernstein inequality and holonomic modules(1501.01260)

Feb. 28, 2016 math.RT
In this paper we study the representation theory of filtered algebras with commutative associated graded whose spectrum has finitely many symplectic leaves. Examples are provided by the algebras of global sections of quantizations of symplectic resolutions, quantum Hamiltonian reductions, spherical symplectic reflection algebras. We introduce the notion of holonomic modules for such algebras. We show that the generalized Bernstein inequality holds for simple modules and turns into equality for holonomic simples provided the algebraic fundamental groups of all leaves are finite. Under the same assumption, we prove that the associated variety of a simple holonomic module is equi-dimensional. We also prove that, if the regular bimodule has finite length or if the algebra in question is a quantum Hamiltonian reduction, then any holonomic module has finite length. This allows to reduce the Bernstein inequality for arbitrary modules to simple ones. We prove that the regular bimodule has finite length for the global sections of quantizations of symplectic resolutions and for Rational Cherednik algebras. The paper contains a joint appendix by the author and Etingof that motivates the definition of a holonomic module in the case of global sections of a quantization of a symplectic resolution.