[논문 리뷰] $\imath$Hall algebra of the projective line and $q$-Onsager algebra

Ming Lu, Shiquan Ruan외 1명|arXiv (Cornell University)|2020. 10. 01.

Algebraic structures and combinatorial models참고 문헌 28인용 수 8

한 줄 요약

이 논문은 유한체 위의 사영선에서의 $\imath$ 홀 알지브라를 통해 드린펠드 유형 표현에서의 보편 $q$-온살러 대수의 실현을 확립한다. 1-주기적 코herent sheaf의 복합체에 대한 $\imath$ 홀 알지브라가 보편 $q$-온살러 대수와 동형임을 증명하며, 토퐁션 층을 통해 허구의 근 벡터를, 선형 번들 $\mathcal{O}(r)$를 통해 실수의 근 벡터를 실현한다. 또한 유도 동치를 통해 세르 표현과 드린펠드 표현 사이의 동형을 설명한다.

ABSTRACT

The $\imath$Hall algebra of the projective line is by definition the twisted semi-derived Ringel-Hall algebra of the category of $1$-periodic complexes of coherent sheaves on the projective line. This $\imath$Hall algebra is shown to realize the universal $q$-Onsager algebra (i.e., $\imath$quantum group of split affine $A_1$ type) in its Drinfeld type presentation. The $\imath$Hall algebra of the Kronecker quiver was known earlier to realize the same algebra in its Serre type presentation. We then establish a derived equivalence which induces an isomorphism of these two $\imath$Hall algebras, explaining the isomorphism of the $q$-Onsager algebra under the two presentations.

연구 동기 및 목표

• 보편 $q$-온살러 대수의 드린펠드 유형 표현을 기하학적 홀 알지브라를 통해 실현하기 위해.
• 화살표 모델을 초월하여 $\imath$ 양자군의 기하학적 실현을 구축함으로써 $\imath$ 프로그램을 확장하기 위해.
• 기저 범주 간의 유도 동치를 통해 $q$-온살러 대수의 세르 표현과 드린펠드 표현 사이의 동형을 설명하기 위해.
• 유한체 위의 $\mathbb{P}^1$에서의 토포로지와 토포로지가 없는 층을 이용해 허구의 근 벡터와 실수의 근 벡터에 대한 홀 알지브라 실현을 명시적으로 제공하기 위해.

제안 방법

• 기하학적 홀 알지브라의 프레임워크를 활용하여 $\mathbb{P}^1$ 위의 1-주기적 코herent sheaf 복합체의 스위치된 준-유도 리angen-홀 알지브라로서 $\imath$ 홀 알지브라를 구성한다.
• 1-골로린스타틱 정확한 범주에 대한 준-유도 리angen-홀 알지브라의 프레임워크를 사용하여 $\imath$ 홀 알지브라의 구조를 정의한다.
• 보편 $q$-온살러 대수의 드린펠드 표현에서 $\mathbb{P}^1$의 $\imath$ 홀 알지브라로의 $\mathbb{Q}(\mathbf{v})$-대수 준동형사상 $\Omega$를 수립한다.
• 생성자 $B_{1,r}$를 $-\frac{1}{q-1}[\mathcal{O}(r)]$로 실현하고, $\Theta_m$를 토포로지 층 $S_x^{(\lambda)}$를 통해 $\widehat{\Theta}_m$로 실현한다.
• 생성 함수 $\widehat{\Theta}(z)$와 $\widehat{\Theta}_x(z)$를 유도하여 $\widehat{H}_m$과 $\widehat{\Theta}_m$ 사이의 지수 공식을 포함하는 $\widehat{H}_{m,x}$를 통해 관계를 규명한다.
• 1-주기적 복합체의 $\imath$ 홀 알지브라와 크로네커 화살표의 홀 알지브라 사이의 유도 동치를 통해 두 표현 간의 동형을 증명하며, 표현 간의 동치를 설명한다.

실험 결과

연구 질문

• RQ1 보편 $q$-온살러 대수의 드린펠드 표현은 $\mathbb{P}^1$ 위의 코herent sheaf의 홀 알지브라를 통해 기하학적으로 실현될 수 있는가?
• RQ2 $\imath$ 홀 알지브라에서 허구의 근 벡터 $\Theta_m$는 어떻게 실현되는가?
• RQ3 세르 표현과 드린펠드 표현 사이의 동형의 범주론적 기원은 무엇인가?
• RQ4 드린펠드 표현의 생성자 $H_m$과 $\Theta_m$는 $\imath$ 홀 알지브라의 기하학적 대상과 어떻게 대응되는가?
• RQ5 유도 동치는 $\imath$ 양자군의 다양한 표현을 통합하는 데 어떤 역할을 하는가?

주요 결과

• $\mathbb{F}_q$ 위의 사영선에서의 $\imath$ 홀 알지브라는 그 드린펠드 유형 표현에서 보편 $q$-온살러 대수와 동형이다.
• 준동형사상 $\Omega$는 $B_{1,r}$를 $-\frac{1}{q-1}[\mathcal{O}(r)]$로 매핑하며, $\mathbb{P}^1$ 위의 선형 번들을 통해 실수의 근 벡터를 실현한다.
• 허구의 근 벡터 $\Theta_m$는 $\widehat{\Theta}_m = \sum_{x,d_x|m} \frac{[m]}{m} d_x \sum_{|\lambda|=m/d_x} n_x(\ell(\lambda)-1) \frac{[S_x^{(\lambda)}]}{|\operatorname{Aut}(S_x^{(\lambda)})|}$로 실현된다.
• 생성자 $H_m$은 $\widehat{H}_m = \sum_{x,d_x|m} \frac{[m]}{m} d_x \sum_{|\lambda|=m/d_x} n_x(\ell(\lambda)-1) \frac{[S_x^{(\lambda)}]}{|\operatorname{Aut}(S_x^{(\lambda)})|} - \delta_{m,\text{ev}} \frac{[m]}{m} [K_{m/2 \delta}]$로 표현된다.
• $\mathbb{P}^1$ 위의 1-주기적 복합체의 범주와 크로네커 화살표의 모듈러스의 범주 사이의 유도 동치는 $q$-온살러 대수의 두 표현 간의 동형을 유도한다.