[논문 리뷰] ON SEMI-INVARIANTS OF FILTERED REPRESENTATIONS OF QUIVERS AND THE COTANGENT BUNDLE OF THE ENHANCED GROTHENDIECK-SPRINGER RESOLUTION

Mee Seong Im|arXiv (Cornell University)|2014. 01. 01.

Algebraic structures and combinatorial models참고 문헌 31인용 수 4

한 줄 요약

이 논문은 유한 ADE 및 애핀 eA-Dynkin 퀼러에 대해 불변 다항식을 집중적으로 다루는 일반화된 필터링된 퀄러 표현을 도입한다. 기하학적 불변 이론과 모멘트 맵 기법을 사용하여 필터링된 퀄러 다양체의 준불변량과 증강된 그로텐디크-스프링거 해소의 코탄젠트 범주 사이의 연결고리를 설정한다. 이는 모듈리 공간과 그 특이점의 구조를 분석하는 데 기여한다.

ABSTRACT

We introduce the notion of filtered representations of quivers, which is related to usual quiver representations, but is a systematic generalization of conjugacy classes of $n imes n$ matrices to (block) upper triangular matrices up to conjugation by invertible (block) upper triangular matrices. With this notion in mind, we describe the ring of invariant polynomials for interesting families of quivers, namely, finite $ADE$-Dynkin quivers and affine type $\widetilde{A}$-Dynkin quivers. We then study their relation to an important and fundamental object in representation theory called the Grothendieck-Springer resolution, and we conclude by stating several conjectures, suggesting further research.

연구 동기 및 목표

• 블록 상삼각 행렬에 대한 블록 상삼각 공轭 작용 하에서의 공轭류 개념을 일반화함으로써 퀄러 표현을 필터링된 퀄러 표현으로 확장한다.
• 유한 ADE-Dynkin 및 애핀 eA-Dynkin 퀄러에 대해 필터링된 퀄러 다양체를 사용하여 불변 다항식의 링을 기술한다.
• 필터링된 퀄러 불변량과 증강된 그로텐디크-스프링거 해소, 특히 그 코탄젠트 범주 사이의 기하학적 연결고리를 설정한다.
• 기하학적 불변 이론과 해밀토니안 축소를 통해 모멘트 맵의 특이점과 모듈리 공간의 구조를 분석한다.
• 필터링된 퀄러 다양체에 대한 준불변량 링의 구조와 모듈리 공간의 사영성에 관한 추측을 제안한다.

제안 방법

• 고정된 부분표현의 플래그를 갖는 표현을 매개변수화하는 필터링된 퀄러 다양체를 퀄러 그라스만리안과 퀄러 플래그 다양체의 부분다양체로 정의한다.
• 데르켄-웨이먼, 도모코스-즈브코프, 쇼필드-반 덴 베르그 기법을 적용하여 필터링된 퀄러 표현의 준불변량을 계산한다.
• 해밀토니안 축소와 모멘트 맵 기법을 사용하여 보렐 및 Pβ 모멘트 맵을 통해 증강된 그로텐디크-스프링거 해소의 코탄젠트 범주를 연구한다.
• 기하학적 불변 이론(GIT)을 적용하여 Borel 및 포라보릭 부분군의 특성에 기반한 χ-준안정 필터링된 퀄러 표현의 모듈리 공간을 구축한다.
• 정의 관계의 편도함수를 계산하여 모멘트 맵의 특이점을 분석하고, 야코비안이 0이 되는 조건을 특정한다.
• 특성 χ와 χ′를 통한 벽을 넘는 사상(_wall-crossing maps_)을 구성하고, 이를 힐베르트-차우 사상과 모듈리 공간의 사영성과 연결한다.

실험 결과

연구 질문

• RQ1 유한 ADE-Dynkin 및 애핀 eA-Dynkin 퀄러의 필터링된 퀄러 표현에 대한 준불변량 링의 구조는 어떠한가?
• RQ2 필터링된 퀄러 다양체는 그로텐디크-스프링거 해소와 그 증강된 코탄젠트 범주와 어떻게 관련이 있는가?
• RQ3 모멘트 맵의 영점섬어가 사영 대역이 되는 조건은 무엇인가?
• RQ4 차원 벡수가 기약일 경우, χ-안정 필터링된 퀄러 표현의 모듈리 공간이 피네 모듈리 공간이 되는 조건은 무엇인가?
• RQ5 보렐 및 포라보릭 작용에 대한 필터링된 퀄러 다양체에서 모멘트 맵의 정확한 특이점은 무엇인가?

주요 결과

• G-모멘트 맵의 특이점은 r11 = r22 및 s11 = s22일 때 정확히 발생하며, 이는 C² 평면상의 일치하는 점에 해당한다.
• B-모멘트 맵의 특이점은 정의 관계 ψ = −2T² + 2R1S1T + 2R2S2 − S2R²₁ − R2S²₁의 야코비안이 0이 되는 조건으로 정의된다.
• 영점섬어 µ⁻¹_B(0)는 최소 2n개의 기약 성분을 갖는다. 만약 정의 아이디얼이 정규 시퀀스이면, 기본 벡터 또는 쌍대벡터에 해당하는 정확히 2n개의 성분을 갖는다.
• 사상 µ⁻¹_B(0)//χB → µ⁻¹_B(0)//B는 힐베르트-차우 사상 (C²)^[n] → SⁿC²와 관련이 있으며, ψχ,χ′는 칸버 사이의 벽을 넘는 것을 나타낸다.
• Pβ 작용에 대해, 영점섬어가 완전교차이면서 특성이 일반적일 경우, GIT 몫 µ⁻¹_Pβ(0)//χPβ는 전사적이고 사영적이다.
• 차원 벡수 β가 기약일 경우, 안정성 영역 MF•_χ(Q,β)^s는 일반적인 특성의 조밀성에 기반해 매끄럽고 전체 모듈리 공간 MF•_χ(Q,β)와 일치할 것으로 예상된다.