[논문 리뷰] Hyperholomorphic bundles

Misha Verbitsky|ArXiv.org|1993. 07. 29.

Geometry and complex manifolds인용 수 9

한 줄 요약

이 논문은 하이퍼카일러 다양체의 모든 복소구조에 대해 해석적인 접속을 갖는 벡터(bundle)인 하이퍼홀로모르픽 번들의 개념을 도입한다. 이러한 번들이 양-밀스 이론에 부합하며, ${\Bbb H}$-불변인 첫 번째 및 두 번째 체르니 클래스를 갖는 안정 번들은 하이퍼홀로모르픽 접속을 갖는다. 이러한 번들의 변형 공간은 하이퍼카일러 구조를 가지며, 이온다乘수를 초월한 고차 오차항이 없고, 기저 다양체에 독립적이다.

ABSTRACT

Hyperholomorphic bundle is a bundle with connection defined over a hyperkaehler manifold such that this connection is holomorphic with respect to all complex structures induced by a hyperkaehler structure. A hyperholomorphic connection is Yang-Mills. If a stable bundle has first two Chern classes invariant with respect to ${\Bbb H}$, then it admits a hyperholomorphic connection. Deformation spaces of hyperholomorphic bundles are hyperkaehler. There are no higher obstructions to a deformation besides Ioneda product. This deformation space does not depend on a base manifold.

연구 동기 및 목표

• 하이퍼카일러 다양체의 모든 복소구조에 대해 해석적인 접속을 갖는 번들인 하이퍼홀로모르픽 번들을 정의하고 연구하는 것.
• 안정 벡터 번들이 하이퍼홀로모르픽 접속을 갖는 조건을 설정하는 것.
• 하이퍼홀로모르픽 번들의 변형 이론을 분석하고, 그 변형 공간이 하이퍼카일러임을 보이는 것.
• 변형 공간에서 이온다 곱을 초월한 고차 오차항이 존재하지 않음을 증명하는 것.
• 하이퍼홀로모르픽 번들의 변형 공간이 기저 다양체에 영향을 받지 않는다는 것을 보여주는 것.

제안 방법

• 하이퍼카일러 구조에 의해 유도되는 모든 복소구조에 대해 해석적인 접속을 갖는 벡터 번들을 하이퍼홀로모르픽 번들로 정의한다.
• 하이퍼카일러 구조를 이용하여, 임의의 하이퍼홀로모르픽 접속이 자동으로 양-밀스 접속임을 보인다.
• 첫 번째 및 두 번째 체르니 클래스의 안정성과 ${\Bbb H}$-불변성을 적용하여 도널드슨-울렌베르크-요우 정리를 통해 하이퍼홀로모르픽 접속을 구성한다.
• 코다이라-스펜서 사상과 함께 하이퍼홀로모르픽 번들의 변형 공간을 분석하고, 이가 하이퍼카일러 구조를 유도함을 보인다.
• 변형의 유일한 장애물은 이온다 곱이며, 고차 오차항이 존재하지 않음을 증명한다.
• 기저 하이퍼카일러 다양체에 대한 의존성을 보여주기 위해, 변형 공간이 체르니 클래스와 하이퍼카일러 기하학에만 의존함을 보인다.

실험 결과

연구 질문

• RQ1 하이퍼카일러 다양체 위의 안정 번들이 하이퍼홀로모르픽 접속을 갖는 조건은 무엇인가?
• RQ2 하이퍼홀로모르픽 번들의 변형 공간은 기저 하이퍼카일러 기하학과 어떻게 관련이 있는가?
• RQ3 하이퍼홀로모르픽 번들의 변형을 방해하는 장애물의 성격은 무엇이며, 이온다 곱을 초월한 고차 오차항이 존재하는가?
• RQ4 하이퍼홀로모르픽 번들의 변형 공간은 기저 다양체에 영향을 받지 않는가?
• RQ5 모든 하이퍼홀로모르픽 접속은 반드시 양-밀스 접속인가?

주요 결과

• 하이퍼홀로모르픽 접속은 하이퍼카일러 다양체 위에서 자동으로 양-밀스 접속이다.
• 첫 번째 및 두 번째 체르니 클래스가 헤르미션 대수 $\Bbb H$ 작용에 대해 불변인 안정 번들은 하이퍼홀로모르픽 접속을 갖는다.
• 하이퍼홀로모르픽 번들의 변형 공간은 자체적으로 하이퍼카일러 다양체이다.
• 이온다 곱을 초월한 장애물은 존재하지 않으며, 고차 오차항은 모두 사라진다.
• 하이퍼홀로모르픽 번들의 변형 공간은 기저 하이퍼카일러 다양체의 선택과 무관하다.
• 하이퍼홀로모르픽 접속의 구성은 기저의 구체적 기하학이 아니라 하이퍼카일러 구조와 체르니 클래스에만 의존한다.