[논문 리뷰] On topological twin buildings and topological split Kac-Moody groups

Tobias Hartnick, Ralf Köhl외 1명|arXiv (Cornell University)|2012. 01. 17.

Algebraic structures and combinatorial models참고 문헌 41인용 수 9

한 줄 요약

이 논문은 국소체 위의 두 구면형 분할 Kac–Moody 군이 Kac–Peterson 위상에 의해 자연스럽게 위상적 쌍둥이 빌딩을 유도함을 증명하며, 그 연속성을 입증하고 딜린 나무를 통한 이러한 구조를 분류한다. 핵심 기여는 특정한 간선 레이블과 방향을 가진 레이블된 그래프의 동형류를 사용하여 $k$-분할 위상적 쌍둥이 빌딩의 나무 유형을 분류하는 것이다.

ABSTRACT

We prove that a two-spherical split Kac-Moody group over a local field naturally provides a topological twin building in the sense of Kramer. This existence result and the local-to-global principle for twin building topologies combined with the theory of Moufang foundations as introduced and studied by Mühlherr, Ronan, and Tits allows one to immediately obtain a classification of two-spherical split Moufang topological twin buildings whose underlying Coxeter diagram contains no loop and no isolated vertices.

연구 동기 및 목표

• 국소체 위의 두 구면형 분할 Kac–Moody 군이 Kramer의 의미에서 위상적 쌍둥이 빌딩이 되게 하는 자연스러운 위상을 부여할 수 있음을 확립한다.
• $k$-분할 위상적 쌍둥이 빌딩의 나무 유형을 딜린 다이어그램의 조합적 자료를 사용하여 분류한다.
• 특성 0과 양의 특성의 국소체에서 연결 및 완전히 분리된 경우를 통합적으로 다룬다.
• Kac–Moody 군 이론의 군론적 및 위상적 도구를 사용하여 위상적 쌍둥이 빌딩 이론을 확장한다.
• 특히 비구면 경우에서, 분할 Kac–Moody 군 위의 Kac–Peterson 위상에 대한 보편적 특성화를 제공한다.

제안 방법

• 국소체 위의 두 구면형 분할 Kac–Moody 군에 대해 직접 극한 위상과 RGD 체계 이론을 사용하여 Kac–Peterson 위상을 구성한다.
• 쌍둥이 빌딩에서의 공투영 사상의 연속성을 입증하기 위해, 몰입 사상 $U_+ \times T \times U_- \to B_+B_-$가 몫 위상 하에서 열림을 보인다.
• 쌍둥이 빌딩 위상의 국소-전역 원리와 Moufang 기초 이론을 활용하여 군론적 성질을 기하 수준으로 승격시킨다.
• 직접 극한 위상에 관한 [12]의 결과를 적용하여 Kac–Peterson 위상이 잘 정의되어 있고 $k_\omega$-정규임을 보장하지만, 비구면 경우에선 국소 콪 pact하거나 메트릭화 가능하지 않음을 확인한다.
• Kac–Peterson 위상의 보편 성질을 활용하여, 이 위상이 구면 경우에 리 군 위상과 일치함을 보인다.
• Lang 사상과 준-플립을 사용하여 위상적 쌍둥이 빌딩 설정에서 대칭 공간과 공거리 함수를 분석한다.

실험 결과

연구 질문

• RQ1 국소체 위의 두 구면형 분할 Kac–Moody 군과 관련된 쌍둥이 빌딩은 Kramer의 의미에서 위상적 쌍둥이 빌딩이 되게 하는 자연스러운 위상 구조를 지니는가?
• RQ2 이러한 군에 대한 Kac–Peterson 위상이 강한 위상적 쌍둥이 빌딩 구조를 유도하기 위해 어떤 조건이 필요한가?
• RQ3 $k$-분할 위상적 쌍둥이 빌딩의 나무 유형 분류는 어떻게 딜린 다이어그램의 조합적 자료로 환원될 수 있는가?
• RQ4 국소체의 성격에 따라 Kac–Moody 군과 그 쌍둥이 빌딩의 위상적 성격(연결 또는 완전히 분리됨)은 어떻게 달라지는가?
• RQ5 비구면 Kac–Moody 군에 대한 Kac–Peterson 위상은 어느 정도 국소 콱 pact하거나 메트릭화 가능하지 않게 되는가?

주요 결과

• 국소체 위의 두 구면형 단순 연결 분할 Kac–Moody 군과 관련된 쌍둥이 빌딩은 Kac–Peterson 위상과 몫 위상이 부여된 상태에서 강한 위상적 쌍둥이 빌딩이 된다.
• 비구면 Kac–Moody 군의 경우 Kac–Peterson 위상은 $k_\omega$ 이지만 국소 콱 pact하거나 메트릭화 가능하지 않다.
• 아르키메데스 성격의 국소체(예: $\mathbb{R}$ 또는 $\mathbb{C}$)의 경우 군은 연결되며, 비아르키메데스 성격의 경우 완전히 분리된다.
• 구면 경우에 Kac–Peterson 위상은 리 군 위상과 일치한다.
• 사상 $[\Delta] \mapsto [\mathcal{D}(\Delta)]$ 는 $k$-분할 위상적 쌍둥이 빌딩의 나무 유형의 동형류와 방향이 있는 간선이 4 또는 6으로 레이블된 단순 연결 단순 $\{3,4,6\}$-레이블된 그래프의 동형류 사이의 전단사 사상이다.
• 모든 딜린 나무는 위상적으로 $k$-적분 가능하며, 즉 이러한 나무 위의 모든 위상적 $k$-분할 Moufang 기초는 Kac–Peterson 위상이 부여된 분할 Kac–Moody 군으로부터 유도된다.