We provide an explicit description of symplectic leaves of a simply connected connected semisimple complex Lie group equipped with the standard Poisson-Lie structure. This sharpens previously known descriptions of the symplectic leaves as connected components of certain varieties. Our main tool is the machinery of twisted generalized minors. They also allow us to present several quasi-commuting coordinate systems on every symplectic leaf. As a consequence, we construct new completely integrable systems on some special symplectic leaves.
All factorizable Lie bialgebra structures on complex reductive Lie algebras were described by Belavin and Drinfeld. We classify the symplectic leaves of the full class of corresponding connected Poisson-Lie groups. A formula for their dimensions is also proved.
We classify filtered quantizations of conical symplectic singularities and use this to show that all filtered quantizations of symplectic quotient singularities are spherical Symplectic reflection algebras of Etingof and Ginzburg. We further apply our classification and a classification of filtered Poisson deformations obtained by Namikawa to establish a version of the Orbit method for semisimple Lie algebras. Namely, we produce a natural map from the set of adjoint orbits in a semisimple Lie algebra to the set of primitive ideals in the universal enveloping algebra. We show that the map is in…
This paper investigates the Poisson geometry of cluster algebras and the corresponding ideal theory of quantum cluster algebras. We then show how our approach can be applied to the ring theory of quantized coordinate rings. We give a new construction for the Dixmier map constructed by Yakimov from the space of symplectic leaves on $\CC[G]$ to the space of primitive ideals on $\CC_q[G]$ and give further evidence that this map is a homeomorphism.
We study a Poisson structure $π$ on the Grothendieck resolution $X$ of a complex semi-simple group $G$ and prove that the desingularization map $μ:(X,π) \to (G,π_0)$ is Poisson, where $π_0$ is a Poisson structure such that intersections of conjugacy classes and opposite Bruhat cells $BwB_-$ are Poisson subvarieties. We compute the symplectic leaves of $X$ and show that $(X, π)$ resolves singularities of $(G, π_0)$.
The Feynman path integral is used to quantize the symplectic leaves of the Poisson-Lie group SU(2)*. In this way we obtain the unitary representations of U_q(su(2)). This is achieved by finding explicit Darboux coordinates and then using a phase space path integral. I discuss the *-structure of SU(2)* and give a detailed description of its leaves using various parametrizations and also compare the results with the path integral quantization of spin.
Using Fedosov's approach we give a geometric construction of a formal symplectic groupoid over any Poisson manifold endowed with a torsion-free Poisson contravariant connection. In the case of Kaehler-Poisson manifolds this construction provides, in particular, the formal symplectic groupoids with separation of variables. We show that the dual of a semisimple Lie algebra does not admit torsion-free Poisson contravariant connections.
This paper offers an expository account of some ideas, methods, and conjectures concerning quantized coordinate rings and their semiclassical limits, with a particular focus on primitive ideal spaces. The semiclassical limit of a family of quantized coordinate rings of an affine algebraic variety V consists of the classical coordinate ring O(V) equipped with an associated Poisson structure. Conjectured relationships between primitive ideals of a generic quantized coordinate ring A and symplectic leaves in V (relative to a semiclassical limit Poisson structure on O(V)) are discussed, as are bre…
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…
We study polynomial Poisson algebras with some regularity conditions. Linear (Lie-Berezin-Kirillov) structures on dual spaces of semi-simple Lie algebras, quadratic Sklyanin elliptic algebras of \cite{FO1},\cite{FO2} as well as polynomial algebras recently described by Bondal-Dubrovin-Ugaglia (\cite{Bondal},\cite{Ug}) belong to this class. We establish some simple determinantal relations between the brackets and Casimirs in this algebras. These relations imply in particular that for Sklyanin elliptic algebras the sum of Casimir degrees coincides with the dimension of the algebra. We are discus…
In this paper we study a restricted family of holomorphic symplectic leaves in the Poisson-Lie group ${\rm GL}_r(\mathcal{K}_{\mathbb{P}^1_x})$ with rational quadratic Sklyanin brackets induced by a one-form with a single quadratic pole at $\infty \in \mathbb{P}_{1}$. The restriction of the family is that the matrix elements in the defining representation are linear functions of $x$. We study how the symplectic leaves in this family are obtained by the fusion of certain fundamental symplectic leaves. These symplectic leaves arise as minimal examples of (i) moduli spaces of multiplicative Higgs…
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 algebra of quantum matrices of a given size supports a rational torus action by automorphisms. It follows from work of Letzter and the first named author that to understand the prime and primitive spectra of this algebra, the first step is to understand the prime ideals that are invariant under the torus action. In this paper, we prove that a family of quantum minors is the set of all quantum minors that belong to a given torus-invariant prime ideal of a quantum matrix algebra if and only if the corresponding family of minors defines a non-empty totally nonnegative cell in the space of tot…
A construction of multidimensional parametric Yang-Baxter maps is presented. The corresponding Lax matrices are the symplectic leaves of first degree matrix polynomials equipped with the Sklyanin bracket. These maps are symplectic with respect to the reduced symplectic structure on these leaves and provide examples of integrable mappings. An interesting family of quadrirational symplectic YB maps on $\mathbb{C}^4 \times \mathbb{C}^4$ with $3\times 3$ Lax matrices is also presented.
Using Fock--Goncharov higher Teichmüller space variables we derive Darboux coordinate representation for entries of general symplectic leaves of the $\mathcal A_n$ groupoid of upper-triangular matrices and, in a more general setting, of higher-dimensional symplectic leaves for algebras governed by the reflection equation with the trigonometric $R$-matrix. The obtained results are in a perfect agreement with the previously obtained Poisson and quantum representations of groupoid variables for $\mathcal A_3$ and $\mathcal A_4$ in terms of geodesic functions for Riemann surfaces with holes. We re…
The notion of quantum embedding is considered for two classes of examples: quantum coadjoint orbits in Lie coalgebras and quantum symplectic leaves in spaces with non-Lie permutation relations. A method for constructing irreducible representations of associative algebras and the corresponding trace formulas over leaves with complex polarization are obtained. The noncommutative product on the leaves incorporates a closed 2-form and a measure which (in general) are different from the classical symplectic form and the Liouville measure. The quantum objects are related to some generalized special …
In this paper we classify symplectic leaves of the regular part of the projectivization of the space of meromorphic endomorphisms of a stable vector bundle on an elliptic curve, using the study of shifted Poisson structures on the moduli of complexes from our previous work \cite{HP17}. This Poisson ind-scheme is closely related to the ind Poisson-Lie group associated to Belavin's elliptic $r$-matrix, studied by Sklyanin, Cherednik and Reyman and Semenov-Tian-Shansky. Our result leads to a classification of symplectic leaves on the regular part of meromorphic matrix algebras over an elliptic cu…
With a nilpotent element in a semisimple Lie algebra g one associates a finitely generated associative algebra W called a W-algebra of finite type. This algebra is obtained from the universal enveloping algebra U(g) by a certain Hamiltonian reduction. We observe that W is the invariant algebra for an action of a reductive group G with Lie algebra g on a quantized symplectic affine variety and use this observation to study W. Our results include an alternative definition of W, a relation between the sets of prime ideals of W and of the corresponding universal enveloping algebra, the existence o…
We give a functorial construction of the genus zero chiral algebras of class $\mathcal{S}$, that is, the vertex algebras corresponding to the theory of class $\mathcal{S}$ associated with genus zero pointed Riemann surfaces via the 4d/2d duality discovered by Beem, Lemos, Liendo, Peelaers, Rastelli and van Rees in physics. We show that there is a unique family of vertex algebras satisfying the required conditions and show that they are all simple and conformal. In fact, our construction works for any complex semisimple group G that is not necessarily simply laced. Furthermore, we show that the…
A version of Kirillov's orbit method states that the primitive spectrum of a generic quantisation $A$ of a Poisson algebra $Z$ should correspond bijectively to the symplectic leaves of $\operatorname{Spec}(Z)$. In this article we consider a Poisson order $A$ over a complex affine Poisson algebra $Z$. We stratify the primitive spectrum $\operatorname{Prim}(A)$ into symplectic cores, which should be thought of as families of non-commutative symplectic leaves. We then introduce a category $A$-$\mathcal{P}$-Mod of $A$-modules adapted to the Poisson structure on $Z$, and we show that when $\operato…
We consider the Poisson sigma model associated to a Poisson manifold. The perturbative quantization of this model yields the Kontsevich star product formula. We study here the classical model in the Hamiltonian formalism. The phase space is the space of leaves of a Hamiltonian foliation and has a natural groupoid structure. If it is a manifold then it is a symplectic groupoid for the given Poisson manifold. We study various families of examples. In particular, a global symplectic groupoid for a general class of two-dimensional Poisson domains is constructed.
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 give an explicit form of the symplectic groupoid that integrates the semiclassical standard Podles sphere. We show that Sheu's groupoid, whose convolution C*-algebra quantizes the sphere, appears as the groupoid of the Bohr-Sommerfeld leaves of a (singular) real polarization of the symplectic groupoid. By using a complex polarization we recover the convolution algebra on the space of polarized sections. We stress the role of the modular class in the definition of the scalar product in order to get the correct quantum space.
It is shown that the factorization relation on simple Lie groups with standard Poisson Lie structure restricted to Coxeter symplectic leaves gives an integrable dynamical system. This system can be regarded as a discretization of the Toda flow. In case of $SL_n$ the integrals of the factorization dynamics are integrals of the relativistic Toda system. A substantial part of the paper is devoted to the study of symplectic leaves in simple complex Lie groups, its Borel subgroups and their doubles.
We study the Poisson geometry of the first congruence subgroup $G_1[[z^{-1}]]$ of the loop group $G[[z^{-1}]]$ endowed with the rational r-matrix Poisson structure for $G=GL_m$ and $SL_m$. We classify all the symplectic leaves on a certain ind-subvariety of $G_1[[z^{-1}]]$ in terms of Smith Normal Forms. This classification extends known descriptions of symplectic leaves on the (thin) affine Grassmannian and the space of $SL_m$-monopoles. We show that a generic leaf is covered by open charts with Poisson transition functions, the charts being birationally isomorphic to products of coadjoint $G…
We present the analogue, for an arbitrary complex reductive group G, of the elliptic integrable systems of Sklyanin. The Sklyanin integrable systems were originally constructed on symplectic leaves, of a quadratic Poisson structure, on a loop group of type A. The phase space, of our integrable systems, is a group-like analogue of the Hitchin system over an elliptic curve E. We consider the moduli space of pairs (P,f), where P is a principal G-bundle on E, and f is a meromorphic section of the adjoint group bundle. We show: 1) The moduli space admits an algebraic Poisson structure. It is relate…