-
On infinite staircases in toric symplectic four-manifolds
Authors:
Dan Cristofaro-Gardiner,
Tara S. Holm,
Alessia Mandini,
Ana Rita Pires
Abstract:
An influential result of McDuff and Schlenk asserts that the function that encodes when a four-dimensional symplectic ellipsoid can be embedded into a four-dimensional ball has a remarkable structure: the function has infinitely many corners, determined by the odd-index Fibonacci numbers, that fit together to form an infinite staircase.
This work has recently led to considerable interest in unde…
▽ More
An influential result of McDuff and Schlenk asserts that the function that encodes when a four-dimensional symplectic ellipsoid can be embedded into a four-dimensional ball has a remarkable structure: the function has infinitely many corners, determined by the odd-index Fibonacci numbers, that fit together to form an infinite staircase.
This work has recently led to considerable interest in understanding when the ellipsoid embedding function for other symplectic 4-manifolds is partly described by an infinite staircase. We provide a general framework for analyzing this question for a large family of targets, called finite type convex toric domains, which we prove generalizes the class of closed toric symplectic 4-manifolds. When the target is of finite type, we prove that any infinite staircase must have a unique accumulation point a_0, given as the solution to an explicit quadratic equation. Moreover, we prove that the embedding function at a_0 must be equal to the classical volume lower bound. In particular, our result gives an obstruction to the existence of infinite staircases that we show is powerful.
In the special case of rational convex toric domains, we can say more. We conjecture a complete answer to the question of existence of infinite staircases, in terms of six families that are distinguished by the fact that their moment polygon is reflexive. We then provide a uniform proof of the existence of infinite staircases for our six families, using two tools. For the first, we use recursive families of almost toric fibrations to find symplectic embeddings. For the second tool, we find recursive families of convex lattice paths that provide obstructions to embeddings. We conclude by reducing our conjecture that these are the only infinite staircases among rational convex toric domains to a question in number theory related to a classic work of Hardy and Littlewood.
△ Less
Submitted 7 August, 2024; v1 submitted 27 April, 2020;
originally announced April 2020.
-
Quasi-parabolic Higgs bundles and null hyperpolygon spaces
Authors:
Leonor Godinho,
Alessia Mandini
Abstract:
We introduce the moduli space of quasi-parabolic $SL(2,\mathbb{C})$-Higgs bundles over a compact Riemann surface $Σ$ and consider a natural involution, studying its fixed point locus when $Σ$ is $\mathbb{C} \mathbb{P}^1$ and establishing an identification with a moduli space of null polygons in Minkowski $3$-space.
We introduce the moduli space of quasi-parabolic $SL(2,\mathbb{C})$-Higgs bundles over a compact Riemann surface $Σ$ and consider a natural involution, studying its fixed point locus when $Σ$ is $\mathbb{C} \mathbb{P}^1$ and establishing an identification with a moduli space of null polygons in Minkowski $3$-space.
△ Less
Submitted 5 April, 2021; v1 submitted 3 July, 2019;
originally announced July 2019.
-
On the Gromov width of polygon spaces
Authors:
Alessia Mandini,
Milena Pabiniak
Abstract:
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 o…
▽ More
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 when $\mathcal{M}(r)$ is symplectomorphic to $\mathbb{C}\mathbb{P}^{n-3}$, for any $n \geq 4$.
△ Less
Submitted 13 May, 2017; v1 submitted 1 January, 2015;
originally announced January 2015.
-
Symplectic form on hyperpolygon spaces
Authors:
Indranil Biswas,
Carlos Florentino,
Leonor Godinho,
Alessia Mandini
Abstract:
In [GM], a family of parabolic Higgs bundles on $CP^1$ has been constructed and identified with a moduli space of hyperpolygons. Our aim here is to give a canonical alternative construction of this family. This enables us to compute the Higgs symplectic form for this family and show that the isomorphism of [GM] is a symplectomorphism.
In [GM], a family of parabolic Higgs bundles on $CP^1$ has been constructed and identified with a moduli space of hyperpolygons. Our aim here is to give a canonical alternative construction of this family. This enables us to compute the Higgs symplectic form for this family and show that the isomorphism of [GM] is a symplectomorphism.
△ Less
Submitted 20 June, 2013;
originally announced June 2013.
-
Polygons in Minkowski three space and parabolic Higgs bundles of rank two on CP^1
Authors:
Indranil Biswas,
Carlos Florentino,
Leonor Godinho,
Alessia Mandini
Abstract:
Consider the moduli space of parabolic Higgs bundles (E,Φ) of rank two on CP^1 such that the underlying holomorphic vector bundle for the parabolic vector bundle E is trivial. It is equipped with the natural involution defined by (E,Φ)\mapsto (E,-Φ). We study the fixed point locus of this involution. In [GM], this moduli space with involution was identified with the moduli space of hyperpolygons e…
▽ More
Consider the moduli space of parabolic Higgs bundles (E,Φ) of rank two on CP^1 such that the underlying holomorphic vector bundle for the parabolic vector bundle E is trivial. It is equipped with the natural involution defined by (E,Φ)\mapsto (E,-Φ). We study the fixed point locus of this involution. In [GM], this moduli space with involution was identified with the moduli space of hyperpolygons equipped with a certain natural involution. Here we identify the fixed point locus with the moduli spaces of polygons in Minkowski 3-space. This identification yields information on the connected components of the fixed point locus.
△ Less
Submitted 8 June, 2012;
originally announced June 2012.
-
Hyperpolygon spaces and moduli spaces of parabolic Higgs bundles
Authors:
Leonor Godinho,
Alessia Mandini
Abstract:
Given an $n$-tuple of positive real numbers $α$ we consider the hyperpolygon space $X(α)$, the hyperkähler quotient analogue to the Kähler moduli space of polygons in $\mathbb{R}^3$. We prove the existence of an isomorphism between hyperpolygon spaces and moduli spaces of stable, rank-$2$, holomorphically trivial parabolic Higgs bundles over $\mathbb{C} \mathbb{P}^1$ with fixed determinant and tra…
▽ More
Given an $n$-tuple of positive real numbers $α$ we consider the hyperpolygon space $X(α)$, the hyperkähler quotient analogue to the Kähler moduli space of polygons in $\mathbb{R}^3$. We prove the existence of an isomorphism between hyperpolygon spaces and moduli spaces of stable, rank-$2$, holomorphically trivial parabolic Higgs bundles over $\mathbb{C} \mathbb{P}^1$ with fixed determinant and trace-free Higgs field. This isomorphism allows us to prove that hyperpolygon spaces $X(α)$ undergo an elementary transformation in the sense of Mukai as $α$ crosses a wall in the space of its admissible values. We describe the changes in the core of $X(α)$ as a result of this transformation as well as the changes in the nilpotent cone of the corresponding moduli spaces of parabolic Higgs bundles. Moreover, we study the intersection rings of the core components of $X(α)$. In particular, we find generators of these rings, prove a recursion relation in $n$ for their intersection numbers and use it to obtain explicit formulas for the computation of these numbers. Using our isomorphism, we obtain similar formulas for each connected component of the nilpotent cone of the corresponding moduli spaces of parabolic Higgs bundles thus determining their intersection rings. As a final application of our isomorphism we describe the cohomology ring structure of these moduli spaces of parabolic Higgs bundles and of the components of their nilpotent cone.
△ Less
Submitted 17 January, 2011;
originally announced January 2011.
-
The Duistermaat-Heckman formula and the cohomology of moduli spaces of polygons
Authors:
Alessia Mandini
Abstract:
We give a presentation of the cohomology ring of spatial polygon spaces $M(r)$ with fixed side lengths $r \in \mathbb R^n_+$. These spaces can be described as the symplectic reduction of the Grassmaniann of 2-planes in $\mathbb C^n$ by the $U(1)^n$-action by multiplication, where $U(1)^n$ is the torus of diagonal matrices in the unitary group U(n). We prove that the first Chern classes of the $n$…
▽ More
We give a presentation of the cohomology ring of spatial polygon spaces $M(r)$ with fixed side lengths $r \in \mathbb R^n_+$. These spaces can be described as the symplectic reduction of the Grassmaniann of 2-planes in $\mathbb C^n$ by the $U(1)^n$-action by multiplication, where $U(1)^n$ is the torus of diagonal matrices in the unitary group U(n). We prove that the first Chern classes of the $n$ line bundles associated with the fibration $r$-level set $\rightarrow M(r)$ generate the cohomology ring $H^* (M(r), \mathbb C).$ By applying the Duistermaat--Heckman Theorem, we then deduce the relations on these generators from the piece-wise polynomial function that describes the volume of $M(r).$ We also give an explicit description of the birational map between $M(r) $ and $M(r')$ when the lengths vectors $r$ and $r'$ are in different chambers of the moment polytope. This wall-crossing analysis is the key step to prove that the Chern classes above are generators of $H^*(M(r))$ (this is well-known when $M(r)$ is toric, and by wall-crossing we prove that it holds also when $M(r)$ is not toric).
△ Less
Submitted 13 August, 2013; v1 submitted 25 November, 2008;
originally announced November 2008.
-
The cobordism class of the moduli space of polygons in $\mathbb{R}^3$
Authors:
Alessia Mandini
Abstract:
For any vector $r=(r_1,..., r_n)$, let $M_r$ denote the moduli space (under rigid motions) of polygons in $\mathbb{R}^3$ with $n$-sides whose lengths are $r_1,...,r_n$. We give an explicit characterization of the oriented $S^1$-cobordism class of $M_r$ which depends uniquely on the length vector $r$.
For any vector $r=(r_1,..., r_n)$, let $M_r$ denote the moduli space (under rigid motions) of polygons in $\mathbb{R}^3$ with $n$-sides whose lengths are $r_1,...,r_n$. We give an explicit characterization of the oriented $S^1$-cobordism class of $M_r$ which depends uniquely on the length vector $r$.
△ Less
Submitted 4 August, 2008; v1 submitted 19 February, 2008;
originally announced February 2008.
