레와 스즈키 군을 위한 비이산 유클리드 건물의 완전 분류

본 논문은 비이산 유클리드 건물(비이산 아핀 건물)의 한 종류인 브루흐‑티츠 공간을 레와 스즈키 군과 연결시켜 완전히 분류한다. 서론에서는 일반적인 비이산 유클리드 건물의 정의와 Bruhat‑Tits가 제시한 “반평행 사변형 규칙”을 언급하며, 이러한 건물은 종종 “R‑건물” 혹은 “아파트먼트 시스템”이라 불리지만, 여기서는 “브루흐‑티츠 공간”이라는 명칭을 제안한다. 다음으로, 레·스즈키 군에 대응하는 구형 건물 \(\Delta\)를 소개한다. \(\Delta\)는 체 확장 \(K/F\)와 Tits 엔도몰리즘 \(\theta\)에 의해 정의된 극성 \(\rho\)의 고정점 집합으로, 주변 건물 \(\dot\Delta\)는 각각 B₂, F₄, G₂ 형식이다. B₂와 G₂ 경우에는 \(\Delta\)가 랭크 1 건물(두 점 사이에 두 개의 아파트먼트만 존재)이며, F₄ 경우에는 Weyl 군이 비결정적인 16차 다이헤드랄인 일반 옥텡곤이 된다. 섹션 3에서는 루트 데이터와 그 평가(valuation)의 일반 이론을 정리한다. 루트 데이터는 무한대 건물의 아파트먼트 \(\Sigma\)와 각 루트 \(\alpha\)에 대응하는 루트군 \(U_\alpha\)의 쌍으로 정의되며, 평가 \(\varphi=(\varphi_\alpha)_{\alpha\in\Phi}\)는 각 루트군에 실수값을 부여하는 함수들의 모임이다. 평가는 세 가지 공리(V1)–(V3)를 만족해야 하는데, 이는 루트군 사이의 교환 관계와 반사 작용을 보존한다는 의미이다. 핵심 개념인 “θ‑불변 평가”는 \(\nu\circ\theta\)가 \(\nu\)와 동등함을 의미한다. 구체적으로는 \(\nu(x^\theta)=\sqrt{p}\,\nu(x)\) (p는 체의 특성, 2 또는 3)이며, 이는 \(\nu\)가 비이산일 때만 가능하다. 이 조건은 레·스즈키 군의 특수성을 반영한다. 정리 2.1은 논문의 주요 결과를 네 부분으로 나눈다. (i) 레·스즈키 군 G는 \(\dot\Delta\)의 극성 \(\rho\)에 의해 고정된 점들의 집합 \(\dot\Delta^\rho\)에 의해 유도되는 그룹이다. (ii) \(\Delta=\dot\Delta^\rho\)는 B₂와 G₂ 경우에 랭크 1 건물, F₄ 경우에 일반 옥텡곤이며, 각각의 Weyl 군은 해당 형식의 특성을 반영한다. (iii) 각 비이산 평가 \(\nu\)에 대해 유일한 비이산 유클리드 건물 \((\dot X,\dot{\mathcal A})\)가 존재하고, 그 무한대 건물은 \(\dot\Delta\)이며 자동군이 \(\dot G\)를 유도한다. (iv) \(\dot\rho\)라는 자동군 원소가 \((\dot X,\dot{\mathcal A})\)에 존재하여 \(\rho\)를 유도하려면 \(\nu\)가 θ‑불변이어야 하며, 존재한다면 유일하다. 섹션 5와 6에서는 B₂, F₄, G₂ 형식의 주변 건물과 그 극성 구조를 구체적으로 구축한다. 특히, F₄ 경우에는 일반 옥텡곤의 구조와 그 Weyl 군이 비결정적임을 보이며, 이는 기존의 크리스털린 Weyl 군과는 다른 새로운 현상이다. 섹션 7에서는 위의 결과를 종합하여, θ‑불변 평가 \(\nu\)가 주어지면 \(\dot\rho\)를 정의하고, \(\dot\rho\)의 고정점 집합을 취해 \((X,\mathcal A)\)라는 새로운 비이산 유클리드 건물을 만든다. 이 건물의 무한대 건물은 \(\Delta\)이며, 자동군은 레·스즈키 군 G를 포함한다. 또한, (vi)항을 통해 역방향을 증명한다. 즉, 어떤 비이산 유클리드 건물 \((X,\mathcal A)\)가 주어지고 그 무한대 건물이 \(\Delta\)이며 자동군이 G를 포함한다면, 반드시 θ‑불변 평가 \(\nu\)가 존재하고 위의 구성 과정을 역으로 적용해 \((X,\mathcal A)\)를 재구성할 수 있다. 결과적으로, 논문은 레·스즈키 군에 대한 모든 가능한 브루흐‑티츠 공간을 θ‑불변 평가라는 파라미터 하나로 완전히 기술한다. 이는 기존의 이산적 Bruhat‑Tits 이론이 다루지 못했던 비이산 상황을 포괄하며, 특히 체의 비아크리멈 평가와 건물의 기하학적 구조 사이의 정밀한 대응을 제공한다. 또한, 각 형식(B₂, F₄, G₂)에 대한 구체적인 예시와 임베딩 결과를 통해, 이러한 비이산 건물이 주변 건물의 유일한 브루흐‑티츠 공간에 자연스럽게 포함될 수 있음을 보인다. 이는 레·스즈키 군의 대수적·기하학적 특성을 이해하는 데 새로운 도구를 제공한다.