Source author record

Joseph Palmer

Joseph Palmer appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

math.SG math.DG math.GR math.MG nlin.SI

Catalog footprint

What is connected

6works

5topics

4close collaborators

Actions

Connect this record

Open graph Browse works

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2022arXiv

Extending compact Hamiltonian $\mathbb{S}^1$-spaces to integrable systems with mild degeneracies in dimension four

Given any compact connected four dimensional symplectic manifold $(M,ω)$ and smooth function $J\colon M\to \mathbb{R}$ which generates an effective $\mathbb{S}^1$-action, we show that there exists a smooth function $H\colon M\to\mathbb{R}$ such that $(M,ω,(J,H))$ is a completely (Liouville) integrable system of a type we call hypersemitoric -- these are systems for which all singularities are non-degenerate, except possibly for a finite number of families of degenerate points of a relatively tame type called parabolic (also sometimes called cuspidal). Such an $(M,ω,J)$ is often referred to as a Hamiltonian $\mathbb{S}^1$-space (classified by Karshon in 1999) and we call any integrable system of the form $(M,ω,(J,H))$ an extension of $(M,ω,J)$. Using this terminology, our main result is that any Hamiltonian $\mathbb{S}^1$-space can be extended to a hypersemitoric integrable system. We also show that there exist Hamiltonian $\mathbb{S}^1$-spaces for which any extension must include at least one degenerate singular point. Parabolic points are among the most common and natural degenerate points, and thus hypersemitoric systems are in this sense the `nicest' class of systems to which all Hamiltonian $\mathbb{S}^1$-spaces can be extended. We also prove several foundational results about these systems, such as the non-existence of loops of hyperbolic-regular points and some properties about their fibers.

preprint2022arXiv

Semitoric families

Semitoric systems are a type of four-dimensional integrable system for which one of the integrals generates a global $S^1$-action; these systems were classified by Pelayo and Vu Ngoc in terms of five symplectic invariants. We introduce and study semitoric families, which are one-parameter families of integrable systems with a fixed $S^1$-action that are semitoric for all but finitely many values of the parameter, with the goal of developing a strategy to find a semitoric system associated to a given partial list of semitoric invariants. We also enumerate the possible behaviors of such families at the parameter values for which they are not semitoric, providing examples illustrating nearly all possible behaviors, which describes the possible limits of semitoric systems with a fixed $S^1$-action. Furthermore, we introduce natural notions of blowup and blowdown in this context, investigate how semitoric families behave under these operations, and use this to prove that each Hirzebruch surface admits a semitoric family with certain desirable invariants; these families are related to the semitoric minimal model program. Finally, we give several explicit semitoric families on the first and second Hirzebruch surfaces showcasing various possible behaviors of such families which include new semitoric systems.

preprint2016arXiv

Minimal models of compact symplectic semitoric manifolds

A symplectic semitoric manifold is a symplectic $4$-manifold endowed with a Hamiltonian $(S^1 \times \mathbb{R})$-action satisfying certain conditions. The goal of this paper is to construct a new symplectic invariant of symplectic semitoric manifolds, the helix, and give applications. The helix is a symplectic analogue of the fan of a nonsingular complete toric variety in algebraic geometry, that takes into account the effects of the monodromy near focus-focus singularities. We give two applications of the helix: first, we use it to give a classification of the minimal models of symplectic semitoric manifolds, where "minimal" is in the sense of not admitting any blowdowns. The second application is an extension to the compact case of a well known result of Vũ Ngoc about the constraints posed on a symplectic semitoric manifold by the existence of focus-focus singularities. The helix permits to translate a symplectic geometric problem into an algebraic problem, and the paper describes a method to solve this type of algebraic problem.

preprint2015arXiv

Symplectic $G$-capacities and integrable systems

For any Lie group $G$, we construct a $G$-equivariant analogue of symplectic capacities and give examples when $G = \mathbb{T}^k\times\mathbb{R}^{d-k}$, in which case the capacity is an invariant of integrable systems. Then we study the continuity of these capacities, using the natural topologies on the symplectic $G$-categories on which they are defined.

preprint2014arXiv

Metrics and convergence in the moduli spaces of maps

We provide a general framework to study convergence properties of families of maps. For manifolds $M$ and $N$ where $M$ is equipped with a volume form $\mathcal{V}$ we consider families of maps in the collection $\{(ϕ, B) : B \subset M, ϕ:B \rightarrow N\text{ with both measurable}\}$ and we define a distance function $\mathcal{D}$ similar to the $L^1$ distance on such a collection. The definition of $\mathcal{D}$ depends on several parameters, but we show that the properties and topology of the metric space do not depend on these choices. In particular we show that the metric space is always complete. After exploring the properties of $\mathcal{D}$ we shift our focus to exploring the convergence properties of families of such maps.

preprint2013arXiv

On the structure group of a decomposable model space

We study the structure group of a canonical algebraic curvature tensor built from a symmetric bilinear form, and show that in most cases it coincides with the isometry group of the symmetric form from which it is built. Our main result is that the structure group of the direct sum of such canonical algebraic curvature tensors on a decomposable model space must permute the subspaces $V_i$ on which they are defined. For such an algebraic curvature tensor, we show that if the vector space $V$ is a direct sum of subspaces $V_1$ and $V_2$, the corresponding structure group decomposes as well if $V_1$ and $V_2$ are invariant of the action of the structure group on $V$. We determine the freedom one has in permuting these subspaces, and show these subspaces are invariant if $\dim V_1 \neq \dim V_2$ or if the corresponding symmetric forms defined on those subspaces have different (but not reversed) signatures, so that in this situation, only the trivial permutation is allowable. We exhibit a model space that realizes the full permutation group, and, with exception to the balanced signature case, show the corresponding structure group is isomorphic to the wreath product of the structure group of a given symmetric bilinear form by the symmetric group. Using these results, we conclude that the structure group of any member of this family is isomorphic to a direct product of wreath products of pseudo-orthogonal groups by certain subgroups of the symmetric group. Finally, we apply our results to two families of manifolds to generate new isometry invariants that are not of Weyl type.