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
0answers
81 views

Torsion-free $G$-Structures

I have the following question. Let $G \subset SO(n)$ be a Lie Group and $M$ be a smooth manifold of dimension $n$. Furthermore let $P$ be a $G$-structure on $M$ i.e. $P$ is a principal subbundle of ...
2
votes
2answers
155 views

Non-degenerate solutions to constant Hamiltonian flow

As I'm trying to work my way through Dietmar Salamon's "Notes on Floer Homology", I'm having trouble with the very first exercise. Let $(M, \omega)$ be a compact symplectic manifold. Let $H$ be a ...
2
votes
0answers
94 views

Area of flux homomorphism in symplectic topology

Let $(M,\omega)$ be a symplectic manifold. Let $f:M \to \mathbb R$ be a smooth function. We have vector fields $X_f$ defined by $\omega(X_f,)=df$. Let $\phi_t$ be the flow of $X_f$ and let $\gamma: ...
0
votes
2answers
53 views

Question about symplectic tranformations

Suppose I know that two vectors $\vec{a}$ and $\vec{b}$ are perpendicular in a given basis spanned by basis vectors $\vec{x}$. Now suppose I transform to another basis $\vec{x'}$ using a symplectic ...
2
votes
1answer
573 views

Darboux's theorem in the symplectic geometry

From the Darboux's theorem in the symplectic geometry, we know that symplectic manifolds with the same dimension is locally "equivalence". I have a little puzzle with the meaning of "equivalence". ...
1
vote
0answers
76 views

Normal Bundle of Twistor lines

I am reading the paper "hyperkaehler metrics and supersymmetry" by Hitchin etc.. Here is the link: ...
2
votes
0answers
151 views

Index of a Symmetric Matrix

In Hansjorg Geiges' introductory textbook on Symplectic Geometry, is defined a projective conic given by $q^tAq=0$ where $A$ is a symmetric matrix of rank 3 and index 2. What does "index 2" mean? I ...
11
votes
2answers
371 views

Checking my understanding of $T^*M$ as a symplectic manifold and the links between the classical description of Lagrangians vs this invariant way.

I am working through a book titled "An introduction to mechanics and symmetry" by Marsden and Ratiu. I have written up a brief summary trying to solidify my understanding of the general principles. ...
2
votes
1answer
44 views

what are the holomorphic curves in $T^{*}S^3$ with boundary on the zero section?

How would I characterize such things? Is the minimal spanning (real) surface of a (real) curve in $S^3$ contained entirely in that $S^3$?
1
vote
1answer
110 views

Visualizing diffeomorphisms

This is probably a really basic question (hence my asking it here as opposed to MO). In a comment to a question on mathoverflow ...
3
votes
1answer
93 views

Special Kähler manifolds

If we have complex vector space $V=T^{*}C^{m}$ with standard complex symplectic form $\Omega =\sum_{i=1}^{m}dz^{i}\wedge dw^{i}$, and if $\tau : V\to V$ is standard real structure of $V$ with set of ...
7
votes
2answers
450 views

Why is the moduli space of flat connections a symplectic orbifold?

In her Lectures on Symplectic Geometry on page 159, Ana Cannas da Silva writes "It turns out that $\mathcal{M}$ is a finite-dimensional symplectic orbifold." Can somebody give me a reference for ...
3
votes
2answers
284 views

Symplectic 2-Torus

Consider the 2-torus $T=S^1\times S^1$ with symplectic form $\omega=d\theta\wedge d\varphi$ and the vector field $X=\partial_\theta$. I wonder if $X$ is hamiltonian. In other words, is $\iota_X\omega$ ...
4
votes
1answer
322 views

Symplectic 2-Sphere

Consider the sphere $S^2\subset\mathbb{R}^3$ in cylindrical coordinates $(\theta, z)$ (away from poles $z=\pm 1$) with symplectic structure $\omega=d\theta\wedge dz$. I want to show that the vector ...
5
votes
1answer
192 views

Why should a symplectic form be closed?

Thanks for reading my question. I'm wonder why a symplectic form should be closed. I found many different answers in the internet, but it sounds like a technical requirement (if we omit this ...
0
votes
1answer
91 views

$Sp(V)$ acts transitively on $V^*-\{0\}$ where $\Omega$ here is symplectic 2 form

Let $\dim(V)=6$. Show that $Sp(V,\Omega)$ acts transitively on $V^*-\{0\}$, where $\Omega$ here is a symplectic 2 form on $V$. ($V^*$ here is algebraic dual of $V$)
1
vote
0answers
76 views

transformation of symplectic structure by a matrix

Suppose that in canonical symplectic basis $e_1,e_2,f_1,f_2$ we have $$\Omega=pf_1^*\wedge f_2^*+qe_1^*\wedge e_2^*+r(e_1^*\wedge f_2^*+e_2^*\wedge f_1^*)+s(e_1^*\wedge f_1^*-e_2^*\wedge f_2^*)$$ Let ...
2
votes
2answers
205 views

When does the $\mathfrak g$-invariance of the symplectic form imply $G$-invariance?

Let $G$ be a Lie group with Lie algebra $\mathfrak g$, and let $M$ be a smooth manifold. Suppose $G$ acts on $M$, $G \to \text{Diff}(M)$. This naturally induces an action $\mathfrak g \times M \to M$ ...
13
votes
1answer
697 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 ...
2
votes
0answers
245 views

Geodesic Flow is the flow of the Hamiltonian Vector field of $|\xi|$

Let $M$ be a complete Riemannian manifold with metric $g$. The geodesic flow is the one-parameter family of diffeomorphisms $\phi_t$ on $T^*M$ defined as follows. If $\xi \in T^* M$ is a vector based ...
1
vote
1answer
85 views

Will this set of functions form coordinates on a symplectic manifold?

Consider a symplectic manifold $(M, \omega)$. Let us define a concept of a complete set of observables: A set of functions $f_i : M \to \mathbb R$ form a complete set of observables if any ...
2
votes
1answer
124 views

$1$-form on a symplectic manifold.

If $\omega$ is a $1$-form on a symplectic manifold, will it be closed? It seems to be trivial that if $\sigma$ is symplectic structure on a manifold $M$, then the induced map $$\sigma^\vee: TM\to ...
4
votes
1answer
119 views

Symplectic Chart

I was reading the article "Symplectic structures on Banach manifolds" by Alan Weinstein. In this article there is one theorem, which is as following: If $B$ is a zero neighborhood in Banach space. ...
2
votes
1answer
171 views

What is an “invariant form” of a group?

I have often seen this phrase used in at least two frequent contexts, One uses the notation of $\omega_{AB}$ (the matrix $\{ [0 , I],[-I,0]\}$) to denote the symplectic form for $USp$ group. One ...
2
votes
1answer
280 views

Symplectic reduction: involutive and non-involutive first integrals

Suppose I have a Hamiltonian $H$ with the phase space $\mathcal{M}$, a symplectic manifold with a symplectic 2-form $\omega.$ Now assume that the Hamiltonian system has two first integrals $C_1,C_2$. ...
7
votes
1answer
222 views

Moment map of the action of $\operatorname{SO}(3)$ on the sphere

The moment map of the action of $\operatorname{SO}(3)$ on the sphere can be thought of as inclusion from $S^2$ into $\mathbb R^3$ by identifying $\mathfrak{so}(3)$ (the Lie algebra of ...
1
vote
1answer
84 views

Symplectic submanifolds

Suppose I have the symplectic manifold $(M, \omega)$. Now consider a function $C: M \rightarrow \mathbb{R}$ whose differential is non-zero. Then restricting to the submanifold of $M$ given by $C=0$ ...
1
vote
2answers
464 views

Regarding Legendre transform from tangent bundle to cotangent bundle

(I'm a complete beginner at differential geometry) I'm studying about constrained systems, in which we "map a Lagrangian system from a tangent to a cotangent bundle. Hamiltonian dynamics then appears ...
1
vote
0answers
99 views

A vector field on a symplectic submanifold intersecting the symplectic complement

Consider a 4-dim symplectic vector field $X$ on the symplectic manifold $(M, \omega)$ in $\mathbb{R}^4$ with $\omega= \sum_{i=1}^2 dy_i \wedge dx_i$. Moreover, the linear terms of $X$ are given by ...
2
votes
1answer
63 views

Open sets of symplectic manifolds

Suppose I have a symplectic manifold $(\mathcal{M}, \omega)$. Does it hold that any open subset of $(\mathcal{M}, \omega)$ is a symplectic submanifold? The statement trivially holds for smooth ...
2
votes
1answer
293 views

Any intuitive examples of symplectic vector space?

Recently I come into symplectic vector space and its properties in my linear algebra class. However, this interesting thing is so different from the usual inner-product spaces I've met before, and I ...
3
votes
2answers
115 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 ...
1
vote
1answer
57 views

Given an integral symplectic matrix and a primitive vector, is their product also primitive?

Given a matrix $A \in Sp(k,\mathbb{Z})$, and a column k-vector $g$ that is primitive ( $g \neq kr$ for any integer k and any column k-vector $r$), why does it follow that $Ag$ is also primitive? Can ...
1
vote
0answers
133 views

Energy displacement of a cylinder is at most $\pi r^2$.

I want to show that the energy displacement of $Z^{2n}(r)$ is at most $\pi r^2$. In the textbook of Mcduff and Salamon they write that I should identify the two dimensional ball (with radius $r$) ...
5
votes
1answer
299 views

$4$-form $ \omega \wedge \omega$ vanishes on $S^4$

If $\omega$ is a closed $2$-form on $S^4$, how can I show the $4$-form $ \omega \wedge \omega$ vanishes somewhere on $S^4$? I am guessing that the fact we're talking about the $2$-form being ...
2
votes
1answer
162 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 ...
10
votes
2answers
378 views

Showing that some symplectomorphism isn't Hamiltonian

I have the next symplectomorphism $(x,\xi)\mapsto (x,\xi+1)$ of $T^* S^1$, and I am asked if it's Hamiltonian symplectomorphism, i believe that it's not, though I am not sure how to show it. I know ...
6
votes
1answer
332 views

is the geodesic flow on Hyperbolic Plane completely integrable?

I'm looking for examples of completely integrable systems and specifically geodesic flows. We remember that when we have a symplectic manifold $(M,\omega)$ (with $M$ of dimension $2n$) and ...
4
votes
1answer
340 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 ...
0
votes
2answers
155 views

Canonical symplectic structure.

I've got the next question, we have the canonical standard symplectic form, $\omega_{std}$, given in coordinate form $\omega_{std}=\sum_{i=1}^{n} dq_i \wedge dp_i$, and I want to show that it's ...
0
votes
0answers
78 views

Maslov Index product property.

I am not sure how to show the following property of the Maslov Index, which in McDuff and Salamon's Introduction to Symplectic Topology, Theorem 2.35, is called the product property. Let $\Lambda: ...
2
votes
1answer
168 views

Symplectic positive definite matrix.

I want to prove that any symmetric positive definite symplectic matrix, $A$, and any real number $\alpha >0$, also $A^{\alpha} \in \operatorname{Sp}(2n)$. I was given a hint to decompose ...
3
votes
0answers
115 views

Coordinate-free proof of the hamiltonian character of the geodesic flow

Let be $(M,g)$ a pseudoriemannian manifold. Let us identify the tangent and the cotangent bundles through the musical isomorphism $g^\flat:u\in TM\to g(u,\cdot)\in T^\ast M.$ It is well known ...
6
votes
2answers
882 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 ...
1
vote
1answer
108 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= $ ...
2
votes
1answer
159 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= $ ...
4
votes
0answers
299 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 ...
3
votes
4answers
111 views

reference for strongly continuous semi-groups

At the moment I am trying to understand the proof of the Fredholm property in Salamon's notes on Floer homology. There I came across the notion of an unbounded operator on a (real) Hilbert space which ...
1
vote
1answer
406 views

Harmonic Oscillator and Quadrature

Consider the simple harmonic oscillator $\frac{d^2p}{dt^2}=-p$ as a Hamiltonian system with Hamiltonian given by $H=\frac{1}{2}p^2+\frac{1}{2}q^2$. The famous Liouville theorem for integrable systems ...
2
votes
0answers
101 views

About $\operatorname{Spin}^\mathbb{C}$ structures

Let $X$ be a orientable 4-manifolds. I know that $X$ can be endowed with $\operatorname{Spin}^\mathbb{C}$ structures by the choice of integral lift of $w_2(X)$ (second Stiefel-Whitney class of ...