# Tagged Questions

**2**

votes

**0**answers

35 views

### DGBV algebra of symplectic manifold

Let $(M,\omega)$ be a simply connected closed symplectic manifold. Then we have the symplectic codifferential operator $d^{\star}$. Furthermore, $(\Omega^{*}(M),d,d^{\star})$ is a differential ...

**3**

votes

**0**answers

79 views

### Moment map in the singular case

The moment map is defined on the symplectic manifold $(M,\omega)$, or particularly, $(M,\omega)$ is Kahler. While $\omega$ is smooth or differential enough, the definition is obvious to understand, in ...

**2**

votes

**1**answer

189 views

### Cotangent bundle of coadjoint orbit is stein manifold?

Let me first define stein manifolds and coadjoint orbits.
A complex manifold $X$ of complex dimension $n$ is called a Stein manifold if the following conditions hold:
$X$ is holomorphically convex, ...

**6**

votes

**1**answer

256 views

### When a symplectic manifold is formal?

Let $(M,\omega)$ be a $2n$-dimensional symplectic manifold, then we have the symplectic Hodge operator
$$*:\Omega^{k}(M)\rightarrow\Omega^{2n-k}(M)$$
Furthermore, we can define a differential ...

**0**

votes

**0**answers

135 views

### Symplectic submanifolds in $\mathbb{R}^4$

Which symplectic submanifolds can be realized in $\mathbb{R}^4$ with standard ($\text{d}\,\boldsymbol{p} \wedge \text{d}\,\boldsymbol{q}$) symplectic structure? It's easy to show that such ...

**2**

votes

**1**answer

139 views

### Extending Reeb field from contact submanifold to ambient contact manifold

Let $(Y,\lambda)$ be a contact manifold, with a codimension-2 contact submanifold $(S,\lambda|_S)$ (this requires $TS\pitchfork\text{Ker}\lambda$). On $Y$ there is a natural vector field, the Reeb ...

**1**

vote

**1**answer

231 views

### A question about complex polarization

Let $M$ be a symplectic manifold, Then 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 P ...

**2**

votes

**1**answer

160 views

### almost holomorphic line bundles

Let $(L,\omega_L) \to (M,\omega_M)$ be a symplectic line bundle (symplectic line=real dimension 2) over a symplectic manifold $M$. Each of these objects can be equipped with an almost complex ...

**1**

vote

**1**answer

145 views

### The set of leaves of the distribution $D$ on coadjoint orbit $O_{\mu}$

Let $G$ be a compact connected Lie group and $O_{\mu}$ be a coadjoint orbit where $\mu\in \mathfrak{g}^*$ and $\mathfrak{g}^*$ is the dual of the Lie algebra of $\mathfrak{g}=\mathrm{Lie}(G)$. Let ...

**2**

votes

**2**answers

145 views

### Does $(M\times M, \omega\times -\omega)$ admit a Lagrangian fibration?

Let $(M,\omega)$ be a manifold endowed with symplectic form. Then the product manifold $M\times M$ with symplectic form $\omega\times -\omega$ is symplectic, and the diagonal submanifold ...

**0**

votes

**1**answer

105 views

### model compact coisotropic submanifold

$\{x_1,\ldots,x_n,\xi_{m+1},\ldots,\xi_n\in\mathbb{R},\xi_1=\ldots=\xi_m=0\}$ is a "model" codimension $m$ coisotropic submanifold of $T^*\mathbb{R}^n$, and is of course noncompact. Is there such a ...

**2**

votes

**2**answers

534 views

### Kenji Fukaya's Lecture series at Simons center

In the past decade, theory of Kuranishi structures on moduli space of pseudo-holomorphic curves has been in the center of debates between some mathematicians in the field of symplectic geometry.
...

**0**

votes

**0**answers

66 views

### about energy bound in Fukaya category

In Fukaya category, moduli spaces is defined, which are solutions of certain $C$-$R$ equations, which involve strip ends in boundary condition. When the number of strip ends $>2$, a curvature term ...

**1**

vote

**2**answers

175 views

### coisotropic submanifolds

I'm thinking about coisotropic/involutive submanifolds of the symplectic phase space $T^*\mathbb{R}^n$ (with coordinates $x_1,\ldots,x_n,\xi_1,\ldots,\xi_n$). As I understand, the smallest ...

**1**

vote

**0**answers

169 views

### quantization for integral coadjoint orbits

I am looking for a referrence for proof of following statement.
Let $G$ be a semi-simple Lie group and $\mathfrak{g}$ be its Lie algebra and $\alpha_k$ be simple roots of $\mathfrak{g}$ and $\mu_0$ ...

**1**

vote

**1**answer

120 views

### Each coadjoint orbit of a compact connected Lie group $G$ admits a $G$-invariant generalized complex structure

I am looking for a proof or counterexample for following assertion
Each coadjoint orbit of a compact connected Lie group $G$ admits
a $G$-invariant generalized complex structure (In sense of ...

**4**

votes

**0**answers

94 views

### Classification of Compact Symplectic Homogeneous Spaces

Let $M=G/H$ be a compact homogeneous space, $G$ a compact Lie Group and $H$ a closed subgroup. Is there some classification, akin to the Kaehler case, for which such manifolds admit a symplectic ...

**0**

votes

**0**answers

105 views

### When the leaves of a distribution are compact

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
...

**3**

votes

**1**answer

196 views

### Explicit form for hermitian structure $h$ with respect to $\omega$

Let $(M,\omega)$ be a symplectic manifold. and $\pi:L\to M$ be a complex line bundle , we denote $h$ as hermitian structure,i.e. if $s,s'$ are smooth sections of $L$ and if $X$ is a vector field on ...

**1**

vote

**0**answers

121 views

### Explicit formula for hermitian form on coadjoint orbit of $G$ on $\mathfrak{g}^*$

Let $G$ be a compact Lie group and $\mathfrak{g}$ be its Lie algebra and $\mathfrak{g}^*$ be its dual , then I am looking for explicit formula for hermitian form on coadjoint orbit of $G$ on ...

**0**

votes

**0**answers

137 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

526 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

153 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
...

**0**

votes

**0**answers

93 views

### Dimension of the set of polarized sections

Let $M$ be a symplectic manifold. A subbundle $P\subset TM^{\mathbf{C}}$ of the complexified tangent bundle is called a complex polarization if
$P$ is Lagrangian, i.e. Maximal isotroic, dim$P_m=n$, ...

**1**

vote

**1**answer

268 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

77 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**

votes

**1**answer

137 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$

**4**

votes

**0**answers

256 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 ...

**4**

votes

**2**answers

274 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 ...

**4**

votes

**2**answers

202 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 ...

**4**

votes

**1**answer

327 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$ ...

**5**

votes

**1**answer

250 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 ...

**3**

votes

**0**answers

197 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 ...

**2**

votes

**1**answer

320 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

312 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}$?

**2**

votes

**0**answers

186 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?

**2**

votes

**1**answer

179 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 ...

**19**

votes

**2**answers

788 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

342 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 ...

**10**

votes

**1**answer

424 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

145 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 ...

**1**

vote

**2**answers

285 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

**1**answer

455 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

255 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

421 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 ...

**0**

votes

**0**answers

109 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

259 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

247 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 ...

**7**

votes

**3**answers

405 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 ...

**5**

votes

**4**answers

319 views

### Prequantization and Hilbert space

In the definition of pre-quantization on a symplectic manifold $(M,\omega)$, we represent a function $f\in C^{\infty}(M)$(with Lie algebra structure) to $\hat{f}$ in the Hilbert space $L^2(M,L,\mu)$ ...