[논문 리뷰] The modular curve as the space of stability conditions of a CY3 algebra

Tom Sutherland|arXiv (Cornell University)|2011. 11. 17.

Advanced Algebra and Geometry참고 문헌 6인용 수 19

한 줄 요약

이 논문은 3차원 칼라비-유우아 트라이앵귤레이티드 카테고리에서 $A_2$-컬렉션의 3-서피실 오브젝트로 생성된 안정성 조건의 공간에 대한 기하적 실현을 확립한다. 타원 곡선 위의 유리형 미분형식의 주기들을 이용하여, 타원 곡선의 모듈리 공간 위의 영이 아닌 헬로모르픽 미분형식의 $\mathbb{C}^*$-배럴의 유니버설 커버와 안정성 조건의 연결 성분 $\mathrm{Stab}^0(\mathcal{D})$ 사이의 이항형 등위를 구축한다. 브레인 군 $\mathrm{Br}_3$는 이 등위의 덱 변환으로 작용한다.

ABSTRACT

We prove that a connected component of the space of stability conditions of a CY3 triangulated category generated by an A_2 collection of 3-spherical objects is isomorphic to the universal cover of the C^*-bundle of non-zero holomorphic differentials on the moduli space of elliptic curves.

연구 동기 및 목표

• A_2 계량에 관련된 $\mathrm{CY}_3$ 트라이앵귤레이티드 카테고리 $\mathcal{D}$의 안정성 조건 공간의 연결 성분 $\mathrm{Stab}^0(\mathcal{D})$의 구조를 규명하는 것.
• 이 성분을 유지하는 자동형사상 군 $\mathrm{Aut}^0(\mathcal{D})$를 특정하고, 이를 브레인 군 $\mathrm{Br}_3$과 연결하는 것.
• 타원 곡선 위의 유리형 미분형식의 주기를 이용하여 $\mathrm{Stab}^0(\mathcal{D})$에 대한 기하 모델을 구축하는 것.
• $L^*$이 타원 곡선의 모듈리 공간 $\mathcal{M}_{1,1}$ 위의 영이 아닌 헬로모르픽 미분형식의 $\mathbb{C}^*$-배럴이라면, $\widetilde{L^*}$과 $\mathrm{Stab}^0(\mathcal{D})$ 사이의 $\mathrm{Br}_3$-등위 이항형 등위를 확립하는 것.

제안 방법

• 저자들은 $A_2$ 계량의 진지크 드레인 대수를 사용하여, 두 개의 3-서피실 오브젝트 $S$와 $T$로 생성되는 $\mathrm{CY}_3$ 트라이앵귤레이티드 카테고리 $\mathcal{D}_{fd}(GA_2)$를 정의한다.
• 서피실 트위스트 $\Phi_S$와 $\Phi_T$의 작용을 분석하여, 이들이 브레인 관계를 만족하고 $\mathrm{Br}_3$과 동형인 부분군을 생성함을 보인다.
• 안정성 조건의 중심 질량 $Z$는 타원 곡선의 유니버설 패밀리 위의 프레임드 타원 곡선에서 6차 극과 반주기에서 이중 영점이 있는 유리형 미분형식 $\lambda$의 주기를 통해 정의된다.
• 주기 지도 $[\int_\alpha \lambda : \int_\beta \lambda]$를 $\mathrm{Br}_3$-등위 이항형 등위로 올리는 방식으로, $f: \widetilde{\mathcal{M}_{1,1}} \to \mathrm{Stab}^0(\mathcal{D})/\mathbb{C}$를 구성한다.
• 모듈리 공간 $\mathcal{M}_{1,1}$ 위의 $\mathbb{C}^*$-배럴 $L^*$의 유니버설 커버 $\widetilde{L^*}$는 주기 지도의 올림 $F$를 통해 $\mathrm{Stab}^0(\mathcal{D})$와 동형임을 확인하며, 양측의 $\mathrm{Br}_3$ 작용과 호환된다.
• 호모로지와 $K$-이론에서의 단형행렬을 비교함으로써 등위가 검증된다: 양측 모두 행렬 $\begin{pmatrix}0&-1\\1&0\end{pmatrix}$과 $\begin{pmatrix}0&1\\-1&1\end{pmatrix}$로 표현되며, 이는 $\mathrm{Br}_3$-등위성의 확인을 제공한다.

실험 결과

연구 질문

• RQ1 A_2 계량에 관련된 $\mathrm{CY}_3$ 대수의 유도 카테고리와 관련된 안정성 조건의 연결 성분 $\mathrm{Stab}^0(\mathcal{D})$의 기하적 구조는 무엇인가?
• RQ2 브레인 군 $\mathrm{Br}_3$은 이 안정성 조건 공간에 어떻게 작용하는가?
• RQ3 공간 $\mathrm{Stab}^0(\mathcal{D})$는 타원 곡선의 모듈리 공간 위의 $\mathbb{C}^*$-배럴의 유니버설 커버로 실현될 수 있는가?
• RQ4 타원 곡선 위의 유리형 미분형식의 주기와 $\mathrm{Stab}^0(\mathcal{D})$ 내 안정성 조건의 중심 질량 사이에 자연스러운 대응이 존재하는가?
• RQ5 주기 지도의 단형행렬과 자동형사상 군 $\mathrm{Aut}^0(\mathcal{D})$ 사이의 관계는 무엇인가?

주요 결과

• 연결 성분 $\mathrm{Stab}^0(\mathcal{D})$는 타원 곡선의 모듈리 공간 $\mathcal{M}_{1,1}$ 위의 영이 아닌 헬로모르픽 미분형식의 $\mathbb{C}^*$-배럴 $L^*$의 유니버설 커버와 이항형 등위이다.
• 자기형사상 군 $\mathrm{Aut}^0(\mathcal{D})$는 세 개의 끈을 가진 브레인 군 $\mathrm{Br}_3$과 동형이다.
• $f: \widetilde{\mathcal{M}_{1,1}} \to \mathrm{Stab}^0(\mathcal{D})/\mathbb{C}$는 주기 지도를 $\mathrm{Br}_3$-등위 이항형 등위로 올리는 지도이며, 6차 극과 반주기에서 이중 영점이 있는 유리형 미분형식 $\lambda$의 주기를 포함한다.
• 안정성 조건의 중심 질량 $Z$는 $Z(S) = \int_\alpha \lambda$, $Z(T) = \int_\beta \lambda$로 주어지며, $\{\alpha, \beta\}$는 타원 곡선의 호모로지의 프레임이다.
• $\mathrm{Br}_3$의 $\widetilde{L^*}$ 위의 덱 변환 작용은 $\mathrm{Stab}^0(\mathcal{D})$ 위의 자동형사상에 의한 작용과 일치하며, 양측 모두 $K(\mathcal{D}) \cong \mathbb{Z}^2$ 위의 동일한 작용에 의해 유도된다.
• $L^*$의 기본군은 $\mathrm{Br}_3$과 동형이며, 이는 삼차다항식 $z^3 + az + b$의 판별식의 분열 위치가 트리플 코일 링크이자 기본군이 $\mathrm{Br}_3$인 토르스 키스의 곡선이기 때문이다.