Related papers: Computations and ML for surjective rational maps

Given a number field K, we consider families of critically separable rational maps of degree d over K possessing a certain fixed-point and multiplier structure. With suitable notions of isomorphism and good reduction between rational maps…

A rational face cuboid is a cuboid that all of edges, two of three face diagonals and space diagonal have rational lengths. \[ E_{1,s}: y^2=x(x-(2s)^2)(x+(s^2-1)^2) \] for a rational number $s \neq 0, \pm 1$, and define $\tilde{A}$…

We focus on rational solutions or nearly-feasible rational solutions that serve as certificates of feasibility for polynomial optimization problems. We show that, under some separability conditions, certain cubic polynomially constrained…

We pose some questions about spaces parametrizing rational curves on rationally connected varieties. We give a partial answer for cubic threefolds. Many of our results were previously proved by Iliev, Markushevich and Tikhimirov by…

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…

A determination of the fixed components, base points and irregularity is made for arbitrary numerically effective divisors on any smooth projective rational surface having an effective anticanonical divisor. All of the results are proven…

Jacobian conjectures (that nonsingular implies invertible) for rational everywhere defined maps of real n-space to itself are considered, with no requirement for a constant Jacobian determinant or a rational inverse. The associated…

Functions with singularities are notoriously difficult to approximate with conventional approximation schemes. In computational applications, they are often resolved with low-order piecewise polynomials, multilevel schemes, or other types…

Over fields of characteristic zero, we show that for $n=1,d\geq4$ or $n=2,d\geq5$ or $n\geq3, d\geq 2n$, the generic $m$-marked degree-$d$ hypersurface in $\mathbb{P}^{n+1}$ admits the $m$ marked points as all the rational points. Over…

One develops {\em ab initio} the theory of rational/birational maps over reduced, but not necessarily irreducible, projective varieties in arbitrary characteristic. A numerical invariant of a rational map is introduced, called the Jacobian…

We consider all genus 2 curves over Q given by an equation y^2 = f(x) with f a squarefree polynomial of degree 5 or 6, with integral coefficients of absolute value at most 3. For each of these roughly 200000 isomorphism classes of curves,…

There are three types of involutions on a cubic fourfold; two of anti-symplectic type, and one symplectic. Here we show that cubics with involutions exhibit the full range of behaviour in relation to rationality conjectures. Namely, we show…

A modal logic is \emph{non-iterative} if it can be defined by axioms that do not nest modal operators, and \emph{rank-1} if additionally all propositional variables in axioms are in scope of a modal operator. It is known that every…

A general linear determinantal quartic in $\mathbb{P}^4$ is nodal, non-$\mathbb{Q}$-factorial and rational. We show that the family $\mathcal{F}$ of such quartics also contains rational $\mathbb{Q}$-factorial quartics, and that a generic…

We show that if $f$ is a nonzero, noninvertible function on a smooth complex variety $X$ and $J_f$ is the Jacobian ideal of $f$, then ${\rm lct}(f,J_f^2)>1$ if and only if the hypersurface defined by $f$ has rational singularities.…

Let $R$ be an affine domain of characteristic zero with finite quotients. We prove that a polynomial map over $R$ is surjective if and only if it is surjective over $\hat{R_{\mathfrak{m}}}$, the completion of $R$ with respect to…

Let $X$ be a general cubic hypersurface in $\mathbb P^4$. If $x\in X$ is a general point there are exactly six distinct lines in $X$ passing through $x$, that lie on the rank 3 quadric cone with vertex $x$ of lines that have intersection…

We provide examples of non-surjective epimorphisms $H\to K$ in the category of Hopf algebras over a field, even with the additional requirement that $K$ have bijective antipode, by showing that the universal map from a Hopf algebra to its…

For $n\geq 2$, we consider the map on $M_n(\mathbb K)$ given by evaluation of a polynomial $f(X_1, \ldots, X_m)$ over the field $\mathbb K$. In this article, we explore the image of the diagonal map given by $f=\delta_1 X_1^{k_1} + \delta_2…

Let $X$ be a real algebraic convex 3-manifold whose real part is equipped with a $Pin^-$ structure. We show that every irreducible real rational curve with non-empty real part has a canonical spinor state belonging to $\{\pm 1\}$. The main…