Symplectic geometry is a branch of differential geometry and differential topology which studies symplectic manifolds; that is, differentiable manifolds equipped with a closed, nondegenerate 2-form.

learn more… | top users | synonyms (1)

1
vote
1answer
81 views

Arnold's proof of Liouville's Theorem on integrable systems

My question happens to be almost identical to the one left unanswered/closed here, which gives a bit of background information - it may not be necessary. I hope the reason it was closed on ...
0
votes
1answer
30 views

How to show that Jacobi identity for $\{,\}$ is equivalent to $\omega$ being closed?

I am reading the book a guide to quantum groups. I have a question on page 18. How to show that Jacobi identity for $\{,\}$ is equivalent to $\omega$ being closed? Any help will be greatly appreciated!...
3
votes
0answers
43 views

Pulling back a Kähler structure on a symplectic submanifold

Let $(K, G, \Omega, J)$ be a Kähler manifold and $(S, \omega)$ be a symplectic manifold. Let $i : S \to K$ be a symplectic embedding. Is it possible to endow $S$ with a Kähler manifold structure, ...
0
votes
1answer
29 views

Notation for vector fields on cotangent bundle

This is probably an easy question. I have some trouble finding the right notation/words for 2 vector fields. Consider $T^*S^1$, the cotangent bundle of the circle. I know that this is a trivial ...
3
votes
1answer
58 views

Diffeomorphism group $\text{Diff}_\omega(D^2, \partial D^2)$, exact differential form.

Let $D^2$ denote the closed unit disk in $\mathbb{R}^2$. Let $\omega = dx \wedge dy$ denote the standard area form on $\mathbb{R}^2$ (and on $D^2$ by restriction). Let $\phi$ be a diffeomorphism of $D^...
1
vote
0answers
22 views

When does contractible space of almost complex structures taming a given symplectic form $\omega$ contain an integrable compatible one?

Given a symplectic form $\omega$ on a compact symplectic manifold $X$, we know there is a contractible homotopy class $\mathcal{J}_{\omega}$ of almost complex structures that tame $\omega$. A subset ...
2
votes
1answer
51 views

Poisson bracket makes $C^\infty(M)$ into a Lie algebra

Let $M$ be a symplectic manifold with symplectic form $\omega$. Define the Poisson bracket of two smooth functions $f$, $g$ by $\{f, g\} := \omega(X_f, X_g)$. How do I see that $X_{\{f, g\}} = [X_f, ...
4
votes
1answer
44 views

Symplectic manifold, flow $\phi_t$ generated by unique vector fiel $X_f$ preserves symplectic form $\omega$?

Let $M$ be a symplectic manifold with symplectic form $\omega$, let $f$ be a smooth function on $M$, and let $X_f$ be the unique vector field on $M$ so that $df(Y) = \omega(X_f, Y)$ for all vector ...
2
votes
2answers
57 views

Symplectic manifold $M$, unique vector field $X_f$ on $M$ so that $df(Y)= \omega(X_f, Y)$ for all vector fields $Y$?

Let $M$ be a manifold. A symplectic form is a closed $2$-form $\omega$ suh that $X(p) \to \omega(X,\cdot)(p)$ is an isomorphism from $T_pM$ to $T_p^*M$ for each $p \in M$. A manifold together with a ...
3
votes
1answer
31 views

Open immersion pulls back symplectic form to symplectic form?

If $M$ is symplectic, and $f: W \to M$ is an open immersion, i.e. an immersion where $W$ and $M$ have the same dimension, does $f$ necessarily pull back a symplectic form on $M$ to a symplectic form ...
3
votes
1answer
78 views

Is a Kähler manifold necessarily symplectic?

Let $M$ be a Riemannian manifold. If we pick a basepoint $p \in M$, then for any smooth path $\gamma: [0, 1] \to M$, parallel transport along $\gamma$ induces an automorphism $g_\gamma \in \text{Aut}(...
0
votes
0answers
21 views

The $Ad^*$ $G$-Orbits in $\mathcal{g}*$ (for $G$ being the Heisenberg group)

I did not understand why, the $Ad^*$ $G$-Orbits in $\mathcal{g}*$ (for $G$ being the Heisenberg group and $\mathcal{g}*$ is the dual space of its Lie algebra $\mathcal g$) are given by i) The ...
4
votes
1answer
53 views

Wedge Products with the Symplectic Form

Let $ \omega $ denote the symplectic form on $ \mathbb{R}^{2n} $, namely $ \omega = dx_1 \wedge dy_1 + \cdots + dx_n \wedge dy_n $. Then let $ T $ be the linear map from $ (n-1) $- forms to $ (n+1) $-...
0
votes
1answer
25 views

How does one compute the Hurewicz homomorphism for a (symplectic) nilmanifold?

I have a symplectic six-dimensional nilmanifold $X:=G/\Gamma$ in hand, characterized by the sextuple $(0,0,12,13,14+23,24+15)$, which records the exterior derivatives of a basis of $\Gamma$-invariant $...
0
votes
0answers
25 views

Symplectically embedding 2-spheres in 6-manifolds

There is a wealth of research that I have found that characterize different classes of compact $4$-manifolds by the ability (or lack thereof, in the case of aspherical) to (symplectically or smoothly) ...
0
votes
1answer
15 views

Regarding embeddings and homological/cohomological injectivity

Possibly low-level question here: if one has an embedding $M\hookrightarrow X$, call it $\iota$, then this is of course an immersion, so the differential maps $\iota_{\ast}:T_{p}M\rightarrow T_{\iota(...
1
vote
0answers
23 views

Is this computation of the Christoffel coefficients on a Kähler manifold correct?

Let $M$ be a Kähler manifold (in truth, I am only interested in $\Bbb C \Bbb P^n$). Is it possible to express the Christoffel coefficients of the Levi-Civita connection in terms of the coefficients of ...
1
vote
1answer
37 views

Darboux coordinates on projective spaces

I am trying to perform some computations in local coordinates on $\Bbb P ^n \Bbb C$ seen as a symplectic manifold, in order to get a better feeling of some facts. While I do know the coefficients of ...
0
votes
1answer
67 views

Are the symplectic leaves of a Poisson manifold submanifolds?

In "Introduction to Mechanics and Symmetry" by Marsden and Raţiu it is written, in chapter 10, page 347, example b, that "[s]ymplectic leaves need not be submanifolds". In "Lectures on Poisson ...
2
votes
0answers
54 views

Level sets and lagrangian submanifolds

I would like to find all regular values for a map on a symplectic manifold such that the level sets are lagarangians. Precisely, the following example : The $4$-dimensional symplectic manifold $(\...
0
votes
1answer
31 views

Relation between symplectic blow-up of a compact manifold and fibre bundles over same manifold

The symplectic blow-up of a compact symplectic manifold $(X,\omega)$ along a compact symplectically embedded submanifold $(M,\sigma)$ results in another compact manifold $(\tilde{X},\tilde{\omega})$ ...
5
votes
0answers
47 views

Not understanding the foliation structure of a Poisson manifold

Consider a Poisson manifold $(M, P)$ (no assumption about the rank or regularity of $P$). For each possible rank $2r$ of $P$, let $(M_r, P_r)$ be the corresponding symplectic leaf of dimension $2r$, ...
1
vote
1answer
54 views

What is a sympelctic bundle

What is a symplectic bundle? Is it a fibre bundle or a vector bundle? I am hoping for a not-very-technical answer because I'm not familiar with bundles in general. Sorry for that. PS: This symplectic ...
0
votes
0answers
150 views

Atiyah-Guillemin-Sternberg convexity theorem

I would like to study the Atiyah-Guillemin-Sternberg convexity theorem: proof and applications. I am already familiarised with hamiltonian actions, moment maps...and with elementary Morse theory. So ...
2
votes
1answer
94 views

What is a pseudo-Kähler manifold?

I am reading a text which says that if a symplectic manifold is pseudo-Kähler, then there exists a unique symplectic connection on it. Since this a side remark without significance to the core of that ...
1
vote
0answers
20 views

Topological intuition about a hamiltonian vector field

Could I ask a conceptual question? If you have a symplectic manifold ($M$, $\omega$) and a real valued function $f : M \to \mathbb{R}$, you can define a hamiltonian vector field $X$ corresponding to ...
3
votes
1answer
75 views

Liouville's theorem and the Wronskian

Liouville's theorem states that under the action of the equations of motion, the phase volume is conserved. The equations of motion are the flow ODE's generated by a Hamiltonian field $X$ and the ...
1
vote
1answer
39 views

What is a Hamiltonian in a Poisson algebra?

Classical physics on the phase space $T^* M$ (with $M$ a smooth manifold) is done mostly in the following way: one endows $T^*M$ with a Riemannian structure $g^*$ (that will give the kinetic term) and ...
0
votes
1answer
33 views

Is there a more formal way to prove Liouville's theorem on the conservation of symplectic volume?

By Liouville's theorem the symplectic volume of a symplectic manifold $(M,\omega)$ is preserved under symplectomorphisms. One usually uses the language of classical mechanics to show that and performs ...
0
votes
2answers
69 views

Is this the pullback of a Hamiltonian flow?

In this reference just in the beginning the author gives the theorem (Theorem 1) of the conservation of a Hamiltonian flow $\phi_t$. According to it this means that $$ \frac{d}{dt}\phi_t^* H = 0$$ I ...
9
votes
2answers
271 views

Kähler metrics on the coadjoint orbits of a compact Lie group

Let $G$ be a compact Lie group with Lie algebra $\mathfrak{g}$. It is well-known that each orbit for the coadjoint representation of $G$ on $\mathfrak{g}^*$ carries a canonical symplectic structure, ...
5
votes
1answer
76 views

Periodic orbits on centre manifold

I am interested in periodic orbits of mechanical systems of second-order dynamics with no damping, i.e. governed by an equation of the type \begin{equation}(1)\quad \ddot x + f(x)=0 \end{equation} ...
1
vote
1answer
42 views

Pullback of a Hamiltonian

I understand that a Hamiltonian vector field $H$ creates a Hamiltonian flow $\phi_t$. Now, in order to prove that the Hamiltonian is conserved one uses the following \begin{eqnarray*} \frac{d}{dt}\...
1
vote
1answer
64 views

Is the group of symplectomorphisms of a symplectic manifold the symplectic group?

The group of symplectomorphisms of a symplectic manifold $M$ is a subgroup of the group of diffeomorphisms $GL(n)$, actually it is a subgroup of $SL(n)$. My question is whether this group of ...
1
vote
3answers
34 views

Help with the definition of a bilinear form $\omega$

According to this for $V$ a $2n$ (real) dimensional space any bilinear form $\omega: V \times V \to \mathbb{R}$ induces a linear map $\tilde{\omega}: V \to V^*$ via $$ \tilde{\omega}(v) := \omega(v, \...
1
vote
0answers
43 views

Everything about Legendre transform

The Legendre transform, or transformation, seems to have many properties which are useful in different fields. For example: It switches between Lagrangian and Hamiltonian formalism in mechanics / ...
0
votes
0answers
24 views

$G$-invariant functions on Manifolds

In a paper I saw the following statement: Let $M$ be a connected symplectic manifold and $G$ be a compact Liegroup acting symplectically and hamiltonian on $M$. Let $\Phi \colon M \to \mathfrak{g^*}$ ...
0
votes
0answers
50 views

Polynomial functions on a smooth manifold

If one views $\Bbb R ^{2n}$ as the cotangent bundle of $\Bbb R ^n$, with coordinates $(q_1, \dots, q_n, p_1, \dots, p_n)$, then in order to do classical Hamiltonian mechanics on it one considers ...
1
vote
0answers
37 views

Is time-1 map of a Hamiltonian vector field defined on a cylinder always twist?

Suppose I have a one degree of freedom analytic Hamiltonian $H(q,p)$ defined on a semi-infinite cylinder, i.e. $(q,p) \in \mathbb{T} \times \mathbb{R}^{+}$, such that all level sets $H(q,p)=c$ are ...
1
vote
1answer
123 views

Alternative to Arnold's mathematical methods

I have difficulties understanding Arnold's book of mathematical methods of classical mechanics. Yet I should get some familiarity with the subjects found at chapters 3,4,7,8 before next semester to ...
1
vote
0answers
39 views

Is there a way to compute the Poincaré dual of the following type of degree $(2n-2)$ de Rham class?

Given a closed, connected, symplectic manifold $(X^{2n},\omega)$, is there a systematic method to computing the Poincaré dual surface to degree $(2n-2)$ classes of the form $$[\omega]^{n-2}\cup B + \...
1
vote
1answer
40 views

Root spaces for symplectic Lie algebra $\mathfrak{s} \mathfrak{p}_n$

Consider the symplectic Lie algebra $\mathfrak{s} \mathfrak{p}_n$ over a field $K$. I know that the root system is given by $C_n=\{\pm 2e_j, \pm e_j \pm e_k:j,k=1 \cdots n, j \neq k\} $ where $e_k(...
0
votes
0answers
24 views

sympletic form of the hyperboloid

I'm working with the Hyperboloid of two leefs $H_2$ as a coadjoint orbit of $\mathfrak{sl}^*(2, R)$. I know that $H_2$ is a symplectic manifold by the following theorem: Given a Lie group G and $\...
2
votes
0answers
38 views

A very general question about blow-up for experienced symplectic topologists and algebraic geometers

I am trying to understand the process of symplectic blow-up of compact symplectic manifolds $M^{2n}$ along compact symplectic submanifolds $X$ on a deeper level, and I am also searching for relevant ...
0
votes
0answers
23 views

Exact sequences of sympletic vector spaces

Is it true that if one has an exact sequence of vector spaces: $0 \to V \to W \to S \to 0$ Such that W is a sympletic vector space of even complex dimension and S has even real dimension and V has ...
1
vote
0answers
99 views

Does the Poisson bivector give rise to an integrable distribution?

I am reading the book Lectures on the geometry of Poisson manifolds, by Izu Vaisman. To a Poisson structure $\{\cdot,\cdot\}$ on a manifold $M$ we associate the Poisson bivector field $w\in\Gamma(\...
2
votes
1answer
21 views

Hamiltonian vector field - confusion

I am trying to understand the definition of a Hamiltonian vector field. I take as my symplectic manifold the sphere $$p_1^2+p_2^2+p_3^2=1$$ with symplectic form $$\omega=p_1 dp_2 \wedge dp_3+ p_2 dp_3 ...
2
votes
0answers
33 views

What's the best place to learn Quantum Homology

I am a PhD student and I am trying to learn quantum homology. I already know some of the analysis, but I am struggling to really find a good readable reference which covers enough of the analysis to ...
0
votes
0answers
76 views

Suitable reference for learning symplectic geometry

I am interested in studying symplectic geometry by myself and I'm looking for a good text to use as a reference in the way. I am a bit lost because I've found a lot of notes and books on the subject ...
0
votes
0answers
37 views

KAM theorem for symplectic maps using Generalized Implicit Function Theorems

I've been studying KAM theory for a while and as many of you surely know, there exist many methods in proving "KAM theorems" for different settings. Most of the literature deal with the persistence of ...