Related papers: On the injectivity of evaluation maps induced by p…

Over an algebraically closed field $\mathbb{F}$ of zero characteristic polynomial map $\xi: \mathbb{F}^n\rightarrow \mathbb{F}^n$ of the form $\xi(x)=x-((xA_1)^{3}, (xA_2)^{3},..., (xA_n)^{3})$, where $x=(x_1,x_2,...,x_n)$ a row vector of…

Let $\mathcal A$ be an $\mathbb F$-algebra and $\omega \in \mathcal A\langle x_1, \ldots, x_m \rangle$ which defines a map $\mathcal A^m \rightarrow \mathcal A$ by evaluation, called a polynomial map with constant. We consider $\mathcal {A}…

We prove that every polynomial map $(f,g):\mathbb{R}^2\to\mathbb{R}^2$ with nowhere vanishing Jacobian such that $\mathrm{deg}\, f\leq 5$, $\mathrm{deg}\,g \leq 6$ is injective.

We consider non-singular and Jacobian maps whose components are polynomial in the variable y. We prove that if a map has y-degree one, then it is the composition of a triangular map and a quasi-triangular map. We also prove that…

We prove that an endomorphism $f$ of affine space is injective on rational points if its B\'ezoutian is constant. Similarly, $f$ is injective at a given rational point if its reduced B\'ezoutian is constant. We also show that if the…

The analysis of observable phenomena (for instance, in biology or physics) allows the detection of dynamical behaviors and, conversely, starting from a desired behavior allows the design of objects exhibiting that behavior in engineering.…

We determine a necessary and sufficient condition for a polynomial over an algebraically closed field $k$ to induce a surjective map on matrix algebras $M_n(k)$ for $n \ge 2$. The criterion is given in terms of critical points and uses…

We present a framework for characterizing injectivity of classes of maps (on cosets of a linear subspace) by injectivity of classes of matrices. Using our formalism, we characterize injectivity of several classes of maps, including…

For every number field $k$, we construct an affine algebraic surface $X$ over $k$ with a Zariski dense set of $k$-rational points, and a regular function $f$ on $X$ inducing an injective map $X(k)\to k$ on $k$-rational points. In fact,…

Let $F=(p,q):\mathbb R^2\to \mathbb R^2$ be a polynomial map with nowhere zero Jacobian determinant. A long-standing problem is to determine the largest integer $k$ such that the condition $\deg p\le k$ guarantees the global injectivity of…

The Jacobian Conjecture would follow if it were known that real polynomial maps with a unipotent Jacobian matrix are injective. The conjecture that this is true even for $C^1$ maps is explored here. Some results known in the polynomial case…

The main result of this paper is the following version of the real Jacobian conjecture: "Let $F=(p,q):\R^2\to\R^2$ be a polynomial map with nowhere zero Jacobian determinant. If the degree of $p$ is less than or equal to $4$, then $F$ is…

If there exists a completely bounded projection of B(H) onto a von Neumann algebra M on H, then M is injective. If there exists a bounded projection and M is properly infinite, the same conclusion holds.

Let $F: C^n \rightarrow C^m$ be a polynomial map with $degF=d \geq 2$. We prove that $F$ is invertible if $m = n$ and $\sum^{d-1}_{i=1} JF(\alpha_i)$ is invertible for all $i$, which is trivially the case for invertible quadratic maps. More…

We present an algorithmic equivalent statement to the Jacobian conjecture. Given a polynomial map F on an affine space of dimension n, our algorithm constructs n sequences of polynomials such that F is invertible if and only if the zero…

One of the most basic, longstanding open problems in the theory of dynamical systems is whether reachability is decidable for one-dimensional piecewise affine maps with two intervals. In this paper we prove that for injective maps, it is…

We investigate the injective types and the algebraically injective types in univalent mathematics, both in the absence and in the presence of propositional resizing. Injectivity is defined by the surjectivity of the restriction map along…

This paper addresses the computational problem of deciding invertibility (or one to one-ness) of a Boolean map $F$ in $n$-Boolean variables. This problem is a special case of deciding invertibilty of a map…

We show that a monomial algebra $\Lambda$ over an algebraically closed field $K$ is self-injective if and only if each map $\mathrm{soc}(_{\Lambda}\Lambda)\to \ _{\Lambda}\Lambda$ can be extended to an endomorphism of $_{\Lambda}\Lambda$,…

We prove a quantitative version of the injectivity of the Fubini--Study map that is polynomial in the exponent of the ample line bundle, and correct the arguments in the author's previous papers.