# Tagged Questions

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.

129 views

### Symplectic Chart

I was reading the article "Symplectic structures on Banach manifolds" by Alan Weinstein. In this article there is one theorem, which is as following: If $B$ is a zero neighborhood in Banach space. ...
20 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 ...
26 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?
20 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 ...
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 ...
20 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: ...
37 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 ...
122 views

### How to derive the standard symplectic form on a 2-sphere in cylindrical polar coordinates?

I have already know that at a point $p\in S^2$ with $u,v$ the tangent vectors at $p$. Then the standard symplectic form is $\omega_p(u,v) :=\langle p,\,u\times v\rangle$ where $u\times v$ is the outer ...
73 views

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 ...
28 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 ...
35 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, ...
30 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 ...
51 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 ...
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$. ...
13 views

### Trapezoidal rule (differential equation) is not symplectic

Trapezoidal rule $y_n = y_{n-1}+\frac12h(f(y_n+y_{n-1}))$ is not symplectic. I have no clue to prove the claim. Can anyone give me some hints? Thanks for your time.
17 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, ...
27 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 ...
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$ ...
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 ...
16 views

42 views

### Symplectic manifold, flow $\phi_t$ generated by unique vector fiel $X_f$ preserves symplectic form $\omega$?

Let $M$ be a symplectic manifold with symplectic form $\omega$, let $f$ be a smooth function on $M$, and let $X_f$ be the unique vector field on $M$ so that $df(Y) = \omega(X_f, Y)$ for all vector ...
29 views

### Open immersion pulls back symplectic form to symplectic form?

If $M$ is symplectic, and $f: W \to M$ is an open immersion, i.e. an immersion where $W$ and $M$ have the same dimension, does $f$ necessarily pull back a symplectic form on $M$ to a symplectic form ...
18 views

### The $Ad^*$ $G$-Orbits in $\mathcal{g}*$ (for $G$ being the Heisenberg group)

I did not understand why, the $Ad^*$ $G$-Orbits in $\mathcal{g}*$ (for $G$ being the Heisenberg group and $\mathcal{g}*$ is the dual space of its Lie algebra $\mathcal g$) are given by i) The ...
67 views

25 views

### How does one compute the Hurewicz homomorphism for a (symplectic) nilmanifold?

I have a symplectic six-dimensional nilmanifold $X:=G/\Gamma$ in hand, characterized by the sextuple $(0,0,12,13,14+23,24+15)$, which records the exterior derivatives of a basis of $\Gamma$-invariant ...
There is a wealth of research that I have found that characterize different classes of compact $4$-manifolds by the ability (or lack thereof, in the case of aspherical) to (symplectically or smoothly) ...