[논문 리뷰] Twisted geometric Satake equivalence via gerbes on the factorizable grassmannian

Ryan Reich|arXiv (Cornell University)|2010. 12. 28.

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

한 줄 요약

이 논문은 대칭 인수 가능 게르베를 통해 고전적 기하학적 사타케 동치와 핸켈버그–라이젠코의 왜곡된 사타케 동치를 일반화한 비틀린, 인수 가능한 기하학적 사타케 동치를 수립한다. 이는 이러한 게르베로 휘감긴 펄스성 층이 약수 격자 위의 이차형식으로 구성된 쌍대군의 표현을 카테고리적으로 실현하며, 게르베와 t-구조에 기반한 통합 프레임워크를 통해 인수 가능성과 왜곡된 설정을 통합한다.

ABSTRACT

We prove a generalization of the twisted geometric Satake equivalence of Finkelberg--Lysenko in the context of the factorizable grassmannian of a reductive group G relative to a smooth curve X, similar to Gaitsgory's generalization in "On de Jong's conjecture" of the Satake equivalence itself. In order to express the dependence of this result on factorizability, we consider a certain 2-category of gerbes on this grassmannian, which we call "sf gerbes"; the theorem then concerns perverse sheaves twisted by such gerbes. This notion of twisting differs from, but in special cases is equivalent to, that considered by Finkelberg--Lysenko. We give a classification of these gerbes in terms of quadratic forms on the coweight lattice of G and gerbes on X. In addition, we introduce the technical device of universal local acyclicity (ULA) into the proof of the Satake equivalence, using it in combination with Beilinson's nearby cycles gluing of perverse sheaves to reduce all of the main constructions in the Mirkovic--Vilonen proof of the equivalence to the ULA case, where they have simple descriptions whose properties have simple proofs. We also give a geometric proof that the category of spherical perverse sheaves on the ordinary affine grassmannian is semisimple.

연구 동기 및 목표

• 기하학적 사타케 동치, 인수 가능한 사타케 동치(Gaitsgory) 및 왜곡된 사타케 동치(Finkelberg–Lysenko)를 하나의 프레임워크로 통합하기 위해.
• 근의 단위에서 게르베로의 왜곡 개념을 일반화하여, 특히 베일린슨–드린베르 그라스만이안 위의 대칭 인수 가능 게르베로.
• 아핀 그라스만이안 위의 왜곡된 펄스성 층의 카테고리가 약수 격자 위의 이차형식으로 구성된 쌍대군의 표현 카테고리와 동치임을 보이기 위해.
• 미르코비치–비론엔 방법과 호환되는 형식을 사용하여 왜곡된 사타케 카테고리의 텐서 카테고리 성질에 대한 새로운 증명을 제공하기 위해.
• 이러한 왜곡된 사타케 동치와 양자 랑글랜드 대응 사이의 연결 고리를 게르베의 쌍대성에 기반해 밝혀내기 위해.

제안 방법

• 재수군 G의 약수 격자 위의 이차형식으로 매개화된 대칭 인수 가능 게르베를 도입하여, 근의 단위로의 왜곡을 일반화한다.
• 게르베를 사용하여 베일린슨–드린베르 그라스만이안 위의 왜곡된 유도 카테고리와 왜곡된 t-구조를 정의하며, 펄스성 층 이론에 필요한 성질을 유지한다.
• 게르베 위의 등변 왜곡된 대상과 곱셈 구조의 형식을 사용하여 컨볼루션 및 융합 연산과의 호환성을 확보한다.
• 절대 그라스만이안에서 왜곡된 섬유 함수를 구성하고, 컨볼루션과 d´evissage 기법을 통해 왜곡된 사타케 카테고리의 반단순성을 증명한다.
• 탄나카 이중성에 의해 주어진 이차형식에 대응하는 쌍대군 ˇGQ를 식별하며, 이 형식이 자명할 경우 랑글랜드 쌍대군과 동형임을 보인다.
• 비퇴직적인 이중선형형식을 통해 G와 LG 위의 게르베 사이의 이중성을 수립하며, 이는 왜곡된 사타케 카테고리의 동치를 이끌어내며 국소적 양자 랑글랜드 대응을 실현한다.

실험 결과

연구 질문

• RQ1 기하학적 사타케 동치는 어떻게 인수 가능성과 임의의 게르베 왜곡을 모두 포함하도록 일반화될 수 있는가?
• RQ2 텐서 카테고리 성질을 유지하는 방식으로 사타케 동치를 왜곡하는 데 사용할 수 있는 게르베의 정확한 클래스는 무엇인가?
• RQ3 그라스만이안 위의 대칭 인수 가능 게르베는 G의 약수 격자 위의 이차형식과 어떻게 관련이 있는가?
• RQ4 고전적 사례와 핸켈버그–라이젠코 사례를 모두 포함하는 통일된 프레임워크를 통해 왜곡된 사타케 동치를 회복하고 일반화할 수 있는가?
• RQ5 G와 그의 랑글랜드 쌍대군 LG에 대한 게르베 왜곡된 사타케 카테고리 간의 관계는 무엇이며, 이는 양자 랑글랜드 대응과 어떻게 연결되는가?

주요 결과

• 베일린슨–드린베르 그라스만이안 위의 G-왜곡된 구면 펄스성 층의 카테고리는 G의 약수 격자 위의 이차형식 Q로 구성된 재수군 ˇGQ의 표현 카테고리와 동치이다.
• 이차형식 Q에 대응하는 쌍대군 ˇGQ는 Q(λ) = (−1)^⟨2ρ,λ⟩일 때에만 랑글랜드 쌍대군 LG와 동형이며, 이는 베일린슨–드린베르 설정에서의 임계 왜곡에 해당한다.
• 이차형식 Q(λ) = (−1)^⟨2ρ,λ⟩에 대응하는 게르베는 게르베로서는 자명하지만 대칭 인수 가능 게르베로서는 비자명하며, 이는 [BD]에서 사용된 임계 왜곡에 해당한다.
• 비퇴직적인 C-계수 W-불변 이중선형형식 b에 대해 Q(λ) = exp(πi b(λ,λ))일 때, Q에 대응하는 쌍대군 ˇGQ는 동일한 형식에서 LG의 랑글랜드 쌍대군과 동형이며, G와 LG 위의 게르베 사이의 이중성을 수립한다.
• 쌍대 게르베에 대응하는 왜곡된 사타케 카테고리 Sph(Gn)과 Sph(LGn)는 서로 동치이며, 이는 국소적 양자 랑글랜드 대응을 실현한다.
• 증명 과정에서 왜곡된 사타케 카테고리가 반단순임을 보이고, 간단한 대상들이 ˇGQ의 기약 표현에 대응하며, 컨볼루션 연산이 텐서 구조를 유지함을 보였다.