[논문 리뷰] Cobordism of flag bundles

Amalendu Krishna|arXiv (Cornell University)|2010. 07. 07.

Algebraic Geometry and Number Theory참고 문헌 14인용 수 6

한 줄 요약

이 논문은 특성 0인 체 위의 스킴 위에 정의된 주 $G$-_bundle에 관련된 플래그 번들의 유리 대수적 코버지즘과 고차 초우주군에 대한 보편 공식을 수립한다. 최대 토루스와 웨일 군의 구조를 활용하여, 고전적인 초우주군 결과를 대수적 코버지즘으로 일반화함으로써, 플래그 번들 $E/P$의 코버지즘은 기저 스킴의 코버지즘과 분류 공간 $BT$에 대한 텐서곱으로 표현됨을 보여주며, 비스틀리의 정리가 대수적 코버지즘의 보편 방향성 코homology 이론으로 확장됨을 밝힌다.

ABSTRACT

Let $G$ be a connected linear algebraic group over a field $k$ of characteristic zero. For a principal $G$-bundle $π: E o X$ over a scheme $X$ of finite type over $k$ and a parabolic subgroup $P$ of $G$, we describe the rational algebraic cobordism and higher Chow groups of the flag bundle $E/P o X$ in terms of the cobordism of $X$ and that of the classifying space of a maximal torus of $G$ contained in $P$. As a consequence, we also obtain the formula for the cobordism and higher Chow groups of the principal bundles over the scheme $X$. If $X$ is smooth, this describes the cobordism ring of these bundles in terms of the cobordism ring of $X$.

연구 동기 및 목표

• 플래그 번들의 초우주군에 대한 기존 기술을 대수적 코버지즘의 보편 방향성 코homology 이론으로 일반화하기.
• 기저 스킴 $X$의 코버지즘과 분류 공간 $BT$를 이용해 플래그 번들 $E/P \to X$의 유리 대수적 코버지즘을 기술하기.
• 비스틀리의 고차 초우주군에 대한 동형사상이 대수적 코버지즘의 맥락으로 확장되는가를 밝히기.
• 지역화 시퀀스를 활용한 비스틀리의 초우주군 정리에 대한 새로운 단순화된 증명 제공하기.
• 최대 토루스와 웨일 군의 구조를 이용해 스킴 위의 임의의 주 $G$-_bundle의 코버지즘 군을 계산하기.

제안 방법

• 비스틀리의 고차 초우주군에 대한 작업에서 유도된 기법을 대수적 코버지즘의 맥락으로 적응하기.
• 고차 초우주군의 지역화 시퀀스를 사용하여 유리 초우주군에 대한 동형사상을 증명하기.
• 기저 스킴 $X$의 차원에 대한 귀납법을 사용하여, 열린 밀집 부분집합과 유한 에탈레 코버를 통해 기저가 자명한 플래그 번들로의 축소 수행하기.
• 웨일 군의 구조와 대칭 대수를 이용해 자연스러운 동형사상 $\Omega^*(E/P) \cong \Omega^*(X) \otimes_{\Omega^*(BT)} \Omega^*(G/P)$ 구축하기.
• 대수적 코버지즘의 보편 성질(보편 방향성 보렐-무어 호모로지 이론으로서의 성질)을 활용해 주요 공식 유도하기.
• 등변 기법과 웨일 군 $W_P$의 구조를 이용해 일반적인 포물형 경우를 보렐 부분군의 경우로 축소하기.

실험 결과

연구 질문

• RQ1 플래그 번들 $E/P \to X$의 대수적 코버지즘은 기저 스킴 $X$의 코버지즘과 분류 공간 $BT$를 통해 어떻게 기술될 수 있는가?
• RQ2 비스틀리의 결과에 의해 알려진 플래그 번들의 고차 초우주군 간의 동형사상이 대수적 코버지즘의 보편 이론으로까지 확장되는가?
• RQ3 최대 토루스와 웨일 군의 구조를 이용해 스킴 위의 주 $G$-bundle의 코버지즘을 계산할 수 있는가?
• RQ4 대칭 대수 $\mathrm{Sym}(\widehat{T})$와 그 $W$-불변 부분대수는 플래그 번들의 코버지즘 기술에 어떤 역할을 하는가?
• RQ5 지역화 기반의 단순화된 비스틀리의 초우주군 정리 증명이 대수적 코버지즘으로까지 확장 가능한가?

주요 결과

• 플래그 번들 $E/P \to X$의 유리 대수적 코버지즘은 $\Omega^*(X) \otimes_{\Omega^*(BT)} \Omega^*(G/P)$와 동형이며, 초우주군 결과를 일반화한다.
• 플래그 번들의 고차 초우주군은 $\mathrm{CH}^*(E/B) \cong \mathrm{CH}^*(X) \otimes_{\mathrm{Sym}(\widehat{T})^W} \mathrm{Sym}(\widehat{T})$를 만족하며, 지역화 시퀀스를 활용한 새로운 증명이 제시된다.
• 주 $G$-bundle $E \to X$의 코버지즘은 $\mathrm{CH}^*(X) \otimes_{S(G)} \mathbb{Q}$와 동형이며, 여기서 $S(G)$는 $\mathrm{Spec}(k)$의 등변 초우주환이다.
• 알바누제 사상에 의해 연결 대수적 군의 경우로 확장되며, $\mathrm{CH}^*(G) \cong \mathrm{CH}^*(A(G))/I\mathrm{CH}^*(A(G))$를 얻는다.
• 플래그 번들의 동형사상은 기저의 차원에 대한 귀납법을 통해 열린 부분집합과 유한 에탈레 코버를 이용해 자명한 번들로의 축소를 통해 확립된다.
• 논문은 기저의 코버지즘과 분류 공간 $BT$로의 축소를 통해 플래그 번들의 코버지즘 군을 계산하는 개념적이고 보편적인 프레임워크를 제공한다.