[논문 리뷰] ADE bundles over surfaces with ADE singularities

Yunxia Chen, Naichung Conan Leung|arXiv (Cornell University)|2012. 09. 22.

Algebraic Geometry and Number Theory참고 문헌 11인용 수 3

한 줄 요약

이 논문은 ADE 특이점을 가지며 pg=0인 컴acts한 복소 표면 위에서 ADE 리 대수 번들의 및 그의 최소 표현 번들의 구조를 만들며, 최소 해소에서의 흔들림을 통해 특이 표면으로의 내림을 보여준다. 핵심 결과는 이러한 번들이 특이 표면으로 내림하는 데 필요한 조건이 예외적 곡선 위의 코homological 조건을 만족할 때에만 성립한다는 것이다. 이는 (−1)-곡선의 기하적 구성과 표현 이론 사이의 연결고리를 제공한다.

ABSTRACT

Given a complex projective surface with an ADE singularity and p_{g}=0, we construct ADE bundles over it and its minimal resolution. Furthermore, we descibe their minuscule representation bundles in terms of configurations of (reducible) (-1)-curves.

연구 동기 및 목표

• ADE 리 대수 번들을 ADE 특이점과 pg=0을 가진 컴팩트한 복소 표면 위에 구성하기.
• 최소 해소 Y에서의 (−1)-곡선 구성에 따라 최소 표현 번들을 기술하기.
• 이러한 번들이 최소 해소 Y에서 특이 표면 X로 내림하는 조건을 규명하기.
• 기하적 자료((−1)-곡선과 예외적 분해)와 표현 이론적 자료(최소 표현과 대칭 형식) 사이의 관계를 밝히기.

제안 방법

• 표면 X의 ADE 특이점에 대한 최소 해소 π:Y→X를 이용하여 예외적 분해의 이중 그래프에서 ADE 루트 체계를 올리기.
• Φ가 ADE 루트 체계일 때, O_Y^⊕n ⊕ ⨁_{α∈Φ} O_Y(α)로 주어진 Y 위의 힐베르트 공간 리 대수 번들 E₀ᵍ를 구성하기.
• φ∈Ω^{0,1}(Y,⨁_{α∈Φ⁺} O_Y(α))를 사용하여 힐베르트 공간의 구조를 변형하여, ∂̄_φ = ∂̄ + ad(φ)가 E₀ᵍ 위의 새로운 힐베르트 공간의 구조를 정의하기.
• 변형된 번들 E_φᵍ가 각 예외적 곡선 C_i 위에서 자명해지기 위한 조건이 [φ_{C_i}|_{C_i}] ≠ 0 이어야 하며, 이는 H¹(C_i, O_{C_i}(C_i)) ≅ ℂ 에서 성립함을 증명하기.
• 최소 표현 V에 대해, X의 (−1)-곡선 C₀ 위에 있는 (−1)-곡선 l에 대해 π(l)=C₀인 조건을 만족하는 O_Y(l)의 합으로 이루어진 번들 L₀^{(ℊ,V)}를 구성하기.
• L₀^{(ℊ,V)}가 E_φᵍ의 작용과 호환되는 힐베르트 공간의 구조 ∂̄_φ를 지니며, 코homological 조건이 만족될 경우 X로 내림함을 보여주기.

실험 결과

연구 질문

• RQ1 ADE 리 대수 번들이 ADE 특이점을 가진 표면의 최소 해소 Y 위에 존재할 때, 어떤 조건에서 특이 표면 X로 내림할 수 있는가?
• RQ2 최소 표현 번들은 최소 해소 Y에서의 (−1)-곡선 구성에 의해 어떻게 기하학적으로 실현되는가?
• RQ3 코homological 클래스 [φ_{C_i}|_{C_i}] ∈ H¹(C_i, O_{C_i}(C_i))는 Y에서 X로의 힐베르트 공간 번들의 내림에 어떤 역할을 하는가?
• RQ4 φ ∈ Ω^{0,1}(Y,⨁_{α∈Φ⁺} O_Y(α))로 매개화된 힐베르트 공간의 구조 변형 동안 리 대수 번들의 구조가 유지되는가?
• RQ5 최소 표현 번들의 대칭 텐서 구조는 (−1)-곡선과 ADE 루트 체계의 기하학과 어떻게 관련되어 있는가?

주요 결과

• ADE 리 대수 번들 E₀ᵍ는 φ ∈ Ω^{0,1}(Y,⨁_{α∈Φ⁺} O_Y(α))를 통해 Y 위에서 힐베르트 공간 번들 E_φᵍ로 변형될 수 있으며, ∂̄_φ는 리 대수의 구조를 유지한다.
• 변형된 번들 E_φᵍ는 모든 i에 대해 [φ_{C_i}|_{C_i}] ≠ 0 이어야만 X로 내림할 수 있다. 이는 H¹(C_i, O_{C_i}(C_i)) 에서 성립한다.
• 최소 표현 V에 대해, π(l)=C₀인 (−1)-곡선 l 위의 선다발의 합으로 이루어진 번들 L₀^{(ℊ,V)}는 E_φᵍ의 작용과 호환되는 힐베르트 공간의 구조 ∂̄_φ를 지닌다.
• V가 표준 표현일 경우, r=2,3,4에 대해 각각 ℊ=A_n,D_n,E_6,E_7일 때, ⨂^r L_φ^{(ℊ,V)} → O_Y(D)로 가는 힐베르트 공간 대칭 다중선형 형식 f 가 존재하며, E_φᵍ ≅ aut₀(L_φ^{(ℊ,V)}, f) 를 만족한다.
• E_φᵍ의 첫 번째 코hen 클래스는 0이며, c₂(E_φᵍ) = dim(ℊ) − rank(ℊ) 이므로 번들은 비자명하다.
• 구성은 유일하지 않다. 서로 다른 φ의 선택은 비동형인 힐베르트 공간의 구조를 유도할 수 있으며, H¹(Y,O_Y(α)) 내에서 ψ≠0일 때 φ_{α}를 φ_{α}+ψ로 대체함으로써 이를 보여준다.