The Four-Point Picard Theorem for Quaternionic Slice Regular Functions

Abstract: An entire slice regular function $f:\mathbb H\to\mathbb H$ can omit four prescribed quaternionic values only in the affine-dependent case. More precisely, four affinely independent omitted values force $f$ to be constant, while the converse follows from the plane-omission theorem of Bisi--Winkelmann. The proof passes to the real-symmetric stem function. For each omitted value a quadratic zero-divisor criterion gives a zero-free entire function $Q_j$, and the component normal to the affine span is governed by a square-discriminant identity. Finite-order data are excluded by Hadamard factorization and a rigidity argument on the real axis. In the general case, logarithmic Bloch--Ochiai places the $Q$-curve in a translated algebraic torus. The Laurent-square case reduces to the finite-order contradiction, and the nonsquare case is excluded by an even-ramification argument together with the level-one truncated Second Main Theorem of Noguchi--Winkelmann--Yamanoi.

• The paper establishes that an entire quaternionic slice regular function omitting four affinely independent values must be constant.
• It employs stem-function formalism and quadratic omission functions to translate value distribution problems into affine geometry and toric analysis.
• The result sharpens previous five-point theorems and opens avenues for extending Nevanlinna theory to noncommutative settings.

The Four-Point Picard Theorem in Quaternionic Slice Regular Analysis

Introduction and Context

The study of value distribution for slice regular functions over the quaternions $\mathbb{H}$ extends foundational themes from classical complex analysis into the non-commutative, higher-dimensional setting. The paper "The Four-Point Picard Theorem for Quaternionic Slice Regular Functions" (2606.08651) establishes a sharp Picard-type theorem for entire slice regular functions $f: \mathbb{H} \to \mathbb{H}$. Specifically, it identifies the precise geometric and algebraic conditions under which an entire slice regular function can omit four quaternionic values, paralleling the qualitative flavor of Picard-type theorems for complex holomorphic and higher-dimensional value distribution.

Main Results

The central theorem asserts: An entire slice regular function omitting four affinely independent quaternionic values must be constant. Conversely, if the four omitted values are affinely dependent, there exist nonconstant entire slice regular functions omitting them, with this case fully resolved by the Bisi–Winkelmann plane-omission construction.

Letting $a_0, a_1, a_2, a_3 \in \mathbb{H}$ be affinely independent, the main conclusion is that any entire slice regular $f$ with $$f(\mathbb{H}) \cap \{a_0, a_1, a_2, a_3\} = \varnothing$$ is constant, encapsulating a rigidity phenomenon in quaternionic analysis that parallels classical results for holomorphic maps but with a profound geometric distinction: the structure and cardinality of the omitted set depend crucially on affine (not linear) geometry in $\mathbb{H} \cong \mathbb{R}^4$.

Technical Framework

Slice Regularity, Stem Functions, and Zero-Divisor Analysis

The proof utilizes the stem-function formalism: entire slice regular $f: \mathbb{H} \to \mathbb{H}$ corresponds to a unique real-symmetric entire stem function $$F: \mathbb{C} \to \mathbb{H} \otimes_\mathbb{R} \mathbb{C}$$, encoding the slice complex structure universal for the quaternionic context. The omitted value phenomenon is translated into the zero-freeness of a family of quadratic omission functions $Q_c(z) = (F(z) - c, F(z) - c)$, where $(\cdot, \cdot)$ is the complex-bilinear extension of the Euclidean inner product.

The Bisi–Winkelmann criterion equates the omission of $f: \mathbb{H} \to \mathbb{H}$0 to the zero-freeness of $f: \mathbb{H} \to \mathbb{H}$1 on $f: \mathbb{H} \to \mathbb{H}$2. Omitting four points thus yields four zero-free entire functions $f: \mathbb{H} \to \mathbb{H}$3.

Affine Geometry and Discriminant Reduction

The heart of the argument is the detailed algebraic-geometric analysis of the omitted set:

• When $f: \mathbb{H} \to \mathbb{H}$4 are affinely dependent, they lie in a real affine $f: \mathbb{H} \to \mathbb{H}$5-plane. The construction of nonconstant entire slice regular functions omitting a prescribed affine $f: \mathbb{H} \to \mathbb{H}$6-plane gives the positive direction.
• If affinely independent, the Gram matrix built from their direction vectors is invertible, and a square-discriminant identity shows that a nonconstant function $f: \mathbb{H} \to \mathbb{H}$7 satisfying the four zero-freeness constraints leads to a contradiction.

This reduction is achieved by expressing the slice regular function in terms of its tangential and normal components relative to the affine span of the omitted values, and deducing that the only possible way to avoid all four values is for $f: \mathbb{H} \to \mathbb{H}$8—hence $f: \mathbb{H} \to \mathbb{H}$9—to be constant.

Value Distribution, Growth, and Nevanlinna Theory

Finite-order cases are ruled out by Hadamard factorization and exponential growth rigidity for entire zero-free functions. For functions of arbitrary growth, the argument uses powerful tools from higher-dimensional value distribution theory:

• The image of the curve $a_0, a_1, a_2, a_3 \in \mathbb{H}$0 in the algebraic torus is analyzed using the logarithmic Bloch–Ochiai theorem, locating it in a translated real algebraic subtorus.
• The square-discriminant becomes a Laurent polynomial expression on the torus, for which it is shown—by argument involving ramification and the Noguchi–Winkelmann–Yamanoi (NWY) Second Main Theorem—that any exception to constancy contradicts toric value distribution theory.

The proof finely distinguishes between the Laurent-square case (reduced to finite-order contradiction) and the nonsquare case, using ramification and divisor-theoretic arguments on semi-abelian varieties.

Numerical and Rigidity Implications

The theorem is sharp: the transition from three to four omitted values marks a qualitative change in the value distribution theory for quaternionic slice regular functions. Omitting three affinely independent values is always possible for nonconstant functions, while for four (if affinely independent) it enforces constancy. This aligns with and refines the previously established five-point theorem of Bisi–Winkelmann, thus producing a comprehensive exact four-value omission criterion for entire slice regular functions.

Theoretical and Practical Implications

The result integrates slice regular function theory, quaternionic analysis, affine geometry in $a_0, a_1, a_2, a_3 \in \mathbb{H}$1, and higher-dimensional Nevanlinna theory. The approach highlights the necessity of establishing value distribution and rigidity theorems in noncommutative or non-complex settings by interleaving algebraic and analytic structure, notably by using the real-symmetric approach to slice regularity.

The theorem's methods strengthen the analogy between Nevanlinna theory in several complex variables, toric geometry, and the function theory of real alternative (e.g., quaternionic) division algebras. The formalism of quadratic omission functions and discriminant identities opens the way for generalizations to more complicated geometric configurations and suggests that such discriminant-based analysis may be extensible to other classes of hyperholomorphic or slice-hyperholomorphic functions on alternative algebras.

From the perspective of applications, while quaternionic analysis finds its main applications in operator theory, signal processing, and mathematical physics, the structure of uniqueness sets and omitted value sets impacts the function-theoretic calculus and potential-theoretic questions in these domains.

Future Directions

Potential extensions include:

• Value distribution and deficiency theory for slice regular functions with prescribed growth or singularity structure.
• The analog for octonionic or more general alternative algebras, demanding new techniques due to nonassociativity.
• Investigation of ramification, uniqueness, and algebraic dependence phenomena for higher-order omission sets and for mappings between noncommutative spaces.
• Developing effective or quantitative extensions, e.g., explicit estimates on exceptional sets, or classification of extremal functions attaining omission of maximal affinely dependent sets.

Conclusion

This work rigorously delineates the value distribution landscape of quaternionic slice regular functions, encoding the geometry of omission sets into the affine structure and imposing a precise arithmetic threshold for constancy. The technical synthesis of stem-function formalism, value distribution in semi-abelian varieties, and toric methods represents a distinguished advancement in the theory of noncommutative function spaces and sets a template for further research at the intersection of hypercomplex analysis and several complex variables.