Search

The ellipsoid embedding function of a symplectic four-manifold measures the amount by which its symplectic form must be scaled in order for it to admit an embedding of an ellipsoid of varying eccentricity. This function generalizes the Gromov width and ball packing numbers. In the one continuous family of symplectic four-manifolds that has been analyzed, one-point blowups of the complex projective plane, there is an open dense set of symplectic forms whose ellipsoid embedding functions are completely described by finitely many obstrutions, while there is simultaneously a Cantor set of symplectic forms for which an infinite number of obstructions are needed. The latter case is called an infinite staircase. In this paper we identify a new infinite staircase when the target is a four-dimensional polydisk, extending a countable family identified by Usher in 2019. Our work indicates a method of proof for a conjecture of Usher., Comment: 55 pages, 15 figures. v2: abstract shortened and slightly edited, expository sections S2.2, S4.1, and S4.4 edited for clarity, acknowledgements and bibliography edited

We consider the embedding capacity functions $c_{H_b}(z)$ for symplectic embeddings of ellipsoids of eccentricity $z$ into the family of nontrivial rational Hirzebruch surfaces $H_b$ with symplectic form parametrized by $b\in [0,1)$. This function was known to have an infinite staircase in the monotone cases ($b= 0$ and $ b= 1/3$). It is also known that for each $b$ there is at most one value of $z$ that can be the accumulation point of such a staircase. In this manuscript, we identify three sequences of open, disjoint, blocked $b$-intervals, consisting of $b$-parameters where the embedding capacity function for $H_b$ does not contain an infinite staircase. There is one sequence in each of the intervals $(0,1/5)$, $(1/5,1/3)$, and $(1/3,1)$. We then establish six sequences of associated infinite staircases, one occurring at each endpoint of the blocked $b$-intervals. The staircase numerics are variants of those in the Fibonacci staircase for the projective plane (the case $b=0$). We also show that there is no staircase at the point $b=1/5$, even though this value is not blocked. The focus of this paper is to develop techniques, both graphical and numeric, that allow identification of potential staircases, and then to understand the obstructions well enough to prove that the purported staircases really do have the required properties. A subsequent paper will explore in more depth the set of $b$ that admit infinite staircases., Comment: 90 pages, 12 figures. Version 2 has several typos fixed and numbering changed to match style in to-be-published version

For Hamiltonian circle actions on 4-manifolds, we give a generators and relations description for the even part of the equivariant cohomology, as a module over the equivariant cohomology of a point. This description depends on combinatorial data encoded in the decorated graph of the manifold. We then give an explicit combinatorial description of all weak algebra isomorphisms. We use this description to prove that the even parts of the equivariant cohomology modules are weakly isomorphic (and the odd groups have the same ranks) if and only if the labelled graphs obtained from the decorated graphs by forgetting the height and area labels are isomorphic. As a consequence, we give an example of an isomorphism of equivariant cohomology modules that cannot be induced by an equivariant diffeomorphism of spaces preserving a compatible almost complex structure. We also deduce a soft proof that there are finitely many maximal Hamiltonian circle actions on a fixed closed symplectic 4-manifold., Comment: 77 pages, 15 figures. In v2, fixed a mistake in main example in Section 1 on the flavor of inequivalence; fixed a mistake in Section 6 where we now rely more heavily on component Euler classes; and myriad editorial changes throughout

In this paper, we study Hamiltonian R-actions on symplectic orbifolds [M/S], where R and S are tori. We prove an injectivity theorem and generalize Tolman-Weitsman's proof of the GKM theorem in this setting. The main example is the symplectic reduction X//S of a Hamiltonian T-manifold X by a subtorus S of T. This includes the class of symplectic toric orbifolds. We define the equivariant Chen-Ruan cohomology ring and use the above results to establish a combinatorial method of computing this equivariant Chen-Ruan cohomology in terms of orbifold fixed point data., Comment: 31 pages

These notes accompany a lecture about the topology of symplectic (and other) quotients. The aim is two-fold: first to advertise the ease of computation in the symplectic category; and second to give an account of some new computations for weighted projective spaces. We start with a brief exposition of how orbifolds arise in the symplectic category, and discuss the techniques used to understand their topology. We then show how these results can be used to compute the Chen-Ruan orbifold cohomology ring of abelian symplectic reductions. We conclude by comparing the several rings associated to a weighted projective space. We make these computations directly, avoiding any mention of a stacky fan or of a labeled moment polytope., Comment: 20 pages, 3 figures, 3 tables

In 1998, Goresky, Kottwitz, and MacPherson showed that for certain spaces X equipped with a torus action, the T-equivariant cohomology ring of X can be described by combinatorial data obtained from its orbit decomposition. Thus, their theory transforms calculations of the equivariant topology of X to those of the combinatorics of the orbit decomposition. Since then, many authors have studied this interplay between topology and combinatorics. In this paper, we generalize the theorem of Goresky, Kottwitz, and MacPherson to the (possibly infinite-dimensional) setting where X is any equivariant cell complex with only even-dimensional cells and isolated T-fixed points, along with some additional technical hypotheses on the gluing maps. This generalization includes many new examples which have not yet been studied by GKM theory, including homogeneous spaces of a loop group LG., Comment: 18 pages, 4 figures