[논문 리뷰] Loop groups and twin buildings

Linus Kramer|ArXiv.org|2001. 09. 19.

Advanced Algebra and Geometry참고 문헌 27인용 수 3

한 줄 요약

이 논문은 복소수 및 실수 라우렌트 다항식 환에서의 루프 군과 카크-무디 군과 관련된 쌍둥이 빌딩을 구성하고 분석하며, 아핀 카크-무디 대수에 대한 베론제 임bedding을 사용한다. 이를 통해 등변 임베딩을 통한 이 빌딩의 위상수학적 실현을 확립하고, 루프 공간의 호모토피 이론적 성질을 활용하여 루프 공간을 통한 보트 주기성의 기하적 증명을 제시한다. 특히, 대수적 루프 군 $\Omega_{\text{alg}}\mathrm{SU}(n)$이 수축 가능한 공간 위에서 추이적으로 작용하고, 몫이 $\mathrm{SU}(n)$와 위상동형임을 보여, K-이론에서 보트 주기성 동형사상이 얻어진다.

ABSTRACT

We describe some buildings related to complex Kac-Moody groups. First we describe the spherical building of SLn(C) (i.e. the projective geometry PG(Cn)) and its Veronese representation. Next we recall the construction of the affine building associated to a discrete valuation on the rational function field $C(z)$. Then we describe the same building in terms of complex Laurent polynomials, and introduce the Veronese representation, which is an equivariant embedding of the building into an affine Kac-Moody algebra. Next, we introduce topological twin buildings. These buildings can be used for a proof - which is a variant of the proof by Quillen and Mitchell - of Bott periodicity which uses only topological geometry. At the end we indicate very briefly that the whole process works also for affine real almost split Kac-Moody groups.

연구 동기 및 목표

• 루프 군과 카크-무디 군에 대한 기하적 프레임워크를 쌍둥이 빌딩과 베론제 임베딩을 통해 개발하기.
• 복소수 및 실수 라우렌트 다항식 루프와 관련된 빌딩의 위상수학적 실현을 확립하기.
• 대수적 루프 공간의 호모토피 유형과 그 궤도 공간을 이용한 보트 주기성의 기하적 증명 제공하기.
• 위상 기하학과 극좌표 표현을 활용해 퀼렌-미첼의 접근을 보다 넓히기.
• 수축 가능한 공간 위에서 대수적 루프 군의 궤도 공간이 유니타리 군과 위상동형임을 보여, 보트 주기성 동형사상을 복원하기.

제안 방법

• 대수적 선형군 $\mathrm{SL}_n(\mathbb{C})$의 구면 빌딩을 프로젝티브 기하학 $\mathrm{PG}(\mathbb{C}^n)$으로 구성하고, 베론제 사상에 의해 플라그 다양체에 임베딩하기.
• 이산 비율을 사용하여 $\mathbb{C}(z)$ 위의 아핀 빌딩을 정의하고, 복소수 라우렌트 다항식 $\mathbb{C}[z,z^{-1}]$을 통해 실현하기.
• 빌딩을 아핀 카크-무디 대수 $\mathfrak{X}$에 등변 베론제 임베딩으로 삽입하여 $L_{\mathrm{alg}}\mathrm{SU}(n)$의 작용을 유지하기.
• 루프 공간과 그 호모토피 유형을 모델링하기 위한 기하 도구로 위상수학적 쌍둥이 빌딩을 정의하기.
• 수축 가능한 공간 $\mathcal{S}$를 포함하는 유니버설 볼록 구조 $\Omega_{\mathrm{alg}}\mathrm{SU}(n) \to \mathcal{S} \to \mathrm{SU}(n)$를 사용하여 호모토피 동치를 유도하기.
• 실수 형태의 빌딩 위에서 $\mathrm{SL}_n(\mathbb{R}[z,z^{-1}])$의 작용을 분석하고, 대칭 공간 $\mathrm{SU}(n)/\mathrm{SO}(n)$의 루프 공간과 연관시키기.

실험 결과

연구 질문

• RQ1 이산 비율과 라우렌트 다항식 환을 사용하여 $\mathbb{C}(z)$ 및 $\mathbb{R}(z)$ 위의 루프 군에 대한 쌍둥이 빌딩을 어떻게 구성할 수 있는가?
• RQ2 베론제 표현은 빌딩을 아핀 카크-무디 대수에 임베딩하고 군 작용을 유지하는 데 어떤 역할을 하는가?
• RQ3 위상수학적 쌍둥이 빌딩은 스펙트럴 시퀀스에 의존하지 않고 보트 주기성을 기하학적으로 어떻게 증명하는가?
• RQ4 궤도 공간 $|\Delta^+(\mathbb{A}^n)|_{\mathrm{Knarr}} / \Omega_{\mathrm{alg}}\mathrm{SU}(n)$의 호모토피 이론적 의미는 무엇인가?
• RQ5 실수 형태의 루프 군은 컴acts 대칭 공간의 루프 공간과 어떻게 관련되어 있으며, 실수 및 허수 보트 주기성의 증명에서 어떤 역할을 하는가?

주요 결과

• 특수 경로의 공간 $\mathcal{S}$는 $L_{\mathrm{alg}}\mathrm{SU}(n)$-등변 위상동형사상으로 $|\Delta^+(\mathbb{A}^n)|_{\mathrm{Knarr}} \subseteq \mathfrak{X}$로 보내지며, 이는 수축 가능하다.
• $\Omega_{\mathrm{alg}}\mathrm{SU}(n) \to \Omega_{\mathrm{cts}}\mathrm{SU}(n)$의 포함은 약한 및 강한 호모토피 동치이며, 이는 $\Omega_{\mathrm{alg}}\mathrm{SU}(n)$가 대수적 루프 군의 유니버설 분류 공간임을 의미한다.
• 궤도 공간 $|\Delta^+(\mathbb{A}^n)|_{\mathrm{Knarr}} / \Omega_{\mathrm{alg}}\mathrm{SU}(n)$는 $\mathrm{SU}(n)$와 위상동형이며, 이는 유니버설 볼록의 기하적 실현을 제공한다.
• $\mathrm{Gr}_k(\mathbb{C}^{2k}) \to \Omega_{\mathrm{alg}}\mathrm{SU}(k)$는 $2k$-동치이며, 극한에서 $\mathrm{BU} \to \Omega_{\mathrm{cts}}\mathrm{SU}$는 호모토피 동치이며, 이는 보트 주기성 동형사상을 복원한다.
• 실수 형태 $\mathrm{SL}_n(\mathbb{R}[z,z^{-1}]) \cap L_{\mathrm{alg}}\mathrm{SU}(n)$는 실수 쌍둥이 빌딩 위에서 작용하며, $\Omega_{\mathrm{cts}}(\mathrm{SU}(n)/\mathrm{SO}(n))$와 호모토피 동치이며, 이는 실수 보트 주기성의 증명을 가능하게 한다.
• $W$-값을 가진 거리 함수 $\delta$는 잘 정의되어 있으며, 방의 표준 티츠 거리로 제한되며, 빌딩 공리와 기하학적 구조를 확인한다.