2025-11-14T12:01:10.760581

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

Kumar, Sampat
We characterize the zero sets of functions in the Schur--Agler class over the unit polydisk as well as functions in the unit ball of the multiplier algebra of the Drury--Arveson space via operators associated with a unitary realization formula for these functions. To this end, new notions of `eigenvalues' for tuples of operators are introduced, where the eigenvalues depend on the operator space structure of the ambient domain. Several examples showcasing the properties of these eigenvalues and the zero sets of rational inner functions in the Schur--Agler class are also presented. We further generalize this result to a large class of non-commuting (NC) holomorphic functions whose ambient domain is given by the unit ball of a matrix of linear polynomials. This includes the NC counterparts of the unit polydisk and the Euclidean unit ball. We also show for functions in the Schur--Agler class over NC matrix unit balls that their zeros along the topological boundary are contained in an appropriately defined `approximate point spectrum' of the associated realization operator, and so are points along the Shilov boundary where the boundary values are not isometric/coisometric. This, in-turn, provides an identical result for the commutative case.
academic

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

基本信息

  • 论文ID: 2510.12718
  • 标题: Zeros of Holomorphic Functions in Commuting and Non-commuting Variables as Spectral Data
  • 作者: Poornendu Kumar, Jeet Sampat
  • 分类: math.CV (复变函数)
  • 发表时间: 2025年10月14日
  • 论文链接: https://arxiv.org/abs/2510.12718v1

摘要

本文通过与单位实现公式相关的算子来刻画单位多圆盘上Schur-Agler类函数以及Drury-Arveson空间乘子代数单位球中函数的零点集。为此，引入了算子元组的新"特征值"概念，其中特征值依赖于环境域的算子空间结构。文章还展示了这些特征值的性质以及Schur-Agler类中有理内函数零点集的若干例子。进一步将结果推广到一大类非交换(NC)全纯函数，其环境域由线性多项式矩阵的单位球给出。这包括单位多圆盘和欧几里得单位球的非交换对应物。

研究背景与动机

问题背景

  1. 经典理论的局限性: 在单变量情况下，Schur类函数S(D)的零点集可以通过Blaschke条件完全刻画，但在多变量情况下，零点集的刻画变得极其复杂。
  2. 实现公式的重要性: 单变量Schur类函数存在实现公式： f(z)=A+zB(I−zD)−1Cf(z) = A + zB(I - zD)^{-1}C 其中V = A B; C D是酉算子，且有经典结果：ZD(f)=σp(D∗)∩DZ_D(f) = \sigma_p(D^*) \cap D
  3. 多变量推广的挑战: 对于多变量情况，需要考虑不同的域结构：
    • 单位多圆盘 DdD^d
    • 欧几里得单位球 BdB^d
    • 一般矩阵单位球 DQD_Q
  4. 非交换函数理论: 现代自由分析框架下的非交换函数理论提供了新的研究视角，但相应的零点理论尚未建立。

研究动机

传统的特征值概念无法直接推广到多变量情况，因为多变量多项式的零点集可能是无界的。例如，对于p(z1,z2)=(z1−λ1)(z2−λ2)p(z_1,z_2) = (z_1-\lambda_1)(z_2-\lambda_2)，其零点集为{λ1}×C∪C×{λ2}\{\lambda_1\} \times \mathbb{C} \cup \mathbb{C} \times \{\lambda_2\}，这无法包含在任何有界算子的谱中。

核心贡献

  1. 引入新的特征值概念：
    • 行特征值(row eigenvalues)用于欧几里得单位球
    • 对角特征值(diagonal eigenvalues)用于单位多圆盘
    • NC Q-特征值用于非交换矩阵单位球
  2. 建立零点-谱对应关系：证明了三个主要定理，将函数零点与相关算子的特征值联系起来
  3. 边界行为分析：研究了边界零点与近似点谱的关系，以及Shilov边界上非等距/非余等距点的刻画
  4. 统一框架：为交换和非交换情况提供了统一的理论框架

方法详解

任务定义

给定Schur-Agler类函数f∈SA(DQ)f \in SA(D_Q)及其酉实现，目标是通过实现算子的谱数据完全刻画函数的零点集。

核心定义

1. 行特征值 (Definition 2.1)

对于行算子T=[T1…Td]:H⊗Cd→HT = [T_1 \ldots T_d] : H \otimes \mathbb{C}^d \to H，称λ=(λ1,…,λd)∈Cd\lambda = (\lambda_1,\ldots,\lambda_d) \in \mathbb{C}^d为TT的行特征值，如果存在非零向量v=[v1…vd]t∈H⊗Cdv = [v_1 \ldots v_d]^t \in H \otimes \mathbb{C}^d使得： Tv=λv:=∑j=1dλjvjTv = \lambda v := \sum_{j=1}^d \lambda_j v_j

2. 对角特征值 (Definition 2.2)

设H=⨁j=1dHjH = \bigoplus_{j=1}^d H_j，称λ=(λ1,…,λd)∈Cd\lambda = (\lambda_1,\ldots,\lambda_d) \in \mathbb{C}^d为T∈B(H)T \in B(H)的对角特征值，如果存在非零向量v∈Hv \in H使得： Tv=Δ(λ)vTv = \Delta(\lambda)v 其中Δ(λ):=λ1P1+⋯+λdPd\Delta(\lambda) := \lambda_1 P_1 + \cdots + \lambda_d P_d，PjP_j是到HjH_j的正交投影。

3. NC Q-特征值 (Definition 2.3)

对于T∈B(Cr⊗H,Cs⊗H)T \in B(\mathbb{C}^r \otimes H, \mathbb{C}^s \otimes H)和NC映射QQ，称Λ∈Mn×n⊗Cd\Lambda \in M_{n \times n} \otimes \mathbb{C}^d为TT在第nn层的NC Q-特征值，如果存在非零向量v⃗∈Cr⊗H⊗Cn\vec{v} \in \mathbb{C}^r \otimes H \otimes \mathbb{C}^n使得： T(n)v⃗=(Q(Λ)⊗IH)v⃗T^{(n)}\vec{v} = (Q(\Lambda) \otimes I_H)\vec{v}

主要定理

定理A (Euclidean单位球)

设f∈M(Bd)1f \in M(B^d)_1具有酉实现公式(1.4)，关联行算子为D∗:H⊗Cd→HD^* : H \otimes \mathbb{C}^d \to H，则： ZBd(f)=σprow(D∗)∩BdZ_{B^d}(f) = \sigma_p^{\text{row}}(D^*) \cap B^d

定理B (单位多圆盘)

设f∈SA(Dd)f \in SA(D^d)具有酉实现公式(1.3)，关联算子为D∗∈B(H)D^* \in B(H)，其中H:=⨁j=1dHjH := \bigoplus_{j=1}^d H_j，则： ZDd(f)=σpdiag(D∗)∩DdZ_{D^d}(f) = \sigma_p^{\text{diag}}(D^*) \cap D^d

定理C (非交换矩阵单位球)

设f∈SA(DQ)f \in SA(D_Q)具有酉实现公式(1.5)，关联算子为D∗D^*，则： ZDQ(f)=σpQ(D∗)∩DQZ_{D_Q}(f) = \sigma_p^Q(D^*) \cap D_Q

技术创新点

1. 特征值概念的推广

  • 突破传统限制：传统特征值要求谱是紧集，新定义允许无界特征值集合
  • 结构适应性：不同的域结构对应不同的特征值定义，体现了几何与代数的深度结合

2. 统一的证明策略

所有主要定理都采用类似的证明思路：

  • 正向：从零点构造特征向量
  • 反向：从特征向量恢复零点
  • 关键技术：利用酉性质和实现公式的代数结构

3. 边界理论的发展

引入近似点谱概念处理边界零点： σapQ(T):={Λ:∃{vk} 单位向量,∥T(n)vk−(Q(Λ)⊗IH)vk∥→0}\sigma_{\text{ap}}^Q(T) := \{\Lambda : \exists \{v_k\} \text{ 单位向量}, \|T^{(n)}v_k - (Q(\Lambda) \otimes I_H)v_k\| \to 0\}

实验设置

理论验证

论文主要通过具体例子验证理论结果：

  1. 有理内函数例子：
    • "著名例子"：f(z,w)=2zw−z−w2−z−w∈S(D2)f(z,w) = \frac{2zw-z-w}{2-z-w} \in S(D^2)
    • 一般化：fα,β(z,w)=zw−αz−βw1−βz−αwf_{\alpha,\beta}(z,w) = \frac{zw-\alpha z-\beta w}{1-\beta z-\alpha w}
  2. 维数分析：证明某些有理内函数需要至少6维的实现

计算验证

通过直接计算验证：

  • 特征值集合与零点集的对应关系
  • 边界行为的具体表现
  • 奇点的谱刻画

实验结果

主要结果验证

  1. 例3.6验证：对于f(z,w)=2zw−z−w2−z−wf(z,w) = \frac{2zw-z-w}{2-z-w}，计算得到： σpdiag(D∗)={(λ,μ):2λμ−λ−μ=0}\sigma_p^{\text{diag}}(D^*) = \{(\lambda,\mu) : 2\lambda\mu - \lambda - \mu = 0\} 恰好是分子的零点集，包含D2D^2中的零点和(1,1)(1,1)处的奇点。
  2. 维数下界：例3.7中的函数f(z1,z2,z3)=3z1z2z3−z1z2−z2z3−z1z33−z1−z2−z3f(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}需要N≥6N \geq 6维实现。
  3. 边界分析：例5.11验证了fα,βf_{\alpha,\beta}的边界行为，证明了BP(f,1)=∅BP(f,1) = \emptyset且奇点位于σapdiag(D∗)∩T2\sigma_{\text{ap}}^{\text{diag}}(D^*) \cap T^2中。

理论一致性

  • 所有例子都完美验证了主要定理
  • 交换与非交换情况展现了理论的统一性
  • 边界理论与内部理论的自然衔接

相关工作

历史发展

  1. 经典理论：Blaschke乘积、Hardy空间理论
  2. 实现理论：Agler的多变量推广、Ball-Trent-Vinnikov的工作
  3. 非交换理论：Taylor的开创性工作、现代自由分析

本文定位

  • 承接：基于已有的实现公式理论
  • 创新：引入新的特征值概念和边界理论
  • 统一：为交换和非交换情况提供统一框架

结论与讨论

主要结论

  1. 成功建立了多变量Schur-Agler类函数零点集与实现算子谱数据的完全对应关系
  2. 新的特征值概念为研究多变量函数零点提供了有效工具
  3. 边界理论揭示了函数边界行为与谱理论的深层联系

局限性

  1. 适用范围：仅限于具有酉实现的函数类
  2. 计算复杂性：对于高维或复杂结构，特征值计算可能困难
  3. 边界理论：某些边界现象的完全刻画仍需进一步研究

未来方向

  1. 因式分解理论：利用谱数据研究函数的因式分解
  2. 插值问题：在新框架下研究多变量插值
  3. 算子代数应用：将结果应用到算子代数和非交换几何

深度评价

优点

  1. 理论深度：建立了函数论与算子理论的深刻联系
  2. 技术创新：新特征值概念具有重要理论价值
  3. 统一性：为不同情况提供了统一的处理框架
  4. 完整性：从定义到应用形成了完整的理论体系

不足

  1. 应用范围：主要是理论结果，实际应用有待开发
  2. 计算方面：缺少高效的算法和数值方法
  3. 例子有限：虽然例子说明性强，但数量相对较少

影响力

  1. 学术价值：为多变量函数论提供了新的研究工具
  2. 理论贡献：推进了Schur-Agler类理论的发展
  3. 跨领域意义：连接了复分析、算子理论和非交换几何

适用场景

  1. 理论研究：多变量复分析、算子理论研究
  2. 工程应用：系统控制、信号处理中的传递函数分析
  3. 数值计算：为相关数值方法提供理论基础

参考文献

论文引用了65篇重要文献，涵盖了从经典复分析到现代非交换理论的广泛领域，体现了研究的深度和广度。主要包括Agler、Ball、McCarthy等人的开创性工作以及近年来自由分析领域的重要进展。