Non-diffeomorphic minimal genus relative trisections of the same 4-manifold

Natsuya Takahashi

2024-06-05

Abstract:We show the existence of a $4$-manifold with boundary that admits two non-diffeomorphic minimal genus relative trisections of the same $(g,k;p,b)$-type. To prove this, we introduce a simple operation that produces a trisection diagram of a closed $4$-manifold from a relative trisection diagram.

Geometric Topology

What problem does this paper attempt to address?

Exotic 4-manifolds with small trisection genus

Natsuya Takahashi

2023-08-17

Abstract:We show that there exists an exotic pair of $4$-manifolds with boundary whose trisection genera are $4$. We also construct genus-$3$ relative trisections for an infinite family of contractible $4$-manifolds introduced by Akbulut and Kirby.

Geometric Topology
Diagrams for Relative Trisections

Nickolas A. Castro,David T. Gay,Juanita Pinzón-Caicedo

DOI: https://doi.org/10.48550/arXiv.1610.06373

2017-07-26

Abstract:We establish a correspondence between trisections of smooth, compact, oriented $4$--manifolds with connected boundary and diagrams describing these trisected $4$--manifolds. Such a diagram comes in the form of a compact, oriented surface with boundary together with three tuples of simple closed curves, with possibly fewer curves than the genus of the surface, satisfying a pairwise standardness condition. This should be thought of as the $4$--dimensional analog of a sutured Heegaard diagram for a sutured $3$--manifold. We also give many foundational examples.

Geometric Topology
Pseudo-trisections of four-manifolds with boundary

Shintaro Fushida-Hardy

2024-01-18

Abstract:We introduce the concept of pseudo-trisections of smooth oriented compact 4-manifolds with boundary. The main feature of pseudo-trisections is that they have lower complexity than relative trisections for given 4-manifolds. We prove existence and uniqueness of pseudo-trisections, and further establish a one-to-one correspondence between pseudo-trisections and their diagrammatic representations. We next introduce the concept of pseudo-bridge trisections of neatly embedded surfaces in smooth oriented compact 4-manifolds. We develop a diagrammatic theory of pseudo-bridge trisections and provide examples of computations of invariants of neatly embedded surfaces in 4-manifolds using said diagrams.

Geometric Topology
Trisections of non-orientable 4-manifolds

Maggie Miller,Patrick Naylor

DOI: https://doi.org/10.48550/arXiv.2010.07433

2020-10-14

Geometric Topology

Abstract:We study trisections of smooth, compact non-orientable 4-manifolds, and introduce trisections of non-orientable 4-manifolds with boundary. In particular, we prove a non-orientable analogue of a classical theorem of Laudenbach-Po\'enaru. As a consequence, trisection diagrams and Kirby diagrams of closed non-orientable 4-manifolds exist. We discuss how the theory of trisections may be adapted to the setting of non-orientable 4-manifolds with many examples.
Relative Group Trisections

Nickolas Andres Castro,Jason Joseph,Patrick K. McFaddin

2024-07-24

Abstract:Trisections of closed 4-manifolds, first defined and studied by Gay and Kirby, have proved to be a useful tool in the systematic analysis of 4-manifolds via handlebodies. Subsequent work of Abrams, Gay, and Kirby established a connection with the algebraic notion of a group trisection, which strikingly defines a one-to-one correspondence. We generalize the notion of a group trisection to the non-closed case by defining and studying relative group trisections. We establish an analogous one-to-one correspondence between relative trisections and relative group trisections up to equivalence. The key lemma in the construction may be of independent interest, as it generalizes the classical fact that there is a unique handlebody extension of a surface realizing a given surjection. Moreover, we establish a functorial relationship between relative trisections of manifolds and groups, extending work of Klug in the closed case.

Geometric Topology,Algebraic Topology
On diagrams of simplified trisections and mapping class groups

Kenta Hayano

DOI: https://doi.org/10.48550/arXiv.1711.02790

2017-11-08

Abstract:A simplified trisection is a trisection map on a 4-manifold such that, in its critical value set, there is no double point and cusps only appear in triples on innermost fold circles. We give a necessary and sufficient condition for a 3-tuple of systems of simple closed curves in a surface to be a diagram of a simplified trisection in terms of mapping class groups. As an application of this criterion, we show that trisections of spun 4-manifolds due to Meier are diffeomorphic (as trisections) to simplified ones. Baykur and Saeki recently gave an algorithmic construction of a simplified trisection from a directed broken Lefschetz fibration. We also give an algorithm to obtain a diagram of a simplified trisection derived from their construction.

Geometric Topology
Trisections of the doubles of some Mazur type 4-manifolds

Tsukasa Isoshima

2024-04-27

Abstract:We show that certain two kinds of trisection diagrams of the doubles of the Mazur type 4-manifolds introduced by Akbulut and Kirby are standard. One is constructed by doubling a certain relative trisection diagram of the Mazur type. The other is constructed by using an algorithm taking Kirby diagrams to trisection diagrams.

Geometric Topology
Trisections of PL 4-manifolds arising from colored triangulations

Maria Rita Casali,Paola Cristofori

2024-09-13

Abstract:The purpose of the present paper is twofold: firstly to extend to non-orientable compact 4-manifolds the notion of gem-induced trisection, directly obtained from colored triangulations (or, equivalently, from colored graphs encoding them, called gems); secondly to prove that, both in the orientable and non-orientable case, if the boundary is homeomorphic to a connected sum of sphere bundles over $\mathbb S^1$, gem-induced trisections naturally give rise to trisections of the corresponding closed 4-manifold. As a consequence, an estimation of the trisection genus of any closed orientable 4-manifold in terms of surgery description is obtained via colored triangulations.

Geometric Topology
Relative trisections of fiber bundles over the circle

Rudy Dissler

2023-04-19

Abstract:For an oriented $4$--dimensional fiber bundle over $S^{1}$, we build a relative trisection from a sutured Heegaard splitting of the fiber. We provide an algorithm to explicitly construct the associated relative trisection diagram, from a sutured Heegaard diagram of the fiber. As an application, we glue our relative trisection diagrams with existing diagrams to recover trisected closed fiber bundles over $S^1$ and trisected spun manifolds, and to provide trisections for $4$--dimensional open-books.

Geometric Topology,Differential Geometry
Relative genus bounds in indefinite four-manifolds

Ciprian Manolescu,Marco Marengon,Lisa Piccirillo

DOI: https://doi.org/10.1007/s00208-023-02787-4

2024-01-12

Mathematische Annalen

Abstract:Given a closed four-manifold X with an indefinite intersection form, we consider smoothly embedded surfaces in , with boundary a knot . We give several methods to bound the genus of such surfaces in a fixed homology class. Our tools include adjunction inequalities and the theorem. In particular, we present obstructions to a knot being H-slice (that is, bounding a null-homologous disk) in a four-manifold and show that the set of H-slice knots can detect exotic smooth structures on closed 4-manifolds.

mathematics
Multisections of higher-dimensional manifolds

Fathi Ben Aribi,Sylvain Courte,Marco Golla,Delphine Moussard

2023-03-16

Abstract:Generalizing Heegaard splittings of 3-manifolds and trisections of 4-manifolds, we consider multisections of higher-dimensional smooth (or PL) closed orientable manifolds, namely decompositions into 1-handlebodies whose subcollections intersect along 1-handlebodies, with global intersection a closed surface. With such a multisection one can associate a diagram. We prove that a multisection diagram determines a unique PL-manifold in all dimensions and a unique smooth manifold up to dimension 6. Further, we show that any closed orientable smooth 5-manifold admits a multisection.

Geometric Topology
Calculating the homology and intersection form of a 4-manifold from a trisection diagram

Peter Feller,Michael Klug,Trent Schirmer,Drew Zemke

DOI: https://doi.org/10.1073/pnas.1717176115

2017-11-15

Abstract:Given a diagram for a trisection of a 4-manifold $X$, we describe the homology and the intersection form of $X$ in terms of the three subgroups of $H_1(\Sigma;\mathbb{Z})$ generated by the three sets of curves and the intersection pairing on the diagram surface $\Sigma$. This includes explicit formulas for the second and third homology groups of $X$ as well an algorithm to compute the intersection form. Moreover, we show that all $(g;k,0,0)$-trisections admit "algebraically trivial" diagrams.

Geometric Topology
Trisections obtained by trivially regluing surface-knots

Tsukasa Isoshima

DOI: https://doi.org/10.1007/s10711-024-00919-x

2024-04-13

Geometriae Dedicata

Abstract:Let S be a -knot which is the connected sum of a 2-knot with normal Euler number 0 and an unknotted -knot with normal Euler number in a closed 4-manifold X with trisection . Then, we show that the trisection of X obtained by the trivial gluing of relative trisections of and is diffeomorphic to a stabilization of . It should be noted that this result is not obvious since boundary-stabilizations introduced by Kim and Miller are used to construct a relative trisection of . As a corollary, if and was the genus 0 trisection of , the resulting trisection is diffeomorphic to a stabilization of the genus 0 trisection of . This result is related to the conjecture that is a 4-dimensional analogue of Waldhausen's theorem on Heegaard splittings.

mathematics
Combed Trisection Diagrams and Non-Semisimple 4-Manifold Invariants

Julian Chaidez,Jordan Cotler,Shawn X. Cui

2024-01-19

Abstract:Given a triple $H$ of (possibly non-semisimple) Hopf algebras equipped with pairings satisfying a set of properties, we describe a construction of an associated smooth, scalar invariant $\tau_H(X,\pi)$ of a simply connected, compact, oriented $4$-manifold $X$ and an open book $\pi$ on its boundary. This invariant generalizes an earlier semisimple version and is calculated using a trisection diagram $T$ for $X$ and a certain type of combing of the trisection surface. We explain a general calculation of this invariant for a family of exotic 4-manifolds with boundary called Stein nuclei, introduced by Yasui. After investigating many low-dimensional Hopf algebras up to dimension 11, we have not been able to find non-semisimple Hopf triples that satisfy the criteria for our invariant. Nonetheless, appropriate Hopf triples may exist outside the scope of our explorations.

Quantum Algebra,Mathematical Physics,Geometric Topology
Bridge trisections of knotted surfaces in $S^4$

Jeffrey Meier,Alexander Zupan

DOI: https://doi.org/10.1090/tran/6934

2015-07-30

Abstract:We introduce bridge trisections of knotted surfaces in the four-sphere. This description is inspired by the work of Gay and Kirby on trisections of four-manifolds and extends the classical concept of bridge splittings of links in the three-sphere to four dimensions. We prove that every knotted surface in the four-sphere admits a bridge trisection (a decomposition into three simple pieces) and that any two bridge trisections for a fixed surface are related by a sequence of stabilizations and destabilizations. We also introduce a corresponding diagrammatic representation of knotted surfaces and describe a set of moves that suffice to pass between two diagrams for the same surface. Using these decompositions, we define a new complexity measure: the bridge number of a knotted surface. In addition, we classify bridge trisections with low complexity, we relate bridge trisections to the fundamental groups of knotted surface complements, and we prove that there exist knotted surfaces with arbitrarily large bridge number.

Geometric Topology
Irreducible 4-manifolds can admit exotic diffeomorphisms

David Baraglia,Hokuto Konno

2024-12-19

Abstract:We prove that a variety of examples of minimal complex surfaces admit exotic diffeomorphisms, providing the first known instances of exotic diffeomorphisms of irreducible 4-manifolds. We also give sufficient conditions for the boundary Dehn twist on a spin 4-manifold with $S^3$ boundary to be non-trivial in the relative mapping class group. This gives many new examples of non-trivial boundary Dehn twists.

Geometric Topology
A New Combinatorial Class of 3-Manifold Triangulations

Feng Luo,Stephan Tillmann

DOI: https://doi.org/10.4310/ajm.2017.v21.n3.a7

2017-01-01

Abstract:We define a new combinatorial class of triangulations of closed 3-manifolds, satisfying a weak version of 0-efficiency combined with a weak version of minimality, and study them using twisted squares. As an application, we obtain strong restrictions on the topology of a 3-manifold from the existence of non-smooth maxima of the volume function on the space of circle-valued angle structures.
On the minimal genus problem in four-manifolds

András I. Stipsicz,Zoltán Szabó

2023-07-09

Abstract:We study the minimal genus problem for some smooth four-manifolds.

Geometric Topology
From Heegaard splittings to trisections; porting 3-dimensional ideas to dimension 4

David T. Gay

DOI: https://doi.org/10.48550/arXiv.1902.01797

2019-02-06

Abstract:These notes summarize and expand on a mini-course given at CIRM in February 2018 as part of Winter Braids VIII. We somewhat obsessively develop the slogan `Trisections are to 4-manifolds as Heegaard splittings are to 3-manifolds', focusing on and clarifying the distinction between three ways of thinking of things: the basic definitions as decompositions of manifolds, the Morse theoretic perspective and descriptions in terms of diagrams. We also lay out these themes in two important relative settings: 4-manifolds with boundary and 4-manifolds with embedded 2-dimensional submanifolds.

Geometric Topology

Non-diffeomorphic minimal genus relative trisections of the same 4-manifold

Exotic 4-manifolds with small trisection genus

Diagrams for Relative Trisections

Pseudo-trisections of four-manifolds with boundary

Trisections of non-orientable 4-manifolds

Relative Group Trisections

On diagrams of simplified trisections and mapping class groups

Trisections of the doubles of some Mazur type 4-manifolds

Trisections of PL 4-manifolds arising from colored triangulations

Relative trisections of fiber bundles over the circle

Relative genus bounds in indefinite four-manifolds

Multisections of higher-dimensional manifolds

Calculating the homology and intersection form of a 4-manifold from a trisection diagram

Trisections obtained by trivially regluing surface-knots

Combed Trisection Diagrams and Non-Semisimple 4-Manifold Invariants

Bridge trisections of knotted surfaces in $S^4$

Irreducible 4-manifolds can admit exotic diffeomorphisms

A New Combinatorial Class of 3-Manifold Triangulations

On the minimal genus problem in four-manifolds

From Heegaard splittings to trisections; porting 3-dimensional ideas to dimension 4