[논문 리뷰] On the E-polynomials of a family of Character Varieties

Martı́n Mereb|arXiv (Cornell University)|2010. 06. 07.

Algebraic Geometry and Number Theory참고 문헌 29인용 수 25

한 줄 요약

이 논문은 유한체 $\mathbb{F}_q$ 위에서 다항점수를 이용하여 $M_g(SL_n)$의 E다항식을 계산한다. 이를 위해 $GL_n(\mathbb{F}_q)$와 $SL_n(\mathbb{F}_q)$의 문자표, 프로베니우스의 공식, 그리고 집합분할에 대한 모비우스 역행렬을 활용한다. 핵심 결과는 $\gcd(D,t) = 1$일 때에만 기여가 존재하고, 이 경우 모비우스 함수와 군의 순서를 포함하는 정확한 공식을 얻는 것이다.

ABSTRACT

We compute the E-polynomials of a family of twisted character varieties by proving they have polynomial count, and applying a result of N. Katz on the counting functions. To compute the number of GF(q)-points of these varieties as a function of q, we used a formula of Frobenius. Our calculations made use of the character tables of Gl(n,q) and Sl(n,q), previously computed by J. A. Green and G. Lehrer, and a result of Hanlon on the Möbius function of a subposet of set-partitions. The Euler Characteristics of these character varieties are calculated with these polynomial.

연구 동기 및 목표

• 성 $g$ 및 $n \geq 2$에 대해 휘어진 문자 다양체 $M_g(SL_n)$의 E다항식을 계산하는 것.
• 이 다양체의 $\mathbb{F}_q$-점의 수가 $q$에 대한 다항식임을 확립하여, 카츠의 정리에 의한 E다항식 계산을 가능하게 하는 것.
• 표현 이론, 분할의 조합론, 그리고 집합분할의 부분순서집합에 대한 모비우스 역행렬을 이용하여 E다항식의 닫힌 형태 표현을 유도하는 것.
• E다항식이 비영이 되는 정확한 조건, 특히 $\gcd(D,t) = 1$과 군의 순서를 포함하는 조건을 규명하는 것.

제안 방법

• 프로베니우스의 공식을 사용하여 $GL_n(\mathbb{F}_q)$와 $SL_n(\mathbb{F}_q)$ 위에서의 문자합으로 $M_g(SL_n)$의 $\mathbb{F}_q$-점 수를 계산한다.
• 그린과 르레르가 이전에 계산한 $GL_n(\mathbb{F}_q)$와 $SL_n(\mathbb{F}_q)$의 문자표를 활용하여 문자합을 평가한다.
• 집합분할의 부분순서집합 $\Pi_\rho$에 대한 모비우스 역행렬을 적용하여 안정자군을 제어하고, 수를 세는 문제를 단순화한다.
• 새로운 차수 함수를 도입하고 문제를 몫군 $\Gamma_D / \langle \delta_s \rangle$ 위로 축소하며, 군론적 조건을 통해 그 순서를 분석한다.
• 하놀론의 결과를 활용하여 집합분할의 부분순서집합에 대한 모비우스 함수를 적용하여 누적합을 역행렬하고 최종 수를 복원한다.
• 다항점수의 성질을 이용하여, 다양체가 다항점수를 가짐을 이용해 카츠의 정리를 적용하여 다항점수를 E다항식으로 승격시킨다.

실험 결과

연구 질문

• RQ1 주어진 성 $g$ 및 $n \geq 2$에 대해 휘어진 문자 다양체 $M_g(SL_n)$의 E다항식은 무엇인가?
• RQ2 E다항식이 비영이 되는 조건은 $q$와 군 매개변수에 대해 어떤가?
• RQ3 $M_g(SL_n)$의 $\mathbb{F}_q$-점 수는 $q$에 대한 다항식으로 어떻게 표현될 수 있으며, 그 구조는 어떠한가?
• RQ4 모비우스 함수와 집합분할의 부분순서집합은 E다항식 계산에 어떤 역할을 하는가?
• RQ5 다양체 위에서 군 작용의 안정자군은 점 수와 최종 E다항식에 어떤 영향을 미치는가?

주요 결과

• $M_g(SL_n)$의 E다항식은 $D$와 $t$가 군과 표현과 관련된 매개변수일 때 $\gcd(D,t) = 1$이면 비영이 되며, 이 외에는 영이 된다.
• $M_g(SL_n)$의 $\mathbb{F}_q$-점 수는 $q$에 대한 다항식이며, 이는 카츠의 정리를 적용하여 E다항식을 계산할 수 있음을 보여준다.
• $\gcd(D,t) = 1$이면, E다항식은 모비우스 함수 $\mu(b_d)$, 요소 $(-b_d)^{m-1}(m-1)!$, 그리고 $\frac{q-1}{t}$를 포함하는 닫힌 형태의 표현식으로 주어진다.
• $\gcd(D,t) \neq 1$이면, 모비우스 역행렬과 군의 순서 분석에 의해 E다항식이 영이 된다.
• 누적합 $bf(\nu)$에 대한 유일한 비영 기여는 최상위 집합분할 $b_1$에서 발생하므로, 역행렬 과정이 단순화된다.
• 최종적으로, E다항식의 공식은 $\gcd(D,t) = 1$이면 $Z(D,t,b_d,\vec{\lambda}) = \mu(b_d)(-b_d)^{m-1}(m-1)! \cdot \frac{q-1}{t}$이고, 그렇지 않으면 0이다.