arXiv research

Novel proof shows continuity of optimal transport feasible set mapping.

We complete the first step in a two-part program proposed by Baker, Grigsby, and the author to prove that Berge's construction of knots in the three-sphere which admit lens space surgeries is complete. The first step, which we prove here, is to show that a knot in a lens space with a three-sphere surgery has simple (in…

T. Saito and M. Teragaito asked whether Berge knots of type VII are hyperbolic, and showed that some infinite sequences of the knots are hyperbolic. We show that Berge knots of types VII and VIII are hyperbolic except the known sequence of torus knots. We used the Reidemeister torsions. As a result, the Alexander polyn…

By obtaining surgery descriptions of knots which lie on the genus one fiber of the trefoil or figure eight knot, we show that these include hyperbolic knots with arbitrarily large volume. These knots admit lens space surgeries and form two families of Berge knots. By way of tangle descriptions we also obtain surgery de…

We construct an algorithm that lists all closed essential surfaces in the complement of a knot that lies on the fiber of a trefoil or figure eight knot. Such knots are Berge knots and hence admit lens space surgeries. Furthermore they may have arbitrarily large hyperbolic volume. Using this algorithm we concoct large v…

Using Kirby Calculus, we explicitly pass from Berge's R-R descriptions of ten families of knots with lens space surgeries to surgery descriptions on the minimally twisted five chain link (MT5C). Since the MT5C admits a strong involution, we also give the corresponding tangle descriptions.

In an earlier paper, we used the absolute grading on Heegaard Floer homology to give restrictions on knots in $S^3$ which admit lens space surgeries. The aim of the present article is to exhibit stronger restrictions on such knots, arising from knot Floer homology. One consequence is that all the non-zero coefficients …

Following an example discovered by John Berge, we show that there is a 4-component link L \subset (S^1 x S^2)#(S^1 x S^2) so that, generically, the result of Dehn surgery on L is a 3-manifold with two inequivalent genus 2 Heegaard splittings, and each of these Heegaard splittings is of Hempel distance 3.

Divide knots and links, defined by A'Campo in the singularity theory of complex curves, is a method to present knots or links by real plane curves. The present paper is a continuation of the author's previous result that every knot in the major subfamilies of Berge's lens space surgery (i.e., knots yielding a lens spac…

This paper determines nonhyperbolicity conditions for P/P and P/SF knots.

(Original version of PhD thesis, submitted in Spring 2009 to Harvard University. Provides a solution of the $p > k^2$ case, corresponding to Berge families I-VI, of the "Lens space realization problem" later solved in entirety by Greene.) In the 1980's, Berge proved that a certain collection of knots in $S^3$ admitted …

Let $P(K)$ be a satellite knot where the pattern, $P$, is a Berge-Gabai knot (i.e., a knot in the solid torus with a non-trivial solid torus Dehn surgery), and the companion, $K$, is a non-trivial knot in $S^3$. We prove that $P(K)$ is an L-space knot if and only if $K$ is an L-space knot and $P$ is sufficiently positi…

We investigate commensurability classes of hyperbolic knot complements in the generic case of knots without hidden symmetries. We show that such knot complements which are commensurable are cyclically commensurable, and that there are at most $3$ hyperbolic knot complements in a cyclic commensurability class. Moreover …

It is proved that every knot in the major subfamilies of J. Berge's lens space surgery (i.e., knots yielding a lens space by Dehn surgery) is presented by an L-shaped (real) plane curve as a "divide knot" defined by N. A'Campo in the context of singularity theory of complex curves. For each knot given by Berge's parame…

Let $K$ be a tunnel number one knot in $M$ with irreducible knot exterior, where $M$ is either $S^3$, or a connected sum of $S^2\times S^1$ with any lens space. (In particular, this includes $M = S^2\times S^1$.) We prove that if a non-trivial Dehn surgery on $K$ yields a lens space, then $K$ is a doubly primitive knot…

We describe necessary and sufficient conditions for a knot in an L-space to have an L-space homology sphere surgery. We use these conditions to reformulate a conjecture of Berge about which knots in S^3 admit lens space surgeries.

We show that lens space surgeries on knots in $S^3$ which arise from the primitive/Seifert type construction also arise from the primitive/primitive construction. This is the first step of a three step program to prove the Berge conjecture for tunnel number one knots.

Baker showed that 10 of the 12 classes of Berge knots are obtained by surgery on the minimally twisted 5-chain link. In this article we enumerate all hyperbolic knots in S^3 obtained by surgery on the minimally twisted 5 chain link that realize the maximal known distances between slopes corresponding to exceptional (le…

We characterize the (1, 1) knots in the three-sphere and lens spaces that admit non-trivial L-space surgeries. As a corollary, 1-bridge braids in these manifolds admit non- trivial L-space surgeries. We also recover a characterization of the Berge manifold amongst 1-bridge braid exteriors.

Proves a theorem in sub-Riemannian geometry using Carnot groups.

In this paper, we consider which lens spaces are obtainable by Dehn surgery described by Berge on doubly primitive knots. It is given an algorithm to decide whether a given lens space is obtainable by such surgery. Also included is a complete characterization of such surgery yielding lens spaces with Klein bottles.

Study shows arithmetic properties of specific hyperbolic Dehn fillings.

Extends three circle theorem to almost Hermitian manifolds.

A knot in the 3-sphere is called an L--space knot if it admits a nontrivial Dehn surgery yielding an L--space. Like torus knots and Berge knots, many L--space knots admit also a Seifert fibered surgery. We give a concrete example of a hyperbolic, L-space knot which has no exceptional surgeries, in particular, no Seifer…

For any n\ge 2, we give infinitely many unsplittable links of n components in the 3-sphere which admit non-trivial surgery yielding the 3-sphere again and whose components are mutually distinct hyperbolic knots. Berge and Kawauchi gave 2-component hyperbolic links with those two properties. We can also give infinitely …

We define combinatorial invariants of Legendrian and transverse links in universally tight lens spaces using grid diagrams, generalizing [OST08] and prove that they are equivalent to the invariants defined in [BVVV13] and [LOSS09]. We use these combinatorial invariants to characterize index one grid diagrams for knots …

Given a one-dimensional homology class in a lens space, a question related to the Berge conjecture on lens space surgeries is to determine all knots realizing the minimal rational genus of all knots in this homology class. It is known that simple knots are rational genus minimizers. In this paper, we construct many non…

Dehn surgery on a knot determines a dual knot in the surgered manifold, the core of the filling torus. We consider duals of knots in $S^3$ that have a lens space surgery. Each dual supports a contact structure. We show that if a universally tight contact structure is supported, then the dual is in the same homology cla…

A maximum principle for C^0 null hypersurfaces is obtained and used to derive a splitting theorem for spacetimes which contain null lines. As a consequence of this null splitting theorem, it is proved that an asymptotically simple vacuum (Ricci flat) spacetime which contains a null line is isometric to Minkowski space.

We propose a classification of knots in S^1 x S^2 that admit a longitudinal surgery to a lens space. Any lens space obtainable by longitudinal surgery on some knots in S^1 x S^2 may be obtained from a Berge-Gabai knot in a Heegaard solid torus of S^1 x S^2, as observed by Rasmussen. We show that there are yet two other…

Based on works by Hopf, Weinberger, Hamilton and Evans, we state and prove the strong elliptic maximum principle for smooth sections in vector bundles over Riemannian manifolds and give some applications in Differential Geometry. Moreover, we use this maximum principle to obtain various rigidity theorems and Bernstein …

We determine the lens spaces that arise by integer Dehn surgery along a knot in the three-sphere. Specifically, if surgery along a knot produces a lens space, then there exists an equivalent surgery along a Berge knot with the same knot Floer homology groups. This leads to sharp information about the genus of such a kn…

We prove a Lorentzian splitting theorem with weakened curvature conditions.

We show that the set of cusp shapes of hyperbolic tunnel number one manifolds is dense in the Teichmuller space of the torus. A similar result holds for tunnel number n manifolds. As a consequence, for fixed n, there are infinitely many hyperbolic tunnel number n manifolds with at most one exceptional Dehn filling. Thi…

New non-existence results for harmonic maps into perturbed cones.

The paper classifies translation surfaces in a specific hyperelliptic component and finds the maximum number of disjoint geodesics.

We present a new geometric unfolding of a prototype problem of optimal control theory, the Mayer problem. This approach is crucially based on the Stokes Theorem and yields to a necessary and sufficient condition that characterizes the optimal solutions, from which the classical Pontryagin Maximum Principle is derived i…

Berge in [1] defined doubly primitive knots, which yield lens spaces by Dehn surgery. At the same paper he listed the knots into several types. In this paper we will prove the list is complete when $τ>1$. The invariant $τ$ is a quantity with regard to lens space surgery, which is defined in this paper. Furthermore at t…

MPT improves CNN and energy-based models' OOD detection and generalization.

Given any closed, connected, orientable $3$--manifold and integers $g\geq g(M), D > 0$, we show the existence of knots in $M$ whose genus $g$ bridge number is greater than $D$. These knots lie in a page of an open book decomposition of $M$, and the proof proceeds by examining the action of the map induced by the monodr…

Anisotropic minimal graphs over half-spaces are flat.

Hedden defined two knots in each lens space that, through analogies with their knot Floer homology and doubly pointed Heegaard diagrams of genus one, may be viewed as generalizations of the two trefoils in S^3. Rasmussen shows that when the `left-handed' one is in the homology class of the dual to a Berge knot of type …

In this short note we extend Chow and Lu's advanced maximum principles for parabolic systems on closed manifolds to the case of compact manifolds with boundary, which also generalizes a Hopf type theorem of Pulemotov.

We compute the genus zero bridge numbers and give lower bounds on the genus one bridge numbers for a large class of sufficiently generic hyperbolic twisted torus knots. As a result, the bridge spectra of these knots have two gaps which can be chosen to be arbitrarily large, providing the first known examples of hyperbo…

Based on ideas of L. Alías, D. Impera and M. Rigoli developed in "Hypersurfaces of constant higher order mean curvature in warped products", we develope a fairly general weak/Omori-Yau maximum principle for trace operators. We apply this version of maximum principle to generalize several higher order mean curvature est…

We provide a probabilistic approach to studying minimal surfaces in three-dimensional Euclidean space. Following a discussion of the basic relationship between Brownian motion on a surface and minimality of the surface, we introduce a way of coupling Brownian motions on two minimal surfaces. This coupling is then used …

We generalize the Omori-Yau almost maximum principle of the Laplace-Beltrami operator on a complete Riemannian manifold $M$ to a second-order linear semi-elliptic operator $L$ with bounded coefficients and no zeroth order term. Using this result, we prove some Liouville-type theorems for a real-valued $C^{2}$ function …

Paper proves Liouville-type theorems for minimal graphs with capillary boundary.