Search

We recursively determine the homotopy type of the space of any irreducible framed link in the 3-sphere, modulo rotations. This leads us to the homotopy type of the space of any knot in the solid torus, thus answering a question posed by Arnold. We similarly study spaces of unframed links in the 3-sphere, modulo rotations, and spaces of knots in the thickened torus. The subgroup of meridional rotations splits as a direct factor of the fundamental group of the space of any framed link except the unknot. Its generators can be viewed as generalizations of the Gramain loop in the space of long knots. Taking the quotient by certain such rotations relates the spaces we study. All of our results generalize previous work of Hatcher and Budney. We provide many examples and explicitly describe generators of fundamental groups., Comment: Enlarged the scope of some content to cover split links as well as irreducible ones. Added some references for context. Other minor revisions. Final pre-publication version. Accepted for publication in Geometriae Dedicata. Now 62 pages, 33 figures

In the context of (2+1)--dimensional SL(N,R)\times SL(N,R) Chern-Simons theory we explore issues related to regularity and asymptotics on the solid torus, for stationary and circularly symmetric solutions. We display and solve all necessary conditions to ensure a regular metric and metric-like higher spin fields. We prove that holonomy conditions are necessary but not sufficient conditions to ensure regularity, and that Hawking conditions do not necessarily follow from them. Finally we give a general proof that once the chemical potentials are turn on -- as demanded by regularity -- the asymptotics cannot be that of Brown-Henneaux., Comment: 17 pages, Latex, no figures

We introduce the notion of rational links in the solid torus. We show that rational links in the solid torus are fully characterized by rational tangles, and hence by the continued fraction of the rational tangle. Furthermore, we generalize this by giving an infinite family of ambient isotopy invariants of colored diagrams in the Kauffman bracket skein module of an oriented surface., Comment: 16 pages

General half-BPS A-type boundary conditions are formulated for N=2 supersymmetric field theories on compact 3-manifolds with boundary. We observe that under suitable conditions manifolds of the real A-type admitting two complex supersymmetries (related by charge conjugation) possess, besides a contact structure, a natural integrable toric foliation. A boundary, or a general co-dimension-1 defect, can be inserted along any leaf of this preferred foliation to produce manifolds with boundary that have the topology of a solid torus. We show that supersymmetric field theories on such manifolds can be endowed with half-BPS A-type boundary conditions. We specify the natural curved space generalization of the A-type projection of bulk supersymmetries and analyze the resulting A-type boundary conditions in generic 3d non-linear sigma models and YM/CS-matter theories., Comment: 66 pages

We study the one-loop partition function of 3D gravity without cosmological constant on the solid torus with arbitrary metric fluctuations on the boundary. To this end we employ the discrete approach of (quantum) Regge calculus. In contrast with similar calculations performed directly in the continuum, we work with a boundary at finite distance from the torus axis. We show that after taking the continuum limit on the boundary - but still keeping finite distance from the torus axis - the one-loop correction is the same as the one recently found in the continuum in Barnich et al. for an asymptotically flat boundary. The discrete approach taken here allows to identify the boundary degrees of freedom which are responsible for the non-trivial structure of the one-loop correction. We therefore calculate also the Hamilton-Jacobi function to quadratic order in the boundary fluctuations both in the discrete set-up and directly in the continuum theory. We identify a dual boundary field theory with a Liouville type coupling to the boundary metric. The discrete set-up allows again to identify the dual field with degrees of freedom associated to radial bulk edges attached to the boundary. Integrating out this dual field reproduces the (boundary diffeomorphism invariant part of the) quadratic order of the Hamilton-Jacobi functional. The considerations here show that bulk boundary dualities might also emerge at finite boundaries and moreover that discrete approaches are helpful in identifying such dualities., Comment: 42 pages

Let P be a knot in an unknotted solid torus (i.e. a satellite operator or pattern), K a knot in S^3 and P(K) the satellite of K with pattern P. For any satellite operator P, this correspondence gives a function P : C -> C on the set of smooth concordance classes of knots. We give examples of winding number one satellite operators P and a class of knots K, such that the iterated satellites P^i(K) are distinct as smooth concordance classes, i.e. if i=/=j>0, P^i(K)=/=P^j(K), where each P^i is unknotted when considered as a knot in S^3. This implies that the operators P^i give distinct functions on C, providing further evidence for the fractal nature of C. There are several other applications of our result, as follows. By using topologically slice knots K, we obtain infinite families {P^i(K)} of topologically slice knots that are distinct in smooth concordance. We can also obtain infinite families of 2-component links (with unknotted components and linking number one) which are not smoothly concordant to the positive Hopf link. For a large class of L-space knots K (including the positive torus knots), we obtain infinitely many prime knots {P^i(K)} which have the same Alexander polynomial as K but are not themselves L-space knots., 15 pages, 10 figures

This paper is a first step toward understanding the effect of toroidal geometry on the rigorous stability theory of plasmas. We consider a collisionless plasma inside a torus, modeled by the relativistic Vlasov-Maxwell system. The surface of the torus is perfectly conducting and it reflects the particles specularly. We provide sharp criteria for the stability of equilibria under the assumption that the particle distributions and the electromagnetic fields depend only on the cross-sectional variables of the torus., Comment: 51 pages, 1 figure. ARMA, accepted

The aim of this note is to take benefit of the foam nature of the Khovanov-Kuperberg algebras to compute the Grothendieck groups of their categories of finitely generated projective modules. The computation relies on the Hattori-Stallings trace and some geometrical properties of foams in a solid torus., Comment: 19 pages, 16 figures, comments welcome. arXiv admin note: text overlap with arXiv:1309.2793

A genus-1 tangle G is an arc properly embedded in a standardly embedded solid torus S in the 3-sphere. We say that a genus-1 tangle embeds in a knot K in S^3 if the tangle can be completed by adding an arc exterior to the solid torus to form the knot K. We call K a closure of G. An obstruction to embedding a genus-1 tangle G in a knot is given by torsion in the homology of branched covers of S branched over G. We examine a particular example A of a genus-1 tangle, given by Krebes, and consider its two double-branched covers. Using this homological obstruction, we show that any closure of A obtained via an arc which passes through the hole of S an odd number of times must have determinant divisible by three. A resulting corollary is that if A embeds in the unknot, then the arc which completes A to the unknot must pass through the hole of S an even number of times., Comment: 7 pages, 7 figures. v2: Minor changes made, typos corrected. v3: Final version, accepted for publication

Suppose $K$ is a hyperbolic knot in a solid torus $V$ intersecting a meridian disk $D$ twice. We will show that if $K$ is not the Whitehead knot and the frontier of a regular neighborhood of $K \cup D$ is incompressible in the knot exterior, then $K$ admits at most one exceptional surgery, which must be toroidal. Embedding $V$ in $S^3$ gives infinitely many knots $K_n$ with a slope $r_n$ corresponding to a slope $r$ of $K$ in $V$. If $r$ surgery on $K$ in $V$ is toroidal then either all but at most three $K_n(r_n)$ are toroidal, or they are all reducible or small Seifert fibered with two common singular fiber indices. These will be used to classify exceptional surgeries on wrapped Montesinos knots in solid torus, obtained by connecting the top endpoints of a Montesinos tangle to the bottom endpoints by two arcs wrapping around the solid torus., Comment: 26 pages, 4 figures

For Legendrian links in the 1-jet space of $S^1$ we show that the 1-graded ruling polynomial may be recovered from the Kauffman skein module. For such links a generalization of the notion of normal ruling is introduced. We show that the existence of such a generalized normal ruling is equivalent to sharpness of the Kauffman polynomial estimate for the Thurston-Bennequin number as well as to the existence of an ungraded augmentation of the Chekanov-Eliashberg DGA. Parallel results involving the HOMFLY-PT polynomial and 2-graded generalized normal rulings are established., Comment: 26 pages, 6 figures

In this paper we investigate the behavior and the existence of positive and non-radially symmetric solutions to nonlinear exponential elliptic model problems defined on a solid torus $\bar{T}$ of $\mathbb{R}^3$, when data are invariant under the group $G=O(2)\times I \subset O(3)$. The model problems of interest are stated below: ${ll} {\bf(P_1)} & \displaystyle ��\upsilon+��=f(x)e^\upsilon, \upsilon>0\quad \mathrm{on} \quad T, \quad\upsilon |_{_{\partial T}}=0.$ and ${ll}\bf{(P_2)} & \displaystyle ��\upsilon+a+fe^\upsilon=0, \upsilon>0\quad \mathrm{on}\quad T, [1.3ex] &\displaystyle \frac{\partial \upsilon}{\partial n}+b+ge^\upsilon=0\quad \mathrm{on} \quad{\partial T}.$ We prove that exist solutions which are $G-$invariant and these exhibit no radial symmetries. In order to solve the above problems we need to find the best constants in the Sobolev inequalities in the exceptional case.

This paper establishes an isomorphism between the Bar-Natan skein module of the solid torus with a particular boundary curve system and the homology of the (n,n) Springer variety. The results build on Khovanov's work with crossingless matchings and the cohomology of the (n,n) Springer variety. We also give a formula for comultiplication in the Bar-Natan skein module for this specific three-manifold and boundary curve system., Comment: 17 pages, many figures

For a knot K in S^3, let T(K) be the characteristic toric sub-orbifold of the orbifold (S^3,K) as defined by Bonahon and Siebenmann. If K has unknotting number one, we show that an unknotting arc for K can always be found which is disjoint from T(K), unless either K is an EM-knot (of Eudave-Munoz) or (S^3,K) contains an EM-tangle after cutting along T(K). As a consequence, we describe exactly which large algebraic knots (ie algebraic in the sense of Conway and containing an essential Conway sphere) have unknotting number one and give a practical procedure for deciding this (as well as determining an unknotting crossing). Among the knots up to 11 crossings in Conway's table which are obviously large algebraic by virtue of their description in the Conway notation, we determine which have unknotting number one. Combined with the work of Ozsvath-Szabo, this determines the knots with 10 or fewer crossings that have unknotting number one. We show that an alternating, large algebraic knot with unknotting number one can always be unknotted in an alternating diagram. As part of the above work, we determine the hyperbolic knots in a solid torus which admit a non-integral, toroidal Dehn surgery. Finally, we show that having unknotting number one is invariant under mutation., Comment: This is the version published by Algebraic & Geometric Topology on 19 November 2006

A homeomorphism of a 3-manifold M is said to be Dehn twists on the boundary when its restriction to the boundary of M is isotopic to the identity on the complement of a collection of disjoint simple closed curves in the boundary of M. In this paper, we give various results about such collections of curves and the associated homeomorphisms. In particular, if M is compact, orientable, irreducible and the boundary of M is a single torus, and M admits a homeomorphism which is a nontrivial Dehn twist on the boundary of M, then M must be a solid torus., Comment: This is the version published by Algebraic & Geometric Topology on 20 September 2006

We discuss issues relating to the topology of Euclidean de Sitter space. We show that in (2+1) dimensions, the Euclidean continuation of the`causal diamond', i.e the region of spacetime accessible to a timelike observer, is a three-hemisphere. However, when de Sitter entropy is computed in a `stretched horizon' picture, then we argue that the correct Euclidean topology is a solid torus. The solid torus shrinks and degenerates into a three-hemisphere as one goes from the `stretched horizon' to the horizon, giving the Euclidean continuation of the causal diamond. We finally comment on the generalisation of these results to higher dimensions., Comment: 10 pages, 2 figures, LaTeX, reference added

If M is an atoroidal 3-manifold with a taut foliation, Thurston showed that pi_1(M) acts on a circle. Here, we show that some other classes of essential laminations also give rise to actions on circles. In particular, we show this for tight essential laminations with solid torus guts. We also show that pseudo-Anosov flows induce actions on circles. In all cases, these actions can be made into faithful ones, so pi_1(M) is isomorphic to a subgroup of Homeo(S^1). In addition, we show that the fundamental group of the Weeks manifold has no faithful action on S^1. As a corollary, the Weeks manifold does not admit a tight essential lamination, a pseudo-Anosov flow, or a taut foliation. Finally, we give a proof of Thurston's universal circle theorem for taut foliations based on a new, purely topological, proof of the Leaf Pocket Theorem., Comment: 50 pages, 12 figures. Ver 2: minor improvements

It has been shown elsewhere that a strongly irreducible Heegaard splitting surface Q of a compact orientable 3-manifold M can, under reasonable side conditions, intersect a ball or a solid torus in M in only a few possible ways. Here we extend those results to describe how Q can intersect a handlebody in M., Comment: 13 pages, 5 figures

This paper proves a theorem about Dehn surgery using a new theorem about PSL(2, C) character varieties. Confirming a conjecture of Boyer and Zhang, this paper shows that a small hyperbolic knot in a homotopy sphere having a non-trivial cyclic slope r has an incompressible surface with non-integer boundary slope strictly between r-1 and r+1. A corollary is that any small knot which has only integer boundary slopes has Property P. The proof uses connections between the topology of the complement of the knot, M, and the PSL(2, C) character variety of M that were discovered by Culler and Shalen. The key lemma, which should be of independent interest, is that for certain components of the character variety of M, the map on character varieties induced by the inclusion of boundary M into M is a birational isomorphism onto its image. This in turn depends on a fancy version of Mostow rigidity due to Gromov, Thurston, and Goldman., Comment: 32 pages, 9 figures, LaTeX2e. Changes: Added section defining volume of a representation