Hamiltonian systems, symplectic flows, classical integrable systems

**3**

votes

**1**answer

172 views

### Fundamental proof of the baby case of Hofer's theorem about displacement energy

In 1990, Hofer proved that the displacement energy of a standard ball in $C^{n}$ equals it's Gromov area.
Here is the baby case: Consider a smooth bounded function $f:R^{2}\rightarrow R$. Consider ...

**1**

vote

**0**answers

157 views

### Metalinear frame bundle on sphere or $\mathbb{C}P^n$

Let $M$ be a smooth manifold. A complex metalinear frame bundle $\tilde F(P)\to M$ of a rank $n$ complex vector bundle $P\to M$ is a principal $ML(n,\mathbb{C})$-bundle together with a covering map ...

**5**

votes

**1**answer

633 views

### What is the geometric interpretation of this quantity?

Let $(M,g)$ be a compact $n$-dimensional Riemannian manifold. Using the metric to identify the tangent and cotangent bundles defines a natural symplectic
structure on the tangent bundle, $(TM, ...

**0**

votes

**1**answer

167 views

### An example for the case tht if the leaves of polarization be non-compact then the polarized sections are not square integrable

Let $(M,\omega)$, be a symplectic manifolds. A subbundle $P\subset TM^{\mathbf{C}}$ of the complexified tangent bundle is called a complex polarization if
$P$ is Lagrangian
P involutive
...

**1**

vote

**1**answer

295 views

### The space of holomorphic sections are finite dimensional?

I start my question with a definition and some motivation.
Let $M$ be a symplectic manifold. A subbundle $P\subset TM^{\mathbf{C}}$ of the complexified tangent bundle is called a complex ...

**2**

votes

**1**answer

86 views

### An example to show that when $P$ is a complex polarization the subbundle $P+ \bar P$ is not necessarly involutive

I start my question with some motivation. 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 ...

**1**

vote

**1**answer

138 views

### Pre-quantized observable functions can be written as flow

Let $(X,\omega)$ be a symplectic manifolds.
For $f∈C^∞(M,ℂ)$ a function on phase space, the corresponding quantum
operator(prequantized observable function) is the linear map
...

**0**

votes

**1**answer

152 views

### $S^n$ admit a real polarization $D\subset TS^n$?

When the $n$-sphere, $S^n$,admit a real polarization $D\subset TS^n$

**3**

votes

**2**answers

232 views

### How to find faces of polytope defined by a Weyl orbit

A few days ago I asked the following question at MSE and received no answer. I thought I would try here.
Let $\xi$ be an integral dominant weight of an irreducible root system $\Delta$, and let ...

**5**

votes

**0**answers

286 views

### Laplacians associated to symplectic cohomologies

I am reading the paper"cohomology and Hodge theory on symplectic manifolds I" by Tseng and Yau. In this paper they consider several cohomologies on symplectic manifolds $(M,\omega)$based on the ...

**6**

votes

**2**answers

648 views

### Cotangent bundle lift theorem

Let $M$ be a smooth manifold and $T^\ast M$ be its cotangent bundle. Consider the tautological 1-form $\theta$ on $T^\ast M$ ($\theta=\sum y_i dx^i$ in local canonical coordinate systems).
A ...

**10**

votes

**2**answers

348 views

### Is every symplectic manifold a Hamiltonian reduction of a cotangent bundle?

Today I heard the claim that in practice, all symplectic manifolds that people care about arise as the Hamiltonian reduction of a cotangent bundle $T^{\ast}(M)$ under the action of a Lie group $G$ ...

**0**

votes

**1**answer

91 views

### Constant symplectic structure

Let $E$ be a Frechet space and $\mathcal{F}$ be a non-degenerate bounded skew symmetric bilinear map $\mathcal{F}: E\times E\to \mathbb R$ on $E$. We can identify $TE$ with $E\times E$, with this ...

**5**

votes

**2**answers

320 views

### Does the 4-sphere have a nonzero Poisson structure as a Poisson homogeneous space?

It is known that the 4-sphere does not have a symplectic structure. However, it does admit Poisson structures, for example the zero Poisson structure, which is quite boring. Does it have other, more ...

**1**

vote

**0**answers

150 views

### Lagrangian complement in a symplectic vector bundle

A standard, folk result in symplectic geometry states that:
in a symplectic vector bundle $(E,\pi,B,\omega)$, any lagrangian subbundle $L$ admits a lagrangian complement $L'$.
Having to use this ...

**4**

votes

**2**answers

414 views

### symplectic structure of tangent bundle of $\mathbb{S}^{n-1}$

It is well known that $T\mathbb{S}^{n-1}$ is diffeomorphic to $M= f^{-1}(1)$ where
$f:\mathbb{C}^n\rightarrow \mathbb{C}$ is $f(z):=\sum_{i=1}^{n} z_{i}^{2}$.
Two questions:
1) Is $M$ a ...

**2**

votes

**1**answer

187 views

### Special Lagrangians and fat

I am unable to find the MO comments about the first use of the phrase "fat slags" in an article. On page 26 of this we find "these correspond to thickenings of the
corresponding special Lagrangian ...

**3**

votes

**1**answer

408 views

### Quantization of symplectic vector space and choice of lagrangian subspaces

My question is related to Geometric Quantization.
I don't undrestand the philosophy of following assertion
If $(V,\omega)$ be a symplectic vector space then the quantizations of
$V$ ...

**4**

votes

**1**answer

322 views

### Is there a Legendrian Neighbourhood Theorem also for non-cooriented contact manifolds?

Context
According to Arnol'd, a contact structure on a smooth manifold $M$ is given by a corank 1 tangent distribution $C$ which is maximally non-integrable; this means that, for any local $1$-form ...

**2**

votes

**2**answers

246 views

### What is twisted in a twisted Poisson structure?

The usual definition of a twisted Poisson algebra involving a 3-form
does not seem to refer to a Poisson algebra that is then twisted,
i.e. twisting either the commutative product or the Lie bracket.
...

**30**

votes

**5**answers

1k views

### are there natural examples of classical mechanics that happens on a symplectic manifold that isn't a cotangent bundle?

I'm curious about just how far the abstraction to a symplectic formalism can be justified by appeal to actual physical examples. There's good motivation, for example, for working over an arbitrary ...

**5**

votes

**1**answer

301 views

### Is the derived Fukaya category a derived category in the classical sense?

I am trying to read Seidel's book, and I am confused about the "derived" Fukaya category. If I understand properly, one starts from the $A_{\infty}$-category $\mathfrak{F}(M)$, enlarges it to the ...

**2**

votes

**0**answers

225 views

### Looking for a necessary and sufficient condition for the polarization $\mathbb{P}$ being positive

My question is about positivity of polarization in Geometric quantization theory. Let $\mathbb{P}$, be a complex polarization on symplectic manifold $(M,\Omega)$. For every $m\in M$, we can define a ...

**0**

votes

**1**answer

283 views

### Symplectic structure on $Sym^kG^{\mathbb{C}} $

Let $G$ be a compact Lie group, and let $G^\mathbb{C}$ be its complexification.
I am looking for a symplectic structure (without use of coordinates) on
$$
Sym^kG^{\mathbb{C}},
$$
PS:Here ...

**2**

votes

**1**answer

382 views

### looking for an identity for higher jet bundle $J^kM$?

We know this fact that the first jet Bundle $J^1M$ is diffeomorphic with $T^*M×\mathbb{R}$.i.e,
($J^1M=T^*M×\mathbb{R}$)
Is there something like this identity for higher jet bundle $J^kM$?
I editted ...

**1**

vote

**1**answer

373 views

### pre-quantization of Jet bundle

We know that the notion of Jet bundle $J^kM×\mathbb{R}$, is generalization of cotangent bundle. What is the prequantization of $J^kM×\mathbb{R}$?

**3**

votes

**1**answer

484 views

### a question about geometric quantization background

I don't understand why for geometric description of a regular system, we take always the classical phase space as a symplectic manifold?

**1**

vote

**1**answer

99 views

### Orthogonal symplectic classes with respect to intersection product

Let $M$ be a simply connected smooth compact four manifold. Now I am trying to find an example such that
(1) there is two symplectic forms $\omega$ and $\sigma$ on $M$, and
(2) the intersection ...

**2**

votes

**1**answer

231 views

### Complement of Donaldson's symplectic submanifold

I am just starting to learn more symplectic geometry on Stein manifolds. I understand that an important class of Stein manifolds arises as the complement of a Donaldson's codimension two symplectic ...

**4**

votes

**1**answer

228 views

### The Maslov triple product is alternating in its entries

Let $(V,\omega)$ be a $2g$-dimensional symplectic vector space. I'm trying to understand the Maslov triple product. I know that it can be defined in a variety of ways, but for the applications I'm ...

**6**

votes

**1**answer

402 views

### What's the relation between the heat kernel proof of the index theorem and deformation quantization?

In the book "Heat kernels and Dirac operators", I found the slogan by Quillen in the Introduction: "Dirac operators are a quantization of the theory of connections, and the supertrace of the heat ...

**18**

votes

**2**answers

924 views

### The symplectic geometry of cold coconuts

Consider the open set $M \subset \mathbb{C}^{2}$ given by the union of the unit ball $|z_1|^2 + |z_{2}|^2 < 1$ (the coconut) and the cylinder $|z_1| < \epsilon$, $0 < \epsilon < \! \!< ...

**9**

votes

**0**answers

384 views

### Poincaré recurrence and symplectic packings

Question. Is there any example of a path connected symplectic manifold $(M,\omega)$ that has infinite volume, but which cannot be packed by an infinite number of symplectic balls of a fixed radius ...

**9**

votes

**1**answer

534 views

### The universal property of the Liouville $1$-form

I am not totally sure if this question is appropriate for MathOverflow, or if it more adeguate to MathStackexchange.
As usual any feedback is welcome.
Introduction
Given an arbitrary smooth manifold ...

**1**

vote

**0**answers

162 views

### Hyperkaehler Structures on the cotangent bundle

Let $M$ be a symplectic manifold (not Kaehler). Does there exists in a neighbourhood of the zero section in the cotangent bundle $T^{*}M$ a Hyperkaehler structure? I know that by the paper by Feix on ...

**0**

votes

**2**answers

295 views

### even dimensional manifold homotopic to a symplectic or complex manifold

I have the following question: Let $M$ be an even dimensional Riemannian manifold. Under which conditions does there exists a homotopy to some symplectic manifold? is there any chance that such a ...

**2**

votes

**0**answers

153 views

### Geometric meaning of a certain form in almost-Kähler geometry

I have difficulties finding an appropriate reference for the following question:
Let $(M^{2n},g,J,\omega)$ be a compact almost Kähler manifold. Let $\operatorname{ric}$ the usual Ricci tensor of ...

**0**

votes

**1**answer

229 views

### Coadjoint orbits and homogeneous symplectic $G$-manifolds

We know this important fact from A.A.Kirillov that :
Every homogeneous symplectic $G$-manifold is locally isomorphic to an orbit in the coadjoint representation of the group $G$ or a central ...

**1**

vote

**1**answer

118 views

### Monotonicity and perturbation of $J$-holomorphic curves

In a symplectic manifold $(M, \omega)$, $J$-holomorphic curves are special minimal surfaces if $J$ is compatible with the symplectic structure and the metric is induced by $\omega$ and $J$.
Minimal ...

**2**

votes

**1**answer

763 views

### Kirillov-Kostant-Souriau Theorem on $\mathfrak{g}\oplus \mathfrak{g^*} $

My question is about the extention of kirillov's symplectic structure on coadjoint orbits. The most remarkable feature
of the coadjoint representation is the fact that all coadjoint orbits possess a
...

**0**

votes

**1**answer

473 views

### fiber bundle on an orbit of $\mathfrak{g}\oplus\mathfrak{g^*}$

Let $G$, be a Lie Group and $\mathfrak{g}$ be its Lie algebra ,i.e, $Lie(G)=\mathfrak{g}$. Let $\zeta=(\ X,F)\ \in \mathfrak{g}\oplus\mathfrak{g^*}$. Here $X\in \mathfrak{g} $ and $F\in ...

**3**

votes

**2**answers

623 views

### Legendrian Tubular Neighborhood Theorem

Given a Lagrangian submanifold $L\subset(M,\omega)$ of a symplectic manifold, we have Alan Weinstein's celebrated Lagrangian tubular neighborhood theorem. I now look for the analog on Legendrian ...

**6**

votes

**2**answers

364 views

### How many Lagrangian submanifolds?

An $n$-dimensional submanifold $L$ of a symplectic manifold $(M^{2n}, \omega)$ is called Lagrangian if $\omega|_L = 0$. I want to get some feeling about how many Lagrangian submanifolds are.
For each ...

**0**

votes

**0**answers

142 views

### When a hyperplane of symmetric forms is determined by a quadric hypersurface?

Let $L$ be a 2D real vector space, $L^*$ its dual, and $\{V,\omega\}$ the symplectic space with $V=L\oplus L^*$ and $\omega$ unambiguously defined by $\omega(l,\lambda):=\lambda(l)$, for all $l\in L$ ...

**3**

votes

**1**answer

347 views

### Shortest geodesic loop vs. shortest periodic geodesic

Are there simple conditions on a Riemannian metric on the two-sphere that imply that a geodesic loop of minimal length is actually a periodic geodesic?
For example, is this true for small ...

**1**

vote

**1**answer

291 views

### The space of generalized complex structures in sense of N.Hitchin is contractible?

Generalized complex structures were introduced by Nigel Hitchin in 2002. A generalized almost complex structure is an almost complex structure of the generalized tangent bundle which preserves the ...

**2**

votes

**1**answer

169 views

### model co-isotropic submanifold

Just as the zero section in $T^*\mathbb{R}^N$ (equipped with the standard symplectic form) is the "model" / "quintessential" Lagrangian submanifold, does $T^*\mathbb{R}^N$ have a "model" co-isotropic ...

**5**

votes

**2**answers

370 views

### Information from Moment Polytopes

Let $T$ be a compact real torus, and $X$ a Hamiltonian $T$-manifold (which you may take to be a smooth complex projective variety) with moment map $\mu:X\rightarrow\frak{t}^*$. If ...

**8**

votes

**1**answer

429 views

### Does there always exist a line bundle whose Chern class represents an integer symplectic form?

Let $(M, \omega, J)$ be a compact symplectic manifold with a
compatible almost complex structure $J$, such that the symplectic
form determines an integer cohomology class, ie
$$ [\omega] \in H^2(M, ...

**8**

votes

**3**answers

453 views

### Spaces of symplectic embeddings: Bundle? Smoothness?

Let $(M, \omega)$ and $(N, \sigma)$ be two symplectic manifolds, $M$ compact and without boundary. Consider the space $$ \mathcal{E} = \mathrm{Emb}((M, \omega), (N, \sigma)) $$ of all smooth ...