[논문 리뷰] Harmonic maps into Grassmannian manifolds

Yasuyuki Nagatomo|arXiv (Cornell University)|2014. 08. 07.

Geometry and complex manifolds참고 문헌 5인용 수 6

한 줄 요약

이 논문은 타카하시의 구 위로의 조화형 사상에 관한 정리를 벡터 번들의 프레임워크와 라플라스 연산자, 평균 곡률 연산자를 도입하여 그라스만다이안 다양체 위로의 조화형 사상으로 일반화한다. 주요 기여는 당김 쪼개어진 범위의 단면 위에서 라플라스 연산자의 0 성질을 통해 조화형 사상의 특성화를 이끌어내며, 이는 강성 결과와 복소 쌍곡선 위로의 헬모르픽 등거리 임베딩에 대한 모듈리 공간 구축을 이끈다.

ABSTRACT

A harmonic map from a Riemannian manifold into a Grassmannian manifold is characterized by a vector bundle, a space of sections of this bundle and a Laplace operator. We apply our main theorem, itself a generalization of a Theorem of Takahashi, to generalize the theory of do Carmo and Wallach and to describe the moduli space of harmonic maps satisfying the gauge and the Einstein-Hermitian conditions from a compact Rieannian manifold into a Grassmannian. As an application, several rigidity results are exihibited. In particular we generalize a rigidity theorem due to Calabi in the case of holomorphic isometric immersions of compact Kaehler manifolds into complex projective spaces. Finally, we also construct moduli spaces of holomorphic isometric embeddings of the complex projective line into complex quadrics of low degree.

연구 동기 및 목표

• 구 위로의 타카하시의 정리를 그라스만다이언 다양체 위로의 조화형 사상으로 확장한다.
• 당김 유니버설 쪼개어진 범위의 단면 위에서 라플라스 연산자의 0 성질을 통해 조화형 사상을 특성화한다.
• 게이지 조건과 아인슈타인-에르미트 조건을 사용하여 도 카르모와 월라흐의 최소 임베딩 이론을 일반화한다.
• 낮은 차수의 복소 쌍곡선 위로의 복소 프로젝티브 직선의 헬모르픽 등거리 임베딩에 대한 모듈리 공간을 구축한다.
• ADHM 구성과 트위스터 이론을 통해 조화형 사상의 기하학을 선형 대수적 구조와 연결한다.

제안 방법

• 당김 번들 f*Q → M 위에서 두 번째 기본형의 병합의 추적으로 평균 곡률 연산자 A를 도입한다.
• f*Q의 단면이 W의 원소로 식별될 때, W 위에서 라플라스 연산자의 0 성질을 정의한다.
• 가우스–코다지 방정식을 사용하여 에너지, 양–밀스, A의 L² 노름에 대한 세 기능적에 대한 올드루앙-라그랑주 방정식을 계산한다.
• A가 항등원에 비례하는 아인슈타인–에르미트 조건을 적용하여 극값 사상을 특성화한다.
• 볼–바일 정리와 펜로즈 변환을 사용하여 헬모르픽 단면의 공간을 Sp(2)의 표현과 식별한다.
• 극좌 분해와 이미지 동치를 활용하여 모듈리 공간을 몫으로 묘사한다. 예를 들어, M₂ = M₂/S¹ = [0,1].

실험 결과

연구 질문

• RQ1 매끄러운 사상 f:M→Gr_p(W)가 당김 쪼개어진 범위의 단면 위에서 라플라스 연산자의 성질을 통해 언제 조화형인가?
• RQ2 게이지 조건과 아인슈타인–에르미트 조건이 컴acts 리만다이언 다양체에서 그라스만다이언으로의 조화형 사상의 모듈리 공간을 어떻게 제약하는가?
• RQ3 차수 2의 복소 쌍곡선 위로의 CP¹의 헬모르픽 등거리 임베딩의 모듈리 공간의 구조는 어떠한가?
• RQ4 S⁴ 위의 인스턴턴트의 맥락에서 ADHM 구성은 조화형 사상과 트위스터 변환과 어떻게 관련되는가?
• RQ5 유한차원 단면 공간을 가진 헬모르픽 벡터 번들에서 유도된 사상이 조화형인 것으로 특성화될 수 있으며, 그 조건은 무엇인가?

주요 결과

• 매끄러운 사상 f:M→Gr_p(W)는 각 단면 t∈W에 대해 라플라스 연산자가 Δt = -At를 만족하고 |df|² = -trace A일 때에만 조화형이다.
• CP¹에서 Gr₄(ℝ⁶)로의 차수 2의 헬모르픽 등거리 임베딩의 모듈리 공간 M₂는 S¹ 작용에 의한 몫으로서 [0,1]과 위상동형이다.
• S⁴ 위의 타우토로지컬 번들에서 유도된 사상 f₀:M→Gr₂(ℂ⁴)는 강성 있으며, 게이지 조건과 아인슈타인–에르미트 조건을 만족하는 조화형 사상으로서 변형될 수 없다.
• 평균 곡률 연산자 A의 L² 노름으로 정의된 기능적은 사상의 총 에너지와 관련된 하한을 가진다.
• ADHM 방법으로 구성된 1-인스턴턴트의 경우, C=0일 때 유도된 사상 f:M→Gr₂(ℂ⁴)는 표준 사상으로 복구되지만, C≠0일 땐 다르며, 다만 당김 접속은 여전히 자기 dual 임을 확인한다.
• 선형 방정식 (Δ+A)t=0 및 Dα=0는 모듈리 공간 기술의 근간이 되며, 이는 조화형 사상의 선형 대수적 분류를 가능하게 한다.