Zeros of Holomorphic Functions in Commuting and Non-commuting Variables as Spectral Data

Basic Information

• Paper ID: 2510.12718
• Title: Zeros of Holomorphic Functions in Commuting and Non-commuting Variables as Spectral Data
• Authors: Poornendu Kumar, Jeet Sampat
• Classification: math.CV (Complex Variables)
• Publication Date: October 14, 2025
• Paper Link: https://arxiv.org/abs/2510.12718v1

Abstract

This paper characterizes the zero sets of functions in the Schur-Agler class on the unit polydisk and functions in the multiplier algebra of the Drury-Arveson space on the unit ball through operators related to unitary realization formulas. To this end, the authors introduce a new notion of "eigenvalues" for operator tuples, where eigenvalues depend on the operator space structure of the ambient domain. The paper demonstrates properties of these eigenvalues and provides several examples of zero sets of rational inner functions in the Schur-Agler class. The results are further extended to a broad class of non-commutative (NC) holomorphic functions, where the ambient domain is given by the unit ball of linear polynomial matrices. This includes non-commutative analogues of the unit polydisk and the Euclidean unit ball.

Research Background and Motivation

Problem Background

1. Limitations of Classical Theory: In the single-variable case, the zero set of Schur class functions $S(D)$ can be completely characterized by the Blaschke condition, but in the multivariable case, characterizing zero sets becomes extremely complex.
2. Importance of Realization Formulas: Single-variable Schur class functions admit a realization formula: $f(z) = A + zB(I - zD)^{-1}C$ where $V = [A \, B; C \, D]$ is a unitary operator, and the classical result states: $Z_D(f) = \sigma_p(D^*) \cap D$
3. Challenges in Multivariable Generalization: For multivariable cases, one must consider different domain structures:
   • Unit polydisk $D^d$
   • Euclidean unit ball $B^d$
   • General matrix unit ball $D_Q$
4. Non-commutative Function Theory: Modern non-commutative function theory within the free analysis framework provides new research perspectives, but corresponding zero point theory remains underdeveloped.

Research Motivation

The traditional eigenvalue concept cannot be directly extended to the multivariable case because zero sets of multivariable polynomials may be unbounded. For example, for $p(z_1,z_2) = (z_1-\lambda_1)(z_2-\lambda_2)$, the zero set is $\{\lambda_1\} \times \mathbb{C} \cup \mathbb{C} \times \{\lambda_2\}$, which cannot be contained in any bounded operator's spectrum.

Core Contributions

1. Introduction of New Eigenvalue Concepts:
   • Row eigenvalues for the Euclidean unit ball
   • Diagonal eigenvalues for the unit polydisk
   • NC Q-eigenvalues for non-commutative matrix unit balls
2. Establishment of Zero-Spectrum Correspondence: Proves three main theorems linking function zeros to eigenvalues of associated operators
3. Boundary Behavior Analysis: Studies the relationship between boundary zeros and approximate point spectrum, and characterizes non-isometric/non-coisometric points on the Shilov boundary
4. Unified Framework: Provides a unified theoretical framework for both commutative and non-commutative cases

Detailed Methodology

Problem Formulation

Given a Schur-Agler class function $f \in SA(D_Q)$ and its unitary realization, the goal is to completely characterize the function's zero set through spectral data of the realization operators.

Core Definitions

1. Row Eigenvalues (Definition 2.1)

For a row operator $T = [T_1 \ldots T_d] : H \otimes \mathbb{C}^d \to H$, a point $\lambda = (\lambda_1,\ldots,\lambda_d) \in \mathbb{C}^d$ is called a row eigenvalue of $T$ if there exists a nonzero vector $v = [v_1 \ldots v_d]^t \in H \otimes \mathbb{C}^d$ such that: $Tv = \lambda v := \sum_{j=1}^d \lambda_j v_j$

2. Diagonal Eigenvalues (Definition 2.2)

Let $H = \bigoplus_{j=1}^d H_j$. A point $\lambda = (\lambda_1,\ldots,\lambda_d) \in \mathbb{C}^d$ is called a diagonal eigenvalue of $T \in B(H)$ if there exists a nonzero vector $v \in H$ such that: $Tv = \Delta(\lambda)v$ where $\Delta(\lambda) := \lambda_1 P_1 + \cdots + \lambda_d P_d$, and $P_j$ is the orthogonal projection onto $H_j$.

3. NC Q-Eigenvalues (Definition 2.3)

For $T \in B(\mathbb{C}^r \otimes H, \mathbb{C}^s \otimes H)$ and NC mapping $Q$, a point $\Lambda \in M_{n \times n} \otimes \mathbb{C}^d$ is called an NC Q-eigenvalue of $T$ at level $n$ if there exists a nonzero vector $\vec{v} \in \mathbb{C}^r \otimes H \otimes \mathbb{C}^n$ such that: $T^{(n)}\vec{v} = (Q(\Lambda) \otimes I_H)\vec{v}$

Main Theorems

Theorem A (Euclidean Unit Ball)

Let $f \in M(B^d)_1$ have a unitary realization formula (1.4), with associated row operator $D^* : H \otimes \mathbb{C}^d \to H$. Then: $Z_{B^d}(f) = \sigma_p^{\text{row}}(D^*) \cap B^d$

Theorem B (Unit Polydisk)

Let $f \in SA(D^d)$ have a unitary realization formula (1.3), with associated operator $D^* \in B(H)$, where $H := \bigoplus_{j=1}^d H_j$. Then: $Z_{D^d}(f) = \sigma_p^{\text{diag}}(D^*) \cap D^d$

Theorem C (Non-commutative Matrix Unit Ball)

Let $f \in SA(D_Q)$ have a unitary realization formula (1.5), with associated operator $D^*$. Then: $Z_{D_Q}(f) = \sigma_p^Q(D^*) \cap D_Q$

Technical Innovations

1. Generalization of Eigenvalue Concepts

• Breaking Traditional Constraints: Traditional eigenvalues require the spectrum to be compact; the new definitions allow unbounded eigenvalue sets
• Structural Adaptability: Different domain structures correspond to different eigenvalue definitions, reflecting a deep integration of geometry and algebra

2. Unified Proof Strategy

All main theorems employ similar proof strategies:

• Forward direction: Construct eigenvectors from zeros
• Reverse direction: Recover zeros from eigenvectors
• Key technique: Exploit unitarity and algebraic structure of realization formulas

3. Development of Boundary Theory

Introduces approximate point spectrum to handle boundary zeros: $\sigma_{\text{ap}}^Q(T) := \{\Lambda : \exists \{v_k\} \text{ unit vectors}, \|T^{(n)}v_k - (Q(\Lambda) \otimes I_H)v_k\| \to 0\}$

Experimental Setup

Theoretical Verification

The paper primarily verifies theoretical results through concrete examples:

1. Rational Inner Function Examples:
   • "Famous example": $f(z,w) = \frac{2zw-z-w}{2-z-w} \in S(D^2)$
   • Generalization: $f_{\alpha,\beta}(z,w) = \frac{zw-\alpha z-\beta w}{1-\beta z-\alpha w}$
2. Dimension Analysis: Proves that certain rational inner functions require at least 6-dimensional realizations

Computational Verification

Direct computation verifies:

• Correspondence between eigenvalue sets and zero sets
• Specific manifestations of boundary behavior
• Spectral characterization of singularities

Experimental Results

Main Result Verification

1. Example 3.6 Verification: For $f(z,w) = \frac{2zw-z-w}{2-z-w}$, computation yields: $\sigma_p^{\text{diag}}(D^*) = \{(\lambda,\mu) : 2\lambda\mu - \lambda - \mu = 0\}$ which is precisely the zero set of the numerator, including zeros in $D^2$ and the singularity at $(1,1)$.
2. Dimension Lower Bound: The function in Example 3.7, $f(z_1,z_2,z_3) = \frac{3z_1z_2z_3-z_1z_2-z_2z_3-z_1z_3}{3-z_1-z_2-z_3}$, requires $N \geq 6$-dimensional realization.
3. Boundary Analysis: Example 5.11 verifies the boundary behavior of $f_{\alpha,\beta}$, proving that $BP(f,1) = \emptyset$ and singularities lie in $\sigma_{\text{ap}}^{\text{diag}}(D^*) \cap T^2$.

Theoretical Consistency

• All examples perfectly verify the main theorems
• Commutative and non-commutative cases demonstrate theoretical unity
• Natural connection between boundary and interior theory

Related Work

Historical Development

1. Classical Theory: Blaschke products, Hardy space theory
2. Realization Theory: Agler's multivariable generalizations, work of Ball-Trent-Vinnikov
3. Non-commutative Theory: Taylor's pioneering work, modern free analysis

Positioning of This Work

• Building Upon: Based on existing realization formula theory
• Innovation: Introduces new eigenvalue concepts and boundary theory
• Unification: Provides unified framework for commutative and non-commutative cases

Conclusions and Discussion

Main Conclusions

1. Successfully establishes complete correspondence between zero sets of multivariable Schur-Agler class functions and spectral data of realization operators
2. New eigenvalue concepts provide effective tools for studying multivariable function zeros
3. Boundary theory reveals deep connections between function boundary behavior and spectral theory

Limitations

1. Scope of Applicability: Limited to function classes with unitary realizations
2. Computational Complexity: For high-dimensional or complex structures, eigenvalue computation may be difficult
3. Boundary Theory: Complete characterization of certain boundary phenomena requires further investigation

Future Directions

1. Factorization Theory: Study function factorization using spectral data
2. Interpolation Problems: Investigate multivariable interpolation within the new framework
3. Operator Algebra Applications: Apply results to operator algebras and non-commutative geometry

In-Depth Evaluation

Strengths

1. Theoretical Depth: Establishes profound connections between function theory and operator theory
2. Technical Innovation: New eigenvalue concepts possess significant theoretical value
3. Unification: Provides unified treatment for different cases
4. Completeness: Forms a complete theoretical system from definitions to applications

Weaknesses

1. Application Scope: Primarily theoretical results; practical applications remain to be developed
2. Computational Aspects: Lacks efficient algorithms and numerical methods
3. Limited Examples: While examples are illustrative, their number is relatively small

Impact

1. Academic Value: Provides new research tools for multivariable function theory
2. Theoretical Contribution: Advances development of Schur-Agler class theory
3. Cross-disciplinary Significance: Connects complex analysis, operator theory, and non-commutative geometry

Applicable Scenarios

1. Theoretical Research: Multivariable complex analysis, operator theory research
2. Engineering Applications: Transfer function analysis in systems control and signal processing
3. Numerical Computation: Provides theoretical foundation for related numerical methods

References

The paper cites 65 important references spanning from classical complex analysis to modern non-commutative theory, reflecting the depth and breadth of the research. Key works include pioneering contributions by Agler, Ball, McCarthy, and recent important advances in free analysis.