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)

9
votes
2answers
240 views

Kähler metrics on the coadjoint orbits of a compact Lie group

Let $G$ be a compact Lie group with Lie algebra $\mathfrak{g}$. It is well-known that each orbit for the coadjoint representation of $G$ on $\mathfrak{g}^*$ carries a canonical symplectic structure, ...
5
votes
1answer
67 views

Periodic orbits on centre manifold

I am interested in periodic orbits of mechanical systems of second-order dynamics with no damping, i.e. governed by an equation of the type \begin{equation}(1)\quad \ddot x + f(x)=0 \end{equation} ...
1
vote
1answer
38 views

Pullback of a Hamiltonian

I understand that a Hamiltonian vector field $H$ creates a Hamiltonian flow $\phi_t$. Now, in order to prove that the Hamiltonian is conserved one uses the following \begin{eqnarray*} ...
1
vote
1answer
61 views

Is the group of symplectomorphisms of a symplectic manifold the symplectic group?

The group of symplectomorphisms of a symplectic manifold $M$ is a subgroup of the group of diffeomorphisms $GL(n)$, actually it is a subgroup of $SL(n)$. My question is whether this group of ...
1
vote
3answers
34 views

Help with the definition of a bilinear form $\omega$

According to this for $V$ a $2n$ (real) dimensional space any bilinear form $\omega: V \times V \to \mathbb{R}$ induces a linear map $\tilde{\omega}: V \to V^*$ via $$ \tilde{\omega}(v) := \omega(v, ...
1
vote
0answers
36 views

Everything about Legendre transform

The Legendre transform, or transformation, seems to have many properties which are useful in different fields. For example: It switches between Lagrangian and Hamiltonian formalism in mechanics / ...
0
votes
0answers
21 views

$G$-invariant functions on Manifolds

In a paper I saw the following statement: Let $M$ be a connected symplectic manifold and $G$ be a compact Liegroup acting symplectically and hamiltonian on $M$. Let $\Phi \colon M \to \mathfrak{g^*}$ ...
1
vote
0answers
38 views

Polynomial functions on a smooth manifold

If one views $\Bbb R ^{2n}$ as the cotangent bundle of $\Bbb R ^n$, with coordinates $(q_1, \dots, q_n, p_1, \dots, p_n)$, then in order to do classical Hamiltonian mechanics on it one considers ...
1
vote
0answers
32 views

Is time-1 map of a Hamiltonian vector field defined on a cylinder always twist?

Suppose I have a one degree of freedom analytic Hamiltonian $H(q,p)$ defined on a semi-infinite cylinder, i.e. $(q,p) \in \mathbb{T} \times \mathbb{R}^{+}$, such that all level sets $H(q,p)=c$ are ...
1
vote
1answer
105 views

Alternative to Arnold's mathematical methods

I have difficulties understanding Arnold's book of mathematical methods of classical mechanics. Yet I should get some familiarity with the subjects found at chapters 3,4,7,8 before next semester to ...
1
vote
0answers
37 views

Is there a way to compute the Poincaré dual of the following type of degree $(2n-2)$ de Rham class?

Given a closed, connected, symplectic manifold $(X^{2n},\omega)$, is there a systematic method to computing the Poincaré dual surface to degree $(2n-2)$ classes of the form $$[\omega]^{n-2}\cup B + ...
1
vote
1answer
36 views

Root spaces for symplectic Lie algebra $\mathfrak{s} \mathfrak{p}_n$

Consider the symplectic Lie algebra $\mathfrak{s} \mathfrak{p}_n$ over a field $K$. I know that the root system is given by $C_n=\{\pm 2e_j, \pm e_j \pm e_k:j,k=1 \cdots n, j \neq k\} $ where ...
0
votes
0answers
23 views

sympletic form of the hyperboloid

I'm working with the Hyperboloid of two leefs $H_2$ as a coadjoint orbit of $\mathfrak{sl}^*(2, R)$. I know that $H_2$ is a symplectic manifold by the following theorem: Given a Lie group G and ...
2
votes
0answers
36 views

A very general question about blow-up for experienced symplectic topologists and algebraic geometers

I am trying to understand the process of symplectic blow-up of compact symplectic manifolds $M^{2n}$ along compact symplectic submanifolds $X$ on a deeper level, and I am also searching for relevant ...
0
votes
0answers
22 views

Exact sequences of sympletic vector spaces

Is it true that if one has an exact sequence of vector spaces: $0 \to V \to W \to S \to 0$ Such that W is a sympletic vector space of even complex dimension and S has even real dimension and V has ...
1
vote
0answers
96 views

Does the Poisson bivector give rise to an integrable distribution?

I am reading the book Lectures on the geometry of Poisson manifolds, by Izu Vaisman. To a Poisson structure $\{\cdot,\cdot\}$ on a manifold $M$ we associate the Poisson bivector field ...
2
votes
1answer
18 views

Hamiltonian vector field - confusion

I am trying to understand the definition of a Hamiltonian vector field. I take as my symplectic manifold the sphere $$p_1^2+p_2^2+p_3^2=1$$ with symplectic form $$\omega=p_1 dp_2 \wedge dp_3+ p_2 dp_3 ...
2
votes
0answers
33 views

What's the best place to learn Quantum Homology

I am a PhD student and I am trying to learn quantum homology. I already know some of the analysis, but I am struggling to really find a good readable reference which covers enough of the analysis to ...
0
votes
0answers
67 views

Suitable reference for learning symplectic geometry

I am interested in studying symplectic geometry by myself and I'm looking for a good text to use as a reference in the way. I am a bit lost because I've found a lot of notes and books on the subject ...
0
votes
0answers
33 views

KAM theorem for symplectic maps using Generalized Implicit Function Theorems

I've been studying KAM theory for a while and as many of you surely know, there exist many methods in proving "KAM theorems" for different settings. Most of the literature deal with the persistence of ...
3
votes
1answer
61 views

Over the reals the intersection of the orthogonal and symplectic groups in even dimension is isomorphic to the unitary group in the half dimension.

See the answer here. Over the reals the intersection of the orthogonal and symplectic groups in even dimension is isomorphic to the unitary group in the half dimension:$$ U(n) = O(2n, ...
0
votes
0answers
32 views

Delzant theorem for polyhedra

Delzant theorem says that there is a 1-1 correspondence between compact toric symplectic manifolds (modulo equivariant symplectomorphism) and the Delzant polytopes (modulo lattice isomorphism). The ...
2
votes
0answers
36 views

Computing real de Rham cohomology of Hironaka's 3-manifold example

I have read the construction of Hironaka's famous 3-manifold example: in short, it is a union of two smooth curves $C$ and $D$ in a smooth projective 3-manifold $P$ which intersect each other at two ...
1
vote
0answers
14 views

What does the notation $G\times_P\mathfrak{p}^\perp$ mean, for $P\subset G$ Lie groups?

Suppose $G$ is a Lie group, $P$ a Lie subgroup with $\mathfrak{p}$ the associated Lie algebra. What object is $G\times_P\mathfrak{p}^\perp$? I don't understand what the $\times_P$ means, ...
2
votes
0answers
40 views

Showing Hofer's metric is bi-invariant

Im trying to show that the Hofer metric on a symplectic manifold is bi-invariant but im struggling. Firstly, given the flow $\rho_t$ of a hamiltonian $H_t$, the Hofer metric is $$ ...
5
votes
0answers
133 views

Darboux's Theorem Alternate Proof

I've been given the task of proving Darboux's theorem through non-standard means. Definitions Let $(M,\phi)$ be a symplectic manifold. $\mathcal{F}_{\text{SP}(V)}(M)$ is the bundle of frames ...
1
vote
1answer
30 views

How the canonical symplectic form acts

I've read that the canonical symplectic form $\omega$ on $\mathbb R^{2n}$ is given by $$\omega=\sum_{i=1}^n dp_i\wedge dq_i,$$ where $(p_1,\dots,p_n,q_1,\dots,q_n)$ are the coordinates on $\mathbb ...
1
vote
1answer
35 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
34 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
23 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
56 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
30 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
37 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
36 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 ...
3
votes
2answers
232 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
115 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
68 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 ...
10
votes
2answers
432 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
126 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
127 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 ...
3
votes
1answer
63 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 ...