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
1answer
56 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
32 views

A question about complex polarization

Let $M$ be a smooth manifold, Then a subbundle $P\subset TM^{\mathbf{C}}$ of the complexified tangent bundle is called a complex polarization if $P$ is Lagrangian P involutive dim$P\cap\bar P \cap ...
0
votes
0answers
33 views

symplectic coordinate change in tangent space

Given is the Hamiltonian system with energy function $$H(q,p) = \sum_{i = 1}^{2} \frac{p_{i}^{2}}{2m_{i}} + m_{i}V(q_{i}) = H_{0},$$ where $H_{0}$ is some positive constant and the potential energy ...
0
votes
0answers
65 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*}$ ...
0
votes
0answers
42 views

Deformation of sympletic manifolds and deformation of complex manifolds

I know that for a complex manifold you can determine the variation of the parameter by picking a $\theta (t) \in H^1(\mathscr{M}, \Theta)$ (where $\Theta$ is the sheaf of vector fields over ...
1
vote
3answers
165 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
70 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
175 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 ...
2
votes
2answers
51 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
105 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
65 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
59 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
142 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
100 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
138 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 ...
2
votes
0answers
88 views

Geometric Cauchy Problem

I'm attending a course in Symplectic Mechanics and I have some problems in understanding something written in my lecture notes. We are in the following setting: let $Q$ be a manifold (of dimension ...
3
votes
2answers
174 views

Should diffeomorphisms preserving arc length be affine?

Problem Suppose $\varphi\colon V=\mathbb R^n\to V$ be a differmorphism and $d\varphi$ is its tangent mapping. $\langle\circ,\circ\rangle$ is a nondegenerate (symmetric or symplectic) bilinear form on ...
4
votes
0answers
75 views

Weyl orbits of integral dominant weights and convex polytopes

Let $\xi$ be an integral dominant weight of a root system $\Delta$, and let $\mathcal{O}_{\xi}$ be its orbit under the action of the Weyl group. The elements of the orbit are the vertices of an ...
0
votes
2answers
62 views

When a G-Manifold is a Hamiltonian G-manifold

Let G be a lie group, then When a G-Manifold is a Hamiltonian G-manifold and under which condition a manifold is Hamiltonian G manifold for some lie group G
0
votes
1answer
42 views

tangent and conormal bundles of a Lagrangian

Suppose we have a Lagrangian submanifold $L$ of the symplectic manifold $T^*\mathbb{R}^{n}$ (endowed with symplectic form $\omega$), and a point $p\in L$. I know that there's a map $T_pL\rightarrow ...
1
vote
1answer
40 views

Why is the dividing set nonempty when a convex surface has Legendrian boundary?

I am an undergrad and curious about the following question. Let (Y,ξ) be a contact manifold, and L⊂(Y,ξ) be a Legendrian knot which is the boundary of a convex surface Σ embedded properly in Y. Why ...
0
votes
1answer
49 views

M fibers over the circle then construct a symplectic form

I'm trying to prove that if a 3-manifold $M$ fibers over the circle, then $M\times S^1$ admits a symplectic structure. I know that it is an standard result. Probably it is very easy, but I can't see ...
0
votes
1answer
52 views

About symplectic embedding

I never read about the symplectic embeddings. While reading a general math note, I have following question: Does every symplectic manifold $(M,\omega)$ can be symplectically embedded to some ...
5
votes
1answer
134 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 ...
0
votes
1answer
650 views

Showing Jacobi identity for Poisson Bracket

We were given the following problem: show that $[A,[B,C]] + [B,[C,A]] + [C,[A,B]] = 0$ where $[A,[B,C]]$ et cetera are Poisson brackets. As I understand it this is a poisson bracket (where ...
3
votes
1answer
95 views

motivating the conservation of symplectic area by way of general (coordinate) covariance

I'm trying to motivate why a symplectic structure captures exactly the right structure one needs to do classical mechanics. The easiest part of this story goes like this: we need a procedure for ...
1
vote
2answers
42 views

Unitary trivialization over Riemann surfaces with boundary

I am puzzled with the proof of Proposition 2.66. in the book "Introduction to Symplectic Topology" by Salamon, McDuff. The Proposition states, that every Hermitian vector bundle $E \rightarrow ...
1
vote
1answer
27 views

Complex structures on $T^4$

Suppose $(M,\omega)$ is a symplectic manifold, $J(M)$ is the space of all compatible complex structures. How can we show $J(T^4)$ is homotopic to the space of continuous maps $Map(T^4\rightarrow ...
4
votes
1answer
89 views

Fukaya Categories

I was just wondering: what references one might suggest for learning about Fukaya categories (specifically, good references for self-study)? I suppose I should add that any references with an eye ...
0
votes
1answer
41 views

Completely integrable geodesic flows without any degenerate point

Are there many examples of completely integrable geodesic flows (in the sense of Liouville), with say n integrals $f_1,\cdots, f_n$ such that everywhere, the differentials $(df_1,\cdots,df_n)$ are ...
2
votes
1answer
75 views

orientation of symplectic manifold and lagrangian submanifolds

A statement: The self-intersection index of lagrangian submanifold $M \subset X$ is equal to Euler characteristic $\chi(M)$. How I should oriented $X$? Let's consider some example. The null-section ...
1
vote
0answers
88 views

Sources for learning Lie groups and symplectic geometry for Quantum optics

I am asking this question on behalf of my junior who has recently joined in the graduate programme. As suggested by my boss, the student wants to work on quantum optics from a symplectic geometric ...
0
votes
1answer
63 views

Darboux atlas on a symplectic manifold

Is every finite dimension symplectic manifold admit 'Darboux atlas'. If not can we have counterexample..
1
vote
1answer
54 views

an identity related to moment map

Let $G$ be a Lie group and $\mathfrak{g}$ be its Lie algebra, and $X,Y\in \mathfrak{g}$ and also let $\mu:M\to \mathfrak{g^*}$ be moment map($M$ smooth manifold) then prove the following equality ...
0
votes
1answer
58 views

A question about coadjoint orbit

If the coadjoint orbit $\Omega\subset \mathfrak{g^*}$ be contractible then prove that $\Omega$ is integral , i.e., $\int_C \omega\in \mathbb{Z}$ for every integral singular 2-cycle $C$ in $\Omega$, ...
1
vote
1answer
53 views

Can the system $\partial_x f(x,y) = \dot{y}$, $\partial_y f(x,y) = \dot{x}$ be related to some Hamiltonian system?

If one has found some function $f(x,y): \partial_x f = \dot{y}, \partial_y f = \dot{x}$, is there a simple transformation or change of variables that results in Hamilton's equations $\partial_p H = ...
1
vote
1answer
53 views

Why circle action is not hamiltonian

We have given an action $$S^1\times T^2\to T^2$$ $$(t,(\theta_1,\theta_2))\to (\theta_1+t,\theta_2)$$ Why this action can't be Hamiltonian? May i get some hint, comment suggestion. Thanks.
2
votes
1answer
86 views

self-intersection of lagrangian submanifold

Let's consider lagrangian submanifold $X$ in symplectic manifold $M$. Is it true that self-intersection index of $X$ is equal to the Euler characteristic $\chi(X)$? Can we construct (not canonical) ...
5
votes
1answer
75 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$ ...
2
votes
1answer
100 views

Inclusion $O(2n)/U(n)\to GL(2n,\mathbb{R})/GL(n,\mathbb{C}) $

How to show, that an inclusion of homogenious spaces $$O(2n)/U(n)\to GL(2n,\mathbb{R})/GL(n,\mathbb{C}) $$ is homotopy equivalence? The big space is the space of complex structures on ...
1
vote
1answer
70 views

How to show $[\omega]=0$ implies $[\omega^n]=0$?

I'm trying to prove the following: If $(M, \omega)$ is a symplectic manifold and $[\omega]=0$ then $[\omega^n]=0$, where $[\omega]$ is the De Rham cohomology class of $\omega$. Well what I've done ...
11
votes
1answer
176 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 ...
1
vote
1answer
102 views

symplectic strucutre

Suppose $\omega$ is symplectic structure on $\mathbb R^n$. Let $\omega_0:=\omega|_{x=0}$. Let $\overline{\omega}= \omega_0-\omega$ and for $t\in[0,1]; \omega_t:= \omega+ t\overline{\omega}$. How ...
2
votes
1answer
86 views

Finding the lie algebra of the symplectic lie group

I am having difficulties completing my proof that $\text{Lie}(\text{Sp}(2n)) \equiv \mathfrak{sp}(2n) = \{ X \in Gl(2n)\; |\; X^TJ + JX = 0 \}$ Where $J \equiv \begin{bmatrix}0 & \mathbb{1}_n ...
3
votes
1answer
152 views

Homology of symplectic manifolds

Could you show me some example of compact symplectic 4-manifold $M$ with the torsion in $H_{2}(M;\mathbb{Z})$
0
votes
1answer
106 views

lagrangian subspace and Heisenberg group

Let $(V,\omega)$ be a symplectic vector space. Also we assume $L\subset V$ be a Lagrangian subspace., and $H(V)$ be Heisenberg group, then why $L\bigoplus U(1)\subset H(V)$ is maximal abelian ...
1
vote
1answer
63 views

Existence of prequantization on a simply connected manifold

Let $M$ be a simply connected manifold. Then when, $M$ has a unique pre-quantization and when there is no pre-quantization on $M$.
3
votes
1answer
58 views

Exact sequence arising from symplectic manifold

Let $M$ be a symplectic manifold, why is the following sequence exact? $$0\to \mathbb{R} \to C^\infty (M)\to A\to 0$$ Here $A$ is the set of global Hamiltonian vector fields.
0
votes
0answers
101 views

Hamiltonian reduction for unit sphere

Let $(M, \omega)$, be Symplectic Vector space and $N\subset M$ be unit sphere. Then why $N/ker\omega\mid _N$ is naturally $\mathbb{P}^{n-1}(\mathbb{C})$ Here ker$\omega$=$\{ y\in M: \omega(x,y)=0, ...
1
vote
1answer
62 views

integrability of ker $\omega$ in symplectic case

How can we prove that if $(M,\omega)$, is pre-symplectic and d$\omega=0$ then ker$\omega$ is integrable?.