[논문 리뷰] A relation between Mirkovic-Vilonen cycles and modules over preprojective algebra of Dynkin quiver of type ADE

Zhijie Dong|arXiv (Cornell University)|2021. 04. 12.

Algebraic structures and combinatorial models참고 문헌 6인용 수 1

한 줄 요약

이 논문은 ADE 다인킨 유형의 전프로젝티브 대수의 모듈에 대한 사전 프로젝티브 대수의 모듈을 통해 애핀 그라스만이안의 미르코비치-비론코비치(MV) 사이클과 쿼워 히그스만리안의 코homology 사이의 추측을 부분적으로 증명한다. 주어진 모듈로부터 사이클을 구성함으로써, 저자들은 이 사이클의 T고정점 부분스킴의 함수환과 해당 쿼워 히그스만리안의 코homology 환 사이에 동형이 존재함을 보이며, 표현 이론과代수기하학 사이의 기하학적 다리를 제공한다.

ABSTRACT

The irreducible components of the variety of all modules over the preprojective algebra and MV cycles both index bases of the universal enveloping algebra of the positive part of a semisimple Lie algebra canonically. To relate these two objects Baumann and Kamnitzer associate a cycle in the affine Grassmannian to a given module. It is conjectured that the ring of functions of the T-fixed point subscheme of the associated cycle is isomorphic to the cohomology ring of the quiver Grassmannian of the module. I give a proof of part of this conjecture. The relation between this conjecture and the reduceness conjecture is explained at the end.

연구 동기 및 목표

• 전프로젝티브 대수의 모듈과 애인 그라스만이안의 MV 사이클 사이의 기하학적 대응을 수립하기 위해.
• 쿼워 히그스만리안의 코homology 환과 관련된 MV 사이클의 T고정점 부분스킴의 함수환 사이의 추측을 검증하기 위해.
• 이 대응이 전프로젝티브 대수의 막힘 추측 맥락에서 미치는 영향을 탐색하기 위해.

제안 방법

• ADE 다인킨 쿼워의 전프로젝티브 대수의 모듈로부터 애인 그라스만이안에 사이클을 구성하기 위해.
• 구성된 사이클의 T고정점 부분스킴을 분석하여 그 좌표환을 연구하기 위해.
• 기하학적 안정성 이론과 표현론적 기법을 사용하여 사이클의 구조와 모듈의 쿼워 히그스만리안 사이의 관계를 규명하기 위해.
• MV 사이클의 교차 코hom로와 쿼워 히그스만리안의 코homology를 비교하기 위해 MV 사이클 이론과 그 교차 코hom로를 활용하기 위해.
• T고정점 부분스킴의 함수환과 쿼워 히그스만리안의 코homology 환 사이의 동형을 수립하기 위해.
• 기하학적 및 대수적 제약 조건을 통해 사이클의 구조를 분석함으로써 추측된 동형이 막힘 추측과 어떻게 연결되는지 규명하기 위해.

실험 결과

연구 질문

• RQ1 모듈에 관련된 MV 사이클의 T고정점 부분스킴의 함수환은 그 모듈의 쿼워 히그스만리안의 코homology 환과 동형인가?
• RQ2 전프로젝티브 대수의 모듈로부터 MV 사이클을 구성하는 방법은 그 모듈의 표현론적 구조를 어떻게 반영하는가?
• RQ3 사이클의 기하학적 및 코homological 성질은 쿼워 히그스만리안에 대한 정보를 어떻게 암시하는가?
• RQ4 이 대응은 전프로젝티브 대수의 막힘 추측을 어떻게 지지하거나 명확히 하는가?
• RQ5 함수환과 코homology 환 사이의 동형은 모든 경우에 대해 전체적인 추측적 동치로 확장될 수 있는가?

주요 결과

• 논문은 부분적으로 확인하여, 모듈에 관련된 MV 사이클의 T고정점 부분스킴의 함수환과 그 모듈의 쿼워 히그스만리안의 코homology 환 사이에 동형이 존재함을 증명한다.
• 모듈로부터 MV 사이클을 구성하는 것은 애인 그라스만이안을 통해 쿼워 히그스만리안의 코homology를 기하학적으로 실현하는 데 기여한다.
• 수립된 동형은 자연스럽고, MV 사이클과 전프로젝티브 대수 모듈 다양체의 기약 성분에 의해 인덱싱된 표준 기저를 모두 유지한다.
• 이 결과는 애인 그라스만이안의 기하학적 대상들과 전프로젝티브 대수의 표현론적 불변량 사이의 광범위한 추측을 지지한다.
• 사이클의 기하학적 구조가 막힘 추측의 함의와 일치하는 제약 조건을 부과함으로써 막힘 추측과의 연결이 명확해진다.
• 이 작업은 쿼워 표현을 통한 유니버설 환의 표현의 표준 기저의 전체적인 기하학적 실현을 향한 기초 단계를 제공한다.