[논문 리뷰] Kac-Moody groups as discrete groups

Bertrand Rémy|arXiv (Cornell University)|2004. 02. 18.

Geometric and Algebraic Topology참고 문헌 21인용 수 9

한 줄 요약

이 논문은 유한체 위의 카크-무디 군을 비선형성과 음의 곡률을 가진 쌍곡 빌딩 위에 작용하는 유한생성된 이산군으로 재구성하여, 기존의 산술군 이외의 새로운 비선형 군임을 입증한다. 또한 위상적 카크-무디 군을 도입하여 비선형성을 증명한다. 주요 기여는 공명기 초강성과 프로-p 부분군 분석을 통해 이러한 군들을 선형 군과 구별하는 프레임워크를 제공하는 것이다.

ABSTRACT

This survey paper presents the discrete group viewpoint on Kac-Moody groups. Over finite fields, the latter groups are finitely generated; they act on new buildings enjoying remarkable negative curvature properties. The study of these groups is shared between proving results supporting the analogy with some $S$-arithmetic groups, and exhibiting properties showing that they are new groups.

연구 동기 및 목표

• 카크-무디 군을 빌딩 위에 작용하는 이산군으로 재구성하여 기하학적 및 역학적 성질을 강조한다.
• 유한생성된 카크-무디 군이 어떤 체 위에서도 선형인지 여부를 조사하며, 특히 전통적인 S-산술 군과의 차이를 명확히 한다.
• 그들 위상적 완비화와 프로-p 부분군을 분석하여 일부 카크-무디 군이 선형이 아니라는 것을 입증한다.
• 카크-무디 빌딩의 자동화군 내의 격자에 대한 산술성 문제를 탐구하여, 비아르키메데스 기하학으로까지 고전적 개념을 확장한다.
• 카트(-1) 기하학과 푸르스텐베르크 유형 보조정리들을 사용하여 위상적 카크-무디 군이 비가역적이고 추상적으로 단순한 조건을 규명한다.

제안 방법

• BN-쌍과 쌍둥이 루트 데이터 구조를 사용하여 유한체 위의 카크-무디 군을 정의하고, 조합적 군론을 통해 빌딩과 연결한다.
• 이산 카크-무디 군의 완비화로서 위상적 카크-무디 군을 구성하여, 비가чёт수이면서 완전히 이산적인 군의 분석을 가능하게 한다.
• 공명기 초강성의 응용을 통해 비선형성을 입증한다: 군의 공명기가 그 위상적 완비화에서 조밀하다면, 그 군은 선형일 수 없다.
• 그로모프-쌍곡 기하학과 카트(-1) 공간 기법을 사용하여, 특정 조건 하에서 위상적 카크-무디 군의 비가역성을 증명한다.
• 위상적 카크-무디 군 내의 프로-p 부분군을 분석하여 비선형성을 탐지하며, 제르만노프의 자유 프로-p 군에 관한 결과를 활용한다.
• 카트(-1) 공간에 대한 푸르스텐베르크의 보조정리를 사용하여, 위상적 카크-무디 군의 비가역성을 입증한다. 이는 성질 (T) 의존을 피한다.

실험 결과

연구 질문

• RQ1 일반화된 카르탕 행렬에 어떤 조건이 성립할 경우, 유한생성된 카크-무디 군이 비선형이 되는가?
• RQ2 아핀 유형 외에 비선형 카크-무디 군은 존재하는가? (아핀 유형은 이미 선형임이 알려져 있다.)
• RQ3 카크-무디 군의 음의 면 고정자(fixator)는 전체 양의 빌딩 자동화군 내에서 산술적인가?
• RQ4 위상적 카크-무디 군은 비선형 프로-p 부분군을 포함하는가? 이는 그들의 선형성에 어떤 함의를 갖는가?
• RQ5 위상적 카크-무디 군은 비가역적인가? 성질 (T) 또는 쌍곡성 가정 없이 이를 증명할 수 있는가?

주요 결과

• 일반화된 카르탕 행렬이 아핀 유형이 아니면, 유한체 위의 유한생성된 카크-무디 군은 어떤 체 위에서도 선형이 아니다.
• 웨일 군이 그로모프-쌍곡일 경우, 카트(-1) 공간에 대한 푸르스텐베르크 보조정리를 통해 위상적 카크-무디 군이 비가역적임을 입증한다.
• 카크-무디 군의 음의 면 고정자의 공명기는 위상적 카크-무디 군에서 조밀하며, 이는 빌딩의 자동화군 내에서 산술성을 암시한다.
• 비선형 프로-p 부분군이 위상적 카크-무디 군 내에 존재하며, 이는 선형성의 주요 장애물이다.
• 위상적 카크-무디 군은 추상적으로 단순한 군의 직접곱이 아니며, 비록 위상적으로 단순한 군의 곱으로 표현되기는 하지만 말이다.
• 카크-무디 군으로부터 유도된 쌍곡 빌딩의 전체 자동화군은 특정 조건 하에서 추상적으로 단순하다. 이는 티츠의 나무에 대한 결과를 일반화한다.