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
156 views

What is Darboux coordinate?

What is Darboux coordinate? Is it different from coordinates from $\Bbb R^n$ or some smooth manifold? I am familiar with Riemanian manifolds, but at some how Darboux coordinates, came up in some ...
1
vote
1answer
63 views

Symplectic form and volume of parallelepiped

Define the canonical symplectic form $\omega$ on $\mathbb{R}^{2n}$ by $\omega(u,v)=u^TJv$, where $$J=\begin{bmatrix} 0 & I_n \\ -I_n & 0 \end{bmatrix}.$$ I do not understand why the volume ...
5
votes
1answer
85 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 ...
1
vote
0answers
32 views

If a (linear) relation maps Lagrangian subspaces to Lagrangian subspaces, is it a Lagrangian relation?

Let $(U,\omega),(V,\rho)$ be symplectic vector spaces. We call a relation $U \to V$ a Lagrangian relation (also Lagrangian correspondence) if it is a Lagrangian subspace of $\overline U \oplus V$, ...
1
vote
0answers
48 views

References for the moduli space of conformal structures on a disk minus boundary points

In an article I'm reading, it is said that the moduli space of conformal structures on a disk minus $k+1$ boundary points is a ($k-2$)-dimensional manifold. I want to understand why and have done some ...
2
votes
1answer
74 views

Constructing lagrangian submanifold of a symplectic manifold

Let $(M,\omega)$ be a symplectic manifold. To keep it simple, let us take $M = \mathbb{R}^{2n}$ with linear coordinates $(x^1,\ldots,x^n,y^1,\ldots,y^n)$ and the standard symplectic form $\omega = ...
2
votes
1answer
108 views

Is there a nice/clever way to visualize $\mathcal{S}\times \mathbb{R}^2$?

The (velocity) phase space of a double pendulum can be seen as the tangent bundle of its configuration space ($\mathcal{S}^1\times\mathcal{S}^1$), that is: ...
3
votes
1answer
131 views

Symplectomorphism Preserves Cotangent fibrations

Let $M$ be a manifold with local coordinates $x^1,\dots,x^n$ and $T^\ast M$ the cotangent bundle with induced coordinates $x^1,\dots,x^n,\xi_1,\dots,\xi_n$ . Let $\alpha$ be the tautological one form ...
0
votes
0answers
73 views

Proof of Arnold-Liouville's Thm: movement in angular coordinates conditionally periodic

I'm reading Arnold's book Mathematical Methods in Classical Mechanics and got stuck on the proof of Liouville's theorem on integrable systems. The proof finishes with Problem 11: Show that the motion ...
2
votes
1answer
42 views

Darboux theorem and symplectomorphisms

In the lecture note I am reading there is following claim: Let $(M,\omega)$ be a symplectic manifold, $f,g : M \rightarrow M$ symplectomorphisms, and $L \subset M$ a Lagrangian. Suppose $f(x) = g(x)$ ...
4
votes
1answer
175 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 ...
2
votes
2answers
63 views

Recommended textbooks for Hamiltonian group actions?

I am doing a project on Hamiltonian group actions on symplectic manifolds, and my supervisor was able to list several good books on Riemannian geometry to start me off, but he didn't know of any ...
3
votes
1answer
284 views

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

How can we compute the volume of projective space $$\text{Vol}(\mathbb CP^N)$$
1
vote
2answers
66 views

Definition of Hamiltonian vector fields

Suppose that $(M,\omega)$ is a a symplectic manifold. Since $\omega$ is non-degenerate, it sets up an isomorphism $$\omega:TM\rightarrow T^*M$$ between $TM$ and $T^*M$. Why does non-degeneracy ...
2
votes
1answer
124 views

Moment map of the action of $SU(2)$ on $\mathbb C^{2n}$

Let $SU(2)$ acts on symplectic space $((\mathbb C^2 -\ (0,0))^{n},\omega)$, where $$\omega=dx_1\wedge dx_2+dx_3\wedge dx_4+\cdots+dx_{4n-3}\wedge dx_{4n-2}+dx_{4n-1}\wedge dx_{4n}$$ as ...
0
votes
0answers
37 views

coordinates for $T^*M$, $T^*T^*M$, $T^*T^*… T^*M$

This relates to my previous question on the tautological one form. I'm reading John Lee's Smooth Manifold book. Anyway, I wanted to clear up on some notation, which is confusing at first, but I ...
4
votes
1answer
63 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^* ...
-2
votes
1answer
51 views

reduced space of coadjoint orbit

Let $G$ be a compact Lie group and $\lambda\in \frak{g}^*$$=(Lie G)^*$ and $O_\lambda$ be the Coadjoint orbit through $\lambda\in \frak{g}^*$ and $\mu:O_\lambda\to\frak{g}^*$ be the moment map, ...
0
votes
0answers
33 views

A relation between $vol(M)$ and $vol(T^*M)$?

Let $(M,\omega)$ be a symplectic manifold then what is relation between $\operatorname{vol}(M)$ and $\operatorname{vol}(T^*M)$?
1
vote
1answer
37 views

the fixed points of symplectic diffeomorphism

Let $(M,\omega)$ be a closed symplectic manifold with $\pi_2(M)=0$. Let {$f_t$}, $f_0=id$,$f_1=f\ne id$ be a Hamiltonian path on M generated by a Hamiltonian function F. Then how to prove that f has a ...
1
vote
0answers
38 views

Relation between volume of reduced space and phase space

Let $G$ ba a compat Lie group and $\frak g$ be its Lie algebra, then by Marsden-Weinstein reduction theory we know that if $J:M\to \frak g^*$ be its equivariant moment map then the reduced space is ...
0
votes
1answer
39 views

When is symplectic pullback bundle trivial

Suppose $x : S \to M$ is a smooth map, where $M$ is a symplectic manifold and $S$ is a Riemann surface. Consider the pullback bundle $x^*TM \to S$. When is this bundle trivial (as symplectic vector ...
0
votes
1answer
72 views

A complex manifold isn't a sympletic manifold

I want to think about an example of a complex manifold which isn't a sympletic manifold. I consider it in this way: $X=\mathbb{C}^2-\{0\}$, a group $\mathbb{Z}$ acts on X by $(n,z)=2^nz$, then I think ...
0
votes
2answers
38 views

complex structure in odd-dimensional real vector space

If V is an odd-dimensional real vector space, then is there a linear map $J: V \to V$ satisfying $J^2=-1$? i.e. is there a complex structure in odd-dimensional real vector space?
2
votes
1answer
102 views

Relation between Kähler potential and Hermitian metric

Let $(M,\omega)$ be a Kähler manifold and $h$ be its Hermitian form, then in local sense we can write $$\omega=\partial\bar\partial\log h,$$ and also if $f$ be the Kähler potential then we can write ...
1
vote
1answer
42 views

What is the Lagrangian tori?

I am looking for the definition of lagrangian tori for symplectic manifold $(M,\omega)$ ?
1
vote
0answers
42 views

Space of almost complex structures on a compact manifold

According to the book by Huybrechts, Complex Geometry: An Introduction, this is a nice space and may be regarded, after some form of completion, as an infinite-dimensional manifold. How is this done, ...
2
votes
0answers
22 views

Reduction along an Orbit for C.-M. systems

I am having trouble in understanding the section of this paper http://www-math.mit.edu/~etingof/zlecnew.pdf where the author introduces the Calogero-Moser system as the reduction of a manifold $M$ on ...
1
vote
1answer
50 views

formula in differential-geometry

$(M,\omega)$ is a symplectic manifold, $\omega=d \lambda$, then I want to prove that: $$ i_v\lambda\cdot\omega^n=n\lambda\wedge i_v\omega\wedge\omega^{n-1}. $$
4
votes
2answers
143 views

A problem about symplectic manifolds in Arnold's book

There is a problem in Arnold's Mathematical Methods of Classical Mechanics which says that: Show that the map $A: \mathbb{R}^{2n} \rightarrow \mathbb{R}^{2n}$ sending $(p, q) \rightarrow (P(p,q), ...
2
votes
1answer
129 views

Is complex symplectic structure equivalent to a quaternionic structure?

Let $S$ be a vector space over $\mathbb{C}$ of dimension $\operatorname{dim} S =2n$, let me denote by $S_\mathbb{R}$ real form of $S$ i.e. vector space over $\mathbb{R}$ of dimension $4n$. Is it true ...
1
vote
1answer
76 views

Symplectic submanifolds in $\mathbb{R}^{4}$

Which symplectic submanifolds can be realized in $\mathbb{R}^{4}$? It easy to show that such submanifolds aren't compact. So, they are spheres with some handles and holes. Which relations between the ...
1
vote
1answer
29 views
3
votes
2answers
313 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 ...
0
votes
1answer
57 views

hamiltonian mechanics

In $\mathbb{R}^{2n}$, $\omega=\sum dx_i \wedge dy_i$ is a canonical symplectic form, and H is an hamiltonian function, i.e. $\dot{x}= \frac{\partial H}{\partial y}$, $\dot{y}= -\frac{\partial ...
0
votes
2answers
47 views

Hamiltonian Action of $S^1$ on $\mathbb{C}^n$

Given the n-dimensional complex space, regarded as a symplectic manifold when equipped with the usual symplectic form $\sum_i r_i dr_i \wedge d\theta_i$, we consider the action of $S^1$ defined by ...
2
votes
1answer
42 views

What does it mean by saying that $u^n, J^n$ “$C^{\infty}$ converges” to u, J?

The question arose while reading the big book of McDuff & Salamon. Here $\Sigma$ is Riemann surface and M is compact symplectic manifold. Let $u^n(n\in \mathbb N), u : \Sigma \rightarrow M$ be ...
2
votes
1answer
90 views

Notation for coordinate-free Tautological Form definition

Reading Ana Cannas da Silva's book, I found the following step defining the tautological form (the "$p_i\wedge dq^i$" form) in a coordinate-free manner. Let $X$ be a given manifold, its cotangent ...
0
votes
0answers
78 views

Proof of Horn theorem with moment map

Please look at this problem: Let $\mathcal{H}$ be the space of $(n,n)$ hermitian matrix. $\phi:\begin{align*} &\mathcal{H} \to \mathfrak{u}(n):=Lie(U(n)) \\&A \mapsto iA \end{align*}$ ...
1
vote
3answers
246 views

Understanding Monodromy by examples

What is the intuition behind "monodromy"? Could you explain with some examples? For instance, what does it mean "monodromy around a singular fiber is a dehn twist" I don't understand what it means ...
0
votes
1answer
91 views

A question about differential forms on Lie groups

Let $G$ is a Lie group and $\mathfrak{g}$ is its Lie algebra and $\mathfrak{g}^{\mathbb{C}}$ be its complexification. Also assume that $\mathfrak{h}\subset \mathfrak{g}^{\mathbb{C}}$ be its ...
6
votes
2answers
287 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
154 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 ...
2
votes
2answers
65 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
148 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
74 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
79 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
153 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
191 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
294 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 ...