[논문 리뷰] Stable Configurations of Linear Subspaces and Quotient Coherent Sheaves

Yi Hu|ArXiv.org|2004. 01. 20.

Geometry and complex manifolds참고 문헌 26인용 수 21

한 줄 요약

이 논문은 힐버트-무프스의 수치 기준과 모멘트 맵 방법을 사용하여 선형 부분공간 및 몫 코herent sheaf 구성의 GIT 안정성 기준을 수립한다. 구성이 안정적임은 유일하게 허미트 계량에 대해 균형 잡힌 상태일 때이고, 무프스와 돌가체프의 결과를 일반화하며, 게르프란드-맥퍼슨 대응을 부분공간과 몫 코herent sheaf로 확장한다.

ABSTRACT

In this paper we provide some stability criteria for systems of linear subspaces of $V \otimes W$ and for systems of quotient coherent sheaves, using, respectively, the Hilbert-Mumford numerical criterion and moment map. Along the way, we generalize the Gelfand-MacPherson correspondence [11] from point sets to sets of linear subspaces (of various dimensions). And, as an application, we provide some examples of $G$-ample cones without any top chambers. The results of this paper are based upon and/or generalize some earlier works of Klyachko [18], Totaro [28], Gelfand-MacPherson [11], Kapranov [17], Foth-Lozano [8], Simpson [24], Wang [30], Phong-Sturm [22], Zhang [32] and Luo [20], among others.

연구 동기 및 목표

• 벡터 공간의 텐서곱에서 부분공간의 구성에 대한 무프스와 돌가체프의 GIT 안정성 기준을 부분공간 시스템으로 일반화하는 것.
• SL(V) 작용 하에서 선형 부분공간 구성의 안정성에 대한 모멘트 맵 기반 특성화를 수립하는 것.
• 점 구성에서부터 선형 부분공간과 몰입 코herent sheaf 구성으로의 게르프란드-맥퍼슨 대응을 확장하는 것.
• 아이젠슈타인과 포페스크의 제안에 따라, 그라스만만에서의 딸림을 통한 일반화된 게일 변환을 정의하고 연구하는 것.
• GL(V)-ample 콘을 묘사하기 위한 새로운 다각체인 대각선 초다이아펩스를 도입하여, 그라스만만의 곱의 GL(V)-ample 콘을 계산하는 것.

제안 방법

• 가중 직선선다발 L_ω 에 대해 SL(V)-안정성의 필요충분조건을 유도하기 위해 힐버트-무프스 수치 기준을 적용한다.
• 콤���트 켈러 다양체 X 에서 그라스만만으로의 사상 공간에 대한 SU(N) 작용의 모멘트 맵을 계산하며, 이를 X 위에서의 국소 모멘트 맵의 적분으로 표현한다.
• 구성 {g_i: X → Gr(r_i, ℂ^N)} 이 가중치 적분된 정규직교 프로젝션의 합이 항등원의 스칼라배와 같을 때, 즉 스칼라가 가중 평균 랭크와 일치할 때 균형 잡힌다고 정의한다.
• 모멘트 맵과 GIT 이론을 통해 구성이 안정적임은 유일하게 균형 잡힌 상태에 있고, 유한한 안정자군을 가진다로 증명한다.
• 블록 단위 작용을 통해 ∏Gr(k_i, V) 위의 GL(V)-오빗과 Gr(n, ℂ^{k_1+⋯+k_m}) 위의 GL(k_1)×⋯×GL(k_m)-오빗 사이에 일반화된 게르프란드-맥퍼슨 대응을 구축한다.
• GL(V)-ample 콘을 묘사하기 위한 새로운 다각체인 대각선 초다이아펩스를 도입하며, 이가 상층 침대를 갖지 않을 수 있음을 보여준다 — 이는 이전 예시에서 드문 현상이다.

실험 결과

연구 질문

• RQ1 텐서곱 V⊗W 내 선형 부분공간 시스템에 대해 대각선 SL(V) 작용 하에서의 GIT 안정성 기준은 무엇인가?
• RQ2 다양체에서 그라스만만으로의 사상 공간에 대한 모멘트 맵은 부분다발 구성의 안정성과 어떻게 관련되는가?
• RQ3 게르프란드-맥퍼슨 대응은 점 구성에서 선형 부분공간 구성으로 일반화될 수 있는가?
• RQ4 쌍대 그라스만만에서 부분공간 구성 간의 일반화된 게일 변환의 기하학적 의미는 무엇인가?
• RQ5 그라스만만의 곱에 대한 GL(V)-ample 콘의 성질는 무엇이며, 새로운 다각체를 통해 어떻게 묘사할 수 있는가?

주요 결과

• 구성 {K_i ⊂ V⊗W} 가 SL(V) 작용 하에서 반안정적(또는 안정적)임은 모든 0이 아닌 진부분공간 H ⊂ V 에 대해 부등식 ∑ω_i dim(K_i ∩ (H⊗W))/dim H ≤ ∑ω_i dim K_i / dim V (또는 <) 가 성립할 때이다.
• 구성 {V_i ⊂ V} 가 폴리안정적임은 V 위의 허미트 계량 h 에 대해 유일하게 균형 잡힌 상태일 때이다. 즉, ∑ω_i π_{V_i} = (1/dim V)∑ω_i k_i · Id_V 를 만족한다.
• ∏Hom(X, Gr(r_i, ℂ^N); P_i) 위의 SU(N) 작용에 대한 모멘트 맵은 Φ({g_i}) = ∑ω_i ∫_X A_i(x)A_i^*(x) dV − ℘_ω({g_i}) Vol(X) I 로 주어진다.
• 사상 구성 {g_i} 가 안정적임은 유일하게 균형 잡힌 상태에 있고, 유한한 안정자군을 가진다로 동치이다.
• ∏Quot(V, P_i) 내 벡터 부분다발 {ℰ_i} 의 안정성은 유일한 u ∈ SU(N)\SL(N) 가 존재하여 u·{ℰ_i} 가 균형 잡힌 상태가 되는 것과 동치이다.
• m=1 인 경우, ℂ^N × X 내 부분다발 ℰ 의 기이제커-심슨 안정성은 ℰ 가 유일하게 균형 잡힐 수 있고, 유한한 자동사상군을 가진다로 동치이며, 왕과 포앙-스트룸의 결과를 회복한다.