[논문 리뷰] Strong boundedness of simply connected split Chevalley groups defined over rings

Alexander A. Trost|arXiv (Cornell University)|2020. 04. 10.

semigroups and automata theory참고 문헌 17인용 수 5

한 줄 요약

이 논문은 가환환 위의 단순 연결된 분해 가능 체바일 군에 대해 강한 유계성을 확립한다. 어떤 유한한 정상적으로 생성하는 집합에 대해 단어 지름이 군과 환에만 의존하는 상수로 유계임을 증명하며, 생성집합의 크기에는 영향을 받지 않는다. 증명은 루트 원소에 의한 유계 생성과 정상부분군에 대한 구조적 결과, 고델의 콪actness 정리를 조합하여 이전의 SL_n(R) 결과를 일반적인 분해 가능 체바일 군, 즉 Sp_4(R)와 G_2(R)로 확장하며, 특정 환에서는 이러한 군이 한 개의 공轭류로 정상적으로 생성될 수 없음을 보여준다.

ABSTRACT

This paper is concerned with the diameter of certain word norms on S-arithmetic split Chevalley groups. Such groups are well known to be boundedly generated by root elements. We prove that word metrics given by conjugacy classes on S-arithmetic split Chevalley groups have an upper bound only depending on the number of conjugacy classes. This property, called strong boundedness, was introduced by Kedra, Libmann and Martin and proven for ${ m SL}_n(R)$, assuming R is a principal ideal domain and $n\geq 3$. We also provide examples of normal generating sets for S-arithmetic split Chevalley groups proving our bounds are sharp in an appropriate sense and give a complete account of obstructions to the existence of small normally generating sets of ${ m Sp}_4(R)$ and $G_2(R)$. For instance, we prove that ${ m Sp}_4(\mathbb{Z}[\frac{1+\sqrt{-7}}{2}])$ cannot be generated by a single conjugacy class.

연구 동기 및 목표

• 가환환 위의 단순 연결된 분해 가능 체바일 군에 대해 Kędra, Libman, Martin의 SL_n(R)에 대한 강한 유계성 결과를 일반화하는 것.
• 어떤 유한한 정상적으로 생성하는 집합에 대해 단어 지름이 군과 환에만 의존하는 상수로 균일하게 유계임을 증명하는 것, 생성집합의 크기에는 영향을 받지 않는다.
• 특히 Sp_4와 G_2와 같은 랭크 2 군에 대해 작은 정상적으로 생성하는 집합의 존재성과 최소성 분석하기.
• Sp_4(Z[(1+√-7)/2])와 같은 예시를 통해 경계의 날카로움을 보여주며, 한 개의 공轭류로는 군을 생성할 수 없는 경우를 구성함.

제안 방법

• 분해 가능 체바일 군이 적절한 환 위에서 루트 원소에 의해 유계로 생성됨은 알려진 결과로, 랭크 ≥2인 경우에 적용됨.
• 가환환 위의 체바일 군의 정상부분군에 대한 구조적 결과를 적용하여, 유한한 생성집합의 공轭류로부터 루트 원소가 어떻게 생성되는지 제어함.
• 고델의 콤팩턴스 정리를 사용하여 임의의 환 위의 문제를 대수적으로 닫힌 체 위의 경우로 환원함으로써 균일한 경계를 확보함.
• 표현 이론적 접근과 최고 무게 모듈러스 위의 작용을 이용하여, 루트 부분군과 가환하는 원소는 체와 정수환에서 군의 중심이어야 함을 보임.
• 소수 이상수에 대한 G(Φ,R)의 구조를 분석하고, R의 감소성 조건을 이용해 중심 원소를 전체 환으로 올림.
• S-산술 체바일 군에 대해 명시적인 유한한 정상적으로 생성하는 집합을 구성하고, 환의 수론적 성질을 통해 그 경계가 날카로움을 증명함.

실험 결과

연구 질문

• RQ1 모든 단순 연결된 분해 가능 체바일 군에 대해, 어떤 유한한 정상적으로 생성하는 집합에 대해 단어 지름이 군과 환에만 의존하는 상수로 유계임이 보장될 수 있는가?
• RQ2 Sp_4(R)와 G_2(R)에 대해 정상적으로 생성하는 집합의 최소 크기는 얼마이며, 언제 한 개의 공轭류로는 충분하지 않은가?
• RQ3 환 R의 구조, 특히 그 잔여체와 안정 범위가 작은 정상적으로 생성하는 집합의 존재성과 크기에 어떤 영향을 미치는가?
• RQ4 주 이상환을 초월하여, 특히 클래스 수 >1인 대수적 정수환으로의 일반화는 어느 정도 가능한가?
• RQ5 특성 2와 3은 랭크 2 체바일 군의 정상 생성에 어떤 역할을 하는가? 왜 B_2와 G_2에 대해 (R:2R) < ∞ 조건이 필수적인가?

주요 결과

• 임의의 랭크 ≥2인 기약 루트 시스템 Φ와 1을 가진 가환환 R에 대해, G(Φ,R)가 루트 원소에 의해 유계로 생성되고, Φ = B_2 또는 G_2이면 (R:2R) < ∞를 만족하면, 어떤 유한한 정상적으로 생성하는 집합 S에 대해 ||G(Φ,R)||_S ≤ C(Φ,R) · |S| 를 만족하는 상수 C(Φ,R)가 존재한다.
• 경계는 날카로운데, 무한히 많은 극대 이상수를 가진 환 R에 대해, 크기가 k인 유한한 정상적으로 생성하는 집합 S_k가 존재하여 지름이 k에 대해 선형으로 증가함을 보여준다.
• Sp_4(Z[(1+√-7)/2])와 G_2(Z[(1+√-7)/2])는 한 개의 공轭류로 정상적으로 생성될 수 없으며, 이는 정상적으로 생성하는 집합의 최소 크기가 1을 초과할 수 있음을 보여준다.
• 증명 전략은 행렬 계산을 피하고, 고델의 콤팩턴스 정리와 같은 군론적 및 모델 이론적 도구를 사용하여 주 이상환에서의 결과를 임의의 가환환으로 일반화함.
• S-산술 정수환에 대해 결과는 명시적인 경계를 포함한 강한 유계성을 제공하며, Kędra, Libman, Martin의 정리 1.1을 일반화함.
• 이 논문은 Sp_4(R)와 G_2(R)에 대해 작은 정상적으로 생성하는 집합의 완전한 분류를 제공하며, Z[(1+√-7)/2]와 같은 특정 환에서는 최소 크기가 2 이상임을 보여줌.