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

교환 및 비교환 변수의 정칙함수의 영점을 스펙트럼 데이터로

기본 정보

논문 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 + zB(I - zD)^{-1}C$ 여기서 V = A B; C D는 유니터리 작용소이며, 고전적 결과는 다음과 같다: $Z_D(f) = \sigma_p(D^*) \cap D$
다변수 일반화의 도전: 다변수의 경우 다양한 영역 구조를 고려해야 한다:
- 단위 다원판 $D^d$
- 유클리드 단위구 $B^d$
- 일반 행렬 단위구 $D_Q$
비교환 함수 이론: 현대 자유 분석 프레임워크 하의 비교환 함수 이론은 새로운 연구 관점을 제공하지만, 상응하는 영점 이론은 아직 확립되지 않았다.

연구 동기

전통적 고유값 개념은 다변수 다항식의 영점 집합이 무한할 수 있기 때문에 다변수 경우로 직접 일반화될 수 없다. 예를 들어, $p(z_1,z_2) = (z_1-\lambda_1)(z_2-\lambda_2)$ 의 경우, 영점 집합은 $\{\lambda_1\} \times \mathbb{C} \cup \mathbb{C} \times \{\lambda_2\}$ 이며, 이는 어떤 유계 작용소의 스펙트럼에도 포함될 수 없다.

핵심 기여

새로운 고유값 개념 도입:
- 행 고유값(row eigenvalues): 유클리드 단위구용
- 대각 고유값(diagonal eigenvalues): 단위 다원판용
- NC Q-고유값: 비교환 행렬 단위구용
영점-스펙트럼 대응 관계 확립: 함수의 영점을 관련 작용소의 고유값과 연결하는 세 가지 주요 정리를 증명
경계 행동 분석: 경계 영점과 근사점 스펙트럼의 관계, 및 Shilov 경계 위의 비등거리/비여등거리 점의 특성화 연구
통일된 프레임워크: 교환 및 비교환 경우에 대한 통일된 이론 프레임워크 제공

방법 상세 설명

과제 정의

주어진 Schur-Agler 클래스 함수 $f \in SA(D_Q)$ 및 그 유니터리 실현에 대해, 실현 작용소의 스펙트럼 데이터를 통해 함수의 영점 집합을 완전히 특성화하는 것이 목표이다.

핵심 정의

1. 행 고유값 (정의 2.1)

행 작용소 $T = [T_1 \ldots T_d] : H \otimes \mathbb{C}^d \to H$ 에 대해, $\lambda = (\lambda_1,\ldots,\lambda_d) \in \mathbb{C}^d$ 를 $T$ 의 행 고유값이라 하면, 다음을 만족하는 영이 아닌 벡터 $v = [v_1 \ldots v_d]^t \in H \otimes \mathbb{C}^d$ 가 존재한다: $Tv = \lambda v := \sum_{j=1}^d \lambda_j v_j$

2. 대각 고유값 (정의 2.2)

$H = \bigoplus_{j=1}^d H_j$ 이고, $\lambda = (\lambda_1,\ldots,\lambda_d) \in \mathbb{C}^d$ 를 $T \in B(H)$ 의 대각 고유값이라 하면, 다음을 만족하는 영이 아닌 벡터 $v \in H$ 가 존재한다: $Tv = \Delta(\lambda)v$ 여기서 $\Delta(\lambda) := \lambda_1 P_1 + \cdots + \lambda_d P_d$ 이고, $P_j$ 는 $H_j$ 로의 정사영이다.

3. NC Q-고유값 (정의 2.3)

$T \in B(\mathbb{C}^r \otimes H, \mathbb{C}^s \otimes H)$ 와 NC 사상 $Q$ 에 대해, $\Lambda \in M_{n \times n} \otimes \mathbb{C}^d$ 를 $T$ 의 제 $n$ 층 NC Q-고유값이라 하면, 다음을 만족하는 영이 아닌 벡터 $\vec{v} \in \mathbb{C}^r \otimes H \otimes \mathbb{C}^n$ 가 존재한다: $T^{(n)}\vec{v} = (Q(\Lambda) \otimes I_H)\vec{v}$

주요 정리

정리 A (유클리드 단위구)

$f \in M(B^d)_1$ 이 유니터리 실현 공식(1.4)을 가지고, 관련 행 작용소가 $D^* : H \otimes \mathbb{C}^d \to H$ 이면: $Z_{B^d}(f) = \sigma_p^{\text{row}}(D^*) \cap B^d$

정리 B (단위 다원판)

$f \in SA(D^d)$ 이 유니터리 실현 공식(1.3)을 가지고, 관련 작용소가 $D^* \in B(H)$ 이며, $H := \bigoplus_{j=1}^d H_j$ 이면: $Z_{D^d}(f) = \sigma_p^{\text{diag}}(D^*) \cap D^d$

정리 C (비교환 행렬 단위구)

$f \in SA(D_Q)$ 이 유니터리 실현 공식(1.5)을 가지고, 관련 작용소가 $D^*$ 이면: $Z_{D_Q}(f) = \sigma_p^Q(D^*) \cap D_Q$

기술적 혁신점

1. 고유값 개념의 일반화

전통적 제약 극복: 전통적 고유값은 스펙트럼이 컴팩트 집합이기를 요구하지만, 새로운 정의는 무한 고유값 집합을 허용한다
구조 적응성: 서로 다른 영역 구조는 서로 다른 고유값 정의에 대응되며, 기하학과 대수의 심층적 결합을 반영한다

2. 통일된 증명 전략

모든 주요 정리는 유사한 증명 사고방식을 채택한다:

정방향: 영점에서 고유벡터 구성
역방향: 고유벡터에서 영점 복원
핵심 기술: 유니터리 성질과 실현 공식의 대수 구조 활용

3. 경계 이론의 발전

근사점 스펙트럼 개념을 도입하여 경계 영점 처리: $\sigma_{\text{ap}}^Q(T) := \{\Lambda : \exists \{v_k\} \text{ 단위벡터}, \|T^{(n)}v_k - (Q(\Lambda) \otimes I_H)v_k\| \to 0\}$

실험 설정

이론 검증

논문은 주로 구체적 예시를 통해 이론 결과를 검증한다:

유리 내함수 예시:
- "유명한 예시": $f(z,w) = \frac{2zw-z-w}{2-z-w} \in S(D^2)$
- 일반화: $f_{\alpha,\beta}(z,w) = \frac{zw-\alpha z-\beta w}{1-\beta z-\alpha w}$
차원 분석: 특정 유리 내함수가 최소 6차원의 실현을 필요로 함을 증명

계산 검증

직접 계산을 통해 검증:

고유값 집합과 영점 집합의 대응 관계
경계 행동의 구체적 표현
특이점의 스펙트럼 특성화

실험 결과

주요 결과 검증

예시 3.6 검증: $f(z,w) = \frac{2zw-z-w}{2-z-w}$ 에 대해, 계산 결과: $\sigma_p^{\text{diag}}(D^*) = \{(\lambda,\mu) : 2\lambda\mu - \lambda - \mu = 0\}$ 이는 정확히 분자의 영점 집합이며, $D^2$ 내의 영점과 $(1,1)$ 에서의 특이점을 포함한다.
차원 하한: 예시 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}$ 는 $N \geq 6$ 차원 실현을 필요로 한다.
경계 분석: 예시 5.11은 $f_{\alpha,\beta}$ 의 경계 행동을 검증하며, $BP(f,1) = \emptyset$ 이고 특이점이 $\sigma_{\text{ap}}^{\text{diag}}(D^*) \cap T^2$ 에 위치함을 증명한다.