[논문 리뷰] Algebraic Cobordism of Classifying Spaces

Dinesh Deshpande|ArXiv.org|2009. 07. 25.

Homotopy and Cohomology in Algebraic Topology참고 문헌 15인용 수 21

한 줄 요약

이 논문은 선형 대수적 군 $G$에 대한 분류공간 $BG$의 대수적 cobordism를 정의하고, 복소수 고전적 리군(GL(n), SL(n), Sp(n), O(n), SO(2n+1)) 및 유한군(아벨 군과 8차 이하의 허수군)에 대해 대수적 cobordism 환 $ olimits^*(BG)$가 복소 cobordism 환 $MU^*(BG)$와 동형임을 증명한다. 이 정의는 표현의 선택에 따라 안정화하기 위해 coniveau 필터링을 활용하며, 등변 cobordism를 통해 동치를 확인하고, 모티빅 및 차우 코homology의 기존 결과와 비교함으로써 동형성을 검증한다.

ABSTRACT

We define algebraic cobordism of classifying spaces, Ω^*(BG) and G-equivariant algebraic cobordism Ω^*_G(-) for a linear algebraic group G. We prove some properties of the coniveau filtration on algebraic cobordism, denoted F^j(Ω^*(-)), which are required for the definition to work. We show that G-equivariant cobordism satisfies the localization exact sequence. We calculate Ω^*(BG) for algebraic groups over the complex numbers corresponding to classical Lie groups GL(n), SL(n), Sp(n), O(n) and SO(2n+1). We also calculate Ω^*(BG) when G is a finite abelian group. A finite non-abelian group for which we calculate Ω^*(BG) is the quaternion group of order 8. In all the above cases, we check that Ω^*(BG) is isomorphic to MU^*(BG).

연구 동기 및 목표

• 선형 대수적 군 $G$에 대해 몫 구조에서 발생하는 불안정성 문제를 해결하면서 분류공간 $\Omega^*(BG)$의 대수적 cobordism를 정의한다.
• 고전적 리군 및 8차 허수군을 포함한 주요 군들에 대해 $\Omega^*(BG) \cong MU^*(BG)$임을 확립한다.
• 등변 설정으로 대수적 cobordism의 프레임워크를 확장하여 $G$-등변 cobordism에 대한 국소화 정확수열을 증명한다.
• 차우 환의 사상이 알려진 동형임이 확인된 경우, 대수적 cobordism에서 복소 cobordism로의 자연스러운 사상이 동형임을 검증한다.
• 주어진 동형성을 바탕으로 야기타의 대수적 브라운-페테르슨 이론 결과를 일반화하여 $\Omega^*_{BP}(BG) \cong BP^*(BG)$임을 보인다.

제안 방법

• 표현과 닫힌 부분집합 $S$의 선택에 관계없이 안정화하기 위해, 대수적 cobordism의 coniveau 필터링을 사용하여 $\Omega^i((\mathbb{A}^N \setminus S)/G)$의 몫을 정의함으로써 $\Omega^*(BG)$를 정의한다.
• G-스킴에 대해 $G$-등변 대수적 cobordism $\Omega^*_G(-)$를 구성하고, 국소화 정확수열을 만족함을 증명한다.
• 알려진 동형 $\Omega^*(X) \otimes_{\Omega^*} \mathbb{Z} \cong CH^*(X)$를 활용하여 대수적 cobordism와 차우 환을 연결한다.
• $ olimits^*(\text{pt}) \cong L$, Lazard 환이고 $MU^*(\text{pt}) \cong L$이므로, 복소 cobordism와 비교할 수 있음을 이용한다.
• 형식적 군 법칙 기법과 $MU^*(BG)$ 내의 코이븐 클래스 계산을 활용하여, 특히 $BQ$에 대해 $\Omega^*(BG)$ 내의 관계를 유도한다.
• 모든 $\Omega^*(BG)$ 내의 관계가 $MU^*(BG)$를 정의하는 동일한 멱급수 관계에 의해 유도됨을 보여, $\Omega^*(BG) \cong MU^*(BG)$임을 검증한다.

실험 결과

연구 질문

• RQ1 선형 대수적 군 $G$에 대해 분류공간 $\Omega^*(BG)$의 대수적 cobordism가 일관되게 정의될 수 있는가?
• RQ2 고전적 리군 및 유한군에 대해 $\Omega^*(BG)$가 복소 cobordism $MU^*(BG)$와 일치하는가?
• RQ3 다양한 표현과 $G$-불변 닫힌 부분집합의 선택에 따라 coniveau 필터링이 $\Omega^*(BG)$의 정의를 어떻게 안정화하는가?
• RQ4 8차 허수군과 같은 비아벨 유한군에 대해 $\Omega^*(BG)$의 구조는 어떠한가?
• RQ5 대수적 브라운-페테르슨 코homology에 대한 야기타의 결과가 $\Omega^*(BG) \cong MU^*(BG)$로 얼마나 일반화될 수 있는가?

주요 결과

• 복소수 위에서 $G = GL(n), SL(n), Sp(n), O(n), SO(2n+1)$에 대해 $\Omega^*(BG) \cong MU^*(BG)$이며, 이 동형은 복소 cobordism에서와 동일한 형식적 군 법칙 관계에 의해 유도된다.
• 유한 아벨 군 $G$에 대해 $\Omega^*(BG) \cong MU^*(BG)$이며, 이는 차우 환에서의 동일한 관계를 코버드름으로 확장한 것이다.
• 8차 허수군 $Q$에 대해 $\Omega^*(BQ) \cong MU^*(BQ)$이며, 이 동형은 $MU^*[[x,y,z]]$ 내의 여섯 개의 멱급수 관계에 의해 확립된다.
• $\Omega^*(BQ)$ 내의 여섯 관계는 $MU^*(BG)$ 내의 코이븐 클래스 항등식에서 유도되며, $MU^*(BQ)$의 정의 관계와 일치함을 확인하였다.
• 차우 환에서의 관계의 영상은 $CH^*(BQ) \cong \mathbb{Z}[x,y,z]/(2x=2y=4z=0, xy=2z)$임을 확인하며, 이 구조는 $\Omega^*(BQ)$로 올라간다.
• 결과적으로 야기타의 동형 $\Omega^*_{BP}(BG) \cong BP^*(BG)$가 동일한 군들에 대해 성립함을 시사하며, $BP^*(BG)$는 $MU^*(BG)$의 몫이기 때문이다.