Semitoric Families

Semitoric systems are a type of four-dimensional integrable system for which one of the integrals generates a global <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="double-struck upper S Superscript 1"> <mml:semantics> <mml:msup> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:mi mathvariant="double-struck">S</mml:mi> </mml:mrow> <mml:mn>1</mml:mn> </mml:msup> <mml:annotation encoding="application/x-tex">\mathbb {S}^1</mml:annotation> </mml:semantics> </mml:math> </inline-formula>-action; these systems were classified by Pelayo and Vũ Ngọc in terms of five symplectic invariants. We introduce and study semitoric families, which are one-parameter families of integrable systems with a fixed <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="double-struck upper S Superscript 1"> <mml:semantics> <mml:msup> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:mi mathvariant="double-struck">S</mml:mi> </mml:mrow> <mml:mn>1</mml:mn> </mml:msup> <mml:annotation encoding="application/x-tex">\mathbb {S}^1</mml:annotation> </mml:semantics> </mml:math> </inline-formula>-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 <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="double-struck upper S Superscript 1"> <mml:semantics> <mml:msup> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:mi mathvariant="double-struck">S</mml:mi> </mml:mrow> <mml:mn>1</mml:mn> </mml:msup> <mml:annotation encoding="application/x-tex">\mathbb {S}^1</mml:annotation> </mml:semantics> </mml:math> </inline-formula>-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.