[논문 리뷰] Equivariant Elliptic Cohomology and Rigidity

Ioanid Roşu|ArXiv.org|1999. 12. 10.

Algebraic structures and combinatorial models참고 문헌 9인용 수 4

한 줄 요약

이 논문은 타원적 특성형수에 대한 Witten의 강성 정리에 대한 코homological 증명을 제공하며, S^1-동차 타원적 코homology를 관례적으로 정의한 것으로서, 동차 타원적 코homology의 새로운 프레임워크를 수립하고, 타원적 특성형수의 가중치에 대한 강성 정리를 증명함으로써, 동차 설정에서 타원적 특성형수의 기하학적 및 대수적 위상수학적 기반을 제공한다.

ABSTRACT

Equivariant elliptic cohomology with complex coefficients was defined axiomatically by Ginzburg, Kapranov and Vasserot and constructed by Grojnowski. We give an invariant definition of S^1-equivariant elliptic cohomology, and use it to give an entirely cohomological proof of the rigidity theorem of Witten for the elliptic genus. We also state and prove a rigidity theorem for families of elliptic genera.

연구 동기 및 목표

• S^1-동차 타원적 코hom로의 관례적이고 기하학적으로 의미 있는 정의를 제공하는 것.
• 동차 위상수학에서 타원적 특성형수를 연구하기 위한 코homological 프레임워크를 수립하는 것.
• Witten의 타원적 특성형수에 대한 강성 정리를 순수하게 코homological 방법으로 증명하는 것.
• 타원적 특성형수의 가중치에 대한 강성 현상의 일반화를 시도하는 것.
• 동차 타원적 코hom로의 공리적 및 기하학적 구성 간의 통합을 이루는 것.

제안 방법

• 특정 모델에 의존하지 않는 유일성 성질과 기하학적 실현을 통한 S^1-동차 타원적 코hom로의 정의.
• 타원 곡선의 형식적 군 법칙을 사용하여 복소계수를 갖는 코homology 이론을 구성하는 것.
• 고정점 기여를 분석하기 위해 동차 코hom로의 국소화 기법을 적용하는 것.
• Atiyah-Segal 완비화 정리와 동차 K-코hom로를 코homological 추론의 도구로 사용하는 것.
• 관례적 정의를 사용하여 동차 타원적 특성형수와 관련된 특성류를 구성하는 것.
• 소멸 정리에 기반하여 동차 타원적 특성형수가 동차 구조에 독립적임을 보여 강성 정리를 증명하는 것.

실험 결과

연구 질문

• RQ1 S^1-동차 타원적 코hom로는 특정 기하학적 실현에 의존하지 않고 어떻게 관례적으로 정의될 수 있는가?
• RQ2 S^1-작용 하에서 타원적 특성형수의 강성 현상 뒤에 있는 코homological 메커니즘은 무엇인가?
• RQ3 타원적 특성형수에 대한 강성 정리는 순수하게 동차 코hom로 프레임워크 내에서 증명될 수 있는가?
• RQ4 기저 공간에 따라 매개변수화된 타원적 특성형수의 가중치에 대해 강성 현상은 어떻게 일반화되는가?
• RQ5 동차 타원적 코호모로의 관례적 정의는 이전의 공리적 또는 기하학적 구성과 어떤 관계가 있는가?

주요 결과

• S^1-동차 타원적 코호모로에 대한 관례적 정의가 확립되어 이론에 기하학적이고 표준적인 프레임워크를 제공한다.
• Witten의 강성 정리에 대한 완전한 코호모로 증명이 달성되었으며, 물리적 또는 해석적 방법에 의존하지 않는다.
• 타원적 특성형수가 S^1-작용 하에서도 불변함을 확인하여, 동차 설정에서의 강성 현상을 입증한다.
• 기저 공간 위의 피복 수체를 따라 매개변수화된 타원적 특성형수의 가중치에 대한 강성 정리가 제시되고 증명된다.
• 이론은 Grojnowski의 기하학적 실현과 Ginzburg-Kapranov-Vasserot의 공리적 접근을 유일성 성질을 통해 통합한다.
• 이론이 Atiyah-Segal 완비화 정리와 형식적 군 법칙의 구조와 호환됨을 입증한다.