Related papers: An algorithm to classify rational 3-tangles

A novel and deterministic algorithm is presented to detect whether two given rational plane curves are related by means of a similarity, which is a central question in Pattern Recognition. As a by-product it finds all such similarities, and…

Let $\mathcal C$ be a real plane algebraic curve defined by the resultant of two polynomials (resp. by the discriminant of a polynomial). Geometrically such a curve is the projection of the intersection of the surfaces $P(x,y,z)=Q(x,y,z)=0$…

We show how to construct non-isotrivial families of supersingular K3 surfaces over rational curves using a relative form of the Artin-Tate isomorphism and twisted analogues of Bridgeland's results on moduli spaces of stable sheaves on…

Ruberman gave the first examples of self-diffeomorphisms of four-manifolds that are isotopic to the identity in the topological category but not smoothly so. We give another example of this phenomenon, using the Dehn twist along a 3-sphere…

A variety is unirational if it is dominated by a rational variety. A variety is rationally connected if two general points can be joined by a rational curve. This paper aims to show that the two notions can cooperate and, building on…

Let $\mathfrak B_g$ denote the moduli space of primitively polarized $K3$ surfaces $(S,H)$ of genus $g$ over $\mathbb C$. It is well-known that $\mathfrak B_g$ is irreducible and that there are only finitely many rational curves in $|H|$…

In this paper, we give explicit equations for homogeneous spaces corresponding to a rational isogeny of degree $3$. An explicit set of elliptic curves with elements of order $3$ in their Tate-Shafarevich group is constructed. Combining this…

Let G be a graph cellularly embedded in a surface S. Given two closed walks c and d in G, we take advantage of the RAM model to describe linear time algorithms to decide if c and d are homotopic in S, either freely or with fixed basepoint.…

We classify the rational differential 1-forms with simple poles and simple zeros on the Riemann sphere according to their isotropy group; when the 1-form has exactly two poles the isotropy group is isomorphic to $\mathbb{C}^{*}$, namely…

Given a family of rational curves depending on a real parameter, defined by its parametric equations, we provide an algorithm to compute a finite partition of the parameter space (${\Bbb R}$, in general) so that the shape of the family…

Let S be a compact, oriented surface with negative Euler characteristic and let f be a homeomorphism of S that is isotopic to the identity. If there exists a periodic orbit with a non-zero rotation vector, then there exists a simple braid…

We define a suitably tame class of singular symplectic curves in 4-manifolds, namely those whose singularities are modeled on complex curve singularities. We study the corresponding symplectic isotopy problem, with a focus on rational…

We initiate the study of combinatorial algorithms for Triangle Detection in $H$-free graphs. The goal is to decide if a graph that forbids a fixed pattern $H$ as a subgraph contains a triangle, using only "combinatorial" methods that…

This paper is concerned with rational curves on real classical groups. Our contributions are three-fold: (i) We determine the structure of quadratic rational curves on real classical groups. As a consequence, we completely classify…

Let $C$ be an irreducible projective plane curve in the complex projective space ${\mathbb{P}}^2$. The classification of such curves, up to the action of the automorphism group $PGL(3,{\mathbb{C}})$ on ${\mathbb{P}}^2$, is a very difficult…

In this paper, we provide a simple proof for the fact that two simplicial complexes are isomorphic if and only if their associated Stanley-Reisner rings, or their associated facet rings are isomorphic as $K$-algebras. As a consequence, we…

Let $G$ be a connected reductive linear algebraic group over $\C$ with an involution $\theta$. Denote by $K$ the subgroup of fixed points. In certain cases, the $K$-orbits in the flag variety $G/B$ are indexed by the twisted identities…

Let $A,B$ be nonzero rational numbers. Consider the elliptic curve $E_{A,B}/\mathbb{Q}(t)$ with Weierstrass equation $y^2=x^3+At^6+B$. An algorithm to determine $\mathrm{rank } E_{A,B}(\mathbb{Q}(t))$ as a function of $(A,B)$ was presented…

We solve Dehn's isomorphism problem for virtually torsion-free relatively hyperbolic groups with nilpotent parabolic subgroups. We do so by reducing the isomorphism problem to three algorithmic problems in the parabolic subgroups, namely…

We describe an algorithm that determines a set of unramified covers of a given hyperelliptic curve, with the property that any rational point will lift to one of the covers. In particular, if the algorithm returns an empty set, then the…