[논문 리뷰] Groupes de Kac-Moody déployés sur un corps local, II Masures ordonnées

Guy Rousseau|arXiv (Cornell University)|2010. 09. 01.

Algebraic Geometry and Number Theory참고 문헌 1인용 수 16

한 줄 요약

이 논문은 임의의 실수 체 위의 분할 카크-무디 군에 대해 순서가 붙은 아핀 호벨(masure)을 구성하며, 이는 과거 가우스엔트-루소와 브하트-티스의 결과를 일반화한다. 마티외의 최대 카크-무디 군과 정수 계수 보편 포락대수를 사용하여, 이 호벨이 루소(2011)에서 정의한 순서가 붙은 아핀 호벨의 모든 공리, 특히 전순서의 불변성과 무한원에서의 쌍둥이 빌딩의 존재를 만족함을 증명한다.

ABSTRACT

For a split Kac-Moody group (in J. Tits' definition) over a field endowed with a real valuation, we build an ordered affine hovel on which the group acts. This construction generalizes the one already done by S. Gaussent and the author when the residue field contains the complex field [Annales Fourier, 58 (2008), 2605-2657] and the one by F. Bruhat and J. Tits when the group is reductive. We prove that this hovel has all properties of ordered affine hovels (masures affines ordonnées) as defined in [Rousseau, ArXiv 0810.4241]. We use the maximal Kac-Moody group as defined by O. Mathieu and we prove a few new results about it over any field; in particular we prove, in some cases, a simplicity result for this group.

연구 동기 및 목표

• 복소수 잔여체를 가진 카크-무디 군과 재구성군에서의 순서가 붙은 아핀 호벨(masure)의 구성 결과를, 임의의 실수 체 위의 분할 카크-무디 군으로 일반화한다.
• 구성된 호벨이 루소(2011)에서 정의한 순서가 붙은 아핀 호벨의 모든 공리, 특히 전순서의 불변성과 무한원에서의 쌍둥이 빌딩의 존재를 만족함을 증명한다.
• 마티외의 최대 군 구성법과 정수 계수 보편 포락대수를 사용하여, 임의의 체 위의 카크-무디 군 이론을 확장한다.
• 일부 경우에서 최대 카크-무디 군에 대한 단순성 결과를 증명하여 무디의 정리를 일반화한다.
• 카크-무디 설정에서 카르탕 분해와 파라호릭 부분군을 포괄하는 기하적 프레임워크—호벨을 제공한다. 이는 비단순적이고 비재구성적 설정에서도 성립한다.

제안 방법

• 브하트-티스의 접근을 일반화하여, '증거 아파트'와 이 아파트에 관련된 필터에 대응하는 파라호릭 부분군을 사용해 호벨을 구성한다.
• 이전에 쓰였던 쿠마르의 군 대신, 마티외의 최대 카크-무디 군 $G^{pma}$ 또는 $G^{nma}$를 배경 군으로 사용한다.
• 정수 계수 보편 포락대수를 사용하여 왜곡된 나누기 거듭제곱과 왜곡된 지수함수를 정의함으로써 군 원소에 대한 대수적 제어를 가능하게 한다.
• 왜곡된 나누기 거듭제곱을 사용한 파incare-Birkhoff-Witt 정리를 적용하여 보편 포락대수의 기저를 확립한다.
• 최대 군을 포함체로 삼고, 증거 아파트 위의 필터를 체계적으로 이용하여 파라호릭 부분군을 구성한다.
• 결과로 얻어진 호벨이 순서가 붙은 아핀 호벨의 공리, 특히 무한원에서의 쌍둥이 빌딩 존재성과 $G$-불변 전순서를 만족함을 검증한다.

실험 결과

연구 질문

• RQ1 실수 체 위의 임의의 분할 카크-무디 군에 대해, 잔여체나 루트 시스템에 제한 없이 순서가 붙은 아핀 호벨을 구성할 수 있는가?
• RQ2 마티외의 최대 군과 정수 보편 포락대수를 사용해 구성된 호벨이, 루소(2011)에서 정의한 순서가 붙은 아핀 호벨의 추상적 공리들을 모두 만족하는가?
• RQ3 마티외의 최대 카크-무디 군이 임의의 체 위에서 가지는 구조적 성질은 무엇인가? 특히 단순성에 관해 어떻게 되는가?
• RQ4 파라호릭 부분군과 증거 아파트는 어떻게 상호작용하여 호벨 위에 일관되고 $G$-불변 기하학을 정의하는가?
• RQ5 호벨 프레임워크는 비이산적이고 비재구성적인 설정에서도 카르탕 분해를 포착할 수 있는가?

주요 결과

• 이 구성은 임의의 실수 체 위의 분할 카크-무디 군에 대해 잘 정의된 순서가 붙은 아핀 호벨을 제공하며, 이는 이전의 재구성군과 복소수 잔여체 카크-무디 군의 결과를 일반화한다.
• 호벨은 루소(2011)에서 정의한 순서가 붙은 아핀 호벨의 모든 공리를 만족한다. 이는 $G$-불변 전순서와 무한원에서의 쌍둥이 빌딩 존재성을 포함한다.
• 정수 계수 보편 포락대수에 대해 왜곡된 나누기 거듭제곱을 사용한 파incare-Birkhoff-Witt 정리가 확립되었으며, 이는 군 대수의 기저를 제공한다.
• 최대 카크-무디 군 내에서 왜곡된 지수함수가 구성되었으며, 이는 표준 지수 함수가 존재하지 않는 상황에서 군 원소를 제어할 수 있도록 한다.
• 일부 경우에서 최대 카크-무디 군 $G^{pma}$ 또는 $G^{nma}$에 대한 단순성 결과가 증명되었으며, 이는 무디의 정리를 일반 설정으로 확장한다.
• 호벨 구성은 임의의 잔여 특성, 특히 양의 특성에서도 유효하며, 이는 이전의 복소수 잔여체에 의존하는 접근 방식의 한계를 극복한다.