[논문 리뷰] Approximating classifying spaces by smooth projective varieties

Torsten Ekedahl|ArXiv.org|2009. 05. 11.

Algebraic Geometry and Number Theory인용 수 13

한 줄 요약

이 논문은 재수정된 대칭군의 분류 공간을 주어진 코homological 차수까지 근사하는 매끄럽고 사영적인 다양체를 구축하며, 대수적 토르서를 사용한다. 주요 결과는 비특수 선형군에 대해, 매끄럽고 사영적인 기저 위에서 대수적 $G$-토르서가 존재하여 완비된 다양체의 쿠르트렌지 링에서의 호환 클래스가 $[P] = [G][X]$를 만족하지 않음을 보여주며, 이는 $\widehat{K}_0$에서 표준 관계의 실패를 보여준다. 이는 쿠르트렌지 링의 구조에 대한 질문을 해결하며, 군의 특수성에 대한 위상수학적 장벽을 제공한다.

ABSTRACT

We prove that for every reductive algebraic group $H$ with centre of positive dimension and every integer $K$ there is a smooth and projective variety $X$ and an algebraic $H$-torsor $P o X$ such that the classifying map $X o \Bclass H$ induces an isomorphism in cohomology in degrees $\le K$. This is then applied to show that if $G$ is a connected non-special group there is a $G$-torsor $P o X$ for which we do not have $[P]=[G][X]$ in the (completion of the) Grothendieck ring of varieties.

연구 동기 및 목표

• 유한군을 초월하여 재수정된 군에 대해 아티야와 히르체브루흐의 대수적 토르서를 통한 분류 공간 근사화를 확장하기 위해.
• 비특수 선형군에 대해, 매끄럽고 사영적인 다양체 위의 대수적 $G$-토르서에 대해 완비된 쿠르트렌지 링 $\widehat{K}_0$에서 관계 $[P] = [G][X]$가 항상 성립하는지 여부를 해결하기 위해.
• 비특수 선형 대수적 군에 대해, 해당 $G/B$-포장의 코homology가 기저와 플라그 다양체 코homology의 곱과 덧셈적으로 동형이 아니게 되는 토르서가 존재함을 보여주기 위해.
• 순수 코homology를 가진 매끄럽고 사영적인 다양체로의 근사화를 통해 $\mathrm{B}G$의 유리 코homology의 순수성에 기하학적 설명을 제공하기 위해.
• 쿠르트렌지 링에서 $[P] = [G][X]$의 실패가 수치적 실패가 아니라 무한 차수의 실패임을, [Ek09a]에서 유래한 코homological 불변량을 사용하여 보여주기 위해.

제안 방법

• 매끄럽고 사영적인 다양체인 그라스만이안 $\mathrm{Gr}(k,n+k)$을 통한 $\mathrm{BGL}_k(\mathbb{C})$의 호모토프적 근사화를 사용하며, 이는 대수적 $\mathrm{GL}_k(\mathbb{C})$-토르서를 갖는다.
• 불안정한 점의 켐프의 인덕티브 분할을 적용하여 초표면 절단의 코homology를 제어하고, 불안정한 기여를 제거한다.
• 포incare 쌍대성과 $G$-불변 형식의 구조를 활용하여 기저와 토르서의 코homology를 분석하며, 고정된 $K$까지의 차수별 동형을 중점으로 한다.
• 임의의 중심이 양의 차원을 갖는 재수정된 $H$에 대해, 매끄럽고 사영적인 다양체 $X$와 $H$-토르서 $P \to X$를 구성하여, $X \to \mathrm{B}H$가 차수 $K$까지의 코homology에서 동형을 유도하도록 한다.
• 매끄럽고 사영한 다양체의 코homology는 각 차수 $i$에서 무게 $i$의 순수성을 갖는다는 사실을 적용하고, 스펙트럴 시퀀스 $H^i(\mathrm{B}G,\mathbb{Q}) \otimes H^j(G/B,\mathbb{Q}) \Rightarrow H^{i+j}(\mathrm{B}B,\mathbb{Q})$를 통해 순수성을 유도한다.
• [Ek09a]에서 유래한 코homological 불변량을 활용하여, 매끄럽고 완전한 $X$에 대해 $H^*(X,\mathbb{Z})$의 동형류를 감지하고, 이로써 $\widehat{K}_0$에서 $[P] = [G][X]$의 실패를 감지한다.

실험 결과

연구 질문

• RQ1 중심이 양의 차원을 갖는 재수정된 군 $H$의 분류 공간 $\mathrm{B}H$는 고정된 차수 $K$까지의 코homology에서 매끄럽고 사영적인 다양체로 근사될 수 있는가?
• RQ2 비특수 선형군 $G$에 대해, 매끄럽고 사영적인 다양체 위의 대수적 $G$-토르서에 대해 완비된 쿠르트렌지 링 $\widehat{K}_0$에서 관계 $[P] = [G][X]$가 항상 성립하는가?
• RQ3 쿠르트렌지 링을 통한 분석을 통해 선형 대수적 군의 특수성에 대한 위상수학적 장벽을 감지할 수 있는가?
• RQ4 순수 코homology를 가진 매끄럽고 사영적인 다양체로의 근사화를 통해 $\mathrm{B}G$의 유리 코homology의 순수성에 기하학적 설명을 제공할 수 있는가?
• RQ5 $\widehat{K}_0$에서 $[P] = [G][X]$의 실패가 차수 $[P] - [G][X]$가 무한 차수임을 의미하는가?

주요 결과

• 모든 중심이 양의 차원을 갖는 재수정된 군 $H$와 모든 정수 $K$에 대해, 매끄럽고 사영적인 다양체 $X$와 $H$-토르서 $P \to X$가 존재하여, 분류 사상 $X \to \mathrm{B}H$가 차수 $K$까지의 코homology에서 동형을 유도한다.
• 이 근사는 그라스만이안 $\mathrm{Gr}(k,n+k)$ 위에서의 대수적 토르서를 통해 달성되며, $n \to \infty$일 때 $\mathrm{BGL}_k(\mathbb{C})$로의 호모토프적 근사화가 되고, 토르서의 대수적 구조는 유지된다.
• 복소수 위에서 연결된 비특수 선형 대수적 군 $G$에 대해, 매끄럽고 사영인 다양체 $X$ 위에서 $G$-토르서 $P \to X$가 존재하여 $\widehat{K}_0(\mathrm{Spc}_{\mathbb{C}})$에서 $[P] \neq [G][X]$임을 보여, 쿠르트렌지 링에서 표준 관계의 실패를 증명한다.
• $[P] - [G][X]$의 차수는 무한 차수를 갖는다. 이는 $G/B$-포장의 코homology 비동형성을 감지하는, 무한체를 갖는 아벨 군으로의 값이 주어진 덧셈 불변량을 통해 증명된다.
• $X$ 위에서의 $G/B$-포장의 코homology는 $G/B \times X$의 코homology와 덧셈적으로 동형이 아니며, 이는 이 맥락에서 분할 원리의 실패를 암시한다.
• $H^*(\mathrm{B}G,\mathbb{Q})$의 순수성은 기하학적으로 설명된다: 근사하는 다양체들이 순수 코homology를 갖기 때문에, 무게 이유로 스펙트럴 시퀀스가 분해되며, $\mathrm{B}G$의 코homology는 순수성을 물려받는다.