[논문 리뷰] The eta invariant and equivariant index of transversally elliptic operators

Jochen Brüning, Franz W. Kamber외 1명|arXiv (Cornell University)|2010. 05. 20.

Advanced Operator Algebra Research참고 문헌 38인용 수 10

한 줄 요약

이 논문은 G-다양체 위의 횡방향 타원형 연산자의 등변 지표의 중복도에 대한 공식을 도출하며, 특이 성분의 블로업 적분과 관련 타원형 연산자의 에타 불변량을 조합함으로써 이를 달성한다. 주요 기여는 리만 폴리에이션 위의 디랙 연산자에 대한 기본 지표 문제를 해결하는 일반 지표 공식을 제시하는 것이다.

ABSTRACT

We prove a formula for the multiplicities of the index of an equivariant transversally elliptic operator on a $G$-manifold. The formula is a sum of integrals over blowups of the strata of the group action and also involves eta invariants of associated elliptic operators. Among the applications, we obtain an index formula for basic Dirac operators on Riemannian foliations, a problem that was open for many years.

연구 동기 및 목표

• 콤��� G-다양체 위의 횡방향 타원형 연산자의 등변 지표 중복도에 대한 일반 공식을 유도하는 것.
• 리만 폴리에이션 위의 디랙 연산자에 대한 기본 지표를 계산하는 데 오랫동안 열려 있던 문제를 해결하는 것.
• 블로업을 통한 기하학적 비특이화와 에타 불변량을 통합함으로써 등변 지표 이론의 통합을 도모하는 것.
• 무한차원 표현을 수반하는 횡방향 타원형 설정으로 아티야-싱어 지표 이론을 확장하는 것.
• 비자명한 이소트로피 유형을 가진 군 작용이 존재하는 상황에서 스펙트럴 불변량을 계산할 수 있는 프레임워크를 제공하는 것.

제안 방법

• 특이 성분의 블로업을 사용하여 G-다양체의 특이성을 제거하고 지표에 대한 기여를 국소화하는 것.
• 등변 열핵과 그 점근 전개를 적용하여 초트레이스와 지표 기여를 계산하는 것.
• 열핵 분할 공식을 활용하여 서로 다른 이소트로피 유형의 궤도 근처의 기여를 분해하는 것.
• 표현 이론적 분해를 분석하기 위해 정밀화된 동형 표현 및 표준 이소트로피 G-_bundle를 구성하는 것.
• 성분의 관련 타원형 연산자로부터의 에타 불변량을 통합하여 경계 및 특이 기여를 보정하는 것.
• 일반화된 구면 조화다항식과 구면에서의 고유값 분석을 활용하여 지표 공식의 스펙트럴 자료를 계산하는 것.

실험 결과

연구 질문

• RQ1 특이 궤도가 존재하는 상황에서 횡방향 타원형 연산자의 등변 지표 중복도는 어떻게 계산할 수 있는가?
• RQ2 에타 불변량은 G-다양체의 특이 성분에 대한 지표 공식을 보정하는 데 어떤 역할을 하는가?
• RQ3 등변 지표 이론을 활용하여 리만 폴리에이션 위의 디랙 연산자에 대한 균일한 기본 지표 공식을 도출할 수 있는가?
• RQ4 성분의 블로업과 메트릭 수정은 등변 지표 계산에 어떤 영향을 미치는가?
• RQ5 스펙트럴 불변량, 예를 들어 에타 불변량은 연산자의 등변 호모토피에 대해 어느 정도 안정적인가?

주요 결과

• 논문은 각 기약 표현의 중복도를 성분의 블로업 위의 적분 합과 에타 불변량 기여의 합으로 표현하는 일반 지표 공식을 수립한다.
• 이 공식은 리만 폴리에이션 위의 디랙 연산자에 대한 기본 지표 문제를 해결하며, 이 설정에서 처음으로 일반 지표 정리가 제시된다.
• 구면에서 연산자 $ Q^{S+, ho} $의 고유값은 이산적이고 대칭적이며, $ u_{-j}^{ ho} = u_{j+k-1}^{ ho} = \text{대체 부호를 가진 } h_m^{ ho} \text{의 합} $로 결정됨을 보여주며, 이는 보편적인 스펙트럴 공식을 이끈다.
• 구면에서 유도된 연산자의 에타 불변량은 연산자의 연속적이고 등변적인 변형에 대해 불변하며, 스펙트럴 불변량의 안정성을 보장한다.
• 구면에 제한된 동차 다항식의 공간은 $ Q^{S+, ho} $의 고유공간으로 분해되며, 고유값은 $ -m $과 $ m+k-2 $이며, $ L^2 $에서 직교 분해가 이루어진다.
• 차수 $ m $의 조화다항식의 $ ho $-동형 표현 성분의 차원은 $ m \neq 1,2 $일 때 $ h_m^{ ho} = d_m^{ ho} - d_{m-2}^{ ho} $, $ m=1,2 $일 때는 $ h_m^{ ho} = d_m^{ ho} $로 주어지며, 여기서 $ d_m^{ ho} $는 차수 $ m $의 다항식의 $ \rho $-동형 표현 성분의 차원이다.