Geometría de Poisson

Alan Weinstein∗
Departamento de Matemáticas
Universidad de California
Berkeley, CA 94720 EE. UU.
(alanw@[Link])

8 de febrero de 2012

Abstract
Este artículo es una encuesta sobre geometría de Poisson, con énfasis en lo global
preguntas y la teoría de los grupos y grupoides de Poisson Lie.

1 Introduction
Poisson [105] inventó sus corchetes como una herramienta para la dinámica clásica. Jacobi
[63] se dio cuenta de la importancia de estos corchetes y elucidó su álgebra.
propiedades, y Lie [82] comenzó el estudio de su geometría. Después de un largo
la dormancia, la geometría de Poisson se ha convertido en un campo activo de investigación durante
en los últimos 30 años aproximadamente, estimulado por conexiones con una serie de
áreas, incluyendo el análisis armónico en grupos de Lie (Berezin [11]), di- infinitos
mensional Lie algebras (Kirillov [67]), mechanics of particles and continua
(Arnold [5], Lichnerowicz [80], Marsden–Weinstein [96]), teoría de singularidades
(Varchenko–Givental’ [122]), y sistemas completamente integrables (Gel’fand–
Dikii [45], Kostant [75]), por mencionar solo algunos ejemplos.
APoisson algebrais a commutative associative algebraAoverRcarry-
un corchete de álgebra de Lie {,} para el cual cada operador adjunto Xh={, h}
es una derivación de la estructura del álgebra asociativa. También hay no com-
álgebras de Poisson mutativas [15, 40, 124, 139], pero no las trataremos en
este documento. Por supuesto, se puede reemplazar R por otro campo.

∗
Investigación parcialmente apoyada por la subvención DMS-96-25122 de la NSF y el Instituto Miller
for Basic Research in Science.

1
 For most of this paper,Awill be the algebraC∞ (M) de funciones suaves
en una variedad M, en cuyo caso el corchete se llama estructura de Poisson
onM, y (M,{,}) se llama una variedad de Poisson. Las derivaciones X h
are represented in this “spatial” picture by vector fields, which are called
hamiltonianvector fields.
APoisson morphismA1 → A2is a map between Poisson algebras which
is a homomorphism for both the associative and Lie algebra structures.
WhenA1 =C∞ (M1 ) yA2=C∞ (M2 ), the algebra morphism is the
operación de retroceso para un mapa suave M1 ←M2que preserva Poisson
corchetes. Llamamos a estos mapas mapas de Poisson. (Ver [4] o [14] para una prueba
que cualquier homomorfismo de álgebra asociativa entre álgebras de suave
las funciones son la operación de retroceso por algún mapa suave.
Las variedades de Poisson ocurren como espacios de fase para partículas clásicas (y, en
the infinite dimensional case, fields), but Poisson geometry is also relevant to
las álgebras de observables en mecánica cuántica, así como a más general
álgebras no conmutativas. De hecho, Kontsevich [69] acaba de demostrar que el
clasificación de deformaciones formales del álgebra C∞ (M) para cualquier variedad
Mi equivalente a la clasificación de familias formales de estructuras de Poisson
onM. Además, las derivacionesXh of a Poisson algebra behave rather
como las derivaciones internas de un álgebra no conmutativa, y en consecuencia
hay fuertes analogías entre la geometría de Poisson y la no conmutativa
álgebra. No discutimos estas analogías aquí, sino que referimos al lector a
[18, 114].
Another category with close relations to Poisson geometry is that of Lie
algebroides, mientras que los objetos globales correspondientes, grupos de Lie, pueden ser
se utiliza para codificar los automorfismos de las variedades de Poisson generados por el
campos vectoriales hamiltonianos Xh .
It is no accident that groupoids have also
been a rich source of noncommutative algebras [23, 132]. We discuss Lie
algebroids and groupoids in Section 7.
Ahora hay varios libros disponibles con extensas discusiones sobre Pois-
son geometría [13, 18, 54, 65, 79, 120]. Se refiere al lector a ellos para
más detalles de mucho de lo que aquí está meramente esbozado. Este documento, entonces,
is an idiosyncratic survey of Poisson geometry, marked by my own interests,
y aquellos de las personas con las que he tenido un contacto personal cercano, incluyendo
several of my former students. I have tried to make the bibliography rep-
representante de la literatura, pero está lejos de ser completo. Me disculpo por todo
the relevant citations which have been omitted.

2
2 Poisson manifolds and maps
Dado que el corchete {f, g} de funciones en una variedad de Poisson M es una derivada
in each argument, it depends only on the first derivatives offandg, and
por lo tanto, se puede escribir en la forma

{f, g}=π(df, dg)

2
whereπ∈Γ(∧TM) is a field of skew-symmetric bilinear forms onT∗ M, es decir,
campo de abivector. Llamamos π al tensor de Poisson. La identidad de Jacobi para el
bracket implies thatπsatisfies an integrability condition which is a quadratic
ecuación diferencial parcial de primer orden (semilineal) en coordenadas locales, y
has the invariant form [π, π] = 0, where the bracket here is the Schouten–
Nijenhuis bracket on multivector fields (see [120]).
Además del tensor π, ocasionalmente nos referiremos al asociado
mapa de paquete π˜ :T∗ M→TM definido por (π˜(b)) = π(b, a) para cotangente
vectorsaandb.
Los mapas de Poisson se pueden caracterizar por la siguiente propiedad de su
Los gráficos. Un subvariedad C de una variedad de Poisson M se llama coisotropa si
el conjunto de funciones en M que desaparecen en C es cerrado bajo el corchete de Poisson.
Un mapa diferenciable φ entre variedades de Poisson M y N es un mapa de Poisson.
if and only if its graph is a coisotropic submanifold ofM×N, whereMisM
con su estructura de Poisson multiplicada por -1. Teniendo en cuenta este hecho, llamamos
cualquier subvariedad coisotrópica de M×N establece una relación de Poisson de M a N.
el cálculo coisotrópico en la geometría de Poisson se basa en el hecho de que el
la composición de dos relaciones de Poisson es nuevamente una relación de Poisson, siempre que
la composición satisface una suposición de "intersección limpia" que garantiza
que esta composición es una variedad suave. Este cálculo se extiende a Poisson
geometría el cálculo lagrangiano (composición de relaciones canónicas) [126]
for symplectic manifolds.

3 Estructura local de las variedades de Poisson

La geometría de Poisson local comienza con el siguiente teorema.

Teorema 3.1 (Teorema de división [127]) Centrado en cualquier punto O en un

M manifold de Poisson, hay coordenadas (q1 , . . . , q k ,p1 , . . . , p k ,y1 , . . . , y ` )

3
de tal manera que

k `
∂ ∂ 1 ∂ ∂
π= X ∧ + ϕyoj (y) y ϕ(0) = 0.
∂yyo∧
X ij
i=1
∂q ∂p 2
yo i i,j=1 ∂yj

Cuando `= 0, la estructura de Poisson se llama simplectica, y el teorema

es el teorema de Darboux. Por lo tanto, un manifold de Poisson general es isomorfo
cerca de cada punto al producto de un subconjunto abierto de un simpólico estándar
manifoldR2k y una variedad de Poisson para la cual el tensor de Poisson se anula en
the point in question. The local classification question can thus be reduced
to that for structures of the second type, which we calltotally degenerate.

3.1 Hojas simplécticas

Los factores simplecticos y totalmente degenerados son bastante diferentes cuando ellos
se ven intrínsecamente. El factor simpléctico es un subconjunto abierto de un bien-
subvariedad definida OO , llamado la hoja simpléctica a través de O. Es disjunta
la unión de estas hojas simplécticas, y el corchete de Poisson en M "ensambla"
the canonical Poisson brackets on these leaves. On an open dense subset
deM, la parte regular, la dimensión de las hojas es localmente constante, y
forman una foliación.
El factor totalmente degenerado, por otro lado, vive de manera más natural.
sobre un “cociente” de un vecindario de O por una foliación (no intrínsecamente
definido!) teniendo OOcomo una hoja. Se puede demostrar que el factor degenerado
is well-defined, but only up to isomorphism; the isomorphism class of this
La estructura transversal es la misma para todos los puntos de la hoja simpléctica O.O .

3.2Totally degenerate structures and linearization

Since our study will be local, we can assume that the underlying manifold
is a vector spaceV, and that the point of total degeneracy is the origin. In
en coordenadas lineales, los coeficientes del tensor de Poisson pueden escribirse entonces
como funciones lineales más términos de orden superior. Si todos los términos de orden superior
vanish, the dual spaceV∗ de funciones lineales sobre Vis una álgebra de Lie g, de modo que
V=g∗ La estructura de Poisson está completamente determinada por el álgebra de Lie.
estructura ong: en coordenadas lineales (x1 , . . . .x n ) ong∗ (which can also be
viewed as a basis ofg), the Poisson tensor is
n
1 ∂ ∂
π= cijk xk ∧ ,
2 X ∂xyo∂xj
i,j,k=1

4
dóndeijk son las constantes de estructura del álgebra de Lie con respecto a esto
base. Llamamos a tales estructuras de Poisson en los espacios duales de álgebras de Lie
Estructuras de Lie–Poisson.
A Poisson structure which becomes linear when expressed with respect
to suitable local coordinates at a pointOis said to belinearizableatO.
El candidato para la estructura de álgebra de Lie correspondiente está determinado
by the Poisson structure itself: at a pointOwhere a Poisson structure
enMdesaparece, hay un corchete bien definido en los diferenciales enO de
functions onM, defining the structure of a Lie algebra (thetangent Lie
álgebra) en el espacio cotangente TO∗ Así, por lo tanto, una estructura de Lie–Poisson
(thetangent Poisson structure) on the tangent spaceTO M. La estructura
onMis linealizable en Oiff es localmente isomórfico a su tangente Poisson
estructura en ese punto.
Existen álgebras de Lie tales que cualquier estructura de Poisson totalmente degenerada
ture with tangent Lie algebragis linearizable. These algebras are analogous
a funciones cuadráticas no degeneradas, de las cuales se derivan órdenes superiores adicionales
los términos se pueden eliminar mediante una transformación de coordenadas. Por esta razón, nosotros
han llamado a tales álgebras de Lie no degeneradas en [127]. Sin embargo, el juxta-
la posición de “degenerado” y “no degenerado” en este contexto parece un poco
confuso, así que seguiremos la terminología de la teoría de la singularidad y llamaremos
estas álgebras de Lie determinantes de Poisson, con un modificador añadido para indicar un
clase particular de estructuras de Poisson y transformaciones de coordenadas.
El primer resultado sobre la linealización se debe a Arnol'd (ver el Apéndice 14 de
quien mostró que el álgebra de Lie no abeliana de 2 dimensiones es Poisson-
determinando en cualquier categoría. A continuación, se demostró en [127] que cualquier semisim-
ple Lie algebra is formally Poisson-determining; i.e. a Poisson structure
whose coe fficients are formal power series can be linearized by a formal
change of coordinates if the tangent Lie algebra is semisimple. An example
en el mismo artículo se mostró que la álgebra de Lie semisimple l(2,R) no es
C ∞ Poisson-determining. In [130], it was shown that no semisimple alge-
un bra de tipo no compacto con rango real mayor que 1 puede ser C∞ Poisson-
determinando.
Some examples of nonlinearizable transverse structures to symplectic
leaves in Lie–Poisson spaces are due to Givental’ (see the discussion in
[128]) y Damianou [26]. (Mar'ıBe ffa [10] y Ovsienko–Khesin [104],
by contrast, show linearizability of transverse structure in some infinite-
casos dimensionales relacionados con sistemas integrables.) Cahen–Gutt–Rawnsley
[17] encontró la no linealización en el elemento identidad para muchos grupos de Lie de Poisson

5
groups. (See Section 8.3.)
Positive results on Poisson-determinacy of semisimple algebras are due
to Conn. He showed first [21] that any semisimple algebra is analytically
Poisson-determining, and then [22] that any semisimple algebra of compact
tipo esC∞ Poisson-determining. These results were extended by Molinier
[100] a la suma de álgebras semisimple con R.
Hay una similitud sorprendente entre estos resultados y los de la
linearizability of actions of Lie algebras near a fixed point, so that it is
tentador intentar derivar los resultados anteriores utilizando los posteriores, cuyas pruebas
se puede llevar a cabo de manera bastante simple mediante un truco de promediado en el caso compacto,
junto con la continuación analítica para reducir el caso analítico no compacto
to the compact one.
A global linearization theorem for the duals of compact semisimple Pois-
son Lie groups (see Section 8.3) was obtained by Ginzburg and the author
in [49]. Another proof of this result was found by Alekseev [1] as part of
una teoría general que reduce las acciones de grupos de Poisson Lie a ordinarias
acciones de simetría.
Cuando la álgebra de Lie tangente es arbitraria, Wade [125] ha demostrado que
one can find a formal coordinate system which linearizes all the components
del tensor de Poisson que involucra generadores de la parte semisimple del Levi
decomposition ofg. Furthermore, Flato and Sternheimer (private commu-
nication) han señalado que el teorema de linealización en el semisim-
ple case itself represents a Levi decomposition for the infinite dimensional
Álgebra de Lie de brackets de Poisson de gérmenes, o de series de potencias formales, ya que el
funciones que desaparecen al menos cuadráticamente en un punto totalmente degenerado
un ideal "topológicamente nilpotente" con el álgebra de Lie tangente como cociente.
So far, though, no proof of an analytic orC∞ Teorema de linealización de Poisson
se ha encontrado utilizando esta idea.
There are by now many examples of Poisson-determining Lie algebras
which are not semisimple. See, for example [32].

3.3 Quadratic Poisson structures and their perturbations

Después de las estructuras de Poisson lineales, es natural observar las estructuras cuadráticas.
Es quizás sorprendente que estas estructuras también surjan "en la naturaleza,"
cuando las estructuras de Poisson en grupos de Lie de matrices se extienden a la matriz al-
gebras which contain them [8, 111]. Two basic questions arise–classification
y cuadratización. Se inició un estudio de la clasificación por Dufour–

6
Haraki [34] and Liu–Xu [85], and others. Quadratization (i.e. equivalence
to quadratic structures after a coordinate change) has been established in
algunas situaciones para estructuras con una parte cuadrática suficientemente agradable por Dufour
[33] y Haraki [56].

4 Global structure of regular Poisson manifolds

La clasificación de las estructuras de Poisson regulares en una variedad dada M puede
ser subdividido de la siguiente manera.

1. Clasifique las foliaciones en M.

2. Clasificar las estructuras de Poisson que tienen una foliación dada F como su simetría.
plectic leaf foliation.

(a) Which foliations arise from some Poisson structure?

(b) ¿Cuántas estructuras de Poisson 'diferentes' pueden tener la misma foliación?
¿ación por hojas simplécticas?

Problem 1 is obviously beyond the scope of this paper, so we will begin with
un particularF y tratar de clasificar todas las estructuras de Poisson de las cuales puede
surge. En su totalidad, el Problema 2 incluye la clasificación de sistemas simpáticos
los variedades, ya que M siempre puede ser foliado por una sola hoja. Esta clasificación
es completo solo para variedades de dimensión 2 ([102] para el caso compacto,
[52] para el caso no compacto), aunque nuestro conocimiento en dimensión 4 es
creciendo rápidamente a través de la combinación de construcciones flexibles [50] y
los resultados de rigidez que surgen de la teoría de Seiberg-Witten [117] (también ver el
revisión extensa de este documento [110].
Para las foliaciones de dimensión 2 en variedades compactas, estructuras de Poisson
which induce a given orientation on the leaves certainly exist, and they
se clasifican por sus clases en la segunda cohomología de de Rham a lo largo de
leaves [58]. One is thus led to the computation of this cohomology and
la determinación del cono convexo realizado por estructuras de Poisson. Algunos
los ejemplos se desarrollan en [58]. El problema de mayor dimensión es virtualmente
inalterado.

7
5 Cohomología y homología de Poisson
Lichnerowicz [80] observó que la operación [π,] del corchete de Schouten con
a Poisson tensor is a differential on multivector fields, and he began the study
de la teoría de cohomología resultante para variedades de Poisson. En particular, él
showed that the map from differential forms to multivector fields determined
byπ˜ :T∗ M→TM es un morfismo del complejo de de Rham a la
Complejo de Poisson. En el caso simpléctico, este mapa es un isomorfismo, pero
los espacios de cohomología de Poisson Hπi(M) son en general bastante diferentes de
la cohomología de de Rham.
i (M)
Como con la mayoría de las teorías de cohomología, el Hπ have interesting inter-
interpretaciones para los primeros valores de i.
The differential in degree zero assigns to each function its hamiltonian
vector field, soHπ0 (M) consiste en las funciones que conmutan de Poisson con
everything, the so-calledCasimir functionsonM. It is suggestive to think
of them as the “smooth functions on the space of symplectic leaves.” The
el siguiente diferencial mapea cada campo vectorial X a -LX π, así queHπ1 (M) es el espacio
de automorfismos de Poisson infinitesimales módulo campos vectoriales hamiltonianos,
o, algebraicamente, las derivaciones externas del álgebra de Poisson. Ginzburg
y Lu [48] presentan un argumento para pensar en Hπ1 (M) como el “espacio de vectores
fields on the space of symplectic leaves.” Next, we can interpretHπ2 (M)
como el espacio de deformaciones infinitesimales de la estructura de Poisson módulo
trivial deformations, whileHπ3 (M) recibe las obstrucciones para extender
deformaciones infinitesimales a deformaciones formales de orden cada vez más alto.
These cohomology spaces have also been known for some time to relate
a la cuantización de deformación de variedades de Poisson. Por ejemplo, Hπ2 (M)
es, al menos en el caso simpléctico, un espacio de parámetros para clasificar deformaciones
maciones de cuantización, mientrasHπ3 (M) receives the possible obstructions to
construyendo tales cuantizaciones. Kontsevich [69] muestra que estas relaciones
on the cohomology level are simply the shadow of a much deeper relation
entre la geometría de Poisson y las deformaciones de C∞ (M): el álgebra de mul-
Los campos de vectores, con diferencial cero, son cuasi-isomorfos al diferencial
álgebra de Lie graduada de operadores multidiferenciales, con su Gerstenhaber [46]
bracket, which controls the algebraic deformations.
Computation of Poisson cohomology is generally quite difficult. For reg-
ular Poisson manifolds, this cohomology reflects the topology of the leaf
space and the variation in the symplectic structure as one passes from one
hoja a otra. Algunas referencias sobre la computación de esta cohomología son

8
[47, 48, 120, 123, 138]
There is also a homology theory for Poisson manifolds, for which the
Las cadenas son formas diferenciales. El operador de frontera δ fue definido
geométricamente por Koszul [76] asiπ d−diπ , whereiπ es el operador de
contraction with the Poisson tensor. Brylinski [16] found an algebraic defini-
la acción del operador de frontera tomando el límite clásico del Hochschild
operador de frontera para un álgebra de Poisson cuantizada. Brylinski también observó
eso se convierte en el “dual de Hodge” de d cuando la variedad es simpática, si
uno imita la teoría de Hodge utilizando la estructura simpléctica en lugar de una
riemannian metric. Even when the manifold is not symplectic, the notion
de una forma poissoniana-armónica resulta ser notablemente útil; ver el final
de la Sección 8.5.
Huebschmann [59] estudió tanto la homología como la cohomología de Poisson desde
el punto de vista algebraico y mostró cómo podían encajar en el estándar
marco homológico de resoluciones.
Algunas identidades interesantes que relacionan la homología y cohomología de Poisson
ogy differentials were found by Bhaskara and Viswanath [13] (see also [120]).
More recently, the duality between the two theories has been studied in
profundidad por Evens–Lu–Weinstein [39], Huebschmann [61] y Xu [141]. Esto
el trabajo utiliza el hecho de que la cohomología de Poisson es un caso especial de álgebra de Lie.
cohomología (ver Sección 7.1), mientras que la homología de Poisson puede identificarse con
Cohomología de álgebras de Lie con coeficientes en la potencia exterior superior de la
el haz cotangente. Esta identificación establece relaciones cercanas entre el
teoría homológica y la teoría modular descrita en la Sección 9. También es
relacionado (ver [61]) con el uso de “hazes duales” en geometría algebraica
[57].

6 Completitud
Hay varias nociones interesantes de completitud en la geometría de Poisson.
Sus análogos cuánticos deberían estar relacionados con nociones de auto-adjunción.

6.1 Funciones completas

Se llamará completa a una función f: M → R en una variedad de Poisson M si
el campo vectorial hamiltoniano Xfis a complete vector field, i.e. if its flow is
definido globalmente.

9
 Cualquier función con soporte compacto es completa, y una métrica riemanniana
en una variedad Q es completa si y solo si la función de energía cinética correspondiente
enT∗ Qis es una función completa.

6.2 Complete manifolds

A Poisson manifoldMwill be called complete if every hamiltonian vector
field onMis complete.
Mis completo si y solo si cada hoja simpléctica está acotada en el sentido
que su cierre es compacto. De hecho, si cada hoja simpléctica está acotada, cada
la trayectoria de cada campo vectorial hamiltoniano está contenida en un conjunto compacto,
para que pueda ser continuado por toda la eternidad. Por el contrario, en cualquier hoja sin límite
pueden encontrar una secuencia de puntos que deja cada subconjunto compacto de M. Por
conectando estos puntos con caminos incrustados, redondeando esquinas y removiendo
intersecciones según sea necesario (un proceso que es fácil cuando la dimensión
deOis más de 2 y más difícil pero posible en el caso de 2 dimensiones), nosotros
can find a proper embeddingσ: [0,1)→Mwhose image is contained inO.
Now choose a 1-formαalong the image ofσso that−π˜(α(σ(t))) =σ 0 (t)
and construct a functionhonMwhose differential at eachσ(t) isα(σ(t)).
La trayectoria del campo vectorial hamiltoniano Xhwhich begins atσ(0) then
sigueσpero "alcanzas la infinita" en un tiempo finito, así queXhis not complete, and
por lo tanto, mis no están completos.

Un espacio de Lie–Poisson ∗ is
complete if and only ifgis the Lie algebra of a
compact group. The sufficiency of the compactness condition is evident. For
la necesidad, hacemos notar que cualquier grupo de transformaciones de una dimensión finita
sional vector space with all orbits bounded is contained in a set of operators
que está acotado, por lo tanto compacto, así que admite un invariante, positivo defi-
noche, producto interno. (Me gustaría agradecer a Marc Rieffel por proporcionarme
con este argumento.) Ifg∗ está completo, todas las órbitas coadyuvantes están acotadas,
so the coadjoint representation admits an invariant, positive definite, inner
product, and hence so does the adjoint representation. It follows thatgis
la álgebra de Lie de un grupo compacto. (Ver por ejemplo la Sección 21 de [99].)

6.3 Mapas completos

Se llamará mapa de Poisson completo si el pullback por φ de
cada función completa es completa.
Es un buen ejercicio demostrar que un mapa completo a R (con el cero
La estructura de Poisson, por supuesto, es una función completa, y que para verificar com-

10
la completud basta con mirar los tirones de funciones con soporte compacto
tions. También tenga en cuenta que una manifold de Poisson M es completa si y solo si cada
Poisson map with domainMis complete. The inclusion of each symplectic
una hoja en cualquier manifold de Poisson es un mapeo completo.
La composición de mapas de Poisson completos es completa, y el Poisson
category becomes “tamer” when we restrict to complete maps. For instance,
la imagen de un mapa de Poisson completo M→N es siempre una unión de simplecticos
tic leaves inN, so we do not have to deal with inclusions of arbitrary open
subsets. In this sense, complete maps between Poisson manifolds are some-
qué como mapas propios entre espacios topológicos localmente compactos. (Nota
that any proper Poisson map is complete.)
Para los siguientes dos ejemplos, nos referimos a [18] para más detalles.
IfN=g∗ es un espacio de Lie-Poisson, entonces cada mapa de Poisson M→N es el
mapa de momento para una acción hamiltoniana del álgebra de Lie gónM. Esto
la acción se integra a una acción hamiltoniana del correspondiente (conectado)
simply-connected Lie groupGif and only if the momentum map is complete.
Un corolario de este resultado es que los mapas de Poisson lineales (que son simplemente los duales
los homomorfismos de álgebras de Lie) son siempre completos.
Hay un resultado análogo para mapas de Poisson completos φ:M→N
cuando N es una variedad simpléctica. Cualquier mapa de Poisson de M a una simpléctica
manifold is a submersion, and the hamiltonian vector fields onMgenerated
por funciones que se han llevado de N a una distribución integrable en M.
When the mapφis complete, integration of these vector fields for compactly
las funciones soportadas en N pueden usarse para construir trivializaciones locales,
lo que muestra que φ:M→N es un haz de fibras con una estructura de Ehresmann plana

connection. The holonomy of this connection is an action of the fundamental

group ofNon the typical fibre ofφ. Thus, there is a correspondence between
mapas de Poisson completos a acciones simplecticasNand del fundamental
groupπ1 (N), más bien análogo a la relación entre mapas de Poisson completos a
g∗ y acciones de G. Es tentador pensar en la variedad simpléctica N
como el "dual del álgebra de Lie de π1 (N).”
The analogy above is not quite precise because one needs to choose a
basepoint inNto define the fundamental group and to specify the fibre
on which it acts. It is actually better to think of the flat connection on
φ:M→Nas corresponding to an action of the fundamental groupoidof
NonM. (Ver [55] para un tratamiento de conexiones planas en paquetes de vectores
como representaciones lineales de grupos fundamentales). Los casos donde N
el Lie–Poisson o el simplectico se subsumen entonces ambos bajo la teoría de

11
moment maps for actions of symplectic groupoids [97]. In fact, the correct
interpretation of arbitrary complete mapsM→Nas momentum maps
requires the use of such groupoids, which we discuss in Section 8.1.

6.4 Completeness of Poisson Lie groups

There is an independent notion of completeness for Poisson Lie groups. We
introduce estos grupos en la Sección 8.3, junto con la noción de vestimenta
transformation. A Poisson Lie groupGis said to be complete if the in-
finitesimal dressing transformations on the dual groupG∗ correspondiente a
los elementos del álgebra de Lie son campos vectoriales completos.
A theorem of Majid [95] establishes thatGis complete if and only if
G∗ está completo; sería bueno tener una prueba poisson-geométrica de esto
resultado.
También se puede preguntar cuándo G es completo justo como un manifold de Poisson. El caso
G=g∗ muestra que esto es bastante diferente de la completitud como un Poisson
Lie group; a Lie–Poisson space is always complete as a Poisson Lie group,
since the dressing action on its dual is trivial, but as we have seen earlier in
esta sección, tal espacio puede o no estar completo como un variedad.
There is more to be said about completeness and Poisson Lie groups, but
lo diferimos a la Sección 8.4, después de haber escrito más sobre estos grupos,
y sobre grupos simplecticos.

6.5 Completeness in Poisson cohomology classes

Motivado por el ejemplo de la clase modular (ver Sección 9 a continuación), es
interesante observar la completud de los campos vectoriales de Poisson que son
no hamiltoniano, observando las clases de cohomología de Poisson en Hπ1 (M) one at a
tiempo.
The zero class, i.e. the hamiltonian vector fields, always containssome
complete vector fields, e.g. the zero field, but this may not be true for
clases no nulas. Por ejemplo, en el cilindro "truncado" (−1,1)×T con
estructura simpléctica d ∧dθ, cada vector hamiltoniano completo y local
field is globally hamiltonian (Lemma 6.1 in [133]), so the nonzero classes in
Hπ1 (M) =Rdo not contain any complete vector fields at all. On the other
hand, on the full cylinderR×T, one can find both complete and incomplete
campos vectoriales en cada clase de cohomología.
On the productT2 ×Rcon coordenadas (θ1 , θ2 , t), we may compare the

12
Poisson structures
∂ ∂ ∂ ∂
∧ y (1 +t2 ) ∧ .
∂θ1∂θ2 ∂θ1∂θ2

En cada caso, hay un mapa natural τ de Hπ1sobre los campos vectoriales en el

t-axis, and completeness of a Poisson vector field depends only on the image
bajoτde su clase de cohomología. Para la primera estructura,τes sobreyectiva ya que
las hojas son todas isomorfas como variedades simplécticas; como resultado, hay
muchas clases de cohomología que no contienen campos vectoriales completos. Para el
second structure,τis zero because the symplectic volume varies from leaf
to leaf, so every Poisson vector field is complete.
Sería interesante encontrar una variedad sobre la cual los campos vectoriales de Poisson
are forced to be complete for reasons less trivial than in the previous ex-
amplio. Tal vez alguna propiedad "dinámica" de las hojas podría prevenir
trajectories from escaping to infinity in a finite time.

Álgebroides de Lie y grupos de Lie

Hasta ahora, cuando hemos pensado en un álgebra de Poisson A como un objeto con
dos estructuras, la estructura multiplicativa ha sido la principal, y
la estructura del álgebra de Lie secundaria. Pero es posible tomar lo opuesto
point of view, thinking ofAfirst of all as a Lie algebra. This Lie algebra
can in many cases be integrated to a Lie groupG(of infinite dimension),
y entonces podemos preguntar qué implica la estructura de álgebra asociativa en A
forG. We will limit our attention to the case of Poisson manifolds, referring
a [59] para álgebras de Poisson generales.
Como referencias de fondo para el material sobre álgebras de Lie y Lie
grupoidios en esta sección, sugerimos el libro de Mackenzie [92] y las notas
[18].

7.1 Álgebras de Lie

En lugar de trabajar directamente con la álgebra de Lie A=C∞ (M), introducimos un
Estructura de álgebra de Lie sobre R en el espacio E de 1-formas en una variedad de Poisson
Tal vez la fórmula

[a, b] =Lπ̃a b− Lπ̃b a−dπ(a, b)

13
whereπ˜ is the bundle map defined in Section 2. This bracket of 1-forms
tiene la propiedad [df, dg] = d{f, g}, por lo que el álgebra de Lie A/R aparece como un
subálgebra de E.
The bracket onEis related to multiplication by functions through the
identidad tipo Leibniz

[a,fb] =f[a, b] + (ρ(a)·f)b, (1)

donde ρ = π˜.
For any commutative associative algebraAoverR, an (R,A)Lie algebra
es una álgebra de Lie E sobre R que lleva la estructura adicional de un A-módulo,
together with a mapρfromEto the derivations ofAwhich is a homomor-
phism for both theA-module and Lie algebra structures, and which satisfies
identity (1) above. WhenA=C∞ (M) andEis theC∞ (M)-module of sec-
tions of a vector bundleE, the mapρis realized by a bundle map fromEto
TM, que también denotaremos como ρ. El corchete en secciones de E juntos
con el mapa ρ, llamado el ancla, se llama una estructura de álgebra de Lie en E.
Thus the cotangent bundleT∗ Mof un manifold de Poisson es un álgebra de Lie...
gebroid de manera natural. El corchete en formas 1 sobre M fue descubierto en-
dependently by many people, beginning apparently with Fuchssteiner [43].
La estructura de algebroid de Lie en T∗ Mwas first used in [24, 129].
También hay una conexión en la dirección opuesta entre el hombre de Poisson
folds y álgebras de Lie: el haz vectorial dual E∗ de cualquier álgebra de Lie
carries a natural Poisson structure [24, 25]. Like the Lie–Poisson structure
on the dual of a Lie algebra, it is determined by the brackets among a small
clase de funciones–en este caso, las funciones afines por fibra en E ∗ , el cual
are identified with sections ofEplus functions onM.
Además de los paquetes cotangentes de las variedades de Poisson, hay muchos otros
ejemplos interesantes de álgebra de Lie. El fibrado tangente TM de cualquier
manifold is a basic example, isomorphic as a Lie algebroid toT∗ MwhenM
is a nondegenerate (i.e. symplectic) Poisson manifold. Other examples are
subbundles integrables de TM, álgebras de Lie g (que son álgebra de Lie sobre
un punto), y paquetes de productos M×g para variedades M que llevan acciones de g,
con un soporte en C∞ (M,g) inducido por la acción.
Puede ser útil pensar en un algebroide de Lie E sobre M como un "nuevo tangente".
“paquete” para M. El álgebra ΩE (M) de formas alternantes multilineales sobre
Ethen desempeña el papel de formas diferenciales para M con esta nueva estructura.
De hecho, las propiedades del algebroide de Lie permiten definir un diferencial dE
sobre el álgebra ΩE (M) que lo convierte en un complejo cuya cohomología

14
se conoce como cohomología de álgebras de Lie. Casos especiales de esta cohomología
incluir la cohomología de de Rham (E=TM), cohomología de Poisson (E=T∗ M),
Cohomología de Chevalley de álgebra de Lie (Mis un punto), y de Rham hoja a hoja
cohomología de foliacione (E es el paquete de tangentes a lo largo de las hojas). De hecho,
la estructura de álgebrido de Lie en E es esencialmente equivalente al diferencial
dEon ΩE (M). De esta manera, un algebroide de Lie puede ser visto como un supermanifolio
(el espacio sobre el cual ΩE (M) is the functions) carrying an odd vector field
with square zero (the derivationdE ) [2, 119].

7.2 Grupos de Lie

Since an (R,A) Lie algebraEacts by derivations on the algebraA, a Lie
el grupo G cuya álgebra de Lie es E debería actuar en A mediante automorfismos, al menos
when some completeness condition is satisfied. In addition, theAmodule
la estructura enEdebería reflejarse en alguna otra estructura enG.
We shall limit ourselves here to the geometric situation whereEis the
espacio de secciones de un algebroide de Lie E sobre una variedad M. La C∞ (M)
la estructura del módulo onEis está "integrada" en el hecho de que Gis es en sí mismo un espacio de

sections of a “bundle”β:G→M, and the action ofGonC∞ (M) se convierte en

una acción por difeomorfismos de M, que se codifica geométricamente por un
segundo mapa α: G → M. La estructura en la variedad G es la de un Lie
grupoide.
Tobe precise, we recall first that asmall categoryGover abaseMis
un conjunto equipado con mapas de origen y destino β y α de G a M, un
sección de unidad: M→G, y una operación de multiplicación (x, y)→xy definida
en el conjunto G ∗G={(x, y) ∈G×G|β(x) =α(y)} de pares composables.
Estas operaciones satisfacen las condiciones que α(xy) = α(x), β(xy) = β(y),
(xy)z=x(yz) cuando cualquiera de los lados está definido, y los elementos de (M) en G
actúan como identidades para la multiplicación. Si todos los elementos de G tienen inversos
con respecto a estas identidades, G se llama un grupóide. Si G y M son
variedades, y los mapas estructurales son suaves (se requiere que α y β sean
submersions to insure that the domain of multiplication is a manifold), then
Gis llamado un grupoide de Lie.
El álgebra de Lie de campos vectoriales en un grupoide de Lie G contiene un distinto-
guished subalgebraEof fields which are left-invariant in a certain sense;
estas son las secciones de un haz vectorial E que se pueden identificar con el
normal bundle to (M) inG, and then with the kernel ofTα.Tβis then
un mapa ancla E→TM para un álgebra de Lie sobre E. Llamamos a esto la Lie

15
algebroide del grupoide de Lie G.
Como ya se sabe por el caso de los grupos (grupoides para los cuales M tiene
un elemento), puede haber grupoides no isomorfos que tengan álgebras de Lie isomorfas
algebroides: los grupoid es se distinguen por la homotopía cero y uno
grupos de sus α-fibras. Pero a diferencia de las álgebras de Lie (de dimensión finita), no todos
Los álgebras de Lie pueden ser integradas a grupoid de Lie [3]. Pueden ser integradas
[107] a grupos de Lie localizados, los candidatos naturales para un vecindario de
(M) en un grupoide de Lie.
En cualquier grupoide de Lie local G sobre M, el conjunto S(G) de subvariedades que
proyectar difeomóficamente sobre M bajo ambos α y β (se les llama bi-
las secciones) hereda una estructura de grupo [local] de la multiplicación en G. El
El álgebra de Lie de este grupo (definido en términos de sus subgrupos de 1 parámetro) puede
ser identificado con las secciones del álgebra de Lie de G.

8 Poisson groupoids and their actions

8.1 Symplectic groupoids
Hemos visto que el haz de cotangentes T∗ Un Mof de una variedad de Poisson tiene un
estructura de álgebra de Lie natural derivada del corchete de Poisson de funciones.
Si hay un grupoide de Lie G cuya álgebra de Lie es isomorfa a T∗ M, nosotros
diga que M es una variedad de Poisson no integrable.
Cuando las fibras de α están conectadas y son simplemente conexas (y a veces
even when they are not), the canonical symplectic structure onT∗ Minduces
estructura simpléctica onGa para la cual la multiplicación es simpléctica en
el sentido de que su gráfico {(z, x, y) | z=xy} es un subvariedad lagrangiana de
the productG×G×G. This property of multiplication implies that the
setLS(G) que consiste en las bisecciones lagrangianas es un subgrupo de S(G),
como su subgrupo HLS(G) que consiste en las bi-secciones lagrangianas obtenidas
desde (M) por deformaciones hamiltonianas. Las álgebras de Lie de estos dos
los grupos consisten en las 1-formas cerradas y exactas respectivamente. En particular,
HLS(G) es un grupo cuyo álgebra de Lie es C∞ (M)/R. Hay un natural
la acción de HLS(G) sobre M por automorfismos de Poisson que puede ser considerada
como "internos", ya que son generados por campos vectoriales hamiltonianos. Nos referimos
a [140] para una mayor discusión de estos grupos.
El mapa objetivo α:G→M de un grupoide simpático [local] es siempre un
Mapa de Poisson. Esto muestra que cualquier variedad de Poisson puede ser realizada como el
cociente de un manifold simpléctico por una foliación compatible con el simp-

16
corchetes de Poisson simplécticos. Tales “realizaciones simplécticas” fueron estudiadas por primera vez
por Lie [82], quien los utilizó para probar su “tercer teorema”: la existencia de un
grupo de Lie local correspondiente a cualquier álgebra de Lie de dimensión finita. Global
las realizaciones para variedades de Poisson arbitrarias fueron encontradas por primera vez por Karasev [64]

and the author [129].

8.2 Acciones de grupoides

Un grupoide G sobre un conjunto M puede actuar en un espacio Q equipado con un mapa
J:Q→M, que llamamos el mapa del momento de la acción. Por definición,
la acción es un mapa (x, q)→xqdesdeG∗Q={(x, q)|β(x) =J(q)}aQ
satisfaciendo la condición α(xq) =α(x) y las leyes habituales para una acción. Para
instancia, G actúa sobre sí mismo multiplicando por la izquierda con J=α y sobre M con
Jthe identity. A groupoid action ofGonQinduces a group action ofS(G)
onQ.
IfGis a symplectic groupoid for the Poisson manifoldM, aGaction on
Un manifolda de Poisson Q es una acción de Poisson si su gráfico {(r, x, q)|r=xq} es un
subvariedad coisotrópica de Q×G×Q. El mapa momento J:Q→M es entonces
un mapa de Poisson. Esta afirmación también es cierta para "acciones locales". Por el contrario,
tenemos el siguiente teorema de Dazord [27] y Xu [137].

Teorema 8.1 Sea G un grupo local simpléctico para M. Cada Poisson

mapJ:Q→Mis el mapa de momento para una acción local única de GonQ.
IfMis integrable andGis itsα-connected andα-simply connected (global)
symplectic groupoid, thenJis the moment map for an action ofGonQif
y solo si está completo. La acción es única.

This theorem unifies the two examples of complete Poisson maps which
fueron clasificados en la Sección 6. Cuando Mis es un espacio Lie-Poisson g ∗ ,GisT∗ G0 ,
dónde está G0es el grupo de Lie conectado y simplemente conexo cuya álgebra de Lie
Las acciones de Poisson de G corresponden a las acciones hamiltonianas de G.0
junto con sus mapas de momento. Cuando Mis es simpléctica, Gisπ(M),
thefundamental groupoidofMconsisting of homotopy classes of paths with
puntos finales fijos. Una acción de G es solo una conexión plana en un haz de fibras
overM; es una acción de Poisson cuando la fibra es una variedad de Poisson y el
Las traducciones paralelas son mapas de Poisson.
Para cerrar esta sección, señalar que Zakrzewski [142] ha introducido un
noción de morfismo entre grupos simpáticos tal que cada morfismo
induce un mapa de Poisson completo entre las variedades de Poisson subyacentes.

17
Los morfismos no son en general funtores ni siquiera mapeos entre el
los grupoides se consideran como categorías, pero son más bien relaciones de Poisson que
are lagrangian submanifolds compatible with the groupoid structures.

8.3 Poisson Lie groups and groupoids

Los grupoids simplécticos aparecieron en la década de 1980 con el trabajo independiente de
Karasev [64], Zakrzewski [142] y el autor [129], motivados por la cuantización-
tion problems. Meanwhile, a theory of Poisson Lie groups had been develop-
a través del trabajo de Drinfel'd [29] y Semenov-Tian-Shansky [111, 112]
on completely integrable systems and quantum groups. It was therefore
natural to unify these two theories with a notion of Poisson groupoid [131].
Grupoide de Poisson (para ser coherentes, probablemente deberíamos decir 'Lie de Poisson')
groupoid”) is a Lie groupoidGwith a Poisson structure for which the graph
de la multiplicación es un subvariedad coisotropa de G×G×G. Si G ocurre ser
si es simplecto, entonces el gráfico de la multiplicación está obligado a ser lagrangiano,
y tenemos un grupoide simpléctico como se definió arriba.
The baseMof a Poisson groupoidGhas a unique Poisson structure
haciendo que los mapas objetivo y fuente sean Poisson y anti-Poisson respectivamente,
pero esta estructura ya no determina el grupoide local como lo hacía en el
caso simpléctico. Por ejemplo, si M es un punto, G puede ser cualquier Lie de Poisson
grupo.
The infinitesimal object which encodes the local structure of a Poisson
un grupoide es un bialgebroido de Lie. Este es un algebroido de Lie E para el cual el dual
vector bundleE∗ también lleva una estructura de álgebra de Lie que es compatible
capaz de una cierta manera con eso. La condición de compatibilidad fue primero
determined by Mackenzie and Xu [93] and then reinterpreted by Kosmann-
Schwarzbach [71] in the language of Gerstenhaber algebras (a form of graded
Álgebra de Poisson). Mackenzie y Xu [94] demostraron que, si E es el álgebra de Lie
broid of a groupoidGwith connected and simply connectedα-fibres, then
a compatible Lie algebroid structure onE∗ always comes from a Poisson
groupoid structure onG.
Toda esta estructura fue descubierta mucho antes [29] en el caso de un
Grupo de Lie de Poisson G. La multiplicación en tal grupo es un mapa de Poisson desde
G×GtoG. The Poisson tensor vanishes at the identity element, so thatg∗
tiene la estructura de álgebra de Lie tangente. El grupo de Lie correspondiente, llamado
thedual Poisson Lie grouptoGand denoted byG∗ , is uniquely determined
solo localmente; esta ambigüedad se ignora frecuentemente en la literatura.

18
 La condición de compatibilidad entre las estructuras de álgebra de Lie en g y g∗
en álgebras de Lie biales, el dual de la segunda estructura es un álgebra de Lie
1-cociclo forgwith valores en la segunda potencia exterior de la representación adjunta
presentación. Esta condición tiene otra formulación muy útil: el directo
sumd=g⊕g∗ carries a unique Lie algebra structure for which the natural
una forma bilineal simétrica (en la que los sumandos son isotrópicos) es invariante
under the adjoint representation and the summands are subalgebras with the
estructuras dadas. El álgebra se llama el doble de la bialgebra de Lie, y
el grupo de Lie correspondiente (conectado, simplemente conectado) D es el doble
del grupo de Lie de Poisson G. Cualquier álgebra de Lie d provista de un invariante
symmetric bilinear form and a complementary pair of isotropic subalgebras
se llama triplete aManin; estos objetos son equivalentes a bialgebras de Lie.
It turns out [112] that an open dense subset ofD(equal to all ofDin
en algunos casos) lleva una estructura simpléctica natural, y que hay un Pois-
proyección del hijo de este conjunto abierto hacia G. Esta proyección se asemeja al objetivo
mapa de un grupoide simplectico, y de hecho Lu y Weinstein [90] han demostrado
que una ligera modificación de D produce una variedad simpléctica D que ˜ car-
ries a pair of “commuting” symplectic groupoid structures with basesGand
G∗ Este grupoide doble simpléctico es, en cierto sentido, un modelo geométrico para un
Hopf algebra, or “quantum group,” of which the bialgebra (g,g∗ ) representa
the classical limit. (Zakrzewski [142] replaces one of the the groupoid prod-
productos por un "coproducto" para modelar de manera más fiel la estructura del álgebra de Hopf.
En [135], el grupoide doble se utiliza en un análogo geométrico de parte de la
construction of knot invariants from Hopf algebras; in particular, many “set
theoretic solutions of the quantum Yang-Baxter equation” are found, an-
respondiendo a una pregunta de Drinfel'd [30]. Los dobles de bialgebroides de Lie generales
se discuten en la Sección 11.2.

8.4 Acciones del grupo de Poisson

Si G es un grupoide de Poisson sobre la variedad de Poisson M, una acción de G sobre a

Poisson manifoldQis aPoisson actionif its graph{(r, x, q)|r=xq}is a
coisotropic submanifold ofQ×G×Q. As in the symplectic case, the moment
mapJ:Q→Mis necesariamente un mapa de Poisson. Ya hemos examinado
tales acciones cuando Gis simpléctica; ahora veremos el caso donde Gis
un grupo.
Una acción de un grupo de Lie de Poisson G es una acción de Poisson cuando el
“action map”G×Q→Qis a Poisson map. Each elementxofGacts on

19
Qas un difeomorfismo, pero este difeomorfismo no es necesariamente un Poisson
mapa.
Recuerda que, cuando G tiene la estructura de Poisson cero (de modo que un Poisson
la acción es solo una acción por automorfismos de Poisson), ciertas acciones de Poisson
deGare distinguido como "hamiltoniano." Estos son generados por el momento
mapas tog∗ y inducir acciones del grupoídeo simpático T∗ Gofg∗ . Esto
la teoría de mapas de momento ha sido generalizada por Lu [86] al caso de
general Poisson Lie groups. Her momentum maps take values in the dual
grupoG∗ y existen para todas las acciones de Poisson en espacios simpáticos simplemente conexos
manifolds, and for many other actions as well, which we than call “hamil-
“toniano” como antes. Se pueden elevar estas acciones al grupoide simpléctico D ˜
deG∗ . Conversely, ifGis connected and simply connected, by Theorem 8.1
arriba, se puede integrar un mapa de Poisson arbitrario J:Q→G∗ a un local
˜
action ofDonQ, which is global ifJis complete. Now, ifGis complete as a
˜
El grupo de Poisson (ver Sección 6.4) D contiene una copia de G embebida de manera natural
en su grupo de bi-secciones, por lo que hay una acción inducida de G en Q. Estos
las bi-secciones no son lagrangianas, por lo que la acción no es mediante mapas de Poisson; más bien
es una acción de Poisson; de hecho, es la acción cuya función momento es J.
El mapa de identidad en G∗ is an important special case. The local action
ofGonG∗ generated by this map is called thedressing action. (The term
originado en la teoría de ecuaciones diferenciales completamente integrables (ver
[112]), en el que se usaron "transformaciones de vestimenta" para construir complicados
soluciones de las más simples.) Esta acción es global si y solo si G∗ es un
grupo de Poisson completo en el sentido de 6.4. Esto muestra que un Poisson
mapJ:Q→G∗ está garantizado que sea el mapa de momento de un Poisson global
action ofGonly ifJis a complete mapandGis a complete Poisson Lie
group.

8.5 Espacios homogéneos de Poisson

Las acciones de Poisson transitivas de un grupo de Poisson G fueron identificadas por Drin-
fel’d [31] with maximal isotropic subalgebras of the doubledof the Lie
bialgebra (g,g∗ ). This result has been applied by Karolinsky [66] to the
clasificación de espacios homogéneos de Poisson de álgebras de Lie semisimples compactas
grupos con la estructura de grupo de Poisson estándar. Lu [88] ha obtenido
una clasificación similar y, además, ha demostrado que estos homogéneos
los espacios corresponden a soluciones del llamado Yang dinámico clásico
Baxter equation[41]. It is quite intriguing that these solutions have also been

20
demostrado por Etingof–Varchenko [37] para producir ejemplos de grupoides de Poisson.
mientras que Lu [87] ha encontrado un enfoque más conceptual a la identificación de Drinfeld
tion by connecting Poisson homogeneous spaces directly to Lie algebroids.
Debería aparecer una teoría muy hermosa cuando las conexiones entre todos estos
los resultados están ordenados.
Los espacios homogéneos de grupos semisimple compactos conocidos como banderas
manifoldscarry very interesting homogeneous Poisson structures for which
las hojas simpáticas son las celdas de la descomposición de Bruhat (o Schubert)
Estas estructuras de Poisson han sido analizadas en gran detalle por
Evens y Lu [38, 89], que los utilizan para explicar geométricamente algunos hasta ahora
cálculos misteriosos de Kostant [74] de cohomología en álgebras de Lie y
variedades de banderas. En particular, muestran que las “formas armónicas” de Kostant
are precisely the forms which are Poisson-harmonic in the sense of Section 5.
Su trabajo sugiere la posibilidad de utilizar estructuras de Poisson como una herramienta para
estudiando la topología de espacios singulares. (Le debo este comentario a Sam Evens)
and J.-H. Lu.)

8.6 Mapas de momento vs. mapas de momento

Los términos “mapa de momento” y “mapa de impulso” se utilizan generalmente de manera inter-
intercambiablemente en la literatura, con diferentes autores prefiriendo cada uno de estos
two translations of Souriau’s [116] French term, “moment.” By contrast, in
this paper, we have used the terms in different ways. For us, a “momentum
el "mapa" es un mapa de Poisson J:Q→G∗ al dual de un grupo de Lie de Poisson G,
generando una acción hamiltoniana de GonQ. Por otro lado, un “momento
map” is a map to the base of a groupoid which is acting onQ; for a Poisson
La acción de un grupoide, el mapa del momento es un mapa de Poisson.
Estos dos objetos están relacionados de la siguiente manera. El mapa de momento
J:Q→G∗ para una acción hamiltoniana de un grupo de Poisson G también es el mo-
ment map for the corresponding Poisson groupoid action of the symplectic
acción del grupoide de˜ DonQ. Pero faltan algunas piezas del rompecabezas aquí.
Among the Poisson actions of a Poisson groupoidGonQ, there should be
algunos que se distinguen como "hamiltonianos," teniendo mapas de momento a
el grupoide dual de Poisson G∗ (definido como en el caso de grupos por integrar-
el dual del algebróide de Lie, cuando esto es posible). Estos momentos
maps should then generate actions onQby a symplectic groupoidDofG. ˜ ∗
Una primera mirada al problema sugiere que las acciones hamiltonianas pueden ser raras
para grupos que no son grupos.

21
Teoría modular
El grupo de automorfismos modulares de una álgebra de von Neumann A es un uno-
parameter group of automorphisms ofAwhich is generated by a weight of
A. Es el grupo trivial siempre que el peso sea un trazado. Este grupo fue
primero construido por Tomita, quien fue motivado por el caso especial de la
álgebra de convolución de un grupo localmente compacto, sobre el cual la función modular
la medida de discrepancia entre las medidas invariantes a la izquierda y a la derecha.
Una exposición de Takesaki hizo que el trabajo de Tomita fuera mucho más accesible,
y la teoría modular ahora se conoce como la teoría de Tomita–Takesaki. Nos re-
fer to Section V.3 of Connes’ book [23] for further references to this theory
y sus conexiones con el equilibrio KMS (Kubo–Martin–Schwinger)
condiciones en mecánica estadística.
The modular theory was a basic ingredient in Connes’ classification the-
ory for type III von Neumann algebras. In particular, Connes sharpened
la teoría al demostrar un "teorema de Radon–Nikodym" que expresa que el
modular automorphism groups generated by two different weights are equal
módulo automorfismos internos. Como resultado, cada álgebrá de von Neumann A
lleva un subtipo de un parámetro bien definido de su automorfismo exterior
grupo. Este grupo es trivial si y solo si A admite un rastro.
Cuando el álgebra A es conmutativa, cada peso es un rastro, y así el
el grupo de automorfismos modulares es siempre trivial. Sin embargo, Gallavotti y
Pulvirenti [44] observó que las ideas modulares podían aplicarse a lo clásico
mecánica estadística si una subálgebra A de los continuos de valor complejo
functionsC(M) en un espacio topológico M está equipado con un antisimétrico
corchete, con valores en C(M), que satisface algunos axiomas que se asemejan a los de un
El corchete de Poisson (sin incluir la identidad de Jacobi). Ellos definen un estado en
this context to be a probability measureµonMsuch thatAis contained
y denso enL2 (M, µ). La medida µ es el análogo clásico de un peso,
y el análogo de la condición de traza es que debería desaparecer cuando se aplica
(a través de la integración) a cualquier corchete de Poisson {f, g}.

Gallavotti and Pulvirenti then impose some further conditions so that

La forma bilinear sesquilineal µ{f, g} en A está definida y se realiza por un
densely defined operatorXµ for whichiXµ es esencialmente auto-adjunto. Xµ es un
derivation (generally unbounded); the main theorem in [44] states that this
derivation generates a one-parameter group of automorphisms ofL ∞ (M, µ)
proveniente de un grupo de automorfismos de un solo parámetro del espacio medible
(M, µ).

22
 El análisis que se acaba de describir se vuelve muy simple cuando M es una Poisson
el conjunto yA es el álgebra de funciones suaves.Xµ is a smooth Poisson
campo vectorial cuando µ es una medida suave. La construcción de este modular
el campo vectorial es local, así que no hay razón para exigir que µ sea de medida total
1, o incluso finito.
This vector fieldXµ was constructed by Koszul [76] for reasons totally
no conectado con álgebra de operadores o mecánica estadística (aunque él sí lo hizo
observe que, para el espacio de Lie–Poisson ∗ andµa translation-invariant
measure,Xµ el carácter modular infinitesimal se define como la traza de
la representación adjunta). Se utilizó como una herramienta para la clasificación de
Estructuras de Poisson por Dufour–Haraki [34] y otros [51, 85].
Stimulated by the modular theory in operator algebras, Weinstein [133]
redescubierto el campo vectorial Xµ by defining it as the operator which assigns
a cada función la divergencia con respecto a µ de su vector hamiltoniano
campoXf. He observed that a change inµsimply adds toXµ un hamiltoniano
campo vectorial, el análogo en términos de Poisson de una derivación interna. Así, el
clase deXµ el módulo de campos vectoriales hamiltonianos es un elemento bien definido
del espacio de cohomología de Poisson Hπ1 (M) which may be called themodular
clase de M.
La existencia del grupo de automorfismos modulares de una variedad de Poisson
Solo depende de si algún representante de la clase modular es un
campo vectorial completo. Algunos ejemplos donde esto puede o no ser el
los casos se dan en [133].
Cuando Mis una variedad simpléctica, el campo vectorial modular es cero cuando
µ es la medida simpléctica. Así, todos los campos vectoriales modulares son hamiltonianos.
nian, and when the correspondence “measure→hamiltonian function” is
inverso, se obtiene la medida de Gibbs asociada a cada sistema hamiltoniano
Este aspecto de la teoría KMS clásica fue investigado por Basart, Flato,
Lichnerowicz y Sternheimer [9] en el contexto de la simetría conformal
geometría y teoría de la deformación.
La clase modular para variedades de Poisson es un caso especial de una construcción
for Lie algebroids and groupoids [39] and even for (R,A) Lie algebras [61],
where it plays a key role in Poincar´e duality theory.

23
10 Autofractalidades y campos vectoriales de Liouville
Una dilatación de una variedad de Poisson es un par (φ, λ), donde λ es un valor no nulo
un número real y φ:M→M es un difeomorfismo tal que {φ∗ f,φ∗ g}=
λφ∗ {f, g} para todos f y g en C∞ (M). Equivalente, φ∗ π=λ−1 π.The di-
lasM forman un grupo, y la imagenF(M) de este grupo bajo el
projection to the multiplicative groupR× of nonzero real numbers will be
llamada la grupo fundamental de Murray–von Neumann de M, por analogía con
un invariante similar para álgebras de von Neumann (es el grupo denotado por
F(N) en la p. 457 de [23]), que a veces se menciona en ese tema sim-
actúa como el “grupo fundamental” de una álgebra de von Neumann. Esta similitud
was called to our attention by D. Shlyakhtenko [114].
F(M) contiene todos los números reales positivos cuando M admite un completo
Liouville vector field, i.e. a vector fieldXfor which [X, π] =−π. This
la definición extiende la que π proviene de una forma simpléctica ω, en
¿Qué casoX se requiere para satisfacerL?X ω=ω. La existencia de tal X
en el caso simpléctico es equivalente a la exactitud de la forma ω, y
en el caso de Poisson general a la exactitud de π como un cociclo para Poisson
cohomología. Por lo tanto, llamamos a una variedad de Poisson que admite un Liouville
campo vectorial exacto.
Although a compact symplectic manifold cannot be exact, examples in
[58, 136] show that compact Poisson manifolds can be exact. The meaning
de esta condición en la cuantificación de deformación se discute en [136], la última
sección de la cual también contiene algunos ejemplos de variedades para las cuales F(M)
is countable. For a translation-invariant Poisson structure on a torus, the
fundamental group turns out to be closely related to the group of units in
los enteros de un campo numérico algebraico [98].
Hay una noción relacionada para las variedades de Poisson M que tienen anulación
modular class, and admitting only constant Casimir functions. Such a man-
ifold admite un rayo único de medidas invariante suaves. Para cada Poisson
automorfismo φ de M, existe un número real positivo único ν tal que,
for any smooth invariant measureµonM,µ(φ∗ f) =νµ(f) para todo fin
C ∞ (M). The set of all suchνasφranges over the automorphism group is
el grupo de escalado de M.
Finally we mention another connection between the fundamental group
y el grupo de automorfismos modulares. Si (φ, λ) es una dilatación de M y µ
es una medida suave en M, entonces φ Xµ =λ
∗ Xφ µ , para
-1 que
∗ φ multiplique
∗

the modular class byλ−1 Una versión infinitesimal de este argumento muestra

24
que, si X es un campo vectorial de Liouville, entonces [X, Xµ ] +Xµ es un hamiltoniano
campo vectorial. Estos hechos se pueden utilizar para demostrar la no existencia de no triviales.
dilataciones o campos vectoriales de Liouville bajo ciertas condiciones, como en el
ejemplo siguiente.
On the Poisson Lie groupSU(2) with the Bruhat–Poisson structure, the
el campo vectorial modular para cualquier medida es no nulo y tangente al círculo
de matrices diagonales. El período de este campo vectorial es un invariante bajo
difeomorfismos; por lo tanto, −1 es el único elemento no trivial posible de la
grupo fundamental (se realiza mediante el mapa de inversión de grupo, como es el caso
en cualquier grupo de Poisson-Lie), y no hay campos vectoriales de Liouville. Un similar
el argumento se aplica a la estructura de Poisson reducida en el manifioldo de banderas S2 .
This structure has the form{x, y}=x 2+y2 in local coordinates near one
punto; el campo vectorial modular linealizado tiene una rotación con período 2π.
J.-H. Lu (comunicación privada) ha demostrado que estos argumentos pueden ser
generalizado a todos los grupos compactos con estructura de Bruhat–Poisson. Ella
prueba que, si la clase modular no es cero, y uno de sus representantes
actúa semisimplemente sobre los campos multivectoriales en M, entonces un campo vectorial de Liouville
no puede existir. (Un lema para esta prueba es que un campo vectorial modular siempre
actúa trivialmente en la cohomología de Poisson.) Luego utiliza una descripción explícita
[39] de los campos vectoriales modulares de las estructuras de Bruhat–Poisson para demostrar que
actúan semi-simplemente.
Es interesante contrastar los resultados anteriores con el resultado de Sheu
(comunicación privada) que los grupos de Lie Bruhat–Poisson SU(n), todos
admitir dilataciones de Poisson continuas con todos los factores de escalado posibles. (Estos
los mapas son homeomorfismos que son dilataciones simplecticas en toda la simplectica
hojas.) No se sabe si tales dilataciones existen para el Bruhat–Poisson
estructuras en la otra serie de grupos clásicos.

11 Generalizations
Hay dos maneras en las que la noción de variedad de Poisson puede ser útilmente
generalizado. El primero es mantener la idea del álgebra de Poisson, pero permitir que el
underlying space to be something other than a differentiable manifold. The
segundo es alterar los axiomas para el propio corchete de Poisson.

25
11.1 Espacios de Poisson

The derivation property of the operations{, h}on a Poisson algebraAsug-

sugiere que, cuando A es un álgebra de funciones sobre un espacio, este espacio debería
tiene algún tipo de 'estructura diferencial'. Incluso en una variedad de Poisson,
sin embargo, no es realmente necesario diferenciar excepto a lo largo del sim-
plectic leaves. This suggests that there may be useful notions of “Poisson
topological space,” or even “Poisson measurable space,” specified by Pois-
son álgebras que son densas en las funciones continuas o medibles en
un espacio topológico o de medida M. Ya hemos mencionado (ver Sección
9) trabajar en esta dirección por Gallavotti y Pulvirenti [44].
Los espacios topológicos de Poisson parecen ocurrir de manera natural como límites clásicos de
C ∗ -algebras. For instance, Sheu [113] constructs an algebra of functions on
a quantumSU(2) by deforming a Poisson algebra of continuous functions on
el SU(2) clásico. Landsman [78] ha introducido una noción de espacio de Poisson
diseñado para servir a los propósitos de la mecánica clásica y cuántica.
A guide to the measurable case, which should provide classical models
for some von Neumann algebras, may be the notion of “foliated space” used
por Moore y Schochet [101] en su estudio de la teoría de índices para foliaciones.
For example, the unionM0 de las hojas simplécticas acotadas en un Poisson
el manifold (ver Sección 6.2), es decir, la parte "completa" de M, por lo general no es ni
no abierto ni cerrado, pero es medible. Más generalmente, debería haber un
descomposición de cualquier variedad de Poisson en 'componentes ergódicos' de su
foliación de hojas simplécticas. Estos componentes generalmente serán medibles
rather than smooth spaces.
There are also singular spaces arising from compact group actions. For
ejemplo, la noción de “espacio simplectico estratificado,” desarrollado por Lerman
y Sjamaar [115] desempeña un papel esencial en la teoría de la reducción por com-
acciones del grupo de pacto (ver [68]). Una aplicación importante de esta teoría es de
espacios de módulos de conexiones (ver el artículo de Huebschmann [60]). Egilsson
[36] ha examinado los espacios cociente de R2nby symplectic circle actions
y se ha demostrado que, en ciertos casos, estas variedades de Poisson singulares no pueden
be embedded into Poisson manifolds. A general study of Poisson algebraic
geometry was begun by Berger [12], and Saint-Germain [109] has applied
the algebraic point of view to Lie–Poisson geometry for nilpotent algebras,
while Polishchuk [106] has considerably developed the theory in the complex
caso, donde la rigidez habitual asociada con variedades complejas compactas
conduce a resultados de clasificación muy sólidos. Finalmente, Farkas y Letzer (ver fa-

26
le:ring y varios otros artículos recientes de Farkas estudian las estructuras de Poisson
on commutative and noncommutative rings.

11.2 Other brackets

En el mismo artículo [67] donde caracterizó las estructuras de Poisson, Kirillov
también se introdujeron corchetes más generales sobre secciones de haces de líneas. Estos
structures, dubbedJacobi structuresby Lichnerowicz [81], include as special
estructuras de Poisson, estructuras de contacto, estructuras sinópticas conformes
texturas y foliaciones con hojas de todos estos tipos. Surgen naturalmente
de las estructuras de Poisson como cocientes por los flujos de los campos vectoriales de Liouville
(ver la Sección 10 arriba). Su estructura local fue analizada en [28].
En el estudio geométrico de sistemas completamente integrables, un aspecto importante
el papel ha sido desempeñado por pares de estructuras de Poisson que son compatibles
en el sentido de que su suma es nuevamente una estructura de Poisson. La teoría de así-
Las estructuras bi-hamiltonianas han sido ampliamente desarrolladas. Nos referimos
a los documentos de Kosmann-Schwarzbach y Magri [73] y Vaisman [121]
para la discusión de las estructuras de Poisson–Nijenhuis relacionadas desde un punto de vista
close to that of this survey. This papers also include references to earlier
trabajar en estructuras bi-hamiltonianas.
Aunque los cocientes de las variedades de Poisson por grupos de automorfismos de Poisson
los homomorfismos (e incluso las acciones de grupos de Poisson) heredan estructuras de Poisson, pasan-
llevar a subvariedades nos lleva a una categoría más grande, la de estructuras de Dirac.
Hablando en términos generales, una estructura de Dirac es una foliación singular junto con un
Estructura de Poisson en el espacio de hojas. Más precisamente, una estructura de Dirac es
definido por un subhaz L de TM⊕T∗ cuál es el isotrópico máximo para el
natural symmetric bilinear form, and which satisfies an integrability condi-
ción descubierta por Courant [25]. Cuando Lis es el gráfico de un mapa de T∗ M
toTM, el mapa es−π˜ para una estructura de Poisson π. Cuando L es el gráfico de
un mapa de TM a T∗ M, el mapa proviene de una 2-forma cerrada. En general,
la proyección de L a T∗ Define una foliación característica (singular), con
un corchete de Poisson definido en el espacio de hojas. La proyección de L a TM
define otra foliación singular cuyas hojas llevan cerradas (pero posiblemente
formas 2 degeneradas.
La condición de integrabilidad de Courant es que las secciones de L deben ser
cerrado bajo un corchete natural que él construyó sobre las secciones de
TM⊕T∗ M. Esto sugiere que la teoría de las estructuras de Dirac debería ser un
caso especial de una versión de álgebra de Lie de la teoría de Poisson homofílica de Drinfel’d

27
espacios homogéneos (ver Sección 8.5). Sin embargo, aunque el par (TM, T∗ M)
con el corchete habitual en campos vectoriales y el corchete cero en 1-formas,
forma un bialgebroid de Lie, el corchete de Courant satisface la identidad de Jacobi
solo módulo a un "término de coborde." Así, el doble de un bialgebroid de Lie
no es un álgebra de Lie, sino más bien un nuevo tipo de objeto llamado aCourant
algebroid. The theory of these objects, resulting in a Lie algebroid version
de tríos de Manin y espacios homogéneos de Poisson (de grupoides de Poisson)
fue desarrollado por Liu, Weinstein y Xu [83, 84]. Además, Roytenberg
y Weinstein [108] han interpretado los corchetes del álgebra de Courant como fuertemente
estructuras de álgebra de Lie de homotopía [77], una clase general de operaciones de corchete
en complejos, que satisfacen la identidad de Jacobi módulo términos de coborde.
Los corchetes de Poisson que no satisfacen del todo la identidad de Jacobi también son
bastante relevante para el estudio de sistemas mecánicos con con-
straints. See, for example, the work of Koon and Marsden [70].
Otra variación interesante sobre la noción de álgebra de Poisson es la de
álgebra de Poisson graduada, con varias condiciones de signo para la conmutatividad
del producto y la anti-conmutatividad del corchete. Esto conduce tanto a
Álgebras de Gerstenhaber [62, 71, 141] y otros tipos de super-Poisson
algebras and manifolds [19].
Finalmente, está la idea de Nambu [103] de describir sistemas físicos
por un corchete antisymétrico en más de dos variables en el álgebra de
observables. Tanto los aspectos clásicos como cuánticos de esta mecánica de Nambu
han sido perseguidos vigorosamente en los últimos años; vea la encuesta de Flato, Dito,
and Sternheimer [42].

12 Cosas y detalles
Esta sección recopila algunos ejemplos y preguntas misceláneas sobre Pois-
son geometría.
En respuesta a una pregunta planteada en una versión temprana de este documento, Za-
Krzewski [144] utilizó ideas de [143] para construir ejemplos de estructuras de Poisson
tures en cualquierR2nteniendo
solo dos hojas simplecticas: el origen y su com-
Resulta que una forma sencilla de obtener algunos de los ejemplos de Zakrzewski
es comenzar con la estructura simpléctica estándar en R2n y luego realizar
una inversión a través de la esfera unitaria. La estructura de Poisson resultante en
the complement of the origin turns out to have coefficients which are quar-
polinomios tic y que, por lo tanto, se extienden suavemente sobre todo el espacio.

28
Using the inversion again, one can easily extend these structures to give
Las estructuras de Poisson en las esferas de dimensión par con solo dos símpléc
tic leaves: a point and its complement. It should be interesting to study
these examples further, finding their Poisson cohomology, quantizations, etc.
The examples above are special members of the class of Poisson man-
ifolds para los cuales la descomposición en hojas simplécticas es localmente finita.
The Bruhat–Poisson structures on flag manifolds (see Section 8.5 above) are
ejemplos de tales estructuras, y otros pueden ser construidos sobre vari-
eties, by pushing forward a nondegenerate bivector field on the Lie algebra
de un toro complejo. ¿Son estos ejemplos "típicos" en algún sentido? ¿Hay algún
¿una clase genérica interesante de tales estructuras de Poisson? ¿Cómo se re-
relacionados con las variedades simplecticas estratificadas de Sjamaar–Lerman [115]? Sam
Evens and J.-H. Lu (private communication) have suggested that Poisson
las estructuras con una descomposición de hojas simplécticas localmente finitas pueden ser útiles
herramienta geométrica para estudiar la topología de los espacios sobre los que se encuentran
definido, siendo [38] solo un ejemplo de modelo.
There seems to be a close relation between the Atiyah–Guillemin–Stern-
berg [7, 53] theorem on the convexity properties of momentum maps and
the Duistermaat–Heckman theorem [35] on the variation of the symplectic
estructura de los espacios reducidos con el valor del mapa de momento. (Ver Kir-
wan’s survey [68] for generalizations to actions of nonabelian groups.) Both
los teoremas se refieren a una acción hamiltoniana de un toro en una variedad simpléctica
foldM. Lo primero se refiere al mapa de momento M→t∗ , mientras que el segundo
concierne al mapa "dual" M→M/T. Dado que la variación de la cohomología
las clases de las formas simplécticas en las hojas de un manifold de Poisson están relacionadas con
Poisson cohomology, it may be that ideas of Morita equivalence [48, 137]
podría usarse para establecer cierta dualidad entre estos dos resultados.
En el artículo [118], Terng demostró un teorema de convexidad para proyecciones.
of isoparametric submanifolds of euclidean spaces on their normal spaces.
Este teorema en geometría riemanniana incluye (y fue sugerido por) el
teorema de convexidad para proyecciones de órbitas coadjuntas de grupos de Lie compactos
sobre el dual de una subálgebra de Cartan. ¿Hay alguna geometría de Poisson?
¿detrás del teorema de Terng? ¿Hay un teorema que abarque tanto el de Terng?
resultados y los teoremas de convexidad general para mapas de momento?
En [20], se utiliza una modificación de la estructura de Lie-Poisson para construir
conexiones con holonomía interesante. ¿Cuáles son las estructuras geométricas de Poisson?
¿Implicaciones de esta construcción?

29
13 Agradecimientos
Me gustaría agradecer a Mark Gotay por solicitar este artículo y obligar así
me para revisar este amplio tema, y por sus comentarios sobre el manuscrito. Yo
he aprendido sobre geometría de Poisson de demasiadas personas como para enumerarlas aquí, pero
Me gustaría agradecer a algunas personas por su ayuda oportuna en la preparación.
de este artículo y por sus comentarios sobre el manuscrito: David Ben-Zvi,
Johannes Huebschmann, Francis Kirwan, Yvette Kosmann-Schwarzbach
Jiang-Hua Lu, Kirill Mackenzie, Jerry Marsden, Tudor Ratiu, Marc Rief-
fel, Izu Vaisman, Ping Xu. y el árbitro.

Referencias
[1] Alekseev, A.Y., On Poisson actions of compact Lie groups on sym-
variedades plecéticas, J. Diff. Geom.45(1997), 241-256.

[2] Alexandrov, M., Schwarz, A., Zaboronsky, O., y Kontsevich, M.

The geometry of the master equation and topological quantum field
teoría, Int. J. Mod. Phys. A12(1997), 1405-1429.

[3] Almeida, R., y Molino, P., Suites d’Atiyah y foliaciones transversales

salement complets, C.R. Acad. Sci. Paris 300 (1985), 13-15.

[4] Abraham, R., Marsden, J.E., y Ratiu, T., Variedades, análisis tensorial
sis, y aplicaciones, Addison Wesley, Reading, 1983.

[5] Arnol’d, V.I., Pequeños denominadores III. Pequeños denominadores y prob-

lemas de estabilidad del movimiento en mecánica clásica y celeste, Rus.
Matemáticas. Encuestas 18 núm. 6 (1963), 85-191.

[6] Arnold, V.I.,Mathematical methods of classical mechanics, Graduate

Texts in Math.60, Springer-Verlag, New York, 2nd edition (1989).

[7] Atiyah, M.F., Convexidad y Hamiltonianos conmutantes, Bull. Londres

Math. Soc.14(1982), 1-15.

[8] Balinsky, A., y Burman, Yu., Brackets de Poisson cuadráticos y el

Teoría de Drinfeld para álgebras asociativas, Lett. Math. Phys. 38 (1996),
63-75.

30
 [9] Basart, H., Flato, M., Lichnerowicz A., and Sternheimer, D., Defor-
la teoría de la información aplicada a la cuantización y la mecánica estadística, Lett.
Math. Phys.8(1984), 483-494.

[10] Be ffa, Gloria Mar´ı, Una estructura transversal para el corchete de Lie–Poisson
on the dual of the Virasoro algebra,Pacific J. Math.163(1994), 43-72.

[11] Berezin, F.A., Algunas observaciones sobre el sobre asociado de un Lie

álgebra, Funct. Anal. Appl. 1(1967), 91-102.

[12] Berger, R., Geometría algebraica de Poisson, C.R. Acad. Sci. París
S´er. A289(1979), 583-585.

[13] Bhaskara, K. H., and Viswanath, K.,Poisson Algebras and Poisson

Variedades, Notas de Investigación de Pitman en Matemáticas, Longman Ciencia-
tific & Technical, Harlow, 1988.

[14] Bkouche, R., Id´eaux mous d’un anneau commutatif. Applications aux
anneaux de fonctions,C.R. Acad. Sci. Paris260(1965), 6496-6498.

[15] Block, J., y Getzler, E., Cuantización de folaciones, Actas de

the XXth International Conference on Differential Geometric Methods
En Física Teórica, Vol. 1, 2 (Nueva York, 1991), World Scientific,
River Edge, NJ, 1992, 471–487.

[16] Brylinski, J.-L., Un complejo diferencial para variedades de Poisson, J. Di ff.

Geom.28(1988), 93-114.

[17] Cahen, M., Gutt, S., y Rawnsley, J., No linealidad del Iwa-
sawa Estructura de Lie de Poisson. Lett. Math. Phys. 24 (1992), 79-83.

[18] Cannas da Silva, A., Hartshorn, K., and Weinstein, A.,Lectures

on Geometric Models for Noncommutative Algebras(in preparation),
available at [Link]
[19] Cantrijn, F., e Ibort, L. A., Introducción a las supermanifolds de Poisson,
Diff. Geom. Appl.1(1991), 133-152.

[20] Chi, Q.-S., Merkulov, S.A., y Schwachh¨ofer, L.J., Sobre la existencia

de una serie infinita de holonomías exóticas, Invent. Math.126(1996),
391-411.

31
[21] Conn, J.F., Formas normales para estructuras de Poisson analíticas, Anales de
Math.119(1984), 576-601.

[22] Conn, J.F., Formas normales para estructuras de Poisson suaves, Anales de
Math.121(1985), 565-593.

[23] Connes, A., Geometría No Conmutativa, Academic Press, San Diego,

1994.

[24] Coste, A., Dazord, P., et Weinstein, A., Groupo¨ıdes symplectiques,

Publicaciones del Departamento de Matemáticas, Universidad Claude
Bernard–Lyon I2A(1987), 1-62.

[25] Courant, T.J., variedades de Dirac, Trans. A.M.S. 319 (1990), 631-661.

[26] Damianou, P.A., Estructuras de Poisson transversales de órbitas coadjuntas,

Bull. Sci. Math.120(1996), 195-214.

[27] Dazord, P., Grupos simplecticos y tercer teorema de Lie

“no lineal,” Notas de Lectura en Matemáticas 1416 (1990), 39-74.

[28] Dazord, P., Lichnerowicz, A., y Marle, C.-M., Estructura local de

vari´et´es de Jacobi,J. Math. Pures Appl.70(1991), 101-152.

[29] Drinfel’d, V.G., Hamiltonian structures on Lie groups, Lie bialgebras,

y el significado geométrico de las ecuaciones de Yang-Baxter clásicas,
Matemáticas Soviéticas. Dokl.27(1983), 68-71.

Drinfel’d, V.G., Sobre algunos problemas no resueltos en la teoría de grupos cuánticos

en Grupos Cuánticos (Leningrado, 1990), Notas de Clase en Matemáticas 1510
(1992), 1-8.

[31] Drinfel’d, V.G., Sobre espacios homogéneos de Poisson de Poisson-Lie

grupos, Teor. Math. Phys.95(1993), 524-525.

Dufour, J.-P., Linealización de ciertas estructuras de Poisson, J. Dif.

Geom.32(1990), 415-428.

[33] Dufour, J.-P., Cuadraturación de estructuras de Poisson a partir de

tique diagonale,S´eminaire Gaston Darboux de G´eom´etrie et Topologie
Diff'erentielle, 1992–1993 (Montpellier), Univ. de Montpellier, (1994)
10-13.

32
[34] Dufour, J.-P., y Haraki, A., Rotacionales y estructuras de Poisson
cuadráticas, C. R. Acad. Sci. París 312 (1991), 137-140.

[35] Duistermaat, J.J., y Heckman, G.J., Sobre la variación en el co-

homología de la forma simplectica del espacio de fase reducido, Invent.
Math.69(1982), 259-268.

Egilsson, A.S., Sobre la incrustación del espacio de resonancia 1 : 1 : 2 en un Poisson

variedad, Anuncios de Investigación Electrónica. Soc. Amer. Math. 1(1995), no. 2,
48-56 (electrónico).

[37] Etingof, P., y Varchenko, A., Geometría y clasificación de so-

soluciones de la ecuación dinámica clásica de Yang-Baxter, preimpresión q-
alg/9703040.

[38] Evens, S., y Lu, J-H., formas armónicas de Poisson, el har-

formas monicas, y elS1 -equivariant cohomology ofK/T, preprint,
1997.

[39] Evens, S., Lu, J.-H., and Weinstein, A., Transverse measures, the
clase modular y un emparejamiento de cohomología para álgebras de Lie, preimpresión
1996.

[40] Farkas, D.R., y Letzter, G., Teoría de anillos desde la geometría simpléctica,
J. Pure Appl. Alg.125(1998), 155-190.

[41] Felder, G., Teoría de campos conforme y sistemas integrables asociados a

curvas elípticas. Proc. I.C.M., Vol. 2 (Zúrich, 1994), Birkhäuser, Basilea
1995, 1247-1255.

[42] Flato, M., Dito, G., y Sternheimer, D., mecánica de Nambu, n-ario op-
eraciones y su cuantización, Teoría de Deformaciones y Simplectic
Geometría, S. Gutt, J. Rawnsley y D. Sternheimer, eds., Matemática
ical Physics Studies20, Kluwer, Dordrecht, 1997, 43-66

[43] Fuchssteiner, B., La estructura del álgebra de Lie de Hamiltonianos degenerados

y sistemas bi-Hamiltonianos, Progr. Teor. Fís. 68 (1982), 1082-
1104.

[44] Gallavotti, G., y Pulvirenti, M., Condición KMS clásica y

Teoría de Tomita-Takesaki, Comm. Math. Phys. 46(1976), 1-9.

33
[45] Gel’fand, I.M., y Dikii, L. A., Una familia de estructuras hamiltonianas
conectado con ecuaciones diferenciales no lineales integrables,
sian),Akad. Nauk SSSR Inst. Prikl. [Link] No. 136 (1978);
Traducción al inglés en los Documentos recopilados de Izrail M. Gelfand, S.G.
Gindikin, ed., Springer-Verlag, Nueva York (1987), vol 1, pp. 625-646.

[46] Gerstenhaber, M., Sobre la estructura de cohomología de un anillo asociativo,

Annals of Math.78(1963), 267-288.

[47] Ginzburg, V.L., Cohomología de Poisson equivariante y un espectro se-

secuencia asociada a un mapa de momentos, preimpreso 1996.

[48] Ginzburg, V.L., y Lu, J.-H., cohomología de Poisson de Morita-equi-

valent Poisson manifolds,Duke Math. J.68(1992), A199-A205.

[49] Ginzburg, V.L., y Weinstein, A., estructura de Lie-Poisson en algunos

Grupos de Lie de Poisson Revista A.M.S. 5(1992), 445-453.

[50] Gompf, R. E., Una nueva construcción de variedades simplécticas, Ann. de

Math.142(1995), 527-595.

[51] Grabowski, J., Marmo, G., y Perelomov, A. M., Estructuras de Poisson:

towards a classification,Modern Phys. Lett. A8(1993), 1719-1733.

[52] Greene, R. E., y Shiohama, K., Difemorfismos y volumen-

preservando embeddings de variedades no compactas. Trans. Amer. Math.
Soc.255(1979), 403-414.

[53] Guillemin, V., y Sternberg, S., Propiedades de convexidad del momento

mapping,Invent. Math.67(1982), 491-513.

[54] Guillemin, V., y Sternberg, S., Técnicas Simplecticas en Física,

Cambridge Univ. Press, Cambridge, 1984.

[55] Guruprasad, K., Huebschmann, J., Je ffrey, L., y Weinstein, A.

Group systems, groupoids, and moduli spaces of parabolic bundles,
Duke Math. J.89(1997), 377-412.

[56] Haraki, A., Cuadraturización de ciertas estructuras de Poisson, J. Lon-

don Math. Soc. (por aparecer).

[57] Hartshorne, R., Geometría Algebraica, Springer-Verlag, Nueva York, 1977.

34
[58] Héctor, G., Macías, E., y Saralegi, M., Lemme de Moser feuil-
let´e et classification des vari´et´es de Poisson r´eguli`eres,Publicacions
Matemáticas33(1989), 423-430.

[59] Huebschmann, J., cohomología de Poisson y cuantización, J. Reine

Angew. Math.408(1990), 57-113.

[60] Huebschmann, J., Poisson structures on certain moduli spaces for bun-
dles en una superficie, Ann. Inst. Fourier (Grenoble) 45 (1995), 65-91.

Huebschmann, J., Dualidad para álgebras de Lie-Rinehart y el modular

clase, preimpresión dg-ga/9702008.

[62] Huebschmann, J., álgebras de Lie-Rinehart, álgebras de Gerstenhaber,

and Batalin-Vilkovisky algebras, preprint dg-ga/9704005,Ann. Inst.
Fourier (Grenoble) (próximamente).

[63] Jacobi, C.G.J., Lecciones sobre Dinámica, dictadas en la Universidad

sit¨at en Königsberg en el semestre de invierno de 1842-1843 y después de un
Cuadernos elaborados por C.W. Borchardt, publicados por A. Clebsch,
segunda edición revisada (1884), Chelsea, Nueva York, 1969.
[64] Karasev, M.V., Análogos de objetos de la teoría de grupos de Lie para no lineales
Corchetes de Poisson, Math. USSR Izvestiya 28, (1987), 497-527.

[65] Karasev, M.V. y Maslov, V.P., Corchetes de Poisson no lineales: Geom-

Prueba y Cuantificación, Traducciones de Monografías Matemáticas, v.
119, Amer. Math. Soc., Providence, 1993.

[66] Karolinsky, E., The classification of Poisson homogeneous spaces of

компактные группы Ли Пуассона (на русском), Математическая физика, Анал-
ysis, y Geometry3(1996) 274-289.

[67] Kirillov, A. A., Local Lie algebras,Russian Math. Surveys31:4(1976),

55-75.

[68] Kirwan, F., Mapas de momento y reducción simpléctica (este volumen).

[69] Kontsevich, M., Deformation quantization of Poisson manifolds, I,

preprint (q-alg/9709040) 1997.

[70] Koon, W.-S., y Marsden, J.E., La reducción de Poisson de noholo-

nomic mechanical systems,Reports on Math Phys.(to appear).

35
[71] Kosmann-Schwarzbach, Y., Álgebras de Gerstenhaber exactas y bialgebras de Lie
gebroides, Acta Appl. Math. 41 (1995), 153-165.

[72] Kosmann-Schwarzbach, Y., Lie bialgebras, Poisson Lie groups, and

dressing transformations,Lect. Notes. in Physics495(1997).

[73] Kosmann-Schwarzbach, Y., y Magri, F., Estructura de Poisson–Nijenhuis

tures, Ann. Inst. H. Poincaré Phys. Théo. 53 (1990), 35-81.

[74] Kostant, B., cohomología de álgebras de Lie y celdas Schubert generalizadas,

Ann. of Math.,77(1) (1963), 72 - 144.

[75] Kostant, B., Sobre la solución de una red de Toda generalizada y repre-
teoría de la presentación, Adv. en Math. 34(1979), 195-338.

[76] Koszul, J. L., Crochet de Schouten-Nijenhuis et cohomologie,Ast´e-

risque, hors série, (1985), 257 - 271.

[77] Lada, T., y Markl, M., álgebras de Lie de homotopía fuerte, Comm. en
Alg.23(1995), 2147-2161.

[78] Landsman, N.P., Temas matemáticos entre la clásica y la cuántica

Mechanics, manuscript, 1997.

[79] Libermann, P., and Marle, C.-M.,Symplectic geometry and analytical

mecánica, Reidel, Dordrecht, 1987.

[80] Lichnerowicz, A., Les vari´et´es de Poisson et leurs alg`ebres de Lie as-
soci´ees,J. Diff. Geom.12(1977), 253-300.

[81] Lichnerowicz, A., Las variedades de Jacobi y sus álgebras de Lie

soci´ees,J. Maths. Pures. Appl.57(1978), 453-488.

[82] Lie, S.,Theorie der Transformationsgruppen, (Zweiter Abschnitt,

bajo la dirección del Prof. Dr. Friedrich Engel), Teubner, Leipzig,
1890.

[83] Liu, Z.-J., Weinstein, A., y Xu, P., Tripletas de Manin para bialgebras de Lie
broids, J. Diff. Geom 45(1997), 547-574.

[84] Liu, Z.-J., Weinstein, A., and Xu, P., Dirac structures and Poisson
espacios homogéneos, Comm. Math. Phys. (por aparecer)

36
[85] Liu, Z.-J., y Xu, P., Sobre estructuras de Poisson cuadráticas Lett. Math.
Phys.26(1992), 33-42.

[86] Lu, J.-H., Mapeos de momento y reducción de acciones de Poisson,

Symplectic geometry, groupoids, and integrable systems, S´eminaire
sud-Rhodaniense de geometría de Berkeley (1989), P. Dazord y A. We-
instein, eds., Serie Springer-MSRI (1991), 209-226.

[87] Lu, J.-H., Poisson homogeneous spaces and Lie algebroids associated
a acciones de Poisson, Duke Math. J.86(1997), 261-304.

[88] Lu, J.-H., Classical dynamicalr-matrices and homogeneous Poisson

estructuras en G/H y en K/T, preprint, 1997.

[89] Lu, J.-H., Coordenadas en las celdas de Schubert, formas armónicas de Kostant,
y la estructura de Bruhat–Poisson en G/B, preimpreso, 1997.

[90] Lu, J.-H., and Weinstein, A., Groupo¨ıdes symplectiques doubles des
grupos de Lie-Poisson, C. R. Acad, Sci. París 309 (1989), 951–954.
[91] Lu, J.-H., y Weinstein, A., grupos de Lie de Poisson, transformaciones de vestimenta
maciones, y la descomposición de Bruhat, J. Di ff. Geom.31(1990),
501–526.

[92] Mackenzie, K., Grupos de Lie y Algebroides de Lie en Geometría Diferencial

ometría, Serie de Notas de Conferencias LMS, 124, Prensa de la Universidad de Cambridge, 1987.

[93] Mackenzie, K.C.H. y Xu, P., Bialgebroides de Lie y groupoides de Poisson,

Duke Math. J.73(1994), 415-452.

[94] Mackenzie, K.C.H. y Xu, P., Integración de bialgebroides de Lie,

preprint, 1997.

[95] Majid, S., Pares emparejados de grupos de Lie asociados a soluciones del
Yang-Baxter equations,Pacific J. Math.141(1990), 311-332.

[96] Marsden. J., and Weinstein, A., The hamiltonian structure of the
Ecuaciones de Maxwell-Vlasov, Physica 4D (1982), 394-406.

[97] Mikami, K., y Weinstein, A., Momentos y reducción para sistemas simplécticos
acciones de grupoides, Publ. RIMS Universidad de Kioto 24(1988), 121-140.

[98] Mikami, K., y Weinstein, A., en preparación.

37
 [99] Milnor, J.,Morse Theory, Annals of Mathematics Studies51, Prince-
ton U. Press, Princeton, 1963.

Molinier, J.C., Linealización de estructuras de Poisson, Tesis de Doctorado

torat, Universidad Montpellier II (1993).

[101] Moore, C.C. y Schochet, C., Análisis Global sobre Espacios Foliados,
Publicaciones MSRI9, Springer-Verlag, Nueva York (1988).

[102] Moser, J., Sobre los elementos de volumen en una variedad, Trans. Amer. Math.
Soc.120(1965), 280-296.

[103] Nambu, Y., Dinámica Hamiltoniana generalizada, Phys. Rev. D7

(1973), 2405-2412.

[104] Ovsienko, [Link]., y Khesin, B.A., Hojas simplécticas del Gelfand–

Dikii brackets and homotopy classes of nonflattening curves,Funct.
Anal. Appl.24(1990), 33-40.

Poisson, S.-D., Sobre la variación de las constantes arbitrarias en los

preguntas de mecánica, J. Escuela Politécnica 8Cah. 15 (1809), 266-
344.

[106] Polishchuk, A., Geometría algebraica de los corchetes de Poisson. Álgebra Ge-
ometría, 7. J. Mat. Sci. (Nueva York)84(1997),1413-1444.

[107] Pradines, J., Tercer teorema de Lie sobre los grupoides diferenciables
tiables,C. R. Acad. Sc. Paris,267(1968), 21-23.

[108] Roytenberg, D., and Weinstein, A.,Courant algebroids and strongly

álgebras de Lie de homotopía, preimpreso 1998.

Saint-Germain, M., Álgebras de Poisson y estructuras transversales

Tesis de Doctorado, Universidad de París 7, 1997.

[110] Salamon, S.D., Review of “ SW ⇒Gr: from the Seiberg-Witten equa-

tions to pseudo-holomorphic curves,” by C.H. Taubes,Math. Reviews
reseña no. 97a:57033.

[111] Semenov-Tian-Shansky, M. A., What is a classical r-matrix ?,Funct.

Anal. Appl.17 (4)(1983), 259-272.

38
[112] Semenov-Tian-Shansky, M. A., Dressing transformations and Poisson
acciones de grupo, Publ. R.I.M.S.21(1985), 1237-1260.

[113] Sheu, A. J.-L., Cuantización del PoissonSU(2) y su Poisson

espacio homogéneo – la 2-esfera, con un apéndice de J.-H. Lu y
A. Weinstein, Comm. Math. Phys. 135(1991), 217-232.

[114] Shlyakhtenko, D., Von Neumann algebras and Poisson manifolds, sur-
vey article for Math 277, Spring 1997, U.C. Berkeley, available at
[Link]
[115] Sjamaar, R., y Lerman, E., Espacios simplecticos estratificados y reduc-
tion,Ann. of Math.134(1991), 375-422.

[116] Souriau, J.M., Estructura de los Sistemas Dinámicos, Dunod, París,

1970.

[117] Taubes, C.H., SW ⇒Gr: de las ecuaciones de Seiberg-Witten a

curvas pseudo-holomorfas. J. Amer. Math. Soc. 9 (1996), 845-918.

[118] Terng, C.L., Teorema de convexidad para subvariedades isoparamétricas, En-

vent. Math.85(1986), 487-492.

[119] Vaintrob, A., Lie algebroids and homological vector fields,Russ. Math.
Surv.52(1997), 428-429.

[120] Vaisman, I.,Lectures on the Geometry of Poisson Manifolds, Birk-

h¨auser, Basilea, 1994.
[121] Vaisman, I., Una conferencia sobre las estructuras de Poisson–Nijenhuis, Sistemas integrables
tems y foliaciones/Feuilletages et systèmes intégrables (Montpellier,
1995), Progr. Math.145, Birkha¨user, Boston, 1997, 169-185.

[122] Varchenko, A.N., y Givental’, A.B., El mapeo de períodos y el

forma de intersección, Anal. Func. Apl. 16(1982), 83-93.

[123] Vorob’ev, Yu. M., y Karasev, M. V., Variedades de Poisson y el

Corchete de Schouten, Func. Anal. Apl. 22 (1988), 1-9.

[124] Voronov, F. F., Sobre el envoltura de Poisson de un álgebra de Lie. “No lineal
espacio de momentos "mutativos", Func. Anal. Appl.29(1995), 196-199.

39
[125] Wade, A., Normalisation de structures de Poisson, Th`ese de Doctorat,
Universidad Montpellier II, 1996.

[126] Weinstein, A., Conferencias sobre Variedades Simplecticas, Conferencia regional

series en matemáticas29, Amer. Math. Soc., Providence, 1977.

[127] Weinstein, A., The local structure of Poisson manifolds,J. Di ff. Geom.

18(1983), 523–557.

[128] Weinstein, A., Estructuras de Poisson y álgebras de Lie, Astérisque, hors

s´erie (1985), 421–434.

[129] Weinstein, A., grupos simplecticos y variedades de Poisson, Bull.

Amer. Math. Soc. 16, (1987), 101-104.

[130] Weinstein, A., Geometría de Poisson de la serie principal y no lineal

estructuras elastizables, J. Diff. Geom. 25 (1987), 55–73.

[131] Weinstein, A., cálculo coisotrópico y grupos de Poisson, J. Math.

Soc. Japón40(1988), 705–727.

[132] Weinstein, A., Groupoides: unificando la simetría interna y externa,

Avisos A.M.S.43(1996), 744-752.

[133] Weinstein, A., The modular automorphism group of a Poisson mani-

fold,J. Geom. Phys.,23(1997), 379-394.

[134] Weinstein, A., y Xu, P., Extensiones de grupos simplecticos y

cuantización, J. Reine Angew. Math. 417 (1991), 159-189.

[135] Weinstein, A., y Xu, P., Soluciones clásicas del Yang cuántico-
Ecuación de Baxter, Comm. Math. Phys. 148(1992), 309-343.

[136] Weinstein, A., y Xu, P., cohomología de Hochschild y característica

clases para productos estrella, Festschrift por el 60 cumpleaños de V.I. Arnol’d,
v. 2, Soc. Math. Amer., Providence, por aparecer., q-alg/9709043

[137] Xu, P. Equivalencia de Morita de variedades de Poisson, Comm. Math. Phys.

142(1991), 493-509.

[138] Xu, P., Poisson cohomology of regular Poisson manifolds,Ann. Inst.

Fourier Grenoble42(1992), 967-988.

40
[139] Xu, P., Noncommutative Poisson algebras,Amer. J. Math.116
(1994), 101-125.

[140] Xu, P., Homomorfismo de flujo en grupos sinópticos, Math. Z.226

(1997), 575-597.

Xu, P., álgebras de Gerstenhaber y álgebras BV en geometría de Poisson,

preprint dg-ga/9703001.

[142] Zakrzewski, S., Grupos pseudoclásicos y cuánticos, I y II, Comm.

Mat. Fís.134(1990), 347-370, 371-395.

[143] Zakrzewski, S., Espacios de fase relacionados con matrices r clásicas estándar
J. Phys. A: Math. Gen.29(1996), 1841-1857.
[144] Zakrzewski, S., Poisson structures onR2nhaving only two symplectic
leaves: the origin and the rest, preprint (1998).

41