Related papers: Computations and ML for surjective rational maps

We investigate necessary and sufficient conditions for a nonexpansive map $f$ on a Banach space $X$ to have surjective displacement, that is, for $f - \mathrm{id}$ to map onto $X$. In particular, we give a computable necessary and…

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 lct(f, J_f^2)>1 if and only if the hypersurface defined by f has rational singularities. Moreover, if this is not…

Jacobian conjectures (that nonsingular implies a global inverse) 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 birational…

Let $f:\mathbb{CP}^2\dashrightarrow\mathbb{CP^2}$ be a rational map with algebraic and topological degrees both equal to $d\geq 2$. Little is known in general about the ergodic properties of such maps. We show here, however, that for an…

We contribute a new algebraic method for computing the orthogonal projections of a point onto a rational algebraic surface embedded in the three dimensional projective space. This problem is first turned into the computation of the finite…

We construct a linearly normal smooth rational surface S of degree 11 and sectional genus 8 in the projective fivespace. Surfaces satisfying these numerical invariants are special, in the sense that $h^1(\mathscr{O}_S(1))>0$. Our…

A method is presented for computing all the affine equivalences between two rational ruled surfaces defined by rational parametrizations that works directly in parametric rational form, i.e. without computing or making use of the implicit…

We give a novel and effective criterion for algebraicity of rational normal analytic surfaces constructed from resolving the singularity of an irreducible curve-germ on $CP^2$ and contracting the strict transform of a given line and all but…

We study the rationality of some geometrically rational three-dimensional conic and quadric surface bundles, defined over the reals and more general real closed fields, for which the real locus is connected and the intermediate Jacobian…

We consider the space of countable structures with fixed underlying set in a given countable language. We show that the number of ergodic probability measures on this space that are $S_\infty$-invariant and concentrated on a single…

Self-rational maps of generic algebraic K3 surfaces are conjectured to be trivial. We relate this conjecture to a conjecture concerning the irreducibility of the universal Severi varieties parametrizing nodal curves of given genus and…

Given a parameterization $\phi$ of a rational plane curve C, we study some invariants of C via $\phi$. We first focus on the characterization of rational cuspidal curves, in particular we establish a relation between the discriminant of the…

We prove that $i)$ if $\mathcal{A}$ is $\lambda $-accessible and it is axiomatizable in (finitary) coherent logic then $\lambda $-pure maps are strict monomorphisms and $ii)$ if there is a proper class of strongly compact cardinals and…

We prove the existence of rational maps having smooth degenerate Herman rings. This answers a question of Eremenko affirmatively. The proof is based on the construction of smooth Siegel disks by Avila, Buff and Ch\'{e}ritat as well as the…

The holomorphic endomorphism f of projective space is called post-critically finite (PCF) if the forward image of the critical locus, under iteration of f, has algebraic support (i.e., is a finite union of hypersurfaces). In the case of…

We prove the existence of global minimal models for rational morphisms $\phi:{\mathbb P}^N\rightarrow{\mathbb P}^N$ of projective space defined over the field of fractions of a principal ideal domain.

Let $K=k(C)$ be the function field of a complete nonsingular curve $C$ over an arbitrary field $k$. The main result of this paper states that a morphism $\phi:{\mathbb P}^N_K\to{\mathbb P}^N_K$ is isotrivial if and only if it has potential…

We are concerned with the behavior of the polynomial maps $F=(P,Q)$ of $\mathbb{C}^2$ with finite fibres and satisfying the condition that all of the curves $aP+bQ=0$, $(a:b)\in \mathbb{P}^1$, are irreducible rational curves. The obtained…

For any prime $p\ge 5$, we show that generic hypersurface $X_p\subset\mathbb{P}^p$ defined over $\mathbb{Q}$ admits a non-trivial rational dominant self-map of degree $>1$, defined over $\bar{\mathbb{Q}}$. A simple arithmetic application of…

Given a surjective mapping $f : E \to F$ between Banach spaces, we investigate the existence of a subspace $G$ of $E$, with the same density character as $F$, such that the restriction of $f$ to $G$ remains surjective. We obtain a positive…