[논문 리뷰] Rigidity and quasi-rigidity of extremal cycles in Hermitian symmetric spaces

Robert L. Bryant|ArXiv.org|2000. 06. 24.

Algebraic Geometry and Number TheoryMathematics참고 문헌 11인용 수 19

한 줄 요약

이 논문은 허미션 대칭 공간, 특히 그라스만이안에서 극한 순환의 강성과 준강성에 대해 연구하며, 특정 호모로지 클래스를 갖는 부분다양체에 대응하는 비적용적 복소외미분계열(EDS)을 구성함으로써 이를 분석한다. 주요 기여는 이러한 순환들이 더 이상 매끄럽게 만들 수 없는 조건을 특성화하는 것으로, 캐런 클래스가 0인 켈러 다양체 위의 복소벡터(bundle)의 분류 결과로 이어진다.

ABSTRACT

I use local differential geometric techniques to prove that the algebraic cycles in certain extremal homology classes in Hermitian symmetric spaces are either rigid (i.e., deformable only by ambient motions) or quasi-rigid (roughly speaking, foliated by rigid subvarieties in a nontrivial way). These rigidity results have a number of applications: First, they prove that many subvarieties in Grassmannians and other Hermitian symmetric spaces cannot be smoothed (i.e., are not homologous to a smooth subvariety). Second, they provide characterizations of holomorphic bundles over compact Kahler manifolds that are generated by their global sections but that have certain polynomials in their Chern classes vanish (for example, c_2 = 0, c_1c_2 - c_3 = 0, c_3 = 0, etc.).

연구 동기 및 목표

• 그라스만이안 내에서 특수한 특이 부분다양체, 예를 들어 슈부르트 순환과 같은 것이 매끄러운 부분다양체와 호모로지적으로 동치가 될 수 없는 이유를 이해하기 위해.
• 고정된 부분다양체에 대해 임의의 고정된 코드미너션을 갖는 컴팩트 복소부분다양체를 특성화하는 복소외미분계열(EDS)을 개발하기 위해.
• 특히 그라스만이안과 E VII와 같은 예외적 공간을 포함한 허미션 대칭 공간 내에서 이러한 EDS 아이디얼의 구조를 분석하기 위해.
• 결과를 적용하여 캐럴 클래스가 0인 전역 절단에 의해 생성되는 복소벡터 번들의 분류를 위해.
• 이러한 번들의 경우 반드시 곡선에서의 풀백 또는 선다발과 자명다발의 합성으로 분해되어야 하는 조건을 결정하기 위해.

제안 방법

• 컴팩트 허미션 대칭 공간 $M$ 위에 복소외미분계열 $\mathcal{I}$를 구성하여, 임의의 $p$차원 부분다양체 $V \subset M$가 $[V] \cap [W] = 0$ 를 만족할 경우 $\mathcal{I}$의 적분 다양체가 되도록 한다.
• 비적용성(non-involutivity)을 분석하고 이를 통해 표현론적 및 조합론적 방법을 사용하여 $p$차원 적분 다양체를 명시적으로 묘사한다.
• 접합 대칭 공간의 외부대칭 대칭 대수의 아이디얼 포지트로프(Poset)를 사용하여, 특히 하스 세트 다이어그램의 특정 노드에 대응하는 슈부르트 순환과 관련된 적분 다양체를 분류한다.
• 그라스만이안 $\mathrm{Gr}(m,n)$ 에 이론을 적용하여, 코드미너션 $k=2,3$ 인 슈부르트 순환과 그들의 호모로지적 비매끄러움을 중심으로 분석한다.
• 톰과 하츠혼-리스-토머스의 결과를 활용하여, $\mathrm{Gr}(3,6)$ 내에서 특정 호모로지 클래스가 매끄러운 부분다양체로 표현될 수 없음을 보인다.
• 예외적 허미션 대칭 공간인 $\mathsf{E\,VII}$ 를 컴퓨팅 도구인 simpLie 를 사용하여 아이디얼 포지트와 그 적분 다양체를 분석한다.

실험 결과

연구 질문

• RQ1 그라스만이안 내에서 슈부르트 순환이 매끄러운 부분다양체와 호모로지적으로 동치가 되지 않는 조건은 무엇인가?
• RQ2 고정된 부분다양체 $W$ 와 관련된 복소외미분계열 $\mathcal{I}$ 는 $[V] \cap [W] = 0$ 를 만족하는 모든 부분다양체 $V$ 를 특성화하는 데 사용될 수 있는가?
• RQ3 허미션 대칭 공간 내에서 비적용적 복소외미분계열의 적분 다양체의 구조는 무엇인가, 특히 $\mathrm{Gr}(3,6)$ 과 $\mathsf{E\,VII}$ 에서는 어떻게 되는가?
• RQ4 콤팩트 켈러 다양체 위에서 전역 절단에 의해 생성되는 복소벡터 번들의 캐럴 클래스가 0일 경우 기하학적 구조는 어떻게 제약을 받는가?
• RQ5 모든 임의의 아이디얼 $\mathcal{I}_{(p,q)}$ 의 기약적 적분은 $\mathsf{E\,VII}$ 내에서 특정 차원이 더 높은 슈부르트 순환에 포함되는가?

주요 결과

• 그라스만이안 $\mathrm{Gr}(3,6)$ 에서 코드미너션 2인 슈부르트 순환 $\sigma(W)$ 는 톰의 결과를 활용하여 하츠혼, 리스, 톰슨에 의해 매끄러운 부분다양체와 호모로지적으로 동치가 되지 않음을 보였다.
• 그라스만이안 $\mathrm{Gr}(2,5)$ 에서 코드미너션 2인 순환 $\sigma(W)$ 는 두 매끄러운 부분다양체의 차이로 표현되지만, 단일 매끄러운 부분다양체와는 호모로지적으로 동치가 되지 않는다.
• 고정된 부분다양체 $W$ 와 관련된 복소외미분계열 $\mathcal{I}$ 는 거의 항상 적용적이지 않지만, 그 $p$차원 적분 다양체는 여전히 명시적으로 묘사할 수 있다.
• 콤팩트 켈러 다양체 위의 복소벡터 번들 $F$ 에 대해 $c_2(F) = 0$ 이면, $F$ 는 반드시 곡선에서의 풀백이거나 $L \oplus T$ 로 분해되며, 여기서 $L$ 은 선다발이고 $T$ 는 자명다발이다.
• $\mathsf{E\,VII}$ 에서 아이디얼 $\mathcal{I}_{(6,6)}$ 는 차원 10인 기약적 적분을 가지며, 이는 노드 $(10,0)$ 에 대응하는 슈부르트 순환과 관련이 있다. 이 표현의 차원은 43,758이며, 이웃보다 훨씬 작다.
• $\mathsf{E\,VII}$ 에서 아이디얼 $\mathcal{I}_{(10,0)}$ 는 차원 17인 기약적 적분을 가지며, 이는 노드 $(17,8)$ 에 대응한다. 표현의 차원은 100,386이며, $\Lambda^{10}(\mathfrak{m})$ 의 1/80 이하이다.