[논문 리뷰] Theta Functions for $\SL(n)$ versus $\GL(n)$

Ron Donagi, Loring W. Tu|ArXiv.org|1993. 03. 28.

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

한 줄 요약

이 논문은 곡선 위의 벡터(bundle)의 SL(n) 및 GL(n) 모듈리 공간에서의 θ 함수 사이의 정확한 차원적 관계를 확립한다. 고정된 결정행렬 모듈리 공간 SM(n,d)과 전체 모듈리 공간 M(n,d)에서의 수준-k θ 함수 공간의 차원은 최대공약수 gcd(n,d)와 종수 g를 포함하는 인자에 의해 관련되어 있음을 증명한다. 또한 매개변수에 대한 호환사상에 의한 자연스러운 이중성에 대한 추측을 제기하며, 종수 1 및 차수 0의 경우에 대해 명시적인 계산을 통해 이를 뒷받침한다.

ABSTRACT

Over a smooth complex projective curve $C$ of genus $g$ let $\M (n,d)$ be the moduli space of semistable bundles of rank $n$ and degree $d$ on $C$, and $\SM (n,L)$, the moduli space of those bundles whose determinant is isomorphic to a fixed line bundle $L$ over $C$. Let $θ_F$ and $θ$ be theta bundles over these two moduli spaces. We prove a simple formula relating their spaces of sections: if $h=\gcd (n,d)$ is the greatest common divisor of $n$ and $d$, and $L\in \Pic ^d(C)$, then $$\dim H^0(\SM (n,L), θ^k) \cdot k^g=\dim H^0(\M(n,d),θ_F^k)\cdot h^g.$$ We also formulate a conjectural duality between these two types of spaces of sections.

연구 동기 및 목표

• 고정된 결정행렬 모듈리 공간 SM(n,d)과 전체 모듈리 공간 M(n,d)에서의 수준-k θ 함수 공간의 차원을 연결하는 정확한 공식을 확립하는 것.
• 매끄러운 프로젝티브 곡선 위에서 결정행렬이 고정된 SL(n)과 임의의 결정행렬을 가진 GL(n) 벡터(bundle)에 대한 θ 함수 간의 관계를 조사하는 것.
• 매개변수에 대한 호환사상에 의한 SM(n₁,d₁)과 M(n₂,d₂)에서의 θ 함수 간에 자연스러운 이중성을 추측하고, 이를 위한 근거를 마련하는 것.
• k=1 및 d=0에 대한 기존 결과를 일반적인 k와 임의의 d로 확장하기 위해 Verlinde 공식과 Galois 코팅을 사용하는 것.
• GL(n)의 경우에서 보조 벡터(bundle)와 결정선다발의 종속성에 대해 명확히 하는 것.

제안 방법

• Tₙ(즉, n- torsion 벡터(bundle)의 군)를 갖는 차수 n²g인 에탈 코팅 τ: SM(n,L) × Pic⁰(C) → M(n,d)를 사용하여 차원 공식을 유도한다.
• 주어진 E ∈ M(n,d)에 대해 χ(E⊗F) = 0를 만족하는 보조 벡터(bundle) F를 특성화하기 위해 Riemann-Roch 정리를 적용하고, 이를 통해 M(n,d) 위의 θ 다발 θ_F를 정의한다.
• θ_F = τ_F^*θ를 정의하기 위해, E ↦ E⊗F의 텐서곱 사상 τ_F: E ↦ E⊗F를 통해 M(nn_F, nn_F(g−1)) 위의 θ 다발 θ의 풀백을 사용한다.
• Verlinde 공식 (Faltings)을 적용하여 dim H⁰(SM(n,L), θᵏ)를 계산하고, 이를 바탕으로 Theorem 1을 이용해 dim H⁰(M(n,d), θ_Fᵏ)를 유도한다.
• n₁ = hṅ, d₁ = hḋ, n₂ = kṅ, d₂ = k(ṅ(g−1)−ḋ), h = gcd(n,d)인 호환사상 (n₁,d₁,k) ↦ (n₂,d₂,h)를 도입하여 두 모듈리 공간을 연결한다.
• 종수 1 및 차수 0의 경우에 대해 명시적인 계산을 제공하며, 대칭곱 S^h C' 및 S^k C'를 사용하여 모듈리 공간을 사영 공간과 식별하고 이중성을 검증한다.

실험 결과

연구 질문

• RQ1 고정된 결정행렬 모듈리 공간 SM(n,d)과 전체 모듈리 공간 M(n,d)에서의 수준-k θ 함수 공간의 차원은 어떻게 관련되어 있는가?
• RQ2 n, d, k, g에 따라 dim H⁰(SM(n,L), θᵏ)와 dim H⁰(M(n,d), θ_Fᵏ)를 연결하는 정확한 공식은 무엇인가?
• RQ3 매개변수 호환사상 (n₁,d₁,k) ↦ (n₂,d₂,h) 하에서 H⁰(SM(n₁,d₁), θᵏ)와 H⁰(M(n₂,d₂), θ_Fʰ) 사이에 자연스러운 이중성이 존재하는가?
• RQ4 보조 벡터(bundle) F의 선택이 M(n,d) 위의 θ 다발 θ_F에 어떻게 영향을 미치며, 언제 그것이 진정된 θ 다발이 되는가?
• RQ5 종수 1 곡선 또는 차수 0의 벡터(bundle)와 같은 특수한 경우에서 추측된 이중성을 검증할 수 있는가?

주요 결과

• 논문은 dim H⁰(SM(n,L), θᵏ) · k^g = dim H⁰(M(n,d), θ_Fᵏ) · h^g (여기서 h = gcd(n,d))임을 증명하며, SL(n)과 GL(n) θ 함수 사이의 정확한 차원적 관계를 확립한다.
• k=1 및 d=0의 경우, 이 결과는 Beauville, Laszlo, Sorger의 기존 계산으로 축소되며, 이전 연구와의 일致성을 확인한다.
• 종수 1의 경우, 모듈리 공간 SM(hṅ, hḋ)과 M(kṅ, −kḋ)는 각각 대칭곱 S^h C' 및 S^k C'로 식별되며, 이는 명시적인 코homology 계산을 가능하게 한다.
• 종수 1에서 명시적인 이중성이 검증된다: H⁰(SM(hṅ, (det F)^h), θᵏ)와 H⁰(M(kṅ, −kḋ), θ_Fʰ)는 대칭곱 코homology를 통해 자연스럽게 이중성이 된다.
• 차수 0의 경우(즉, d=0), 추측된 이중성은 s(n,0,k) = v(k,0,n)로 축소되며, Verlinde 공식과 Bott–Szenes 계산을 통해 확인된다.
• M(n,d) 위의 θ 다발 θ_F는 F의 랭크와 det F에만 의존하며, rk F가 최소가 아닐 경우에만 진정된 θ 다발의 배수이다.