[논문 리뷰] ON JET BUNDLES AND GENERALIZED VERMA MODULES

Helge Øystein Maakestad|arXiv (Cornell University)|2008. 12. 15.

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

한 줄 요약

이 논문은 고차 미분 이미지, 영 아이디얼, 리이론적 기법을 사용하여 그라스만만에서 l-번째 제트 번들의 섬유와 일반화된 베르마 모듈의 자연스러운 필터링 사이의 정확한 대응을 수립한다. 주요 결과는 그라스만만에서 임의의 선다발의 l-번째 판별식이 1 ≤ l ≤ d 일 때 기약임을 보여준다.

ABSTRACT

The aim of this paper is to initiate a study of the jet bundles on the grassmannian $X$ over a field of characteristic zero using higher direct images of $G$-linearized sheaves, Lie theoretic methods, enveloping algebra theoretic methods and generalized Verma modules. We calculate the $P$-module of the dual jet bundle $J^l(L)^*$ and prove it equals the $l$'th piece of the canonical filtration for $H^0(X,L)^*$. We use the results obtained to prove the discriminant of any linear system on any grassmannian is irreducible.

연구 동기 및 목표

• 제트 번들의 섬유의 P-모듈 구조를 표현 이론적 도구를 사용하여 기술하기.
• 동형 공간에서의 제트 번들과 일반화된 베르마 모듈, 그리고 임의의 SL(V)-모듈의 자연스러운 필터링을 연결하기.
• 이 기술을 그라스만만에서 선형 계열의 판별식 연구에 적용하기.
• 제트 번들의 섬유의 P-모듈 구조를 이용하여 1 ≤ l ≤ d 일 때 l-번째 판별식 Dl(OX(d))의 기약성을 증명하기.
• 이중 복합체를 통해 제트 번들에서 유도된 이중 복합체를 사용하여 판별식의 이상층의 해상도를 구성하기 위한 기초를 마련하기.

제안 방법

• G-선형화된 국소 자유층과 유한 차원 P-모듈 사이의 동치를 이용하여 기하 대상을 표현 이론적 대상으로 번역하기.
• G-선형화된 층의 고차 직접 이미지 적용을 통해 X × X의 피복 곱 위에서 유도된 함자론의 형식을 사용하여 제트 번들 Pl_X(OX(d))를 분석하기.
• Taylor 사상 T^l: H^0(X, OX(d)) ⊗ OX → Pl_X(OX(d))를 구성하고 1 ≤ l ≤ d 일 때의 전성함수를 증명하기.
• 최고 무게 벡터의 영 아이디얼을 사용하여 보편 포락 대수 U(g)를 이용해 전역 절단의 쌍대공간 H^0(X, OX(d))∗의 자연스러운 필터링 Ul(g)v를 정의하기.
• 등식 Pl_X(OX(d))(x)* ≅ Ul(g)v를 통해 일반화된 베르마 모듈 구성법을 통해 제트 번들의 섬유를 P-모듈로 식별하기.
• Bott의 정리를 적용하여 제트 번들의 외적의 거듭제곱의 코homology 군을 계산하고, Koszul 복합체와 이중 복합체를 통해 싸지지의 연구를 가능하게 하기.

실험 결과

연구 질문

• RQ1 구분점 x ∈ G/P 에서 l-번째 제트 번들 Pl_X(OX(d))의 섬유에 대한 P-모듈 구조는 무엇인가?
• RQ2 보편 포락 대수와 영 아이디얼을 사용하여 H^0(X, OX(d))∗의 쌍대공간에 대한 자연스러운 필터링 Ul(g)v를 어떻게 명시적으로 기술할 수 있는가?
• RQ3 그라스만만 X = G(m, m+n)에서 선다발 OX(d)의 l-번째 판별식 Dl(OX(d))는 1 ≤ l ≤ d 일 때 기약인가?
• RQ4 제트 번들의 외적의 거듭제곱의 코homology는 표현 이론적 도구를 사용하여 계산할 수 있는가? 이를 통해 판별식의 싸지지를 연구할 수 있는가?
• RQ5 제트 번들에서 유도된 이중 복합체는 어떻게 사용하여 Dl(OX(d))의 이상층의 해상도를 구성할 수 있는가?

주요 결과

• 구분점 x ∈ G/P 에서 l-번째 제트 번들의 섬유 Pl_X(OX(d))(x)* 는 Ul(g)v 로서의 P-모듈로 동형이며, Ul(g)v 는 H^0(X, OX(d))∗ 의 자연스러운 필터링의 l-번째 조각이다.
• Ul(g)v 의 차원은 dim_K(Ul(g)v) = (mn + l choose l) 로 주어지며, 이는 제트 번들의 섬유의 차원과 일치하여 이 동형사상이 벡터 공간의 동형임을 증명한다.
• 모든 1 ≤ l ≤ d 에 대해 Taylor 사상 T^l: H^0(X, OX(d)) ⊗ OX → Pl_X(OX(d)) 는 전성함수이며, 이는 제트 번들을 몫으로서 구성하는 데 핵심적인 기술적 결과이다.
• 1 ≤ l ≤ d 일 때 l-번째 판별식 Dl(OX(d)) 는 Q_l,d 가 국소 자유층임과 [12, 보조정리 2.6]의 적용을 통해 기약임을 보였다.
• 외적의 거듭제곱 ∧^i Pl_X(OX(d))(x)* 는 P-모듈로서 ∧^i Ul(g)v 와 동형이며, 이 필터링은 기약 몫을 갖는다. 이는 Bott의 정리를 통해 코homology 계산이 가능하게 한다.
• 이중 복합체 Ci,j(T^l) = OX(−i) ⊗ H^j(X, ∧^i Pl_X(OX(d))∗) 는 Dl(OX(d)) 의 싸지지를 연구하는 데 사용될 수 있으며, 코homology 군은 자연스러운 필터링과 영 아이디얼을 통해 계산 가능하다.