Hamiltonian systems, symplectic flows, classical integrable systems

**42**

votes

**3**answers

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

**34**

votes

**8**answers

4k views

### Examples in mirror symmetry that can be understood.

It seems to me, that a typical science often has simple and important examples whose formulation can be understood (or at least there are some outcomes that can be understood). So if we consider ...

**33**

votes

**2**answers

2k views

### About a letter by Richard Palais of 1965.

In Cushman and Bates, Global Aspects of Classical Integrable Systems, 1997, I have read
In a widely circulated but unpublished letter in 1965, Palais explained the symplectic formulation of ...

**32**

votes

**4**answers

2k views

### Can cotangent bundles see exotic smooth structures?

I have two questions that are inspired by a couple of questions here on MO (referenced below), as well as by a conversation with some other grad students at a summer school.
Caveat: I'm not a ...

**29**

votes

**8**answers

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

**29**

votes

**1**answer

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

**28**

votes

**5**answers

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

**26**

votes

**1**answer

1k views

### High-Dimensional Analogs of Polygon Spaces

[Edit: I had a mistake in the numerology (took d=6,5 instead of d=5,4). Edit: I mistakenly identified my mistake, it is 6,5 but I got the indices shifted by one.]
Background: Polygon spaces
Given a ...

**24**

votes

**4**answers

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

**20**

votes

**4**answers

1k views

### When are two symplectic forms “isotopic”?

I've been skulking around MathOverflow for about a month, reading questions and answers and comments, and I guess it's about time I asked a question myself, so here is one has interested me for a long ...

**20**

votes

**0**answers

565 views

### Why are there so few quaternionic representations of simple groups?

Having spent many hours looking through the Atlas of Finite Simple Groups while in Grad school, I recall being rather intrigued by the fact that among the sporadic groups, only one (McLaughlin as I ...

**19**

votes

**3**answers

1k views

### Classical mechanics motivation for poisson manifolds?

Suppose I want to understand classical mechanics.
Why should I be interested in arbitrary poisson manifolds and not just in symplectic ones?
What are examples of systems best described by non ...

**18**

votes

**2**answers

2k views

### What is the relationship between integrable systems and toric degenerations?

Given an integrable system on a Kahler manifold X, is there a way to associate a toric degeneration of X whose Milnor fibers are related to the fibers of the integrable system?
An integrable system ...

**18**

votes

**2**answers

869 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 < \! \!< ...

**18**

votes

**1**answer

1k views

### Projective embedding of symplectic manifolds

Let $(M^{2n},\omega)$ be a symplectic manifold with an integral symplectic form $\omega$. Due to the work of M.Gromov and D.Tischler (M.Gromov "A topological technique for the construction of ...

**17**

votes

**2**answers

1k views

### Manifolds distinguished by Gromov-Witten invariants?

What is the simplest example of a manifold M^2n that admits two different symplectic structrues with isotopic almost complex structures, and such that Gromov Witten invariants of these symplectic ...

**17**

votes

**3**answers

724 views

### Hyperbolic Coxeter polytopes and Del-Pezzo surfaces

Added. In the following link there is a proof of the observation made in this question: http://dl.dropbox.com/u/5546138/DelpezzoCoxeter.pdf
I would like to find a reference for a beautiful ...

**16**

votes

**3**answers

1k views

### Why are Gromov-Witten invariants of K3 surfaces trivial?

Why is GW invariants of K3 surfaces are trivial? My naive guess is that GW invariants are deformation invariant and you can always deform your K3 surface to non-projective one, which has no subcomplex ...

**16**

votes

**2**answers

778 views

### Can a Lagrangian submanifold of ${\mathbb R}^{2n}$ be dense ($n>1$)?

I'm betting `yes, sure!', but don't see it. Could someone please point me toward,
or construct for me, a Lagrangian submanifold immersed in
standard symplectic ${\mathbb R}^{2n}$ for $n > 1$, ...

**16**

votes

**4**answers

700 views

### Can you tell the volume of a symplectic manifold from the Poisson brackets?

Suppose $(X^{2n},\omega)$ is a compact symplectic manifold. Knowing the algebra $C^\infty(X)$ is equivalent to knowing the manifold $X$, and knowing the Poisson bracket ...

**16**

votes

**1**answer

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

**16**

votes

**1**answer

720 views

### Functoriality of the cotangent bundle

Recall that to any manifold $X$, I can assign in a canonical way a manifold $\mathrm T ^* X$, the total space of the cotangent bundle over $X$. Recall also that, unlike the tangent bundle ...

**15**

votes

**4**answers

3k views

### Is the Fukaya category “defined”?

Sometimes people say that the Fukaya category is "not yet defined" in general.
What is meant by such a statement? (If it simplifies things, let's just stick with Fukaya categories of compact ...

**15**

votes

**4**answers

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

**14**

votes

**7**answers

1k views

### To what extent can I think of a Lagrangian fibration in a symplectic manifold as T*N?

This is probably a very elementary question in symplectic geometry, a subject I've picked up by osmosis rather than ever really learning.
Suppose I have a symplectic manifold $M$. I believe that a ...

**14**

votes

**4**answers

4k views

### What is a symplectic form intuitively?

Hi,
to completely describe a classical mechanical system, you need to do three things:
-Specify a manifold $X$, the phase space. Intuitively this is the space of all possible states of your system.
...

**14**

votes

**4**answers

593 views

### What is the 2-category whose 0-objects are Lie algebroids?

Recall the notion of Lie algebroid (n Lab, Wikipedia). One motivation for studying Lie algebroids is that they are infinitesimal versions of Lie groupoids, and Lie groupoids present stacks. In ...

**13**

votes

**5**answers

3k views

### What does the word “symplectic” mean?

I know the definition of symplectic structure, symplectic group, and so on. But what does the word "symplectic" itself mean?
Meta question: I have many other mathematical words whose etymologies are ...

**13**

votes

**2**answers

728 views

### Why Donaldson's Four-Six Conjecture?

Simon Donaldson apparently made the following conjecture: Two closed symplectic 4-manifolds $(X_1,\omega_1)$ and $(X_2,\omega_2)$ are diffeomorphic if and only if $(X_1\times ...

**13**

votes

**4**answers

2k views

### Roadmap for Mirror Symmetry

I am interested in learning Mirror Symmetry, both from the SYZ and Homological point of view. I am taking a reading course in Mirror Symmetry, which will focus on the SYZ side.
I know basic Complex ...

**13**

votes

**0**answers

300 views

### Does $S^4$ have a “symplecto-homeomorphic” structure?

The 4-sphere cannot be a symplectic manifold. In particular, it does not admit an atlas whose transition maps are symplectomorphisms ...

**12**

votes

**3**answers

1k views

### Is there a physical intuition for Darboux's theorem?

We know that there is a physical interpretation for symplectic manifolds (briefly, the fact that a sympletic form assigns to any Hamiltoninan a vector field which describes the motion of particles). ...

**12**

votes

**4**answers

1k views

### How Many 4-Manifolds are Symplectic?

As an honest question (probably with some subjectivity), how many smooth oriented 4-manifolds are actually symplectic? Can I say half (perhaps under some mild assumptions)? I ask this question because ...

**12**

votes

**3**answers

871 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)$ ...

**12**

votes

**3**answers

1k views

### Is there an algebraic construction of the Quillen (determinant) Line Bundle?

Let's consider the moduli space of representations of $\pi=\pi_1(\Sigma)$ (a surface group) into $G$ (a lie group). Call this $X=\operatorname{Hom}(\pi,G)$, and let ...

**12**

votes

**4**answers

1k views

### What is the role of contact geometry in the hamiltonian mechanics?

Let us assume someone is interested in the study of Hamiltonian mechanics.
What are good examples to illustrate him of the usefulness of contact geometry in this context?
On one hand the Hamiltonian ...

**12**

votes

**2**answers

2k views

### What is the significance that the Springer resolution is a moment map?

Let $\mathcal{B}$ be the flag variety and $\mathcal{N} \subset \mathfrak{g}$ is the nilpotent cone. We know that the Springer resolution
$$
\mu: T^*\mathcal{B}\rightarrow \mathcal{N}
$$
is the moment ...

**12**

votes

**2**answers

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

**12**

votes

**1**answer

790 views

### Symplectic formulation of statistical physics

Does there exists a symplectic formulation of statistical physics?
I know that thermodynamics can be written in a symplectic language and of course classical mechanics is intrinsically formulated ...

**12**

votes

**4**answers

1k views

### cotangent bundle symplectic reduction and fibre bundles

Suppose a compact Lie group $G$ acts on a manifold $M$ with only one orbit type $G/H$ ($H$ denotes the stabiliser group). Then the manifold $M$ becomes a fibre bundle over the quotient manifold ...

**12**

votes

**1**answer

389 views

### What structure on the second order cotangent bundle ?

It is well-known that the total space of the cotangent bundle $T^*X$ of a given smooth manifold $X$ admits a symplectic form $\omega$. It is actually exact: $\omega=d\lambda$. The $1$-form $\lambda$ ...

**12**

votes

**3**answers

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

**12**

votes

**1**answer

533 views

### Finite fundamental groups of 3-dimensional Calabi-Yau manifolds

Question. Is there an example of a compact $3$-dimensional Calabi-Yau manifold with finite fundamental group $G$ that does not admit a free action on $S^3$?
This question is motivated by the ...

**12**

votes

**2**answers

471 views

### Special Hamiltonian diffeomorphisms

Is there any obstruction that prevents a Hamiltonian diffeomorphism on some symplectic manifold to be realized as the time-one map of the Hamiltonian flow of an autonomous Hamiltonian?
In the same ...

**12**

votes

**1**answer

603 views

### Where are $+$, $-$ and $\infty$ in bordered Heegaard-Floer theory?

Here goes my first MO-question. I've just read Lipshitz, Ozsváth and Thurston's recently updated "A tour of bordered Floer theory". To set the stage let me give two quotes from this paper.
...

**12**

votes

**1**answer

251 views

### Energy quantization for $J$-holomorphic spheres

Let $(\mathbb{CP}^1, j, g_{\text{FS}})$ be the complex projective line with the standard complex structure and the Fubini-Study metric and let $(M,J,\omega,g)$ be an almost Kähler compact manifold ...

**11**

votes

**1**answer

2k views

### Where does the Givental reconstruction formula come from?

In (for example) Semisimple Frobenius structures at higher genus (section 1.2) and Gromov-Witten invariants and quantization of quadratic Hamiltonians (section 6.8), Givental gives a conjectural ...

**11**

votes

**2**answers

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

**11**

votes

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

**11**

votes

**4**answers

2k views

### Geometric invariant theory for geometers

I am trying to learn "Geometric invariant theory" like it was introduced by Mumford. But I do not have a strong background in algebraic geometry since I work in geometric topology and geometry.
So ...