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)

0
votes
1answer
30 views

Definition of symplectic map

I just started reading on symplectic integrator of Hamiltonian system for my physics project, I don't quite understand some of the basic definitions here(see ...
3
votes
1answer
96 views

Describe the space of solutions to a simple matrix equation

I would like to describe the space of solutions to the following matrix equation. Here $U$ and $V$ are two unknown real matrices with $n$ lines and $p$ columns (i.e. they belong to ...
1
vote
0answers
70 views

A variational approach to symplectomorphisms

Let $(\Sigma,\omega)$ be a compact symplectic surface, and let $\mathcal{D}$ be the group of diffeomorphisms of $\Sigma$. Is there some known variational approach to determine if an element ...
0
votes
0answers
41 views

A function on a space of symplectic forms

Let $M$ be a smooth manifold and $\text{symp}(M)$ be the set of all symplectic forms on $M$. Let $\text{Diff}_{ 0}(M)$ be a connected component of difeomorphisms of $M$. Then, is there an explicit ...
3
votes
0answers
62 views

Differentiating an endomorphism

Let $(M,\rho)$ be a symplectic $2$-dimensional manifold, and let $J$ be a compatible complex structure on $M$, i.e. the symmetric $(0,2)$-tensor $$g(*,*) = \rho(*,J*)$$ is a Riemannian metric. Denote ...
1
vote
0answers
56 views

Wedge product equality of 2n-forms in 2n+2 dimension

I have a question that seems to me clear but i couldn't prove it. I have a diffeomorphism between the cotangent bundle of the n-sphere and the complex quadric as $$T^*(S^n)\to (S^n)^{\mathbb{C}},\ ...
3
votes
1answer
95 views

Tangent space of the space of compatible complex structures

Let $(M,\omega)$ be a symplectic manifold, and let $\mathcal{J}(M,\omega)$ denote the space of complex structures on $M$ which are compatible with $\omega$. I have been told the following fact: We ...
2
votes
1answer
49 views

Symplectic Geometry of 2-sphere in stereographic projection

I am trying to put the symplectic form of the 2-sphere defined by $\omega_u(v,w) := \langle u,v\times w\rangle,$ where $u \in \mathbb{S}^2$ and $v, w \in T_u\mathbb{S}^2$ in stereographic coordinates ...
0
votes
0answers
15 views

Are the orbits of a symplectic toric manifold the fibers of its moment map?

A symplectic toric manifold, by definition, carries an effective torus action generated by a moment map. The orbits of the torus action are of course contained in the fibers of the moment map, but ...
13
votes
1answer
285 views

Symplectic reversing diffeomorphisms

Let $(M,\omega)$ be a compact symplectic manifold. Is there a diffeomorphism $f$ on M with $f^{*}\omega =-\omega$?
7
votes
1answer
100 views

Convex boundary of a symplectic manifold

Given a symplectic manifold $(M,\omega)$, suppose that $\partial M$ is of contact type. A Liouville field on a symplectic manifold is a vector field $X$ such that $\mathcal L_X \omega = \omega$. We ...
0
votes
1answer
32 views

symplectic change of variables

I must prove that the change of variables $\Psi: (p,q)\rightarrow(r,\alpha)$ such that $$q=\sqrt{2r}\cos(\alpha), \qquad p=\sqrt{2r}\sin(\alpha)$$ is symplectic. What I know is: $$\dot{q}=p, \qquad ...
0
votes
0answers
26 views

symplectic sructure on a ball

We know by Darboux theorem that any symplectic form on a manifold $W^{2n}$ is locally symplectomorophic to the standard symplectic form $dx\wedge dy$ on $R^{2n}$. Is it true that any symplectic form ...
1
vote
1answer
31 views

Poincaré invariant corresponds to area?

In this paper(equation 34) click me it says that if we have a symplectic egg, then the area of a $(x_i,p_i)$ clone intersected with the egg is given by the poincaré invariant $\int p dx = \int_0^{2 ...
1
vote
0answers
25 views

Carathéodory–Jacobi–Lie theorem

I am studying Analytical Mechanics and want to prove the following theorem: Let be $(M, \omega)$ a sympletic manifold, $U \subset M $ open, $f_1,\ \ldots,\ f_n \in C(U)$ such that 1 $\{f_i,f_j\}=0 ...
8
votes
1answer
118 views

Explicit homotopy equivalence of homogeneous spaces $O(2n)/U(n)$ and $GL(2n,\mathbb{R})/GL(n,\mathbb{C})$

Exercise 2.25 of symplectic topology by McDuff and Salamon asks me to prove that $O(2n)/U(n)$ is homotopy equivalent to $GL(2n,\mathbb{R})/GL(n,\mathbb{C})$. They suggest to use the polar ...
0
votes
0answers
36 views

Parallel $ (1,1) $-forms on compact Kähler manifolds.

Let $ (X,\omega) $ be a compact Kähler manifold. We know one example of a parallel $ (1,1) $-form, namely, $ \omega $ itself. Are there obstructions for the existence of non-vanishing parallel $ (1,1) ...
1
vote
0answers
19 views

Any good resources for learning about the moduli space of symplectic structures on a given manifold?

What I can find on the subject are the papers by Fricke and the Habermanns: http://www.researchgate.net/publication/227336993_On_the_geometry_of_moduli_spaces_of_symplectic_structures and ...
3
votes
1answer
35 views

The Classification of almost complex structures (almost) tamed by a quadratic form

Preamble I am currently dealing with the almost complex structures associated with a non-degenerate quadratic form. In particular, I am interested the size of the almost complex structures as a ...
4
votes
1answer
48 views

What is a local invariant?

Let $(M,g)$ be a Riemannian manifold. Then, it is usually said that $M$ has local invariants associated to $g$. For example, the curvature of the Levi-Civita connection associated to $g$. My question ...
1
vote
0answers
16 views

About Lefschetz fibration signature

Does there exists a Lefschetz fibration over $S^2$ for any given number admitting it as a signature? I think it is not possible so I need an counter example.
1
vote
1answer
35 views

rank of the symplectic form

This is a general question about ranks of differential forms. I read in a book the phrase "symplectic form has constant rank..." I understand that the symplectic form is a nondegenerate differential ...
0
votes
0answers
26 views

covering finite Dimensional vector space

can a finite dimensional symplectic vector space over finite field be covered with mutually transversal Lagrangian planes(maximal Isotropical Subspaces )?
5
votes
2answers
94 views

symplectic manifolds

I know sometimes they use advanced methods to prove a given 4-manifold is not symplectic. for instance by Seiberg-Witten theory. But for a manifold to be symplectic we just need to check that there is ...
3
votes
2answers
97 views

Why spheres are not symplectic manifolds?

Reading some books on diferential geometry, a found that $S^{2n}$ (with $ n>1$) are not symplectic manifolds. They say it's because the de Rham cohomology of this spheres are R, but I do not ...
1
vote
0answers
28 views

Skew-symmetric non-degenerate bilinear form

If we do symplectic linear algebra on a finite-dimensional vector space $V$, then what does $$\omega(v,w) \neq 0$$ or $$\omega(v,w) = 0$$ actually tell us about the vectors $v,w$? ($\omega$ is the ...
1
vote
0answers
36 views

Pullback 1-differential form

Let $(x_0,x'_0) \in \mathbb{R}^2$ be initial data for the Euler Lagrange equation with some given Lagrangian $L: \mathbb{R}^2 \rightarrow \mathbb{R}.$ Then $F^t$ is the flow that maps the initial ...
4
votes
1answer
94 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 ...
0
votes
0answers
26 views

Why is the $ n $ - exterior power of a symplectic form does not vanish?

Let $ V $ be a vector space. Could someone explain to me why is : Any $ \Omega \in \bigwedge^{2} ( V^* ) $ is of the form $ \Omega = e_{1}^* \wedge f_{1}^* + \dots + e_{n}^* \wedge f_{n}^* $ where ...
1
vote
0answers
33 views

Relative line bundle along divisor $D$

Let $X$ and $B$ be a compact Kahler manifolds and $\pi:X\to B$ be a holomorphic surjective map and $D$ be a divisor in $X$ how can we define relative canonical line bundle on $B$ along a divisor $D$? ...
1
vote
0answers
53 views

Can you have a “real” decomposition of differential forms on a symplectic manifold?

With a choice of (almost) complex structure on a symplectic (Kahler) manifold, has anyone thought of how or what it means to globally define "real" versions of the Dolbeault operators? i.e. Something ...
0
votes
1answer
29 views

Coordinate free definition of the canonical one-form

There is apparently a naturally defined one-form on the cotangent bundle of a smooth manifold $M$: We have the cotangent bundle $\pi:T^*M \rightarrow M$; taking its derivative gives $d \pi:TT^*M ...
2
votes
1answer
43 views

What happens to symplectic basis if bilinearity condition is weak

Let $B:V\times V \rightarrow K$ be a (weak!) bilinear form where $K$ is a finite field with base field $F$ and $V$ a vector space over $K$. Let $u,v \in V$ and $\lambda \in F (!)$ $B(u + v, w) = B(u, ...
1
vote
0answers
31 views

Fibered product of symplectic fiber bundles

Let $P_{1}\to B$ and $P_{2}\to B$ be smooth fiber bundles over the same base manifold $B$, and let us assume that the total spaces $(P_{1},\omega_{1})$ and $(P_{2},\omega_{2})$ are symplectic ...
1
vote
1answer
24 views

symplectic surfaces in 4-manifolds

Is it true that for any surface in a symplectic 4-manifold $X$, representing a given homology class of $H_2(X)$, we can assume it is symplectic? I mean for each second homology class, can we find a ...
1
vote
1answer
32 views

Symplectic lie algebra

Can anyone explain me why, in the symplectic lie algebra, which is defined as $ sp(n)=\{X \in gl_{2n}:X^tJ+JX=0\}$ where $J=\begin{pmatrix} 0 & I \\ -I & 0 \\ ...
1
vote
0answers
25 views

Are the following Hamiltonian actions?

Let $(x,y)$ be the coordinate of $\mathbb{C}^2 \subset \mathbb{P}^1\times \mathbb{P}^1$. Is the $S^1$ action on $\mathbb{P}^1\times \mathbb{P}^1$ given by $$ t\cdot(x,y)=(tx,t^{-1}y) $$ Hamiltonian? ...
1
vote
0answers
30 views

According to Liouville's theorem, why is the measure on an energy-surface different from the measure on the phase space in general

I recently read Khinchin's derivation of Liouville's theorem. I was able to follow the math for the most part, however I was hoping for an intuitive understanding about why the form of the measure on ...
2
votes
0answers
116 views

The meaning of variables and derivations in Souriau's book

As far as I see, Souriau is using unconventional notions in his book "Structure of Dynamical Systems". He explains these notions in §2. of Chapter I, but it is a puzzle for me. Mainly because he ...
2
votes
0answers
86 views

Non-commutative symplectic geometry

How is non-commutative symplectic geometry defined? How does it differ from symplectic geometry? Does Darboux's theorem apply also there?
1
vote
0answers
95 views

The best book on symplectic geometry

I want read an introduction to symplectic geometry. Can you suggest me some book on this theory?
3
votes
1answer
36 views

Generators of $Sp(2n)$

Let $\sigma =\begin{pmatrix} 0 & 1 \\ -1 & 0\end{pmatrix}$. Define $J_{2n} = \underbrace{\sigma \oplus \cdots \oplus \sigma}_{\text{$n$ copy}}$. We define a $2n \times 2n$ real matrix matrix ...
0
votes
0answers
25 views

Symplectic manifold question.

Let $M=\mathbb R^2$ with coordinates $x$ and $y$ with a symplectic two form $\omega =dx\wedge dy$. Let $\phi _p :T_pM\mapsto T^*_pM$. My confusion is regarding the initial step in defining the ...
0
votes
1answer
50 views

Expression for Hamiltonian vector field!

How does one prove that the Hamiltonian vector field has the following expression, what is the reasoning? \begin{equation} X_H=\sum ^n_{i=1}\frac{\partial H}{\partial q_i}\frac{\partial }{\partial ...
2
votes
1answer
61 views

$(p,q)$ part of a complex differential form in terms of the complex structure $J$?

Say $M$ is a complex manifold, viewed as real $C^{\infty}$ manifold with an integrable almost complex structure $J$. Let $\omega$ be a complex $r$-form on $M$. Is there a way to express the $(p,q)$ ...
0
votes
0answers
49 views

Lagrangian and Hamiltonian Mechanics

I am interested in how Lagrangian and Hamiltonian mechanics and then symplectic geometry was developed starting from Newtonian mechanics. We can start by assuming that Newtonian mechanics tells us ...
1
vote
0answers
28 views

Invariants under Hamiltonian mechanics?

I am interested in certain properties of measures evolving according to Hamiltonian mechanics. Say we have a point $z$ in phase space: $z = (p,q)$ where $p$ is a generalized momentum vector and $q$ is ...
1
vote
1answer
62 views

acrobatics with $2$-form in $\mathbb{R}^{2n}$ [closed]

In the space $V = \mathbb{R}^{2n}$ with coordinates $(x_1, \dots, x_n, y_1, \dots, y_n)$ consider the $2$-form $\omega = \sum_{i=1}^n x_i \wedge y_i$. Let $A$ be a $n \times n$ matrix. Consider a ...
3
votes
0answers
51 views

What does it mean for a Symplectic Form to be invariant under Group Action?

This should be a very basic question for people familiar with differential manifolds. I'm more or less new to the field so let me apologize in advance for ill-defined questions if arising. I split the ...
6
votes
1answer
179 views

How to find the integral curves that are orbits of one-parameter groups?

Consider $\mathbb{R}^2$ with standard symplectic structure and inner product. Consider a Hamiltonian $$H=(x,y)A(x,y)^t$$ where $$A=\begin{pmatrix} \alpha & \beta \\ \beta & \delta ...