-
The contact cut graph and a Weinstein $\mathcal{L}$-invariant
Authors:
Nickolas Castro,
Gabriel Islambouli,
Jie Min,
Sümeyra Sakallı,
Laura Starkston,
Angela Wu
Abstract:
We define and study the contact cut graph which is an analogue of Hatcher and Thurston's cut graph for contact geometry, inspired by contact Heegaard splittings. We show how oriented paths in the contact cut graph correspond to Lefschetz fibrations and multisection with divides diagrams. We also give a correspondence for achiral Lefschetz fibrations. We use these correspondences to define a new in…
▽ More
We define and study the contact cut graph which is an analogue of Hatcher and Thurston's cut graph for contact geometry, inspired by contact Heegaard splittings. We show how oriented paths in the contact cut graph correspond to Lefschetz fibrations and multisection with divides diagrams. We also give a correspondence for achiral Lefschetz fibrations. We use these correspondences to define a new invariant of Weinstein domains, the Weinstein $\mathcal{L}$-invariant, that is a symplectic analogue of the Kirby-Thompson's $\mathcal{L}$-invariant of smooth $4$-manifolds. We discuss the relation of Lefschetz stabilization with the Weinstein $\mathcal{L}$-invariant. We present topological and geometric constraints of Weinstein domains with $\mathcal{L}=0$. We also give two families of examples of multisections with divides that have arbitrarily large $\mathcal{L}$-invariant.
△ Less
Submitted 9 August, 2024;
originally announced August 2024.
-
Multisections with divides and Weinstein 4-manifolds
Authors:
Gabriel Islambouli,
Laura Starkston
Abstract:
We show how to encode a Weinstein 4-manifold using a multisection diagram with divides, which is a sequence of cut systems on a surface, together with a separating collection of curves. We give two algorithms to construct a multisection diagram with divides of a given Weinstein manifold, one starting with a Kirby-Weinstein handle decomposition and one starting with a positive, allowable Lefschetz…
▽ More
We show how to encode a Weinstein 4-manifold using a multisection diagram with divides, which is a sequence of cut systems on a surface, together with a separating collection of curves. We give two algorithms to construct a multisection diagram with divides of a given Weinstein manifold, one starting with a Kirby-Weinstein handle decomposition and one starting with a positive, allowable Lefschetz fibration (PALF). Through the connections with PALFs, we define a monodromy of a multisection and show how to symplectically carry out monodromy substitution on multisections with divides.
△ Less
Submitted 1 March, 2023;
originally announced March 2023.
-
Toric multisections and curves in rational surfaces
Authors:
Gabriel Islambouli,
Homayun Karimi,
Peter Lambert-Cole,
Jeffrey Meier
Abstract:
We study multisections of embedded surfaces in 4-manifolds admitting effective torus actions. We show that a simply-connected 4-manifold admits a genus one multisection if and only if it admits an effective torus action. Orlik and Raymond showed that these 4-manifolds are precisely the connected sums of copies of $\mathbb{CP}^2$, $\overline{\mathbb{CP}^2}$, and $S^2\times S^2$. Therefore, embedded…
▽ More
We study multisections of embedded surfaces in 4-manifolds admitting effective torus actions. We show that a simply-connected 4-manifold admits a genus one multisection if and only if it admits an effective torus action. Orlik and Raymond showed that these 4-manifolds are precisely the connected sums of copies of $\mathbb{CP}^2$, $\overline{\mathbb{CP}^2}$, and $S^2\times S^2$. Therefore, embedded surfaces in these 4-manifolds can be encoded diagrammatically on a genus one surface. Our main result is that every smooth, complex curve in $\mathbb{CP}^1\times\mathbb{CP}^1$ can be put in efficient bridge position with respect to a genus one 4-section. We also analyze the algebraic topology of genus one multisections.
△ Less
Submitted 8 June, 2022;
originally announced June 2022.
-
Uniqueness of 4-manifolds described as sequences of 3-d handlebodies
Authors:
Gabriel Islambouli
Abstract:
Work of numerous authors has shown that any smooth, orientable, closed 4-manifold may be described as a loop of Morse functions on a surface, a loop in the cut complex, a loop in the pants complex, or as a multisection. In this paper, we prove a corresponding uniqueness theorem for each of these descriptions, so that, for example, any two loops of Morse functions on a surface yielding diffeomorphi…
▽ More
Work of numerous authors has shown that any smooth, orientable, closed 4-manifold may be described as a loop of Morse functions on a surface, a loop in the cut complex, a loop in the pants complex, or as a multisection. In this paper, we prove a corresponding uniqueness theorem for each of these descriptions, so that, for example, any two loops of Morse functions on a surface yielding diffeomorphic 4-manifolds are related by a given set of moves.
△ Less
Submitted 17 November, 2021;
originally announced November 2021.
-
Multisections of 4-manifolds
Authors:
Gabriel Islambouli,
Patrick Naylor
Abstract:
We introduce multisections of smooth, closed 4-manifolds, which generalize trisections to decompositions with more than three pieces. This decomposition describes an arbitrary smooth, closed 4-manifold as a sequence of cut systems on a surface. We show how to carry out many smooth cut and paste operations in terms of these cut systems. In particular, we show how to implement a cork twist, whereby…
▽ More
We introduce multisections of smooth, closed 4-manifolds, which generalize trisections to decompositions with more than three pieces. This decomposition describes an arbitrary smooth, closed 4-manifold as a sequence of cut systems on a surface. We show how to carry out many smooth cut and paste operations in terms of these cut systems. In particular, we show how to implement a cork twist, whereby we show that an arbitrary exotic pair of smooth 4-manifolds admit 4-sections differing only by one cut system. By carrying out fiber sums and log transforms, we also show that the elliptic fibrations $E(n)_{p,q}$ all admit genus 3 multisections, and draw explicit diagrams for these manifolds.
△ Less
Submitted 6 October, 2020;
originally announced October 2020.
-
Representing smooth 4-manifolds as loops in the pants complex
Authors:
Gabriel Islambouli,
Michael Klug
Abstract:
We show that every smooth, orientable, closed, connected 4-manifold can be represented by a loop in the pants complex. We use this representation, together with the fact that the pants complex is simply connected, to provide an elementary proof that such 4-manifolds are smoothly cobordant to $\coprod_m \mathbb{C}P^2 \coprod_n \bar{\mathbb{C}P}^2$. We also use this association to give information a…
▽ More
We show that every smooth, orientable, closed, connected 4-manifold can be represented by a loop in the pants complex. We use this representation, together with the fact that the pants complex is simply connected, to provide an elementary proof that such 4-manifolds are smoothly cobordant to $\coprod_m \mathbb{C}P^2 \coprod_n \bar{\mathbb{C}P}^2$. We also use this association to give information about the structure of the pants complex. Namely, given a loop in the pants complex, $L$, which bounds a disk, $D$, we show that the signature of the 4-manifold associated to $L$ gives a lower bound on the number of triangles in $D$.
△ Less
Submitted 4 December, 2019;
originally announced December 2019.
-
The relative $\mathcal{L}$-invariant of a compact $4$-manifold
Authors:
Nickolas A. Castro,
Gabriel Islambouli,
Maggie Miller,
Maggy Tomova
Abstract:
In this paper, we introduce the relative $\mathcal{L}$-invariant $r\mathcal{L}(X)$ of a smooth, orientable, compact 4-manifold $X$ with boundary. This invariant is defined by measuring the lengths of certain paths in the cut complex of a trisection surface for $X$. This is motivated by the definition of the $\mathcal{L}$-invariant for smooth, orientable, closed 4-manifolds by Kirby and Thompson. W…
▽ More
In this paper, we introduce the relative $\mathcal{L}$-invariant $r\mathcal{L}(X)$ of a smooth, orientable, compact 4-manifold $X$ with boundary. This invariant is defined by measuring the lengths of certain paths in the cut complex of a trisection surface for $X$. This is motivated by the definition of the $\mathcal{L}$-invariant for smooth, orientable, closed 4-manifolds by Kirby and Thompson. We show that if $X$ is a rational homology ball, then $r\mathcal{L}(X)=0$ if and only if $X\cong B^4$.
In order to better understand relative trisections, we also produce an algorithm to glue two relatively trisected 4-manifold by any Murasugi sum or plumbing in the boundary, and also prove that any two relative trisections of a given 4-manifold $X$ are related by interior stabilization, relative stabilization, and the relative double twist, which we introduce in this paper as a trisection version of one of Piergallini and Zuddas's moves on open book decompositions. Previously, it was only known (by Gay and Kirby) that relative trisections inducing equivalent open books on $X$ are related by interior stabilizations.
△ Less
Submitted 20 November, 2020; v1 submitted 14 August, 2019;
originally announced August 2019.
-
Nielsen equivalence and trisections of 4-manifolds
Authors:
Gabriel Islambouli
Abstract:
The goal of this paper is to construct distinct trisections of the same genus on a fixed 4-manifold. For every $k \geq 2$, we construct $2^{k}-1$ non-diffeomorphic $(3k,k)$-trisections on infinitely many 4-manifolds. Here, the manifolds are spun Seifert fiber spaces and the trisections come from Meier's spun trisections. The technique used to distinguish the trisections parallels an established te…
▽ More
The goal of this paper is to construct distinct trisections of the same genus on a fixed 4-manifold. For every $k \geq 2$, we construct $2^{k}-1$ non-diffeomorphic $(3k,k)$-trisections on infinitely many 4-manifolds. Here, the manifolds are spun Seifert fiber spaces and the trisections come from Meier's spun trisections. The technique used to distinguish the trisections parallels an established technique for distinguishing Heegaard splittings. In particular, we show that the Nielsen classes of the generators of the fundamental group, obtained from spines of the 4-dimensional 1-handlebodies of the trisection, are isotopy invariants of the trisection. If we additionally consider the action of the automorphism group on the Nielsen classes, we obtain diffeomorphism invariants of trisections.
△ Less
Submitted 7 May, 2018; v1 submitted 18 April, 2018;
originally announced April 2018.
-
Comparing 4-Manifolds in the Pants Complex via Trisections
Authors:
Gabriel Islambouli
Abstract:
Given two smooth, oriented, closed 4-manifolds $M_1$ and $M_2$, we construct two invariants, $D^P(M_1, M_2)$ and $D(M_1, M_2)$, coming from distances in the pants complex and the dual curve complex respectively. To do this, we adapt work of Johnson on Heegaard splittings of 3-manifolds to the trisections of 4-manifolds introduced by Gay and Kirby. Our main results are that the invariants are indep…
▽ More
Given two smooth, oriented, closed 4-manifolds $M_1$ and $M_2$, we construct two invariants, $D^P(M_1, M_2)$ and $D(M_1, M_2)$, coming from distances in the pants complex and the dual curve complex respectively. To do this, we adapt work of Johnson on Heegaard splittings of 3-manifolds to the trisections of 4-manifolds introduced by Gay and Kirby. Our main results are that the invariants are independent of the choices made throughout the process, as well as interpretations of "nearby" manifolds. This naturally leads to various graphs of 4-manifolds coming from unbalanced trisections, and we briefly explore their properties.
△ Less
Submitted 22 July, 2017;
originally announced July 2017.
-
The Khovanov homology of infinite braids
Authors:
Gabriel Islambouli,
Michael Willis
Abstract:
We show that the limiting Khovanov chain complex of any infinite positive braid categorifies the Jones-Wenzl projector. This result extends Lev Rozansky's categorification of the Jones-Wenzl projectors using the limiting complex of infinite torus braids. We also show a similar result for the limiting Lipshitz-Sarkar-Khovanov homotopy types of the closures of such braids. Extensions to more general…
▽ More
We show that the limiting Khovanov chain complex of any infinite positive braid categorifies the Jones-Wenzl projector. This result extends Lev Rozansky's categorification of the Jones-Wenzl projectors using the limiting complex of infinite torus braids. We also show a similar result for the limiting Lipshitz-Sarkar-Khovanov homotopy types of the closures of such braids. Extensions to more general infinite braids are also considered.
△ Less
Submitted 14 October, 2016;
originally announced October 2016.
