[논문 리뷰] Quiver varieties and symmetric pairs

Yiqiang Li|arXiv (Cornell University)|2018. 01. 18.

Algebraic structures and combinatorial models참고 문헌 49인용 수 3

한 줄 요약

이 논문은 심플렉틱 및 반심플렉틱 호모티즘에 대한 나카지마 퀴버 다양체의 고정점 부분다양체로 $\sigma$-퀴버 다양체를 도입하여 대칭 쌍의 표현 이론에서 기하적 프레임워크를 수립한다. 특히, 고전적 군의 노름부분 슬로도위 슬라이스에 대한 부분 스프링거 해석을 실현하는 타입 A $\sigma$-퀴버 다양체를 증명하며, 직사각형 대칭성과 Kraft-Procesi 축소의 정교화를 드러낸다.

ABSTRACT

We study fixed-point loci of Nakajima varieties under symplectomorphisms and their anti-symplectic cousins, which are compositions of a diagram automorphism, a reflection functor and a transpose defined by certain bilinear forms. These subvarieties provide a natural home for geometric representation theory of symmetric pairs. In particular, the cohomology of a Steinberg-type variety of the symplectic fixed-point subvarieties is conjecturally related to the universal enveloping algebra of the subalgebra in a symmetric pair. The latter symplectic subvarieties are further used to construct geometrically an action of a twisted Yangian on torus equivariant cohomology of Nakajima varieties. In type $A$ case, these subvarieties provide a quiver model for partial Springer resolutions of nilpotent Slodowy slices of classical groups and associated symmetric spaces, which leads to a rectangular symmetry and a refinement of Kraft-Procesi row/column removal reductions.

연구 동기 및 목표

• 나카지마 퀴버 다양체 위의 심플렉틱 및 반심플렉틱 호모티즘에 대한 고정점 부분다양체를 이용하여 대칭 쌍 $(\mathfrak{g}, \mathfrak{k})$ 를 위한 기하 표현 이론을 개발하는 것.
• 심플렉틱 고정점 부분다양체 내 스텐버그 유형 다양체의 코homology와 대칭 쌍의 리 부분대수 $\mathfrak{k}$ 의 보편 포락대수 사이의 연결 고리를 확립하는 것.
• 이러한 부분다양체를 통해 나카지마 다양체의 토루-등변 코hom로에 대한 비틀린 양안의 기하적 작용을 구성하는 것.
• 고전적 군의 노름부분 슬로도위 슬라이스와 그 대칭 공간에 대한 부분 스프링거 해석을 퀴버 모델로 제공하는 것, 특히 타입 A 에서의 적용.
• 대칭 공간의 기하학 내에서 새로운 대칭성과 축소법—직사각형 대칭성과 정교화된 열/행 제거—를 밝혀내는 것.

제안 방법

• 심플렉틱 호모티즘 $\sigma$ 를 다이어그램 자기동형, 반사 함수자, 그리고 퀴버 자료 위의 이차형식에 의해 유도되는 전치 작용의 합성으로 정의한다.
• $\sigma$-퀴버 다양체를 나카지마 퀴버 다양체 $\mathfrak{P}_\zeta(\mathbf{v}, \mathbf{w})$ 내 고정점 부분다양체 $\mathfrak{P}_\zeta(\mathbf{v}, \mathbf{w})^{\sigma}$ 로 구성한다.
• $\hat{\sigma}$-버전의 호모티즘을 사용하여 $\hat{\sigma}$-퀴버 다양체를 정의하고, 비퇴화된 이차형식 $\{-|\cdot\}$ 를 이용해 그들을 대칭 공간 $\mathfrak{p}$ 내의 노름부분 슬로도위 슬라이스와 연결한다.
• 공식적인 도형을 통해 $\sigma$-퀴버 다양체를 $\mathcal{S}^{\hat{\sigma}}_{\mu', \lambda}$, 즉 부분 스프링거 해석의 $\hat{\sigma}$-고정점 부분으로 식별한다.
• $\mathrm{G}^{\tau}_{\mathbf{v}}$-불변 정칙 함수의 대수 $\mathbf{M}(\mathbf{v}, \mathbf{w})^{\hat{\tau}}$ 는 트레이스 및 특성 함수 $\mathrm{tr}_{h_1,\dots,h_s}(-)$ 와 $\chi_{h_1,\dots,h_s}(-)$ 로 생성됨을 증명한다.
• 코스타ント-세키구치-버그네 대응을 사용하여 $\sigma$-퀴버 다양체의 기하학을 실군의 노름부분 궤도와 연결한다.

실험 결과

연구 질문

• RQ1 심플렉틱 및 반심플렉틱 호모티즘에 대한 나카지마 퀴버 다양체의 고정점 부분다양체는 어떻게 대칭 쌍을 위한 기하 모델이 될 수 있는가?
• RQ2 $\sigma$-퀴버 다양체 내 스텐버그 유형 다양체의 코homology 와 $\mathfrak{k}$ 의 보편 포락대수 사이의 관계는 무엇인가?
• RQ3 $\sigma$-퀴버 다양체는 고전적 군의 노름부분 슬로도위 슬라이스와 그 대칭 공간에 대한 부분 스프링거 해석을 어떻게 실현할 수 있는가?
• RQ4 $\sigma$-퀴버 다양체의 기하학에서 새로운 대칭성 또는 축소법이 어떻게 드러나며, 특히 타입 A 에서는 어떠한가?
• RQ5 $\hat{\sigma}$-고정점 부분다양체는 실형 $\mathfrak{g}$ 의 노름부분 궤도 기하학과 어떻게 관련되는가?

주요 결과

• 타입 A $\sigma$-퀴버 다양체는 고전적 군의 노름부분 슬로도위 슬라이스에 대한 부분 스프링거 해석과 등기하적이다. 이는 나카지마-마페 정리의 일반화이다.
• 직사각형 대칭성이 확립되었다: 만약 분할이 직사각형에 들어맞는다면, 해당 $\sigma$-퀴버 다양체는 서로 등기하적이다. 이는 이전 결과를 정교화한다.
• 열/행 제거 축소가 대칭 공간 설정에서 정교화되었으며, 크라프트와 프로세키의 결과를 확장한다.
• $\hat{\sigma}$-고정점 부분다양체 $\widetilde{\mathcal{S}}^{\hat{\sigma}}_{\mu', \lambda}$ 는 $\pi^{\hat{\sigma}}$ 와 $\hat{\Pi}$ 를 포함하는 교환도형을 통해 $\sigma$-퀴버 다양체로 식별된다.
• $\mathrm{G}^{\tau}_{\mathbf{v}}$-불변 함수의 대수 $\mathbf{M}(\mathbf{v}, \mathbf{w})^{\hat{\tau}}$ 는 경로를 따라 트레이스 및 특성 함수로 생성된다.
• 코스타ント-세키구치 대응을 통해 $\sigma$-퀴버 다양체의 기하학은 실군의 노름부분 슬로도위 슬라이스와 미분동형이다.