Searcharxiv⌕ Search

SEARCH · Searcharxiv

Results for “math.GT”

Search indexed arXiv papers on artificial intelligence, large language models, computer vision and robotics. Read source abstracts and follow links to arXiv.

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 37 records · Page 2Linked to original sources

A Categorification of Quantum sl_3 Projectors and the sl_3 Reshetikhin-Turaev Invariant of Tangles

We construct a categorification of the quantum sl_3 projectors, the sl_3 analog of the Jones-Wenzl projectors, as the stable limit of the complexes assigned to k-twist torus braids (as k goes to infinity) in a suitably shifted version of Morrison and Nieh's geometric formulation of sl_3 link homology (math.GT/0612754). We use these projectors to give a categorification of the sl_3 Reshetikhin-Turaev invariant of framed tangles.

math.GT↗

The $\mathfrak{sl}_n$ foam 2-category: a combinatorial formulation of Khovanov-Rozansky homology via categorical skew Howe duality

We give a purely combinatorial construction of colored $\mathfrak{sl}_n$ link homology. The invariant takes values in a 2-category where 2-morphisms are given by foams, singular cobordisms between $\mathfrak{sl}_n$ webs; applying a (TQFT-like) representable functor recovers (colored) Khovanov-Rozansky homology. Novel features of the theory include the introduction of `enhanced' foam facets which fix sign issues associated with the original matrix factorization formulation and the use of skew Howe duality to show that (enhanced) closed foams can be evaluated in a completely combinatorial manner. The latter answers a question posed in math.GT/0708.2228.

math.QA↗

Knots and distributive homology: from arc colorings to Yang-Baxter homology

This paper is a sequel to my essay "Distributivity versus associativity in the homology theory of algebraic structures" Demonstratio Math., 44(4), 2011, 821-867 (arXiv:1109.4850 [math.GT]). We start from naive invariants of arc colorings and survey associative and distributive magmas and their homology with relation to knot theory. We outline potential relations to Khovanov homology and categorification, via Yang-Baxter operators. We use here the fact that Yang-Baxter equation can be thought of as a generalization of self-distributivity. We show how to define and visualize Yang-Baxter homology, in particular giving a simple description of homology of biquandles.

math.GT↗

Periodic projections of alternating knots

This paper is devoted to prove the existence of $q$-periodic alternating projections of prime alternating $q$-periodic knots. The main tool is the Menasco-Thistlethwaite's Flyping theorem. Let $K$ be an oriented prime alternating knot that is $q$-periodic with $q\geq 3$, i.e. $K$ admits a symmetry that is a rotation of order $q$. Then $K$ has an alternating $q$-periodic projection. As applications, we obtain the crossing number of a $q$ -periodic alternating knot with $q\geq 3$ is a multiple of $q$ and we give an elementary proof that the knot $12_{a634} $ is not 3-periodic; this proof does not depend on computer computations as in "Periodic knots and Heegaard Floer correction terms" by Stanilav Jabuka and Swatee Naik (arXiv:1307.5116 [math.GT]).

math.GT↗

Extending Quasi-Alternating Links

Champanerkar and Kofman introduced an interesting way to construct new examples of quasi-alternating links from existing ones. Actually, they proved that replacing a quasi-alternating crossing c in a quasi-alternating link by a rational tangle of same type yields a new quasi-alternating link. This construction has been extended to alternating algebraic tangles and applied to characterize all quasi-alternating Montesinos links. In this paper, we extend this technique to any alternating tangle of same type as c. As an application, we give new examples of quasi-alternating knots of 13 and 14 crossings. Moreover, we prove that the Jones polynomial of a quasi-alternating link that is obtained in this way has no gap if the original link has no gap in its Jones polynomial. This supports a conjecture introduced in arXiv:1810.11773 [math.GT], which states that Jones polynomial of any prime quasi-alternating link except (2; n)-torus link has no gap.

math.GT↗

Lipschitz Homotopy Groups of Contact 3-Manifolds

We study contact 3-manifolds using the techniques of sub-Riemannian geometry and geometric measure theory, in particular establishing properties of their Lipschitz homotopy groups. We prove a biLipschitz version of the Theorem of Darboux: a contact $(2n+1)$-manifold endowed with a sub-Riemannian structure is locally biLipschitz equivalent to the Heisenberg group $\mathbb{H}^n$ with its \cc metric. Then each contact $(2n+1)$-manifold endowed with a sub-Riemannian structure is purely $k$-unrectifiable for $k>n$. We then extend results of Dejarnette et al. (arXiv:1109.4641 [math.FA]) and Wenger and Young (arXiv:1210.6943 [math.GT]) on the Lipschitz homotopy groups of $\mathbb{H}^1$ to an arbitrary contact 3-manifold endowed with a \cc metric, namely that for any contact 3-manifold the first Lipschitz homotopy group is uncountably generated and all higher Lipschitz homotopy groups are trivial. Therefore, in the sense of Lipschitz homotopy groups, a contact 3-manifold is a $K(π,1)$-space with an uncountably generated first homotopy group. Along the way, we prove that each open distributional embedding between purely 2-unrectifiable sub-Riemannian manifolds induces an injective map on the associated first Lipschitz homotopy groups. Therefore, each open subset of a contact 3-manifold determines an uncountable subgroup of the first Lipschitz homotopy group of the contact 3-manifold.

math.GT↗

Links of Second Smallest Knot Floer Homology

We prove that the rank of knot Floer homology detects the Hopf links, and generalize this result further to classify the links of the second smallest knot Floer homology. We also prove a knot Floer homology analog of arXiv:1910.04246v1 [math.GT] and give a partial answer to when the equality holds in the rank inequality between the knot Floer homology of a link and its sublinks.

math.GT↗

Positive flow-spines and contact 3-manifolds, II

This paper corresponds to Section 8 of arXiv:1912.05774v3 [math.GT]. The contents until Section 7 are published in Annali di Matematica Pura ed Applicata as a separate paper. In that paper, it is proved that for any positive flow-spine P of a closed, oriented 3-manifold M, there exists a unique contact structure supported by P up to isotopy. In particular, this defines a map from the set of isotopy classes of positive flow-spines of M to the set of isotopy classes of contact structures on M. In this paper, we show that this map is surjective. As a corollary, we show that any flow-spine can be deformed to a positive flow-spine by applying first and second regular moves successively.

math.GT↗

Studying links via plats: split and composite links

Our main results concern changing an arbitrary plat presentation of a split or composite link to one which is obviously recognizable as being split or composite. Pocket moves, first described in \cite{unlinkviaplats}, are utilized -- a pocket move alters a plat presentation without changing its link type, its bridge index or the double coset. A plat presentation of a split link is split if the planar projection of the plat presentation is not connected. We prove that pocket moves are the only obstruction to representing split links by split plat presentations. Since any pocket move corresponds to a sequence of double coset moves, we have the corollary that the double coset of every plat presentation of a split link has a split plat presentation. We obtain an analogous result for composite links by utilizing flip moves, which were also first described in the second author's work, arXiv:2308.00732 [math.GT].

math.GT↗

Short geodesics and end invariants

This expository article discusses some connections between the geometry of a hyperbolic 3-manifold homotopy-equivalent to a surface, and the combinatorial properties of its end invariants. In particular a necessary and sufficient condition is stated for the manifold to have arbitrarily short geodesics, in terms of a sequence of coefficients called subsurface projection distances, which are analogous in some ways to continued-fraction coefficients. (The proof of sufficiency appeared in math.GT/9907070)

math.GT↗

How to make a triangulation of S^3 polytopal

We introduce a numerical isomorphism invariant p(T) for any triangulation T of S^3. Although its definition is purely topological (inspired by the bridge number of knots), p(T) reflects the geometric properties of T. Specifically, if T is polytopal or shellable then p(T) is `small' in the sense that we obtain a linear upper bound for p(T) in the number n=n(T) of tetrahedra of T. Conversely, if p(T) is `small' then T is `almost' polytopal, since we show how to transform T into a polytopal triangulation by O((p(T))^2) local subdivisions. The minimal number of local subdivisions needed to transform T into a polytopal triangulation is at least $\frac{p(T)}{3n}-n-2$. Using our previous results [math.GT/0007032], we obtain a general upper bound for p(T) exponential in n^2. We prove here by explicit constructions that there is no general subexponential upper bound for p(T) in n. Thus, we obtain triangulations that are `very far' from being polytopal. Our results yield a recognition algorithm for S^3 that is conceptually simpler, though somewhat slower, as the famous Rubinstein-Thompson algorithm.

math.GT↗

Foliations with one-sided branching

We show that for a taut foliation F with one-sided branching of an atoroidal 3-manifold M, one can construct a pair of genuine laminations with solid torus complementary regions which bind every leaf of F in a geodesic lamination. These laminations come from a universal circle, a refinement of the universal circles proposed by Thurston, which maps monotonely and group-equivariantly to each of the circles at infinity of the leaves of the universal cover of F, and is minimal with respect to this property. This circle is intimately bound up with the extrinsic geometry of the leaves of F. In particular, for any pair of leaves m,l of the universal cover of F with m>l, the leaf l is asymptotic to m in a dense set of directions at infinity, where the leaf space is co-oriented so that the foliation branches in the negative direction. This is a macroscopic version of an infinitesimal result of Thurston's and gives much more drastic control over the topology and geometry of F. The pair of laminations can be used to produce a pseudo-Anosov flow transverse to F which is regulating in the non-branching direction. Rigidity results for these laminations in the R-covered case are extended to the case of one-sided branching. In particular, an R-covered foliation can only be deformed to a foliation with one-sided branching along one of the two laminations canonically associated to the R-covered foliation in math.GT/9903173, and these laminations become exactly the laminations constructed for the new branched foliation. Other corollaries include that the ambient manifold is d-hyperbolic in the sense of Gromov, and that a self-homeomorphism of this manifold homotopic to the identity is isotopic to the identity.

math.GT↗

Towards an implementation of the B-H algorithm for recognizing the unknot

In their paper `A new algorithm for recognizing the unknot', in Geometry and Topology', 2 (1998) n. 9, 175-220, the first author and Michael Hirsch presented a then new algorithm for recognizing the unknot. The first part of the algorithm required the systematic enumeration of all discs which support a `braid foliation' and are embeddable in 3-space. The boundaries of these `foliated embeddable discs' (FED's) are the collection of all closed braid representatives of the unknot, up to conjugacy, and the second part of the algorithm produces a word in the generators of the braid group which represents the boundary of the previously listed FED's. The third part tests whether a given closed braid is conjugate to the boundary of a FED on the list. In this paper we describe implementations of the first and second parts of the algorithm. We also give some of the data which we obtained. The data suggest that FED's have unexplored and interesting structure. Open questions are interspersed throughout the manuscript. The third part of the algorithm was studied by the first author, H. K. Ko and S. J. Lee in their paper `A new approach to the word and conjugacy problems in the braid groups', in `Advances in Mathematics', 139 (1998), 322-353, and in their preprint `The infimum, supremum and geodesic length of a braid conjugacy class', arXiv:math.GT/0003125, and implemented by S. J. Lee in his preprint `Implementation of an algorithm for solving the conjugacy problem in the braid groups' (sangjin@knot.kaist.ac.kr). At this writing his algorithm is polynomial for n less than or equal to 4 and exponential for n greater than or equal to 5.

math.GT↗

The Betti numbers of some finite racks

We show that the lower bounds for Betti numbers given in math.GT/9909161 are equalities for a class of racks that includes dihedral and Alexander racks. We confirm a conjecture from the same paper by defining a splitting for the short exact sequence of quandle chain complexes. We define isomorphisms between Alexander racks of certain forms, and we also list the second and third homology groups of some dihedral and Alexander quandles.

math.GT↗

The Goda-Teragaito conjecture: an overview

In math.GT/0106017 it was shown that thin position on Heegaard spines can be a useful tool for analyzing the topology of knots in 3-space. The proof there (specifically, of the Goda-Teragaito conjecture) requires masses of technical detail; it is easy to lose track of the underlying ideas. The present paper gives an overview of the argument, stripped of technical detail and emphasizing the mathematical background that seems naturally to motivate the proof.

math.GT↗

On a theorem of Goussarov

In this paper, the easier methods of my thesis are applied to give a simple proof of a theorem of Goussarov. The theorem relates two possible notions of finite type equivalence of knots, links or string links, showing that the resulting filtrations are the same up to a degree shift by a factor of two. This is then applied to the situation of rooted claspers to show that rooted claspers of sufficiently high degree must preserve type k invariants. As a consequence, grope cobordisms of sufficiently high class must preserve type k invariants. This result is applied in math.GT/0012118, to show Theorem 2 of that paper.

math.GT↗