Questions tagged [sg.symplectic-geometry]

Hamiltonian systems, symplectic flows, classical integrable systems

Filter by
Sorted by
Tagged with
67
votes
10answers
13k 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 ...
35
votes
0answers
1k 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 ...
12
votes
3answers
3k 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 question ...
15
votes
4answers
2k 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)$ ...
19
votes
3answers
3k 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
3answers
2k views

Intuition for Levi-Civita connection via Hamiltonian flows

A Riemannian 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?
8
votes
2answers
2k 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 ...
6
votes
0answers
349 views

An algebraic 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 ...
62
votes
4answers
8k 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 ...
28
votes
5answers
6k 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 ...
32
votes
4answers
5k 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 ...
30
votes
6answers
4k views

Has anything precise been written about the Fukaya category and Lagrangian skeletons?

At some point in this past year, some Fukaya people I know got very excited about the Fukaya categories of symplectic manifolds with "Lagrangian skeletons." As I understand it, a Lagrangian skeleton ...
18
votes
1answer
3k 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 ...
20
votes
1answer
958 views

Why symplectic geometry gives Poisson geometry

One way I've learned to understand Poisson geometry is to consider it as symplectic geometry with no open conditions - i.e. no condition of nondegeneracy. This idea can be applied to many other ...
15
votes
3answers
1k views

Applications of symplectic geometry to classical mechanics

It is claimed that classical mechanics motivates introduction of symplectic manifolds. This is due to the theorem that the Hamiltonian flow preserves the symplectic form on the phase space. I am ...
11
votes
3answers
2k 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 ...
9
votes
2answers
587 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 $H(x,y,z,w)=zP(x,y)+wQ(...
5
votes
1answer
514 views

Canonical bundle of the Lagrangian Grassmannian

I work through the paper On branched coverings of some homogeneous space of Kim and Manivel and I came across the definition of the canonical bundle of the Lagrangian Grassmannian $\mathbb{LG}_n$, the ...
2
votes
0answers
446 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 t}=-Ric_{X/Y}(\omega(t))-\omega(...
6
votes
1answer
743 views

A generalization of Gradient vector fields and Curl of vector fields

Let $M$ be a smooth Riemannian manifold. The Riemannian metric enables us to equip the tangent bundle $TM$ with a symplectic structure $\omega$, which is the pullback of the standard symplectic $2$ ...
6
votes
1answer
2k 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 ...
4
votes
1answer
158 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
1answer
344 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 $M$...
1
vote
1answer
396 views

Fibration when central fibre is a Calabi-Yau variety with canonical singularities

Let $f\colon X\to Y$ be a surjective proper holomorphic fibre space such that $X$ and $Y$ are projective varieties and central fibre $X_0$ is Calabi-Yau variety with canonical singularities, then can ...
46
votes
5answers
3k 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 ...
18
votes
2answers
3k 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 ...
21
votes
3answers
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 ...
21
votes
5answers
2k 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 ...
28
votes
4answers
2k 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 ...
27
votes
6answers
3k views

Why is there no symplectic version of spectral geometry?

First, recall that on a Riemannian manifold $(M,g)$ the Laplace-Beltrami operator $\Delta_g:C^\infty(M)\to C^\infty(M)$ is defined as $$ \Delta_g=\mathrm{div}_g\circ\mathrm{grad}_g, $$ where the ...
7
votes
3answers
2k 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
4answers
4k views

Almost Complex Structures: 'Tame' versus 'Compatible'

Consider a symplectic manifold $(M,\omega)$ and the space of almost complex structures. These are $J:TM\to TM$ with $J^2=-\text{id}$. A given $J$ is $\omega$-tame when $\omega(v,Jv)>0$, and $J$ is $...
12
votes
6answers
3k views

When do you go hunting for Lagrangian submanifolds?

Similar to this question, I'm trying to figure out why one would be interested in Lagrangian submanifolds. But from a more geometric point of view. My best find so far is Exercise 12.4 in McDuff, ...
6
votes
3answers
2k views

look into Delzant Polytope

A Delzant polytope in R^n by definition is a simple, rational, and smooth convex polytope in R^n (Ana Cannas da Silva's book for notions.) Do you guys have any insight of the definition, for example, ...
9
votes
2answers
2k 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. ...
16
votes
2answers
3k views

What is a Futaki invariant, what is the intuition behind it, and why is it important?

As the question title suggests, what is a Futaki invariant, what is the intuition behind it, and why is it important?
15
votes
2answers
2k 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 ...
13
votes
1answer
1k views

decompositions for exceptional Lie algebras $E_6$, $E_7$ and $E_8$

Do anybody know , why can we write the following decompositions for exceptional Lie algebras $E_6$, $E_7$ and $E_8$ 1) $E_8=(V^{\star}\otimes \wedge^{8}V^{\star})\bigoplus \wedge^{6}V^{\star}\...
12
votes
4answers
1k views

Differential of a Sobolev map between manifolds

Let $\Sigma, M$ be smooth compact Riemannian manifolds. By embedding $M$ isometrically into $\mathbb{R}^N$, one can define the Sobolev spaces $W^{k,p}(\Sigma, M)$ by \begin{equation} W^{k,p}(\Sigma,M)...
12
votes
2answers
768 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 ...
19
votes
2answers
1k 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
5answers
2k views

Does the Baker-Campbell-Hausdorff formula hold for vector fields on a (compact) manifold?

Consider a compact manifold M. For a vector field X on M, let $\phi_X$ denote the diffeomorphism of M given by the time 1 flow of X. If X and Y are two vector fields, is $\phi_X \circ \phi_Y$ ...
11
votes
3answers
741 views

Do Contact and CR structures have corresponding G-Structures?

For an $n$-dimensional manifold $M$, almost complex and almost symplectic structures on $M$ correspond to reductions on the structure group of the tangent bundle, introducing a $GL(n/2,\mathbb{C})$ ...
9
votes
3answers
479 views

What does the flow of the principal symbol of the differential operator tell us about the PDE?

Disclaimer: Let me apologize in advance for asking this slightly vague question Let $M$ be a manifold and let $P$ be a partial differential operator acting on $C^{\infty}(M)$. Associated to $P$ there'...
18
votes
1answer
2k 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 ...
16
votes
2answers
880 views

Is there an area-preserving diffeomorphism of the disk which is nowhere conformal?

This question is a cross-post. Let $D \subseteq \mathbb{R}^2$ be the closed unit disk. Does there exist a smooth area-preserving diffeomorphism $f:D \to D$ that does not have conformal points? I ...
10
votes
5answers
947 views

Symplectic structures from Lagrangians?

In Witten's paper 'Quantization of Chern-Simons Gauge Theory with Complex Gauge Group,' he makes the statement (p. 35) that the symplectic form on the moduli space of flat $G_\mathbb{C}$ connections ...
8
votes
3answers
749 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 ...
4
votes
1answer
540 views

Boundary conditions and the relationship between Hamiltonian and Lagrangian Floer theories

I am looking for a full account of the relationship between the various versions of Floer theory on a symplectic manifold $M$. If we take the usual Floer equation (Hamiltonian version) \begin{equation*...
11
votes
2answers
716 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 ...