[论文解读] Box splines and the equivariant index theorem

Corrado De Concini, Claudio Procesi+1 more|arXiv (Cornell University)|Dec 5, 2010

Algebraic structures and combinatorial models参考文献 12被引用 8

一句话总结

本文通過證明橫截椭圆算子的重数指标由盒样条函數限制到特征格點上給出，確立了向量空間上環流作用下等變K-理論與上同調之間的精確聯繫。關鍵結果是，將K-理論與上同調關聯起來的Todd類算子對應於盒樣條的去捲積運算，透過逼近理論中的反演公式，將等變設定下的Riemann-Roch公式推廣。

ABSTRACT

In this article, we start to recall the inversion formula for the convolution with the Box spline. The equivariant cohomology and the equivariant K-theory with respect to a compact torus G of various spaces associated to a linear action of G in a vector space M can be both described using some vector spaces of distributions, on the dual of the group G or on the dual of its Lie algebra. The morphism from K-theory to cohomology is analyzed and the multiplication by the Todd class is shown to correspond to the operator (deconvolution) inverting the semidiscrete convolution with a box spline. Finally, the multiplicities of the index of a G-transversally elliptic operator on M are determined using the infinitesimal index of the symbol.

研究动机与目标

• 理解緊緻環流G在G-不變橫截椭圓算子的指標中，其表示的重數。
• 提供一個避免依賴每個群元素周圍局部資料之固定點公式限制的重數指標映射公式。
• 統一等變指標理論與樣條函數及分佈理論，特別是透過盒樣條與Dahmen-Micchelli反演公式。
• 顯示上同調中的Chern特徵對應於盒樣條的卷積，且Todd類算子作為去捲積算子。
• 建立指標在李代數對偶上的分段多項式函數的全局、解析公式。

提出的方法

• 使用盒樣條理論，將多樣條分佈構造為有限集X中權重a對應的區間[0,1]^a的卷積。
• 應用Dahmen-Micchelli反演公式，反演盒樣條與向量分拆函數之間的半離散卷積。
• 透過無限小指標構造，將符號的等變Chern特徵與樣條函數關聯起來。
• 利用無限小指標在李代數對偶g*上定義一個捕捉指標重數的全局函數。
• 運用局部化定理與Berline-Vergne公式，驗證涉及複射影空間P(E)與Nelson公式之關鍵恆等式。
• 透過反演公式證明Todd類算子是盒樣條卷積的逆算子，從而建立Riemann-Roch型公式。

实验结果

研究问题

• RQ1 如何以符號的語言，全局描述環流表示在橫截椭圓算子指標中的重數？
• RQ2 在無限小指標背景下，等變Chern特徵與盒樣條之間的精確關係為何？
• RQ3 等變指標定理中的Todd類算子如何對應於樣條函數空間中的去捲積運算？
• RQ4 能否以g*上的全局、分段多項式公式取代Atiyah-Bott-Segal-Singer固定點公式？
• RQ5 Dahmen-Micchelli反演公式在聯繫環流作用下的K-理論與上同調中扮演何種角色？

主要发现

• 橫截椭圓算子的重數指標映射是g*上分段多項式函數（具體為盒樣條構造的樣條）限制到特徵格點Λ的結果。
• 符號的Chern特徵對應於盒樣條與向量分拆函數的卷積，進而產生g*上的多樣條分佈。
• Todd類算子作為盒樣條卷積的逆算子，實現了從Chern特徵恢復重數指標的去捲積運算。
• 證明符號的無限小指標等於微分算子與盒樣條卷積的乘積，與上同調指標公式一致。
• 在單模情形下，恆等式Todd(X ∪ −X) *pw B_{X∪−X} = δ₀ 表明Bott符號的指標為平凡，透過盒樣條確認了Riemann-Roch公式。
• 使用Nelson公式驗證涉及複射影空間P(E)的關鍵恆等式，顯示∫_{P(E)} e^{iω(u)} Q(u,ω(u)) = e^{iu}，此為主定理的基礎。