[논문 리뷰] A sm\"org {a}sbord of scalar-flat K\"ahler ALE surfaces

Michael T. Lock, Jeff Viaclovsky|arXiv (Cornell University)|2014. 10. 23.

Geometry and complex manifolds참고 문헌 38인용 수 3

한 줄 요약

이 논문은 복소 반사가 없는 임의의 비순환 유한부분군 Γ⊂U(2)에 대해 ℂ²/Γ의 최소 해소에서 스칼라 곡률이 0인 칼라비-야우 ALE 계량을 구성하며, 해석적 원환면 작용과 변형 기법을 통해 존재성을 증명한다. 주요 결과는 이러한 계량이 모든 그러한 Γ에 대해 존재하며, 특히 SU(2)가 아닌 군들에 대해서도 존재함을 보이며, Γ⊂SU(2)이면 유일하게 하이퍼카일러임을 밝힌다.

ABSTRACT

There are many known examples of scalar-flat K\\"ahler ALE surfaces, all of which have group at infinity either cyclic or contained in ${\ m{SU}}(2)$. The main result in this paper shows that for any non-cyclic finite subgroup $\\Gamma \\subset {\ m{U}}(2)$ containing no complex reflections, there exist scalar-flat K\\"ahler ALE metrics on the minimal resolution of $\\mathbb{C}^2 / \\Gamma$, for which $\\Gamma$ occurs as the group at infinity. Furthermore, we show that these metrics admit a holomorphic isometric circle action. It is also shown that there exist scalar-flat K\\"ahler ALE metrics with respect to some small deformations of complex structure of the minimal resolution. Lastly, we show the existence of extremal K\\"ahler metrics admitting holomorphic isometric circle actions in certain K\\"ahler classes on the complex analytic compactifications of the minimal resolutions.

연구 동기 및 목표

• 기존의 순환군 및 SU(2)-형 군에 한정된 스칼라 곡률이 0인 칼라비-야우 ALE 계량의 존재성을, 복소 반사가 없는 모든 비순환 유한부분군 Γ⊂U(2)로 확장하는 것.
• Γ가 무한원에서의 군으로서의 역할을 하는 ℂ²/Γ의 최소 해소에서 이러한 계량의 존재를 확립하는 것.
• 이 계량들이 해석적 등급 원환면 작용을 갖는다는 점을 통해 기하학적 대칭성과의 연관성을 밝히는 것.
• 최소 해소의 복소 구조에 대한 소규모 변형에 대해서도 이러한 계량의 존재를 보이는 것.
• 최소 해소의 복소 해석적 컴acts이피케이션에서 해석적 원환면 작용을 갖는 극단적 칼라비-야우 계량의 존재를 증명하는 것.

제안 방법

• 섹션 5.1의 스칼라 곡률이 0인 칼라비-야우 접합 정리(Scalar-flat Kähler gluing theorem)를 활용하여, 다중 에구치-한슨 계량을 몫 공간에 부착함으로써 계량을 구성한다.
• 자기 dual 오비폴드 연결합에 관한 정리 8.5를 적용하여, 스칼라 곡률이 0인 반자기 dual ALE 계량의 등각 컴acts이피케이션을 접합한다.
• 등각 블로우업 기법을 사용하여, 양의 얀베르크 불변량을 갖는 오비폴드 점에서의 컴acts이피케이션을 변형하여 스칼라 곡률이 0인 반자기 dual ALE 계량을 생성한다.
• 레마 8.1에서 η(S³/Γ)와 b₂⁻(X̃)를 활용하여 리치 평탄성 조건을 테스트하고, Γ⊂SU(2)일 경우에만 하이퍼카일러 구조임을 결론짓는다.
• 예외적 분리자( exceptional divisor )를 중심 곡선(자기 교차수 −bΓ)에 연결된 3개의 히르체브루흐-준 스트링으로 이루어진 나무 구조로 분석한다.
• 브리스코른의 몫 특이점 분류와 Γ와 해소 그래프 ⟨−bΓ; (α₁,β₁); (α₂,β₂); (α₃,β₃)⟩ 사이의 대응관계를 기반으로 한다.

실험 결과

연구 질문

• RQ1 모든 복소 반사가 없는 비순환 유한부분군 Γ⊂U(2)에 대해 스칼라 곡률이 0인 칼라비-야우 ALE 계량을 구성할 수 있는가?
• RQ2 최소 해소에서의 ℂ²/Γ에 대해 이러한 계량들이 해석적 등급 원환면 작용을 갖는가?
• RQ3 최소 해소의 복소 구조에 대한 소규모 변형에 대해서도 이러한 계량이 존재하는가?
• RQ4 최소 해소의 복소 해석적 컴acts이피케이션에서 해석적 원환면 작용을 갖는 극단적 칼라비-야우 계량이 존재하는가?
• RQ5 어떤 경우에 이러한 스칼라 곡률이 0인 칼라비-야우 ALE 계량이 반드시 하이퍼카일러가 되는가?

주요 결과

• 복소 반사가 없는 임의의 비순환 유한부분군 Γ⊂U(2)에 대해, Γ가 무한원에서의 군으로서의 역할을 하는 ℂ²/Γ의 최소 해소에서 스칼라 곡률이 0인 칼라비-야우 ALE 계량이 존재한다.
• 이 계량들은 해석적 등급 원환면 작용을 갖는다. 이는 해소에서 대칭성의 구조를 제공한다.
• 최소 해소의 복소 구조에 대한 소규모 변형에 대해서도 스칼라 곡률이 0인 칼라비-야우 ALE 계량이 존재하며, 이러한 계량의 모듈리 공간이 확장됨을 의미한다.
• 일부 칼라비-야우 클래스에서 최소 해소의 복소 해석적 컴acts이피케이션에서 해석적 등급 원환면 작용을 갖는 극단적 칼라비-야우 계량이 존재한다.
• 이 계량들은 Γ⊂SU(2)일 때에만 하이퍼카일러이며, 레마 8.1의 부등식을 통해 η(S³/Γ)와 b₂⁻(X̃)를 활용하여 이를 결정한다.
• 구성 과정에서 필요한 유일한 기본 블록은 다중 에구치-한슨 계량이며, 이는 그들이 접합 과정에서 핵심적인 역할을 한다는 것을 확인한다.