[논문 리뷰] Cyclic actions and elliptic genera

Anand Dessai|ArXiv.org|2001. 04. 26.

Advanced Operator Algebra Research참고 문헌 18인용 수 4

한 줄 요약

이 논문은 스피너 다양체 위에 작용하는 임의의 순환군 작용으로 히르체부르크와 슬로도위의 타원적 성질에 대한 퇴화 정리(가환성 정리)를 불변환으로 일반화한다. 등변 타원적 성질의 강성과 리프셰츠 고정점 공식을 이용하여, 고정점 집합의 여차원이 충분히 클 경우 휘어진 디랙 연산자 지수들이 0이 됨을 증명하며, 이는 Â-구두에서 타원적 성질의 극의 차수에 대한 경계를 이끌어낸다. 핵심 결과는 대칭성을 갖는 양의 곡률을 가진 메트릭에 대한 차단 이론을 확장한다.

ABSTRACT

Let $M$ be a $Spin$-manifold with $S^1$-action and let $σ\in S^1$ be of finite order. We show that the indices of certain twisted Dirac operators vanish if the action of $σ$ has sufficiently large fixed point codimension. These indices occur in the Fourier expansion of the elliptic genus of $M$ in one of its cusps. As a by-product we obtain a new proof of a theorem of Hirzebruch and Slodowy on involutions.

연구 동기 및 목표

• 스피너 다양체 위에 임의의 유한 순서의 순환 작용이 작용할 때, 히르체부르크와 슬로도위의 타원적 성질에 대한 퇴화 정리를 불변환으로 일반화한다.
• 고정점 집합의 여차원에 기반하여, 휘어진 디랙 연산자 지수들이 0이 되는 조건을 설정한다.
• 코homological 퇴화 조건을 이용하여, Â-구두에서 타원적 성질의 극의 차수에 대한 경계를 유도한다.
• 특수한 경우로 히르체부르크-슬로도위 정리의 증명을 새롭게 제시한다.
• 스피너 다양체 위에 대칭성을 갖는 양의 곡률 메트릭에 대한 차단 이론을 뒷받침한다.

제안 방법

• 등변 타원적 성질의 강성 정리를 활용하여, 푸리에 전개의 계수들이 S¹의 정상적 특성임을 보장한다.
• 리프셰츠 고정점 공식을 적용하여, 군 원소 σ에서의 등변 휘어진 서명을 고정점 집합 M^σ의 연결 성분들 위의 국소 기여의 합으로 표현한다.
• 오일러 클래스와 코homology 특성의 국소 기여 공식을 이용하여, 이러한 기여가 언제 0이 되는지 분석한다.
• 코homological 퇴화 조건을 적용한다: H^k(F; Q) = 0 또는 H^k(M; Q) = 0 이면, 여차원 k 성분에 대해 국소 기여 a_F,E 가 0이 된다.
• Â-구두에서 타원적 성질의 전개를 모듈러 변환을 통해 휘어진 Â-성질로 연결하여, 서명 구두에서의 서명 시리즈와 연관시킨다.
• 이러한 도구들을 조합하여, H^{4*}(M; Q) = 0 이고 0 < * ≤ r 인 조건 하에서, Â-구두 전개의 극의 차수를 지수 4* ≤ 4r 에서의 코homology 퇴화에 기반하여 경계한다.

실험 결과

연구 질문

• RQ1 스피너 다양체 위에 순환군 작용이 작용할 때, 휘어진 디랙 연산자 지수들이 언제 0이 되는가?
• RQ2 고정점 집합의 여차원은 타원적 성질이 서로 다른 구두에서 어떻게 구조화되는가?
• RQ3 히르체부르크-슬로도위의 불변환 정리(대칭의 경우)는 고차 순환 작용으로 일반화될 수 있는가?
• RQ4 다양체 또는 그 고정점 성분에 대한 코homological 조건은 Â-구두에서 타원적 성질의 극의 차수에 어떤 경계를 제공하는가?
• RQ5 등변 타원적 성질의 강성은 군 작용 하에서 성질의 행동을 어떻게 제약하는가?

주요 결과

• 유한 순서의 S¹ 작용에서 고정점 집합의 여차원이 4r를 초과할 경우, 특정 휘어진 디랙 연산자 지수들이 0이 된다. 여기서 r는 H^{4*}(M; Q) = 0 이고 0 < * ≤ r 인 조건을 만족한다.
• 동일한 코homological 조건 하에서, Â-구두에서 타원적 성질의 전개는 차수 dim(M)/8 − r 미만의 극을 가진다.
• 결과는 히르체부르크-슬로도위 정리를 일반화하며, r = 1 이고 여차원 > 4 인 경우에 이를 특수한 경우로 복원한다.
• 증명은 등변 타원적 성질의 강성과 리프셰츠 고정점 공식을 이용하여, 전반적 성질 전개를 국소 고정점 기여로 연결한다.
• H^k(M; Q) = 0 이고 k = codim F 이면, 코homology에서 오일러 클래스의 퇴화로 인해 국소 기여 a_F,E 가 보장적으로 0이 된다.
• 코homological 가정 하에서, 핵심 항등식 sign(q, L M) = ∑_{codim F > 4r} sign(q, L(F∘F)) 가 성립하며, 이는 극의 차수 경계를 암시한다.