Intersection cohomology of Popov-Vinberg varieties

문제 정의
본 논문은 단순 연결된 분리 가능(split) 반단순 대수군 $G$와 연관된 특이 아핀 다양체인 포포프-비인베르크(Popov–Vinberg) 다양체 $X_G$의 교차 호몰로지(intersection cohomology) 계산을 다룬다. $X_G$는 기본 아핀 공간 $G/U$($U$는 극대 유니포텐트 부분군) 상의 함수 환의 스펙트럼으로 정의되며, $G/U$를 자리스키 열린 부분 집합으로 포함하고 극대 컴팩트 부분군의 보편적 심플렉틱 임플로전(universal symplectic implosion) 역할을 한다. $X_G$의 위상은 파라볼릭 부분군에 의해 인덱싱된 궤도들에 의해 층화(stratified)되어 있음이 알려져 있으나, 교차 호몰로지 푸앵카레 다항식의 명시적인 계산은 제한적이었으며, 기존 문헌에서는 $SL_3$의 경우가 주요한 선행 사례였다. 저자들은 이 푸앵카레 다항식을 계산하기 위한 일반적인 재귀적 절차를 탐구하며, 특히 $G = SL_n$인 경우에 집중한다.

방법론
저자들은 복소 군 $G$를 정수 $\mathbb{Z}$ 위의 군 스킴으로 들어 올린 후, 충분히 큰 표수를 가진 유한체 $\mathbb{F}_q$로 베이스 체인지(base change)를 수행하는 전략을 사용한다. 이들의 방법론의 핵심은 그로텐디크-레프셰츠 트레이스 공식(Grothendieck–Lefschetz trace formula)을 사용하여 교차 호몰로지(IC) 셰프의 $\ell$-진 에탈 교차 호몰로지를 계산하는 데 있다.

주요 기술적 도구는 다음과 같다:

1. 층화 및 법선 슬라이스(Normal Slices): 단순 루트의 부분집합에 의해 인덱싱되는 $X_G$의 $G$-동변 층화를 활용하여, 저자들은 궤도에 대한 법선 슬라이스를 더 작은 포포프-비인베르크 다양체 $X_{G_S}$로 식별한다.
2. 재귀적 프레임워크: 저자들은 점의 개수(point counts)를 유한체 위의 교차 호몰로지 푸앵카레 다항식과 연결하는 [Pro18]의 정리를 적용한다. 이 정리는 다양체가 원뿔 작용(conical action)을 갖고 교차 호몰로지가 홀수 차수에서 소멸한다는 조건 하에, 다양체의 푸앵카레 다항식과 그 법선 슬라이스의 다항식 사이를 잇는 함수 방정식을 확립한다.
3. 비교 정리: 표준적인 비교 결과들을 통해 $\mathbb{F}_q$ 상의 $\ell$-진 에탈 코호몰로지 계산 결과를 복소수체 $\mathbb{C}$ 상의 위상적 교차 코호몰로지로 변환할 수 있다.

주요 기여 및 결과

• 재귀적 절차 (정리 3.4): 주요 결과는 $X_G$의 교차 호몰로지 푸앵카레 다항식 $P_G(t)$에 대한 재귀 공식이다. 이 공식은 $P_G(t)$를 레비 부분군 $G_S$와 연관된 포포프-비인베르크 다양체의 다항식 $P_{G_S}(t)$로 표현한다. 구체적으로, 비자명한 군 $G$에 대하여 다음과 같다:
  $$\frac{P_G(t)}{f_G(t)} = \sum_{S \subset \Delta} \frac{t^{d_{G_S}} P_{G_S}(t^{-1})}{f_{G_S}(t)}$$
  여기서 $f_G(t)$는 $G$의 지수(exponents)에 의해 결정되는 다항식이며, $d_G$는 $X_G$의 차원이다. 저자들은 교차 호몰로지가 홀수 차수에서 소멸하며, $P_G(t)$의 차수가 $d_G/2$보다 엄격히 작음을 증명한다.

• Type A로의 특수화 (따름정리 4.1): $G = SL_n$인 경우, 재귀식은 현저히 단순해진다. $X_{SL_n}$에 대한 다항식 $P_n(t)$는 $m < n$인 $P_m(t)$들만을 사용하여 계산될 수 있다. 저자들은 부록에서 $n \leq 13$에 대한 명시적인 계산을 제공한다.

• 생성 급수 및 함수 방정식 (명제 4.5): 저자들은 $u^n$의 계수가 $X_{SL_n}$의 $SL_n$-동변 교차 호몰로지의 힐베르트 급수가 되는 생성 급수 $\Psi(t, u)$를 정의한다. 이 급수에 대해 놀라울 정도로 단순한 함수 방정식을 도출하였다:
  $$\Psi(t^{-1}, u) \Psi(t, -u) = 1$$
  이 방정식은 특정 초기 조건이 주어졌을 때 해당 급수를 유일하게 결정한다.

• 베티 수 점근성 (명제 5.2): 본 논문은 $X_{SL_n}$의 $(2i)$-차 교차 호몰로지 베티 수 $c_i(n)$이 충분히 큰 $n$에 대하여 차수가 최대 $i/2$인 $n$에 대한 다항식임을 증명한다. 저자들은 이 다항식들이 이항 계수의 비음의 선형 결합일 것이라고 추측하며(추측 5.3), $i=9$까지의 계수에 대한 명시적인 공식을 제공한다.

• 대수적 구조 (섹션 6): 저자들은 모든 $n$에 대한 $X_n$의 (동변) 교차 호몰로지 그룹들의 직합으로 형성된 두 개의 이중 그레이디드(bigraded) 환 $R$과 $\tilde{R}$을 정의한다. 이들은 $\tilde{R}$의 힐베르트 급수가 $\Psi(t, u)$임을 보인다. 이들이 환의 구조를 완전히 기술할 수는 없으나, $\tilde{R}$이 비가환(non-commutative)임을 입증하고 낮은 호몰로지 차수에서의 환의 기저(basis)를 제공한다.

의의
본 논문은 포포프-비인베르크 다양체의 교차 호몰로지를 계산하기 위한 최초의 일반적인 재귀 메커니즘을 제공하며, 알려진 $SL_3$의 결과를 임의의 $SL_n$ 및 $G_2$와 같은 다른 군들로 확장한다. 이 연구는 이러한 특이 다양체와 단순 루트의 불리언 포셋(Boolean poset)의 카즈단-루스티그-스탠리(Kazhdan–Lusztig–Stanley) 다항식 사이의 연결을 확립함으로써, 이 특이 다양체들에 대한 연구를 확립된 조합론적 기법들과 통합한다. 생성 급수 $\Psi(t, u)$에 대한 단순한 함수 방정식의 발견은 심오한 기저 대수적 구조를 시사하며, 이는 연관된 비가환 환에 대한 연구를 촉발한다. 이 결과들은 보편적 심플렉틱 임플로전과 그 층화의 위상을 이해하기 위한 구체적인 계산 도구를 제공한다.