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)

5
votes
0answers
100 views

Scattering of waves by an obstacle

I wish to study the paper by Melroe and Taylor: Near peak scattering and the corrected Kirchhoff approximation for a convex obstacle. Adv in Math, Vol 55 (3), 1985, 242–315. ...
4
votes
0answers
88 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 ...
4
votes
0answers
301 views

basis free volume form for a symplectic vector space

It's easy to show, using a symplectic basis, that if $\omega$ is a symplectic form on a $2n$-dimensional vector space $V$, then $\omega^n \neq 0$. I'd like to be able to prove it without choosing a ...
3
votes
0answers
48 views

Momentum a cotangent vector?

Imagine we have a particle described by $x \in M$, where $M$ is some manifold, then it is very intuitive I think that a velocity is an element of the tangent space at $x$, so $x' \in T_{x}M.$ Thus, by ...
3
votes
0answers
48 views

What does it mean for a Symplectic Form to be invariant under Group Action?

This should be a very basic question for people familiar with differential manifolds. I'm more or less new to the field so let me apologize in advance for ill-defined questions if arising. I split the ...
3
votes
0answers
94 views

Help with constructing a symplectic form on a $2-$dimensional torus

Consider the standard two dimensional torus $M=\mathbb{R}^2 / \Gamma$ where $$ \Gamma:=\{(n,m)\in \mathbb{R}^2:n,m\in \mathbb{Z}\}. $$ I want to $1)$ construct a symplectic form $\omega$ on $M$, ...
3
votes
0answers
44 views

Surgery or Partial Whitney Trick in McDuff and Salamon proof of Gromov squeezing

In the proof of Gromov squeezing in McDuff and Salamon's epic J-Holomorphic Curves and Symplectic Topology, the authors use a surgery argument without any explicit construction. In the following, ...
3
votes
0answers
115 views

Coordinate-free proof of the hamiltonian character of the geodesic flow

Let be $(M,g)$ a pseudoriemannian manifold. Let us identify the tangent and the cotangent bundles through the musical isomorphism $g^\flat:u\in TM\to g(u,\cdot)\in T^\ast M.$ It is well known ...
2
votes
0answers
16 views

What is a local invariant?

Let $(M,g)$ be a Riemannian manifold. Then, it is usually said that $M$ has local invariants associated to $g$. For example, the curvature of the Levi-Civita connection associated to $g$. My question ...
2
votes
0answers
106 views

The meaning of variables and derivations in Souriau's book

As far as I see, Souriau is using unconventional notions in his book "Structure of Dynamical Systems". He explains these notions in §2. of Chapter I, but it is a puzzle for me. Mainly because he ...
2
votes
0answers
80 views

Non-commutative symplectic geometry

How is non-commutative symplectic geometry defined? How does it differ from symplectic geometry? Does Darboux's theorem apply also there?
2
votes
0answers
32 views

Finding a path of symplectic forms

Suppose $M$ is a symplectic manifold and $\omega_0$ and $\omega_1$ are two symplectic forms belonging to the same de Rham cohomology class. Assume in addition they can be connected via a path of ...
2
votes
0answers
27 views

Calculation in From Seiberg Witten to pseudo-holomorphic curve

I am reading the Taubes's paper: From From Seiberg Witten to pseudo-holomorphic curve. I don't know how to get the result (2.17) \begin{eqnarray*} ...
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 ...
2
votes
0answers
92 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 ...
2
votes
0answers
48 views

Trivialization of a path of tamed almost complex structures

I am wondering if the following result is true: Let $(V,\omega)$ be a symplectic vector space and $\{J_t\}_{0\leq t\leq 1}$ a smooth path of almost complex structures on $V$ which are tamed by ...
2
votes
0answers
96 views

Area of flux homomorphism in symplectic topology

Let $(M,\omega)$ be a symplectic manifold. Let $f:M \to \mathbb R$ be a smooth function. We have vector fields $X_f$ defined by $\omega(X_f,)=df$. Let $\phi_t$ be the flow of $X_f$ and let $\gamma: ...
2
votes
0answers
152 views

Index of a Symmetric Matrix

In Hansjorg Geiges' introductory textbook on Symplectic Geometry, is defined a projective conic given by $q^tAq=0$ where $A$ is a symmetric matrix of rank 3 and index 2. What does "index 2" mean? I ...
2
votes
0answers
248 views

Geodesic Flow is the flow of the Hamiltonian Vector field of $|\xi|$

Let $M$ be a complete Riemannian manifold with metric $g$. The geodesic flow is the one-parameter family of diffeomorphisms $\phi_t$ on $T^*M$ defined as follows. If $\xi \in T^* M$ is a vector based ...
2
votes
0answers
102 views

About $\operatorname{Spin}^\mathbb{C}$ structures

Let $X$ be a orientable 4-manifolds. I know that $X$ can be endowed with $\operatorname{Spin}^\mathbb{C}$ structures by the choice of integral lift of $w_2(X)$ (second Stiefel-Whitney class of ...
2
votes
0answers
145 views

How to prove that a certain action is hamiltonian?

Reading a paper I had the need to complete a proof, and come up with a certain argument(see below). My question is: could I reduce it to a special case of some theorem? I ask this question in order to ...
1
vote
0answers
7 views

About Lefschetz fibration signature

Does there exists a Lefschetz fibration over $S^2$ for any given number admitting it as a signature? I think it is not possible so I need an counter example.
1
vote
0answers
21 views

Skew-symmetric non-degenerate bilinear form

If we do symplectic linear algebra on a finite-dimensional vector space $V$, then what does $$\omega(v,w) \neq 0$$ or $$\omega(v,w) = 0$$ actually tell us about the vectors $v,w$? ($\omega$ is the ...
1
vote
0answers
34 views

Pullback 1-differential form

Let $(x_0,x'_0) \in \mathbb{R}^2$ be initial data for the Euler Lagrange equation with some given Lagrangian $L: \mathbb{R}^2 \rightarrow \mathbb{R}.$ Then $F^t$ is the flow that maps the initial ...
1
vote
0answers
30 views

Relative line bundle along divisor $D$

Let $X$ and $B$ be a compact Kahler manifolds and $\pi:X\to B$ be a holomorphic surjective map and $D$ be a divisor in $X$ how can we define relative canonical line bundle on $B$ along a divisor $D$? ...
1
vote
0answers
48 views

Can you have a “real” decomposition of differential forms on a symplectic manifold?

With a choice of (almost) complex structure on a symplectic (Kahler) manifold, has anyone thought of how or what it means to globally define "real" versions of the Dolbeault operators? i.e. Something ...
1
vote
0answers
28 views

Fibered product of symplectic fiber bundles

Let $P_{1}\to B$ and $P_{2}\to B$ be smooth fiber bundles over the same base manifold $B$, and let us assume that the total spaces $(P_{1},\omega_{1})$ and $(P_{2},\omega_{2})$ are symplectic ...
1
vote
0answers
22 views

Are the following Hamiltonian actions?

Let $(x,y)$ be the coordinate of $\mathbb{C}^2 \subset \mathbb{P}^1\times \mathbb{P}^1$. Is the $S^1$ action on $\mathbb{P}^1\times \mathbb{P}^1$ given by $$ t\cdot(x,y)=(tx,t^{-1}y) $$ Hamiltonian? ...
1
vote
0answers
23 views

According to Liouville's theorem, why is the measure on an energy-surface different from the measure on the phase space in general

I recently read Khinchin's derivation of Liouville's theorem. I was able to follow the math for the most part, however I was hoping for an intuitive understanding about why the form of the measure on ...
1
vote
0answers
78 views

The best book on symplectic geometry

I want read an introduction to symplectic geometry. Can you suggest me some book on this theory?
1
vote
0answers
26 views

Invariants under Hamiltonian mechanics?

I am interested in certain properties of measures evolving according to Hamiltonian mechanics. Say we have a point $z$ in phase space: $z = (p,q)$ where $p$ is a generalized momentum vector and $q$ is ...
1
vote
0answers
79 views

John Lee's book question about symplectic group

Exercise 12-14 in John Lee's book, An introduction to Smooth Manifolds, reads as follows: The real symplectic group is the subgroup $Sp(n, \mathbb{R}) \subset GL(2n, \mathbb{R})$ consisting of ...
1
vote
0answers
31 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
39 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 ...
1
vote
0answers
37 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 ...
1
vote
0answers
33 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, ...
1
vote
0answers
72 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
0answers
153 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 ...
1
vote
0answers
120 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 ...
1
vote
0answers
82 views

Torsion-free $G$-Structures

I have the following question. Let $G \subset SO(n)$ be a Lie Group and $M$ be a smooth manifold of dimension $n$. Furthermore let $P$ be a $G$-structure on $M$ i.e. $P$ is a principal subbundle of ...
1
vote
0answers
76 views

Normal Bundle of Twistor lines

I am reading the paper "hyperkaehler metrics and supersymmetry" by Hitchin etc.. Here is the link: ...
1
vote
0answers
76 views

transformation of symplectic structure by a matrix

Suppose that in canonical symplectic basis $e_1,e_2,f_1,f_2$ we have $$\Omega=pf_1^*\wedge f_2^*+qe_1^*\wedge e_2^*+r(e_1^*\wedge f_2^*+e_2^*\wedge f_1^*)+s(e_1^*\wedge f_1^*-e_2^*\wedge f_2^*)$$ Let ...
1
vote
0answers
100 views

A vector field on a symplectic submanifold intersecting the symplectic complement

Consider a 4-dim symplectic vector field $X$ on the symplectic manifold $(M, \omega)$ in $\mathbb{R}^4$ with $\omega= \sum_{i=1}^2 dy_i \wedge dx_i$. Moreover, the linear terms of $X$ are given by ...
1
vote
0answers
133 views

Energy displacement of a cylinder is at most $\pi r^2$.

I want to show that the energy displacement of $Z^{2n}(r)$ is at most $\pi r^2$. In the textbook of Mcduff and Salamon they write that I should identify the two dimensional ball (with radius $r$) ...
0
votes
0answers
22 views

covering finite Dimensional vector space

can a finite dimensional symplectic vector space over finite field be covered with mutually transversal Lagrangian planes(maximal Isotropical Subspaces )?
0
votes
0answers
22 views

Why is the $ n $ - exterior power of a symplectic form does not vanish?

Let $ V $ be a vector space. Could someone explain to me why is : Any $ \Omega \in \bigwedge^{2} ( V^* ) $ is of the form $ \Omega = e_{1}^* \wedge f_{1}^* + \dots + e_{n}^* \wedge f_{n}^* $ where ...
0
votes
0answers
23 views

Symplectic manifold question.

Let $M=\mathbb R^2$ with coordinates $x$ and $y$ with a symplectic two form $\omega =dx\wedge dy$. Let $\phi _p :T_pM\mapsto T^*_pM$. My confusion is regarding the initial step in defining the ...
0
votes
0answers
44 views

Lagrangian and Hamiltonian Mechanics

I am interested in how Lagrangian and Hamiltonian mechanics and then symplectic geometry was developed starting from Newtonian mechanics. We can start by assuming that Newtonian mechanics tells us ...
0
votes
0answers
63 views

Hamiltonian Dynamics and the canonical symplectic form

1- What kind of advantages does one have by having a canonical symplectic form on $T^*M$ apart from the form being exact? Would it for instance provide any advantage to studying Hamiltonian dynamics ...
0
votes
0answers
9 views

Condition for local Lipschitzness of pullback map for exterior forms

Given $w\in\Lambda^k(\mathbb{R}^n)$, determine the condition under which the map $T\rightarrow T^*(w)$ is locally Lipschitz, where $T\in GL_n(\mathbb{R})$ and $T^*(w)$ denotes the Pullback of $w$ by ...