[논문 리뷰] Lagrangian subbundles of orthogonal bundles of odd rank over an algebraic curve

Insong Choe, George H. Hitching|arXiv (Cornell University)|2014. 02. 12.

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

한 줄 요약

이 논문은 종수 $ g \geq 2 $인 매끄러운 대수적 곡선 위의 기약 랭크 $ 2n+1 $인 정규화 벡터 복합체에 대해 등방성 세그레 불변량 $ t(V) $ 의 날카로운 상계를 확립하고, $ MO_X(2n+1)^\pm $ 의 모듈리 공간에서 $ t(V) $ 에 의해 정의된 계층의 기하학적 성질을 증명하며, 코homological 기법과 정규화 그라스만이안의 기하학을 이용하여 각 계층 내 일반 복합체에서 최대 라그랑주 부분복합체의 수와 차원을 결정한다.

ABSTRACT

An orthogonal bundle over a curve has an isotropic Segre invariant determined by the maximal degree of a Lagrangian subbundle. This invariant, and the induced stratifications on moduli spaces of orthogonal bundles, were studied for bundles of even rank in [4]. In this paper, we obtain analogous results for bundles of odd rank. We obtain a sharp upper bound on the isotropic Segre invariant. We show the irreducibility of the induced strata on the moduli spaces of orthogonal bundles of odd rank, and compute their dimensions. As a key ingredient of the proofs, we study the correspondence between Lagrangian subbundles of orthogonal bundles of even and odd rank.

연구 동기 및 목표

• 기약 랭크에서 정규화 복합체에 대한 세그레 유형 계층 이론을 짝수 랭크에서 기약 랭크로 확장하여, 대수적 곡선 위의 정규화 복합체 내 라그랑주 부분복합체의 분류를 완성한다.
• 기약 랭크 $ 2n+1 $인 정규화 복합체에 대해 등방성 세그레 불변량 $ t(V) $ 의 최대 가능 값을 결정하고, 이것이 날카로운 상계임을 증명한다.
• 반순수 정규화 복합체의 모듈리 공간 내 계층 $ MO_X(2n+1;t) $ 의 기하학적 성질을 증명하고, 그 차원을 계산한다.
• 각 계층 내 일반 정규화 복합체에서 최대 라그랑주 부분복합체의 수와 차원이 $ (n+1)(g-1) \mod 4 $ 의 합동 클래스에 따라 어떻게 변하는지 분석한다.

제안 방법

• 정규화 그라스만이안 $ \mathrm{OG}(n,2n) $ 을 사용하여 모듈리 공간 $ MO_X(2n+1)^\pm $ 의 두 성분을 연결하고, 라그랑주 부분복합체의 차수에 대한 짝수성 제약 조건을 증명한다.
• 히르슈호츠 유형의 보조정리와 세르 쌍대성을 적용하여 일반 복합체 $ F $ 의 랭크 $ n+1 $ 이고 차수 $ -e $ 일 때 $ h^0(X, \wedge^2 F^*) $ 를 계산함으로써, 섬세한 차원 계산에 필수적인 요소를 확보한다.
• 라그랑주 부분복합체에서 유래하는 정규화 복합체를 매개하는 사상 $ \alpha_e: \mathrm{Grass}(n, V) \to MO_X(2n+1) $ 를 구성하고, 그 섬세한 차원이 $ \mathrm{Grass}(n, F^*) $ 와 동형임을 증명한다.
• 코homological 소멸성에서 유도된 식 $ \dim M(V) = \frac{n}{2}(t(V) - (n+1)(g-1)) $ 를 통해 최대 라그랑주 부분복합체의 공간 $ M(V) $ 의 차원을 계산한다.
• 파라볼릭 복합체에 대한 불변량 $ s(V;P) = \frac{1}{2}(n-1)t(V) $ 를 사용하여, 훌라–나라시마한의 기존 결과에 기반해 $ t(V) $ 의 상한을 해석한다.
• 라그랑주 부분복합체의 차수의 짝수성에 기반해 계층 $ MO_X(2n+1;t) $ 를 성분 $ \pm $ 으로 분류한다.

실험 결과

연구 질문

• RQ1 기하학적 종수 $ g \geq 2 $ 인 곡선 위의 기약 랭크 $ 2n+1 $ 정규화 복합체에 대해 등방성 세그레 불변량 $ t(V) $ 의 날카로운 상한은 무엇인가?
• RQ2 세그레 불변량 $ t(V) $ 에 의해 정의된 계층 $ MO_X(2n+1;t) $ 는 위상적으로 어떻게 행동하는가—특히, 기하학적으로 기하학적 성질이 유지되고, 그 차원은 무엇인가?
• RQ3 일반 정규화 복합체 $ MO_X(2n+1)^\pm $ 내에서 최대 라그랑주 부분복합체의 수와 차원은 어떻게 변화하는가?
• RQ4 일반 정규화 복합체가 모듈리 공간의 $ + $ 또는 $ - $ 성분에 속하는지 여부는 무엇에 의해 결정되며, 이는 라그랑주 부분복합체의 차수와 어떻게 관련이 있는가?
• RQ5 정규화 그라스만이안 $ \mathrm{OG}(n,2n) $ 의 기하학적 성질은 모듈리 공간의 두 성분을 어떻게 연결하고, 라그랑주 부분복합체의 차수에 대한 짝수성 제약 조건을 증명하는 데 어떻게 기여하는가?

주요 결과

• 기약 랭크 $ 2n+1 $ 인 정규화 복합체 $ V $ 에 대해 등방성 세그레 불변량 $ t(V) $ 는 날카로운 상한 $ t(V) \leq (n+1)(g-1) + 3 $ 을 만족하며, 이 상한은 각 성분 $ MO_X(2n+1)^\pm $ 내의 일반 복합체에 의해 달성된다.
• 모든 짝수 $ t $ 에 대해 $ 0 < t \leq (n+1)(g-1) + 3 $ 이면 계층 $ MO_X(2n+1;t) $ 는 비어 있지 않으며 기하학적으로 기하학적 성질을 유지하며, 그 차원은 $ \dim MO_X(2n+1;t) = n(2n+1)(g-1) - \frac{n}{2}(t - (n+1)(g-1)) $ 로 주어진다.
• 일반적인 $ V \in MO_X(2n+1;t) $ 에 대해 최대 라그랑주 부분복합체의 공간 $ M(V) $ 의 차원은 $ \frac{n}{2}(t - (n+1)(g-1)) $ 이며, $ t = (n+1)(g-1) $ 일 때는 0이 되고, $ t $ 가 증가함에 따라 선형적으로 증가한다.
• 만약 $ t < (n+1)(g-1) $ 이면 일반적인 $ V $ 는 유일한 최대 라그랑주 부분복합체를 가진다; $ t = (n+1)(g-1) $ 이면 유한 개의 최대 라그랑주 부분복합체를 가지며, $ t > (n+1)(g-1) $ 이면 무한히 많은 최대 라그랑주 부분복합체를 가진다.
• 복합체 $ V $ 가 속한 성분 $ MO_X(2n+1)^\pm $ 는 $ t(V) \mod 4 $ 의 합동 클래스에 의해 결정되며, $ t(V) \equiv 0 \text{ 또는 } 3 \mod 4 $ 이면 $ V \in MO_X(2n+1)^+ $ 이고, $ t(V) \equiv 1 \text{ 또는 } 2 \mod 4 $ 이면 $ V \in MO_X(2n+1)^- $ 이다. 이는 $ t(V) \geq (n+1)(g-1) $ 일 때 성립한다.
• 일반적인 $ V $ 에 대해 최대 라그랑주 부분복합체의 수는 $ t(V) $ 와 $ N = (n+1)(g-1) \mod 4 $ 의 합동 클래스에 따라 달라지며, $ \dim M(V) = \frac{n}{2}(t - N) $ 이며, 경우에 따라 $ n/2 $, $ n $, $ 3n/2 $ 의 값이 나타난다.