Related papers: A positive characterization of rational maps

This work deals with the notion of Newton complementary duality as raised originally in the work of the second author and B. Costa. A conceptual revision of the main steps of the notion is accomplished which then leads to a vast…

Both completely positive and completely copositive maps stay decomposable under tensor powers, i.e under tensoring the linear map with itself. But are there other examples of maps with this property? We show that this is not the case: Any…

A Thurston map is a branched covering map $f\colon S^2\to S^2$ that is postcritically finite. Mating of polynomials, introduced by Douady and Hubbard, is a method to geometrically combine the Julia sets of two polynomials (and their…

The logarithmic multiplicative group is a proper group object in logarithmic schemes, which morally compactifies the usual multiplicative group. We study the structure of the stacks of logarithmic maps from rational curves to this…

Let $X^{(2)}$ denote the second symmetric product space of a partially ordered vector space $X$, endowed with the projective cone. A characterization of linear maps $T\colon X^{(2)}\to X^{(2)}$ which preserve the set of all positive…

Special generic maps are smooth maps between smooth manifolds with only definite fold points as their singularities. The problem of whether a closed $n$-manifold admits a special generic map into Euclidean $p$-space for $1 \leq p \leq n$…

A rational map with good reduction in the field $\mathbb{Q}\_p$ of $p$-adic numbers defines a $1$-Lipschitz dynamical system on the projective line $\mathbb{P}^1(\mathbb{Q}\_p)$ over $\mathbb{Q}\_p$. The dynamical structure of such a system…

The purpose of this article is to give a proof of the Orbifold Theorem announced by Thurston in late 1981: If $O$ is a compact, connected, orientable, irreducible and topologically atoroidal 3-orbifold with non-empty ramification locus,…

For a post-critically finite branched covering of the sphere that is a subdivision map of a finite subdivision rule, we define non-expanding spines which determine the existence of a Levy cycle in a non-exhaustive semi-decidable algorithm.…

We show that a topometric space $X$ is topometrically isomorphic to a type space of some continuous first-order theory if and only if $X$ is compact and has an open metric (i.e., satisfies that $\{p : d(p,U) < \varepsilon\}$ is open for…

We present a natural extension of the notion of nondegenerate rational maps (quadrirational maps) to arbitrary dimensions. We refer to these maps as $2^n-$rational maps. In this note we construct a rich family of $2^n-$rational maps. These…

By a map we mean a $2$-cell decomposition of a closed compact surface, i.e., an embedding of a graph such that every face is homeomorphic to an open disc. Automorphism of a map can be thought of as a permutation of the vertices which…

Let $f\colon X\to X$ be a continuous function on a compact metric space. We show that shadowing is equivalent to backwards shadowing and two-sided shadowing when the map $f$ is onto. Using this we go on to show that, for expansive…

We show the resolution of indeterminacy of rational maps from a regular surface to a tame stack locally of finite type over an excellent scheme. The proof uses the valuative criterion for proper tame morphisms, which was proved by Bresciani…

A symplectic rational cuspidal curve with positive self-intersection number admits a concave neighborhood, and thus a corresponding contact manifold on the boundary. In this article, we study symplectic fillings of such contact manifolds,…

To every rational complex curve $C \subset (\mathbf{C}^\times)^n$ we associate a rational tropical curve $\Gamma \subset \mathbf{R}^n$ so that the amoeba $\mathcal{A}(C) \subset \mathbf{R}^n$ of $C$ is within a bounded distance from…

In 1986, W. Thurston introduced a (possibly degenerate) norm on the first cohomology group of a 3-manifold. Inspired by this definition, Turaev introduced in 2002 a analogous norm on the first cohomology group of a finite 2-complex. We show…

We consider the problem of smoothing algebraic cycles with rational coefficients on smooth projective complex varieties up to homological equivalence. We show that a solution to this problem would be incompatible with the validity of the…

The image of the branch set of a PL branched cover between PL $n$-manifolds is a simplicial $(n-2)$-complex. We demonstrate that the reverse implication also holds: an open and discrete map $f \colon \mathbb{S}^n \to \mathbb{S}^n$ with the…

The constraint satisfaction problem (CSP) and its quantified extensions, whether without (QCSP) or with disjunction (QCSP_or), correspond naturally to the model checking problem for three increasingly stronger fragments of positive…