Abstract We study embedded spheres in 4–manifolds (2–knots) via doubly pointed trisection diagrams, showing that such descriptions are unique up to stabilisation and handleslides, and we describe how to obtain trisection diagrams for certain cut-and-paste operations along 2–knots directly from doubly pointed trisection diagrams. The operations described are classical surgery, Gluck surgery, blowdown, and (±4)–rational blowdown, and we illustrate our techniques and results with many examples.
more »
« less
Bridge trisections of knotted surfaces in 4-manifolds
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 generalized bridge trisection, extends the authors’ definition of bridge trisections for surfaces in S 4 . Using this construction, we give diagrammatic representations called shadow diagrams for knotted surfaces in 4-manifolds. We also provide a low-complexity classification for these structures and describe several examples, including the important case of complex curves inside ℂ ℙ 2 . Using these examples, we prove that there exist exotic 4-manifolds with ( g , 0 ) —trisections for certain values of g. We conclude by sketching a conjectural uniqueness result that would provide a complete diagrammatic calculus for studying knotted surfaces through their shadow diagrams.
more »
« less
- Award ID(s):
- 1664578
- PAR ID:
- 10099438
- Date Published:
- Journal Name:
- Proceedings of the National Academy of Sciences
- Volume:
- 115
- Issue:
- 43
- ISSN:
- 0027-8424
- Page Range / eLocation ID:
- 10880 to 10886
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
-
Fukui, Toshizumi; Koike, Satoshi; Paunescu, Laurențiu (Ed.)The Heegaard genus of a 3-manifold, as well as the growth of Heegaard genus in its finite sheeted cover spaces, has extensively been studied in terms of algebraic, geometric and topological properties of the 3-manifold. This note shows that analogous results concerning the trisection genus of a smooth, orientable 4-manifold have more general answers than their counterparts for 3-manifolds. In the case of hyperbolic 4-manifolds, upper and lower bounds are given in terms of volume and a trisection of the Davis manifold is described.more » « less
-
We examine questions about surgery on links which arise naturally from the trisection decomposition of 4-manifolds developed by Gay and Kirby \cite{G-K3}. These links lie on Heegaard surfaces in $$\#^j S^1 \times S^2$$ and have surgeries yielding $$\#^k S^1 \times S^2$$. We describe families of links which have such surgeries. One can ask whether all links with such surgeries lie in these families; the answer is almost certainly no. We nevertheless give a small piece of evidence in favor of a positive answer.more » « less
-
Meier and Zupan proved that an orientable surface [Formula: see text] in [Formula: see text] admits a tri-plane diagram with zero crossings if and only if [Formula: see text] is unknotted, so that the crossing number of [Formula: see text] is zero. We determine the minimal crossing numbers of nonorientable unknotted surfaces in [Formula: see text], proving that [Formula: see text], where [Formula: see text] denotes the connected sum of [Formula: see text] unknotted projective planes with normal Euler number [Formula: see text] and [Formula: see text] unknotted projective planes with normal Euler number [Formula: see text]. In addition, we convert Yoshikawa’s table of knotted surface ch-diagrams to tri-plane diagrams, finding the minimal bridge number for each surface in the table and providing upper bounds for the crossing numbers.more » « less
-
We study the interactions between toric manifolds and Weinstein handlebodies. We define a partially-centeredness condition on a Delzant polytope, which we prove ensures that the complement of a corresponding partial smoothing of the total toric divisor supports an explicit Weinstein structure. Many examples which fail this condition also fail to have Weinstein (or even exact) complement to the partially smoothed divisor. We investigate the combinatorial possibilities of Delzant polytopes that realize such Weinstein domain complements. We also develop an algorithm to construct a Weinstein handlebody diagram in Gompf standard form for the complement of such a partially smoothed total toric divisor. The algorithm we develop more generally outputs a Weinstein handlebody diagram for any Weinstein 4-manifold constructed by attaching 2-handles to the disk cotangent bundle of any surface , where the 2-handles are attached along the co-oriented conormal lifts of curves on . We discuss how to use these diagrams to calculate invariants and provide numerous examples applying this procedure. For example, we provide Weinstein handlebody diagrams for the complements of the smooth and nodal cubics in .more » « less
An official website of the United States government

