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)

2
votes
1answer
68 views

self-intersection of lagrangian submanifold

Let's consider lagrangian submanifold $X$ in symplectic manifold $M$. Is it true that self-intersection index of $X$ is equal to the Euler characteristic $\chi(X)$? Can we construct (not canonical) ...
5
votes
1answer
71 views

Some differential geometry computation woes

I'm trying to follow Moser's argument in symplectic geometry, and running into some troubles. Here is a picture (confusing parts are circled in red): For the first one, what happens when $s+t$ ...
2
votes
1answer
79 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 ...
1
vote
1answer
56 views

How to show $[\omega]=0$ implies $[\omega^n]=0$?

I'm trying to prove the following: If $(M, \omega)$ is a symplectic manifold and $[\omega]=0$ then $[\omega^n]=0$, where $[\omega]$ is the De Rham cohomology class of $\omega$. Well what I've done ...
0
votes
0answers
76 views

Obstruction to construct the set of vectors in lattice

Lets consider a lattice $\mathbb{Z}^n$ with some unimodular scalar product $\mathbb{Z}^n \times \mathbb{Z}^n \mapsto \mathbb{Z}$ and the set of vectors $e_0,\ldots,e_k$ with conditions: $$ ...
10
votes
1answer
144 views

Are there exotic symplectic structures on $ S^2 $?

Besides the obvoius symplectic structure on $ S^2$ given by the area element in the standard embedding $ S^2 \to \Bbb R^3$, are there any other closed 2-forms on $ S^2$ which produce nonisomorphic ...
1
vote
1answer
99 views

symplectic strucutre

Suppose $\omega$ is symplectic structure on $\mathbb R^n$. Let $\omega_0:=\omega|_{x=0}$. Let $\overline{\omega}= \omega_0-\omega$ and for $t\in[0,1]; \omega_t:= \omega+ t\overline{\omega}$. How ...
1
vote
1answer
62 views

Finding the lie algebra of the symplectic lie group

I am having difficulties completing my proof that $\text{Lie}(\text{Sp}(2n)) \equiv \mathfrak{sp}(2n) = \{ X \in Gl(2n)\; |\; X^TJ + JX = 0 \}$ Where $J \equiv \begin{bmatrix}0 & \mathbb{1}_n ...
3
votes
1answer
145 views

Homology of symplectic manifolds

Could you show me some example of compact symplectic 4-manifold $M$ with the torsion in $H_{2}(M;\mathbb{Z})$
0
votes
1answer
102 views

lagrangian subspace and Heisenberg group

Let $(V,\omega)$ be a symplectic vector space. Also we assume $L\subset V$ be a Lagrangian subspace., and $H(V)$ be Heisenberg group, then why $L\bigoplus U(1)\subset H(V)$ is maximal abelian ...
1
vote
1answer
49 views

Existence of prequantization on a simply connected manifold

Let $M$ be a simply connected manifold. Then when, $M$ has a unique pre-quantization and when there is no pre-quantization on $M$.
2
votes
1answer
47 views

Exact sequence arising from symplectic manifold

Let $M$ be a symplectic manifold, why folloing sequence is exact? $0\to \mathbb{R} \to C^\infty (M)\to A\to 0$ Which $A$ here is the set of Global Hamiltonian vector fields.
0
votes
0answers
89 views

Hamiltonian reduction for unit sphere

Let $(M, \omega)$, be Symplectic Vector space and $N\subset M$ be unit sphere. Then why $N/ker\omega\mid _N$ is naturally $\mathbb{P}^{n-1}(\mathbb{C})$ Here ker$\omega$=$\{ y\in M: \omega(x,y)=0, ...
1
vote
1answer
57 views

integrability of ker $\omega$ in symplectic case

How can we prove that if $(M,\omega)$, is pre-symplectic and d$\omega=0$ then ker$\omega$ is integrable?.
0
votes
0answers
62 views

a question about pre-symplectic manifold

Let $(M,\omega)$, is pre-symplectic. Then can we say, ker$ \omega$ is subbundle of tangent bundle $TM$?
2
votes
1answer
62 views

Hamiltonian reduction in symplectic geometry

If $V$ is symplectic and $W^\perp \subseteq W\subseteq V$, then why is $W$ a pre-symplectic vector space? Why is $W/W^\perp$ symplectic?
2
votes
2answers
264 views

why symplectic form should be closed when we work on a manifold

For defining the symplectic space $(V, \omega)$ where $V$ is a vector space, it doesn't necessary to add the condition $d\omega=0$. But, when we work on a manifold instead of vector space, then we ...
1
vote
2answers
211 views

Application of the implicit function theorem

Assume that the equation $F(x,y,p)=0$ defines a regular submanifold $M$ of $R^3$. Consider the projection $\pi :M \rightarrow R^2$, given by $\pi (x,y,p)=(x,y)$. By the implicit function theorem, in ...
1
vote
1answer
90 views

canonical one-form

The canonical one-form is defined here: http://books.google.nl/books?id=uycWAu1yY2gC&lpg=PA128&dq=canonical%20one%20form%20hamiltonian&pg=PA128#v=onepage&q&f=false My problem is ...
5
votes
0answers
91 views

Scattering of waves by an obstacle

I wish to study the paper by Melroe and Taylor: Near peak scattering and the corrected Kirchhoff approximation for a convex obstacle. Adv in Math, Vol 55 (3), 1985, 242–315. ...
4
votes
2answers
125 views

Self-intersection number of a complex curve in complex projective space

I'm currently trying to get a grip on actually calculating some differential-geometric definitions. I'm looking at the following map from $\mathbb{CP}^{1}$ to $\mathbb{CP}^2$ : ...
3
votes
2answers
108 views

Symplectic Form Preserved by Orthogonal Transformation

I'm trying to prove that the symplectic form $$\omega = d(\cos\theta) \wedge d\phi$$ is preserved by the action of $SO(3)$ on $S^2$ where $\phi$ and $\theta$ are spherical polars. Now $SO(3)$ simply ...
2
votes
0answers
43 views

Trivialization of a path of tamed almost complex structures

I am wondering if the following result is true: Let $(V,\omega)$ be a symplectic vector space and $\{J_t\}_{0\leq t\leq 1}$ a smooth path of almost complex structures on $V$ which are tamed by ...
0
votes
1answer
44 views

Prove that the $2$ form defines a symplectic structure

Prove that the $2$ form $$\omega = -2[(1+x_2^2)dx_1 \wedge dx_2 + dx_1 \wedge dx_3 + dx_3 \wedge dx_4]$$ defines a symplectic structure on $\mathbb{R}_x^4$. My definition of as ...
2
votes
1answer
50 views

Lagrangian subspaces

Let $\Lambda_{n}$ be the set of all Lagrangian subspaces of $C^{n}$, and $P\in \Lambda_{n}$. Put $U_{P} = \{Q\in \Lambda_{n} : Q\cap (iP)=0\}$. There is an assertion that the set $U_{P}$ is ...
3
votes
1answer
78 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 ...
5
votes
1answer
123 views

Symplectic geometry as a prequisite for Heegaard Floer homology

I would like to study Heegaard Floer homology in the future in the connection to knot theory. I read a wikipedia article and it seems that I need to first learn a symplectic geometry (topology?). I ...
1
vote
0answers
65 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 ...
1
vote
2answers
107 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
61 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
44 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 ...
1
vote
1answer
430 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
60 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
110 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 ...
6
votes
0answers
250 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
37 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
79 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
82 views

Special Kaehler 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 ...
4
votes
2answers
235 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 ...
2
votes
2answers
185 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$ ...
3
votes
1answer
139 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 ...
4
votes
1answer
119 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
80 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
75 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 ...
3
votes
0answers
73 views

A proof of simply connectedness of a symplectic quotient

Let $\rho$ be a unitary representation of a torus $G$ on $\mathbb{C}^n$. The action of $\rho$ is Hamiltonian with a moment map $\mu:\mathbb{C}^n \to \mathfrak{g}^*$. Here $\mathfrak{g}^*$ is the dual ...
2
votes
2answers
178 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$ ...
9
votes
1answer
400 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
183 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
78 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
104 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 ...