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)

15
votes
1answer
978 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 ...
13
votes
1answer
343 views

Symplectic reversing diffeomorphisms

Let $(M,\omega)$ be a compact symplectic manifold. Is there a diffeomorphism $f$ on M with $f^{*}\omega =-\omega$?
12
votes
2answers
433 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. <...
11
votes
1answer
245 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 ...
10
votes
2answers
854 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 ...
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 ...
10
votes
2answers
471 views

Showing that some symplectomorphism isn't Hamiltonian

I have the next symplectomorphism $(x,\xi)\mapsto (x,\xi+1)$ of $T^* S^1$, and I am asked if it's Hamiltonian symplectomorphism, i believe that it's not, though I am not sure how to show it. I know ...
10
votes
2answers
482 views

Floer theory or Floer homology, an introduction for physicists needed

I need an introduction to Floer theory that's suitable for perhaps a beginning math grad student or a 2nd year physics grad student. The wiki article is sufficiently over my head that it reads as "bar"...
9
votes
2answers
263 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, ...
9
votes
1answer
218 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 ...
8
votes
2answers
1k views

symplectic lie algebra is simple

The symplectic lie algebra defined by $sp\left(n\right)=\left\{ X\in gl_{2n}\,|\, X^{t}J+JX=0\right\}$ when $J=\begin{pmatrix}0 & I\\ -I & 0\end{pmatrix}$. So $X\in sp\left(n\right)$ is of ...
8
votes
1answer
162 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 ...
7
votes
1answer
813 views

Tangent space of Cotangent bundle at zero section?

Let $M$ be a differentiable manifold with cotangent bundle $T^*M$. How can I prove that $T_{(p,0)}T^*M$ is naturally isomorphic to $T_pM\oplus T_pM^*$? If this true, then I think I could prove that ...
7
votes
1answer
292 views

Moment map of the action of $\operatorname{SO}(3)$ on the sphere

The moment map of the action of $\operatorname{SO}(3)$ on the sphere can be thought of as inclusion from $S^2$ into $\mathbb R^3$ by identifying $\mathfrak{so}(3)$ (the Lie algebra of $\operatorname{...
7
votes
1answer
429 views

is the geodesic flow on Hyperbolic Plane completely integrable?

I'm looking for examples of completely integrable systems and specifically geodesic flows. We remember that when we have a symplectic manifold $(M,\omega)$ (with $M$ of dimension $2n$) and $H:M\...
6
votes
1answer
96 views

Is Floer homology always isomorphic to the singular homology of some space?

After I studied Morse homology, I'm now studying the following Floer homology theories : 1) Symplectic Floer homology ; 2) Floer homology of lagrangians ; 3) Heegard-Floer homology ; ...
6
votes
1answer
313 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 requisit,...
6
votes
1answer
292 views

compact symplectic manifolds

Why there is no compact symplectic submanifold with dimension greater than 2 in $\mathbb{R}^{2n}$ ?
6
votes
2answers
124 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 ...
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 ...
6
votes
1answer
188 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 \end{pmatrix}...
6
votes
1answer
276 views

Symplectic geometry as a prerequisite 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 ...
6
votes
1answer
130 views

Is the Poisson tensor associated to a left invariant symplectic form, also left invariant?

Given a left invariant symplectic form $\omega$ on a Lie group $G$, the Poisson tensor associated to $\omega$ is given by $$\pi(df,dg)=\omega(X_f,X_g)$$ where $X_f$ is the hamiltonian vector field ...
6
votes
1answer
319 views

is any hamiltonian system with just one degree of freedom completely integrable?

An hamiltonian system with $n$ degree of freedom is said to be completely integrable when there exists an system $f_1,\ldots,f_n$ of first integrals mutually Poisson-commuting, such that $df_1(x),\...
6
votes
2answers
838 views

Symplectic form on a complex manifold

I am a little muddled and am hoping I can get some clarification about forms in a complex manifold. Since I am only concerned with local issues, consider $M = \mathbb C^n$ as a complex manifold. So ...
6
votes
2answers
382 views

Topology on the space of compatible almost complex structures in symplectic geometry

I have a few fairly generic questions, with a specific application to symplectic geometry in mind. Let me pose the specific problem first: Let a symplectic manifold $(M,\omega)$ be given. One is ...
6
votes
1answer
177 views

Proof for the existence of a second fixed point in Poincaré's last geometric theorem

In "Geometry and Billiards" by S. Tabachnikov the author proves Poincaré's last geometric theorem: "An area-preserving transformation of an annulus that moves the boundary circles in opposite ...
5
votes
4answers
951 views

Why does symplectic geometry have many applications in mathematics

It is not quite intuitive , at least from its origin. Could any one can give me an intuitive explanation?Thank you!
5
votes
1answer
329 views

$4$-form $ \omega \wedge \omega$ vanishes on $S^4$

If $\omega$ is a closed $2$-form on $S^4$, how can I show the $4$-form $ \omega \wedge \omega$ vanishes somewhere on $S^4$? I am guessing that the fact we're talking about the $2$-form being ...
5
votes
2answers
314 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$ : $f([z_0,z_1])=[z_0^3,...
5
votes
2answers
106 views

How to find lagrangian submanifolds.

I am quite confused on the definition of a lagrangian submanifold $L$ of a symplectic manifold $(M,\omega)$. In particular, I read that $L \subset M$ is lagrangian iff the symplectic form field $\...
5
votes
2answers
450 views

No symplectic structure on $S^{2n},\ n>1$

I am trying to show that there is no symplectic structure on the $2n$-dimensional sphere $S^{2n}$, where $n>1$. I've tried following these steps: (a) Given a compact $2n$-dimensional symplectic ...
5
votes
1answer
297 views

Looking for a good book on Morse-Bott functions.

I am looking for a book to study for the first time Morse-Bott functions. Does anyone know one that is easy to follow and detailed? If there is one connecting this subject with symplectic geometry, it ...
5
votes
1answer
91 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$ ...
5
votes
1answer
102 views

Space of oriented lines in $\mathbb{R}^{n+1}$ as symplectic quotient.

I've been working out a nice example of symplectic reduction, and have come to a solution only after quite a lot of effort. So I was wondering if anyone knew a more straightforward route to the answer....
5
votes
1answer
196 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 ...
5
votes
1answer
225 views

Fukaya Categories

What references are there for learning about Fukaya categories (specifically, good references for self-study)? In addition, any references with an eye toward homological mirror symmetry would be ...
5
votes
1answer
75 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} ...
5
votes
0answers
47 views

Not understanding the foliation structure of a Poisson manifold

Consider a Poisson manifold $(M, P)$ (no assumption about the rank or regularity of $P$). For each possible rank $2r$ of $P$, let $(M_r, P_r)$ be the corresponding symplectic leaf of dimension $2r$, ...
5
votes
0answers
138 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 $(\eta^...
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 ...
4
votes
2answers
248 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 ...
4
votes
1answer
506 views

volume of projective space $\text{Vol}(\mathbb CP^N)$

How can we compute the volume of projective space $$\text{Vol}(\mathbb CP^N)$$
4
votes
1answer
43 views

Hamiltonian Mechanics and the Symplectic Category

Are canonical transformations (in the sense of Hamiltonian mechanics) morphisms for a certain category? They seem to fit the archetypal description of morphisms being "structure-preserving maps". ...
4
votes
1answer
174 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 \...
4
votes
1answer
541 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
468 views

Why is $Sp(2m)$ as regular set of $f(A)=A^tJA-J$, and, hence a Lie group.

I'm trying to prove that $Sp(2m)$ is a Lie group using this: defining a function $f(A)=A^tJA-J$ and trying to see that this is a submersion. But I've not realized yet what is the domains and the range ...
4
votes
1answer
44 views

Symplectic manifold, flow $\phi_t$ generated by unique vector fiel $X_f$ preserves symplectic form $\omega$?

Let $M$ be a symplectic manifold with symplectic form $\omega$, let $f$ be a smooth function on $M$, and let $X_f$ be the unique vector field on $M$ so that $df(Y) = \omega(X_f, Y)$ for all vector ...
4
votes
1answer
84 views

the tautological 1 form

My question relates to p317-p318 of John Lee's "Introduction to Smooth Manifolds" discussion about the tautological 1 form. In Proposition 12.24, we have the expression: $\tau_{(x, \xi)} = \pi^* (\...
4
votes
1answer
129 views

Symplectic Chart

I was reading the article "Symplectic structures on Banach manifolds" by Alan Weinstein. In this article there is one theorem, which is as following: If $B$ is a zero neighborhood in Banach space. ...