Related papers: An algorithm to classify rational 3-tangles

Kronheimer-Mrowka shows that the Dehn twist along a $3$-sphere in the neck of two $K3$ surfaces is not smoothly isotopic to the identity. Their result requires that the manifolds are simply connected and the signature of one of them is $16…

K3 surfaces with non-symplectic symmetry of order 3 are classified by open sets of twenty-four complex ball quotients associated to Eisenstein lattices. We show that twenty-two of those moduli spaces are rational.

We introduce a new class of possibly noncompact n-dimensional manifolds without boundary associated to finite data which we call topological automata. This class is large enough to contain many interesting examples of open 2-dimensional and…

This is the third of a series of papers studying real algebraic threefolds, but the methods are mostly independent from the previous two. Let $f:X\to S$ be a map of a smooth projective real algebraic 3-fold to a surface $S$ whose general…

It is well-known that a function on an open set in $\mathbb R^d$ is smooth if and only if it is arc-smooth, i.e., its composites with all smooth curves are smooth. In recent work, we extended this and related results (for instance, a real…

This manuscript represents the author's PhD dissertation thesis.The first part studies decision problems in Thompson's groups F,T,V and some generalizations. The simultaneous conjugacy problem is determined to be solvable for Thompson's…

Many questions about triangles and quadrilaterals with rational sides, diagonals and areas can be reduced to solving certain Diophantine equations. We look at a number of such questions including the question of approximating arbitrary…

We study zero cycles on rationally connected varieties defined over characteristic zero Laurent fields with algebraically closed residue fields. We show that the degree map induces an isomorphism for rationally connected threefolds defined…

Homotopic morphisms of $\mathbb E$-triangles in extriangulated categories are introduced. Any morphism of $\mathbb E$-triangles is a composition of homotopic morphisms. Any morphism $(\alpha_1, \alpha_2, \alpha_3)$ of $\mathbb E$-triangles…

Let $t>0$ be a real number and $G$ be a graph. We say $G$ is $t$-tough if for every cutset $S$ of $G$, the ratio of $|S|$ to the number of components of $G-S$ is at least $t$. Determining toughness is an NP-hard problem for arbitrary…

A triangulation of a surface is irreducible if there is no edge whose contraction produces another triangulation of the surface. In this work we propose an algorithm that constructs the set of irreducible triangulations of any surface with…

We prove that a smooth rationally connected projective threefold of Picard number two is toric if and only if it admits an int-amplified endomorphism. As a corollary, we show that a totally invariant smooth curve of a non-isomorphic…

By the famous ADE classification rational double points are simple. Rational triple points are also simple. We conjecture that the simple normal surface singularities are exactly those rational singularities, whose resolution graph can be…

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…

Let f be an orientation preserving homeomorphism of the disc D2 which possesses a periodic point of period 3. Then either f is isotopic, relative the periodic orbit, to a homeomorphism g which is conjugate to a rotation by 2 pi /3 or 4 pi…

In this work, we show that for a certain class of threefolds in positive characteristics, rational-chain-connectivity is equivalent to supersingularity. The same result is known for K3 surfaces with elliptic fibrations. And there are…

We show that for every fixed undirected graph $H$, there is a $O(|V(G)|^3)$ time algorithm that tests, given a graph $G$, if $G$ contains $H$ as a topological subgraph (that is, a subdivision of $H$ is subgraph of $G$). This shows that…

The Nielsen Conjecture for Homeomorphisms asserts that any homeomorphism $f$ of a closed manifold is isotopic to a map realizing the Nielsen number of $f$, which is a lower bound for the number of fixed points among all maps homotopic to…

The unknot U in S^4 has non-unique smooth spanning 3-balls up to isotopy fixing U. Equivalently there are properly embedded non-separating 3-balls in S^1xB^3 not properly isotopic to 1xB^3. More generally there exist non-separating…

We study the connectedness of the real locus of smooth geometrically rational Fano threefolds and prove a sufficient criterion of $\mathbb{R}$-rationality.