[논문 리뷰] Tate cohomology of circle actions as a Heisenberg group

Jack Morava|ArXiv.org|2001. 02. 16.

Geometric and Algebraic Topology참고 문헌 7인용 수 4

한 줄 요약

이 논문은 Madsen-Tillmann 스펙트럼 ${\mathbb{C}}P^\infty_{-1}$ 를 통해 원 작용의 타테 코homology를 하이젠베르그 군 구조로 식별하며, 코homology 위에 존재하는 심플렉틱 형식이 콘체비치-위텐 위상 중력 이론에서 바이라소로 대칭 작용을 뒷받침한다. 핵심 결과는 $H{\mathbb{Z}}$의 타테 코homology 위에 대한 바이라소로 대칭의 포크 표현을 실현한 것으로, 자동형사상은 $\sqrt{x}$ 에 대한 니르-로렌트 급수를 통해 표현되며, 이는 동차 위상수학과 양자 코homology, 모듈리 공간 불변량 간의 연결고리가 된다.

ABSTRACT

We study the Madsen-Tillman spectrum \CP^\infty_{-1} as a quotient of the Mahowald pro-object \CP^\infty_{-\infty}, which is closely related to the Tate cohomology of circle actions. That theory has an associated symplectic structure, whose symmetries define the Virasoro operations on the cohomology of moduli space constructed by Kontsevich and Witten.

연구 동기 및 목표

• 원 작용의 타테 코homology를 내재된 극화를 가진 심플렉틱 모듈로 이해하기 위해.
• 이 코homology의 자동형사상 군을 $\sqrt{x}$ 에 대한 홀수 니르-로렌트 급수를 통해 실현한 하이젠베르그 유형 군으로 식별하기 위해.
• 이 구조를 콘체비치-위텐 위상 중력 이론과 양자 코hom로에서의 바이라소로 대칭 작용과 연결하기 위해.
• Madsen-Tillmann 스펙트럼 $\mathbb{C}P^\infty_{-1}$ 을 통해 바이라소로 대칭의 기하적 실현을 포크 표현으로 확립하기 위해.
• 이 프레임워크를 $r$-스핀 구조와 $p$-완비 코hom로이어 이론으로 일반화하여, 모듈리 공간 이론에서 더 깊은 동차 위상수학적 구조를 제안하기 위해.

제안 방법

• 타테 코homology $t^*_{\mathbb{T}}E$ 를 Mahowald 프로객체 $\mathbb{C}P^\infty_{-\infty}$ 의 몫으로 구성하여, $E \wedge S^2 \mathbb{C}P^\infty_{-\infty}$ 로 실현한다.
• $\tau^*_{\mathbb{T}}E$ 를 $\mathbb{C}P^\infty_{-1}$ 의 $E$-호모로지로 식별하고, $t^*_{\mathbb{T}}E$ 에서 $\tau^*_{\mathbb{T}}E$ 로의 잘라내기 사상(트렁케이션 맵)을 정의한다.
• 잔여 쌍형 $\{f,g\} = \mathrm{res}_{e=0}(I(f)g\,de)$ 를 통해 $t^*_{\mathbb{T}}H{\mathbb{Z}}$ 위에 심플렉틱 형식을 정의하며, $I(f) = f^{-1}$ 이다.
• $\sqrt{x}$ 에 대한 가역적 홀수 니르-로렌트 급수의 군 $\check{\mathbb{G}}^{-}_{1/2}$ 를 $t^*_{\mathbb{T}}H{\mathbb{Q}}$ 의 심플렉틱 자동형사상으로 실현한다.
• 표면의 모듈리 공간에서 $\Omega^\infty \mathbb{C}P^\infty_{-1}$ 으로의 사상 구축을 통해 접합과 호환되며, 이를 $MU$-이론으로의 승법 변환으로 올린다.
• 형식적 군 법칙과 잔여 적분 계산을 사용하여 타테 코homology 수열의 경계 사상을 형식적 잔여 $\mathrm{res}(f\,d\log_E)$ 로 정의한다.

실험 결과

연구 질문

• RQ1 원 작용의 다양체 위에서 타테 코homology가 어떻게 하이젠베르그 군 구조를 실현하는가?
• RQ2 Madsen-Tillmann 스펙트럼 $\mathbb{C}P^\infty_{-1}$ 이 바이라소로 대칭의 포크 표현을 어떻게 실현하는가?
• RQ3 타테 코homology의 심플렉틱 자동형사상은 위상 중력 이론의 바이라소로 연산자와 어떻게 관련되는가?
• RQ4 타테 코homology의 극화와 호환성은 동차 루프 공간을 통해 기하학적으로 어떻게 해석될 수 있는가?
• RQ5 이 프레임워크는 $r$-스핀 구조와 $p$-완비 코hom로이어 이론으로 어떻게 일반화될 수 있는가?

주요 결과

• 타테 코homology $t^*_{\mathbb{T}}H{\mathbb{Z}}$ 는 비퇴화된 심플렉틱 형식 $\{f,g\} = \mathrm{res}_{e=0}(I(f)g\,de)$ 를 지니며, 자연스러운 극화를 가진 심플렉틱 모듈로 된다.
• $\sqrt{x}$ 에 대한 가역적 홀수 니르-로렌트 급수의 군 $\check{\mathbb{G}}^{-}_{1/2}$ 는 $t^*_{\mathbb{T}}H{\mathbb{Q}}$ 위에서 심플렉틱 자동형사상으로 작용하며, 하이젠베르그 군 구조를 실현한다.
• Madsen-Tillmann 사상 $\coprod_g B\mathrm{Diff}(F_g) \to \Omega^\infty \mathbb{C}P^\infty_{-1}$ 은 유리수 호모로지에서 $MU$-이론으로의 승법 변환 $\tilde{\Phi}_*$ 로 올라간다.
• 위튼 타우-함수는 $\tilde{\Phi}_*$ 에서 기본류 $[Q(\coprod \overline{\mathcal{M}}_g)]$ 의 상으로 나타나며, $k \geq -1$ 인 바이라소로 부분대수 $L_k$ 에 대해 불변이다.
• 양자 코hom로에서의 극화, $I_{\text{Giv}} = e^{\frac{1}{2}H} e^{-E} I e^{E} e^{-\frac{1}{2}H}$ 는 자유 루프 공간의 동차 기하학으로부터 유래할 것이라 추측된다.
• 소수 $r = p$ 에 대해, $t^*_{\mathbb{T}}H{\mathbb{Z}}_p$ 의 $p$-완비화는 $\mu_p$ 작용과 호환되는 분해를 가지며, $p$-완비화 이후 $Th(-\eta^p) \simeq Th(-\eta^{up})$ 가 성립하여, $r$-스핀 구조를 위한 일반화된 Madsen-Tillmann 이론이 존재할 가능성을 시사한다.