arXiv research

Study provides concrete examples of knot slopes.

We show that if a closed hyperbolic 3-manifold has infinitely many finite covers of bounded Heegaard genus, then it is virtually fibered. This generalizes a theorem of Lackenby, removing restrictions needed about the regularity of the covers. Furthermore, we can replace the assumption that the covers have bounded Heega…

We classify Dehn surgeries on (p,q,r) pretzel knots that result in a manifold of finite fundamental group. The only hyperbolic pretzel knots that admit non-trivial finite surgeries are (-2,3,7) and (-2,3,9). Agol and Lackenby's 6-theorem reduces the argument to knots with small indices p,q,r. We treat these using the C…

Study bounds on cusp volumes of alternating knots on surfaces.

A slope $\frac pq$ is called a characterizing slope for a given knot $K_0$ in $S^3$ if whenever the $\frac pq$-surgery on a knot $K$ in $S^3$ is homeomorphic to the $\frac pq$-surgery on $K_0$ via an orientation preserving homeomorphism, then $K=K_0$. In this paper we try to find characterizing slopes for torus knots $…

Let f be an integer greater than one. We study three progressively finer equivalence relations on closed 3-manifolds generated by Dehn surgery with denominator f: weak f-congruence, f-congruence, and strong f-congruence. If f is odd, weak f-congruence preserves the ring structure on cohomology with Z_f-coefficients. We…

Using exhaustive techniques and results from Lackenby and many others, we compute the tunnel number of all 1655 alternating 11 and 12 crossing knots and of 881 non-alternating 11 and 12 crossing knots. We also find all 5525 Montesinos knots with 14 crossings or fewer.

A formula calculates the Euler class of foliations using dual graphs.

We show that given a 3-manifold $Y$ there is only a finite number of alternating knots $K \subset S^3$ such that $Y$ can be obtained by surgery on $K$. A very similar but somewhat not complete statement has been obtained in a recent preprint of Lackenby and Purcell.

Study shows bounds on volumes of weakly generalised alternating knots.

We establish a characterization of alternating links in terms of definite spanning surfaces. We apply it to obtain a new proof of Tait's conjecture that reduced alternating diagrams of the same link have the same crossing number and writhe. We also deduce a result of Banks and Hirasawa-Sakuma about Seifert surfaces for…

We show that the problem of recognizing that a knot diagram represents a specific torus knot, or any torus knot at all, is in the complexity class ${\sf NP} \cap {\sf co\text{-}NP}$, assuming the generalized Riemann hypothesis. We also show that satellite knot detection is in ${\sf NP}$ under the same assumption, and t…

New method connects compression bodies through cone manifolds.

The infimal Heegaard gradient of a compact 3-manifold was defined and studied by Marc Lackenby in an approach toward the well-known virtually Haken conjecture. As instructive examples, we consider Seifert fibered 3-manifolds, and show that a Seifert fibered 3-manifold has zero infimal Heegaard gradient if and only if i…

This paper explores connections between Heegaard genus, minimal surfaces, and pseudo-Anosov monodromies. Fixing a pseudo-Anosov map phi and an integer n, let M_n be the 3-manifold fibered over S^1 with monodromy phi^n. JH Rubinstein showed that for a large enough n every minimal surface of genus at most h in M_n is hom…

We show that the problem of showing that a cusped 3-manifold M is not hyperbolic is in NP, assuming $S^3$-RECOGNITION is in coNP. To this end, we show that IRREDUCIBLE TOROIDAL RECOGNITION lies in NP. Along the way we unconditionally recover SATELLITE KNOT RECOGNITION lying in NP. This was previously known only assumin…

A slope $p/q$ is a characterising slope for a knot $K$ in $S^3$ if the oriented homeomorphism type of $p/q$-surgery on $K$ determines $K$ uniquely. We show that when $K$ is a hyperbolic knot its set of characterising slopes contains all but finitely many slopes $p/q$ with $q \geq 3$. We prove stronger results for hyper…

We consider closed orientable 3-dimensional hyperbolic manifolds which are cyclic branched coverings of the 3-sphere, with branching set being a two-bridge knot (or link). We establish two-sided linear bounds depending on the order of the covering for the Matveev complexity of the covering manifold. The lower estimate …

Integral filling volume of mapping tori grows sublinearly with complexity.

We show that given a partially flat angled ideal triangulation for a 3-manifold $M$ with boundary (as defined by Lackenby), there is an algorithm to produce a list of Heegaard splittings for $M$ such that below a given genus $g$, each isotopy class appears exactly once. In particular, this algorithm determines precisel…

Extends Teichmüller space quasi-isometry to $k$-multicurve graphs.

Polynomial algorithm found for alternating link equivalence.

For any g>1 we construct a graph G_g in S^3 whose exterior M_g supports a complete finite-volume hyperbolic structure with one toric cusp and a connected geodesic boundary of genus g. We compute the canonical decomposition and the isometry group of M_g, showing in particular that any self-homeomorphism of M_g extends t…

Concerning the set of exceptional surgery slopes for a hyperbolic knot, Lackenby and Meyerhoff proved that the maximal cardinality is 10 and the maximal diameter is 8. Their proof is computer-aided in part, and both bounds are achieved simultaneously. In this note, it is observed that the diameter bound 8 implies the m…

We write down an explicit formula for the $+$ version of the Heegaard Floer homology (as an absolutely graded vector space over an arbitrary field) of the results of Dehn surgery on a knot $K$ in $S^3$ in terms of homological data derived from $CFK^{\infty}(K)$. This allows us to prove some results about Dehn surgery o…

New research shows that many slopes are characterizing for satellite knots.

In recent years, several families of hyperbolic knots have been shown to have both volume and $λ_1$ (first eigenvalue of the Laplacian) bounded in terms of the twist number of a diagram, while other families of knots have volume bounded by a generalized twist number. We show that for general knots, neither the twist nu…

New findings on hyperbolicity of augmented links in thickened surfaces.

This is the second in a series of papers in which we investigate ideal triangulations of the interiors of compact 3-manifolds with tori or Klein bottle boundaries. Such triangulations have been used with great effect, following the pioneering work of Thurston. Ideal triangulations are the basis of the computer program …

AI generates theorems and proofs for training theorem provers.

Global inverse function theorem proved easily using Riemannian geometry.

A new comparison theorem for geometric spaces.

Paper develops formulas and theorems in Hermitian geometry.

The paper proves three circles theorems and Liouville type theorems for subharmonic and holomorphic functions.

Revises a theorem by Thurston, finding a counter-example and a weaker version.

Proofs for Moon's theorem and its generalization.

Analyzes Saito vanishing theorem using $L^{2}$ methods.

Investigates proving geometric theorems over complex and real numbers using tilings.

Extends symplectic reduction and theorem to Lie algebroids.

Paper generalizes complex Brunn-Minkowski theory and proves new extension theorems.

Proves Thurston's bounded image theorem for Haken manifolds.

Method upgrades limit theorems to mixing limit theorems for dynamical systems.

Formulates Index III lemma and Rauch III theorem with applications.

In LM, we proved a family version of the famous Witten rigidity theorems and several family vanishing theorems for elliptic genera. In this paper, we gerenalize our theorems LM in two directions. First we establish a family rigidity theorem for the Dirac operator on loop space twisted by general positive energy loop gr…

The paper explains the topological origin of the distinction between incidence theorems over division rings and fields.

Proves two theorems on odd-dimensional manifolds with boundary.

Sharp convergence theorem for sphere submanifolds proved.

INT benchmark tests theorem proving agents' ability to generalize to unseen theorems.