Related papers: Reduction Theorems for the Strong Real Jacobian Co…
We prove that an irreducible polynomial derivation in positive characteristic is a Jacobian derivation if and only if there exists an n-1-element p-basis of its ring of constants. In the case of two variables we characterize these…
We obtain a computational realization of the strong approximation theorem. That is, we develop algorithms to compute all congruence quotients modulo rational primes of a finitely generated Zariski dense group $H \leq \mathrm{SL}(n,…
The present paper is devoted to investigating the two-dimensional real Jacobian conjecture. This conjecture claims that if $F=\left(f,g\right):\mathbb{R}^2\rightarrow \mathbb{R}^2$ is a polynomial map with $\det DF\left(x,y\right)\ne0$ for…
We show that the iterated images of a Jacobian pair stabilize; that is, the k-th iterates of a polynomial map of complex two-space to itself with a nonzero constant Jacobian determinant all have the same image for sufficiently large k. More…
We prove the Kawaguchi-Silverman conjecture (KSC), about the equality of arithmetic degree and dynamical degree, for every surjective endomorphism of any (possibly singular) projective surface. In high dimensions, we show that KSC holds for…
Following our previous work, we suggest here a large class of algebras of scalars in which simultaneous and correlated computations can be performed owing to the existence of surjective algebra homomorphisms. This may replace the currently…
It is shown that the $n$-dimensional Jacobian conjecture over algebraic number fields may be considered as an existence problem of integral points on affine curves. More specially, if the Jacobian conjecture over $\mathbb{C}$ is false, then…
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…
Using the Galois theory over function field, and the holomorphy of algebroids defined via irreducible polynomial at singular points, we prove the injectivity of any kellerian mapping. The famous Jacobian conjecture is true.
We prove the Strong Jacobi Bound Conjecture for generically reduced components of differential schemes.
Consider a rational map $R$ of degree $d\geq 2$ with coefficients over the non-archimedean field $\mathbb{C}_p$, with $p$ a fixed prime number. If $R$ has a cycle of Siegel disks and has good reduction, then it was shown by Rivera-Letelier…
We present theory and practice for robust implementations of bivariate Jacobi set and Reeb space algorithms. Robustness is a fundamental topic in computational geometry that deals with the issues of numerical errors and degenerate cases in…
In this paper we will study an important but rather technical result which is called The Reduction Property. The result tells us how much arithmetical conservation there is between two arithmetical theories. Both theories essentially speak…
A linear mapping upon real n-dimensional space, where the dimension n is odd, has a real eigenvalue-eigenvector pair. The corresponding statement for complex vector spaces holds true for any dimension n, but should be easy to demonstrate…
We give another proof that a reductive algebraic group is geometrically reductive. We show that a quotient of the semi-stable locus (by a linear action of a reductive algebraic group on a projective scheme) exists, and from this Haboush's…
In this note, we derive a uniqueness theorem for minimal graphs of general codimension under certain restrictions closed related to the convexity (not strict convexity) of the area functional with respect to singular values, improving the…
We define a reduction covariant for the representations a la Vinberg associated to stably graded Lie algebras. We then give an analogue of the LLL algorithm for the odd split special orthogonal group and show how this can be combined with…
In this note we obtain the surjectivity of smooth maps into Euclidean spaces under mild conditions. As application we give a new proof of the Fundamental Theorem of Algebra. We also observe that any $C^1$-map from a compact manifold into…
The direct or algorithmic approach for the Jacobian problem, consisting of the direct construction of the inverse polynomials is proposed. The so called principle and derived Jacobi conditions are proposed and discussed. The algorithmic…
In order to compute the Schmidt decomposition of $A\in M_k\otimes M_m$, we must consider an associated self-adjoint map. Here, we show that if $A$ is positive under partial transposition (PPT) or symmetric with positive coefficients (SPC)…