[논문 리뷰] Nonvanishing of conformal blocks divisors on $\bar{M}_{0,n}$

Prakash Belkale, Angela Gibney외 1명|arXiv (Cornell University)|2014. 10. 08.

Algebraic Geometry and Number Theory참고 문헌 25인용 수 4

한 줄 요약

이 논문은 형식 A 리 대수에서 모듈리 공간 $̅{M}_{0,n}$ 위의 등각 블록 딜로어의 영이 아닌 조건을 필요로 하고 충분한 조건으로 설정한다. 이는 기저 번들의 랭크에 의존하는 딜로어 간의 덧셈 항등식을 도입하여 영이 아닌 결과를 강화하고, θ 수준과 임계 수준이 일치할 때 영이 아닌 성질이 성립함을 증명한다.

ABSTRACT

We introduce and study the problem of finding necessary and sufficient conditions under which a conformal blocks divisor on $\bar{M}_{0,n}$ is nonzero. We give necessary conditions in type A, which are sufficient when theta and critical levels coincide. We show that divisors are subject to additive identities, dependent on ranks of the underlying bundle. These identities amplify vanishing and nonvanishing results and have other applications.

연구 동기 및 목표

• 형식 A 리 대수에서 모듈리 공간 $̅{M}_{0,n}$ 위의 등각 블록 딜로어의 영이 아닌 조건에 대한 필수적이고 충분한 조건을 규명하는 것.
• 등각 블록 번들의 첫 번째 체르니클 클래스가 영이 아닌지 여부를 결정하는 기하학적 및 표현론적 조건을 이해하는 것.
• 기저 번들의 랭크에 기반한 등각 블록 딜로어 간 덧셈 항등식을 탐색하여 영이 아닌 결과를 강화하는 것.
• 딜로어가 영이 아닐 때, 이에 관련된 사상 $\phi_{\mathbb{D}}$가 비자명한지 분석함으로써 딜로어가 영인지 여부를 규명하는 것.
• 기저 번들의 랭크가 양수이지만 딜로어가 영이 되는 경우를 해결하는 것 — 이는 비자명한 사상이 기대되지만 실제로는 그렇지 않은 경우를 포함한다.

제안 방법

• 등각 블록 번들의 랭크를 계산하기 위해 버린데 공식과 표현론을 사용하여 $̅{M}_{0,n}$ 위의 $̅{V}_{\mathfrak{g},\vec{\lambda},\ell}$ 를 분석한다.
• 등각 블록 번들의 영이 아닌 성질을 특정 유니터리 행렬이 주어진 공轭류를 갖는 존재성으로 특성화하기 위해 양자 호른 추측과 행렬 분해 기법을 적용한다.
• 무게 튜플을 부분 무게로 분해하고 더 작은 리 대수에서의 랭크 조건을 분석함으로써 등각 블록 딜로어에 대한 덧셈 항등식을 도입한다.
• 기저 번들의 랭크와 비교하기 위해 코인variant 공간 $̅{A}_{\mathfrak{g},\vec{\lambda}}$ 과 그 차원을 사용하여, 번들이 비자명한데도 딜로어가 영이 되는 경우를 식별한다.
• 플루커 임bedding과 사상 $φ_{\mathbb{D}}$ 를 사용하여 딜로어가 영이 되는지 여부(즉, 전체 모듈리 공간을 한 점으로 압축하는지 여부)를 분석한다.
• 등각 블록 번지의 영이 아닌 성질과 $×mathbb{P}^1$ 위의 벡터 번들 간의 호모모르피즘에 대한 선형 조건 시스템의 해 존재성 간의 동치성을 활용한다.

실험 결과

연구 질문

• RQ1 등각 블록 딜로어 $\mathbb{D}_{\mathfrak{g},\vec{\lambda},\ell}$ 가 $\u0305{M}_{0,n}$ 위에서 영이 아닌데 필요한 조건과 충분한 조건은 무엇인가? $(\mathfrak{g}, \vec{\lambda}, \ell)$ 에 대해.
• RQ2 기저 번들의 랭크에 기반한 등각 블록 딜로어 간 덧셈 항등식은 어떻게 유도되며, 이는 영이 되거나 영이 아닌 성질에 대해 무엇을 드러내는가?
• RQ3 등각 블록 딜로어에 관련된 사상 $\phi_{\mathbb{D}}$ 가 점으로 압축되는 조건은 무엇인가? 이는 딜로어가 영이 되는 것을 나타낸다.
• RQ4 비자명한 등각 블록 번들이 존재함에도 불구하고 첫 번째 체르니클 클래스가 0인 경우는 언제이며, 이러한 경우를 체계적으로 식별할 수 있는가?
• RQ5 형식 A에서, θ 수준과 임계 수준이 일치하는 조건은 언제이며, 이는 딜로어의 영이 아닌 성질에 어떤 영향을 미치는가?

주요 결과

• 형식 A에서 등각 블록 딜로어의 영이 아닌 조건은 필요 조건으로 제시되며, θ 수준과 임계 수준이 일치할 경우 충분 조건이 된다.
• 기저 번들의 랭크에 의존하는 등각 블록 딜로어에 대한 덧셈 항등식이 확립되었으며, 이는 영이 되거나 영이 아닌 결과의 강화를 가능하게 한다.
• 기저 번들의 랭크가 1이지만 $\dim \mathbb{A}_{\mathfrak{sl}_4,\vec{\lambda}} = 2$ 인 구체적인 예를 구성하였으며, 이 경우에도 딜로어가 여전히 0임을 보였다.
• $\mathbb{D}_{\mathfrak{sl}_4,\{\omega_1,(2\omega_1+\omega_3)^3\},3}$ 가 두 개의 영이 되는 딜로어로 분해되어 0임을 입증하였다: $\mathbb{D}_{\mathfrak{sl}_4,\{\omega_1,\ldots,\omega_1\},1} + \mathbb{D}_{\mathfrak{sl}_4,\{0,\omega_1+\omega_3,\omega_1+\omega_3,\omega_1+\omega_3\},2}$, 이 두 딜로어 모두 영이다.
• 등각 블록 번지의 영이 아닌 성질은 $\mathbb{P}^1$ 위의 벡터 번들 간 호모모르피즘에 대한 선형 조건 시스템의 해 존재성과 동치이며, 이는 양자 호른 문제와 연결된다.
• 등각 블록 번지의 영이 아닌 성질은 다음과 같은 유니터리 행렬 $A_i \in \operatorname{U}(r+1)$ 가 존재하는 것으로 특성화된다: $A_1 A_2 \cdots A_n = \gamma \operatorname{Id}$, 여기서 각 $A_i$ 는 대각행렬 $\exp(2\pi i \lambda_i^{(a)}/\ell)$ 와 공轭이며, $\gamma = \exp(2\pi i \sum |\lambda_i| / \ell(r+1))$ 이다.