Poisson Traces and D-Modules on Poisson Varieties

To every Poisson algebraic variety X over an algebraically closed field of characteristic zero, we canonically attach a right D-module M(X) on X. If X is affine, solutions of M(X) in the space of algebraic distributions on X are Poisson traces on X, i.e. distributions invariant under Hamiltonian flow. When X has finitely many symplectic leaves, we prove that M(X) is holonomic. Thus, when X is affine and has finitely many symplectic leaves, the space of Poisson traces on X is finite-dimensional. More generally, to any morphism ${\phi : X \to Y}To every Poisson algebraic variety X over an algebraically closed field of characteristic zero, we canonically attach a right D-module M(X) on X. If X is affine, solutions of M(X) in the space of algebraic distributions on X are Poisson traces on X, i.e. distributions invariant under Hamiltonian flow. When X has finitely many symplectic leaves, we prove that M(X) is holonomic. Thus, when X is affine and has finitely many symplectic leaves, the space of Poisson traces on X is finite-dimensional. More generally, to any morphism f: X ? Y{\phi : X \to Y} and any quasicoherent sheaf of Poisson modules N on X, we attach a right D-module M_f(X,N){M_\phi(X,N)} on X, and prove that it is holonomic if X has finitely many symplectic leaves, f{\phi} is finite, and N is coherent.     

On rack cohomology

We prove that the lower bounds for Betti numbers of the rack, quandle and degeneracy cohomology given in Carter et al. (J. Pure Appl. Algebra, 157 (2001) 135) are in fact equalities. We compute as well the Betti numbers of the twisted cohomology introduced in Carter et al. (Twisted quandle cohomology theory and cocycle knot invariants, math. GT/0108051). We also give a group-theoretical interpretation of the second cohomology group for racks.     

Hopf coactions on commutative algebras generated by a quadratically independent comodule

Let 𝒜 be a commutative unital algebra over an algebraically closed field k of characteristic ≠2, whose generators form a finite-dimensional subspace V, with no nontrivial homogeneous quadratic relations. Let 𝒬 be a Hopf algebra that coacts on 𝒜 inner-faithfully, while leaving V invariant. We prove that 𝒬 must be commutative when either: (i) the coaction preserves a non-degenerate bilinear form on V; or (ii) 𝒬 is co-semisimple, finite-dimensional, and char(k) = 0.     

Algebraic Integrability of Macdonald Operators and Representations of Quantum Groups

In this paper we construct examples of commutative rings of difference operators with matrix coefficients from representation theory of quantum groups, generalizing the results of our previous paper [ES] to the q-deformed case. A generalized Baker–Akhiezer function is realized as a matrix character of a Verma module and is a common eigenfunction for a commutative ring of difference operators. In particular, we obtain the following result in Macdonald theory: at integer values of the Macdonald parameter k, there exist difference operators commuting with Macdonald operators which are not polynomials of Macdonald operators. This result generalizes an analogous result of Chalyh and Veselov for the case q=1, to arbitrary q. As a by-product, we prove a generalized Weyl character formula for Macdonald polynomials (= Conjecture 8.2 from [FV]), the duality for the -function, and the existence of shift operators.     

Harish–Chandra homomorphisms and symplectic reflection algebras for wreath-products

The main result of the paper is a natural construction of the spherical subalgebra in a symplectic reflection algebra associated with a wreath-product in terms of quantum hamiltonian reduction of an algebra of differential operators on a representation space of an extended Dynkin quiver. The existence of such a construction has been conjectured in [EG]. We also present a new approach to reflection functors and shift functors for generalized preprojective algebras and symplectic reflection algebras associated with wreath-products. To Joseph Bernstein on the occasion of his 60th birthday     

Dynamical Weyl Groups and Applications

Following a preceding paper of Tarasov and the second author, we define and study a new structure, which may be regarded as the dynamical analog of the Weyl group for Lie algebras and of the quantum Weyl group for quantized enveloping algebras. We give some applications of this new structure.     

Quantum integrable systems and differential Galois theory

This paper is devoted to a systematic study of quantum completely integrable systems (i.e., complete systems of commuting differential operators) from the point of view of algebraic geometry. We investigate the eigenvalue problem for such systems and the correspondingD-module when the eigenvalues are in generic position. In particular, we show that the differential Galois group of this eigenvalue problem is reductive at generic eigenvalues. This implies that a system is algebraically integrable (i.e., its eigenvalue problem is explicitly solvable in quadratures) if and only if the differential Galois group is commutative for generic eigenvalues. We apply this criterion of algebraic integrability to two examples: finite-zone potentials and the elliptic Calogero-Moser system. In the second example, we obtain a proof of the Chalyh-Veselov conjecture that the Calogero-Moser system with integer parameter is algebraically integrable, using the results of Felder and Varchenko.     

Quantization of Lie Bialgebras, Part VI: Quantization of Generalized Kac–Moody Algebras

This paper is a continuation of the series of papers “Quantization of Lie bialgebras (QLB) I-V”. We show that the image of a Kac-Moody Lie bialgebra with the standard quasitriangular structure under the quantization functor defined in QLB-I,II is isomorphic to the Drinfeld-Jimbo quantization of this Lie bialgebra, with the standard quasitriangular structure. This implies that when the quantization parameter is formal, then the category O for the quantized Kac-Moody algebra is equivalent, as a braided tensor category, to the category O over the corresponding classical Kac-Moody algebra, with the tensor category structure defined by a Drinfeld associator. This equivalence is a generalization of the functor constructed previously by G. Lusztig and the second author. In particular, we answer positively a question of Drinfeld whether the characters of irreducible highest weight modules for quantized Kac-Moody algebras are the same as in the classical case. Moreover, our results are valid for the Lie algebra $\mathfrak{g}(A)$ corresponding to any symmetrizable matrix A (not necessarily with integer entries), which answers another question of Drinfeld. We also prove the Drinfeld-Kohno theorem for the algebra $\mathfrak{g}(A)$ (it was previously proved by Varchenko using integral formulas for solutions of the KZ equations).