Related papers: Surjectivity of polynomial maps on Matrices

We generalize both the notion of polynomial functions on Lie groups and the notion of horizontally affine maps on Carnot groups. We fix a subset $S$ of the algebra $\mathfrak g$ of left-invariant vector fields on a Lie group $\mathbb G$ and…

The spectral decomposition for an explicit second-order differential operator $T$ is determined. The spectrum consists of a continuous part with multiplicity two, a continuous part with multiplicity one, and a finite discrete part with…

A linear map between real symmetric matrix spaces is positive if all positive semidefinite matrices are mapped to positive semidefinite ones. A real symmetric matrix is separable if it can be written as a summation of Kronecker products of…

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…

Let $\mathcal{A}$ be a unital algebra, $\delta$ be a linear mapping from $\mathcal{A}$ into itself and $m$, $n$ be fixed integers. We call $\delta$ an (\textit{m, n})-derivable mapping at $Z$, if…

We give necessary and sufficient conditions, in the form of matrix identities, for a polynomial f in C[X,Y] to be a component of a polynomial automorphism of C^2 and to be a component of a Keller polynomial mapping of C^2, respectively…

It is proved that if X is a compact Hausdorff space of Lebesgue dimension $\dim(X)$, then the squaring mapping $\alpha_{m} \colon (C(X)_{\mathrm{sa}})^{m} \to C(X)_{+}$, defined by $\alpha_{m}(f_{1},..., f_{m}) = \sum_{i=1}^{m} f_{i}^{2}$,…

Let K be a field of characteristic zero. We prove that images of a linear K-derivation and a linear K-E-derivation of the ring K[x 1 ,x 2 ,x 3 ] of polynomial in three variables over K are Mathieu-Zhao subspaces, which affirms the LFED…

We study how the geometry of a projective variety $X$ is reflected in the positivity properties of the diagonal $\Delta_X$ considered as a cycle on $X \times X$. We analyze when the diagonal is big, when it is nef, and when it is rigid. In…

The existence of conservative quasipolynomial (QP) maps is investigated. A classification is given for dimensions two and three, and the analytical solution of the former case is constructed. General properties of n-dimensional QP…

We study the differential identities of the algebra $M_k(F)$ of $k\times k$ matrices over a field $F$ of characteristic zero when its full Lie algebra of derivations, $L=\mbox{Der}(M_k(F))$, acts on it. We determine a set of 2 generators of…

Given a generic PL map or a generic smooth fold map $f:N^n\to M^m$, where $m\ge n$ and $2(m+k)\ge 3(n+1)$, we prove that $f$ lifts to a PL or smooth embedding $N\to M\times\mathbb R^k$ if and only if its double point locus $\{(x,y)\in…

There are nontrivial dualities and parallels between polynomial algebras and the Grassmann algebras. This paper is an attempt to look at the Grassmann algebras at the angle of the Jacobian conjecture for polynomial algebras (which is the…

In this paper, we mainly prove some results on the additivity of maps over rings under certain conditions. First, we discuss a special case of MARTINDALE III's theorem of \cite{1969M} as a bijective map $\varphi$ over a ring $R$ with a…

Given a nonnegative matrix $A$, can you find diagonal matrices $D_1,~D_2$ such that $D_1AD_2$ is doubly stochastic? The answer to this question is known as Sinkhorn's theorem. It has been proved with a wide variety of methods, each…

We construct an explicit map from a generic minimal $\delta(2)$-ideal Lagrangian submanifold of $\mathbb{C}^n$ to the quaternionic projective space $\mathbb{H}P^{n-1}$, whose image is either a point or a minimal totally complex surface. A…

Using properties of Gauss and Jacobi sums, we derive explicit formulas for the number of solutions to a diagonal equation of the form $x_1^{2^m}+\dots+x_n^{2^m}=0$ over a finite field of characteristic $p\equiv\pm 3\pmod{8}$. All of the…

Schnyder characterized planar graphs in terms of order dimension. Brightwell and Trotter proved that the dimension of the vertex-edge-face poset $\Pvef{M}$ of a planar map $M$ is at most four. In this paper we investigate cases where…

The generalized L'vov-Kaplansky conjecture states that for any finite-dimensional simple algebra $A$ the image of a multilinear polynomial on $A$ is a vector space. In this paper we prove it for the algebra of octonions $\mathbb{O}$ over a…

Given a proper cone $K \subseteq \mathbb{R}^n$, a multivariate polynomial $f \in \mathbb{C}[z] = \mathbb{C}[z_1, \ldots, z_n]$ is called $K$-stable if it does not have a root whose vector of the imaginary parts is contained in the interior…