[논문 리뷰] Explicit Constructions of Ramanujan Complexes of Type $ ilde{A}_d$

Alexander Lubotzky, Beth Samuels외 1명|ArXiv.org|2004. 06. 10.

Graph theory and applications참고 문헌 10인용 수 3

한 줄 요약

이 논문은 정수 계수의 국소체에서 양의 특성수를 가진 $\tilde{A}_d$ 유형의 라만두잔 복합체의 명시적 구성법을 제시한다. 이는 $F = \mathbb{F}_q((y))$ 인 $\mathrm{PGL}_d(F)$ 내의 카르트워트-스테거 격자 $\Gamma$ 의 계량 몫을 통해 이루어지며, $d \geq 2$ 이다. 핵심 결과는 $\mathrm{PGL}_d(\mathbb{F}_{q^e})$ 의 명시적 생성자 집합을 제공하는 것으로, 이로 인해 유도된 카일리 복합체는 브라우트-티트 빌딩에 의해 덮개질 수 있는 라만두잔 복합체가 된다.

ABSTRACT

In this paper we present for every $d \geq 2$ and every local field $F$ of positive characteristic, explicit constructions of Ramanujan complexes which are quotients of the Bruhat-Tits building $\B_d(F)$ associated with $\operatorname{PGL}_d(F)$.

연구 동기 및 목표

• 지정된 $d \geq 2$ 와 양의 특성수를 가진 국소체에서 $\tilde{A}_d$ 유형의 라만두잔 복합체에 대한 명시적이고 구조적인 실현을 제공하는 것.
• 카르트워트-스테거 격자 $\Gamma$ 의 유한 몫을 이용한 라만두잔 복합체의 존재 결과를 명시적 구성으로 확장하는 것.
• 유한 몫의 $1$-스켈레톤을 명시적 생성자를 가진 유한군의 카일리 그래프로 실현하는 것.
• 함수체에 대한 글로벌 자케-랑글랑스 상응관계를 활용하여 스펙트럼 성질을 검증함으로써 이러한 복합체가 라만두잔 복합체임을 입증하는 것.
• 유한 국소환과 유한체 위에서 이러한 복합체를 구성하기 위한 알고리즘적 프레임워크를 제공하고, 구체적인 예제를 포함하는 것.

제안 방법

• 브라우트-티트 빌딩 $\mathcal{B}_d(F)$ 의 꼭짓점을 단순히 추이적으로 작용하는 $\mathrm{PGL}_d(F)$ 내의离산 부분군인 카르트워트-스테거 격자 $\Gamma$ 를 기초군으로 사용한다.
• 소수 $p \in \mathbb{F}_q[y]$ 와 $s \geq 1$ 에 대해 $I = \langle p^s \rangle$ 인 계량 부분군 $\Gamma(I)$ 를 통해 $\Gamma$ 의 유한 몫을 구성함으로써, $\Gamma(I) \backslash \mathcal{B}_d(F)$ 와 같은 유한 몫을 도출한다.
• 유한 국소환 $L = R/I$ 에 대해 $\mathbb{F}_q[x]$ 위의 명시적 $d \times d$ 행렬 표현을 사용하여 $\Gamma$ 를 $\mathrm{PGL}_d(L)$ 에 명시적으로 통합함으로써 알고리즘적 구성이 가능하게 한다.
• 카일리 복합체를 단순 복합체로 정의하며, 그 $1$-스켈레톤은 $G = \mathrm{PGL}_d(\mathbb{F}_{q^e})$ 와 $S$ 라는 생성자 집합에 대한 카일리 그래프 $\mathrm{Cay}(G; S)$ 이다. 여기서 $S$ 는 $\mathbb{F}_q^d$ 의 부분공간들 중 차원이 $1$ 에서 $d-1$ 인 것들에 대응하며, $|S| = \sum_{k=1}^{d-1} \genfrac{[}{]}{0pt}{2}{d}{k}_q$ 이다.
• 결과로 유도된 복합체가 라만두잔 복합체임을 증명하기 위해, $\mathrm{PGL}_d(F)$ 작용의 스펙트럼 이론과 함수체에 대한 글로벌 자케-랑글랑스 상응관계를 활용한다. 이는 [LSV] 에서 확립된 바이다.
• 섹션 10 에서는 $d \times d$ 행렬로 표현된 생성자들을 $\mathbb{F}_q[x]$ 위에서 계산하는 데에 사용할 수 있는 구체적인 알고리즘과 예제를 제공하며, 그 생성자들은 그림 9 에 명시되어 있다.

실험 결과

연구 질문

• RQ1 지정된 $d \geq 2$ 와 양의 특성수를 가진 국소체에서 $\tilde{A}_d$ 유형의 라만두잔 복합체를 명시적으로 구성할 수 있는가?
• RQ2 카르트워트-스테거 격자 $\Gamma$ 는 계량 부분군을 통해 어떤 방식으로 라만두잔 복합체를 유도하는 유한 몫을 생성할 수 있는가?
• RQ3 어떤 명시적 생성자 집합이 $\mathrm{PGL}_d(\mathbb{F}_{q^e})$ 에 대해 존재하는가? 이로 인해 유도된 카일리 복합체는 라만두잔 복합체이면서 브라우트-티트 빌딩에 의해 덮개져야 한다.
• RQ4 이 구성은 $\mathrm{PSL}_d(L)$ 를 포함하는 $\mathrm{PGL}_d(L)$ 의 부분군으로서의 유한 몰입을 갖는 유한 몫을 유도하도록 정교화될 수 있는가? 여기서 $L$ 은 유한 국소환이다.
• RQ5 명시적인 $d \times d$ 행렬 생성자들을 $\mathbb{F}_q[x]$ 위에서 계산하기 위한 알고리즘적 절차는 무엇인가?

주요 결과

• 모든 $d \geq 2$, $q$ 가 소수의 거듭제곱이며, $e \geq 1$ (특히 $q = 2$ 이면 $e > 1$) 인 경우, $G = \mathrm{PGL}_d(\mathbb{F}_{q^e})$ 는 $\sum_{k=1}^{d-1} \genfrac{[}{]}{0pt}{2}{d}{k}_q$ 개의 생성자를 포함하는 명시적 집합 $S$ 를 갖는다. 이에 대해 $G$ 와 $S$ 를 사용한 카일리 복합체는 라만두잔 복합체이다.
• 카일리 복합체는 $F = \mathbb{F}_q((y))$ 인 브라우트-티트 빌딩 $\mathcal{B}_d(F)$ 에 의해 덮어지며, 그 $1$-스켈레톤은 $\mathrm{Cay}(G; S)$ 인 카일리 그래프이다. 여기서 변은 생성자에 의해 정의된다.
• 생성자는 $\mathbb{F}_q[x]$ 위의 $d \times d$ 행렬로 명시적으로 주어지며, 알고리즘적으로 실현 가능하며, 섹션 10 에서 전체 예제가 제공된다.
• 유한 몰입 $\Gamma(I) \backslash \mathcal{B}_d(F)$ 는 $\mathrm{PGL}_d(L)$ 의 $\mathrm{PSL}_d(L)$ 를 포함하는 부분군의 카일리 복합체와 동형이다. 여기서 $L$ 은 유한 국소환이다.
• 복합체의 라만두잔 성질은 $\mathrm{PGL}_d(F)$ 작용의 스펙트럼 이론을 통해 입증되며, 이는 함수체 설정에서 성립하는 것으로 가정된 글로벌 자케-랑글랑스 상응관계에 기반한다.
• 이 구성은 $d$ 를 나누는 매개변수 $r$ 에 대해 $r$-분할 복합체로 일반화될 수 있다. 이는 $\mathrm{PGL}_d(\mathbb{F}_{q^e})$ 의 $\mathrm{PSL}_d(\mathbb{F}_{q^e})$ 를 포함하는 부분군을 고려함으로써 가능하며, 이는 $d=2$ 인 경우에 알려진 라만두잔 그래프의 $r$-분할 구조를 확장한다.