Counting points on generic character varieties

기술 요약: 일반적인 캐릭터 다양체 상의 점 개수 세기

문제 정의
본 논문은 유한체 위에서 임의의 축퇴 환원 군(reductive groups) $G$에 대하여, 구멍 뚫린 곡면 군(punctured surface groups) 및 정규 반단순 공액 클래스(regular semisimple conjugacy classes)와 연관된 캐릭터 다양체의 점의 개수를 산출하는 문제를 다룬다. $GL_n$ 캐릭터 다양체의 기하학적 구조와 위상적 성질은 Hausel, Letellier, Rodriguez-Villegas [HRV08, HLRV11]의 기초적인 연구 덕분에 잘 이해되어 있으나, 일반적인 축퇴 환원 군에 대한 캐릭터 다양체에 대한 이해는 제한적이다. 구체적으로, 저자들은 곱셈적 캐릭터 다양체(구멍 뚫린 곡면의 기본 군과 연관됨)와 그 가산적(additive) 유사체(리 대수 $\mathfrak{g}$와 연관됨)에 대한 $\mathbb{F}_q$-점의 수를 결정하고자 한다. 본 연구는 다양체가 매끄럽고 등차원(equidimensional)임을 보장하는 조건인 "일반적인(generic)" 공액 클래스 튜플에 초점을 맞춘다.

방법론
저자들은 유한 리 군의 표현론, Deligne-Lusztig 이론, 그리고 리 대수의 조화 해석(harmonic analysis)의 결합된 방법을 사용한다.

1. 곱셈적 경우 (Multiplicative Case):

   • 출발점은 Frobenius Mass Formula이며, 이는 유한 군 $G(\mathbb{F}_q)$의 기약 복소 캐릭터들로 표현 가능다.
   • 공액 클래스들이 일반적이고 강한 정규 원소(strongly regular elements)를 포함한다는 가정을 사용하여, 저자들은 Deligne와 Lusztig [DL76]의 정리를 적용한다. 이는 기여하는 캐릭터들을 주 계열 표현(principal series representations)으로 제한한다.
   • 캐릭터에 대한 합은 표현들을 "타입" $\tau = [L, \rho]$로 그룹화하여 재구성된다. 여기서 $L$은 표준 엔도스코피 군(pseudo-Levi subgroup)이고 $\rho$는 $L$의 Weyl 군의 기약 캐릭터이다.
   • 캐릭터 합은 엔도스코피 군의 포셋(poset) 상에서의 Möbius inversion을 통해 평가된다. 핵심 단계는 듀얼 토러스(dual torus)에 대한 Frobenius 작용의 안정자(stabilizer)를 분석하는 것이며, 컴포넌트 그룹이 분리되도록 하기 위해 유한 기저 변경(finite base change)이 필요하다.

2. 가산적 경우 (Additive Case):

   • 가산적 캐릭터 다양체는 리 대수 $\mathfrak{g}$와 adjoint orbit을 통해 정의된다. 점 계산 문제는 adjoint orbit의 특성 함수의 푸리에 변환을 포함하는 가산적 Frobenius Mass Formula의 유사체를 통해 접근된다.
   • 저자들은 이 푸리에 변환을 평가하기 위해 Kazhdan과 Letellier [Let05]의 결과를 활용한다. 변환의 비영(non-vanishing)은 리 대수의 "분리된(split)" 원소와 연결된다.
   • 곱셈적 경우와 유사하게, 합은 "타입" $\tau = [L, N]$($L$은 Levi subgroup, $N$은 nilpotent orbit)에 의해 분해된다.
   • 평가는 Green 함수와 Springer fiber의 성질에 의존한다. 저자들은 $E_8$ 인자를 가진 군의 경우, 점의 개수가 다항식이 되도록 보장하기 위해 이차 기저 변경(quadratic base change)이 필요할 수 있음을 언급한다.

주요 기여 및 결과

1. 곱셈적 다양체에 대한 다항식 계산:

   • 정리 2: 저자들은 축퇴 군 $G$와 연관된 일반적인 캐릭터 다양체 $X$에 대하여, 모든 $m \geq 1$에 대해 $|X(\mathbb{F}_{q^{rm}})|$가 다항식 $f_X(q^{rm})$으로 주어지는 양의 정수 $r$이 존재함을 증명한다.
   • 대칭적 성질 (Palindromic Property): 계산 다항식 $f_X(t)$는 회문적(palindromic, 계수가 대칭)임이 밝혀졌다. 이는 이 다양체가 "기이한(curious)" Poincaré 쌍대성과 "기이한" Hard Lefschetz 성질을 만족함을 시사하며, 이 다양체들에 대한 $P=W$ 추측을 뒷받침한다.
   • 연결 성분: $X$의 연결 성분의 수는 $|\pi_0(Z(\check{G}))|$로 결정된다. 여기서 $\check{G}$는 Langlands dual group이다.
   • 독립성: 다항식 $f_X$는 군 $G$, 속수(genus) $g$, 그리고 구멍의 수 $n$에만 의존하며, 선택된 특정 일반적 공액 클래스에는 독립적이다.

2. 가산적 다양체에 대한 다항식 계산:

   • 정리 6: 저자들은 가산적 캐릭터 다양체 $Y$ 또한 (즉, $|Y(\mathbb{F}_{q^{2m}})| = f_Y(q^{2m})$인) 다항식 계산이 가능함을 입증한다.
   • 비음수 계수 (Non-negative Coefficients): ($GL_n$에만 존재하는) quiver variety와의 직접적인 연결 고리가 부재함에도 불구하고, 랭크 7 미만 군들에 대한 계산적 증거는 $f_Y$의 계수가 비음수임을 시사한다. 이는 $Y$의 코호몰로지가 순수(pure)하다는 추측을 뒷받침한다.
   • 연결성: 가산적 다양체 $Y$는 연결되어 있음이 증명되었다.

3. 명시적 공식 및 예시:

   • 본 논문은 root system 데이터, Weyl group 캐릭터, 그리고 Green 다항식들로 이루어진 $f_X$와 $f_Y$의 명시적인 유리 함수 공식을 제공한다.
   • 섹션 7은 저랭크 군($GL_n, SO_5, G_2, B_3, C_3, D_4, F_4, E_6$)과 특정 속수 및 구멍의 값에 대한 상세한 표와 명시적인 다항식을 제시한다.

의의 및 주장
본 논문은 타입 $A$ ($GL_n$)에서 임의의 축퇴 환원 군으로 Hausel, Letellier, Rodriguez-Villegas의 기념비적인 결과를 일반화한다고 주장한다.

• 구조적 통찰: 일반적인 캐릭터 다양체가 다항식 계산이 가능하고 회문적임을 보여줌으로써, $GL_n$에서 알려진 행동과 유사하게 축퇴 설정에서도 깊은 위상적 성질(Hodge-Tate 구조, Poincaré 쌍대성, Hard Lefschetz)을 가짐을 입증한다.
• Kac 다항식의 축퇴 버전: 가산적 다양체의 계산 다항식은 comet-shaped quiver에 대한 Kac 다항식의 축퇴 버전으로 제안된다. 계수의 비음수성은 Borcherd algebra의 표현론과 연결되는 추측이다.
• 미래의 추측을 위한 토대: 저자들은 자신들의 결과가 $GL_n$에서 알려진 Macdonald 다항식 공식과 유사하게, 축퇴 설정에서의 mixed Hodge 다항식에 관한 추측을 정립하는 데 필요한 데이터를 제공한다고 언급한다. 저자들은 일반적인 $G$에 대해 계수의 비음수성을 증명하는 것이 quiver variety와의 직접적인 대응 관계가 없기 때문에 여전히 비자명한 미해결 과제임을 강조한다.

이 연구는 중심(center) $Z(G)$가 연결되어 있고 체의 표수(characteristic)가 $G$에 대해 "매우 좋은(very good)" 상태라는 가정에 크게 의존한다. 저자들은 연결된 중심 가정이 완화될 경우 dual group에서의 불연속적 중심화(disconnected centralizers)로 인해 공식이 복잡해질 것임을 인정하며, genericity 가정이 다양체의 매끄러움과 등차원성을 위해 필수적임을 명시한다.