$\mathrm{PGL}_n(\mathbb{C})$-character stacks and Langlands duality over finite fields

기술적 요약: 유한체 위의 $PGL_n(\mathbb{C})$-특성 스택과 랭글랜즈 쌍대성

문제 제기
본 논문은 구멍이 뚫린 리만 곡면과 관련된 일반적 $PGL_n(\mathbb{C})$-특성 스택의 혼합 포인카레 다항식을 조사한다. $GL_n$ 및 $SL_n$ 특성 스택의 코호몰로지는 하우스 (Hausel), 레텔리에 (Letellier), 로드리게스빌레가스 (Rodriguez-Villegas), 멜리트 (Mellit), 쉬프만 (Schiffman) 등에 의해 광범위하게 연구되어 왔으나, $PGL_n$의 경우는 고유한 난제를 제시한다. 구체적으로, $PGL_n$ 켤레류는 비연결 안정자 (stabilizer) 를 가질 수 있어, 비자명한 기약 등변 국소계를 초래한다. 저자들은 이러한 국소계의 계수를 가진 스택의 교차 코호몰로지를 계산하고, 이러한 기하학적 불변량과 유한군 $PGL_n(\mathbb{F}_q)$ 및 $SL_n(\mathbb{F}_q)$의 표현론 사이의 연결고리를 확립하는 것을 목표로 한다.

방법론
저자들은 기하학적 표현론, 교차 코호몰로지, 그리고 특성 쉐이프 (character sheaves) 이론의 조합을 활용한다. 핵심 방법론은 다음과 같다:

1. 기하학적 설정: 표현 다양체 $X_C$를 $PGL_n$ 작용에 대한 몫으로 정의하여 특성 스택 $\mathcal{M}_C$를 정의한다. 저자들은 켤레류의 자리스키 폐포에 의해 유도된 층화 (stratification) 와 안정자의 비연결 성분에서 비롯된 유한군의 작용에 특히 중점을 두어 이러한 스택의 기하학을 분석한다.
2. 꼬임 교차 코호몰로지: 비연결 안정자를 처리하기 위해, 저자들은 일반적 $GL_n$-특성 스택에 대한 유한군 $H(C)$의 작용을 포함하는 "꼬임 (twisted)" 설정을 도입한다. 그들은 스택의 교차 코호몰로지의 오일러 특성을 $\mathbb{F}_q$ 위의 대응하는 다양체의 코호몰로지에 대한 프로베니우스의 trace 와 연관시키기 위해 유한체 위의 점 수 세기에 대한 카츠 (Katz) 의 결과를 일반화한다.
3. 랭글랜즈 쌍대성과 특성 쉐이프: 본 논문은 루스티그 (Lusztig) 의 특성 쉐이프 이론을 활용한다. 이는 $PGL_n$-켤레류 위의 국소계와 쌍대군 $SL_n$ 위의 특성 쉐이프 사이의 대응을 확립한다. 여기에는 기하학적 유도 함자 (induction functors) 를 분석하고 쌍대군으로의 제한 하에서 비정상 쉐이프 (perverse sheaves) 의 분해를 다룬다.
4. 조합적 공식: 저자들은 혼합 포인카레 급수에 대한 추측적 표현을 공식화하기 위해 대칭 함수, 구체적으로 맥도널드 다항식 (Macdonald polynomials) 과 후크 함수 ($H_{g,\omega}$) 를 활용한다. 그들은 "순수 부분 (pure part)"($t \to -1$의 특수화) 과 오일러 특수화에 대한 명시적 공식을 유도한다.

주요 기여 및 결과

• 혼합 포인카레 급수에 대한 추측적 공식: 저자들은 안정자 군 $A(C)$의 특성 $\chi$에서 비롯된 국소계 $\mathcal{E}_\chi$를 계수로 갖는 $PGL_n$-특성 스택의 혼합 포인카레 급수 $IH_c(\mathcal{M}_C, \mathcal{E}_\chi; q, t)$에 대한 추측적 조합 공식 (추측 5.5.12) 을 제안한다. 이 공식은 유리 함수 $H_{g, \omega_r}$과 계수 $\Delta^s_\chi$로 가중된 특정 조합 유형에 대한 합을 포함한다.
• 오일러 특수화 하에서의 증명: 주요 정리 (정리 1.1.2 및 정리 5.5.11) 는 오일러 특수화 ($t \to -1$) 하에서 제안된 공식이 참임을 증명한다. 이 결과는 스택의 기하학을 유한체 위의 점 수와 연결한다.
• 구조 계수의 보간: 하나의 중심 결과 (정리 1.2.1 및 정리 8.5.1) 는 특성 스택의 오일러 다항식이 두 개의 서로 다른 기반 링의 구조 계수를 보간함을 보여준다:
  1. 켤레류 위의 국소계의 교차 코호몰로지 복소체의 특성 함수를 기저로 갖는, 컨볼루션 곱을 갖춘 $PGL_n(\mathbb{F}_q)$ 위의 클래스 함수의 링.
  2. 루스티그의 $SL_n$ 위의 특성 쉐이프의 특성 함수를 기저로 갖는, 점별 곱셈을 갖춘 $SL_n(\mathbb{F}_q)$ 위의 클래스 함수의 링.
• 비아벨 푸리에 변환 유추: $PGL_n(\mathbb{F}_q)$ 위의 컨볼루션 곱과 $SL_n(\mathbb{F}_q)$ 위의 텐서 곱 사이에 확립된 관계는 푸리에 역변환 공식의 곱셈적 버전으로 기술된다. 이는 기약 특성에 직접 대응하는 특성 쉐이프를 갖는 잘 알려진 $GL_n$ 그림을, 비연결 안정자로 인해 대응이 더 정교한 $SL_n/PGL_n$ 쌍대성으로 일반화한다.
• 명시적 검증: 추측은 반단순 정규 켤레류를 갖는 $n=2$, $k=4$(네 개의 구멍) 의 경우에 대해 명시적으로 검증된다 (정리 1.1.3 및 정리 9.5.2).

의의
본 논문은 랭글랜즈 쌍대성의 맥락에서 유한 재약군 (finite reductive groups) 의 표현론과 특성 스택의 코호몰로지를 연결하는 통합된 기하학적 프레임워크를 제공한다고 주장한다. $GL_n$에서 $PGL_n$으로 결과를 확장함으로써, 저자들은 비연결 안정자가 도입하는 복잡성에 대처한다. 이 작업은 이러한 모듈라이 공간의 혼합 호지 구조가 유한군에 대한 특성 링의 구조 상수에 관한 깊은 산술 정보를 인코딩함을 시사한다. 저자들은 혼합 포인카레 다항식에 대한 완전한 추측은 여전히 열려 있지만, 증명된 오일러 특수화와 명시적인 $n=2$ 사례가 제안된 공식과 근본적인 쌍대성 그림의 유효성에 대한 강력한 증거를 제공한다고 지적한다. 이러한 결과는 하우스, 레텔리에, 그리고 로드리게스빌레가스의 이전 작업의 일반화로 제시되며, 특히 비일반적 (non-generic) 이고 비연결 안정자 설정에 그들의 방법을 적응시킨 것이다.