[논문 리뷰] Global dimension function on stability conditions and Gepner equations

Yu Qiu|arXiv (Cornell University)|2018. 06. 29.

Algebraic structures and combinatorial models참고 문헌 31인용 수 8

한 줄 요약

이 논문은 다이킨 쿼버의 도파민 카테고리에 대한 브리지갈란드 안정 조건의 전역 차원 함수가 고유한 안정 조건 $\sigma_G$에서 $1 - 2/h$의 최솟값을 갖는다는 것을 증명한다. 이는 아우살라인-레이텐 함수 $\tau$에 의한 게프너 방정식 $\tau(\sigma) = (-2/h)\cdot\sigma$를 만족한다. 비다이킨 비순환 쿼버의 경우, 최소 전역 차원은 1이며, 이는 삼각형 카테고리의 카테고리적 전역 차원을 정의하는 이 최솟값의 추측을 지지한다.

ABSTRACT

We study the global dimension function $\operatorname{gldim}\colon\operatorname{Aut}\backslash\operatorname{Stab}\mathcal{D}/\mathbb{C} o\mathbb{R}_{\ge0}$ on a quotient of the space of Bridgeland stability conditions on a triangulated category $\mathcal{D}$ as well as Toda's Gepner equatio $Φ(σ)=s\cdotσ$ for some $σ\in\operatorname{Stab}\mathcal{D}$ and $(Φ,s)\in\operatorname{Aut}\mathcal{D} imes\mathbb{C}$. For the bounded derived category $\mathcal{D}^b(\mathbf{k} Q)$ of a Dynkin quiver $Q$, we show that there is a unique minimal point $σ_G$ of $\operatorname{gldim}$ (up to the $\mathbb{C}$-action), with value $1-2/h$, which is the solution of the Gepner equation $τ(σ)=(-2/h)\cdotσ$. Here $τ$ is the Auslander-Reiten functor and $h$ is the Coxeter number. This solution $σ_G$ was constructed by Kajiura-Saito-Takahashi. We also show that for an acyclic non-Dynkin quiver $Q$, the minimal value of $\operatorname{gldim}$ is $1$. Our philosophy is that the infimum of $\operatorname{gldim}$ on $\operatorname{Stab}\mathcal{D}$ is the global dimension for the triangulated category $\mathcal{D}$. We explain how this notion could shed light on the contractibility conjecture of the space of stability conditions.

연구 동기 및 목표

• 브리지갈란드 안정 조건 공간 위의 전역 차원 함수를 정의하고 연구하며, 그 하한을 카테고리적 불변량으로 제안한다.
• 자기동치 $\Phi$와 복소수 $s$에 대해 $\Phi(\sigma) = s \cdot \sigma$ 형태의 게프너 방정식을 삼각형 카테고리의 맥락에서 연구한다.
• 특히 다이킨 및 비다이킨 비순환 쿼버의 도파민 카테고리에 대해 전역 차원 함수의 최솟값을 규명한다.
• 다이킨 쿼버에 대해 게프너 점 $\sigma_G$가 $\mathbb{C}$-작용을 제외한 전역 차원 함수의 유일한 최소화자임을 증명한다.
• 전역 차원과 게프너 해를 더 넓은 추측, 예를 들어 안정 맨포ลด의 수축 가능성과 연결한다.

제안 방법

• 전역 차원 함수 $\operatorname{gldim}$ 는 자르기 $\mathcal{P}$ 내에서 $\operatorname{Hom}(\mathcal{P}(\phi_1), \mathcal{P}(\phi_2))$ 가 비영이 아닐 때의 단위 위상 차이 $\phi_2 - \phi_1$ 의 상한으로 정의된다.
• 논문은 이전 연구에서의 $q$-변형 프레임워크를 사용하여 $q$-안정 조건을 구성하고, 자동치에 의한 그 행동을 분석한다.
• 자기동치를 $\mathcal{D}_\infty(Q)$ 에서 $\mathcal{D}_{\mathbb{X}}(Q)$ 로 옮기기 위해 라그랑주 매장 $\mathcal{L}$ 을 적용하여 $\tau_{\mathbb{X}}^{\mathcal{L}}$ 을 구성한다.
• 게프너 방정식은 아우살라인-레이텐 함수 $\tau$ 의 작용을 통해 분석되며, $\tau(\sigma_G) = e^{2\pi i/h} \cdot \sigma_G$ 이면 $\tau_{\mathbb{X}}^{\mathcal{L}}(\sigma_{G,s}^{\mathcal{L}}) = (-2/h) \cdot \sigma_{G,s}^{\mathcal{L}}$ 임을 보인다.
• 중심 전압과 자르기의 호환성에 기반하여 증명이 이루어지며, 이는 게프너 성질 $Z_G \circ \tau = e^{2\pi i/h} Z_G$ 를 사용한다.
• $\sigma_G$ 가 $\operatorname{gldim}$ 의 최소화자로 유일함을 안정 맨포ลด의 구조와 $\operatorname{Aut}\mathcal{D} \times \mathbb{C}$ 의 작용을 통해 증명한다.

실험 결과

연구 질문

• RQ1 다이킨 쿼버의 도파민 카테고리에 대한 안정 조건 공간에서 전역 차원 함수의 최솟값은 무엇인가?
• RQ2 게프너 방정식 $\tau(\sigma) = (-2/h) \cdot \sigma$ 는 안정 맨포ลด 내에서 유일한 해를 가지는가? 그리고 이는 전역 차원 최소화자와 관련이 있는가?
• RQ3 비순환 비다이킨 쿼버의 경우 전역 차원 함수는 어떻게 행동하며, 그 하한은 무엇인가?
• RQ4 전역 차원 함수의 하한은 삼각형 카테고리에 대해 카테고리적 불변량으로 해석될 수 있는가?
• RQ5 $q$-변형과 라그랑주 매장은 $q$-안정 조건을 게프너 방정식을 만족하도록 구성하는 데 어떻게 관련되는가?

주요 결과

• 다이킨 쿼버 $Q$ 의 도파민 카테고리 $\mathcal{D}^b(\mathbf{k}Q)$ 에서 전역 차원 함수는 $h$ 가 코엑스터 수일 때 $1 - 2/h$ 의 최솟값을 갖는다.
• 이 최솟값은 고유하게 게프너 점 $\sigma_G$ 에서 도달되며, 이는 아우살라인-레이텐 함수 $\tau$ 에서의 게프너 방정식 $\tau(\sigma_G) = (-2/h) \cdot \sigma_G$ 를 만족한다.
• 비순환 비다이킨 쿼버의 경우 전역 차원 함수의 최솟값은 $1$ 이며, 이는 다이킨 경우보다 더 높은 카테고리적 전역 차원을 의미한다.
• 게프너 점 $\sigma_G$ 는 완전히 안정적이며, $\mathcal{D}^b(\mathbf{k}Q)$ 의 모든 불가약 객체가 $\sigma_G$ 에서 안정적이다.
• $q$-변형된 $q$-안정 조건 $\sigma_{G,s}^{\mathcal{L}}$ 는 $\operatorname{Re}(s) \geq \operatorname{gd}_Q + 1$ 일 때 게프너 방정식 $\tau_{\mathbb{X}}^{\mathcal{L}}(\sigma) = (-2/h) \cdot \sigma$ 를 만족한다.
• 도달 가능한 라그랑주 매장 $\mathcal{L}'$ 에 대해 모든 이러한 $q$-안정 조건 $\sigma_{G,s}^{\mathcal{L}'}$ 은 $\operatorname{Stab}\mathcal{D}_{\mathbb{X}}(Q)/\mathbb{C}$ 내에서 동일한 점을 나타내며, $\mathbb{C}$-작용에 대해 유일함을 확인한다.