[논문 리뷰] On the Hall algebra of coherent sheaves on P^1 over F_1

Matt Szczesny|arXiv (Cornell University)|2010. 09. 18.

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

한 줄 요약

이 논문은 $\mathbb{F}_1$ 위의 사영선에 대한 계량층의 할란 대수를 구축하며, 덧셈이 성립하지 않는 유한성 조건을 만족하는 정규 계량층의 범주를 정의한다. 주요 결과는 할란 대수가 $L\mathfrak{gl}^+_2 \oplus \kappa$의 유니버설 환영 대수와 동형임을 보이며, 여기서 $L\mathfrak{gl}^+_2$는 루프 대수 $L\mathfrak{gl}_2$의 비표준 보렐 부분대수이고 $\kappa$는 무한히 많은 생성자를 가진 아벨 리 대수이다. 이는 카프란옵의 양자 루프 대수 결과의 $q=1$ 해석을 제공한다.

ABSTRACT

We define and study the category $Coh_n(\Pone)$ of normal coherent sheaves on the monoid scheme $\Pone$ (equivalently, the $\mathfrak{M}_0$-scheme $\Pone / \fun$ in the sense of Connes-Consani-Marcolli \cite{CCM}). This category resembles in most ways a finitary abelian category, but is not additive. As an application, we define and study the Hall algebra of $Coh_n(\Pone)$. We show that it is isomorphic as a Hopf algebra to the enveloping algebra of the product of a non-standard Borel in the loop algebra $L {\mathfrak{gl}}_2$ and an abelian Lie algebra on infinitely many generators. This should be viewed as a $(q=1)$ version of Kapranov's result relating (a certain subalgebra of) the Ringel-Hall algebra of $\mathbb{P}^1$ over $\mathbb{F}_q$ to a non-standard quantum Borel inside the quantum loop algebra $\mathbb{U}_ν (\slthat)$, where $ν^2=q$.

연구 동기 및 목표

• 모노이드 스킴 $\mathbb{P}^1_{\mathbb{F}_1}$ 위에서 정규 계량층의 범주 $Coh_n(\mathbb{P}^1_{\mathbb{F}_1})$를 정의하고, $\mathbb{F}_1$ 기하학의 맥락에서 계량층을 일반화한다.
• 범주가 덧셈성을 갖지 않음에도 불구하고, 점이 있는 집합에 대한 할란 대수 기법을 응용하여 $\mathbb{H}(\mathbb{P}^1_{\mathbb{F}_1})$의 할란 대수를 구성한다.
• $\mathbb{H}(\mathbb{P}^1_{\mathbb{F}_1})$의 구조적 기술을 할란 대수로서의 호프 대수로 제공하며, 그 기본 원소들과 대수적 생성자를 규명한다.
• 카프란옵의 결과의 $q=1$ 해석을 제공하며, $\mathbb{F}_q$ 위의 $\mathbb{P}^1$의 린델-할란 대수와 $\mathbb{U}_\nu(L\mathfrak{sl}_2)$의 양자 보렐 부분대수 간의 관계를 규명한다.

제안 방법

• 데이트마와 콘네-콘사니-마르콜리의 프레임워크를 일반화하여, 정규성 조건과 국소 유한 생성성을 갖는 점이 있는 집합의 층으로서 $\mathbb{P}^1_{\mathbb{F}_1}$ 위의 계량층을 정의한다.
• 분해 불가능한 계량층을 선다발 $\mathcal{O}(n)$, 순환층 $\mathcal{C}_n$, 그리고 토르션층 $\mathcal{T}_{0,k}, \mathcal{T}_{\infty,l}$로 분류하며, 이들이 모든 계량층의 기본 구성 요소임을 보인다.
• 할란 대수 $\mathbb{H}(\mathbb{P}^1_{\mathbb{F}_1})$를 $\mathbb{Q}$ 위의 등급이 있고 연결된 코무터티브 호프 대수로 구성하며, 동형류에 따라 인덱싱된 기저 원소 $\delta_{\mathcal{F}}$를 갖는다.
• 밀놀-무어 정리를 사용하여 $\mathbb{H}(\mathbb{P}^1_{\mathbb{F}_1})$의 코어 원소들로 이루어진 리 대수를 분석하며, 분해 불가능한 $\mathcal{F}$에 대해 $\delta_{\mathcal{F}}$에 의해 생성됨을 보이고, 그들의 교환 관계를 계산한다.
• 생성자들을 $\delta_{\mathcal{O}(k)}, \delta_{\mathcal{T}_{0,n}}, \delta_{\mathcal{T}_{\infty,n}}, \delta_{\mathcal{C}_n}$로 매핑하는 리 대수 준동형사상 $\rho: L\mathfrak{gl}^+_2 \oplus \kappa \to \mathbb{H}(\mathbb{P}^1_{\mathbb{F}_1})$를 정의하고, 이것이 동형임을 증명한다.
• 생성자 $\overline{\mathcal{O}(k)}$와 $\overline{\mathcal{T}_{0,n}} + \overline{\mathcal{T}_{\infty,n}}$로 생성되는 부분대수는 $\mathbb{U}(L\mathfrak{sl}^+_2)$와 동형이며, 카프란옵의 양자 결과를 모방한다.

실험 결과

연구 질문

• RQ1 사영선 $\mathbb{P}^1$ 위의 계량층의 범주를 $\mathbb{F}_1$ 기하학의 프레임워크, 특히 모노이드 스킴를 통해 어떻게 일반화할 수 있는가?
• RQ2 덧셈성이 없는 경우에도 $\mathbb{P}^1_{\mathbb{F}_1}$ 위 정규 계량층의 범주에 대해 할란 대수의 구조는 어떻게 되는가?
• RQ3 할란 대수 $\mathbb{P}^1_{\mathbb{F}_1}$는 양자 루프 대수와 어떻게 관련되어 있으며, 카프란옵의 구성의 $q=1$ 극한으로 볼 수 있는가?
• RQ4 분해 불가능한 계량층 $\mathbb{P}^1_{\mathbb{F}_1}$는 무엇이며, 그들은 할란 대수의 생성에 어떻게 기여하는가?
• RQ5 할란 대수 $\mathbb{P}^1_{\mathbb{F}_1}$는 어떤 리 대수의 유니버설 환영 대수로 기술될 수 있으며, 만약 그렇다면 그 리 대수는 무엇인가?

주요 결과

• 할란 대수 $\mathbb{H}(\mathbb{P}^1_{\mathbb{F}_1})$는 호프 대수로서 $\mathbb{U}(L\mathfrak{gl}^+_2 \oplus \kappa)$와 동형이며, 여기서 $L\mathfrak{gl}^+_2$는 루프 대수 $L\mathfrak{gl}_2$의 비표준 보렐 부분대수이다.
• $L\mathfrak{gl}^+_2$는 $e \otimes t^k$, $h_1 \otimes t^n$, $h_2 \otimes t^m$에 의해 생성되며, $e = \begin{bmatrix} 0&1\\ 0&0 \end{bmatrix}$, $h_1 = \begin{bmatrix} 1&0\\ 0&0 \end{bmatrix}$, $h_2 = \begin{bmatrix} 0&0\\ 0&1 \end{bmatrix}$이다.
• 아벨 리 대수 $\kappa$는 $n \in \mathbb{N}$에 대해 $\kappa_n$을 생성자로 가지며, 이는 순환층 $\mathcal{C}_n$에 대응한다.
• 할란 대수 $\mathbb{H}(\mathbb{P}^1_{\mathbb{F}_1})$의 교환 관계는 $L\mathfrak{gl}^+_2 \oplus \kappa$와 일치하며, $[\overline{\mathcal{T}_{x,n}}, \overline{\mathcal{O}(m)}] = \overline{\mathcal{O}(n+m)}$ 및 $[\overline{\mathcal{C}_n}, \overline{\mathcal{F}}] = 0$ (분해 불가능한 $\mathcal{F}$에 대해)이다.
• $\overline{\mathcal{O}(k)}$와 $\overline{\mathcal{T}_{0,n}} + \overline{\mathcal{T}_{\infty,n}}$로 생성되는 부분대수는 $\mathbb{U}(L\mathfrak{sl}^+_2)$와 동형이며, 여기서 $L\mathfrak{sl}^+_2 = (\mathfrak{h} \otimes t\mathbb{C}[t]) \oplus (e \otimes \mathbb{C}[t,t^{-1}])$이고 $\mathfrak{h} = \mathbb{C} \cdot \begin{bmatrix} 1&0\\ 0&-1 \end{bmatrix}$이다.
• 할란 대수의 등급은 $K_0(\mathbb{P}^1)$에 의해 결정되며, 밀놀-무어 정리에 의해 그 기초가 코어 원소들의 리 대수의 유니버설 환영 대수와 동형임을 보장한다.