[논문 리뷰] Azumaya structure on D-branes and resolution of ADE orbifold singularities revisited: Douglas-Moore vs. Polchinski-Grothendieck

Chien‐Hao Liu, Shing‐Tung Yau|ArXiv.org|2009. 01. 03.

Black Holes and Theoretical Physics참고 문헌 16인용 수 8

한 줄 요약

이 논문은 D-brane 위의 Azumaya 구조와 네트워크화된 분할 쿼티언트 구조를 조합함으로써, 이전에 하이퍼카일러 구조의 쿼티언트(크론하이머-나카지마)와 개방된 끈 양자장 이론(Douglas-Moore)을 통해 유도된 바 있었던 ADE 오비폴드 특이점의 최소 해소를 재현한다. 핵심 결과는 이 구조를 통해 얻어진 $[\mathbb{A}^2/\Gamma]$ 위의 D0-brane의 계수 모듈리 공간이 최소 해소 $\widetilde{\mathbb{A}^2/\Gamma}$ 와 동형임을 보여주며, Polchinski-Grothendieck 추측을 통한 D-brane 유도 기하학에 수학적 기반을 제공한다.

ABSTRACT

In this continuation of [L-Y1] and [L-L-S-Y], we explain how the Azumaya structure on D-branes together with a netted categorical quotient construction produces the same resolution of ADE orbifold singularities as that arises as the vacuum manifold/variety of the supersymmetric quantum field theory on the D-brane probe world-volume, given by Douglas and Moore [D-M] under the string-theory contents and constructed earlier through hyper-Kähler quotients by Kronheimer and Nakajima. This is consistent with the moral behind this project that Azumaya-type structure on D-branes themselves -- stated as the Polchinski-Grothendieck Ansatz in [L-Y1] -- gives a mathematical reason for many originally-open-string-induced properties of D-branes.

연구 동기 및 목표

• 문자열 이론에서 D-brane 프로브를 통한 ADE 오비폴드 특이점의 해소를 대수기하학적 구성과 통합하는 것.
• Polchinski-Grothendieck 추측—D-brane를 Azumaya 객체로 해석함—이 특이점의 해소 기하학을 수학적으로 기계적으로 제공하는가를 보여주는 것.
• D0-brane의 모듈리 공간에 대한 네트워크화된 분할 쿼티언트가 $[\mathbb{A}^2/\Gamma]$의 최소 해소를 유도함을 보여주는 것.
• $\Gamma$-불변 위치를 통한 $\mathbb{A}^2$ 위의 점들의 힐베르트 스킴과 기하학적 D-brane 구성 간의 대응을 설정하는 것.

제안 방법

• D-brane를 Azumaya 객체로 모델링하기 위해 Polchinski-Grothendieck 추측을 활용하며, 길이 $r$인 $\Gamma$-등변 $\mathcal{O}_{\mathbb{A}^2}$-모듈러의 $W$-가속 가중치 가족 위에서의 $\mathcal{O}_{\widetilde{Z}}$ 구조층을 사용한다.
• 오비폴드의 표현에 대한 몫 스택으로 $\mathfrak{M}^{D0}_1([\mathbb{A}^2/\Gamma])$의 모듈리 스택을 구성한다.
• 분해 $W$와의 피복곱을 통해 아틀라스 $C_2\Gamma M_r(\mathbb{C})$ 내부의 $\Gamma$-불변 부분스택 $C_{2}\Gamma M_r(\mathbb{C})^\circ$를 식별한다.
• 분할 쿼티언트 $C_{2}\Gamma M_r(\mathbb{C})^\circ / \mathrm{GL}_r(\mathbb{C})$를 적용하여 $W$와 동형인 기하학적 몫을 얻는다.
• Hilbert-Chow 사상과 동형사상 $({\mathbb{A}}^{2})^{[r]}/\Gamma \cong W$를 이용하여 해소가 고정점의 위치로 식별됨을 보인다.
• $\Gamma$의 정규 표현과 $\mathbb{C}^r$ 위의 $\Gamma$-고정점 벡터 $v_0$가 존재하여 $H^0(\mathcal{O}_{\mathrm{pt}_\varphi}) \cdot v_0 = \mathbb{C}^r$를 만족함을 통해 이동 가능한 D-brane를 특성화한다.

실험 결과

연구 질문

• RQ1 D-brane 모듈리에 Azumaya 구조를 순수하게 적용함으로써 ADE 오비폴드 특이점 $\mathbb{A}^2/\Gamma$의 최소 해소를 도출할 수 있는가?
• RQ2 Polchinski-Grothendieck 추측—D-brane를 Azumaya 객체로 해석함—은 Douglas-Moore의 개방 끈 양자장 이론에서 관찰된 해소 기하학을 어떻게 재현하는가?
• RQ3 $[\mathbb{A}^2/\Gamma]$ 위의 D0-brane 모듈리 공간에서 $\Gamma$-불변 위치는 해소를 생성하는 데 어떤 역할을 하는가?
• RQ4 해소에 대응하는 D-brane는 기하학적으로 이동 가능한가? 그리고 고정점에 갇힌 D-brane는 무엇으로 특성화되는가?

주요 결과

• $C_{2}\Gamma M_r(\mathbb{C})^\circ / \mathrm{GL}_r(\mathbb{C})$ 는 $W$와 동형이다. 여기서 $W$는 $\mathbb{A}^2/\Gamma$의 최소 스크린 해소이다.
• $\mathfrak{M}^{D0}_1([\mathbb{A}^2/\Gamma])$의 D0-brane 모듈리 스택의 계수 모듈리 공간은 $W$를 포함하는 부분스택을 지닌다.
• $C_{2}\Gamma M_r(\mathbb{C})^\circ / \mathrm{GL}_r(\mathbb{C})$의 기하학적 점들은 $\mathbb{C}^r$ 위에 정규 표현이 있고, $\Gamma$-고정점 벡터가 $\mathbb{C}^r$를 생성하는 $\varphi: (\mathrm{pt}^{\mathrm{Az}}, \mathbb{C}^r) \to [\mathbb{A}^2/\Gamma]$의 사상에 대응한다.
• $((\mathbb{A}^2)^{[r]})^\Gamma$의 고정점 위치는 $W \amalg (\text{유한한 점들의 집합)$로 분해되며, 여기서 $W$는 해소이다.
• $p^W: W \to \mathfrak{M}^{D0}_1([\mathbb{A}^2/\Gamma])$는 $W \times \mathbb{A}^2$ 내의 유니버설 부분스키마 $\widetilde{Z} \subset W \times \mathbb{A}^2$에 의해 유도된다.
• 이동 가능한 D-brane는 오비폴드 점에 있지 않은 이미지를 가진 사상에 대응한다; 특이점에 고정된 D-brane는 끈 이론적 의미에서 아직 분류되지 않았다.