[논문 리뷰] Box splines and the equivariant index theorem

Corrado De Concini, Claudio Procesi외 1명|arXiv (Cornell University)|2010. 12. 05.

Algebraic structures and combinatorial models참고 문헌 12인용 수 8

한 줄 요약

이 논문은 토르 군의 작용에 대해 벡터 공간 위에서 등변 K-이론과 코homology 사이의 정확한 연결을 설정한다. 이는 transversally elliptic 연산자의 다중도 지수를 상자 스퍼린 함수를 통해 구성된 스퍼린 함수를 캐릭터 격자에 제한함으로써 주어진다. 핵심 결과는 K-이론과 코homology를 연결하는 토드 클래스 연산자가 상자 스퍼린 함수에 대한 deconvolution을 나타내며, 이는 근사 이론의 역함수 공식을 통해 등변 설정에서 리만-로흐 공식을 일반화한다.

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-불변인 transversally elliptic 연산자의 인덱스에 어떻게 나타나는지 이해하기.
• 각 군 원소 주변의 국소 데이터에 의존하는 고정점 공식의 한계를 피하는 다중도 지수 맵에 대한 공식 제공하기.
• 등변 인덱스 이론을 스퍼린 함수와 분포 이론과 통합하기, 특히 상자 스퍼린 함수와 다히멘-마이클리 공식을 통한 통합.
• 코homology에서의 찬 캐릭터가 상자 스퍼린 함수와의 컨볼루션에 대응하며, 토드 클래스가 deconvolution 연산자로 작용함을 보이기.
• 리 Lie 대수의 이중체 위의 조각 다항함수로 표현된 전역적 분석 공식을 인덱스에 적용하기.

제안 방법

• 유한 집합 X에 속한 가중치 a에 대해 [0,1]a의 연속을 통해 형성된 다중 스퍼린 분포로서 상자 스퍼린 이론을 사용한다.
• 다함수 스퍼린과 벡터 분할 함수 사이의 半-연속 컨볼루션을 역행하기 위해 다히멘-마이클리 역함수 공식을 적용한다.
• 무한소 지수 구성법을 통해 등변 찬 캐릭터를 스퍼린 함수와 연결한다.
• 무한소 지수를 사용하여 지수 다중도를 캡처하는 리 Lie 대수의 이중체 g* 위의 전역 함수를 정의한다.
• 국소화 정리와 베르린-버그네 공식을 적용하여 프로젝티브 공간 P(E)와 넬슨 공식을 포함하는 핵심 항등식을 검증한다.
• 역함수 공식을 통해 토드 클래스가 상자 스퍼린 컨볼루션의 역연산자로 작용함을 보여, 리만-로흐 유사 공식을 수립한다.

실험 결과

연구 질문

• RQ1 transversally elliptic 연산자의 인덱스에서 토르 군 표현의 다중도는 기호의 관점에서 어떻게 전역적으로 묘사될 수 있는가?
• RQ2 무한소 지수의 맥락에서 등변 찬 캐릭터와 상자 스퍼린 함수 사이의 정확한 관계는 무엇인가?
• RQ3 등변 인덱스 정리에서 토드 클래스 연산자는 스퍼린 함수 공간에서 어떤 deconvolution 작용으로 대응하는가?
• RQ4 아티야-봄-세갈-싱거 고정점 공식은 g* 위의 전역적 조각 다항함수 공식으로 대체될 수 있는가?
• RQ5 다함수 스퍼린 역함수 공식은 토르 작용에 대한 K-이론과 코homology를 어떻게 연결하는가?

주요 결과

• transversally elliptic 연산자의 다중도 지수 맵은 지수 다중도를 캡처하는 스퍼린 함수로 구성된 g* 위의 조각 다항함수의 캐릭터 격자 Λ에 대한 제한이다.
• 기호의 찬 캐릭터는 상자 스퍼린 함수와 벡터 분할 함수의 컨볼루션에 대응하며, g* 위의 다중 스퍼린 분포를 생성한다.
• 토드 클래스 연산자는 상자 스퍼린 컨볼루션의 역연산자로 작용하여, 찬 캐릭터로부터 다중도 지수를 복원하는 deconvolution을 실현한다.
• 기호의 무한소 지수가 미분 연산자들과 상자 스퍼린 컨볼루션의 곱과 동일함을 보여, 코homological 인덱스 공식과 일치함을 입증한다.
• 일반화된 경우, 항등식 Todd(X ∪ −X) *pw B_{X∪−X} = δ₀는 보트 기호의 인덱스가 자명함을 나타내며, 이는 상자 스퍼린 함수를 통한 리만-로흐 공식의 확인을 가능하게 한다.
• 넬슨 공식을 사용하여 프로젝티브 공간 P(E)와 관련된 핵심 항등식을 검증하였으며, ∫_{P(E)} e^{iω(u)} Q(u,ω(u)) = e^{iu} 를 확인함으로써 주요 정리의 기초를 확립하였다.