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
1answer
38 views

Passage in a proof from Hofer-Zehnder

The proof I'm referring to is to the following theorem. Assume $S$ is a compact regular and strictly convex energy surface for the Hamiltonian field $X_H$ in $\mathbb{R}^{2n}$. Then $S$ carries a ...
1
vote
1answer
35 views

Is this statement on symplectic maps completely general or does it need some extra hypotheses (as the ones with which I proved it)?

A lemma from McDuff-Salamon says that $\psi:\mathbb{R}^{2n}\to\mathbb{R}^{2n}$ is symplectic iff $\{F,G\}\circ\psi=\{F\circ\psi,G\circ\psi\}$. I proved that. Then there is an exercise showing that $\{...
0
votes
0answers
24 views

Showing that the intersection of two particular vector spaces has codimension 1 in the smaller of the two spaces

Here is the setting: I have a compact symplectic manifold $(X^{2n},\omega)$ and a compact symplectically embedded submanifold $(M^{2d},\sigma)$; that is, $\iota^{\ast}\omega=\sigma$. The dimension 2d ...
2
votes
1answer
57 views

Corresponding toric variety for n-simplex

Let $P $ be a Delzant polytope and $X_P $ be a corresponding Toric variety. I want to see if $P=\sum $ be a n-simplex then $X_P=\mathbb P^n$
3
votes
0answers
61 views

Computing the signature of the intersection form on the middle cohomology of compact, symplectic, non-Kaehler manifolds…

For a compact Kaehler manifold, one can compute the signature of the intersection form on the middle-degree cohomology, by taking an alternating sum of the Hodge numbers (this is the Hodge Index ...
1
vote
2answers
47 views

construct a connection such that a given tensor is parallel wrt it

Let $\omega$ be a symplectic form on a smooth manifold $M$. How does one construct a connection on $TM$ such that $\omega$ is parallel to it? It's easy to construct a connection on a dual bundle ...
0
votes
0answers
32 views

Does $\{f,g\}$ mean anything when neither $f,g$ are the hamiltonian of a system?

Say one has a mechanical system with hamiltonian $H$, and two other arbitrary observables $f,g$. $H$ is super useful since $\{H, \cdot\} = \frac{d}{dt}$. But does $\{f,g\}$ give any useful information ...
0
votes
0answers
43 views

Geometric interpretation of kernel and critical points of a moment map

A moment map $\mu$ is defined when one has a Hamiltonian $G$-action on a symplectic manifold $M$, for some Lie group $G$. My question is, what are the geometric interpretations of the kernel and ...
3
votes
0answers
37 views

What is the actual definition of “polarizing form”, in the context of cohomology algebras?

I am studying Voisin's Hodge Theory and Complex Algebraic Geometry, in order to better understand the underpinnings of her 2008 paper on Hodge structures. She discusses elements $\omega$ in $H^{2}(...
3
votes
2answers
243 views

Intuition behind variational principle

Hofer-Zehnder, in section 1.5, proves that every Hamiltonian field on a strictly convex compact regular energy surface carries a periodic orbit. I have understood the proof. What I am wondering about ...
5
votes
0answers
121 views

When is a vector field hamiltonian with respect to some symplectic form?

Given a vector field $v$ on a $2n$-dimensional manifold, how many symplectic forms are there on $M$ that make $v$ a hamiltonian vector field? Alternatively, take the set of all $(H,\omega)$ pairs, mod ...
1
vote
0answers
70 views

Canonical Transformation and Symplectic Conditions

I have one question regarding Canonical transformation and symplectic matrix. I have read some notions from the following note: http://www.chim.unifi.it/orac/MAN/node6.html For me it is not clear ...
1
vote
0answers
32 views

Poincaré-Birkhoff theorem in sympl. geometry

On p. 274 of McDuff and Salamon's Introduction to symplectic topology a corollary to the Poincaré Birkhoff theorem is presented. So we are given an area preserving map on an annulus $\psi(x,y)=(f(x,y)...
10
votes
2answers
480 views

Arnold's theorem on action-angles.

I changed the question slightly in its form to make it more readable. I have a question about the action-angle theorem on p. 283 in Arnold's textbook on classical mechanics.(I added the link to this ...
3
votes
1answer
30 views

What is the general form of an area-preserving map of $\mathbb{R}_2$?

A Hamiltonian flow generates such a map. But what is the most general form of such a map? Any theorem? Any procedure to generate such a map? Of course, I want the map to be continuous.
6
votes
1answer
49 views

Exterior 2-form, 1-form, Hodge star operator.

In $\mathbb{R}^{2n}$ with coordinates $x_1, x_2, \dots, x_{2n}$, consider an exterior 2-form$$\eta = \sum_{k=1}^n x_{2k-1} \wedge x_{2k}.$$Given a 1-form $\alpha = \sum_{i=1}^{2n} a_ix_i$, what is the ...
2
votes
2answers
132 views

Formula about time derivative of pushforward of family of forms: where is it from?

Proving Darboux's theorem, Hofer-Zehnder try to find, given $\omega$ a closed nondegenerate 2-form and $\omega_0$ the canonical symplectic form, a family of diffeomorphisms $\phi^t$ such that for all $...
4
votes
0answers
46 views

rigid body poisson bracket

i have trouble to understand the definition of the rigid body poisson brackets. In the book of Marsden and Ratiu "Introduction to Mechanics and Symmetry", in chapter 10.1 they introduce the poisson ...
1
vote
0answers
46 views

Is the induced volume on submanifolds unique?

consider a $2n$-dimensional manifold $\mathcal{M}$ With a volume element $\omega$. Now consider a $(2n-2)$-dimensional submanifold $\mathcal{N}$. How one can define a volume on $\mathcal{N}$ based on $...
3
votes
1answer
128 views

smooth manifolds and preimage of momentum mappings

Let $G$ be a Lie group acting on itself as $\phi(h)(g)= L_h(g)$ as a left translation. Then we can consider the cotangent lift of this action, namely $\Phi: G \times T^*G \rightarrow T^*G$ as $\Phi(h)...
3
votes
1answer
64 views

Determinant structure of symplectic matrix

I want to show that if $\lambda$ is a real eigenvalue of a symplectic matrix $A$ then its char poly is of the form $\det(A-\mu id) = (\lambda-\mu)(\frac{1}{\lambda}-\mu) \det(\hat{A}- \mu id) $ where $...
2
votes
0answers
25 views

Definition of $k$-precosymplectic manifold

A precosymplectic manifold of rank $2r$ is a triple $(M,\omega,\eta)$ where $M$ is a smooth manifold of dimension $2m+1$, $\omega$ is a closed 2-form on $M$ and $\eta$ is a closed 1-form on $M$ such ...
0
votes
0answers
38 views

Determining the corresponding vector field to a group action.

Im having trouble trying to understand how to determine the corresponding vector field to a group action on a symplectic manifold. I feel this will be easier if I give two examples which are confusing ...
2
votes
1answer
51 views

Symplectic transform between pairs of Lagrangian subspaces

Let $V$ be a symplectic space. Suppose $(W_1, W_2)$ and $(U_1, U_2)$ are pairs of complementary Lagrangian subspaces. There exists a symplectic transform which maps $W_i$ into $U_i$, right? There ...
1
vote
1answer
102 views

Symplectic form and wedge sum

The wedge sum of $k$ symplectic 2-forms is given by ( if $\omega = \sum_i e_i^* \wedge f_i^*$) $$ \omega^k = k! \sum_{1\le i_1 <...<i_k \le n} (e_{i_1}^* \wedge f_{i_1}^*) \wedge ... \wedge (...
0
votes
1answer
29 views

Using the flow to show a certain compact connected set isomorphic to a torus.

So i've found this lemma in some notes on symplectic manifolds and I think i'm lacking some basic knowledge on flows as I the hint for the proof makes no sense to me. It goes as follows. Lemma 18.11: ...
0
votes
0answers
44 views

Integrate symplectic two-form

I am supposed to show the following (maybe falsely stated) theorem Let $\Phi$ be a symplectic group action $\Phi: G \times M \rightarrow M$ on a manifold $M$. Assume that the symplectic form $\omega$ ...
0
votes
0answers
35 views

Lie group action from the Lie algebra

want to find the corresponding lifting f the standard U(n) lifting on $C^n$ to $L=C^n \times C$ with hermitian metric $e^(-|z|^2)$. I try to follow the method in Donaldson, and I find if B in u(n) ...
2
votes
1answer
58 views

Typo in “Intro to Contact Topology” by Geiges, Lemma 1.4.10?

In Introduction to Contact Topology by Geiges, there is a result relating Hamiltonian and Reeb flows for hypersurfaces of contact type in a symplectic manifold. Lemma 1.4.10 $\,$If a codimension 1 ...
2
votes
1answer
47 views

Without loss of generality in proof about subspaces in symplectic linear algebra

A linear symplectic space is a 2n-dimensional vector space $V$ with a symplectic two form $\omega.$ On this vector space $V$ is a canonical basis $(e_1,...,e_n,f_1,...f_n)$ with $\omega(e_i,f_j) = \...
0
votes
0answers
68 views

Problems understanding this proof

$\textbf{Theorem 3.5.10}$ (Arnol'd $[1]$). Suppose $(M,\sigma)$ is a symplectic manifold of dimension $2n$, let $f_1,...,f_n$ be an involution on $M$, and finally assume that the Hamilton fields $H_{...
2
votes
1answer
117 views

Trouble understanding proof of this proposition on contact type hypersurfaces

I have finally started working on my thesis. I am reading the first reference book, which is Dusa McDuff, D. Salamon, Introduction to Symplectic Topology. It's a tough struggle, given my not-too-great ...
0
votes
0answers
46 views

Mistake in book on symplectic topology?

I just read the proof of the non-squeezing theorem in "Introduction to symplectic topology" by Mc Duff and Salamon. The thing that is strange is that they say: Let $\Psi$ be the linear transform ...
2
votes
1answer
242 views

Two definitions of conormal bundle

Suppose $X$ is a smooth manifold and $f: Z \to X$ is an immersion with transverse self-intersection. I've seen (e.g. here) the conormal bundle to $Z$ in $T^* X$ defined as Definition A: $\quad L_Z := ...
2
votes
0answers
48 views

Question on symplectic geometry

I am currently reading this paper on symplectic geometry. It deals with the question how the stability properties of a sequence of (periodic) points or fixed points can be related to the second ...
1
vote
0answers
60 views

Question for experts in dynamical systems or symplectic geometry

I am looking for a theorem (read it once, but forgot about it and would now like to find a reference with proof): In symplectic geometry (at least for some particular subset of $\mathbb{R}^2$), there ...
2
votes
1answer
99 views

Easy classical physics made mathematically rigorous!

Consider the following: We are given a symplectic manifold $M$. Now, we define a Hamilton function $H : M \rightarrow \mathbb{R}.$ Additionally, we want that $H^{-1}(x)=:M_x$ is a submanifold. We can ...
1
vote
0answers
45 views

Gaussian unitary dilation of Gaussian channels

I am starting with a few definitions. All these are standard and can be accessed from some quantum information or quantum physics books, for instance the books by Holevo or Parthasarathy. The question ...
0
votes
0answers
17 views

Why is Chirikov Map is a Twist Map?

Chirikov Map, also know as Standard Map, is define by $$ X(x,y)= x + y - \frac{k}{2\pi}\sin{2\pi x} \\ Y(x,y)=y - \frac{k}{2\pi}\sin{2\pi x}$$ the definition 4.1 given by Christophe Golé, in the book ...
1
vote
1answer
43 views

Symplectic manifold

Let ($M$, $\omega$) be a symplectic manifold of dimension $2n$. Then $\omega$ is non-degenerate $2-form$ by definition. Now, my question is if we can conclude that $\omega \wedge ...\wedge \omega$ ...
2
votes
1answer
40 views

Hamiltonian flow local diffeomorphism?

I am currently reading Arnold's proof of the Darboux theorem in his book on classical mechanics and fail to understand some point. The background So he wants to show that any symplectic form is ...
3
votes
3answers
114 views

Exterior derivative

Let $$\omega = \frac{1}{2} \sum_{i,j} \omega_{i,j} dx_i \wedge dx_j$$ be an antisymmetric form, so i.e. $\omega_{i,j} = - \omega_{j,i}.$ Now, in some lecture notes I found that $$d \omega (X_F,X_G,...
0
votes
1answer
54 views

Symplectic geometry spectrum

I have a question about a step in the proof of the following theorem from symplectic geometry: The theorem is: Given any ellipsoid $E:=\{ w \in \mathbb{R}^{2n}; \sum_{i,j =1}^{2n} a_{ij}w_iw_j \le 1\}...
0
votes
1answer
49 views

Hamiltonian vector field and symplectic geometry

I want to show the following theorem: For any Hamilton function $H : M \rightarrow \mathbb{R}$ on some symplectic manifold $M$ and symplectomorphism $f : M \rightarrow M$ we have $X_{H \circ f} = f^*...
3
votes
1answer
74 views

Stokes' theorem and symplectic geometry

Let $V = \mathbb{R}^2,$ as a vector space then the Poincaré invariant is an integral $\int_{\gamma} \theta$ where $\theta = p dx $ is the symplectic 1-form and $\gamma$ a closed curve. Now, it is ...
0
votes
0answers
40 views

Symplectic form on a Hilbert Space is Closed

Let $\mathcal{H}$ be a Hilbert space over $\mathbb{C}$. Define a new vector space, $V$, over $\mathbb{R}$, which has, on the level of sets, $V = \mathcal{H}$ and for scalar multiplication (only with ...
1
vote
1answer
304 views

Two different definitions of a Liouville measure

Ok, I'm currently confused because of two different definitions for the Liouville measure associated to a smooth manifold $M$ of dimension $n$. These are: a) The measure $\mu$ on the cotangent bundle ...
0
votes
1answer
49 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 https://na.uni-tuebingen.de/~lubich/chap6....
3
votes
1answer
121 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 $M_{n,p}(\mathbb{R})...
1
vote
0answers
83 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 $f\in\...