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)

4
votes
1answer
367 views

Why is $Sp(2m)$ as regular set of $f(A)=A^tJA-J$, and, hence a Lie group.

I'm trying to prove that $Sp(2m)$ is a Lie group using this: defining a function $f(A)=A^tJA-J$ and trying to see that this is a submersion. But I've not realized yet what is the domains and the range ...
3
votes
2answers
313 views

No symplectic structure on $S^{2n},\ n>1$

I am trying to show that there is no symplectic structure on the $2n$-dimensional sphere $S^{2n}$, where $n>1$. I've tried following these steps: (a) Given a compact $2n$-dimensional symplectic ...
14
votes
1answer
792 views

Tautological 1-form on the cotangent bundle

I'm trying to understand a little bit about symplectic geometry, in particular the tautological 1-form on the cotangent bundle. I'm following Ana Canas Da Silva's notes. On page 10 she describes the ...
6
votes
2answers
990 views

symplectic lie algebra is simple

The symplectic lie algebra defined by $sp\left(n\right)=\left\{ X\in gl_{2n}\,|\, X^{t}J+JX=0\right\}$ when $J=\begin{pmatrix}0 & I\\ -I & 0\end{pmatrix}$. So $X\in sp\left(n\right)$ is of ...
4
votes
1answer
155 views

Symplectic Forms

Let $(M, \omega)$ be a symplectic manifold, so that $\omega$ is a non-degenerate 2-form. If $\dim M = 2n$ why does $\omega$ being non-degenerate imply that $\underbrace{\omega \wedge \ldots \wedge ...
3
votes
1answer
73 views

Exact sequence arising from symplectic manifold

Let $M$ be a symplectic manifold, why is the following sequence exact? $$0\to \mathbb{R} \to C^\infty (M)\to A\to 0$$ Here $A$ is the set of global Hamiltonian vector fields.
4
votes
1answer
103 views

Momentum a cotangent vector?

Imagine we have a particle described by $x \in M$, where $M$ is some manifold, then it is very intuitive I think that a velocity is an element of the tangent space at $x$, so $x' \in T_{x}M.$ Thus, by ...
4
votes
0answers
314 views

basis free volume form for a symplectic vector space

It's easy to show, using a symplectic basis, that if $\omega$ is a symplectic form on a $2n$-dimensional vector space $V$, then $\omega^n \neq 0$. I'd like to be able to prove it without choosing a ...
2
votes
1answer
91 views

How to show that geodesics exist for all of time in a compact manifold?

Let $M$ be a compact manifold and the tangent bundle $TM$ have a Riemannian metric $g$ so that it is isomorphic to the cotangent bundle $T^*M$. Consider the pull-back of the canonical symplectic form ...
2
votes
1answer
161 views

Symplectic basis $(A_i,B_i)$ such that $S= $ span$(A_1,B_1,…,A_k,B_k)$ for some $k$ when $S$ is symplectic

Let $(V,\omega)$ be a symplectic vector space of dimension $2n$. How can I show that for a symplectic subspace $S \subset V$, there exists a symplectic basis $(A_i,B_i)$ such that $S= $ ...
1
vote
1answer
79 views

Kähler form convention

I've been wondering about this for a while and I have my ideas about the answer, but I would like to make sure once and for all that I'm not missing something. Let's look at this from a purely linear ...
0
votes
2answers
90 views

When a G-Manifold is a Hamiltonian G-manifold

Let G be a lie group, then When a G-Manifold is a Hamiltonian G-manifold and under which condition a manifold is Hamiltonian G manifold for some lie group G
4
votes
1answer
142 views

Inclusion $O(2n)/U(n)\to GL(2n,\mathbb{R})/GL(n,\mathbb{C}) $

How to show, that an inclusion of homogenious spaces $$O(2n)/U(n)\to GL(2n,\mathbb{R})/GL(n,\mathbb{C}) $$ is homotopy equivalence? The big space is the space of complex structures on ...
3
votes
2answers
125 views

Proving that a particular submanifold of the cotangent space is Lagrangian

I have the following problem in my differential topology class: Let $M$ be an $n$-dimensional manifold and let $\omega$ denote the standard symplectic form on the cotangent space $T^*M$. Let $f \in ...
2
votes
1answer
166 views

Symplectic submanifolds and first integrals

I was working with symplectic submanifolds when I posed the following question: Suppose I have a Hamiltonian system with the phase space $\mathcal{M}$, a symplectic manifold with the standard ...
2
votes
1answer
112 views

Symplectic basis $(A_i,B_i)$ such that $S= $ span$(A_1,…,A_k)$ for some $k$ when $S$ is isotropic

Let $(V,\omega)$ be a symplectic vector space of dimension $2n$. How can I show that for an isotropic subspace $S \subset V$, there exists a symplectic basis $(A_i,B_i)$ for $V$ such that $S= $ ...