[论文解读] An Analytic Grothendieck Riemann Roch Theorem

Ronald G. Douglas, Xiang Tang+1 more|arXiv (Cornell University)|Apr 16, 2014

Holomorphic and Operator Theory参考文献 24被引用 3

一句话总结

该论文通过在 Bergman 空间商空间上发展 Toeplitz 算子的解析指标理论，将 Grothendieck-Riemann-Roch 定理推广至具有孤立奇点和边界的复流形。证明了当多项式环中一个根理想的理想零点集为具有孤立奇点的完备交，并且与单位球面横截相交时，该理想在闭包空间及其商空间上的表示本质上是正规的，且商表示通过 Connes-Chern 示性类实现了边界的基本类，从而推广了 Boutet de Monvel 的指标定理。

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)$.

研究动机与目标

• 将 Grothendieck-Riemann-Roch 定理推广至具有孤立奇点和边界的复流形。
• 通过相对 K-同调理论，将 Boutet de Monvel 的 Toeplitz 指标定理推广至具有边界的奇异复流形。
• 为零点集是具有孤立奇点的完备交且与单位球面横截相交的理想的 Arveson-Douglas 猜想建立证明。
• 在特定几何条件下，证明 Bergman 空间中理想闭包等于该理想到零点集的限制映射的核。
• 证明 Bergman 空间商空间上的商表示通过 Connes-Chern 示性类实现了边界的 CR 基本类。

提出的方法

• 利用 Baum、Douglas 和 Taylor 的具有边界的流形的相对 K-同调理论，通过带 Neumann 边界条件的 ∂̄-算子定义 K-同调类。
• 应用 Connes-Chern 示性类将 K-同调类与周期性循环上同调联系起来，从而实现 Grothendieck-Riemann-Roch 的非交换推广。
• 在缩放球体及其与零点集的交集之间构造扩展与限制算子，确保算子范数一致有界。
• 通过在收缩与扩张的球体上使用全纯函数的极限论证，逼近限制映射的核中的函数。
• 利用通过缩放全纯函数实现的 Nevanlinna 型逼近，证明在零点集上消失的函数属于理想在闭包中的闭包。
• 证明在相对 K-同调中，边界映射将 ∂̄-Neumann 类映射到 CR 边界的基类，从而推广了 Boutet de Monvel 的指标定理。

实验结果

研究问题

• RQ1 当零点集具有孤立奇点且与单位球面横截相交时，多项式代数在 Bergman 空间中理想闭包上的表示是否仍本质上正规？
• RQ2 能否通过相对 K-同调理论，将解析 Grothendieck-Riemann-Roch 定理推广至具有奇点和边界的复流形？
• RQ3 Bergman 空间商空间上的商表示是否酉等价于边界的 CR 流形的基本类？
• RQ4 在给定几何假设下，从 Bergman 空间到零点集的限制映射的核是否等于理想在 Bergman 范数下的闭包？
• RQ5 从 Connes-Chern 示性类与边界基本类的角度来看，商表示的指标理论意义是什么？

主要发现

• 当 Z_I 是具有孤立奇点的完备交且与 ∂𝐵^m 横截相交时，多项式代数在 L²_a(𝐵^m) 中理想 I 闭包上的表示本质上是正规的。
• 商表示在 Q_I = L²_a(𝐵^m)/cl(I) 上通过 Connes-Chern 示性类实现了边界 Z_I ∩ ∂𝐵^m 的基本类，作为 K-同调类。
• 在给定几何假设下，限制映射 R: L²_a(𝐵^m) → L²_a,M(Ω_I) 的核等于 L²_a(𝐵^m) 中理想 I 的闭包。
• 通过边界基本类计算了 Q_I 上 Toeplitz 算子的指标，从而将 Boutet de Monvel 的指标定理推广至奇异情形。
• 在缩放 Bergman 空间之间，扩展与限制算子是一致有界的，从而支持通过全纯膨胀实现的逼近论证。
• 在 L²_a(𝐵^m) 中，理想 I 的闭包恰好是那些在 Z_I ∩ 𝐵^m 上消失的全纯函数空间，从而确认了 Arveson-Douglas 猜想的一个关键情形。