[논문 리뷰] Fox-Neuwirth-Fuks cells, quantum shuffle algebras, and Malle's conjecture for function fields

Jordan S. Ellenberg, TriThang Tran외 1명|arXiv (Cornell University)|2017. 01. 17.

Advanced Algebra and Geometry참고 문헌 2인용 수 8

한 줄 요약

이 논문은 함수체 $\mathbb{F}_q(t)$에 대한 Malle 추측의 약한 형태에서 상계를 증명하며, 히르츠스 공간의 코homology와 양자 셔플 대수 간의 연결을 확립함으로써 이를 달성한다. 이에 따라 $\mathbb{F}_q(t)$의 $G$-확장 중 판별식이 $X$ 이하인 수는 $q$가 충분히 크고 $\#G$와 서로소일 경우 $C(G)X^{a(G)}\log(X)^{e(G)}$로 유계화됨을 보이며, 여기서 $e(G)$는 관련 순서화된 링의 겔판트-키릴로프 차원에 의해 유계화된다.

ABSTRACT

The purpose of this paper is to prove the upper bound in Malle's conjecture on the distribution of finite extensions of $\mathbb{F}_q(t)$ with specified Galois group. As in previous work of Ellenberg-Venkatesh-Westerland, our result is based upon computations of the homology of braid groups with certain (exponential) coefficients. However, the approach in this paper is new, relying on a connection between the cohomology of Hurwitz spaces and the cohomology of quantum shuffle algebras.

연구 동기 및 목표

• 주어진 갈루아 군 $G$를 가진 $\mathbb{F}_q(t)$의 유한 확장 수에 대한 약한 Malle 추측의 상계를 확립하는 것.
• 유한체 위에서의 히르츠스 공간 코homology를 양자 셔플 대수와 니하르스 대수에 연결함으로써, 위상수학적 및 대수적 방법을 통해 코homological 계산을 가능하게 하는 것.
• $q$가 충분히 크고 $\#G$와 서로소일 경우, 이러한 확장의 증가율이 $X^{a(G)}\log(X)^{e(G)}$로 유계화됨을 보이며, $e(G)$는 군론적 자료로부터 계산 가능함을 보이는 것.
• 이전에 알려진 사례를 넘어서 임의의 전이 군 $G \leq S_m$에 적용 가능한 일반적 프레임워크를 제공하는 것, 특히 함수체에 대해

제안 방법

• 모듈리 공간인 히르츠스 커버의 산술기하학을 활용하여, 비교 정리들을 통해 그들의 $\ell$-adic 코hom로지와 위상수학적 특이 코homology를 연결한다.
• 레프셰츠 추적 공식을 적용하여 히르츠스 공간 위의 $\mathbb{F}_q$-유리점 수를 세며, 점 수를 코homology 군 위의 프로베니우스 추적과 연결한다.
• 군 $G$에 의해 결정되는 브레이드된 벡터 공간 $V$와 관련된 양자 셔플 대수와 브레이드된 교환 대수 이론에 의존하며, 이는 히르츠스 공간의 코homology를 모델링한다.
• 군 $G$에 관련된 순서화된 링 $R$의 겔판트-키릴로프 차원 $d$를 계산하며, 이는 상계에서 지수 $e(G) = d - 1$를 결정한다.
• 코homology 위의 프로베니우스 작용과 모노드로미 자료를 이용하여 코homological 기여가 $n^{d-1}$로 증가함을 보장함으로써, 점 수에 대한 원하는 하한을 이끌어내는 것.
• Woo21의 결과를 적용하여 감소된 슈어 커버와 $U'(G,c)$의 구조를 검증하며, $q-1$이 특정 나눗셈 조건을 만족할 경우, 예를 들어 $A_4$에 대해 $3 \mid q-1$일 경우 프로베니우스 작용이 자명해짐을 보장한다.

실험 결과

연구 질문

• RQ1 판별식이 $X$ 이하인 $\mathbb{F}_q(t)$의 $G$-확장 수의 점점 증가율은 어떻게 되는가?
• RQ2 모든 유한 전이 군 $G \leq S_m$에 대해 함수체에서 약한 Malle 추측의 상계를 확립할 수 있는가?
• RQ3 산술통계의 맥락에서 히르츠스 공간의 코homology는 양자 셔플 대수와 니하르스 대수와 어떻게 관련되는가?
• RQ4 어떤 조건에서 프로베니우스 작용이 관련 코homology 군에서 자명해지며, 점 수 계산 접근법을 가능하게 하는가?
• RQ5 상한에서 로그 인자에 대한 정확한 지수 $e(G)$는 무엇이며, 이는 군론적 자료로부터 어떻게 결정되는가?

주요 결과

• 모든 $q > Q(G)$에서 $\#G$와 서로소일 경우, $\mathbb{F}_q(t)$의 $G$-확장 중 판별식이 $X$ 이하인 수는 $C(G)X^{a(G)}\log(X)^{e(G)}$로 유계화되며, 이는 약한 Malle 추측의 상계를 증명한다.
• 로그 인자에 있는 지수 $e(G)$는 $|G| - 1$ 이하로 유계화되며, 군 $G$에 관련된 순서화된 링 $R$의 겔판트-키릴로프 차원 $d$에 대해 $d - 1$로 취할 수 있다.
• $G = A_4$인 경우, $q \equiv 1 \pmod{3}$일 때, $A_4$에 포함된 갈루아 군을 가진 4차 확장 중 판별식 $\leq X$인 수는 $C_1 X^{1/2} (\log X)^2 \leq N_{A_4}(\mathbb{F}_q(t); X) \leq C_2 X^{1/2} (\log X)^2$를 만족하며, 상수 항을 제외하고 Malle의 예측과 일치한다.
• 히르츠스 공간의 코homology는 양자 셔플 대수와 연결되어 있으며, 이는 위상수학적 및 산술적 불변량을 계산하기 위해 대수적 구조를 사용할 수 있도록 한다.
• 프로베니우스 작용이 $U'(G,c)$ 위에서 자명해지며, 이는 $q-1$이 관련 공轭류의 차수로 나누어질 경우, 예를 들어 $A_4$에 대해 $3 \mid q-1$일 경우에 해당하며, 이는 점 수 계산 접근법에 필수적이다.
• 이 방법은 $e(G)$에 대해 유한하고 조합적으로 계산 가능한 유계를 제공하며, 주어진 각 $G$에 대해 상한이 효과적으로 적용 가능하다.