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-spher…
We generalize bridge trisections to surfaces in four-manifolds, linking them to braided links.
problem Embedding surfaces in four-manifolds and understanding their braiding.
method Introducing bridge trisections, isotoping surfaces, and using trisections and open-book decompositions.
result Any neatly embedded surface can be isotoped to lie in bridge trisection position with respect to any trisection of the four-manifold.
We study smooth isotopy classes of complex curves in complex surfaces from the perspective of the theory of bridge trisections, with a special focus on curves in CP2 and CP1×CP1. We are especially interested in bridge trisections and trisections that are as simple as possible, whi…
Bridge trisections and knotted surfaces connected via tri-plane diagrams.
problem Computing and understanding knotted surfaces using bridge trisections.
method Using tri-plane diagrams to compute normal Euler number, fundamental group, and analyze bridge trisections of ribbon surfaces.
result Produced an infinite family of knotted spheres with non-isotopic bridge trisections of minimal complexity.
New bounds found for complexity of spun knots.
problem Measuring complexity of spun knots.
method Using bridge trisections and distances in the pants complex.
result Bound the Kirby-Thompson invariant of spun knots.
New method for simplifying complex 4D shapes with boundaries.
problem Complexity reduction in 4D shape analysis.
method Introducing pseudo-trisections and pseudo-bridge trisections.
result Existence and uniqueness of pseudo-trisections established.
Every cubic graph is a bridge trisection's 1-skeleton for a knotted surface.
problem Understanding cubic graphs and their relation to bridge trisections.
method Proving every Tait-colored cubic graph is a 1-skeleton of a bridge trisection.
result Every Tait-colored cubic graph corresponds to a bridge trisection of a knotted surface.
We prove that every smoothly embedded surface in a 4--manifold can be isotoped to be in bridge position with respect to a given trisection of the ambient 4--manifold; that is, after isotopy, the surface meets components of the trisection in trivial disks or arcs. Such a decomposition, which we call a \emph{generalized …
New method constructs Seifert solids from bridge trisections.
problem Constructing Seifert solids from bridge trisections.
method Adapting Seifert's algorithm to tri-plane diagrams.
result Classification results on surface decomposability and unknottedness.
Equivariant trisections for group actions on 4-manifolds are introduced and studied.
problem Understanding the equivariant topology of G-manifolds and their quotients. method Introducing G-equivariant trisections and bridge trisections, and establishing their existence for G-manifolds. result Any G-manifold X admits a G-equivariant trisection such that a G-invariant surface S is in equivariant bridge trisection position. Meier and Zupan showed that every surface in the four-sphere admits a bridge trisection and can therefore be represented by three simple tangles. This raises the possibility of applying methods from link homology to knotted surfaces. We use link homology to construct an invariant of knotted surfaces (up to isotopy) whi…
2-twist trefoil has 6 crossings, proving non-trivial knotted surface.
problem Computing the crossing number of non-trivial knotted surfaces.
method Bridge trisection and tri-plane diagrams to minimize crossings.
result 2-twist trefoil has crossing number 6.
We adapt work of Kirby-Thompson and Zupan to define an integer invariant L(T) of a bridge trisection T of a smooth surface K in S4 or B4. We show that when L(T)=0, then the surface K is unknotted. We also show show that for a trisecti…
In this paper, we develop new techniques for understanding surfaces in CP2 via bridge trisections. Trisections are a novel approach to smooth 4-manifold topology, introduced by Gay and Kirby, that provide an avenue to apply 3-dimensional tools to 4-dimensional problems. Meier and Zupan subsequently develope…
Symplectic 4-manifolds can be divided into three parts with a special structure.
problem Understanding the structure of symplectic 4-manifolds.
method Proved the existence of a trisection compatible with the symplectic structure.
result Symplectic 4-manifolds admit a trisection compatible with the symplectic structure.
We give a new characterization of symplectic surfaces in CP^2 via bridge trisections. Specifically, a minimal genus surface in CP^2 is smoothly isotopic to a symplectic surface if and only if it is smoothly isotopic to a surface in transverse bridge position. We discuss several potential applications, including the cla…
Hexagonal diagrams link complex curves in CP2 to minimal genus surfaces.
problem Understanding the relationship between complex curves and surfaces in CP2. method Hexagonal lattice diagrams and trisection of CP2. result Positive genus surfaces in CP2 are isotopic to complex curves if they admit hexagonal lattice diagrams. Study surfaces in 4-manifolds using banded unlink diagrams.
problem Representing and manipulating immersed surfaces in 4-manifolds.
method Singular banded unlink diagrams and associated moves.
result Every immersed surface can be represented uniquely by a singular banded unlink diagram.
Paper calculates L-invariant and L*-invariant for complex surface sums.
problem Calculating invariants for complex surface sums.
method Using pants complexes and dual curve complexes.
result First example of arbitrary large invariants for bridge numbers.
New method finds infinitely many surface knots with specific bridge numbers.
problem Finding numerical invariants for surface links.
method Colorings of surface links by keis to prove bridge number existence.
result Existence of infinitely many surface knots with bridge number n for n ≥ 4.
Algorithms compute invariants of 4-manifolds as branched covers.
problem Computing invariants of 4-manifolds as branched covers.
method Diagrammatic algorithms using tri-plane diagrams and permutations.
result Automated algorithm for computing Kjuchukova's homotopy-ribbon obstruction.
Study of 3-manifolds in 5-sphere using bridge decompositions.
problem Understanding embeddings of 3-manifolds in 5-sphere.
method Introduce and study bridge decompositions, use multisections of 5-manifolds.
result Every embedded 3-manifold admits a bridge decomposition.
In this paper, we study surfaces embedded in 4-manifolds. We give a complete set of moves relating banded unlink diagrams of isotopic surfaces in an arbitrary 4-manifold. This extends work of Swenton and Kearton-Kurlin in S4. As an application, we show that bridge trisections of isotopic surfaces in a trisected …
The paper explores meridional ranks of knotted surfaces and welded knots, proving equalities and relationships.
problem Investigating the Meridional Rank Conjecture for knotted surfaces and welded knots.
method Constructing knots with specific properties, establishing equalities, and using Tube map.
result Established the equality of bridge number and meridional rank for certain knots and knotted spheres.
New method distinguishes 4-manifold types using trisections.
problem Distinguishing different 4-manifold types.
method Capping operation to transform relative trisections into closed 4-manifold diagrams.
result Examples of non-diffeomorphic relative trisections of the same 4-manifold.
This paper constructs a Weinstein trisection for a surface bundle.
problem Constructing a trisection for a surface bundle.
method Weinstein trisection approach applied to ΣgimesΣh. result Explicit construction of a Weinstein trisection for S2imesS2. The paper constructs trisections for fiber bundles over a circle.
problem Building trisections for fiber bundles over the circle.
method Using sutured Heegaard splittings and diagrams, the paper provides an algorithm to construct relative trisection diagrams.
result Explicit construction of relative trisection diagrams for fiber bundles over the circle.
Paper studies simplified trisections and their equivalence classes.
problem Understanding right-left equivalence of simplified (2,0)-trisections. method Analyzes simplified trisection diagrams and upper-triangular handle-slides.
result At least two simplified (2,0)-trisections can be right-left equivalent without being related by automorphisms or handle-slides. This paper proves a conjecture about trisections with a specific length.
problem Proving a conjecture about trisections with a specific length.
method Examining trisections with Kirby-Thompson length 2 and proving the conjecture.
result Proves the conjecture about length 2 trisection being a 4-manifold with length 0.
The paper proves trisection genus of Akbulut cork and constructs many corks with trisection genus 3.
problem Determining the trisection genus of contractible 4-manifolds and exotic pairs.
method Proved trisection genus of Akbulut cork and constructed corks with trisection genus 3.
result First examples of contractible 4-manifolds with determined trisection genus except for 4-ball.
We define a trisection of a closed, orientable three dimensional manifold into three handlebodies, and a notion of stabilization for these trisections. Several examples of trisections are described in detail. We define the trisection genus t(M) of a 3-manifold, and relate it to the Heegaard genus g(M), showing that…
Study trisections of non-orientable 4-manifolds with boundary.
problem Understanding trisections in non-orientable 4-manifolds.
method Introduced trisections of non-orientable 4-manifolds with boundary, proved a non-orientable analogue of a theorem, and discussed adaptation of trisection theory.
result Existence of trisection diagrams and Kirby diagrams for closed non-orientable 4-manifolds.
In this note, we provide a generalization for the definition of a trisection of a 4-manifold with boundary. We demonstrate the utility of this more general definition by finding a trisection diagram for the Cacime Surface, and also by finding a trisection-theoretic way to perform logarithmic surgery. In addition, we de…
Classifies knot traces with specific trisection genus limits.
problem Classifying knot traces with specific trisection genus limits.
method Classifying knot traces with specific trisection genus limits.
result Infinitely many knots have traces with trisection genus 3 and 4, and arbitrarily large trisection genus.
The goal of this paper is to construct distinct trisections of the same genus on a fixed 4-manifold. For every k≥2, we construct 2k−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 trisection…
Paper calculates homology and intersection form of trisected 4-manifolds with boundary.
problem Calculating homology and intersection form of trisected 4-manifolds with boundary.
method Uses relative trisection diagrams to calculate homology and intersection form.
result Describes a representative of the second Stiefel-Whitney class using relative trisection diagrams.
Two non-diffeomorphic minimal genus trisections found for a 4-manifold.
problem Existence of non-diffeomorphic minimal genus trisections of the same 4-manifold.
method Introduced a simple operation to create a trisection diagram from a relative trisection diagram.
result Existence of two non-diffeomorphic minimal genus trisections of the same (g,k;p,b)-type 4-manifold. Standard trisection diagrams found for Mazur type 4-manifolds.
problem Finding standard trisection diagrams for Mazur type 4-manifolds.
method Doubling a relative trisection diagram and using an algorithm from Kirby diagrams to trisection diagrams.
result Certain trisection diagrams of Mazur type 4-manifolds are standard.
The paper examines trisection diagrams of spun knots and shows they are standard for certain cases.
problem Whether trisection diagrams induced by the Gluck surgery on specific knots are standard.
method Explicit depiction and analysis of trisection diagrams for spun (2n+1,−2)-torus knots. result Trisection diagrams are standard for spun (2n+1,−2)-torus knots when n=1 and homologically standard for all n. New trisection concept for non-closed 4-manifolds connects to group theory.
problem Defining and analyzing trisections of non-closed 4-manifolds.
method Generalized group trisections to non-closed cases and established a one-to-one correspondence.
result Established a functorial relationship between relative trisections and groups.
New exotic 4-manifolds found with small trisection genus.
problem Finding exotic 4-manifolds with small trisection genus.
method Constructing genus-3 relative trisections for contractible 4-manifolds.
result Exotic 4-manifolds with boundary have trisection genus of 4.
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 simplifie…
The paper extends trisection construction for Lefschetz fibrations with (−n)-sections.
problem Constructing trisections for 4-manifolds with specific Lefschetz fibrations.
method Explicit construction of trisections using monodromies of Lefschetz fibrations.
result Trisections for various 4-manifolds constructed from Lefschetz fibrations.
A trisection of a smooth, closed, oriented 4-manifold is a decomposition into three 4-dimensional 1-handlebodies meeting pairwise in 3-dimensional 1-handlebodies, with triple intersection a closed surface. The fundamental groups of the surface, the 3-dimensional handlebodies, the 4-dimensional handlebodies, and the clo…
Study Stein fillings of planar contact 3-manifolds with relative trisection genus 2.
problem Classify Stein fillings of planar contact 3-manifolds under constraints on their relative trisections.
method Partial classification of diffeomorphism types of fillings with relative trisections of genus at most 2.
result Partially classify the diffeomorphism types of Stein fillings with relative trisections of genus at most 2.
Gay and Kirby recently introduced the concept of a trisection for arbitrary smooth, oriented closed 4-manifolds, and with it a new topological invariant, called the trisection genus. This paper improves and implements an algorithm due to Bell, Hass, Rubinstein and Tillmann to compute trisections using triangulations, a…
Trisections are obtained by regluing surface-knots in 4-manifolds.
problem Understanding trisections in 4-manifolds using surface-knots.
method Trivial gluing of relative trisections of ν(S) and X−ν(S). result Trisection obtained is diffeomorphic to a stabilization of the original trisection.
This paper constructs explicit trisection diagrams for elliptic surfaces.
problem Constructing explicit trisection diagrams for elliptic surfaces.
method Using handle diagrams from Lefschetz fibrations to create trisection diagrams.
result Explicit (12n−2,0)-trisection diagrams of elliptic surfaces E(n) are constructed.