Mathematics - Geometric Topology Publications (50)


Mathematics - Geometric Topology Publications

We study the generalization of quasipositive links from the three-sphere to arbitrary closed, orientable three-manifolds. As in the classical case, we see that this generalization of quasipositivity is intimately connected to contact and complex geometry. The main result is an essentially three-dimensional proof that every link in the boundary of a Stein domain which bounds a complex curve in the interior is quasipositive, generalizing a theorem of Boileau-Orevkov. Read More

We give a finite presentation for the braid twist group $\operatorname{BT}(\mathbf{S}_\aleph^{g,\mathrm{b}})$ of a decorated surface $\mathbf{S}_\aleph^{g,\mathrm{b}}$. If the surface $\mathbf{S}_\aleph^{g,\mathrm{b}}$ is a marked surface $\mathbf{S}$ and the decoration $\aleph$ is from a triangulation $\mathbf{T}$, we obtain a finite presentation for the spherical twist group of the 3-Calabi-Yau category $\mathcal{D}_{fd}(\Gamma_{\mathbf{T}})$ associated to $\mathbf{S}$, w.r. Read More

We define the generalized connected sum for generic closed plane curves, generalizing the strange sum defined by Arnold, and completely describe how the Arnold invariants $J^{\pm}$ and $\mathit{St}$ behave under the generalized connected sums. Read More

A site-specific Gordian distance between two spatial embeddings of an abstract graph is the minimal number of crossing changes from one to another where each crossing change is performed between two previously specified abstract edges of the graph. It is infinite in some cases. We determine the site-specific Gordian distance between two spatial embeddings of an abstract graph in certain cases. Read More

In this note we give presentations of all finite subgroups of the mapping class group of a closed surface of genus 2 by the Humphries generators up to conjugacy. Read More

For a null-homologous transverse link $\mathcal T$ in a general contact manifold with an open book, we explore strongly quasipositive braids and Bennequin surfaces. We define the defect $\delta(\mathcal T)$ of the Bennequin-Eliashberg bound. We study relations between $\delta(\mathcal T)$ and minimal genus Bennequin surfaces of $\mathcal T$. Read More

In [2], the authors constructed closed oriented hyperbolic surfaces with pseudo-Anosov diffeomorphisms from certain class of integral matrices. In this paper, we present a very simple algorithm to compute the Teichmueller polynomial corresponding to those surface diffeomorphisms. Read More

In this article, we reformulate the cobordism map of embedded contact homology, which is induced by exact symplectic cobordism and defined as direct limit of homomorphisms called filtered ECH cobordism map. The filtered ECH cobordism map is defined by counting embedded holomorphic curves with zero ECH index and we prove that it is independent on almost complex structure by Seiberg Witten theory. Moreover, our definition in fact is equivalent to the existing definition. Read More

We construct a form of swallowtail singularity in R^3 which uses coordinate transformation on the source and isometry on the target. As an application, we classify configurations of asymptotic curves and characteristic curves near swallowtail. Read More

We study the topological configurations of the lines of principal curvature, the asymptotic and characteristic curves on a cuspidal edge, in the domain of a parametrization of this surface as well as on the surface itself. Such configurations are determined by the 3-jets of a parametrization of the surface. Read More

For a given smooth compact manifold $M$, we introduce a massive class $\mathcal G(M)$ of Riemannian metrics, which we call \emph{metrics of the gradient type}. For such metrics $g$, the geodesic flow $v^g$ on the spherical tangent bundle $SM \to M$ is traversing. Moreover, for every $g \in \mathcal G(M)$, the geodesic scattering along the boundary $\d M$ can be expressed in terms of the \emph{scattering map} $C_{v^g}: \d_1^+(SM) \to \d_1^-(SM)$. Read More

We give a formula of the Upsilon invariant of L-space cable knots $K_{p,q}$ in the case of $2gpRead More

Let $G$, $N$ be groups and let $\psi \colon G \to Out(N)$ be a homomorphism. An extension for these data is a group $E$ which fits into the short exact sequence $1 \to N \to E \to G \to 1$ such that the action of $E$ on $N$ by conjugation induces $\psi$. It is classical that extensions can be characterised using ordinary group cohomology in dimension $2$ and $3$. Read More

We study piecewise linear co-dimension two embeddings of closed oriented manifolds in Euclidean space, and show that any such embedding can always be isotoped to be a closed braid as long as the ambient dimension is at most five, extending results of Alexander (in ambient dimension three), and Viro and independently Kamada (in ambient dimension four). We also show an analogous result for higher co-dimension embeddings. Read More

A book representation of a graph is a particular way of embedding a graph in three dimensional space so that the vertices lie on a circle and the edges are chords on disjoint topological disks. We describe a set of operations on book representations that preserves ambient isotopy, and apply these operations to $K_6$, the complete graph with six vertices. We prove there are exactly 59 distinct book representations for $K_6$, and we identify the number and type of knotted and linked cycles in each representation. Read More

The first part of this article intends to present the role played by Thom in diffusing Smale's ideas about immersion theory, at a time (1957) where some famous mathematicians were doubtful about them: it is clearly impossible to make the sphere inside out! Around a decade later, M. Gromov transformed Smale's idea in what is now known as the h-principle. Here, the h stands for homotopy. Read More

We consider knotted annuli in 4-space, called 2-string-links, which are knotted surfaces in codimension two that are naturally related, via closure operations, to both 2-links and 2-torus links. We classify 2-string-links up to link-homotopy by means of a 4-dimensional version of Milnor invariants. The key to our proof is that any 2-string link is link-homotopic to a ribbon one; this allows to use the homotopy classification obtained in the ribbon case by P. Read More

Let G be a two generator subgroup of PSL(2,C). The Jorgensen number J(G) of G is defined by J(G)=inf{ |tr^2 A-4|+|tr[A,B]-2| ; G=}. If G is a non-elementary Kleinian group, then J(G) >= 1. Read More

For every genus $g\geq 2$, we construct an infinite family of strongly quasipositive fibred knots having the same Seifert form as the torus knot $T(2,2g+1)$. In particular, their signatures and four-genera are maximal and their homological monodromies (hence their Alexander module structures) agree. On the other hand, the geometric stretching factors are pairwise distinct and the knots are pairwise not ribbon concordant. Read More

In this paper we provide the general theory for the construction of 3-dimensional ETQFTs extending the Costantino-Geer-Patureau quantum invariants defined in arXiv:1202.3553. Our results rely on relative modular categories, a class of non-semisimple ribbon categories modeled on representations of unrolled quantum groups, and they exploit a 2-categorical version of the universal construction introduced by Blanchet, Habegger, Masbaum and Vogel. Read More

We refine prior bounds on how the multivariable signature and the nullity of a link change under link cobordisms. The formula generalizes a series of results about the 4-genus having their origins in the Murasugi-Tristram inequality, and at the same time extends previously known results about concordance invariance of the signature to a bigger set of allowed variables. Finally, we show that the multivariable signature and nullity are also invariant under $1$-solvable cobordism. Read More

We prove that certain involutions defined by Vogell and Burghelea-Fiedorowicz on the rational algebraic K-theory of spaces coincide. This gives a way to compute the positive and negative eigenspaces of the involution on rational homotopy groups of pseudoisotopy spaces from the involution on rational $S^{1}$--homology group of the free loop space of a simply-connected manifold. As an application, we give explicit dimensions of the open manifolds $V$ that appear in Belegradek-Farrell-Kapovitch's work for which the spaces of complete nonnegatively curved metrics on $V$ have nontrivial rational homotopy groups. Read More

Let S be an immersed horizontal surface in a 3-dimensional graph manifold. We show that the fundamental group of the surface S is quadratically distorted whenever the surface is virtually embedded (i.e. Read More

Given a connected real Lie group and a contractible homogeneous proper $G$--space $X$ furnished with a $G$--invariant volume form, a real valued volume can be assigned to any representation $\rho\colon \pi_1(M)\to G$ for any oriented closed smooth manifold $M$ of the same dimension as $X$. Suppose that $G$ contains a closed and cocompact semisimple subgroup, it is shown in this paper that the set of volumes is finite for any given $M$. From a perspective of model geometries, examples are investigated and applications with mapping degrees are discussed. Read More

We show that a Hitchin representation is determined by the spectral radii of the images of simple, non-separating closed curves. As a consequence, we classify isometries of the intersection function on Hitchin components of dimension 3 and on the self-dual Hitchin components in all dimensions. Read More

This survey covers some of the results contained in the papers by Costantino, Geer and Patureau ( and by Blanchet, Costantino, Geer and Patureau (https://arxiv. Read More

This is a sequel to the paper [Cas]. Here, we extend the methods of Farb-Wolfson using the theory of FI_G-modules to obtain stability of equivariant Galois representations of the etale cohomology of orbit configuration spaces. We establish subexponential bounds on the growth of unstable cohomology, and then use the Grothendieck-Lefschetz trace formula to obtain results on arithmetic statistics for orbit configuration spaces over finite fields. Read More

In arXiv:math/0508510, Rasmussen observed that the Khovanov-Rozansky homology of a link is a finitely generated module over the polynomial ring generated by the components of this link. In the current paper, we study the module structure of the middle HOMFLYPT homology, especially the Betti numbers of this module. For each link, these Betti numbers are supported on a finite subset of $\mathbb{Z}^4$. Read More

In this paper we extend the works of Tancer and of Malgouyres and Franc\'es, showing that $(d,k)$-collapsibility is NP-complete for $d\geq k+2$ except $(2,0)$. By $(d,k)$-collapsibility we mean the following problem: determine whether a given $d$-dimensional simplicial complex can be collapsed to some $k$-dimensional subcomplex. The question of establishing the complexity status of $(d,k)$-collapsibility was asked by Tancer, who proved NP-completeness of $(d,0)$ and $(d,1)$-collapsibility (for $d\geq 3$). Read More

For a closed manifold $M$, let Fib$(M)$ be the number of distinct fiberings of $M$ as a fiber bundle with fiber a closed surface. In this paper we give the first computation of Fib$(M)$ where $1<\text{Fib}(M)<\infty$ but $M$ is not a product. In particular, we prove Fib$(M)=2$ for the Atiyah-Kodaira manifold and any finite cover of a trivial surface bundle. Read More

In this paper we study topological surfaces as gridded surfaces in the 2-dimensional scaffolding of cubic honeycombs in Euclidean and hyperbolic spaces. Read More

We provide an explicit description of the region of rational L-space surgery slopes for a torus-link satellite of any L-space knot in $S^3$ (including the unknot), with a result that precisely extends Hedden's and Hom's analogous result for cables. More generally, we characterize the region of rational L-space surgery slopes for satellites by algebraic links and for iterated satellites by torus-links. We also address implications for conjectures of Boyer-Gordon-Watson and Juh\'asz for surgeries on torus-link satellites of knots in $S^3$. Read More

We describe a new method for combinatorially computing the transverse invariant in knot Floer homology. Previous work of the authors and Stone used braid diagrams to combinatorially compute knot Floer homology of braid closures. However, that approach was unable to explicitly identify the invariant of transverse links that naturally appears in braid diagrams. Read More

We prove that the bigraded colored Khovanov-Rozansky type A link and tangle invariants are functorial with respect to link and tangle cobordisms. Read More

The fundamental groups of compact 3-manifolds are known to be residually finite. Feng Luo conjectured that a stronger statement is true, by only allowing finite groups of the form $PGL(2,R),$ where $R$ is some finite commutative ring with identity. We give an equivalent formulation of Luo's conjecture via faithful representations and provide various examples and a counterexample. Read More

A map $f\colon K\to \mathbb R^d$ of a simplicial complex is an almost embedding if $f(\sigma)\cap f(\tau)=\emptyset$ whenever $\sigma,\tau$ are disjoint simplices of $K$. Theorem. Fix integers $d,k\ge2$ such that $d=\frac{3k}2+1$. Read More

Given any oriented link diagram, one can construct knot invariants using skein relations. Usually such a skein relation contains three or four terms. In this paper, the author introduces several new ways to smooth a crossings, and uses a system of skein equations to construct link invariant. Read More

In this paper, a regional knot invariant is constructed. Like the Wirtinger presentation of a knot group, each planar region contributes a generator, and each crossing contributes a relation. The invariant is call a tridle of the link. Read More

We extend the theory of relative trisections of smooth, compact, oriented $4$-manifolds with connected boundary given by Gay and Kirby to include $4$-manifolds with an arbitrary number of boundary components. Additionally, we provide sufficient conditions under which relatively trisected $4$-manifolds can be glued to one another along diffeomorphic boundary components so as to induce a trisected manifold. These two results allow us to define a category $\textrm{Tri}$ whose objects are smooth, closed, oriented $3$-manifolds equipped with open book decompositions, and morphisms are relatively trisected cobordisms. Read More

In this paper, we describe a surprising link between the theory of the Goldman-Turaev Lie bialgebra on surfaces of genus zero and the Kashiwara-Vergne (KV) problem in Lie theory. Let $\Sigma$ be an oriented 2-dimensional manifold with non-empty boundary and $\mathbb{K}$ a field of characteristic zero. The Goldman-Turaev Lie bialgebra is defined by the Goldman bracket $\{ -,- \}$ and Turaev cobracket $\delta$ on the $\mathbb{K}$-span of homotopy classes of free loops on $\Sigma$. Read More

Subset currents on hyperbolic groups were introduced by Kapovich and Nagnibeda as a generalization of geodesic currents on hyperbolic groups, which were introduced by Bonahon and have been successfully studied in the case of the fundamental group $\pi_1 (\Sigma)$ of a compact hyperbolic surface $\Sigma$. Kapovich and Nagnibeda particularly studied subset currents on free groups. In this article, we develop the theory of subset currents on $\pi_1(\Sigma )$, which we call subset currents on $\Sigma$. Read More

We study cosmetic contact surgeries along transverse knots in the standard contact 3-sphere, i.e. contact surgeries that yield again the standard contact 3-sphere. Read More

We consider linear groups which do not contain unipotent elements of infinite order, which includes all linear groups in positive characteristic, and show that this class of groups has good properties which resemble those held by groups of non positive curvature and which do not hold for arbitrary characteristic zero linear groups. In particular if such a linear group is finitely generated then centralisers virtually split and all finitely generated abelian subgroups are undistorted. If further the group is virtually torsion free (which always holds in characteristic zero) then we have a strong property on small subgroups: any subgroup either contains a non abelian free group or is finitely generated and virtually abelian, hence also undistorted. Read More

Let $X\subset \mathbb R^n$ be a connected locally closed definable set in an o-minimal structure. We prove that the following three statements are equivalent: (i) $X$ is a $C^1$ manifold, (ii) the tangent cone and the paratangent cone of $X$ coincide at every point in $X$, (iii) for every $x \in X$, the tangent cone of $X$ at the point $x$ is a $k$-dimensional linear subspace of $\mathbb R^n$ ($k$ does not depend on $x$) varies continuously in $x$, and the density $\theta(X, x) < 3/2$. Read More

We formulate large $N$ duality of U$(N)$ refined Chern-Simons theory with a torus knot/link in $S^3$. By studying refined BPS states in M-theory, we provide the explicit form of low-energy effective actions of Type IIA string theory with D4-branes on the $\Omega$-background. This form enables us to relate refined Chern-Simons invariants of a torus knot/link in $S^3$ to refined BPS invariants in the resolved conifold. Read More

In this paper, we study $R$-closed foliations which are generalization of compact Hausdorff foliations. We show that the class space of a codimension-two-like $R$-closed foliation $\mathcal{F}$ (resp. group-action) on a compact connected manifold $M$ is a surface with conners, which is a generalization of the codimension two compact foliation cases, where the class space is a quotient space $M/\sim$ defined by $x \sim y$ if $\overline{\mathcal{F}(x)} = \overline{\mathcal{F}(y)}$ (resp. Read More

We define the extremal length of elements of the fundamental group of the twice punctured complex plane and give upper and lower bounds for this invariant. The bounds differ by a multiplicative constant. The main motivation comes from $3$-braid invariants and their application. Read More

In the Cayley graph of the mapping class group of a closed surface, with respect to any generating set, we look at a ball of large radius centered on the identity vertex, and at the proportion among the vertices in this ball representing pseudo-Anosov elements. A well-known conjecture states that this proportion should tend to one as the radius tends to infinity. We prove that it stays bounded away from zero. Read More

We construct an infinite family of slice disks with the same exterior, which gives an affirmative answer to an old question asked by Hitt and Sumners in 1981. Furthermore, we prove that these slice disks are ribbon disks. Read More

Since the Jones polynomial was discovered, the connection between knot theory and quantum physics has been of great interest. Lomonaco and Kauffman introduced the knot mosaic system to give a definition of the quantum knot system that is intended to represent an actual physical quantum system. Recently the authors developed an algorithm producing the exact enumeration of knot mosaics, which uses a recursion formula of state matrices. Read More