arXiv subjects

Abdullah Al Helal

Publications and source records attributed to Abdullah Al Helal.

5 recordsLinked to original sources

arXiv2026

Degree-Three Rational Sphere Maps: Sharp Denominator Region and Gram Normal Forms

We study degree-three rational sphere maps in two complex variables. After a standard normalization, the denominator of such a map takes the form \[ g_σ(z)=1+σ_1 z_1^2+σ_2 z_2^2, \qquad σ_1,σ_2\geq 0. \] A basic question is: which pairs $(σ_1,σ_2)$ can actually occur as the denominator of a degree-three rational sphere map? The first main result of the paper gives a complete answer: such a denominator occurs if and only if \[ 0\leq σ_1,σ_2<1, \qquad \sqrt{1-σ_1^2}+\sqrt{1-σ_2^2}>1. \] Our approach converts the sphere-mapping condition into a finite-dimensional Gram-matrix positivity problem. Furthermore, for each admissible parameter $ σ=(σ_1,σ_2), $ we determine all possible minimal target dimensions in which the corresponding denominator $g_σ$ can be realized. We also give a Gram-matrix normal form for maps with a fixed denominator and compute, for each admissible $σ$, the dimension of the moduli space of equivalence classes of rational sphere maps realizing $g_σ$. Finally, we extend the Gram-matrix method to arbitrary source dimension and obtain a general sufficient condition for the existence of degree-three rational sphere maps.

math.CV↗

arXiv2026

Proper maps of annuli

We study proper holomorphic maps of annuli in complex Euclidean spaces, that is, domains with $U(n)$ as the automorphism group. By the Hartogs phenomenon and a result of Forstnerič, such maps are always rational and extend to proper maps of balls. We first prove that a proper map of annuli from $n$ dimensions to $N$ dimensions where $N < \binom{n+1}{2}$ is always an affine embedding. This inequality is sharp as the homogeneous map of degree 2 satisfies $N=\binom{n+1}{2}$. Next we find a necessary and sufficient condition for a map to be homogeneous: A proper map of annuli is homogeneous if and only if its general hyperplane rank, the affine dimension of the image of a general hyperplane, is exactly $N-1$. As a corollary, we obtain a classification of homogeneous proper maps of balls. A homogeneous proper ball map takes all spheres centered at the origin to spheres centered at the origin. We show that if a proper ball map has general hyperplane rank $N-1$ and takes one sphere centered at the origin to a sphere centered at the origin, then it is homogeneous. Another corollary of this result is a complete classification of proper maps of annuli from dimension 2 to dimension 3. Finally, we give a complete normal form of rational proper maps of annuli of degree 2.

math.CV↗

arXiv2025

Hermitian rank in ideal powers

We prove that the (hermitian) rank of $QP^d$ is bounded from below by the rank of $P^d$ whenever $Q$ is not identically zero and real-analytic in a neighborhood of some point on the zero set of $P$ in $\mathbb{C}^n$ and $P$ is a polynomial of bidegree at most $(1,1)$. This result generalizes the theorem of D'Angelo and the second author which assumed that $P$ was bihomogeneous. Examples show that no hypothesis can be dropped.

math.CV↗

arXiv2024

Degree of Ball Maps with Maximum Geometric Rank

This work focuses on the degree bound of maps between balls with maximum geometric rank and minimum target dimension where this geometric rank occurs. Specifically, we show that rational proper maps between $\mathbb{B}_n$ and $\mathbb{B}_N$ with $n \geq 2$, $N = \frac{n(n+1)}{2}$, and geometric rank $n-1$ cannot have a degree of more than $n+1$.

math.CV↗

arXiv2024

Proper maps of ball complements & differences and rational sphere maps

We consider proper holomorphic maps of ball complements and differences in complex euclidean spaces of dimension at least two. Such maps are always rational, which naturally leads to a related problem of classifying rational maps taking concentric spheres to concentric spheres, what we call $m$-fold sphere maps; a proper map of the difference of concentric balls is a $2$-fold sphere map. We prove that proper maps of ball complements are in one to one correspondence with polynomial proper maps of balls taking infinity to infinity. We show that rational $m$-fold sphere maps of degree less than $m$ (or polynomial maps of degree $m$ or less) must take all concentric spheres to concentric spheres and we provide a complete classification of them. We prove that these degree bounds are sharp.

math.CV↗