Division algebras of slice-Nash functions

Basic Information

• Paper ID: 2510.09779
• Title: Division algebras of slice-Nash functions
• Authors: Cinzia Bisi, Antonio Carbone
• Classification: math.CV (Complex Variables) math.AG (Algebraic Geometry)
• Publication Date: October 17, 2025
• Paper Link: https://arxiv.org/abs/2510.09779

Abstract

This paper aims to introduce the concept of Nash functions into the theory of slice-regular functions of a single quaternionic or octonionic variable. The authors first provide a detailed analysis of possible definitions of Nash slice-regular functions and propose a definition of slice-Nash functions, which they argue is the natural generalization of classical real and complex Nash functions in this context. After establishing the "correct" definition of slice-Nash functions, the authors investigate their properties, with particular focus on finiteness properties. These finiteness properties establish the new class of slice-Nash functions as an intermediate class between slice-regular functions and slice polynomials, analogous to the classical real and complex cases. The authors also introduce semi-regular slice-Nash functions, similar to meromorphic Nash functions, and study their finiteness properties.

Research Background and Motivation

Importance of the Problem

1. Development needs of hypercomplex analysis: Since the early twentieth century, mathematicians have sought appropriate classes of quaternionic functions to play a role analogous to holomorphic functions in complex analysis. While the analytic properties of slice-regular functions are well-developed, their geometric properties remain understudied.
2. Generalization of Nash geometry: Nash functions play a crucial role in real algebraic geometry, constituting an important intermediate class between polynomial functions and analytic functions. Extending this concept to noncommutative and nonassociative algebraic settings has significant theoretical importance.
3. Need for geometric applications: In hypercomplex geometry, there is a lack of appropriate tools to define and study fundamental geometric objects such as manifolds, algebraic sets, or analytic sets. The generalization of Nash functions offers promise in providing new approaches.

Limitations of Existing Methods

1. Fueter-regular functions: While theoretically well-developed, they do not include the identity map q ↦ q, and thus do not include polynomials and power series.
2. Difficulties in direct algebraic definitions: Due to the noncommutativity of quaternions and nonassociativity of octonions, direct generalization of the concept of "being algebraic over a polynomial ring" faces fundamental difficulties.
3. Insufficiency of geometric theory: Apart from some positive results, the theory for defining and studying geometric objects in the hypercomplex setting remains limited.

Core Contributions

1. Established the "correct" definition of slice-Nash functions: Through thorough analysis of various possible definitions, the authors propose a definition based on stem functions whose complex components are complex Nash functions.
2. Provided multiple equivalent characterizations: The authors give equivalent characterizations of slice-Nash functions in terms of splitting lemma components and real components (Theorems 5.9 and 5.10).
3. Proved algebraic structure: The authors prove that slice-Nash functions form an alternative *-algebra and constitute a division ring over symmetric slice domains (Theorem 5.16).
4. Established finiteness properties: The authors prove several finiteness properties of slice-Nash functions, including that global functions are polynomials, zero sets are finite, and functions are polynomially bounded at infinity.
5. Introduced semi-regular slice-Nash functions: Analogous to meromorphic Nash functions, the authors establish a corresponding theoretical framework.

Detailed Methodology

Core Task

The central task of this paper is to define slice-Nash functions on quaternions ℍ and octonions 𝕆 such that they possess properties similar to classical Nash functions, particularly finiteness and algebraic properties.

Theoretical Framework

Definition of Stem-Nash Functions

For a stem function F: D → A⊗ℝℂ, it is called a stem-Nash function if there exist an imaginary unit I ∈ S_A and associated splitting basis such that the functions F^ℓ_{I,I_k}: D → ℂ are complex Nash functions for all ℓ = 1,2 and k = 0,...,u_A.

Definition of Slice-Nash Functions

A slice function f: Ω → A is called a slice-Nash function if:

1. f ∈ SR_A(Ω) (f is slice-regular)
2. The stem function inducing f is a stem-Nash function

Technical Innovations

1. Definition Method Based on Complex Components

Unlike direct algebraic definitions, this paper employs a method based on "page decomposition," defining slice-Nash functions through complex Nash functions on complex slices. This avoids difficulties arising from noncommutativity and nonassociativity.

2. Multiple Equivalent Characterizations

Theorem 1.4 provides five equivalent conditions:

• Characterization through complex components via splitting basis
• Characterization through real components via real basis
• Independence of basis choice

3. Establishment of Algebraic Structure

Theorem 1.5 proves that SN_A(Ω) forms an alternative *-subalgebra, and:

• If Ω is a symmetric slice domain, then SN_A(Ω) is a division ring
• If Ω is a product domain, there exist nonzero elements f such that N(f) ≡ 0

Experimental Setup

Theoretical Verification Methods

This paper primarily employs theoretical proofs for verification, including:

1. Constructive examples:
   • Slice polynomials are slice-Nash functions
   • √qJ (square root of q times imaginary unit J) is a slice-Nash function
   • (cos q)I + (sin q)J is not a slice-Nash function
2. Counterexample construction: Through explicit calculations, the authors demonstrate that certain seemingly reasonable definitions are actually infeasible

Proof Strategy

1. Application of the splitting lemma: Decomposing slice functions into complex function components using the splitting lemma
2. Utilization of complex Nash function theory: Employing known properties of complex Nash functions to establish slice versions
3. Analysis of algebraic structure: Establishing algebraic properties of slice-Nash functions through algebraic operations on stem functions

Experimental Results

Main Theoretical Results

1. Finiteness Properties

• Global functions are polynomials (Theorem 6.1): If f ∈ SN_A(A), then f ∈ Ax
• Finiteness of zero sets (Proposition 6.3): On circular domains, the zero set of a slice-Nash function is a union of finitely many isolated zeros and isolated spherical zeros
• Polynomial bounds at infinity (Proposition 6.12): There exist an integer m and constants C, R such that ‖f(x)‖ ≤ C(1 + ‖x‖^m)

2. Algebraic Properties

• Slice-Nash functions are closed under slice differentiation
• They form an alternative *-algebra structure
• Under appropriate conditions, they form a division ring

3. Semi-regular Case

• Global semi-regular slice-Nash functions are slice-rational functions (Theorem 6.10)
• Finiteness of poles (Lemma 6.7)

Key Findings

1. Uniqueness of definition: Through detailed analysis, the authors prove that the definition based on complex components of stem functions is the "correct" choice, with other attempts facing fundamental problems.
2. Intermediate properties: Slice-Nash functions indeed form an intermediate class between slice polynomials and slice-regular functions, with appropriate finiteness properties.
3. Handling of noncommutativity: The authors successfully establish a Nash function theory in noncommutative (quaternionic) and nonassociative (octonionic) settings.

Related Work

Development of Hypercomplex Analysis

1. Fueter-regular functions: The earliest theory of quaternionic regular functions, but does not include polynomials
2. Gentili-Struppa theory: Introduces the concept of slice-regularity, including polynomials and power series
3. Ghiloni-Perotti approach: Method based on stem functions, generalized to general alternative *-algebras

Nash Function Theory

1. Classical Nash geometry: John Nash's pioneering work establishing real Nash function theory
2. Complex Nash functions: Generalization to the complex case
3. Algebraic approximation theory: Approximation theorems by Coste, Ruiz, Shiota, and others

Innovation of This Paper

This paper is the first to successfully generalize the concept of Nash functions to noncommutative and nonassociative algebraic settings, establishing a complete theoretical framework.

Conclusions and Discussion

Main Conclusions

1. Successfully established the definition and theoretical framework of slice-Nash functions
2. Proved that these functions possess the expected finiteness and algebraic properties
3. Provided new research tools for hypercomplex geometry

Limitations

1. Dimensional restrictions: Currently focused on single-variable cases; multi-variable theory is still under development
2. Computational complexity: Practical computations may face complexity issues
3. Scope of applications: Geometric applications require further development

Future Directions

1. Multi-variable generalization: Develop slice-Nash function theory for multiple quaternionic or octonionic variables
2. Geometric applications: Apply the theory to the study of Nash manifolds and algebraic sets
3. Computational methods: Develop effective computational algorithms

In-Depth Evaluation

Strengths

1. Theoretical completeness: Provides complete definitions, characterizations, and property proofs
2. Methodological innovation: Skillfully addresses difficulties arising from noncommutativity and nonassociativity
3. Clear structure: Well-organized paper with clear logical flow from motivation to applications
4. Rigor: All major results have complete mathematical proofs

Weaknesses

1. Limited application examples: Lacks more concrete geometric application instances
2. Computational complexity not discussed: Does not analyze the complexity of practical computations
3. Connections with other theories: Could discuss relationships with other hypercomplex theories more extensively

Impact

1. Theoretical contribution: Provides important new tools for hypercomplex analysis
2. Geometric significance: Likely to advance the development of hypercomplex geometry
3. Cross-disciplinary applications: Potential applications in physics and engineering

Applicable Scenarios

1. Theoretical research: Research in hypercomplex analysis and algebraic geometry
2. Geometric modeling: Geometric problems requiring noncommutative structures
3. Physical applications: Potential applications in quantum mechanics and relativity

References

The paper includes 62 references covering important works in hypercomplex analysis, Nash geometry, algebraic geometry, and other relevant fields, providing a solid theoretical foundation for the research.

Overall Assessment: This is a high-quality theoretical mathematics paper that successfully generalizes classical Nash function theory to the hypercomplex setting. The paper makes significant theoretical contributions, employs innovative methods, provides rigorous proofs, and furnishes important new tools for hypercomplex analysis and geometry. While there is room for development in applications, its theoretical value and potential impact are considerable.