[논문 리뷰] ADE-bundles over rational surfaces, configuration of lines and rulings

Naichung Conan Leung|ArXiv.org|2000. 09. 20.

Commutative Algebra and Its Applications참고 문헌 13인용 수 14

한 줄 요약

이 논문은 데르 페초 및 룰드 표면와 같은 유리 표면 위에서 선과 룰링을 이용하여 $E_n$, $D_{n-1}$, $A_{n-2}$ 유형의 리 대수 번들의 구조를 수립한다. 기하적 구성요소인 선과 룰링의 배열과 표현 이론에서의 분기 규칙 사이에 깊은 대응 관계를 설정하며, $X_n$ 위의 선의 수가 $E_n$의 기본 표현의 차원과 일치함을 보여주며($n=8$의 경우는 예외로, 고도 표현이 불일치를 설명함), 기하학적 분해를 통해 리 이론적 감소를 통한 추가 기하학적 및 대수적 구조를 암시한다.

ABSTRACT

To each del Pezzo surface (resp. ruled surface, ruled surface with a section), we describe a natural Lie algebra bundle of type E_n (resp. D_n, A_n) over it. Using lines and rulings on any such surface, we describe various representation bundles corresponding to fundamental representations of the corresponding Lie algebra. When we specify a geometric structure on the surface to reduce the Lie algebra to a smaller one, then the classical geometry of the configuration of lines and rulings is encoded beautifully by the branching rules in Lie theory. We discuss this relationship in details. When we degenerate the surface to a non-normal del Pezzo surface, we discover that the configurations of lines and rulings are also governed by certain branching rules.

연구 동기 및 목표

• 데르 페초 및 룰드 표면 위에서 선과 룰링과 같은 기하 데이터를 이용하여 자연스러운 $E_n$, $D_{n-1}$, $A_{n-2}$ 유형의 리 대수 번들을 구축하는 것.
• 유리 표면 위의 선과 룰링의 배열이 예외적 및 고전적 리 대수의 표현 이론에서의 분기 규칙과 어떻게 관련되는지 밝히는 것.
• $X_n$ 위의 선 수가 $E_n$의 기본 표현의 차원과 일치함을 보이며, $n=8$에서 정확한 예외가 존재함을 밝히는 것.
• 데르 페초 표면의 분해가 기하학적 구성요소를 분기 규칙에 따라 이끌어내지만, 번들의 분해 이론은 아직 완전하지 않음.

제안 방법

• 모든 $X_n$ 위의 선 $l$에 대해 선다발 $O(l)$의 직합으로 구성된 허름한 번들 $\mathcal{L}_n$을 정의하며, $n=8$일 경우 $O(-K)^{\oplus 8}$을 포함한 특별한 수정 항을 포함한다.
• 선다발의 합성에 해당하는 $8-n$개의 분리된 선과 그 호모로지 클래스를 제거함으로써, $X_8$에서의 풀백을 통해 $X_n$ 위의 리 대수 번들 $L\mathcal{E}_n$을 구성한다.
• $\mathcal{S}^+$ 위의 스핀 표현과 비퇴화된 이차형식을 이용해, $\alpha$, $\beta$, $\gamma$를 포함한 브라켓 공식을 통해 $L\mathcal{E}_8 = L\mathcal{D}_8 \oplus \mathcal{S}^+ \otimes O(K)$ 위에 리 대수 구조를 정의한다.
• $\mathcal{S}^+$와 그 $O(2K)$로 편향된 쌍대다발 사이의 동형을 이용해, 반대칭 쌍대형식 $\gamma: \mathcal{S}^+ \otimes \mathcal{S}^+ \to L\mathcal{D}_8 \otimes O(-2K)$를 정의한다.
• 기하학적 특수화(예: 룰링, 블로우다운)를 통해 $L\mathcal{E}_n$의 구조군을 부분군으로 감소시키며, 이러한 감소가 표현 이론의 분기 규칙과 연결됨을 보여준다.
• $X_8$에서 분리된 선과 그 호모로지 클래스에 해당하는 선다발 합성항을 제거함으로써 $n<8$에 대해 $L\mathcal{E}_n$을 재구성하며, 이 번들이 블로우다운으로부터 풀백됨을 보장한다.

실험 결과

연구 질문

• RQ1 선과 룰링과 같은 기하 데이터를 이용해 데르 페초 및 룰드 표면 위에서 $E_n$, $D_{n-1}$, $A_{n-2}$ 유형의 리 대수 번들을 자연스럽게 어떻게 구성할 수 있는가?
• RQ2 $X_n$ 위의 선 수와 $E_n$의 기본 표현의 차원 사이의 정확한 대응 관계는 무엇인가?
• RQ3 표면의 기하학적 감소(예: 블로우다운, 분해)는 관련 리 대수의 표현 이론에서의 분기 규칙과 어떻게 대응되는가?
• RQ4 $X_8$ 위의 기하 데이터(예: 스핀다발, 이차형식)로부터 $L\mathcal{E}_8$의 리 대수 구조를 재구성할 수 있는가?
• RQ5 $n=8$일 때 $E_8$의 고도 표현이 차원이 248인 $\mathbf{L}_8$과 선 수 240 사이의 불일치를 어떻게 설명하는가?

주요 결과

• $n \leq 7$일 때, $E_n$의 기본 표현 $\mathbf{L}_n$의 차원은 $X_n$ 위의 선 수와 일치하며, $n = 1, 2, 3, 4, 5, 6, 7$에 대해 각각 $\dim \mathbf{L}_n = 1, 3, 6, 10, 16, 27, 56$이다.
• $n=8$일 때, $\dim \mathbf{L}_8 = 248$이며, 이는 $X_8$ 위의 선 수(240)에 더해 $E_8$의 랭크(8)를 더한 것과 일치하여 고도 표현이 실현됨을 나타낸다.
• $\mathcal{L}_n$은 $n \leq 7$일 때 $\bigoplus_{l \text{ line on } X_n} O(l)$로 정의되며, $n=8$일 때는 $\bigoplus O(l) \oplus O(-K)^{\oplus 8}$로 정의되어 $E_n$의 구조군과의 호환성을 확보한다.
• $L\mathcal{E}_8$은 $L\mathcal{D}_8 \oplus \mathcal{S}^+ \otimes O(K)$로 구성되며, $\alpha$, $\beta$, $\gamma$를 포함한 섬세한 브라켓 공식을 통해 피브어와이즈 브라켓이 정의되며, 각 피브어에서 $E_8$와 동형이다.
• $L\mathcal{E}_8$의 감소를 $E_7 \times \mathfrak{sl}(2)$로 수행하기 위해 $A_1$-서브다발의 중심자군을 취하며, 그 결과 생성된 $E_7$-다발은 특정 선 클래스를 따라 $X_8$의 블로우다운으로부터 풀백된다.
• 비정상적인 데르 페초 표면으로의 표면 분해는 여전히 분기 규칙을 통해 선과 룰링의 구성요소를 암시하지만, 번들의 분해 이론은 아직 완전히 이해되지 않았다.