[논문 리뷰] Buildings of classical groups and centralizers of Lie algebra elements

Paul Broussous, Shaun Stevens|ArXiv.org|2004. 02. 13.

Advanced Algebra and Geometry참고 문헌 9인용 수 6

한 줄 요약

이 논문은 비아르키메데스 국소체의 맥락에서, 고전적 군 $ G $ 내의 반단순 리 대수 원소 $ \beta $ 의 중심화자 $ H $ 의 확장 브라하트-티츠 빌딩에서 $ G $ 의 빌딩으로의 자연스럽고, 애핀, $ H $-동변형 사상 $ j_\beta: I_\beta^1 \to I $ 를 구성한다. 이 사상들이 Moy-Prasad 리 대수 필터링과 호환됨을 보이며, 핵심 결과는 $ H $ 가 일반선형군이거나 기술적 조건을 만족할 경우, $ j_\beta $ 가 이러한 필터링 호환성에 의해 유일하게 특징지어짐을 보인다.

ABSTRACT

Let F_o be a non-archimedean locally compact field of residual characteristic not 2. Let G be a classical group over F_o (with no quaternionic algebra involved) which is not of type A_n for n>1. Let b be an element of the Lie algebra g of G that we assume semisimple for simplicity. Let H be the centralizer of b in G and h its Lie algebra. Let I and I_b denote the (enlarged) Bruhat-Tits buildings of G and H respectively. We prove that there is a natural set of maps j_b : I_b --> I which enjoy the following properties: they are affine, H-equivariant, map any apartment of I_b into an apartment of I and are compatible with the Lie algebra filtrations of g and h. In a particular case, where this set is reduced to one element, we prove that j_b is characterized by the last property in the list. We also prove a similar characterization result for the general linear group.

연구 동기 및 목표

• 비아르키메데스 국소체의 맥락에서 고전적 군과 그 중심화자들의 확장 브라하트-티츠 빌딩 간의 함자적이고 자연스러운 사상 수립.
• 이러한 사상이 애핀, $ H $-동변형이며, 아파트를 유지하며, Moy-Prasad 리 대수 필터링과 호환됨을 증명.
• 일반선형군 및 일정한 고전적 군의 경우, 사상 $ j_\beta $ 가 리 대수 필터링과의 호환성에 의해 유일하게 특징지어짐을 규명.
• 표현 이론의 스트라타 이론을 중심화자에 의한 리 대수 원소를 통해 빌딩과 필터링과 연결함으로써 확장.

제안 방법

• 고전적 군의 애핀 빌딩 모델에서 자기쌍대 격자 함수를 사용하여 사상 $ j_\beta $ 를 구성.
• 브라하트-티츠 빌딩 이론과 $ I_\beta^1 $ 이 $ V $ 상의 격자 함수로 식별됨을 활용하며, 특히 $ E = F[\beta] $ 가 체일 경우에 중점을 둔다.
• 리 대수에 대한 Moy-Prasad 필터링을 적용하고, 사상 $ j_\beta $ 를 통해 $ \mathfrak{g} $ 와 $ \mathfrak{h} $ 의 필터링을 비교.
• 특히 $ J_+ = \emptyset $ 일 경우 중심화자 $ H $ 가 고전적 또는 일반선형군의 스칼라 제한의 곱으로서의 구조를 활용.
• 정수환에서 $ 2 $ 가 가역임을 이용하여, 수반 작용에 대한 고정점 부분공간으로서 리 대수를 분해.
• 모든 $ r \in \mathbb{R} $ 에 대해 $ \mathfrak{g}_{y,r} \cap \mathfrak{h} = \mathfrak{h}_{x,r} $ 이 성립한다는 사실을 바탕으로 유일성 추론을 적용하여 $ y = j_\beta(x) $ 를 강제함.

실험 결과

연구 질문

• RQ1 고전적 군에 대해 중심화자 $ H $ 의 빌딩에서 $ G $ 의 빌딩으로의 자연스럽고, $ H $-동변형이며, 애핀 사상은 구성 가능할까?
• RQ2 이러한 사상은 Moy-Prasad 리 대수 필터링과의 호환성에 의해 유일하게 결정될까?
• RQ3 일반선형군의 경우와 고전적 군의 경우에 사상 구성 방식은 어떻게 다를까?
• RQ4 $ E = F[\beta] $ 는 중심화자와 사상 $ j_\beta $ 의 구조를 결정하는 데 어떤 역할을 하는가?
• RQ5 사상 $ j_\beta $ 가 리 대수 필터링과의 호환성에 의해 유일하게 특징지어지는 조건은 무엇인가?

주요 결과

• 사상 $ j_\beta: I_\beta^1 \to I $ 는 잘 정의되어 있으며, 애핀, $ H $-동변형이며, $ I_\beta^1 $ 의 아파트를 $ I $ 의 아파트로 매핑한다.
• 사상 $ j_\beta $ 는 $ \mathfrak{g} $ 와 $ \mathfrak{h} $ 의 Moy-Prasad 리 대수 필터링과 호환된다.
• 일반선형군과 타원형 원소 $ \beta $ 의 경우, 사상 $ j_\beta $ 는 필터링 호환성에 의해 유일하게 특징지어진다.
• 특수 조건을 만족하고 $ J_+ = \emptyset $ 인 고전적 군의 경우에도 사상 $ j_\beta $ 는 필터링 호환성에 의해 유일하게 특징지어진다.
• $ J_+ = \emptyset $ 일 때 항상 필터링 호환성에 의해 $ j_\beta $ 가 유일하게 특징지어진다는 추측이 제기된다.
• 반례는 (a)-(c)의 성질만으로는 고전적 군에서 $ j_\beta $ 를 특징지울 수 없음을 보이며, 고유성을 확보하기 위해 필터링 호환성이 필수적임을 시사한다.