[논문 리뷰] An Analytic Grothendieck Riemann Roch Theorem

Ronald G. Douglas, Xiang Tang외 1명|arXiv (Cornell University)|2014. 04. 16.

Holomorphic and Operator Theory참고 문헌 24인용 수 3

한 줄 요약

이 논문은 베르그만 공간의 몫공간에서 토플리츠 연산자의 해석적 지표 이론을 개발하여 고립 특이점과 경계를 가진 복소다양체로 그로텐디크-리만-로흐 정리를 확장한다. 제수의 영점이 단순형 완전교차이자 고립 특이점을 가지며 단위구면과 횡단으로 만나는 다항식환의 근본 이상이 있을 때, 그에 대응하는 이상의 닫힘과 몫공간 위의 표현이 본질적으로 정규임을 증명하고, 몫 표현이 컨스-체른 특성류를 통해 경계의 기본류를 실현함으로써 부티에 데 몽벨의 지표정리를 일반화한다.

ABSTRACT

We extend the Boutet de Monvel Toeplitz index theorem to complex manifold with isolated singularities following the relative $K$-homology theory of Baum, Douglas, and Taylor for manifold with boundary. We apply this index theorem to study the Arveson-Douglas conjecture. Let $\ball^m$ be the unit ball in $\mathbb{C}^m$, and $I$ an ideal in the polynomial algebra $\mathbb{C}[z_1, \cdots, z_m]$. We prove that when the zero variety $Z_I$ is a complete intersection space with only isolated singularities and intersects with the unit sphere $\mathbb{S}^{2m-1}$ transversely, the representations of $\mathbb{C}[z_1, \cdots, z_m]$ on the closure of $I$ in $L^2_a(\ball^m)$ and also the corresponding quotient space $Q_I$ are essentially normal. Furthermore, we prove an index theorem for Toeplitz operators on $Q_I$ by showing that the representation of $\mathbb{C}[z_1, \cdots, z_m]$ on the quotient space $Q_I$ gives the fundamental class of the boundary $Z_I\cap \mathbb{S}^{2m-1}$. In the appendix, we prove with Kai Wang that if $f\in L^2_a(\ball^m)$ vanishes on $Z_I\cap \ball ^m$, then $f$ is contained inside the closure of the ideal $I$ in $L^2_a(\ball^m)$.

연구 동기 및 목표

• 고립 특이점과 경계를 가진 복소다양체로 그로텐디크-리만-로흐 정리를 일반화하는 것.
• 상대 K-호모로지 이론을 통해 부티에 데 몽벨의 토플리츠 지표정리를 특이 복소다양체로 확장하는 것.
• 영점이 단순형 완전교차이면서 단위구면과 횡단으로 만날 경우, 그 이상에 대한 아르베손-두글라스 추측을 확립하는 것.
• 특정 기하 조건 하에서 베르그만 공간 안의 이상의 닫힘과 영점 위의 제약 연산자의 핵이 일치함을 보이는 것.
• 컨스-체른 특성류를 통해 베르그만 공간 몫공간 위의 몫 표현이 경계의 기본류를 어떻게 실현하는지 밝히는 것.

제안 방법

• 경계가 있는 다변량체의 상대 K-호모로지 이론을 바우姆, 도우글라스, 테일러의 이론을 활용하여 ∂̄-연산자와 노이만 경계 조건으로부터 K-호모로지 클래스를 정의한다.
• 컨스-체른 특성류를 적용하여 K-호모로지 클래스를 주기적 순환 코hom로 연결함으로써, 비가환적 일반화된 그로텐디크-리만-로흐 정리를 가능하게 한다.
• 확대된 구와 그 영점과의 교차부위에서의 베르그만 공간 간의 확장 및 제약 연산자를 구성하며, 일관된 연산자 노름을 확보한다.
• 수축 및 확장되는 구 위의 해석적 함수를 이용한 극한 추론을 통해 제약 연산자의 핵에 속하는 함수를 근사한다.
• 확대된 해석적 함수를 통한 네바린나 유형의 근사법을 활용하여, 영점에서 0이 되는 함수들이 이상의 닫힘에 속함을 보인다.
• 상대 K-호모로지에서 경계 연산자가 ∂̄-노이만 클래스를 경계의 CR 경계에 대한 기본류로 보낸다는 것을 증명함으로써, 부티에 데 몽벨의 지표정리를 일반화한다.

실험 결과

연구 질문

• RQ1 영점이 고립 특이점을 가지며 단위구면과 횡단으로 만날 때, 베르그만 공간 안의 이상의 닫힘 위에서 다항식 대수의 표현이 본질적으로 정규로 유지되는가?
• RQ2 상대 K-호모로지 이론을 통해 특이점과 경계를 가진 복소다양체로 해석적 그로텐디크-리만-로흐 정리를 확장할 수 있는가?
• RQ3 베르그만 공간 몫공간 위의 몫 표현이 경계 CR 다양체의 기본류와 유니터리 동치인가?
• RQ4 제약 연산자 R: L²_a(𝐵^m) → L²_a,M(Ω_I)의 핵이 베르그만 노름에서 이상 I의 닫힘과 일치하는가?
• RQ5 컨스-체른 특성류와 경계 기본류의 관점에서 몰입 표현의 지표론적 의미는 무엇인가?

주요 결과

• Z_I가 단순형 완전교차이면서 ∂𝐵^m과 횡단으로 만날 경우, L²_a(𝐵^m)에서 이상 I의 닫힘 위에서 다항식 대수의 표현은 본질적으로 정규이다.
• Q_I = L²_a(𝐵^m)/cl(I)에서의 몫 표현은 컨스-체른 특성류를 통해 경계 Z_I ∩ ∂𝐵^m의 기본류를 K-호모로지 클래스로 실현한다.
• 주어진 기하 조건 하에서 제약 연산자 R: L²_a(𝐵^m) → L²_a,M(Ω_I)의 핵은 L²_a(𝐵^m)에서 이상 I의 닫힘과 일치한다.
• Q_I에서의 토플리츠 연산자의 지수는 경계 기본류를 통해 계산되며, 이는 부티에 데 몽벨의 지표정리를 특이 설정으로 일반화한다.
• 확대된 베르그만 공간 간의 확장 및 제약 연산자는 균일하게 유계이므로, 해석적 확대를 통한 근사 추론이 가능하다.
• L²_a(𝐵^m)에서 이상 I의 닫힘은 정확히 Z_I ∩ 𝐵^m에서 0이 되는 해석적 함수들의 공간과 일치하며, 아르베손-두글라스 추측의 핵심 케이스를 확인한다.