Hamiltonian systems, symplectic flows, classical integrable systems

**16**

votes

**3**answers

2k views

### What is Kirillov's method good for?

I am planing to study Kirillov's orbit method. I have seen Kirillov's method in several branch of mathematics, for instance, functional analysis, geometry, .... Why is this theory important for ...

**6**

votes

**2**answers

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

**34**

votes

**8**answers

6k views

### What is a Lagrangian submanifold intuitively?

What are good ways to think about Lagrangian submanifolds?
Why should one care about them?
More generally: same questions about (co)isotropic ones.
Answers from a classical mechanics point of view ...

**10**

votes

**4**answers

2k views

### How to see the Phase Space of a Physical System as the Cotangent Bundle

Two things today motivated this question.
First, the professor said that in a lecture Thurston mentioned
Any manifold can be seen as the configuration space of some physical system.
Clearly we ...

**12**

votes

**4**answers

1k views

### How transitive are the actions of symplectomorphism groups ?

This question is motivated by the classical fact from differential geometry :
Let $M$ be a smooth manifold of dimension at least $2$. Then for any $n$ the diffeomorphism group $\textrm{Diff}(M)$ ...

**4**

votes

**3**answers

961 views

### Why can we define the moment map in this way (i.e. why is this form exact)?

Given a symplectic manifold $(X, \omega)$ and a group $G$ acting on $X$ preserving the symplectic form, we define the moment map $\mu : X \to \mathfrak{g}^*$ so that
$$
\langle d\mu(v), \xi\rangle = ...

**8**

votes

**2**answers

567 views

### What is the obstruction to the existence of a global Kahler potential?

It is a well-know fact that if $(X,\omega)$ is Kahler then about every point $x \in X$ there exists a neighbourhood $U$ and a function $K \in C^{\infty}(U,\mathbb{R})$ such that $\omega|_U = i\partial ...

**7**

votes

**3**answers

2k views

### Question about Hodge number

Hi. I am studying Hodge theory on Kahler manifolds.
I have several questions.
Is Hodge number a topological invariant? (I mean, is it independent of the choice of
Kahler structure?)
If the ...

**3**

votes

**0**answers

251 views

### Tian's approach for solving the conjecture of invariance of plurigenera in Kahler setting

Let $f:X\to Y$ be a smooth holomorphic fibre space whose fibres $f^{-1}(y)$ have pseudoeffective canonical bundles. suppose that
$$\frac{\partial \omega(t)}{\partial ...

**3**

votes

**1**answer

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

**50**

votes

**4**answers

4k views

### Why hasn't anyone proved that the two standard approaches to quantizing Chern-Simons theory are equivalent?

The two standard approaches to the quantization of Chern-Simons theory are geometric quantization of character varieties, and quantum groups plus skein theory. These two approaches were both first ...

**25**

votes

**4**answers

3k views

### When is a symplectic manifold equivalent to a cotangent bundle?

Let $X$ be a differentiable manifold. Its cotangent bundle $T^*X$ carries a canonical 1-form $
\alpha$ whose exterior differential $\omega = d\alpha$ endows $T^*X$ with the structure of a symplectic ...

**31**

votes

**1**answer

930 views

### What is the meaning of $(h^{11},h^{21})\to (h^{11}-240,h^{21}+240)$ in Calabi-Yau threefolds?

By browsing through the Hodge data of known Calabi-Yau threefolds, I stumbled upon an observation that frequently enough a pair of Hodge numbers $(h^{11},h^{21})$ comes together with the pair $ ...

**13**

votes

**1**answer

2k views

### Hochschild (co)homology of Fukaya categories and (quantum) (co)homology

There is a conjecture of Kontsevich which states that Hochschild (co)homology of the Fukaya category of a compact symplectic manifold $X$ is the (co)homology of the manifold. (See page 18 of ...

**16**

votes

**4**answers

1k views

### When is the time evolution of a Hamiltonian system described by the geodesic flow on a Riemannian manifold?

Here is my precise question. Let $M, \omega$ be a symplectic manifold and let $H: M \to \mathbb{R}$ be any smooth function. The symplectic form gives rise to an isomorphism between the tangent ...

**13**

votes

**3**answers

1k views

### When is a coadjoint orbit an integrable system (in a weak sense explained below)?

Let $X$ be an affine holomorphic symplectic variety of dimension $2n$, with the associated Poisson bracket { , }. Let's say it's an integrable system when there are $n$ algebraically independent ...

**8**

votes

**3**answers

1k views

### Intuition for Levi-Civita connection via Hamiltonian flows

A Euclidean metric on a manifold $X$ defines a function on the symplectic space $T^*X$ whose Hamiltonian flow gives geodesics. Is there a similar interpretation of the Levi-Civita connection?

**17**

votes

**2**answers

790 views

### About a Delzant polytope. (In particular dodecahedron)

Hi. I have a question.
Definition. Delzant polytope $P$ is a rational convex simple polytope with the smooth condition. Here, "smooth" means that for each vertex $v$, the $n$ edges containing $v$ ...

**12**

votes

**2**answers

1k views

### Why is every symplectomorphism of the unit disk Hamiltonian isotopic to the identity?

That is, for any symplectomorphism $\psi: D^2 \to D^2$, there should be a time-dependent Hamiltonian Ht on D2 such that the corresponding flow at time 1 is equal to $\psi$.
I found this in claim a ...

**7**

votes

**2**answers

526 views

### Is the 'massive' Calogero-Moser system still integrable?

Background
The (rational) Calogero-Moser system is the dynamical system which describes the evolution of $n$ particles on the line $\mathbb{C}$ which repel each other with force proportional to the ...

**3**

votes

**1**answer

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

**3**

votes

**2**answers

1k views

### Are Fukaya categories Calabi-Yau categories?

Let X be a compact symplectic manifold. There is an idea, I think probably originally due to Kontsevich, that we should be able to get Gromov-Witten invariants of X out of the Fukaya category of X. ...

**11**

votes

**2**answers

636 views

### What are the implications of torsion in H^2 for geometric quantization?

Given a real manifold $M$ with symplectic $2$-form $\omega$,
one can ask whether the cohomology class $[\omega] \in H^2(M;{\mathbb R})$ lies in the image of
$H^2(M;{\mathbb Z})$. If so, one can ask ...

**4**

votes

**2**answers

850 views

### complexified kahler form

In mirror symmetry one usually considers a complexified kahler form $B+iw$ instead of kahler form $w$ itself.(Or their moduli)
Here is the question:
What does $B$ correspond to? what kind of ...

**3**

votes

**1**answer

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

**1**

vote

**3**answers

455 views

### Linearization of vector fields

Simply, we discuss things on $C^{2n}$ ($or R^{2n}$) but not on manifolds. Given an anayltic (or real analytic) vector field $V$ on $C^{2n}$ ($or R^{2n}$), with a zero at the origin . And $V_{0}$ is ...

**10**

votes

**0**answers

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

**8**

votes

**5**answers

430 views

### In a contact manifold, is every tranverse 1-foliation given by some Reeb vector field?

Let $M$ be a contact manifold, and let $F$ be an oriented 1-dimensional foliation that is transverse to the contact structure.
Is there a contact form $\alpha$ whose associated Reeb vector field ...

**7**

votes

**0**answers

272 views

### Question about theorem in Arnold's book on action-angles variables

I have a question about the action-angle theorem on p. 283 in Arnold's textbook on classical mechanics.(I added the link to this book in the last part of this question)
If you don't have the book or ...

**5**

votes

**2**answers

306 views

### computing second cohomology $H^2(O_a,\mathbb{Z})\cong \mathbb{Z}^n$ of a generic coadjoint orbit

Let $G$ be a compact , connected and simply connected Lie group and $a\in\mathfrak{g}^*$ (dual of Lie algebra of Lie group $G$). Then let $O_a$ be a generic coadjoint orbit then can we say ...

**4**

votes

**2**answers

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

**3**

votes

**1**answer

503 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

**2**answers

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

**1**

vote

**1**answer

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

**9**

votes

**2**answers

442 views

### An algebraic Hamiltonian vector field with a finite number of periodic orbits(1)

Edit: The previous version of this question contained 2 part. In this new version, I deleted the first part and move it to a new question.
Is There a polynomial Hamiltonian ...

**6**

votes

**1**answer

405 views

### Is there a Nash-type theorem for symplectic manifolds?

If $(M, \omega)$ is a symplectic manifold, is it possible to embed (or injectively immerse) it symplectically into a sufficiently large $(\Bbb R ^{2N}, \Omega)$, (with the usual symplectic structure)?
...

**6**

votes

**1**answer

294 views

### Are genus zero Gromov Witten Invariants on Del-Pezzo surfaces enumerative?

Let $X_k$ be $\mathbb{P}^2$ blown up at $k$ points (where $k$ is $0$ to
$8$). Let $\beta \in H_2(X_k, \mathbb{Z})$ be the homology class given by
$$ \beta := n L + m_1 E_1 + \ldots + m_k E_k $$
...

**5**

votes

**2**answers

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

**3**

votes

**1**answer

613 views

### Does the preimage of the Slodowy slice in $T^*G/P$ have a name?

Let $G$ be your favorite simple complex Lie group, and $P\subset G$ your favorite parabolic subgroup. We can identify $T^*G/P$ with the space of pairs $$\{(gP,x)\in G/P\times \mathfrak g | x\perp ...

**1**

vote

**3**answers

499 views

### Reference on generators of subgroups of symplectic groups

We should start with the definition of the symplectic group for an arbitrary ring $R$.
The symplectic group $Sp(g,R)$ is the subgroup of $SL(2g,R)$ such that all elements satisfy $M=J_g^t M J_g$ with ...

**6**

votes

**1**answer

196 views

### A lagrangian version of the Withney theorem

Let $M$ be a smooth n dimensional manifold. Is there an smooth embedding $f:M \to \mathbb{R}^{2n}$ which image is a Lagrangian submanifold of $\mathbb{R}^{2n}$?

**5**

votes

**1**answer

114 views

### Does a $G$-structure on $M$ automatically descend to a contact $G$-structure on $\mathbb{P}T^*M$?

If $M$ is a real smooth manifold of dimension $n+1$, by $D\in\mathbb{P}T^*M$ I mean a tangent hyperplane at some point of $M$. I denote by $b$ the canonical projection of the $(2n+1)$-dimensional ...

**3**

votes

**1**answer

231 views

### What are the indecomposable classes on a del-Pezzo surface?

Let $X_k$ be $\mathbb{P}^2$ blown up at $k$ points (where $k$ is $0$ to $8$).
Let $\beta \in H_2(X_k, \mathbb{Z}) $ be a homology class given by
$$ \beta := n L + m_1 E_1 + \ldots + m_k E_k $$
...

**3**

votes

**2**answers

352 views

### Boundary geometry of a contact manifold

Let $(M, \xi = \text{ker}\,\alpha)$ be a compact contact manifold with non-empty boundary. Vaguely asked, is there any natural geometric structure on the boundary $\partial M$ induced from the contact ...

**3**

votes

**1**answer

800 views

### Symplectic block-diagonalization of a real symmetric Hamiltonian matrix

Given a $2n\times 2n$ real, symmetric, Hamiltonian matrix $W$ (anticommutes with the symplectic metric), is there an orthogonal, symplectic matrix $R$ such that $R^\top WR$ is block-diagonal?
Being ...

**1**

vote

**0**answers

84 views

### An algebraics Hamiltonian vector field with a finite number of periodic orbits(2)

Is there a polynomial Hamiltonian $H:\mathbb{R}^{4}\to \mathbb{R}$ such that the number of nontrivial periodic orbits of the corresponding Hamiltonian vector field $X_{H}$ is finite but different ...

**1**

vote

**0**answers

75 views

### Does the twisted product $K^{\mathbb{C}}\times_{Z(k)^{\mathbb{C}}} X^k$ have a natural Kähler or sympletic structure?

Let $K$ be a connected compact Lie group, and suppose that $(X,J,\omega)$ is a compact Kähler manifold on which the group $K$
acts holomorphically such that the group $K$ preserves the
Kähler ...