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
0answers
68 views

Is $T(M)$ necessarily equivalent to the normal bundle of $M$ in $\textbf{R}^{2n}$, if $M$ is totally real?

Consider real submanifolds, $M^n \subset \textbf{C}^n$. ($\textbf{C}^n \equiv (\textbf{R}^{2n}, J)$, where $J(x, y) = (-y, x)$). $M^n$ is totally real if $J(T_pM) \cap T_pM = 0$, for all $p \in M$. ...
5
votes
0answers
43 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
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 ...
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 ...
4
votes
0answers
36 views

Wedge Products with the Symplectic Form

Let $ \omega $ denote the symplectic form on $ \mathbb{R}^{2n} $, namely $ \omega = dx_1 \wedge dy_1 + \cdots + dx_n \wedge dy_n $. Then let $ T $ be the linear map from $ (n-1) $- forms to $ (n+1) ...
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 ...
4
votes
0answers
67 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, ...
4
votes
0answers
116 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
105 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
343 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$ (see for example Jason DeVito's excellent answer to ...
3
votes
0answers
21 views

How to keep symplecticity of a diffeomorphism after a coordinate rescaling and Taylor series expansion?

Let's take some, implicitly written, symplectic diffeomorphism $F$ of $\mathbb{R}^{2n}$, let it preserve the (possibly non-standard) symplectic form $\omega$. Suppose I introduce a small parameter ...
3
votes
0answers
38 views

Mirror Symmetry of Elliptic Curve

I'm a little bit unsure about the mirror symmetry statement for elliptic curves; specifically, how the flipping of the Kähler and complex moduli works. Perhaps I should say at the outset, the reason ...
3
votes
0answers
53 views

A coisotropic submanifold is locally given by the fibers of a submersion with coordinates in involution

Let $(M, \omega)$ be a symplectic manifold and $Q \subset M$ a coisotropic submanifold of codimension $k$. I'm trying to prove that for every $x \in Q$, there exists an open subset $U \subset M$ ...
3
votes
0answers
41 views

Equation of the form $\overline{\partial}_{J}f=g$ made holomorphic

In section 2.6 of the book "Holomorphic curves in symplectic geometry" by Audin and Lafontaine there is explained when one can transform a perturbed holomorphic curve in a holomorphic curve. I tried ...
3
votes
0answers
37 views

Pulling back a Kähler structure on a symplectic submanifold

Let $(K, G, \Omega, J)$ be a Kähler manifold and $(S, \omega)$ be a symplectic manifold. Let $i : S \to K$ be a symplectic embedding. Is it possible to endow $S$ with a Kähler manifold structure, ...
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 ...
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
0answers
89 views

Differentiating an endomorphism

Let $(M,\rho)$ be a symplectic $2$-dimensional manifold, and let $J$ be a compatible complex structure on $M$, i.e. the symmetric $(0,2)$-tensor $$g(*,*) = \rho(*,J*)$$ is a Riemannian metric. Denote ...
3
votes
0answers
108 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
108 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
50 views

Level sets and lagrangian submanifolds

I would like to find all regular values for a map on a symplectic manifold such that the level sets are lagarangians. Precisely, the following example : The $4$-dimensional symplectic manifold ...
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 ...
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 ...
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 ...
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 $$ ...
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 ...
2
votes
0answers
45 views

Question on symplectic geometry

I am currently reading this paper on symplectic geometry. It deals with the question how the stability properties of a sequence of (periodic) points or fixed points can be related to the second ...
2
votes
0answers
37 views

Any good resources for learning about the moduli space of symplectic structures on a given manifold?

What I can find on the subject are the papers by Fricke and the Habermanns: http://www.researchgate.net/publication/227336993_On_the_geometry_of_moduli_spaces_of_symplectic_structures and ...
2
votes
0answers
133 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
97 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
40 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
34 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
25 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
95 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
51 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
112 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
196 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
306 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
156 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
31 views

Perburb the Monodromy of Lefschetz fibration over a disk

Suppose that $\pi:E \to D$ is a 4-dimensional Lefschetz fibration over a disk,(more general, Lefschetz fibration over a surface with boundary ) and let $\Omega$ be a closed 2-form on $E$ such that it ...
1
vote
0answers
18 views

Infinite dimensional Hamiltonian systems: looking for textbook/general results

Consider an infinite-dimensional phase space $(X,\omega)$, where $X = V \times V'$ with $V$ being a Banach space and $\omega$ a (weak) symplectic form. Let $E : X \to \mathbb{R}$ be a smooth function, ...
1
vote
0answers
11 views

Momentum Map-Submersion

Let $(M,\omega)$ be a symplectic manifold and $G$ a Lie group acting hamiltonian on $M$, such that the momentum map $\Phi \colon M \to \mathfrak{g}^*$ is $G$-equivariant w.r.t. the coadjoint-action on ...
1
vote
0answers
17 views

When does contractible space of almost complex structures taming a given symplectic form $\omega$ contain an integrable compatible one?

Given a symplectic form $\omega$ on a compact symplectic manifold $X$, we know there is a contractible homotopy class $\mathcal{J}_{\omega}$ of almost complex structures that tame $\omega$. A subset ...
1
vote
0answers
18 views

Is this computation of the Christoffel coefficients on a Kähler manifold correct?

Let $M$ be a Kähler manifold (in truth, I am only interested in $\Bbb C \Bbb P^n$). Is it possible to express the Christoffel coefficients of the Levi-Civita connection in terms of the coefficients of ...
1
vote
0answers
19 views

Topological intuition about a hamiltonian vector field

Could I ask a conceptual question? If you have a symplectic manifold ($M$, $\omega$) and a real valued function $f : M \to \mathbb{R}$, you can define a hamiltonian vector field $X$ corresponding to ...
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 / ...
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
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
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 ...