[논문 리뷰] From the Hecke Category to the Unipotent Locus

Minh-Tâm Quang Trinh|arXiv (Cornell University)|2021. 06. 14.

Advanced Algebra and Geometry참고 문헌 28인용 수 4

한 줄 요약

이 논문은 재구성된 군의 유니포텐트 부분군 위의 등변 보렐–무어 호몰로지로 히크 계량의 모노이드 성(trace)을 구성하며, 일반화된 스텐버그 스킴을 통해 코반스키–로잔스키 호몰로지를 실현한다. 이는 루스티그의 이국적 푸리에 변환을 통해 등급 문자 값을 갖는 이와하라–히크 대칭 대수 위의 추적으로 분해되며, A형에서 토르스 뭉치의 HOMFLY 다항식 항등식을 복원한다.

ABSTRACT

Let $W$ be the Weyl group of a split semisimple group $G$. Its Hecke category $\mathsf{H}_W$ can be built from pure perverse sheaves on the double flag variety of $G$. By developing a formalism of generalized realization functors, we construct a monoidal trace from $\mathsf{H}_W$ to a category of bigraded modules over a certain graded ring: namely, the endomorphisms of the equivariant Springer sheaf over the unipotent locus of $G$. We prove that: (1) On objects attached to positive braids $β$, the output is the weight-graded, equivariant Borel-Moore homology of a generalized Steinberg scheme $\mathcal{Z}(β)$. (2) Our functor contains, as a summand, one used by Webster-Williamson to construct the Khovanov-Rozansky link invariant. In particular, the Khovanov-Rozansky homology of the link closure of $β$ is fully encoded in the Springer theory of $\mathcal{Z}(β)$. Decategorifying, we get a trace on the Iwahori-Hecke algebra, valued in graded virtual characters of $W$. We give a formula for it in terms of a pairing on characters of $W$ called Lusztig's exotic Fourier transform, which generalizes it to all finite Coxeter groups. Using this formula, we establish properties of the trace like rationality, symmetry, and compatibility with parabolic induction. We also show that on periodic braids, the trace produces the characters of explicit virtual modules over Cherendik's rational double affine Hecke algebra. For $W = S_n$, we recover an identity of Gorsky-Oblomkov-Rasmussen-Shende relating these modules to the HOMFLY polynomials of torus knots.

연구 동기 및 목표

• 유니포텐트 부분군 위의 등변 스프링거 층의 자명사상으로부터 히크 계량 카테고리로의 모노이드 성 추적을 구성한다.
• 양의 브레이드의 전체 코반스키–로잔스키 호몰로지를 일반화된 스텐버그 스킴의 무게-중급 등변 보렐–무어 호몰로지로 실현한다.
• 이와하라–히크 대수 위의 문자 값을 갖는 추적으로 분해하여, 고미의 마르코프 추적을 모든 유한 코엑서 군으로 일반화한다.
• 분해된 추적의 유리성, 대칭성 및 부분군 유도와의 호환성을 확립한다.
• 주기적 브레이드에서의 추적은 체렌디크의 유리형 더블 아핀 히크 대수의 모듈러 표현을 통해, A형에서 고르스키–오블로모브–라스무센–쉐네의 토르스 뭉치 항등식을 복원한다.

제안 방법

• 이전 연구에서의 크로마토그래피를 대체하기 위해 일반화된 실현 유도자 형식을 개발하여, HHH 불변량의 직접 기하적 실현을 가능하게 한다.
• 유니포텐트 부분군 위의 스프링거 층을 사용하여, 중급 다항식 환 위의 이중중급 모듈의 카테고리로의 모노이드 성 추적을 구성한다.
• 양의 브레이드 $\beta$에 대해 일반화된 스텐버그 스킴 $\mathcal{Z}(\beta)$를 정의하며, 그 등변 보렐–무어 호몰로지가 전체 HHH 호몰로지를 계산한다.
• 루스티그의 이국적 푸리에 변환을 사용하여 분해된 추적을 히크 군의 문자 쌍대성으로 표현한다.
• 주기적 브레이드에 이 형식을 적용하여, 추적이 체렌디크의 유리형 더블 아핀 히크 대수의 표현을 통해 인식됨을 보인다.
• 베즈루카비니크–윤 및 라이더의 형식성과 무게 구조 결과를 활용하여 혼합 기하학과의 호환성을 확보한다.

실험 결과

연구 질문

• RQ1 어떤 양의 브레이드 $\beta$에 대해 전체 HHH 호몰로지를 유니포텐트 부분군 위의 단일 $G$-다양체의 등변 보렐–무어 호몰로지로 기하학적으로 실현할 수 있는가?
• RQ2 이와하라–히크 대수 위의 분해된 추적은 어떻게 문자 이론적 자료로 표현될 수 있으며, 고미의 추적을 일반화하는가?
• RQ3 주기적 브레이드에서의 추적과 유리형 DAHA의 표현 간의 관계는 무엇인가?
• RQ4 모노이드 성 추적 구성은 부분군 유도를 유지하고 대칭성 및 유리성 성질을 갖는가?
• RQ5 일반화된 실현 유도자 형식은 HHH 불변량의 기하적 구성에서 크로마토그래피를 대체할 수 있는가?

주요 결과

• 모든 양의 브레이드 $\beta$에 대해 전체 HHH 호몰로지는 일반화된 스텐버그 스킴 $\mathcal{Z}(\beta)$의 무게-중급 등변 보렐–무어 호몰로지로 실현된다.
• 모노이드 성 추적은 웹스터–윌리엄슨 유도자를 부분합으로 포함하며, $\mathcal{Z}(\beta)$의 기하학에 의해 전체 코반스키–로잔스키 링크 불변량을 완전히 캡슐화한다.
• 분해된 추적은 루스티그의 이국적 푸리에 변환을 통한 쌍대성으로 주어지며, 모든 유한 코엑서 군으로 일반화된다.
• 문자 이론적 분석을 통해 추적은 유리성, 대칭성 및 부분군 유도와 호환됨을 입증한다.
• 주기적 브레이드에서는 체렌디크의 유리형 DAHA 위의 가상 모듈의 문자를 생성하며, A형에서 고르스키–오블로모브–라스무센–쉐네의 토르스 뭇치 항등식을 복원한다.
• 이 구성은 $\mathcal{Z}(\beta)$와 스프링거 층의 기하학을 통해 토르스 뭇치의 HOMFLY 다항식에 대한 기하적 모델을 제공한다.