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.
論文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）正則関数のクラスに拡張する。これには単位多重円板およびユークリッド単位球の非交換対応物が含まれる。
古典理論の限界 : 単一変数の場合、Schur類関数S(D)の零点集合はBlaschke条件により完全に特徴付けられるが、多変数の場合、零点集合の特徴付けは極めて複雑になる。実現公式の重要性 : 単一変数Schur類関数は実現公式を持つ：
f ( z ) = A + z B ( I − z D ) − 1 C f(z) = A + zB(I - zD)^{-1}C f ( z ) = A + z B ( I − zD ) − 1 C A B; C D はユニタリ作用素であり、古典的結果として：Z D ( f ) = σ p ( D ∗ ) ∩ D Z_D(f) = \sigma_p(D^*) \cap D Z D ( f ) = σ p ( D ∗ ) ∩ D 多変数推広の課題 : 多変数の場合、異なる領域構造を考慮する必要がある：単位多重円板 D d D^d D d ユークリッド単位球 B d B^d B d 一般行列単位球 D Q D_Q D Q 非交換関数理論 : 現代の自由解析枠組みにおける非交換関数理論は新しい研究視点を提供するが、対応する零点理論はまだ確立されていない。従来の固有値概念は多変数の場合に直接推広できない。なぜなら多変数多項式の零点集合は無界である可能性があるからである。例えば、p ( z 1 , z 2 ) = ( z 1 − λ 1 ) ( z 2 − λ 2 ) p(z_1,z_2) = (z_1-\lambda_1)(z_2-\lambda_2) p ( z 1 , z 2 ) = ( z 1 − λ 1 ) ( z 2 − λ 2 ) { λ 1 } × C ∪ C × { λ 2 } \{\lambda_1\} \times \mathbb{C} \cup \mathbb{C} \times \{\lambda_2\} { λ 1 } × C ∪ C × { λ 2 }
新しい固有値概念の導入 ：ユークリッド単位球用の行固有値（row eigenvalues） 単位多重円板用の対角固有値（diagonal eigenvalues） 非交換行列単位球用のNC Q-固有値 零点-スペクトル対応関係の確立 : 関数の零点を関連作用素の固有値と結びつける3つの主要定理を証明境界挙動の分析 : 境界零点と近似点スペクトルの関係、およびShilov境界上の非等距/非余等距点の特徴付けを研究統一的枠組み : 交換および非交換の場合に統一的な理論的枠組みを提供Schur-Agler類関数f ∈ S A ( D Q ) f \in SA(D_Q) f ∈ S A ( D Q )
行作用素T = [ T 1 … T d ] : H ⊗ C d → H T = [T_1 \ldots T_d] : H \otimes \mathbb{C}^d \to H T = [ T 1 … T d ] : H ⊗ C d → H λ = ( λ 1 , … , λ d ) ∈ C d \lambda = (\lambda_1,\ldots,\lambda_d) \in \mathbb{C}^d λ = ( λ 1 , … , λ d ) ∈ C d T T T v = [ v 1 … v d ] t ∈ H ⊗ C d v = [v_1 \ldots v_d]^t \in H \otimes \mathbb{C}^d v = [ v 1 … v d ] t ∈ H ⊗ C d T v = λ v : = ∑ j = 1 d λ j v j Tv = \lambda v := \sum_{j=1}^d \lambda_j v_j T v = λ v := ∑ j = 1 d λ j v j
H = ⨁ j = 1 d H j H = \bigoplus_{j=1}^d H_j H = ⨁ j = 1 d H j λ = ( λ 1 , … , λ d ) ∈ C d \lambda = (\lambda_1,\ldots,\lambda_d) \in \mathbb{C}^d λ = ( λ 1 , … , λ d ) ∈ C d T ∈ B ( H ) T \in B(H) T ∈ B ( H ) v ∈ H v \in H v ∈ H T v = Δ ( λ ) v Tv = \Delta(\lambda)v T v = Δ ( λ ) v Δ ( λ ) : = λ 1 P 1 + ⋯ + λ d P d \Delta(\lambda) := \lambda_1 P_1 + \cdots + \lambda_d P_d Δ ( λ ) := λ 1 P 1 + ⋯ + λ d P d P j P_j P j H j H_j H j
T ∈ B ( C r ⊗ H , C s ⊗ H ) T \in B(\mathbb{C}^r \otimes H, \mathbb{C}^s \otimes H) T ∈ B ( C r ⊗ H , C s ⊗ H ) Q Q Q Λ ∈ M n × n ⊗ C d \Lambda \in M_{n \times n} \otimes \mathbb{C}^d Λ ∈ M n × n ⊗ C d T T T n n n v ⃗ ∈ C r ⊗ H ⊗ C n \vec{v} \in \mathbb{C}^r \otimes H \otimes \mathbb{C}^n v ∈ C r ⊗ H ⊗ C n T ( n ) v ⃗ = ( Q ( Λ ) ⊗ I H ) v ⃗ T^{(n)}\vec{v} = (Q(\Lambda) \otimes I_H)\vec{v} T ( n ) v = ( Q ( Λ ) ⊗ I H ) v
f ∈ M ( B d ) 1 f \in M(B^d)_1 f ∈ M ( B d ) 1 D ∗ : H ⊗ C d → H D^* : H \otimes \mathbb{C}^d \to H D ∗ : H ⊗ C d → H Z B d ( f ) = σ p row ( D ∗ ) ∩ B d Z_{B^d}(f) = \sigma_p^{\text{row}}(D^*) \cap B^d Z B d ( f ) = σ p row ( D ∗ ) ∩ B d
f ∈ S A ( D d ) f \in SA(D^d) f ∈ S A ( D d ) D ∗ ∈ B ( H ) D^* \in B(H) D ∗ ∈ B ( H ) H : = ⨁ j = 1 d H j H := \bigoplus_{j=1}^d H_j H := ⨁ j = 1 d H j Z D d ( f ) = σ p diag ( D ∗ ) ∩ D d Z_{D^d}(f) = \sigma_p^{\text{diag}}(D^*) \cap D^d Z D d ( f ) = σ p diag ( D ∗ ) ∩ D d
f ∈ S A ( D Q ) f \in SA(D_Q) f ∈ S A ( D Q ) D ∗ D^* D ∗ Z D Q ( f ) = σ p Q ( D ∗ ) ∩ D Q Z_{D_Q}(f) = \sigma_p^Q(D^*) \cap D_Q Z D Q ( f ) = σ p Q ( D ∗ ) ∩ D Q
従来の制限の突破 : 従来の固有値はスペクトルがコンパクト集合であることを要求するが、新しい定義は無界な固有値集合を許容する構造適応性 : 異なる領域構造は異なる固有値定義に対応し、幾何学と代数学の深い結合を体現しているすべての主要定理は類似の証明思想を採用する：
正方向：零点から固有ベクトルを構成 逆方向：固有ベクトルから零点を復元 重要な技術：ユニタリ性と実現公式の代数構造の利用 近似点スペクトル概念を導入して境界零点を処理する：
σ ap Q ( T ) : = { Λ : ∃ { v k } 単位ベクトル列 , ∥ T ( n ) v k − ( Q ( Λ ) ⊗ I H ) v k ∥ → 0 } \sigma_{\text{ap}}^Q(T) := \{\Lambda : \exists \{v_k\} \text{ 単位ベクトル列}, \|T^{(n)}v_k - (Q(\Lambda) \otimes I_H)v_k\| \to 0\} σ ap Q ( T ) := { Λ : ∃ { v k } 単位ベクトル列 , ∥ T ( n ) v k − ( Q ( Λ ) ⊗ I H ) v k ∥ → 0 }
論文は主に具体例を通じて理論結果を検証する：
有理内関数の例 ：「有名な例」：f ( z , w ) = 2 z w − z − w 2 − z − w ∈ S ( D 2 ) f(z,w) = \frac{2zw-z-w}{2-z-w} \in S(D^2) f ( z , w ) = 2 − z − w 2 z w − z − w ∈ S ( D 2 ) 一般化：f α , β ( z , w ) = z w − α z − β w 1 − β z − α w f_{\alpha,\beta}(z,w) = \frac{zw-\alpha z-\beta w}{1-\beta z-\alpha w} f α , β ( z , w ) = 1 − β z − α w z w − α z − βw 次元分析 : 特定の有理内関数が少なくとも6次元の実現を必要とすることを証明直接計算を通じて以下を検証：
固有値集合と零点集合の対応関係 境界挙動の具体的表現 特異点のスペクトル的特徴付け 例3.6の検証 : f ( z , w ) = 2 z w − z − w 2 − z − w f(z,w) = \frac{2zw-z-w}{2-z-w} f ( z , w ) = 2 − z − w 2 z w − z − w σ p diag ( D ∗ ) = { ( λ , μ ) : 2 λ μ − λ − μ = 0 } \sigma_p^{\text{diag}}(D^*) = \{(\lambda,\mu) : 2\lambda\mu - \lambda - \mu = 0\} σ p diag ( D ∗ ) = {( λ , μ ) : 2 λ μ − λ − μ = 0 } D 2 D^2 D 2 ( 1 , 1 ) (1,1) ( 1 , 1 ) 次元下界 : 例3.7の関数f ( z 1 , z 2 , z 3 ) = 3 z 1 z 2 z 3 − z 1 z 2 − z 2 z 3 − z 1 z 3 3 − z 1 − z 2 − z 3 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} f ( z 1 , z 2 , z 3 ) = 3 − z 1 − z 2 − z 3 3 z 1 z 2 z 3 − z 1 z 2 − z 2 z 3 − z 1 z 3 N ≥ 6 N \geq 6 N ≥ 6 境界分析 : 例5.11はf α , β f_{\alpha,\beta} f α , β B P ( f , 1 ) = ∅ BP(f,1) = \emptyset BP ( f , 1 ) = ∅ σ ap diag ( D ∗ ) ∩ T 2 \sigma_{\text{ap}}^{\text{diag}}(D^*) \cap T^2 σ ap diag ( D ∗ ) ∩ T 2 すべての例は主要定理を完璧に検証する 交換および非交換の場合は理論の統一性を示す 境界理論と内部理論の自然な接続 古典理論 : Blaschke乗積、Hardy空間理論実現理論 : Aglerの多変数推広、Ball-Trent-Vinnikovの研究非交換理論 : Taylorの先駆的研究、現代の自由解析継承 : 既存の実現公式理論に基づく革新 : 新しい固有値概念と境界理論を導入統一 : 交換および非交換の場合に統一的枠組みを提供多変数Schur-Agler類関数の零点集合と実現作用素のスペクトルデータ間の完全な対応関係の確立に成功 新しい固有値概念は多変数関数の零点研究に有効なツールを提供 境界理論は関数の境界挙動とスペクトル理論の深い関連を明らかにする 適用範囲 : ユニタリ実現を持つ関数クラスに限定計算複雑性 : 高次元または複雑な構造の場合、固有値計算は困難である可能性境界理論 : 特定の境界現象の完全な特徴付けにはさらなる研究が必要因式分解理論 : スペクトルデータを利用した関数の因式分解研究補間問題 : 新しい枠組みにおける多変数補間作用素代数応用 : 作用素代数および非交換幾何への結果の応用理論的深さ : 関数論と作用素理論の深い関連性を確立技術的革新 : 新しい固有値概念は重要な理論的価値を持つ統一性 : 異なる場合に統一的な処理枠組みを提供完全性 : 定義から応用まで完全な理論体系を形成応用範囲 : 主に理論的結果であり、実際の応用は開発待ち計算面 : 効率的なアルゴリズムと数値方法が不足例の限定 : 例は説明的であるが、数量的には比較的少ない学術的価値 : 多変数関数論に新しい研究ツールを提供理論的貢献 : Schur-Agler類理論の発展を推進分野横断的意義 : 複素解析、作用素理論、非交換幾何を結合理論研究 : 多変数複素解析、作用素理論研究工学応用 : システム制御、信号処理における伝達関数分析数値計算 : 関連する数値方法に理論的基礎を提供論文は複素解析から現代非交換理論に至る広範な分野をカバーする65篇の重要文献を引用し、研究の深さと広さを体現している。主にAgler、Ball、McCarthyらの先駆的研究および自由解析分野の最近の重要な進展を含む。
