Allison H. Moore’s research while affiliated with Virginia Commonwealth University and other places

A totally oriented Klein graph is a trivalent spatial graph in the 3-sphere with a 3-coloring of its edges and an orientation on each bicolored link. A totally oriented Klein foam is a 3-colored 2-complex in the 4-ball whose boundary is a Klein foam and whose bicolored surfaces are oriented. We extend Gille-Robert's signature for 3-Hamiltonian Klein graphs to all totally oriented Klein graphs and develop an analogy of Murasugi's bounds relating the signature, slice genus and unknotting number of knots. In particular, we show that the signature of a totally oriented Klein graph produces a lower bound on the negative orbifold Euler characteristic of certain totally oriented Klein foams bounded by $\Gamma$. When $\Gamma$ is abstractly planar, these negative Euler characteristics, in turn, produce a lower bound on a certain natural unknotting number for $\Gamma$. Mutatis mutandi, we produce lower bounds on the corresponding Gordian distance between two totally oriented Klein graphs that can be related by a sequence of crossing changes. We also give examples of theta-curves for which our lower bounds on unknotting number improve on previously known bounds.

We prove an equivariant version of the Cosmetic Surgery Conjecture for strongly invertible knots. Our proof combines a recent result of Hanselman with the Khovanov multicurve invariants Kh~${\widetilde{{{\,\textrm{Kh}\,}}}}$ and BN~${\widetilde{{{\,\textrm{BN}\,}}}}$. We apply the same techniques to reprove a result of Wang about the Cosmetic Crossing Conjecture and split links. Along the way, we show that Kh~${\widetilde{{{\,\textrm{Kh}\,}}}}$ and BN~${\widetilde{{{\,\textrm{BN}\,}}}}$ detect if a Conway tangle is split.

We introduce the notion of adjacency in three-manifolds. A three-manifold Y is n-adjacent to another three-manifold Z if there exists an n-component link in Y and surgery slopes for that link such that performing Dehn surgery along any nonempty sublink yields Z. We characterize adjacencies from three-manifolds to the three-sphere, providing an analogy to Askitas and Kalfagianni's results on n-adjacency in knots.

We define a broad class of graphs that generalize the Gordian graph of knots. These knot graphs take into account unknotting operations, the concordance relation, and equivalence relations generated by knot invariants. We prove that overwhelmingly, the knot graphs are not Gromov hyperbolic, with the exception of a particular family of quotient knot graphs. We also investigate the property of homogeneity, and prove that the concordance knot graph is homogeneous. Finally, we prove that that for any n, there exists a knot K such that the ball of radius n in the Gordian graph centered at K contains no connected sum of torus knots.

We establish some new relationships between Milnor invariants and Heegaard Floer homology. This includes a formula for the Milnor triple linking number from the link Floer complex, detection results for the Whitehead link and Borromean rings, and a structural property of the d-invariants of surgeries on certain algebraically split links.

We show that if a composite $\theta$-curve has (proper rational) unknotting number one, then it is the order 2 sum of a (proper rational) unknotting number one knot and a trivial $\theta$-curve. We also prove similar results for 2-strand tangles and knotoids.

We prove an equivariant version of the Cosmetic Surgery Conjecture for strongly invertible knots. Our proof combines a recent result of Hanselman with the Khovanov multicurve invariants $\widetilde{\operatorname{Kh}}$ and $\widetilde{\operatorname{BN}}$. We apply the same techniques to reprove a result of Wang about the Cosmetic Crossing Conjecture and split links. Along the way, we show that $\widetilde{\operatorname{Kh}}$ and $\widetilde{\operatorname{BN}}$ detect if a Conway tangle is split.

The Gordian graph and H(2)-Gordian graphs of knots are abstract graphs whose vertex sets represent isotopy classes of unoriented knots, and whose edge sets record whether pairs of knots are related by crossing changes or H(2)-moves, respectively. We investigate quotients of these graphs under equivalence relations defined by several knot invariants including the determinant, the span of the Jones polynomial, and an invariant related to tricolorability. We show, in all cases considered, that the quotient graphs are Gromov hyperbolic. We then prove a collection of results about the graph isomorphism type of the quotient graphs. In particular, we find that the H(2)-Gordian graph of links modulo the relation induced by the span of the Jones polynomial is isomorphic with the complete graph on infinitely many vertices.

The Gordian graph and H(2)-Gordian graphs of knots are abstract graphs whose vertex sets represent isotopy classes of unoriented knots, and whose edge sets record whether pairs of knots are related by crossing changes or H(2)-moves, respectively. We investigate quotients of these graphs under equivalence relations defined by several knot invariants including the determinant, the span of the Jones polynomial, and an invariant related to tricolorability. We show, in all cases considered, that the quotient graphs are Gromov hyperbolic. We then prove a collection of results about the graph isomorphism type of the quotient graphs. In particular, we find that the H(2)-Gordian graph of links modulo the relation induced by the span of the Jones polynomial is isomorphic with the complete graph on infinitely many vertices.