[논문 리뷰] Splitting fields of characteristic polynomials of random elements in arithmetic groups

Florent Jouve, Emmanuel Kowalski외 1명|arXiv (Cornell University)|2010. 08. 21.

Advanced Algebra and Geometry참고 문헌 15인용 수 7

한 줄 요약

이 논문은 수체 위의 재수성 대수군의 산술부분군의 무작위 원소에 대해, 그 충실 표현의 특성다항식의 분해체의 갈루아군이 그 군의 웨일군과 동형이 되는 확률이 무작위 보행의 길이가 증가함에 따라 1로 수렴함을 증명한다. 이 결과는 대규모 筛법, 프로베니우스 공轭류의 등분포, 유한 마코프 체인에 대한 대규모 편차 추정을 바탕으로 하며, 반단순 군의 경우 갈루아군이 웨일군으로의 지수적 농도 집중을 증명한다.

ABSTRACT

We discuss rather systematically the principle, implicit in earlier works, that for a "random" element in an arithmetic subgroup of a (split, say) reductive algebraic group over a number field, the splitting field of the characteristic polynomial, computed using any faitfhful representation, has Galois group isomorphic to the Weyl group of the underlying algebraic group. Besides tools such as the large sieve, which we had already used, we introduce some probabilistic ideas (large deviation estimates for finite Markov chains) and the general case involves a more precise understanding of the way Frobenius conjugacy classes are computed for such splitting fields (which is related to a map between regular elements of a finite group of Lie type and conjugacy classes in the Weyl group which had been considered earlier by Carter and Fulman for other purposes; we show in particular that the values of this map are equidistributed).

연구 동기 및 목표

• 산술군의 무작위 원소의 특성다항식의 분해체의 갈루아군이 기본 대수군의 웨일군과 동형이 되는 일반 원칙을 확립하는 것.
• 이전의 특수 사례에 의존하는 결과들을 확률론적 및 군론적 도구를 이용한 체계적인 프레임워크로 확장하는 것.
• 갈루아군이 예상보다 작을 확률을 정량화하여, 무작위 보행의 길이에 따라 지수적으로 감소함을 보이는 것.
• 유한 리군의 형식에서 프로베니우스 공轭류의 등분포를 웨일군 공轭류와 연결하여 분석하는 것.
• 한계 갈루아군 Π(G)의 정확한 기술을 제공하고, G가 스플릿일 경우 웨일군 W(G)와 일치함을 보이는 것.

제안 방법

• 산술군 Γ의 캐일리 그래프에서 유한 대칭 생성집합 S를 이용한 긴 무작위 보행을 통해 무작위 원소를 모델링하는 것.
• 대규모 筛법을 사용하여 분해체의 갈루아군이 예상보다 작을 확률을 극한하는 것.
• 유한 마코프 체인에 대한 대규모 편차 추정을 적용하여 무작위 보행의 혼합 행동을 제어하는 것.
• 유한 리군의 정규원소에서 웨일군 공轭류로의 사상의 등분포를 증명하고, 캐터와 풀먼의 작업을 일반화하는 것.
• 특성다항식의 분해체를 최대 토러스의 분해체와 연결하여 문제를 G의 분해체 위의 갈루아 이론으로 환원하는 것.
• 분해체 위의 갈루아군이 분할 기저체 k_G와 동형이 되며, 이는 웨일군 W(G)와 지수적으로 감소하는 오차를 가진다.

실험 결과

연구 질문

• RQ1 재수성 대수군의 산술부분군의 무작위 원소의 특성다항식의 분해체 갈루아군은 무엇인가?
• RQ2 무작위 보행의 길이가 증가함에 따라 갈루아군은 어떻게 渐近적으로 행동하는가?
• RQ3 유한 리군의 형식에서 프로베니우스 공轭류는 웨일군 공轭류에 대해 어느 정도 등분포하는가?
• RQ4 한계 갈루아군 Π(G)는 명시적으로 기술할 수 있는가? 그리고 언제 웨일군 W(G)와 일치하는가?
• RQ5 기대 갈루아군으로의 수렴 속도는 무엇이며, 지수적 경계로 정량화할 수 있는가?

주요 결과

• 반단소 군 G에 대해, 무작위 보행 원소의 분해체 갈루아군이 웨일군 W(G)와 동형일 확률은 1 + O(c⁻ⁿ)이며, 이는 c > 1에 대해 지수적 수렴을 보임을 의미한다.
• 일반적인 재수성 경우, 갈루아군은 W(G)를 포함하는 유한군의 부분상환군 Π(G)와 동형이며, 이는 n → ∞일 때 확률이 1로 수렴한다.
• G가 스플릿일 경우, Π(G)는 정확히 웨일군 W(G)이며, k 위의 분해체 갈루아군은 W(G)와 지수적으로 감소하는 오차를 가진다.
• 분할 기저체 k_G 위의 분해체 갈루아군은 W(G)와 지수적으로 감소하는 오차를 가진다. 이는 기하학적으로 스플릿인 설정에서 원칙을 확인한다.
• 유한 리군의 정규원소에서 웨일군 공轭류로의 사상의 등분포가 확립되었으며, 이는 筛법 추론의 핵심이다.
• 무작위 보행 모델은 W(G) 갈루아군을 가진 다항식에 대한 구체적이고 계산 가능한 접근을 가능하게 하며, 길이가 유계인 그러한 다항식을 구성한 바 있다.