Quantization of deformed cluster Poisson varieties
Man-Wai Mandy Cheung, Juan Bosco Frías-Medina, Timothy Magee
备注：
46 pages, 4 figures, 2 tables. We added Definition 3.5 in order to obtain a correct proof of Proposition 3.6 (formerly Proposition 3.5). We added a discussion of Definition 3.11 (formerly Definition 3.10) in which we describe the gluings in greater detail. Other minor corrections. To appear in Algebras and Representation Theory
Fock and Goncharov described a quantization of cluster $\mathcal{X}$-varieties (also known as cluster Poisson varieties) in [FG09]. Meanwhile, families of deformations of cluster $\mathcal{X}$-varieties were introduced in [BFMNC18]. In this paper we show that the two constructions are compatible -- we extend the Fock-Goncharov quantization of $\mathcal{X}$-varieties to the families of [BFMNC18]. As a corollary, we obtain that these families and each of their fibers have Poisson structures. We relate this construction to the Berenstein-Zelevinsky quantization of $\mathcal{A}$-varieties ([BZ05]). Finally, inspired by the counter-example to quantum positivity of the quantum greedy basis in [LLRZ14], we compute a counter-example to quantum positivity of the quantum theta basis.
We express the difference between Poisson bracket and deformed bracket for Kontsevich deformation quantization on any Poisson manifold by means of second derivative of the formality quasi-isomorphism. The counterpart on star products of the action of formal diffeomorphisms on Poisson formal bivector fields is also investigated.
We describe explicitly the admissible families of minors for the totally nonnegative cells of real matrices, that is, the families of minors that produce nonempty cells in the cell decompositions of spaces of totally nonnegative matrices introduced by A. Postnikov. In order to do this, we relate the totally nonnegative cells to torus orbits of symplectic leaves of the Poisson varieties of complex matrices. In particular, we describe the minors that vanish on a torus orbit of symplectic leaves, we prove that such families of minors are exactly the admissible families, and we show that the nonem…
The geometrical description of deformation quantization based on quantum duality principle makes it possible to introduce deformed Lie-Poisson structure. It serves as a natural analogue of classical Lie bialgebra for the case when the initial object is a quantized group. The explicit realization of the deformed Lie-Poisson structure is a difficult problem. We study the special class of such constructions characterized by quite a simple form of tanjent vector fields. It is proved that in such a case it is sufficient to find four Lie compositions that form two deformations of the first order and…
In this paper, we give a description of holomorphic multi-vector fields on smooth compact toric varieties, which generalizes Demazure's result of holomorphic vector fields on toric varieties. Based on the result, we compute the Poisson cohomology groups of holomorphic toric Poisson manifolds, i.e., toric varieties endowed with $T$-invariant holomorphic Poisson structures.
We define Poisson structures on certain transversal slices to conjugacy classes in complex simple algebraic groups introduced in arXiv:0809.0205. These slices are associated to the elements of the Weyl group, and the Poisson structures on them are analogous to the Poisson structures introduced by J. de Boer, T. Tjin and A. Premet in papers arXiv:hep-th/9211109 and http://www.maths.man.ac.uk/DeptWeb/Homepages/aap/Reprints/Transverse.ps on the Slodowy slices in complex simple Lie algebras. The quantum deformations of these Poisson structures are known as W-algebras of finite type. As an applicat…
In this survey article, we describe recent work that connects three separate objects of interest: totally nonnegative matrices; quantum matrices; and matrix Poisson varieties.
The paper is devoted to peculiarities of the deformation quantization in the algebro-geometric context. A direct application of the formality theorem to an algebraic Poisson manifold gives a canonical sheaf of categories deforming coherent sheaves. The global category is very degenerate in general. Thus, we introduce a new notion of a semi-formal deformation, a replacement in algebraic geometry of an actual deformation (versus a formal one). Deformed algebras obtained by semi-formal deformations are Noetherian and have polynomial growth. We propose constructions of semi-formal quantizations of…
We compute the space of Poisson traces on symmetric powers of affine symplectic varieties. In the case of symplectic vector spaces, we also consider the quotient by the diagonal translation action, which includes the quotient singularities C^{2n-2}/S_n associated to the type A Weyl group S_n and its reflection representation C^{n-1}. We also compute the full structure of the natural D-module, previously defined by the authors, whose solution space over algebraic distributions identifies with the space of Poisson traces. As a consequence, we deduce bounds on the numbers of finite-dimensional ir…
We define the q-deformed Gelfand-Dickey bracket on the space of q-pseudodifference symbols which agrees with the Poisson Virasoro algebra of E.Frenkel and N.Reshetikhin and its generalizations and prove its uniqueness (in a natural class of quadratic Poisson structures). The associated hierarchies of nonlinear q-difference equations are also constructed.
Let X be a smooth algebraic variety over a field K containing the real numbers. We introduce the notion of twisted associative (resp. Poisson) deformation of the structure sheaf of X. These are stack-like versions of usual deformations. We prove that there is a twisted quantization operation from twisted Poisson deformations to twisted associative deformations, which is canonical and bijective on gauge equivalence classes. This result extends work of Kontsevich, and our own earlier work, on deformation quantization of algebraic varieties.
Let X be a smooth algebraic variety over a field of characteristic 0. We introduce the notion of twisted associative (resp. Poisson) deformation of the structure sheaf O_X. These are stack-like versions of usual deformations. We prove that there is a twisted quantization map from twisted Poisson deformations to twisted associative deformations, which is canonical and bijective on equivalence classes.
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 flows. 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. As an application, we deduce that noncommutative filtered algebras whose associated graded algebra…
The standard Poisson structures on the flag varieties G/P of a complex reductive algebraic group G are investigated. It is shown that the orbits of symplectic leaves in G/P under a fixed maximal torus of G are smooth irreducible locally closed subvarieties of G/P, isomorphic to intersections of dual Schubert cells in the full flag variety G/B of G, and their Zariski closures are explicitly computed. Two different proofs of the former result are presented. The first is in the framework of Poisson homogeneous spaces and the second one uses an idea of weak splittings of surjective Poisson submers…
On the basis of the non-commutative q-calculus, we investigate a q-deformation of the classical Poisson bracket in order to formulate a generalized q-deformed dynamics in the classical regime. The obtained q-deformed Poisson bracket appears invariant under the action of the q-symplectic group of transformations. In this framework we introduce the q-deformed Hamilton's equations and we derive the evolution equation for some simple q-deformed mechanical systems governed by a scalar potential dependent only on the coordinate variable. It appears that the q-deformed Hamiltonian, which is the gener…
We compute an explicit algebraic deformation quantization for an affine Poisson variety described by an ideal in a polynomial ring, and inheriting its Poisson structure from the ambient space.
It was established by Boalch that Euler continuants arise as Lie group valued moment maps for a class of wild character varieties described as moduli spaces of points on $\mathbb{P}^1$ by Sibuya. Furthermore, Boalch noticed that these varieties are multiplicative analogues of certain Nakajima quiver varieties originally introduced by Calabi, which are attached to the quiver $Γ_n$ on two vertices and $n$ equioriented arrows. In this article, we go a step further by unveiling that the Sibuya varieties can be understood using noncommutative quasi-Poisson geometry modeled on the quiver $Γ_n$. We p…
The elliptic algebra A_{q,p}(sl(N)_{c}) at the critical level c=-N has an extended center containing trace-like operators t(z). Families of Poisson structures, defining q-deformations of the W_N algebra, are constructed. The operators t(z) also close an exchange algebra when (-p^{1/2})^{NM} = q^{-c-N} for M \in Z. It becomes Abelian when in addition p=q^{Nh} where h is a non-zero integer. The Poisson structures obtained in these classical limits contain different q-deformed W_N algebras depending on the parity of h, characterizing the exchange structures at p =/ q^{Nh} as new W_{q,p}(sl(N)) al…
We investigate the fine structure of the simplectic foliations of Poisson homogeneous spaces. Two general results are proved for weak splittings of surjective Poisson submersions from Heisenberg and Drinfeld doubles. The implications of these results are that the torus orbits of symplectic leaves of the quotients can be explicitly realized as Poisson-Dirac submanifolds of the torus orbits of the doubles. The results have a wide range of applications to many families of real and complex Poisson structures on flag varieties. Their torus orbits of leaves recover important families of varieties su…
In [5] Cauchon introduced the so-called deleting derivations algorithm. This algorithm was first used in noncommutative algebra to prove catenarity in generic quantum matrices, and then to show that torus-invariant primes in these algebras are generated by quantum minors. Since then this algorithm has been used in various contexts. In particular, the matrix version makes a bridge between torus-invariant primes in generic quantum matrices, torus-orbits of symplectic leaves in matrix Poisson varieties and totally nonnegative cells in totally nonnegative matrix varieties [12]. This led to recent …
The standard Poisson structure on the rectangular matrix variety M_{m,n}(C) is investigated, via the orbits of symplectic leaves under the action of the maximal torus T of GL_{m+n}(C). These orbits, finite in number, are shown to be smooth irreducible locally closed subvarieties of M_{m,n}(C), isomorphic to intersections of dual Schubert cells in the full flag variety of GL_{m+n}(C). Three different presentations of the T-orbits of symplectic leaves in M_{m,n}(C) are obtained - (a) as pullbacks of Bruhat cells in GL_{m+n}(C) under a particular map; (b) in terms of rank conditions on rectangula…
We study algebras constructed by quantum Hamiltonian reduction associated with symplectic quotients of symplectic vector spaces, including deformed preprojective algebras, symplectic reflection algebras (rational Cherednik algebras), and quantization of hypertoric varieties introduced by Musson and Van den Bergh. We determine BRST cohomologies associated with these quantum Hamiltonian reductions. To compute these BRST cohomologies, we make use of method of deformation quantization (DQ-algebras) and F-action studied in [Kashiwara-Rouquier], and in [Gordon-Losev].
For an affine toric variety $\mathrm{Spec}(A)$, we give a convex geometric description of the Hodge decomposition of its Hochschild cohomology. Under certain assumptions we compute the dimensions of the Hodge summands $T^1_{(i)}(A)$, generalizing the existing results about the Andre-Quillen cohomology group $T^1_{(1)}(A)$. We prove that every Poisson structure on a possibly singular affine toric variety can be quantized in the sense of deformation quantization.
The integrals of motion of the classical two dimensional superintegrable systems with quadratic integrals of motion close in a restrained quadratic Poisson algebra, whose the general form is investigated. Each classical superintegrable problem has a quantum counterpart, a quantum superintegrable system. The quadratic Poisson algebra is deformed to a quantum associative algebra, the finite dimensional representations of this algebra are calculated by using a deformed parafermion oscillator technique. It is shown that, the finite dimensional representations of the quadratic algebra are determine…
We use Bonahon-Wong's trace map to study character varieties of the once-punctured torus and of the 4-punctured sphere. We clarify a relationship with cluster algebra associated with ideal triangulations of surfaces, and we show that the Goldman Poisson algebra of loops on surfaces is recovered from the Poisson structure of cluster algebra. It is also shown that cluster mutations give the automorphism of the character varieties. Motivated by a work of Chekhov-Mazzocco-Rubtsov, we revisit confluences of punctures on sphere from cluster algebraic viewpoint, and we obtain associated affine cubic …
Given a vertex operator algebra V , one can attach a graded Poisson algebra called the C2-algebra R(V). The associate Poisson scheme provides an important invariant for V and has been studied by Arakawa as the associated variety. In this article, we define and examine the cohomological variety of a vertex algebra, a notion cohomologically dual to that of the associated variety, which measures the smoothness of the associated scheme at the vertex point. We study its basic properties and then construct a closed subvariety of the cohomological variety for rational affine vertex operator algebras …
The purpose of the present work is to describe a dequantization procedure for topological modules over a deformed algebra. We define the characteristic variety of a topological module as the common zeroes of the annihilator of the representation obtained by setting the deformation parameter to zero. On the other hand, the Poisson characteristic variety is defined as the common zeroes of the ideal obtained by considering the annihilator of the deformed representation, and only then setting the deformation parameter to zero. Using Gabber's theorem, we show the involutivity of the characteristic …
Quantum duality principle is applied to study classical limits of quantum algebras and groups. For a certain type of Hopf algebras the explicit procedure to construct both classical limits is presented. The canonical forms of quantized Lie-bialgebras are proved to be two-parametric varieties with two classical limits called dual. When considered from the point of view of quantized symmetries such varieties can have boundaries that are noncommutative and noncocommutative. In this case the quantum duality and dual limits still exist while instead of Lie bialgebra one has a pair of tangent vector…
The notion of quantum algebras is merged with that of Lie systems in order to establish a new formalism called Poisson-Hopf algebra deformations of Lie systems. The procedure can be naturally applied to Lie systems endowed with a symplectic structure, the so-called Lie-Hamilton systems. This is quite a general approach, as it can be applied to any quantum deformation and any underlying manifold. One of its main features is that, Lie systems are extended to generalized systems described by involutive distributions. In this way, we obtain their new generalized (deformed) counterparts that cover,…
We classify the invariant prime ideals of a quantum partial flag variety under the action of the related maximal torus. As a result we construct a bijection between them and the torus orbits of symplectic leaves of the standard Poisson structure on the corresponding flag variety. It was previously shown by K. Goodearl and the author that the latter are precisely the Lusztig strata of the partial flag variety.
Phase-space realisations of an infinite parameter family of quantum deformations of the boson algebra in which the $q$-- and the $qp$--deformed algebras arise as special cases are studied. Quantum and classical models for the corresponding deformed oscillators are provided. The deformation parameters are identified with coefficients of non-linear terms in the normal forms expansion of a family of classical Hamiltonian systems. These quantum deformations are trivial in the sense that they correspond to non-unitary transformations of the Weyl algebra. They are non-trivial in the sense that the d…
We prove that quantized multiplicative quiver varieties and quantum character varieties define sheaves of Azumaya algebras over the corresponding classical moduli spaces, and we prove that the Azumaya locus of the Kauffman bracket skein algebras contains the smooth locus, proving a strong form of the Unicity Conjecture of Bonahon and Wong. The proofs exploit a strong compatibility between quantum Hamiltonian reduction and the quantum Frobenius homomorphism as it arises in each setting. We therefore introduce the concepts of Frobenius quantum moment maps and their Hamiltonian reduction, and of …
It is shown that the deformed Calogero-Moser-Sutherland (CMS) operators can be described as the restrictions on certain affine subvarieties (called generalised discriminants) of the usual CMS operators for infinite number of particles. The ideals of these varieties are shown to be generated by the Jack symmetric functions related to the Young diagrams with special geometry. A general structure of the ideals which are invariant under the action of the quantum CMS integrals is discussed in this context. The shifted super-Jack polynomials are introduced and combinatorial formulas for them and for…
We extend to the sl(N) case the results that we previously obtained on the construction of W_{q,p} algebras from the elliptic algebra A_{q,p}(\hat{sl}(2)_c). The elliptic algebra A_{q,p}(\hat{sl}(N)_c) at the critical level c=-N has an extended center containing trace-like operators t(z). Families of Poisson structures indexed by N(N-1)/2 integers, defining q-deformations of the W_N algebra, are constructed. The operators t(z) also close an exchange algebra when (-p^1/2)^{NM} = q^{-c-N} for M in Z. It becomes Abelian when in addition p=q^{Nh} where h is a non-zero integer. The Poisson structur…
We give an explicit construction of a deformation quantization of the algebra of functions on a Poisson manifolds, based on Kontsevich's local formula. The deformed algebra of functions is realized as the algebra of horizontal sections of a vector bundle with flat connection.
In this paper, we study formal deformations of Poisson structures, especially for three families of Poisson varieties in dimensions two and three. For these families of Poisson structures, using an explicit basis of the second Poisson cohomology space, we solve the deformation equations at each step and obtain a large family of formal deformations for each Poisson structure which we consider. With the help of an explicit formula, we show that this family contains, modulo equivalence, all possible formal deformations. We show moreover that, when the Poisson structure is generic, all members of …
The Poisson-Hopf analogue of an arbitrary quantum algebra U_z(g) is constructed by introducing a one-parameter family of quantizations U_{z,h}(g) depending explicitly on h and by taking the appropriate h -> 0 limit. The q-Poisson analogues of the su(2) algebra are discussed and the novel su_q^P (3) case is introduced. The q-Serre relations are also extended to the Poisson limit. This approach opens the perspective for possible applications of higher rank q-deformed Hopf algebras in semiclassical contexts.
We have two constructions of the level-$(0,1)$ irreducible representation of the quantum toroidal algebra of type $A$. One is due to Nakajima and Varagnolo-Vasserot. They constructed the representation on the direct sum of the equivariant K-groups of the quiver varieties of type $\hat{A}$. The other is due to Saito-Takemura-Uglov and Varagnolo-Vasserot. They constructed the representation on the q-deformed Fock space introduced by Kashiwara-Miwa-Stern. In this paper we give an explicit isomorphism between these two constructions. For this purpose we construct simultaneous eigenvectors on the q…
Let $G$ be a connected complex semi-simple Lie group and ${\mathcal{B}}$ its flag variety. For every positive integer $n$, we introduce a Poisson groupoid over ${\mathcal{B}}^n$, called the $n$th total configuration Poisson groupoid of flags of $G$, which contains a family of Poisson sub-groupoids whose total spaces are generalized double Bruhat cells and bases generalized Schubert cells. Certain symplectic leaves of these Poisson sub-groupoids are then shown to be symplectic groupoids over generalized Schubert cells. We also give explicit descriptions of symplectic leaves in three series of P…
Scaling limits when q tends to 1 of the elliptic vertex algebras A_qp(sl(N)) are defined for any N, extending the previously known case of N=2. They realise deformed, centrally extended double Yangian structures DY_r(sl(N)). As in the quantum affine algebras U_q(sl(N)), and quantum elliptic affine algebras A_qp(sl(N)), these algebras contain subalgebras at critical values of the central charge c=-N-Mr (M integer, 2r=ln p/ln q), which become Abelian when c=-N or 2r=Nh for h integer. Poisson structures and quantum exchange relations are derived for their abstract generators.
