[논문 리뷰] A trace formula for the distribution of rational $G$-orbits in ramified covers, adapted to representation stability

Nir Gadish|arXiv (Cornell University)|2017. 03. 06.

Advanced Algebra and Geometry참고 문헌 5인용 수 6

한 줄 요약

이 논문은 유한 체 위의 대수적 다양체의 분기된 갈로아 쌍대 덮개에서 표현 안정성에 적합한 추적 공식을 개발하여, 비자명한 안정자군을 가진 유리점 궤도 위의 프로베누스 작용을 연구할 수 있게 한다. 또한 대칭군의 양하부분군의 여부에 대한 순환형태 분포에 대한 명시적 공식을 유도하며, 이전의 제곱 자유 다항식 연구를 특성 다항식과 생성함수를 통해 중복도를 포함하여 확장한다.

ABSTRACT

A standard observation in algebraic geometry and number theory is that a ramified cover of an algebraic variety $\widetilde{X} ightarrow X$ over a finite field $F_q$ furnishes the rational points $x\in X(F_q)$ with additional arithmetic structure: the Frobenius action on the fiber over $x$. For example, in the case of the Vieta cover of polynomials over $F_q$ this structure describes a polynomial's irreducible decomposition type. Furthermore, the distribution of these Frobenius actions is encoded in the cohomology of $\widetilde{X}$ via the Grothendieck-Lefschetz trace formula. This note presents a version of the trace formula that is suited for studying the distribution in the context of representation stability: for certain sequences of varieties $(\widetilde{X}_n)$ the cohomology, and therefore the distribution of the Frobenius actions, stabilizes in a precise sense. We conclude by fully working out the example of the Vieta cover of the variety of polynomials. The calculation includes the distribution of cycle decompositions on cosets of Young subgroups of the symmetric group, which might be of independent interest.

연구 동기 및 목표

• 비자명한 안정자군을 가진 군 작용이 있는 분기 덮개에 대해 그로텐디크-레프셰츠 추적 공식을 확장하여 표현 안정성 맥락에서 산술 통계를 가능하게 한다.
• 비자유군 작용을 가진 다양체에서 유리 궤도 위의 프로베누스 유도 순열의 분포를 계산하는 실용적 도구를 제공한다.
• 새로운 나눗셈 기호 대수를 사용하여 제곱 자유 다항식에 대한 통계를 중복근을 포함한 일반적인 다항식으로 일반화한다.
• 유한체 위의 다항식 통계와 대칭군의 양하부분군의 여부에서의 순환형태 분포 사이의 직접적인 연결 고리를 설정한다.
• 노일레턴트 변수와 평가 사상(evaluation map)을 사용하여 이러한 여부에서 순환 수의 명시적 생성함수와 기대값을 유도한다.

제안 방법

• 안정자군이 비자명할 경우 프로베누스 순열에 대한 평균화된 특성 평가를 정의하여, 분기 덮개를 다룰 수 있도록 그로텐디크-레프셰츠 추적 공식을 적응시킨다.
• 산술 데이터를 코어딩하기 위해 다항식 공간 위의 형식적 나눗셈 기호 대수를 도입하며, 이를 대칭군 표현과 연결한다.
• 변수 $ t_k $ 와 순서 $ r_i+1 $ 인 노일레턴트 원소 $ \epsilon_i $ 를 포함한 생성함수를 사용하여 순환형태 분포를 모델링한다.
• 모든 $ \epsilon_i^j \mapsto 1 $ 이 되는 $ \mathbb{Q} $-선형 평가 사상 $ \Phi $ 를 적용하여 노일레턴트를 제거하고 유리 계수를 추출한다.
• 특성 다항식 $ \binom{X}{\mu} $ 를 사용하여 특정 유형의 순환 구성 수를 세며, 유도된 생성함수를 통해 기대값을 계산한다.
• 공식을 대칭군의 양하부분군의 여부에서의 작용으로 재해석하며, 공액화에 의해 유도되는 순열 작용을 사용한다.

실험 결과

연구 질문

• RQ1 비자명한 안정자군을 가진 군 작용이 있는 분기 덮개에 대해 그로텐디크-레프셰츠 추적 공식을 어떻게 적응시킬 수 있는가?
• RQ2 대칭군 $ S_N $ 의 양하부분군의 여부에서 순환형태의 분포는 어떻게 되는가? 특히 여부가 공액화에 대해 안정화될 경우 어떻게 되는가?
• RQ3 특성 다항식은 이러한 여부에서 순환형태 통계의 기대값을 어떻게 계산하는 데 사용할 수 있는가?
• RQ4 중복근을 가진 $ \mathbb{F}_q $ 위의 다항식 산술과 대칭군 표현 사이의 연결 고리는 무엇인가?
• RQ5 노일레턴트 변수와 평가 사상을 포함한 생성함수는 대칭군 여부에서 순환 수의 정확한 공식을 도출할 수 있는가?

주요 결과

• Young 부분군 $ H $ 를 가진 여부 $ gH \subseteq S_N $ 에서 특성 다항식 $ \binom{X}{\mu} $ 의 기대값은 $ \mathbb{E}_{S_N}[\binom{X}{\mu}] \Phi\left[ \prod_{k=1}^{\infty} \left( \sum_{\{i:d_i|k\}} \epsilon_i^{k/d_i} d_i \right)^{\mu_k} \right] $ 로 주어진다.
• 여부 $ gH $ 에서 순환형태 $ \mu $ 를 가진 원소의 수는 $ \frac{|H| \cdot |C_\mu|}{N!} \Phi\left[ \prod_{k=1}^{N} \left( \sum_{\{i:d_i|k\}} \epsilon_i^{k/d_i} d_i \right)^{\mu_k} \right] $ 이며, 여기서 $ C_\mu $ 는 형상 $ \mu $ 의 공액류이다.
• 여부 $ gH $ 에서 $ k $-순환의 기대 수는 $ \frac{1}{k} \sum_{\substack{i \\ d_i|k \\ d_i r_i \geq k}} d_i $ 로 주어지며, 이는 $ \mu_k=1 $, $ \mu_j=0 $ 인 경우에서 도출된다.
• 여부 $ gH $ 에서 $ \binom{X}{\mu} $ 의 기대값을 위한 생성함수는 $ \Phi\left[ \exp\left( \sum_{k=1}^{\infty} \sum_{\{i:d_i|k\}} \epsilon_i^{k/d_i} d_i \frac{t_k}{k} \right) \right] $ 이다.
• 추적 공식은 안정자군이 비자명할 경우에도 분기 덮개에서 유리 궤도 위의 프로베누스 작용 분포를 평균 특성 평가를 통해 정확히 코딩한다.
• 이 방법은 제곱 자유 다항식에서의 결과를 일반적인 $ \mathbb{F}_q $ 위의 다항식으로 확장하여 대칭군 여부에서 순환형태 통계를 체계적으로 계산할 수 있는 방법을 제공한다.