We study the symplectic geometry of the moduli space of closed n-gons with fixed side-lengths in hyperbolic 3-space. We prove that these moduli spaces have a symplectic structure coming from Poisson Lie theory. We construct completely integrable systems on these moduli spaces by bending n-gons along their diagonals. The results of this paper are the analogues of the results of the first two authors for n-gon linkages in Euclidean 3-space in JDG 44. We conclude by proving by a deformation argument that the moduli spaces of n-gon linkages in hyperbolic 3-space and Euclidean 3-space with the same set of side-lengths are symplectomorphic.
In this paper, we study the symplectic volume of the moduli space of polygons by using Witten's formula. We propose to use this volume as a measure for the flexibility of a polygon with fixed side-lengths. The main result of our is that among all the Spherical and Euclidean polygons with fixed perimeter the regular one is the most flexible and that among all the spherical polygons the regular one with side-length $π/2$ is the most flexible.
We study the symplectic geometry of the moduli spaces $M_r=M_r(\s^3)$ of closed n-gons with fixed side-lengths in the 3-sphere. We prove that these moduli spaces have symplectic structures obtained by reduction of the fusion product of $n$ conjugacy classes in SU(2), denoted $C_r^n$, by the diagonal conjugation action of SU(2). Here $C_r^n$ is a quasi-Hamiltonian SU(2)-space. An integrable Hamiltonian system is constructed on $M_r$ in which the Hamiltonian flows are given by bending polygons along a maximal collection of nonintersecting diagonals. Finally, we show the symplectic structure on $…
A symplectic form is called hyperbolic if its pull-back to the universal cover is a differential of a bounded one-form. The present paper is concerned with the properties and constructions of manifolds admitting hyperbolic symplectic forms. The main results are: * If a symplectic form represents a bounded cohomology class then it is hyperbolic. * The symplectic hyperbolicity is equivalent to a certain isoperimetric inequality. * The fundamental group of symplectically hyperbolic manifold is non-amenable. We also construct hyperbolic symplectic forms on certain bundles and Lefschetz fibrations,…
We use hyperbolic geometry to construct simply-connected symplectic or complex manifolds with trivial canonical bundle and with no compatible Kahler structure. We start with the desingularisations of the quadric cone in C^4: the smoothing is a natural S^3-bundle over H^3, its holomorphic geometry is determined by the hyperbolic metric; the small-resolution is a natural S^2-bundle over H^4 with symplectic geometry determined by the metric. Using hyperbolic geometry, we find orbifold quotients with trivial canonical bundle; smooth examples are produced via crepant resolutions. In particular, we …
Given an SO(3)-bundle with connection, the associated two-sphere bundle carries a natural closed 2-form. Asking that this be symplectic gives a curvature inequality first considered by Reznikov. We study this inequality in the case when the base has dimension four, with three main aims. Firstly, we use this approach to construct symplectic six-manifolds with c_1=0 which are never Kahler; e.g., we produce such manifolds with b_1=0=b_3 and also with c_2.omega <0, answering questions posed by Smith-Thomas-Yau. Examples come from Riemannian geometry, via the Levi-Civita connection on Lambda^+. The…
A hyperbolic 0-metric on a surface with boundary is a hyperbolic metric on its interior, exhibiting the boundary behavior of the standard metric on the Poincaré disk. Consider the infinite-dimensional Teichmüller spaces of hyperbolic 0-metrics on oriented surfaces with boundary, up to diffeomorphisms fixing the boundary and homotopic to the identity. We show that these spaces have natural symplectic structures, depending only on the choice of an invariant metric on sl(2,R). We prove that these Teichmüller spaces are Hamiltonian Virasoro spaces for the action of the universal cover of the group…
Given an integer b and a finitely presented group G we produce a compact symplectic six-manifold with c_1 = 0, b_2 > b, b_3 > b and fundamental group G. In the simply-connected case we can also arrange for b_3 = 0; in particular these examples are not diffeomorphic to Kähler manifolds with c_1 = 0. The construction begins with a certain orientable four-dimensional hyperbolic orbifold assembled from right-angled 120-cells. The twistor space of the hyperbolic orbifold is a symplectic Calabi-Yau orbifold; a crepant resolution of this last orbifold produces a smooth symplectic manifold with the re…
We study the symplectic geometry of the moduli spaces of polygons in the Minkowski 3-space. These spaces naturally carry completely integrable systems with periodic flows. We extend the Gelfand-Tsetlin method to pseudo-unitary groups and show that the action variables are given by the Minkowsky lengths of non-intersecting diagonals.
A closed equilateral random walk in 3-space is a selection of unit length vectors giving the steps of the walk conditioned on the assumption that the sum of the vectors is zero. The sample space of such walks with $n$ edges is the $(2n-3)$-dimensional Riemannian manifold of equilateral closed polygons in $\mathbb{R}^3$. We study closed random walks using the symplectic geometry of the $(2n-6)$-dimensional quotient of the manifold of polygons by the action of the rotation group $\operatorname {SO}(3)$. The basic objects of study are the moment maps on equilateral random polygon space given by t…
This paper studies the geometry of Cartan-Hartogs domains from the symplectic point of view. Inspired by duality between compact and noncompact Hermitian symmetric spaces, we construct a dual counterpart of Cartan-Hartogs domains and give explicit expression of global Darboux coordinates for both Cartan-Hartogs and their dual. Further, we compute their symplectic capacity and show that a Cartan-Hartogs admits a symplectic duality if and only if it reduces to be a complex hyperbolic space.
Moduli spaces of polygons have been studied since the nineties for their topological and symplectic properties. Under generic assumptions, these are symplectic manifolds with natural global action-angle coordinates. This paper is concerned with the quantization of these manifolds and of their action coordinates. Applying the geometric quantization procedure, one is lead to consider invariant subspaces of a tensor product of irreducible representations of SU(2). These quantum spaces admit natural sets of commuting observables. We prove that these operators form a semi-classical integrable syste…
In this paper, we first generalize the common index jump theorem for symplectic matrix paths proved in 2002 by Long and Zhu in [LoZ], and get an enhanced version of it. As its applications, we further prove that for a compact simply-connected manifold $(M,F)$ with a bumpy, irreversible Finsler metric $F$ and $H^*(M;{\bf Q})\cong T_{d,n+1}(x)$ for some even integer $d\ge 2$ and integer $n\ge 1$, there exist at least $\frac{dn(n+1)}{2}$ distinct non-hyperbolic closed geodesics with odd Morse indices, provided the number of distinct prime closed geodesics is finite and every prime closed geodesic…
We compute the semi-global symplectic invariants near the hyperbolic equilibrium points of the Euler top. The Birkhoff normal form at the hyperbolic point is computed using Lie series. The actions near the hyperbolic point are found using Frobenius expansion of its Picard-Fuchs equation. We show that the Birkhoff normal form can also be found by inverting the regular solution of the Picard-Fuchs equation. Composition of the singular action integral with the Birkhoff normal form gives the semi-global symplectic invariant. Finally, we discuss the convergence of these invariants and show that in …
We use a theorem of Tolman and Weitsman to find explicit formulæfor the rational cohomology rings of the symplectic reduction of flag varieties in C^n, or generic coadjoint orbits of SU(n), by (maximal) torus actions. We also calculate the cohomology ring of the moduli space of $n$ points in CP^k, which is isomorphic to the Grassmannian of k-planes in C^n, by realizing it as a degenerate coadjoint orbit.
We consider the moduli space M_r of polygons with fixed side lengths in five-dimensional eucledian space. We analyze the local structure of its singularities and exhibit a real-analytic equivalence between M_r and a weighted quotient of the n-fold product of the quaternionic projective line HP^1 by the diagonal PSL(2,H)-action. We explore the relation between M_r and the fixed point set of an anti-symplectic involution on a GIT quotient Gr(2,4)^n/SL(4,C). We generalize the Gel'fand-MacPherson correspondence to more general complex Grassmannians and to the quaternionic context, and realize our …
Speyer and Sturmfels [SpSt] associated Gröbner toric degenerations $\mathrm{Gr}_2(\C^n)^{\tree}$ of $\mathrm{Gr}_2(\C^n)$ to each trivalent tree $\tree$ with $n$ leaves. These degenerations induce toric degenerations $M_{\br}^{\tree}$ of $M_{\br}$, the space of $n$ ordered, weighted (by $\br$) points on the projective line. Our goal in this paper is to give a geometric (Euclidean polygon) description of the toric fibers as stratified symplectic spaces and describe the action of the compact part of the torus as "bendings of polygons." We prove the conjecture of Foth and Hu [FH] that the toric f…
We prove the existence of infinitely many periodic orbits of symplectomorphisms isotopic to the identity if they admit at least one hyperbolic periodic orbit and satisfy some condition on the flux. Our result is proved for a certain class of closed symplectic manifolds and the main tool we use is a variation of Floer theory for symplectomorphisms, the Floer-Novikov theory. The proof relies on an important result on hyperbolic orbits, namely, that a \emph{Floer-Novikov} trajectory which converges to an iteration $k$ of the hyperbolic orbit and crosses its fixed neighborhood has energy bounded b…
For generic $r=(r_1,\ldots,r_n) \in \mathbb{R}^n_+$ the space $\mathcal{M}(r)$ of $n$--gons in $\mathbb{R}^3$ with edges of lengths $r$ is a smooth, symplectic manifold. We investigate its Gromov width and prove that the expression $$2π\min \{2 r_j, (\sum_{i \neq j} r_i) - r_j\,\,|\, j=1,\ldots,n\}$$ is the Gromov width of all (smooth) $5$--gon spaces and of $6$--gon spaces, under some condition on $r \in \mathbb{R}^6_+$. The same formula constitutes a lower bound for all (smooth) spaces of $6$--gons. Moreover, we prove that the Gromov width of $\mathcal{M}(r)$ is given by the above expression…
We prove that any coadjoint orbit with real eigenvalues of a complex semisimple Lie group, equipped with the real part of the canonical holomorphic symplectic form, is symplectomorphic to the cotangent bundle of a (partial) flag manifold. Moreover, we generalize this result to hyperbolic orbits in a real semisimple Lie algebra.
