Related papers: Algorithms for Computing Invariants of Trisected B…
Turaev Viro invariants are amongst the most powerful tools to distinguish 3-manifolds: They are implemented in mathematical software, and allow practical computations. The invariants can be computed purely combinatorially by enumerating…
The braid group appears in many scientific fields and its representations are instrumental in understanding topological quantum algorithms, topological entropy, classification of manifolds and so on. In this work, we study planer diagrams…
We are interested in finite groups acting orientation-preservingly on 3-manifolds (arbitrary actions, ie not necessarily free actions). In particular we consider finite groups which contain an involution with nonempty connected fixed point…
The concordance group of knots in the three-sphere contains an infinite subgroup generated by elements of order two, each one of which is represented by a knot K with the property that for every n > 0, the n-fold cyclic cover of S^3…
In this paper we develop a theory for constructing an invariant of closed oriented 3-manifolds, given a certain type of Hopf algebra. Examples are given by a quantised enveloping algebra of a semisimple Lie algebra, or by a semisimple…
We introduce an algorithm that conjectures the structure of a permutation class in the form of a disjoint cover of "rules"; similar to generalized grid classes. The cover is usually easily verified by a human and translated into an…
In this article, we give a numerical algorithm to compute braid groups of curves, hyperplane arrangements, and parameterized system of polynomial equations. Our main result is an algorithm that determines the cross-locus and the generators…
We exhibit an explicit algorithm to compute three-point branched covers of the complex projective line when the uniformizing triangle group is Euclidean.
The Steenrod problem for closed orientable manifolds was solved completely by Thom. Following this approach, we solve the Steenrod problem for closed orientable orbifolds, proving that the rational homology groups of a closed orientable…
Given an open cover of a closed symplectic manifold, consider all smooth partitions of unity consisting of functions supported in the covering sets. The Poisson bracket invariant of the cover measures how much the functions from such a…
Given an $S\cong \mathbb{R}P^2$ smoothly embedded in a 4-manifold $X^4$ with Euler number 2 or -2, the Price twist is a surgery operation on $\nu(S)$ yielding (up to) three different 4-manifolds: $X^4,\tau_S(X^4),\Sigma_S(X^4)$. This is of…
We extend the construction of upsilon-type invariants to null-homologous knots in rational homology three-spheres. By considering $m$-fold cyclic branched covers with $m$ a prime power, this extension provides new knot concordance…
We present several structural results on closed, nonorientable, smooth $4$--manifolds, extending analogous results and machinery for the orientable case. We prove the existence of simplified broken Lefschetz fibrations and simplified…
We develop a general theory of "bisets": sets with two commuting group actions. They naturally encode topological correspondences. Just as van Kampen's theorem decomposes into a graph of groups the fundamental group of a space given with a…
In this paper we prove that the problem of deciding contractibility of an arbitrary closed curve on the boundary of a 3-manifold is in NP. We emphasize that the manifold and the curve are both inputs to the problem. Moreover, our algorithm…
Techniques for constructing codimension 2 embeddings and immersions of the 2 and 3-fold branched covers of the 3 and 4-dimensional spheres are presented. These covers are in braided form, and it is in this sense that they are folded. More…
We present a topological interpretation of knot and braid contact homology in degree zero, in terms of cords and skein relations. This interpretation allows us to extend the knot invariant to embedded graphs and higher-dimensional knots. We…
In this paper, we develop a method to compute the Morse homology of a manifold when descending manifolds and ascending manifolds intersect cleanly, but not necessarily transversely. While obstruction bundle gluing defined by Hutchings and…
An extension of the Artin Braid Group with new operators that generate double and triple intersections is considered. The extended Alexander theorem, relating intersecting closed braids and intersecting knots is proved for double and triple…
This is the announcement, and the long summary, of a series of articles on the algorithmic study of Thurston maps. We describe branched coverings of the sphere in terms of group-theoretical objects called bisets, and develop a theory of…