
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 noninvertible 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$.

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.

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 differentialreflection operators preserving some spaces of
functions; (4) as equivariant BorelMoore 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 Ktheory, 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 Ktheoretic 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.

We introduce the notion of a $\textit{reflection fusion category}$, which is
a type of a $G$crossed category generated by objects of FrobeniusPerron
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.

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 p1$, 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
KacDe 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.

Let $n\geq 1$. The prounipotent completion of the pure braid group of $n$
points on a genus 1 surface has been shown to be isomorphic to an explicit
prounipotent 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 RiemannHilbert
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.

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]).

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 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
finitedimensional, its relationship to the geometry and topology of symplectic
resolutions, and its applications to quantizations. The main technique is the
study of a canonical Dmodule 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
Dmodule is holonomic, and hence the space of Poisson traces is
finitedimensional. As an application, there are finitely many irreducible
finitedimensional representations of every quantization of the variety.
Conjecturally, the Dmodule is the pushforward of the canonical Dmodule 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 Dmodule 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 BernsteinSato polynomial, relations to twovariable 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 Dmodules on singular varieties that
we require.

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 nontrivial 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.

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 Smatrix 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 FrobeniusPerron dimensions in an arbitrary fusion
category and classify categories of prime dimension.

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 BrauerPicard 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$.

We compute the group of braided tensor autoequivalences and the BrauerPicard
group of the representation category of the small quantum group
$\mathfrak{u}_q(\mathfrak{g})$, where $q$ is a root of unity.

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 CalogeroMoser 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.

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.

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 Walgebras 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.

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.

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.

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 CalabiYau 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
Dmodule which represents all invariants under Hamiltonian flow, which is a
nontrivial extension (on both sides) of the intersection cohomology Dmodule,
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.

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 rmatrices, unitary rmatrices, and
quasitriangular Lie bialgebras, which answers the corresponding questions of
Drinfeld.

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.

This is a continuation of the authors' study of finitedimensional 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
Galoistheoretical.
In this work, we provide classification results for finitedimensional
pointed Galoistheoretical 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
Galoistheoretical property. Moreover, we provide necessary and sufficient
conditions for Reshetikhin twists of small quantum groups to be
Galoistheoretical.

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 (noninteger) 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.

Let A be a commutative unital algebra over an algebraically closed field k of
characteristic not equal to 2, whose generators form a finitedimensional
subspace V, with no nontrivial homogeneous quadratic relations. Let Q be a Hopf
algebra that coacts on A innerfaithfully, while leaving V invariant. We prove
that Q must be commutative when either: (i) the coaction preserves a
nondegenerate bilinear form on V; or (ii) Q is cosemisimple,
finitedimensional, and char(k)=0.

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 equidimensional. 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.