Searcharxiv⌕ Search

arXiv subjects

Maggie Miller

Publications and source records attributed to Maggie Miller.

33 records · Page 2Linked to original sources
arXiv2021

Lefschetz fibrations on nonorientable 4-manifolds

Let $W$ be a nonorientable $4$-dimensional handlebody without $3$- and $4$-handles. We show that $W$ admits a Lefschetz fibration over the $2$-disk, whose regular fiber is a nonorientable surface with nonempty boundary. This is an analogue of a result of Harer obtained in the orientable case. As a corollary, we obtain a $4$-dimensional proof of the fact that every nonorientable closed $3$-manifold admits an open book decomposition, which was first proved by Berstein and Edmonds using branched coverings. Moreover, the monodromy of the open book we obtain for a given $3$-manifold belongs to the twist subgroup of the mapping class group of the page. In particular, we construct an explicit minimal open book for the connected sum of arbitrarily many copies of the product of the circle with the real projective plane. We also obtain a relative trisection diagram for $W$, based on the nonorientable Lefschetz fibration we construct, similar to the orientable case first studied by Castro. As a corollary, we get trisection diagrams for some closed $4$-manifolds, e.g. the product of the $2$-sphere with the real projective plane, by doubling $W$. Moreover, if $X$ is a closed nonorientable $4$-manifold which admits a Lefschetz fibration over the $2$-sphere, equipped with a section of square $\pm 1$, then we construct a trisection diagram of $X$, which is determined by the vanishing cycles of the Lefschetz fibration. Finally, we include some simple observations about low-genus Lefschetz fibrations on closed nonorientable $4$-manifolds.

math.GT↗
arXiv2020

The relative $\mathcal{L}$-invariant of a compact $4$-manifold

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.

math.GT↗
arXiv2020

Transverse invariants and exotic surfaces in the 4-ball

Using 1-twist rim surgery, we construct infinitely many smoothly embedded, orientable surfaces in the 4-ball bounding a knot in the 3-sphere that are pairwise topologically isotopic, but not ambient diffeomorphic. We distinguish the surfaces using the maps they induce on perturbed sutured Floer homology. Along the way, we show that the cobordism map induced by an ascending surface in a Weinstein cobordism preserves the transverse invariant in knot Floer homology.

math.GT↗
arXiv2020

Trisections of non-orientable 4-manifolds

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énaru. 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.

math.GT↗
arXiv2020

Concordance of Surfaces and the Freedman-Quinn Invariant

We prove a concordance version of the 4-dimensional light bulb theorem for $π_1$-negligible compact orientable surfaces, where there is a framed but not necessarily embedded dual sphere. That is, we show that if $F_0$ and $F_1$ are such surfaces in a 4-manifold $X$ that are homotopic and there exists an immersed framed 2-sphere $G$ in $X$ intersecting $F_0$ geometrically once, then $F_0$ and $F_1$ are concordant if and only if their Freedman-Quinn invariant $\mathop{fq}$ vanishes. The proof of the main result involves computing $\mathop{fq}$ in terms of intersections in the universal covering space and then applying work of Sunukjian in the simply-connected case.

math.GT↗
arXiv2020

Knot cobordisms, bridge index, and torsion in Floer homology

Given a connected cobordism between two knots in the 3-sphere, our main result is an inequality involving torsion orders of the knot Floer homology of the knots, and the number of local maxima and the genus of the cobordism. This has several topological applications: The torsion order gives lower bounds on the bridge index and the band-unlinking number of a knot, the fusion number of a ribbon knot, and the number of minima appearing in a slice disk of a knot. It also gives a lower bound on the number of bands appearing in a ribbon concordance between two knots. Our bounds on the bridge index and fusion number are sharp for $T_{p,q}$ and $T_{p,q}\# \overline{T}_{p,q}$, respectively. We also show that the bridge index of $T_{p,q}$ is minimal within its concordance class. The torsion order bounds a refinement of the cobordism distance on knots, which is a metric. As a special case, we can bound the number of band moves required to get from one knot to the other. We show knot Floer homology also gives a lower bound on Sarkar's ribbon distance, and exhibit examples of ribbon knots with arbitrarily large ribbon distance from the unknot.

math.GT↗
arXiv2020

Equivalent characterizations of handle-ribbon knots

The stable Kauffman conjecture posits that a knot in $S^3$ is slice if and only if it admits a slice derivative. We prove a related statement: A knot is handle-ribbon (also called strongly homotopy-ribbon) in a homotopy 4-ball $B$ if and only if it admits an R-link derivative; i.e. an $n$-component derivative $L$ with the property that zero-framed surgery on $L$ yields $\#^n(S^1\times S^2)$. We also show that $K$ bounds a handle-ribbon disk $D \subset B$ if and only if the 3-manifold obtained by zero-surgery on $K$ admits a singular fibration that extends over handlebodies in $B \setminus D$, generalizing a classical theorem of Casson and Gordon to the non-fibered case for handle-ribbon knots.

math.GT↗
arXiv2020

Branched covers bounding rational homology balls

Prime power fold cyclic branched covers along smoothly slice knots all bound rational homology balls. This phenomenon, however, does not characterize slice knots. In this paper, we give a new construction of non-slice knots that have the above property. The sliceness obstruction comes from computing twisted Alexander polynomials, and we introduce new techniques to simplify their calculation.

math.GT↗
arXiv2019

The effect of link Dehn surgery on the Thurston norm

Let $L$ be an $n$-component link ($n>1$) with pairwise nonzero linking numbers in a rational homology $3$-sphere $Y$. Assume the link complement $X:=Y\setminusν(L)$ has nondegenerate Thurston norm. In this paper, we study when a Thurston norm-minimizing surface $S$ properly embedded in $X$ remains norm-minimizing after Dehn filling all boundary components of $X$ according to $\partial S$ and capping off $\partial S$ by disks. In particular, for $n=2$ the capped-off surface is norm-minimizing when $[S]$ lies outside of a finite set of rays in $H_2(X,\partial X;\mathbb{R})$. When $Y$ is an integer homology sphere this gives an upper bound on the number of surgeries on $L$ which may yield $S^1\times S^2$. The main techniques come from Gabai's proof of the Property R conjecture and related work.

math.GT↗
arXiv2019

Trisections of surface complements and the Price twist

Given an $S\cong \mathbb{R}P^2$ smoothly embedded in a 4-manifold $X^4$ with Euler number 2 or -2, the Price twist is a surgery operation on $ν(S)$ yielding (up to) three different 4-manifolds: $X^4,τ_S(X^4),Σ_S(X^4)$. This is of particular interest when $X^4=S^4$, as then $Σ_S(X^4)$ is a homotopy 4-sphere which is not obviously diffeomorphic to $S^4$. In this paper, we show how to produce a trisection description of each Price twist on $S\subset X^4$ by producing a relative trisection of $X^4\setminusν(S)$. Moreover, we show how to produce a trisection description of general surface complements in 4-manifolds.

math.GT↗
arXiv2019

Trisections of 5-manifolds

Gay and Kirby introduced the notion of a trisection of a smooth 4-manifold, which is a decomposition of the 4-manifold into three elementary pieces. Rubinstein and Tillmann later extended this idea to construct multisections of piecewise-linear (PL) manifolds in all dimensions. Given a PL manifold $Y$ of dimension $n$, this is a decomposition of $Y$ into $\lfloor \frac{n}{2} \rfloor + 1$ PL submanifolds. We show that every smooth, oriented, compact 5-manifold admits a smooth trisection compatible with any desired trisection of its boundary.

math.GT↗
arXiv2019

Isotopies of surfaces in 4-manifolds via banded unlink diagrams

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 $S^4$. As an application, we show that bridge trisections of isotopic surfaces in a trisected $4$-manifold are related by a sequence of perturbations and deperturbations, affirmatively proving a conjecture of Meier and Zupan. We also exhibit several isotopies of unit surfaces in $\mathbb{C}P^2$ (i.e. spheres in the generating homology class), proving that many explicit unit surfaces are isotopic to the standard $\mathbb{C}P^1$. This strengthens some previously known results about the Gluck twist in $S^4$, related to Kirby problem 4.23.

math.GT↗
arXiv2019

A concordance analogue of the $4$-dimensional light bulb theorem

We prove a concordance analogue of Gabai's $4$-dimensional light bulb theorem. That is, we show that when $R$ and $R'$ are homotopically (smoothly) embedded $2$-spheres in a $4$-manifold $X^4$ where $π_1(X^4)$ has no $2$-torsion and one of $R$ or $R'$ has a transverse sphere, then $R$ and $R'$ are concordant. When $π_1(X^4)$ has $2$-torsion, we give a similar statement with extra hypotheses as in the $4$-dimensional light bulb theorem. We also give similar statements when $R$ and $R'$ are orientable positive-genus surfaces.

math.GT↗
arXiv2017

Concordances from the standard surface in $S^2\times S^2$

In this note, we combine the recent 4-dimensional light bulb theorem of David Gabai and a recent construction of concordances for knots in $S^2\times S^1$ due to Eylem Zeliha Yildiz to construct a concordance between the standard surface of genus $g$ in $S^2\times S^2$ and any homologous surface.

math.GT↗