[논문 리뷰] On the distribution of the trace in the unitary symplectic group and the distribution of Frobenius

Gilles Lachaud|arXiv (Cornell University)|2015. 06. 22.

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

한 줄 요약

이 논문은 Weyl의 적분 공식과 대칭 함수를 이용하여 유니터리 심플렉틱 군 USp(2g)에서의 추적 분포를 연구하며, 특히 g=2인 경우에 초점을 맞춘다. 초함수, 레지오드르 함수, 타원 적분, Meijer G-함수를 이용한 추적 밀도에 대한 네 가지 명시적 표현을 유도하고, Viète 사상에 의한 새로운 적분 공식을 수립하여 분포를 대칭 다항식과 대칭 알코브와 연결한다. 주요 기여는 Sato-Tate 추측과 유한체 위의 곡선에서의 점 수 계산에 관련된 추적 분포에 대한 정밀한 해석적 기술이다.

ABSTRACT

The purpose of this article is to study the distribution of the trace on the unitary symplectic group. We recall its relevance to equidistribution results for the eigenvalues of the Frobenius in families of abelian varieties over finite fields, and to the limiting distribution of the number of points of curves. We give four expressions of the trace distribution if g = 2, in terms of special functions, and also an expression of the distribution of the trace in terms of elementary symmetric functions. In an appendix, we prove a formula for the trace of the exterior power of the identity representation.

연구 동기 및 목표

• 유니터리 심플렉틱 군 USp(2g)의 행렬 추적 분포를 분석하며, 특히 g=2 및 g=3의 경우에 중점을 둔다.
• 이 분포를 유한체 위의 아벨 다양체와 곡선의 프로베누스 고유값의 등분포와 연결한다.
• 특수 함수와 대칭 다항식을 이용하여 추적 밀도에 대한 명시적 해석적 표현을 도출한다.
• Viète 사상과 기본 대칭 함수를 이용하여 Weyl의 적분 공식을 재구성함으로써 새로운 적분 프레임워크를 제시한다.

제안 방법

• 각도(θ₁,…,θg)와 코사인(tj = 2cosθj)를 이용한 Weyl의 적분 공식을 적용하여 USp(2g)에서의 추적 분포를 유도한다.
• g=2인 경우 추적 밀도 fτ(x)를 가우스의 초함수를 이용해 표현: |x| ≤ 4일 때 fτ(x) = (1/(4π))(1 - x²/16)^4 × ₂F₁(3/2, 5/2; 5; 1 - x²/16).
• Viète 사상 s(t) = (s₁(t),…,sg(t))를 이용해 고유값을 기본 대칭 다항식으로 매핑하고, 대칭 알코브 Σg = s([−2,2]^g)를 정의한다.
• 대칭 함수로 변수를 바꾸어 새로운 적분 공식을 도출하고, fτ(x)를 초평면 절단 Vx = {s ∈ Σg | s₁ = x} 위에서의 적분으로 표현한다.
• 외부 텐서의 표준 표현의 추적과 대칭 다항식 사이의 연결을 맵 q를 통해 보여주며, 0 ≤ n ≤ g일 때 τn(m) = ∑ⱼ binom(g+2j−n,j) s_{n−2j}(t)임을 보인다.
• 대칭 다항식에서 특성 다항식의 계수로 가는 맵 q*가 동형사상임을 증명하며, 정수 계수를 가진 유니포텐트 하삼각행렬로 표현됨을 보인다.

실험 결과

연구 질문

• RQ1 USp(4)에서의 추적 분포에 대한 명시적 해석적 형태는 무엇이며, 특수 함수를 통해 어떻게 표현할 수 있는가?
• RQ2 Viète 사상과 대칭 알코브 구조는 추적 분포의 적분 공식을 어떻게 정교화하는가?
• RQ3 USp(2g)의 맥락에서 외부 텐서의 n제곱의 추적과 기본 대칭 다항식 사이의 관계는 무엇인가?
• RQ4 추적 분포는 유한체 위의 곡선 가중치에서 프로베누스 고유값의 등분포와 어떻게 관련되는가?
• RQ5 대칭 함수를 이용하여 대칭 알코브 위에서의 적분으로 추적 분포를 표현할 수 있는가?

주요 결과

• g=2일 때 추적 밀도는 |x| ≤ 4일 때 fτ(x) = (1/(4π))(1 - x²/16)^4 × ₂F₁(3/2, 5/2; 5; 1 - x²/16)로 명시적으로 주어진다.
• 성별 2에서의 추적 분포에 대해 네 가지 동치 표현이 도출되었다: 초함수, 레지오드르 함수, 타원 적분, Meijer G-함수를 이용한 표현.
• 공轭류 위에서의 추적 분포는 대칭 알코브 위의 적분으로 표현된다: fτ(x) = ∫_{Vx} αx(s) ds, 여기서 Vx = {s ∈ Σg | s₁ = x}이다.
• 표준 표현의 n차 외부 텐서의 추적은 τn(m) = ∑ⱼ binom(g+2j−n,j) s_{n−2j}(t)를 만족하며, g=2 및 g=3에 대해 명시적 공식이 제공된다.
• 대칭 다항식에서 특성 다항식의 계수로 가는 맵 q*는 동형사상이며, 정수 계수를 가진 유니포텐트 하삼각행렬로 표현된다.
• m ∈ USp(2g)의 특성 다항식은 ∏_{j=1}^g (u² - u t_j + 1)이며, t_j = 2cosθ_j이고, τ_n(m) = a_n(t)이다. 여기서 a_n(t)는 쌍대 다항식 전개의 계수이다.