[논문 리뷰] Applications of Equivariant Cohomology

Michèle Vergne|ArXiv.org|2006. 07. 17.

Advanced Operator Algebra Research참고 문헌 44인용 수 36

한 줄 요약

이 논문은 리우면형 코homology에서 국소화 기법을 개발하여 해밀토니안 작용을 갖는 다양체 위의 등변 클래스의 적분을 계산하고, 이를 통해 심플렉틱 체적, 횡방향 타원형 연산자의 지수, 다각형 기하학 및 벡터-분할 함수와 연결한다. 국소 오일러-매클로린 공식을 수립하고, 반복 잔여치와 바르비노크의 분해를 이용한 효율적인 알고리즘을 제시하여 유리 다각형 내의 정수 점 수를 세고 스플라인 함수를 계산한다.

ABSTRACT

We will discuss the equivariant cohomology of a manifold endowed with the action of a Lie group. Localization formulae for equivariant integrals are explained by a vanishing theorem for equivariant cohomology with generalized coefficients. We then give applications to integration of characteristic classes on symplectic quotients and to indices of transversally elliptic operators. In particular, we state a conjecture for the index of a transversally elliptic operator linked to a Hamiltonian action. In the last part, we describe algorithms for numerical computations of values of multivariate spline functions and of vector-partition functions of classical root systems.

연구 동기 및 목표

• 리 군 작용을 갖는 다양체 위의 등변 클래스 적분을 계산하기 위해 일반화된 계수를 갖는 등변 코hom로지에서 국소화 원리를 수립하는 것.
• 역 푸리에 변환 문제를 해결하는 것: 국소화 공식으로부터 특정 점에서의 일반화된 함수의 값을 복원하는 것.
• 등변 코hom로지와 이산 기하학을 연결하여, 유리 다각형 내의 체적과 정수 점의 수를 코hom로지적 불변량과 연결하는 것.
• 반복 잔여치와 바르비노크의 부호 있는 분해를 이용해 고전적 루트 계열의 다변수 스플라인 함수와 벡터-분할 함수를 효율적으로 계산하는 알고리즘을 개발하는 것.
• 유리 다각형에 대해 국소 오일러-매클로린 공식을 증명하고, 각 면의 횡방향 콘의 구조를 이용해 미분 연산자로 면별 국소 기여의 합으로 정수 점의 수를 표현하는 것.

제안 방법

• 위튼의 국소화 정리와 파라단의 항등식(1=0 등변 코hom로지에서 M−C 위에서)을 사용하여 전역 적분을 벡터장의 고정점 집합에서의 국소 기여로 줄이는 것.
• 초평면 배열의 칸들에 대응하는 사이클 Z(𝔠) 위에서 반복 잔여치를 사용하여 등변 적분을 고정점 성분들의 합으로 표현하는 것.
• 유리 다각형의 통합 사이클 Z(𝔠)를 계산하기 위해 데 콘치니-프로세아의 재귀 알고리즘을 적용하는 것.
• 바르비노크의 콘의 부호 있는 분해와 LLL 알고리즘을 사용하여 국소 오일러-매클로린 공식의 미분 연산자 D_F를 다항 시간 내에 계산하는 것.
• Z(𝔠) 위에서의 적분을 통해 다각형 P_B(ξ)의 체적과 정수 점의 수에 대한 적분 공식을 유도하고, 잔여치로 표현된 닫힌 형태의 식을 도출하는 것.
• 반복 잔여치 기반 수치 알고리즘을 구현하여 고전적 리 대수에서의 벡터-분할 함수, 코스타안트 분할 함수, 텐서 곱의 중복도를 계산하는 것.

실험 결과

연구 질문

• RQ1 등변 코hom로지에서의 국소화는 어떻게 등변 적분의 푸리에 변환을 국소 기여의 합으로 표현하는 데 사용될 수 있는가?
• RQ2 마르스딘-웨인스타인 몫의 심플렉틱 체적이 원래 다양체 위의 등변 체적의 역 푸리에 변환과 정확히 어떤 관계가 있는가?
• RQ3 각 면의 횡방향 콘의 구조만을 사용하여 유리 다각형에 대해 국소 오일러-매클로린 공식을 유도하고 알고리즘적으로 계산할 수 있는가?
• RQ4 유리 다각형 내의 정수 점 수를 세는 문제의 계산 복잡도는 무엇이며, 반복 잔여치 방법은 바르비노크의 알고리즘과 어떻게 비교되는가?
• RQ5 해밀토니안 작용과 관련된 횡방향 타원형 연산자의 지수는 국소화와 코hom로지적 자료를 통해 어떻게 계산할 수 있는가?

주요 결과

• 국소 오일러-매클로린 공식은 유리 다각형 내의 정수 점 위에서 다항식의 합을 각 면의 기여의 합으로 표현하며, 각 면의 기여는 그 면의 횡방향 콘에만 의존하는 미분 연산자 D_F로 가중된다.
• 유리 다각형 P나 그 확대 tP 내의 정수 점 수는 차원과 전개 차수를 고정할 경우 바르비노크의 부호 있는 분해와 LLL 알고리즘을 사용해 다항 시간 내에 계산할 수 있다.
• 유리 다각형 P_B(ξ)의 체적은 반복 잔여치를 포함하는 적분 공식으로 주어지며, (2iπ)^{-r} ∫_{Z(𝔠)} ⟨ξ,v⟩^{n−r} / ∏_{a=1}^n ⟨β_a,v⟩ dv 로 표현되며, De Concini-Procesi 재귀를 통해 계산 가능하다.
• 벡터-분할 함수 N_B(ξ)는 정수 계수의 벡터 β_a의 비음수 정수 조합으로 ξ를 표현하는 방법의 수를 세며, 잔여치 적분 공식을 갖는다. 이는 근사로 무모듈라에 가까운 체계에서는 효율적으로 계산할 수 있다.
• 운반 다각형 Transport(k,ℓ,r,c)의 정수 점 수는 전통적 방법으로 17년의 CPU 시간이 소요되었지만, 새로운 잔여치 기반 알고리즘이 구조화된 시스템에서는 이에 비해 크게 슈퍼어리어하는 성능을 보인다.
• 국소 연산자 D_F는 유리수 계수를 가지며, 차원과 전개 차수를 고정할 경우 다항 시간 내에 계산 가능하므로, 차수 k까지의 에흐라흐 다항식을 효율적으로 근사할 수 있다.