Searcharxiv⌕ Search

arXiv subjects

Román Aranda

Publications and source records attributed to Román Aranda.

13 recordsLinked to original sources

Decompositions and diagrams of symplectic surfaces in Weinstein domains

We introduce combinatorial and diagrammatic methods for representing properly embedded symplectic surfaces in 4-dimensional Weinstein domains. We show that positive ascending surfaces, which include complex curves in Stein domains and multisections of Lefschetz fibrations, can be placed in bridge position with respect to Islambouli--Starkston's bisection-with-divides structure on the Weinstein domain. We algorithmically relate various decompositions of such surfaces, including transverse banded unlink diagrams, quasipositive factorizations, bridge bisections with divides, shadow diagrams (curves on surfaces), and pointed monodromy factorizations. We also develop a new way to present branched covers of Weinstein domains along positive ascending surfaces, which, combined with work of Loi--Piergallini, recovers Islambouli--Starkston's result that every compact Weinstein domain admits a bisection with divides.

math.GT↗

Pants distances of knotted surfaces in 4-manifolds

We define a pants distance for knotted surfaces in 4-manifolds, which generalizes the complexity studied by Blair-Campisi-Taylor-Tomova for surfaces in the 4-sphere. We determine that if the distance computed on a given diagram does not surpass a theoretical bound in terms of the multisection genus, then the pair (X, F) admits a standard form (i.e., has simple topology). Furthermore, we calculate the exact values of our invariants for many new examples, such as the spun lens spaces. We provide a characterization of genus two quadrisections with distance at most six.

math.GT↗

Bridge position of 3-manifolds embedded in the 5-sphere

We introduce and study bridge decompositions for 3-manifolds embedded in the 5-sphere. These generalize both the classical notion of bridge position for knots in the 3-sphere and the bridge trisections of surfaces in the 4-sphere due to Meier and Zupan. Our main technical tool is the multisections of 5-manifolds introduced by Aribi, Courte, Golla, and Moussard. We prove that every embedded 3-manifold admits such a decomposition; in particular, any such embedding is encoded by four trivial tangle diagrams. We also present a range of explicit examples, including $S^2$-spun knots and ribbon 3-knots.

math.GT↗

Bridge Multisections of Knotted Surfaces in $S^4$

Bridge multisections are combinatorial descriptions of surface links in 4-space using tuples of trivial tangles. They were introduced by Islambouli, Karimi, Lambert-Cole, and Meier to study curves in rational surfaces. In this paper, we prove a uniqueness result for bridge multisections of surfaces in 4-space: we give a complete set of moves relating to any two multiplane diagrams of the same surface. This is done by developing a surgery operation on multiplane diagrams called band surgery. Another application of this surgery move is that any $n$-valent graph with an $n$-edge coloring is the spine of a bridge multisection for an unknotted surface. We also prove that any multisected surface in $S^4$ can be unknotted by finitely many band surgeries.

math.GT↗

Trisected Rainbows and Braids

New explicit procedures for passing among triplane diagrams, braid movies, and braid charts for knotted surfaces in $\mathbb{R}^4$ are presented. To this end, rainbow diagrams, which lie between braid charts and triplanes, are introduced. Inequalities relating the braid index and the bridge index of 2-knots are obtained via these procedures. Another consequence is a 4-dimensional version of the classical result that ``the minimal number of Seifert circles equals the braid index of a link'' due to Yamada. The procedures are exemplified for the spun trefoil, the 2-twist spun trefoil, and other related examples. Of independent interest, an appendix is included that describes a procedure for drawing a triplane diagram for a satellite surface with a 2-sphere companion. Thus, larger families of surfaces for which we know specific triplane diagrams are obtained.

math.GT↗

Region colorings of surfaces in 4-space

Niebrzydowski introduced a theory of region colorings for surface links. In this paper, we translate the coloring invariant to the context of triplane diagrams and movies of knots. We provide inequalities between the number of region colorings and topological quantities of $F$, such as the number of saddles in a movie and the bridge index of a triplane diagram of $F$. As an application, we show that Yoshikawa's 2-knots $9_1$ and $10_2$ are non-invertible; that is $F\not=-F$.

math.GT↗

Manifolds with weakly reducible genus-three trisections are standard

Heegaard splittings stratify 3-manifolds by complexity; only $S^3$ admits a genus-zero splitting, and only $S^3$, $S^1 \times S^2$, and lens spaces $L(p,q)$ admit genus-one splittings. In dimension four, the second author and Jeffrey Meier proved that only a handful of simply-connected 4-manifolds have trisection genus two or less, while Meier conjectured that if $X$ admits a genus-three trisection, then $X$ is diffeomorphic to a spun lens space $S_p$ or its sibling $S_p'$, $S^4$, or a connected sum of copies of $\pm \mathbb{CP}^2$, $S^1 \times S^3$, and $S^2 \times S^2$. We prove Meier's conjecture in the case that $X$ admits a weakly reducible genus-three trisection, where weak reducibility is a new idea adapted from Heegaard theory and is defined in terms of disjoint curves bounding compressing disks in various handlebodies. The tools and techniques used to prove the main theorem borrow heavily from 3-manifold topology. Of independent interest, we give a trisection-diagrammatic description of 4-manifolds obtained by surgery on loops and spheres in other 4-manifolds.

math.GT↗

A bound on the number of twice-punctured tori in a knot exterior

This paper continues a program due to Motegi regarding universal bounds for the number of non-isotopic essential $n$-punctured tori in the complement of a hyperbolic knot in $S^3$. For $n=1$, Valdez-Sánchez showed that there are at most five non-isotopic Seifert tori in the exterior of a hyperbolic knot. In this paper, we address the case $n=2$. We show that there are at most six non-isotopic, nested, essential 2-holed tori in the complement of every hyperbolic knot.

math.GT↗

Bounds for Kirby-Thompson invariants of knotted surfaces

We provide sharp lower bounds for two versions of the Kirby-Thompson invariants for knotted surfaces, one of which was originally defined by Blair, Campisi, Taylor, and Tomova. The second version introduced in this paper measures distances in the dual curve complex instead of the pants complex. We compute the exact values of both KT-invariants for infinitely many knotted surfaces with bridge number at most six.

math.GT↗

Bounding the Kirby-Thompson invariant of spun knots

A bridge trisection of a smooth surface in $S^4$ is a decomposition analogous to a bridge splitting of a link in $S^3$. The Kirby-Thompson invariant of a bridge trisection measures its complexity in terms of distances between disc sets in the pants complex of the trisection surface. We give the first significant bounds for the Kirby-Thompson invariant of spun knots. In particular, we show that the Kirby-Thompson invariant of the spun trefoil is 15.

math.GT↗

Thin Position through the lens of trisections of 4-manifolds

Motivated by M. Scharlemann and A. Thompson's definition of thin position of 3-manifolds, we define the width of a handle decomposition a 4-manifold and introduce the notion of thin position of a compact smooth 4-manifold. We determine all manifolds having width equal to $\{1,\dots, 1\}$, and give a relation between the width of $M$ and its double $M\cup_{id_\partial} \overline M$. In particular, we describe how to obtain genus $2g+2$ and $g+2$ trisection diagrams for sphere bundles over orientable and non-orientable surfaces of genus $g$, respectively. By last, we study the problem of describing relative handlebodies as cyclic covers of 4-space branched along knotted surfaces from the width perspective.

math.GT↗

Minimal genus four manifolds

In 2018, M. Chu and S. Tillmann gave a lower bound for the trisection genus of a closed 4-manifold in terms of the Euler characteristic of $M$ and the rank of its fundamental group. We show that given a group $G$, there exist a 4-manifold $M$ with fundamental group $G$ with trisection genus achieving Chu-Tillmann's lower bound.

math.GT↗