[논문 리뷰] Non-emptiness of Brill-Noether loci in M(2,K)

Herbert Lange, P. E. Newstead외 1명|arXiv (Cornell University)|2013. 11. 20.

Algebraic Geometry and Number Theory참고 문헌 13인용 수 13

한 줄 요약

이 논문은 $g \geq 3$인 매끄러운 복소곡선 $C$ 위에서 임의의 정규화 결정을 가진 안정적 랭크-2 벡터(bundle)의 모듈리 공간 $M(2,K)$ 내에서 브릴-노에르 위치 $B(2,K,k)$의 비어있음을 증명한다. 헤케 대응 $H$를 이용해 기본류 $b_H(k)$를 정의하고, $B(2,K,k) \neq \emptyset$이 되기 위한 필요충분조건으로 $b_H(k) \neq 0$임을 증명함으로써, 일반 곡선에 대해 $k \leq 7$일 때와 피트리 곡선에 대해 명시적인 곡선의 계수 조건 하에서 베르트람-페인버그-무카이 추측을 확인하는 계산 기반 기준을 제공한다.

ABSTRACT

Let C be a smooth projective complex curve of genus $g\geq2$. We investigate the Brill-Noether locus consisting of stable bundles of rank 2 and canonical determinant having at least $k$ independent sections. Using the Hecke correpondence we construct a fundamental class, which determines the non-emptiness of this locus at least when $C$ is a Petri curve. We prove that in many expected cases the Brill-Noether locus is non-empty. For some values of $k$ the result is best possible.

연구 동기 및 목표

• 성질 $g \geq 3$인 곡선에서 정규화 결정을 가진 안정적 랭크-2 벡터(bundle)에 대해 브릴-노에르 위치 $B(2,K,k)$의 비어있음을 다루는 베르트람-페인버그-무카이 추측의 부분 (i)를 해결한다.
• 자연적 컴actification $\overline{M}(2,K)$의 특이점을 피하기 위해, 헤케 대응 $H$를 이용한 비어있음에 대한 계산 기반 기준을 수립한다.
• $b_H(k) \neq 0$이면 $B(2,K,k) \neq \emptyset$임을 증명하며, 특히 피트리 곡선과 일반 곡선에 대해 적용한다.
• $M(2,K(p))$의 모듈리 공간으로 결과를 확장하여, 비어있음은 차원이 적어도 $\beta(2,K,k)+1$ 이상인 성분을 가짐을 보인다.

제안 방법

• 헤케 대응 $H$를 $M(2,K)$의 매끄럽고 사영적인 컴actification으로 정의하여, $H$ 내에서 브릴-노에르 위치 $B_H(k)$에 대한 기본류 $b_H(k)$를 구성한다.
• 일반 곡선의 경우 $g \geq 3$이면 $B(2,K,k) \neq \emptyset$이 되기 위한 필요충분조건이 $b_H(k) \neq 0$임을 증명한다. 유일한 예외는 $g=k=4$일 때이다.
• $H$의 코homology는 완전히 알려져 있으므로, $b_H(k)$의 비영성은 소수 $g$에 대해 이항계수와 계승의 모듈로 산술 계산으로 환원된다.
• 소수 곡선의 경우, $M_0 + M_{(g-1)/2} + M_{g-1} \mod g$의 합을 분석함으로써 계산을 단순화한다. 여기서 $M_j$는 특정한 이항계수의 선형조합이다.
• Maple을 이용한 기호 계산을 통해 $10 \leq k \leq 24$에 대해 $b_H(k) \neq 0$임을 확인한다. 이는 $3g'_k - 3 \geq \frac{k(k+1)}{2}$를 만족하는 가장 작은 소수 $g'_k$에 대해 행렬 행렬식의 비영성 조건을 검증함으로써 이루어진다.
• $M(2,K(p))$에 결과를 적용하기 위해 $\pi_1: H \to M(2,K(p))$를 통해 $B_H(k)$를 사영한다. 이로써 $B(2,K(p),k) \neq \emptyset$이며, 모든 성분의 차원이 적어도 $\beta(2,K,k)+1$ 이상임을 보인다.

실험 결과

연구 질문

• RQ1 정규화 결정을 가진 안정적 랭크-2 벡터(bundle)에 대해, $M(2,K)$ 내에서 브릴-노에르 위치 $B(2,K,k)$가 비어있지 않은 조건은 무엇인가?
• RQ2 $B(2,K,k)$의 비어있음은 헤케 대응 $H$의 코homology 내 기본류에 의해 결정될 수 있는가?
• RQ3 $b_H(k) \neq 0$ 조건이 일반 곡선 외에도 모든 피트리 곡선에 대해 비어있음을 보장하는가?
• RQ4 주어진 $k$에 대해 $B(2,K,k) \neq \emptyset$가 성립하는 최소 곡선의 계수 $g_k$는 무엇인가? 특히 $g$가 소수일 경우에 대해.
• RQ5 $M(2,K(p))$ 내에서 $B(2,K(p),k)$의 성분 차원은 기대 차원 $\beta(2,K,k)$와 어떻게 비교되는가?

주요 결과

• 일반 곡선의 경우 $g \geq 3$이고 $k \leq 7$일 때, $\beta(2,K,k) \geq 0$이면 $B(2,K,k) \neq \emptyset$임이 완전히 증명된다. 이는 $B(2,K,k) \neq \emptyset \iff b_H(k) \neq 0$의 동치성에 기반한다.
• 모든 피트리 곡선에 대해, $g$가 홀수 소수이고 $g-1 \geq \max\left\{\frac{k(k-1)}{4}, 2k-1\right\}$이면 $B(2,K,k) \neq \emptyset$임을 보였다. 이는 테이크스도르의 조건 $g \geq \frac{k^2}{4}$를 개선한 것이다.
• $10 \leq k \leq 24$에 대해, $3g'_k - 3 \geq \frac{k(k+1)}{2}$를 만족하는 가장 작은 소수 $g'_k$를 사용하여 Maple을 이용한 계산을 통해 $b_H(k) \neq 0$임을 확인하였다. 이는 이러한 곡선들에 대해 $B(2,K,k) \neq \emptyset$임을 의미한다.
• $M(2,K(p))$ 내에서 $b_H(k) \neq 0$이면 $B(2,K(p),k) \neq \emptyset$이며, 모든 성분의 차원은 적어도 $\beta(2,K,k)+1$ 이상이다. 이는 기대 차원보다 엄밀히 더 크다.
• 일반 곡선의 경우 $g \geq 3$이고 $k \geq 2$일 때, $B(2,K(p),k)$의 차원은 $\beta(2,K,k)+k$ 이하로 상한이 주어지며, 이는 실제 차원이 기대치와 크게 다를 바 없다는 것을 보여준다.
• 일부 경우에서 결과는 최적이다: $k=11,15,16,20,24$에 대해 계산된 $g'_k$는 $3g'_k - 3 \geq \frac{k(k+1)}{2}$를 만족하는 최소 정수이므로, 이 경우에 대해 추측이 완전히 확인되었다.