[논문 리뷰] Brill-Noether Sheaves

Rainer Weissauer|ArXiv.org|2006. 10. 30.

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

한 줄 요약

이 논문은 곡선의 아벨-자기군 위에서의 반복 콘볼루션을 통해 유도된 델타 층의 페르세이브 층으로서 브릴-노에터 층을 도입한다. 비이중곡선인 경우, 곡선 위의 델타 층의 r중 콘볼루션의 페르세이브 부분은 기약이며, 차분 다양체 $W_r - W_r$의 교차(cohomology)와 대응되며, 이는 초등적 카테고리로서 $\mathrm{Sp}(2g-2,\overline{\mathbb{Q}}_l)$ 또는 $\mathrm{SL}(2g-2,\overline{\mathbb{Q}}_l)$에 등가되며, 이는 이중곡선 여부에 따라 달라진다.

ABSTRACT

We construct a $\bar Q_l$-linear Tannakian category attached to a smooth projective curve C equivalent to the category of finite dimensional $\bar Q_l$-representations Rep(G), where G is $Sp(2g-2,\bar Q_l)$ or $Sl(2g-2,\bar Q_l)$ depending on whether C is hyperelliptic or not.

연구 동기 및 목표

• 곡선의 아벨-자기군에서 반복 콘볼루션을 통한 델타 층에서 유도된 페르세이브 층을 정의하고 연구하는 것.
• 아벨-자기군 내 곡선 위의 델타 층의 r중 자기 콘볼루션의 구조를 이해하며, 특히 이들의 페르세이브 부분과 상수 부분으로의 분해를 다루는 것.
• 페르세이브 구성요소로 생성된 카테고리 $\mathcal{BN}$이 $\mathrm{Sp}(2g-2,\overline{\mathbb{Q}}_l)$ 또는 $\mathrm{SL}(2g-2,\overline{\mathbb{Q}}_l)$에 등가된다는 티탄카이안 카테고리 구조를 확립하는 것.
• 이러한 콘볼루션의 페르세이브 성분이 브릴-노에터 다양체와 그 코homology와 어떻게 관련되는지 밝혀내는 것.

제안 방법

• 아벨-자기군 위의 $\overline{\mathbb{Q}}_l$-층의 유도 범주에서 군 법칙을 통한 콘볼루션 곱을 사용한다.
• 반복 콘볼루션 $\delta_{Y_1} * \cdots * \delta_{Y_r}$로부터 페르세이브 부분 $^p\delta_\alpha$를 페르세이브 t-구조의 잘라내기 기법을 통해 추출한다.
• 직접 이미지의 콘볼루션 곱을 차분 사상 아래에서 분해하기 위해 리틀우드-리치아드슨 규칙을 적용한다.
• 반복 구성요소로 생성된 카테고리 $\mathcal{BN}'$에 대해 티탄카이안 형식론을 적용하여, 티탄카이안 군을 $\mathrm{Sp}(2g-2,\overline{\mathbb{Q}}_l)$ 또는 $\mathrm{SL}(2g-2,\overline{\mathbb{Q}}_l)$로 식별한다.
• 스톡과 코homology 분석을 위해 쌍대성, 강성, 하드 레프셰츠 정리를 적용한다.
• 대칭 거듭제곱과 텐서 카테고리의 구조에 기반하여 표현론적 분류를 이끌어내는 데 의존한다.

실험 결과

연구 질문

• RQ1 곡선의 아벨-자기군 위에서 델타 층의 반복 콘볼루션은 어떻게 페르세이브 부분과 상수 부분으로 분해되는가?
• RQ2 이러한 콘볼루션의 페르세이브 구성요소로 생성된 카테고리의 티탄카이안 구조는 무엇인가?
• RQ3 차분 다양체 $W_r - W_r$의 코homology 층은 페르세이브 층 $^p\delta_{\chi - r, r}$과 어떻게 관련되는가?
• RQ4 언제 페르세이브 층 $^p\delta_{\chi - r, r}$이 기약인가?
• RQ5 주어진 곡선에 대해 티탄카이안 카테고리 $\mathcal{BN}$의 정확한 군론적 실현은 무엇인가?

주요 결과

• 비이중곡선인 곡선 $C$의 종수 $g \geq 3$에 대해, $r < g/2$일 때 페르세이브 층 $^p\delta_{\chi - r, r}$은 기약이다.
• $\mathcal{BN}$은 티탄카이안 카테고리이며, $G = \mathrm{Sp}(2g-2,\overline{\mathbb{Q}}_l)$이면 $\mathrm{Rep}(G)$에 등가된다.
• $^p\delta_{\chi - r, r}$은 $\delta_{W_r - W_r}$과 동형이며, 이는 아벨-자기군 $J(C)$ 내의 차분 다양체 $W_r - W_r \subseteq J(C)$의 교차 코homology 층이다.
• 직접 이미지 $Rf_*\delta_{W_r \times W_s}$는 $\delta_{\chi - s, r} \oplus Rf_*\delta_{W_{r-1} \times W_{s-1}}$로 분해되며, 여기서 $\delta_{\chi - s, r} = {}^p\delta_{\chi - s, r} \oplus T(r,s)$이고, $T(r,s)$는 상수 층의 이동이다.
• 만약 곡선 $C$가 이중곡선이면 $\mathcal{BN}$의 티탄카이안 군은 $\mathrm{SL}(2g-2,\overline{\mathbb{Q}}_l)$이며, 그렇지 않으면 $\mathrm{Sp}(2g-2,\overline{\mathbb{Q}}_l)$이다.
• 이 구성은 기약 페르세이브 층 $^p\delta_{\chi - r, r}$을 통한 $W_r - W_r$의 교차 코homology의 명시적 기술을 제공한다.