[논문 리뷰] Singular support of coherent sheaves, and the geometric Langlands conjecture

D. Arinkin, Dennis Gaitsgory|arXiv (Cornell University)|2012. 01. 30.

Advanced Algebra and Geometry참고 문헌 25인용 수 15

한 줄 요약

이 논문은 준매끄러운 유도 스킴과 아르틴 스택 위의 일관성 있는 층에 대한 특이적 지지 개념을 도입하며, 코homological 지지 이론을 일반화한다. 이 틀을 통해 기하학적 롱글랜드 추측의 개선된 카테고리적 형태를 제안하고, 기하학적 사타케 동치와 아이젠슈타인 시리즈 함자와의 호환성을 입증함으로써 원래 추측에서 발생하던 핵심적인 결함을 해결한다.

ABSTRACT

We develop the notion of singular support of a coherent sheaf on a quasi-smooth DG scheme or stack and use it to formulate the Geometric Langlands Conjecture.

연구 동기 및 목표

• 준매끄러운 유도 스킴과 아르틴 스택 위의 일관성 있는 층에 대한 특이적 지지 개념을 정의하고 연구함으로써, 코homological 지지 이론을 확장한다.
• 직접 및 역상 함자에 대해 잘 작동하는 특이적 지지의 프레임워크를 개발하며, 특히 유한 및 본질적으로 매끄러운 사상에 대해 고려한다.
• 특이적 지지를 사용하여 카테고리적 기하학적 롱글랜드 추측을 재구성함으로써, 기존의 기하학적 및 표현론적 동치와의 일致성을 확보한다.
• 추측이 기하학적 사타케 동치와 아이젠슈타인 시리즈 함자와 호환됨을 확립함으로써, 원래 서술에서 발생하던 주요 장애 요소를 해결한다.
• 코시쿨 듀얼리티 기반의 기술을 통해 특이적 지지를 기술하고, 전역 완전교차의 경우에 대해 명시적 계산과 구조적 통찰을 가능하게 한다.

제안 방법

• 유도 스킴과 아르틴 스택에 대한 준매끄러움을 유도적 의미에서 국소 완전교차로 정의함으로써, 코탄제닛 복합체가 잘 행동하도록 보장한다.
• 특이적 코미세도와 특이성의 스킴을 도입하여 일관성 있는 층의 특이적 지지를 특성화한다.
• 인코herent 층 이론과 그 일관성 있는 층에 대한 몫을 이용하여, 국소화와 t-구조를 통해 특이적 지지를 정의한다.
• 상대적 코시쿨 듀얼리티와 포지체르스키의 비선형 코시쿨 변환을 적용하여 특이적 지지를 행렬 인수화와 코유도 범주와 연결한다.
• 헤케 범주와 구면 헤케 범주를 활용하여 특이적 지지를 기하학적 사타케 동치의 작용과 연결한다.
• 유한, 준매끄럽고 본질적으로 매끄러운 사상에 대해 보존성 및 함자성 결과를 확립하여, 주요 기하학적 연산에서 지지 구조가 유지됨을 보장한다.

실험 결과

연구 질문

• RQ1 특이적 지지 개념은 어떻게 스킴에서 준매끄러운 유도 스킴과 아르틴 스택으로 일반화될 수 있는가?
• RQ2 특이적 지지는 특히 유한 및 본질적으로 매끄러운 사상에 대해 직접 및 역상 함자와 어떻게 작용하는가?
• RQ3 기하학적 롱글랜드 추측은 특이적 지지를 어떻게 재구성하여 기하학적 사타케 동치와의 호환성을 확보할 수 있는가?
• RQ4 기존의 '직관적' 버전의 기하학적 롱글랜드 추측은 왜 아이젠슈타인 시리즈 함자에 의해 실패하는가? 그리고 어떻게 이를 수정할 수 있는가?
• RQ5 특이적 지지는 어느 정도까지 코시쿨 듀얼리티와 곡선 DG 대수의 코유도 범주를 통해 기술될 수 있는가?

주요 결과

• 논문은 특이성의 스킴과 특이적 코미세도를 사용하여 준매끄러운 유도 스택 위의 일관성 있는 층에 대한 특이적 지지를 정의하며, 벤슨-아이엔가르-크라우즈의 코homological 지지 이론을 일반화한다.
• 특이적 지지가 유한, 준매끄럽고 본질적으로 매끄러운 사상에 대해 직접 및 역상 함자에 의해 유지됨이 입증되었으며, 핵심 케이스에서 보존성 결과가 확립되었다.
• 특이적 지지를 사용하여 개선된 카테고리적 기하학적 롱글랜드 추측을 제안하였고, 구면 헤케 범주를 통해 기하학적 사타케 동치와의 호환성이 입증되었다.
• 추측은 원래의 직관적 서술에서 실패했던 아이젠슈타인 시리즈 함자와의 일致성 테스트를 통과하여, 오랫동안 지속된 장애 요소를 해결하였다.
• 곡선 DG 대수의 코유도 범주 간의 코시쿨 듀얼리티 동치는 특이적 지지를 행렬 인수화의 관점에서 기술하며, 포지체르스키와 미르코비치-리체의 작업과 연결된다.
• $\operatorname{IndCoh}(Z)$의 대상의 특이적 지지는 $\operatorname{IndCoh}(Z)/\operatorname{QCoh}(Z)$에 그 이미지로부터 재구성될 수 있으며, 전체 지지는 이중성 원리를 통해 복원 가능하다.