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
2answers
58 views

On the definition/notation for pseudoholomorphic curves

A pseudoholomorphic curve is a map $u:(\Sigma,j) \to (M,J)$ from a Riemann surface $\Sigma$ with an almost complex structure $j$ to a manifold $M$ with an almost complex structure $J.$ We require ...
3
votes
1answer
132 views

Second Hirzebruch surface as Delzant space associated to trapezoid

I am trying to understand how the second Hirzebruch surface arises as the Delzant space associated to the trapezoid $\Delta \in (\mathbb{R}^2)^\ast$ given by the vertices $(0,0) , (1,0), (1-a,a), ...
1
vote
0answers
72 views

Derivative of a function involving inverse of a matrix-lifting a diffeomorphism to a symplectomorphism

Let $A$ be an $n\times n$ matrix with smooth entries in $x$, such that $A(x)$ is invertible everywhere with smooth entries. Define a function $f\colon \mathbb{R}^n\to\mathbb{R}^n$ by $f (x)=[A ...
1
vote
1answer
74 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 ...
2
votes
1answer
148 views

Question about Lie derivative

$(M,w)$ is symplectic manifold. $f_t : M\to M$ is a symplectic isotopy between $f_0=id$ and $f_1$. Let X_t be the vector field on M satisfying $d(f_t)/dt=X_t(f_t)$ Now I differentiate $(f_t)^*w$. Here ...
1
vote
0answers
150 views

The Fubini-Study metric and its associated form.

Assume $ds^2$ is Fubini-Study metric, and $\omega = -\frac{1}{2}Im \{ds^2\}$ is its associated form. Let $V_n = \int_{\mathbb{C}P^n} \omega^n / n!$ the volume of $\mathbb{C}P^n$. Let $V \subset ...
3
votes
1answer
242 views

Definition of Liouville measure on energy surface of Hamiltonian system

This is a reference request, as I can't for the life of me find anything that answers my question in the literature. If $(M,\omega,H)$ is a Hamiltonian system, we know from Liouvile's theorem that ...
2
votes
0answers
92 views

Geometric Cauchy Problem

I'm attending a course in Symplectic Mechanics and I have some problems in understanding something written in my lecture notes. We are in the following setting: let $Q$ be a manifold (of dimension ...
3
votes
2answers
206 views

Should diffeomorphisms preserving arc length be affine?

Problem Suppose $\varphi\colon V=\mathbb R^n\to V$ be a differmorphism and $d\varphi$ is its tangent mapping. $\langle\circ,\circ\rangle$ is a nondegenerate (symmetric or symplectic) bilinear form on ...
4
votes
0answers
87 views

Weyl orbits of integral dominant weights and convex polytopes

Let $\xi$ be an integral dominant weight of a root system $\Delta$, and let $\mathcal{O}_{\xi}$ be its orbit under the action of the Weyl group. The elements of the orbit are the vertices of an ...
0
votes
2answers
79 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
0
votes
1answer
45 views

tangent and conormal bundles of a Lagrangian

Suppose we have a Lagrangian submanifold $L$ of the symplectic manifold $T^*\mathbb{R}^{n}$ (endowed with symplectic form $\omega$), and a point $p\in L$. I know that there's a map $T_pL\rightarrow ...
1
vote
1answer
41 views

Why is the dividing set nonempty when a convex surface has Legendrian boundary?

I am an undergrad and curious about the following question. Let (Y,ξ) be a contact manifold, and L⊂(Y,ξ) be a Legendrian knot which is the boundary of a convex surface Σ embedded properly in Y. Why ...
1
vote
1answer
51 views

M fibers over the circle then construct a symplectic form

I'm trying to prove that if a 3-manifold $M$ fibers over the circle, then $M\times S^1$ admits a symplectic structure. I know that it is an standard result. Probably it is very easy, but I can't see ...
0
votes
1answer
55 views

About symplectic embedding

I never read about the symplectic embeddings. While reading a general math note, I have following question: Does every symplectic manifold $(M,\omega)$ can be symplectically embedded to some ...
5
votes
1answer
162 views

Physical Meaning of Symplectic Vector Fields

The mathematics of symplectic (as well as Hamiltonian) vector fields is something that has been quite clear to me for some time, but recently I have been thinking much more about what certain ...
1
vote
1answer
1k views

Showing Jacobi identity for Poisson Bracket

We were given the following problem: show that $[A,[B,C]] + [B,[C,A]] + [C,[A,B]] = 0$ where $[A,[B,C]]$ et cetera are Poisson brackets. As I understand it this is a poisson bracket (where ...
3
votes
1answer
145 views

motivating the conservation of symplectic area by way of general (coordinate) covariance

I'm trying to motivate why a symplectic structure captures exactly the right structure one needs to do classical mechanics. The easiest part of this story goes like this: we need a procedure for ...
1
vote
2answers
54 views

Unitary trivialization over Riemann surfaces with boundary

I am puzzled with the proof of Proposition 2.66. in the book "Introduction to Symplectic Topology" by Salamon, McDuff. The Proposition states, that every Hermitian vector bundle $E \rightarrow ...
1
vote
1answer
32 views

Complex structures on $T^4$

Suppose $(M,\omega)$ is a symplectic manifold, $J(M)$ is the space of all compatible complex structures. How can we show $J(T^4)$ is homotopic to the space of continuous maps $Map(T^4\rightarrow ...
5
votes
1answer
124 views

Fukaya Categories

I was just wondering: what references one might suggest for learning about Fukaya categories (specifically, good references for self-study)? I suppose I should add that any references with an eye ...
0
votes
1answer
44 views

Completely integrable geodesic flows without any degenerate point

Are there many examples of completely integrable geodesic flows (in the sense of Liouville), with say n integrals $f_1,\cdots, f_n$ such that everywhere, the differentials $(df_1,\cdots,df_n)$ are ...
2
votes
1answer
85 views

orientation of symplectic manifold and lagrangian submanifolds

A statement: The self-intersection index of lagrangian submanifold $M \subset X$ is equal to Euler characteristic $\chi(M)$. How I should oriented $X$? Let's consider some example. The null-section ...
1
vote
0answers
120 views

Sources for learning Lie groups and symplectic geometry for Quantum optics

I am asking this question on behalf of my junior who has recently joined in the graduate programme. As suggested by my boss, the student wants to work on quantum optics from a symplectic geometric ...
0
votes
1answer
85 views

Darboux atlas on a symplectic manifold

Is every finite dimension symplectic manifold admit 'Darboux atlas'. If not can we have counterexample..
1
vote
1answer
60 views

an identity related to moment map

Let $G$ be a Lie group and $\mathfrak{g}$ be its Lie algebra, and $X,Y\in \mathfrak{g}$ and also let $\mu:M\to \mathfrak{g^*}$ be moment map($M$ smooth manifold) then prove the following equality ...
0
votes
1answer
72 views

A question about coadjoint orbit

If the coadjoint orbit $\Omega\subset \mathfrak{g^*}$ be contractible then prove that $\Omega$ is integral , i.e., $\int_C \omega\in \mathbb{Z}$ for every integral singular 2-cycle $C$ in $\Omega$, ...
1
vote
1answer
57 views

Can the system $\partial_x f(x,y) = \dot{y}$, $\partial_y f(x,y) = \dot{x}$ be related to some Hamiltonian system?

If one has found some function $f(x,y): \partial_x f = \dot{y}, \partial_y f = \dot{x}$, is there a simple transformation or change of variables that results in Hamilton's equations $\partial_p H = ...
1
vote
1answer
63 views

Why circle action is not hamiltonian

We have given an action $$S^1\times T^2\to T^2$$ $$(t,(\theta_1,\theta_2))\to (\theta_1+t,\theta_2)$$ Why this action can't be Hamiltonian? May i get some hint, comment suggestion. Thanks.
2
votes
1answer
105 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
80 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$ ...
3
votes
1answer
124 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
77 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 ...
11
votes
1answer
200 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
110 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 ...
2
votes
1answer
117 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
161 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
113 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
63 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$.
3
votes
1answer
72 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.
0
votes
0answers
112 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
78 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?.
2
votes
1answer
74 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
287 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
296 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
194 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
100 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. ...
5
votes
2answers
233 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
142 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
48 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 ...