[논문 리뷰] The Hall algebra of a curve

Mikhail Kapranov, Olivier Schiffmann외 1명|arXiv (Cornell University)|2012. 01. 30.

Advanced Algebra and Geometry참고 문헌 12인용 수 5

한 줄 요약

이 논문은 $ \mathbb{F}_q $ 위의 매끄러운 사영 곡선 $ X $ 상의 벡터(bundle)의 홀라 대수 $ H $ 를 자동형 L-함수로 구성된 셔플 대수로서 기하학적 실현으로 제시한다. 랭킨-셀버그 L-함수를 구조 상수로 사용하여, 저자들은 $ H $ 를 비편미분 촉각 고유형식의 스킴 $ \Sigma $ 상의 일반화된 셔플 대수와 동형으로 식별함으로써, 이전의 구면 부분대수에 대한 결과를 확장하고, 라포르그의 대응을 통한 갈루아 이론적 해석을 제공한다.

ABSTRACT

Let X be a smooth projective curve over a finite field. We describe H, the full Hall algebra of vector bundles X as a Feigin-Odesskii shuffle algebra. This shuffle algebra corresponds to the scheme S of all cusp eigenforms and to the rational function of two variables on S coming from the Rankin-Selberg L-functions. This means that the zeroes of these L-functions control all the relations in H. The scheme S is a disjoint union of countably many G_m-orbits. In the case when X has a theta-characteristic defined over the base field, we embed H into the space of regular functions on the symmetric powers of S.

연구 동기 및 목표

• 매끄러운 사영 곡선 $ X $ 위의 코herent sheaf의 홀라 대수 $ H $ 의 완전한 대수적 기술을 제공함으로써, 이전의 구면 부분대수를 넘어서는 것.
• 홀라 대수 $ H $ 의 구조를 자동형 L-함수, 특히 랭킨-셀버그 L-함수를 구조 상수로 사용하여 통합하는 것.
• 셔플 대수와 유리 빌리아브레아 대수를 이용한 기하학적 및 범주론적 프레임워크를 구축하여 홀라 대수의 곱과 코곱을 모델링하는 것.
• 함수체의 라포르그의 랭랜즈 대응을 통해 홀라 대수 $ H $ 에 갈루아 이론적 해석을 제공하는 것.
• 전체 홀라 대수 $ H $ 가 비편미분 촉각 고유형식의 스킴 $ \Sigma $ 상의 셔플 대수와 동형임을 보여주며, 이는 이전의 $ H_{\text{sph}} $ 에 대한 결과를 일반화하는 것.

제안 방법

• 저자들은 촉각 고유형식의 스킴 $ \Sigma $ 의 대칭적 곱 위에서 유리 이항형사상 $ \tilde{c} $ 를 정의하여, 랭킨-셀버그 L-함수 $ \operatorname{LHom} \colon \Sigma \times \Sigma \to \mathbb{C} $ 를 확장한다.
• 셔플 곱이 $ \tilde{c} $ 를 통해 정의된 바탕으로, 홀라 대수 $ H $ 를 셔플 대수 $ Sh(\mathfrak{S}, \tilde{c}) $ 로 구성한다. 여기서 $ \mathfrak{S} = \operatorname{Sym}(\Sigma) $ 이다.
• 핵심 기술 도구는 $ H^{\tensorsn} $ 의 유리 완비화이며, 이는 홀라 대수의 각 성분을 통틀어 코곱을 일관되게 정의할 수 있도록 한다.
• 홀라 대수의 코곱과 셔플 곱을 연결하기 위해 $ \omega_n = p_{1,\dots,1} \circ \Delta^{n-1} $ 이라는 사상이 사용되며, 이는 $ \omega $ 가 홀라 곱과 셔플 곱을 뒤섞는다는 것을 증명한다.
• 증명은 오비폴드 헤르미트 곱의 양성과 곱과 코곱의 $ M $-호환성에 기반하며, 이는 $ \omega $ 가 단사임을 보장한다.
• 저자들은 라포르그의 글로벌 랭랜즈 대응을 사용하여 $ H $ 에 갈루아 이론적 해석을 제공하며, 이를 함수체 상의 자동형 형식의 공간과 동일시한다.

실험 결과

연구 질문

• RQ1 곡선 위의 코herent sheaf의 전체 홀라 대수 $ H $ 는 자동형 L-함수로 어떻게 기술될 수 있는가?
• RQ2 특히 고도가 높은 경우에, 홀라 대수 $ H $ 는 구면 부분대수를 초월해 어떤 대수적 구조를 지닌다?
• RQ3 홀라 대수는 랭킨-셀버그 L-함수를 구조 상수로 사용하는 셔플 대수로 실현될 수 있는가?
• RQ4 홀라 대수의 관계는 이러한 L-함수의 영점에서 어떻게 유도되며, 기하학적으로는 어떤 의미를 갖는가?
• RQ5 비편미분 촉각 고유형식의 스킴 $ \Sigma $ 는 홀라 대수 $ H $ 의 대수적 구조를 분류하는 데 어떤 역할을 하는가?

주요 결과

• 홀라 대수 $ H $ 는 $ \mathfrak{S} = \operatorname{Sym}(\Sigma) $ 이고 $ \tilde{c} $ 가 랭킨-셀버그 L-함수를 확장하는 유리 이항형사상인 일반화된 셔플 대수 $ Sh(\mathfrak{S}, \tilde{c}) $ 와 동형임을 보였다.
• 사상 $ \omega \colon H \to \bigoplus_n (H_1)^{\otimes n}_{\text{rat}} $ 는 벡터 공간의 단사형사상이며, $ H $ 를 $ \Sigma $ 상의 정칙 대칭 함수의 공간, 즉 $ \mathbb{C}_{\text{qcom}}[\operatorname{Sym}(\Sigma)] $ 에 매립한다.
• 대수 $ H $ 는 에이젠스타인 급수의 상수항을 지배하는 유리 함수 $ \operatorname{LHom}(f_j, f_i, t_j/t_i) $ 를 정의로 사용하는 셔플 대수와 동형임을 보였다.
• 타원 곡선의 경우, $ H $ 는 무한한 텐서곱의 형태로 분해되며, 각 성분은 구면 홀라 대수 $ H_{\text{sph}} $ 와 동형이 되며, 프라티라의 결과에 대한 새로운 증명을 제공한다.
• 오비폴드 헤르미트 곱에 의해 유도되는 $ \mathbb{C}_{\text{qcom}}[\operatorname{Sym}(\Sigma)] $ 상의 스칼라 곱은 $ \operatorname{LHom} $ 에 기반한 유리 가중치 함수와 일치하며, 맥도날드의 내적을 일반화한다.
• $ k[S] $-모듈 $ H(S) $ 는 각 성분 $ S \subset \mathfrak{S} $ 에 대해 순환하지 않으며, 이는 $ \omega_n $ 의 단사성과 구조 상수의 유리성에 기인한다.