Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Let $G$ be a Lie group (and to be safe, let's assume it is semisimple). Consider the action of $G$ on itself by conjugation, and form the GIT (algebro-geometric) quotient $G/\\!/G$. Then let $\pi:G\to G/\\!/G$ denote the quotient map. For example, if $G=SL(2,\mathbb C)$, then $G=\operatorname{Spec}\mathbb C[a,b,c,d]/(ad-bc-1)$ and $G/\\!/G=\operatorname{Spec}\mathbb C[t]$, and the projection $\pi$ is induced from the map of rings which sends $t$ to $a+d$ (all I'm saying is that the trace determines the conjugacy class in $SL(2,\mathbb C)$, at least for semisimple ones).

There is a well-known closed $2$-form on $G$ whose symplectic leaves are exactly the fibers of $\pi$ (i.e. the conjugacy classes). It can be defined, for example, as follows. Let $g\in G$, and denote its conjugacy class by $G_g$. Then $T_gG_g$ is exactly the image of the map $R:\mathfrak g\to\mathfrak g$ given by $\alpha\mapsto\alpha-\operatorname{ad}_g\alpha$. Now the map $\mathfrak g\otimes\mathfrak g\to\mathbb C$ given by $\alpha\otimes\beta\mapsto\operatorname{tr}(g[\alpha,\beta])$ has exactly the same kernel as $R$, and thus it descends to give an alternating bilinear form on $T_gG_g$ (by $\operatorname{tr}$ I mean trace in the adjoint representation). Some additional arguments show that this form is closed.

This construction is sometimes done instead with $\mathfrak g^\ast\to\mathfrak g^\ast/\\!G$, though I'm more interested in the case $G\to G/\\!/G$.

There are many papers which study the deformation quantization (or geometric quantization) of (the leaves of) this Poisson structure on $G$, but everything is very VERY abstract. Is there any place where I can find explicit formulae for things like:

1) the Poisson bracket of standard functions on $G$ (e.g. the coordinates $a,b,c,d$ in the case $G=SL(2,\mathbb C)$).

or even better

2) the deformed product (star product) on $\mathcal O(G)$.

?

I feel like these should be known or easy to calculate, but an answer has eluded my search.

I've tried doing some explicit calculations myself, but everything seems to hinge on getting a succinct formula for the $2$-form on $G$, and I always end up with something horrendous.

share|improve this question
    
it's sad that you are not currently at the Summer School on Quantization at Notre Dame... At any rate, +1, I would also like to see a reference for some of these explicit computations. –  B. Bischof Jun 9 '11 at 1:34

2 Answers 2

Joseph Donin and Andrei Mudrov have worked a lot on this question... the quantization of conjugacy classes seems to be related to dynamical r-matrices and and the so-called reflection equation. See e.g. this paper of Mudrov (Quantum conjugacy classes of simple matrix groups)... there are explicit formulae in the end of the paper, but I am not sure this answers your question (other explicit formulae for $GL_n$ can also be found in this older paper by Donin and Mudrov).

share|improve this answer

I won't really answer your questions, but I'd like to remind other readers that much of what you say is somewhat special to the semisimple case (well, semisimplicity is a little stronger than necessary).

There is a very general notion of Poisson Lie group $G$, which is a Lie group and a Poisson manifold such that the multiplication map $G \times G \to G$ is Poisson (i.e. the map $\mathcal C^\infty(G) \to \mathcal C^\infty(G\times G)$ is a Lie algebra homomorphism for the Poisson bracket). Poisson Lie groups (at least, the simply-connected ones) are in natural bijection with Lie bialgebras. Then something special happens in the semisimple case. Namely, there is a "standard Lie bialgebra structure", which I think requires a choice of upper- and lower- triangular decomposition — these choices are all related by conjugation in the group, so in particular are all isomorphic, but the assignment of a Poisson structure to a semisimple Lie group is not functorial, I think.

For example, here's the Poisson structure for the matrix group $\mathrm{SL}(2)$. In the standard coordinates $a,b,c,d$ you give, the brackets are (up to a normalization): $$ \lbrace a, b\rbrace = ab, \quad \lbrace a, c\rbrace = -ac,\quad \lbrace a, d\rbrace = 2bc, \quad \lbrace b,c\rbrace = 0, \quad \lbrace b,d\rbrace = -bd, \quad \lbrace c, d\rbrace = cd. $$ See for example Lecture 7 from my very unedited notes on Reshetikhin's class on quantum groups at Berkeley, Spring 2009 (PDF).

But this is not, I think, the Poisson structure that you're after. Here is another general fact about Poisson Lie groups. Since Lie bialgebras are completely symmetric definition, to every Poisson Lie group $G$ there is a dual Lie group $G^\ast$, which is the simply-connected Poisson Lie group with the dual Lie bialgebra. Then it is always true that $G$ acts on $G^\ast$ and $G^\ast$ acts on $G$, although these actions can be complicated in general (in particular, in general $G$ does not act by automorphisms of $G^\ast$). The actions are called the Dressing action, which is a name from the 1970s and the theory of soliton waves. A theorem of Lu, Semenov-Tian-Shansky, and Weinstein holds that the symplectic leaves in $G$ are precisely the orbits under the Dressing action of $G^\ast$ on $G$. In the case of $G = \mathrm{SL}(2)$, the dual group is

$$ G^\ast = \left\lbrace \left( \begin{pmatrix} a & b \\ 0 & a^{-1} \end{pmatrix}, \begin{pmatrix} a^{-1} & 0 \\ c & a \end{pmatrix} \right) \right\rbrace $$

the group of pairs of matrices with the above shapes, i.e. it is a fibered product of the two Borel subgroups of $\mathrm{SL}(2)$ over the Cartan.

Of course, a special case of the Dressing action is when the Poisson structure on $G$ is $0$. Then the dual Poisson group $G^\ast$ is abelian, and it is precisely the vector space $\mathfrak g^\ast$ with the Kirillov-Kostant-Souriau Poisson structure (the algebra of functions on $\mathfrak g^\ast$ is $\operatorname{Sym}(\mathfrak g)$, or some completion thereof, and the Poisson bracket is what you get by extending the bracket on $\mathfrak g$ as a biderivation). Then the Dressing action is precisely the coadjoint action.

So it seems that I have been spending a while not answering any of your questions. To get closer to your question, construct the dual group $G^\ast$. Construct also the double group $D = G^\ast \bowtie G$. It is the simply-connected Lie group with Lie algebra the double of $\mathfrak g$; there are inclusions of Poisson Lie groups $G^\ast \hookrightarrow D \hookleftarrow G$, and as a manifold $G = G^\ast \times G$ (this should remind you of the "KAN" factorization of matrices).
Now I'm going to again specialize to the semisimple case: $G$ is a semisimple Lie group with its standard Poisson structure. Then $D$ is isomorphic as a Lie group to $G\times G$ — this is not true for general Poisson Lie groups — and the inclusion $G \hookrightarrow D$ is the diagonal inclusion (see Lecture 17 of op cit). Moreover, there is a projection of manifold $D = G\times G \to G$. Edit: Thus, the composition $$ G^\ast \to D = G\times G \to G $$ is an isomorphism exists as a map of manifolds. In fact, more can be said: the Dressing action of $G$ on $G^\ast$ is defined by the adjoint action of $G$ on $D$, and the projection is also compatible. So this isomorphism map $G^\ast \to G$ of manifolds intertwines the two $G$-actions.

So take the Poisson structure on $G^\ast$, which is the thing whose leaves are given by a $G$-action, and push it through the isomorphism to a Poisson structure on $G$. This is the one you're after.

I don't understand the map $G^\ast \to G$, so I can't work it out. But I can tell you the Poisson structure on $G^\ast$, in the case that $G = \mathrm{SL}(2)$ with its standard structure. I've already defined the group $G^\ast$ above. In those coordinates, the Poisson brackets are (up to a normalization): $$ \lbrace a,b\rbrace = ab, \quad \lbrace a,c\rbrace = -ac, \quad \lbrace b,c \rbrace = -2(a^2 - a^{-2}) $$

So this gets close to answering your question (1). At least, I've given some coordinates on $\mathrm{SL}(2)$ and a Poisson structure therein for which the adjoint action picks out the symplectic leaves. I'm guessing someone who spends more time with simple groups (I generally think about general Lie groups and Lie algebras, and not the simple ones, because there are too many coincidences there for me to see the general structure) will be able to give you a better formula in the standard coordinates, but I cannot.


Maybe I'll make one more comment. From the point of view of $\mathrm{SL}(2)$, this Poisson structure doesn't play very well with the group structure (it doesn't have a lot to do with the "standard" Poisson-Lie structure, for example; the relationship is analogous to the different group structures on $G$ given by the KAN decomposition, or the PBW theorem that $\mathrm U \mathfrak g = \mathrm U \mathfrak n_- \otimes \mathrm U \mathfrak b_+$ as vector spaces). So if you treat it just as a Poisson manifold and ask for quantizations thereof, you can do this with Kontsevich star product, which is at least (locally) given by completely explicit formulas. But star product is not particularly functorial, and in particular does not preserve group objects (or at least isn't known to do so). In some sense you can do better by adopting some version of Etingof-Kazhdan, and quantizing the Poisson Lie group $\mathrm{SL}(2)^\ast$ to a Hopf algebra. But the formulas are much worse (I don't know if they're ever really been written down). Edit: Or, as pointed out in the comments, both $\mathrm{SL}(2)$ and $\mathrm{SL}(2)^\ast$ have quantizations that can be essentially read off from the Drinfel'd-Jimbo quantum group, which is completely explicit.

share|improve this answer
    
There is a point I do not get in this answer. You end up saying that there is a Poisson isomorphism $G^*\to G$; but $G^*$ and $G$ are not isomorphic as manifolds, even in the semisimple case. BTW quantizing $G^*$, for $G$ semisimple, as a Hopf algebra was done at the very beginning of the quantum group theory; in fact, as the so-called quantum duality principle states, the quantized universal enveloping algebra of $\mathfrak g$ can be identified with the quantization of the algebra of functions on $G^*$. –  Nicola Ciccoli Jun 10 '11 at 6:05
    
@Nicola: Right, the quantization of semisimples (and their standard duals) is quite old (Drinfeld and Jimbo simultaneously invented it). A remarkable fact is that the Drinfeld-Jimbo quantization is essentially the only Hopf deformation of a semisimple in the direction of its standard Poisson structure. In any case, it's likely that much of what I said is not correct when working over $\mathbb R$; for example, $\operatorname{SU}(2)^\ast$ is $\left\lbrace\bigl(\begin{smallmatrix} a & c \\\ 0 & a^{-1} \end{smallmatrix}\bigr), a\gt0, c\in\mathbb C\right\rbrace$. (continued) –  Theo Johnson-Freyd Jun 10 '11 at 14:36
    
(continuation) But you're right that the topologies don't match --- $G^\ast$ is homotopic to a circle, whereas $G$ is homotopic to $\operatorname{SU}(2)$. I'll make edits. –  Theo Johnson-Freyd Jun 10 '11 at 14:41
    
I think in the last two formulas in the Poisson bracket of SL(2) one should change the sign. Otherwise Jacobi for b,a,d does not work, and determinant isn't central. Pavel Etingof –  Pavel Etingof Feb 25 '12 at 14:23

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.