Related papers: Reduction Theorems for the Strong Real Jacobian Co…

It is proved that the Jacobian of a k-endomorphism of k[x_1,...,x_n] over a field k of characteristic zero taking every tame coordinate to a coordinate, must be a nonzero constant in k. It is also proved that the Jacobian of an…

We develop a topological approach to prove the generalized Lax conjecture using the fact that determinants of sufficiently big symmetric linear pencils are able to express the rigidly convex sets of RZ polynomials of any degree $d$.…

Given a K\"ahler manifold $(Z,J,\omega)$ and a compact real submanifold $M\subset Z$, we study the properties of the gradient map associated with the action of a noncompact real reductive Lie group ${\rm G}$ on the space of probability…

We prove a codimension reduction and congruence theorem for compact $n$-dimensional submanifolds of $\mathbb{S}^{n+p}$ that admit a mean convex isometric embedding into $\mathbb{S}^{n+1}_+$ using a Reilly type formula for space forms.

The relationship according to which one physical theory encompasses the domain of empirical validity of another is widely known as "reduction." Here it is argued that one popular methodology for showing that one theory reduces to another,…

We prove that finite-dimensional Jacobian algebras associated with non-degenerate quivers with potentials satisfy the stable Brauer-Thrall II' conjecture. In particular, this implies that the brick Brauer-Thrall II' conjecture (also known…

We introduce a cohomology theory of grading-restricted vertex algebras. To construct the {\it correct} cohomologies, we consider linear maps from tensor powers of a grading-restricted vertex algebra to "rational functions valued in the…

We consider injectivity and surjectivity of some maps on the exterior algebra of isomorphic finite-dimensional vector spaces. We prove the properties of the maps in full generality, for any dimension of the vector space and any subspace. We…

Let F be a continuous injective map from an open subset of R^n to R^n. Assume that, for infinitely many k>1, F induces a bijection between the rational points of denominator k in the domain and those in the image (the denominator of…

In this Part I, we shall prove the consistency of arithmetic without complete induction from a point of view of strong negation, using its embedding to the tableau system $\bf SN$ of constructive arithmetic with strong negation without…

For the model two-complex $K$ of the group presentation $\mathcal{P}=\langle x,y\,|\,x^{k+1}yxy \rangle$, with $k\geq1$ odd, we describe representatives for all free and based homotopy classes of maps from $K$ into the real projective plane…

We have recently introduced the trimming property for a complete Riemannian manifold $N^{n}$ as a necessary and sufficient condition for bounded maps to be strongly dense in $W^{1, p}(B^m; N^{n})$ when $p \in \{1, \dotsc, m\}$. We prove in…

A particular case of the Jacobian conjecture is considered and for small dimensional cases a computational approach is offered

We give an invariant nondegeneracy condition for CR--maps between generic submanifolds in different dimensions and use it to prove a reflection principle for these maps.

We prove a characterization result in the spirit of the Kinderlehrer-Pedregal Theorem for Young measures generated by gradients of Sobolev maps satisfying the orientation-preserving constraint, that is the pointwise Jacobian is positive…

We establish an invertibility criterion for free polynomials and free functions evaluated on some tuples of matrices. We show that if the derivative is nonsingular on some domain closed with respect to direct sums and similarity, the…

For K a field of characteristic 0 and d any integer number greater than or equal to 2, we prove the invertibility of polynomial endomorphisms of the affine space of dimension d over K of the form F=Id+H, where each coordinate of H is the…

We prove the equivalence of the Jacobian Conjecture (JC(n)) and the Conjecture on the cardinality of the set of fixed points of a polynomial nilpotent mapping (JN(n)) and prove a series of assertions confirming JN(n).

We introduce a geometric realization of noncommutative singularity resolutions. To do this, we first present a new conjectural method of obtaining conventional resolutions using coordinate rings of matrix-valued functions. We verify this…

We introduce descent methods to the study of strong approximation on algebraic varieties. We apply them to two classes of varieties defined by P(t)=N_{K/k}(z): firstly for quartic extensions of number fields K/k and quadratic polynomials…