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)

-1
votes
2answers
35 views

Example of a degenerate bilinear map?

I seek an example of a nonzero $\Bbb{R}$-bilinear map $f:V\times V\rightarrow W$ on a vector space $V$ (s.t: $\dim V<\infty$, $\dim W<\infty$) such that it is degenerate map, where $V$ and $W$ ...
1
vote
0answers
15 views

Geodesic flow generated by Riemannian distance function

This is an exercise in AC da Silva's Lectures onn Symplectic Geometry; I am having trouble showing the following. $(X,g)$ is a geodesically complete manifold, and $f: X \times X \to \mathbb{R}$ is ...
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". ...
2
votes
1answer
12 views

Reference request in contact geometry.

I am looking for an introductory book to contact geometry, as clear and detailed as possible. Thank in advance.
0
votes
0answers
21 views

Looking for topics in symplectic geometry suitable for a 1 hour talk

I am a master2 student and I am looking for a topic in symplectic geometry to make a 1 hour presentation with. I only had a short introduction course to symplectic geometry so subjects shouldn't be ...
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 ; ...
0
votes
0answers
27 views

On a Lie group $G$, is $\{v-Ad_gv\mid v\in\mathfrak{g},g\in G\}=[\mathfrak{g},\mathfrak{g}]$?

On a Lie group $G$, is $\{v-Ad_gv\mid v\in\mathfrak{g},g\in G\}=[\mathfrak{g},\mathfrak{g}]$? This question is inspired by noting that if we have a Hamiltonian Lie group action $G\curvearrowright (M,\...
1
vote
0answers
21 views

decomposition of general symplectic matrix

Suppse $S$ be a $2n \times 2n $ symplectic matrix $$ S = \left( \begin{array}{cc} A & B\\ C & D \end{array} \right) . $$ By definition, $S^tJS$=J, where $$J = \left( \begin{array}{cc} 0 &...
1
vote
1answer
48 views

Are there characteristic classes for symplectic vector bundles?

Given a real vector bundle, say the tangent bundle of a manifold, some obstructions to this being the underlying real bundle of a complex bundle come from characteristic classes. These can prove the ...
0
votes
0answers
63 views
+50

Bundle isomorphism $\Phi : TM \oplus T^*M \to T(T^*M)$.

Prove that there is a bundle isomorphism $\Phi : TM \oplus T^*M \to T(T^*M)$ which identifies the summand $T^*M$ with the vertical vectors. If $\omega_{can}$ is the canonical symplectic ...
1
vote
0answers
86 views

Why are symplectic manifolds and Riemannian manifolds so different?

They seem superficially similar in some ways 1) both have a given two tensor on the tangent space 2) if we choose a hamiltonian function for the symplectic manifold then both give a canonical ...
1
vote
1answer
76 views

Hyperbolicity without ergodicity?

I have a question concerning the ergodic properties of hyperbolic Hamiltonian flows. Let $\Phi_{H}^{t}$ be a Hamiltonian flow on a symplectic manifold $\mathcal{M}$. If $\Phi_{H}^{t}$ is Anosov on a ...
0
votes
1answer
29 views

What is the smoothness of a family of diffeomorphisms $t\mapsto \psi_t \in \text{Diff}(M)$ ? And how to interpret it intuitively?

First of all, we have to give the group $\text{Diff}(M)$ of all diffeomorphisms on $M$ a smooth-manifold structure. (To see this, it may be helpful to consider a easier problem: how to give the group $...
1
vote
1answer
30 views

How do we give G/T a symplectic structure

I am new in those staff and I can't find anything introductory explaining those stuff. I am interested in the following. Given $G$ a compact Lie group and consider it's maximal torus $T$. Then I have ...
3
votes
2answers
103 views

Kernel of $\omega^\#$ is $k$-dimensional

Let $M$ be a smooth manifold with coordinates $\{q^i\}_{i=1}^n$ .The variables $(q^i,p_i)$ are coordinates on the cotangent space $\Omega=T^*M$. Any cotangent space carries a natural one-form $\tilde{\...
3
votes
1answer
38 views

References on the moduli space of flat connections as a symplectic reduction

In their Yang Mills equations over Riemann surfaces paper, Atiyah & Bott famously remark that the moduli space of flat connections on a principal bundle over a compact orientable surface may be ...
0
votes
1answer
38 views
+50

the symplectic version of Gram-Schmidt process and one application of it.

I am trying to understand the following proposition: cf. McDuff and Salamon, Introduction to Symplectic Topology(second edition), Corollary 2.4,page 40 One can assume $\omega_0 =\sum_i dx_i \...
0
votes
0answers
16 views

Composition of symplectomorphisms not a symplectomorphism?

Given $R^{2n}=C^{n}$ with its standard symplectic form $\Omega$, and v an arbitrary vector, the individual transvections $\tau(p)=p+\Omega(v,p)v$ and $\sigma(p)=p+\Omega(iv,p)iv$ preserve the ...
2
votes
0answers
42 views

Volume of “the complex projective space” of a certain radius.

Consider the circle action on $\mathbb C^n$ given by $(e^{it},z)\to e^{it}z$. A moment map for this action is $J:\mathbb C^n\to\mathbb R:z\to -\frac{1}{2}|z|^2$. Let $M_l=J^{-1}(-\frac{l}{2})/U(1)$ ...
0
votes
1answer
30 views

Why is the tangent space to the orbit through $p\in\mu^{-1}(0)$ an isotropic subspace of $T_pM$?

I'm reading symplectic geometry notes by Ana Cannas da Silva. The set up is a Hamiltonian action $G\curvearrowright(M,\omega)$ of a Lie group $G$ on the symplectic manifold $(M,\omega)$, with moment ...
2
votes
2answers
27 views

The fact that surface of spherical segment only depends on its height follows from symplectic geometry

It is quite quite well known that the surface of the piece of a sphere with $z_0<z<z_1$ for some values of $z_0,z_1$ is given by $ S = 2\pi R (z_1-z_0) $. So this surface area only depends on ...
0
votes
1answer
35 views

Given two linear symplectic 4-tori. When are they symplectomorphic?

What are symplectic invariants that can be computed for a linear symplectic 4-torus? The symplectic volume is the simplest one. Is it possible to have something else?
1
vote
0answers
26 views

Pushforward of Liouville measure on configuration space

Say I have $M_1$ a 3-dimensional compact Riemannian manifold, and $M=M_1^{n}$ the product manifold representing n particles on $M_1$. I can identify $TM$ with $T^*M$ via the metric $g$ and then the ...
0
votes
0answers
24 views

Connectedness of the level sets of Mose-Bott functions

I am reading the proof by McDuff and Salamon of the connectedness of the level sets of Morse-Bott functions with index and coindex different from $1$: connectedness of level sets A smooth function $f:...
1
vote
0answers
29 views

Additional References — Symplectic Geometry

Please forgive me if I should ask this question somewhere else. If so, let me know and I will do so. I have never asked a question of this nature before, and so am unsure where an appropriate place ...
0
votes
0answers
30 views

Symplectic form on $\mathbb R ^{2n}$

What are all symplectic form $\omega$ on $\mathbb R^{2n}$. Where, a ''symplectic bilinear form'' on $\mathbb R^{2n}$ is . a bilinear form: a map $\omega: \mathbb R^{2n}\times \mathbb R^{2n}\to \...
0
votes
1answer
29 views

Symplectic form on $T^ ∗X$

If $\mu$ is any closed 2-form on a manifold $X$, then $d\alpha_X + π^∗\mu$ is also a symplectic form on $T^ ∗X$, where $\alpha_X$ is tautological one-form and $\pi:T^*X\to X$ is projection. In fact, ...
0
votes
0answers
6 views

Cartesian product of $\mathbb{S}^1$ is symplectic

Prove that the Cartesian products of $\mathbb{S}^1$ for $2n$ times is a symplectic manifold. I have just studied the concepts of symplectic manifold in the class of analytical mechanics. I have not ...
3
votes
0answers
30 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 $\...
4
votes
0answers
30 views

$\mathbb{CP}^2$ realizable as boundary of compact smooth $5$-manifold? [duplicate]

As the title says, can $\mathbb{CP}^2$ be realized as the boundary of a compact smooth $5$-manifold?
0
votes
0answers
22 views

Darboux theorem for symplectic manifold of degree 2

Given $p \in M$ and $\alpha \in \Omega^1(M)$ with $\alpha_p \neq 0$, show that there exists a neighbourhood $U$ of $p$ in $M$ and $f,g \in C^{\infty}(U)$ such that $\alpha|_U = f dg$. To show this ...
0
votes
1answer
29 views

Are curvature forms in complex line bundles symplectic

I know that the curvature form $F_\nabla$ of a connection $\nabla$ in a complex line bundle $L \to B$ is presymplectic (i.e. antisymmetric and closed). Does it also have to be non-degenerate, i.e ...
0
votes
0answers
31 views

Specifics on the Williamson normal form algorithm

I'm looking at the algorithm for Williamson normal form for symplectic diagonalization of positive-definite symmetric real matrices, given on pp.24 here: https://www.ime.usp.br/~piccione/Downloads/...
4
votes
0answers
58 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 ...
2
votes
1answer
87 views

Exercise about Lagrangian submanifolds

I am trying to solve the following exercise: Let $(M,\omega)$ be a symplectic manifold and $L$ a compact Lagrangian submanifold such that $H^{1}(L)=0$. Let $\{L_{t}\}_{t\in(-1,1)}$ be a smooth family ...
1
vote
1answer
35 views

Geometric quantization: not understanding the curvature form and Weil's theorem

I am reading a bit about geometric quantization. The texts that I am following are N.M.J. Woodhouse's "Geometric Quantization" and an article from arXiv. I am having troubles understanding the ...
0
votes
0answers
39 views

Poisson manifolds

Poisson manifolds are said to be generalisations of the usual symplectic manifolds. I was wondering in which direction. If every symplectic manifold is a Poisson manifold and the converse is not true, ...
1
vote
1answer
59 views

Diagonalization of elements of the symplectic algebra.

Let $A$ a symmetric positive definite real matrix of dimension $2n\times 2n$ and $J$ the standard symplectic matrix, with block representation \begin{gather} J= \begin{pmatrix} 0 & -I \\ I & ...
1
vote
0answers
32 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
19 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
1answer
17 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 ...
0
votes
0answers
22 views

How does Melnikov function for a Hamiltonian change if one considers an augmented symplectic manifold?

Suppose we have a nonautonomous nearly integrable Hamiltonian system, periodic in $t$ with period $2\pi / \omega$ $$H_{\epsilon}(x,y,t)=H_{0}(x,y) + \epsilon H_{1}(x,y,t)$$ with $(x,y,t) \in \mathbb{...
3
votes
0answers
58 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
42 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 ...
1
vote
1answer
79 views

Arnold's proof of Liouville's Theorem on integrable systems

My question happens to be almost identical to the one left unanswered/closed here, which gives a bit of background information - it may not be necessary. I hope the reason it was closed on ...
0
votes
1answer
29 views

How to show that Jacobi identity for $\{,\}$ is equivalent to $\omega$ being closed?

I am reading the book a guide to quantum groups. I have a question on page 18. How to show that Jacobi identity for $\{,\}$ is equivalent to $\omega$ being closed? Any help will be greatly appreciated!...
3
votes
0answers
43 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, ...
0
votes
1answer
28 views

Notation for vector fields on cotangent bundle

This is probably an easy question. I have some trouble finding the right notation/words for 2 vector fields. Consider $T^*S^1$, the cotangent bundle of the circle. I know that this is a trivial ...
3
votes
1answer
58 views

Diffeomorphism group $\text{Diff}_\omega(D^2, \partial D^2)$, exact differential form.

Let $D^2$ denote the closed unit disk in $\mathbb{R}^2$. Let $\omega = dx \wedge dy$ denote the standard area form on $\mathbb{R}^2$ (and on $D^2$ by restriction). Let $\phi$ be a diffeomorphism of $D^...
1
vote
0answers
22 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 ...