[논문 리뷰] A_\infty-subalgebras and natural transformations

Paul Seidel|ArXiv.org|2007. 01. 26.

Algebraic structures and combinatorial models참고 문헌 23인용 수 4

한 줄 요약

이 논문은 $A_\infty$-대수 $\mathcal{D}$를 도입하여, $\mathcal{A}$-모듈의 범주에서의 내림차순 함수 $F$에 대한 자연변환 $T: F \to \mathrm{id}$에 沿해 국소화를 실현하는 카테고리적 구성법을 제시한다. 주요 결과는 $H^0(\mathrm{modt}(\mathcal{D}))$ 범주가 베르디에르 몫 $V/V_{\mathrm{nil}}$ 와 동치임을 보이며, 이는 심플렉틱 기하학에 뿌리를 둔 대수적 구성법을 통해 $V$의 국소화를 실현한다.

ABSTRACT

The paper explores some algebraic constructions arising in the theory of Lefschetz fibrations. Specifically, it covers in a fair amount of detail the algebraic issues outlined in ``Symplectic homology as Hochschild homology'' (math.SG/0609037). We also explain how the theory works when applied to a simple example, namely the Landau-Ginzburg mirror of P^2. Version 2: revised, many technical assumptions dropped, statement of one of the main results improved by using dg quotients. I changed the title accordingly.

연구 동기 및 목표

• 삼각형 범주 $V$의 자연변환 $T: F \to \mathrm{id}$ 에 대해 비영인 곡률을 가진 $A_\infty$-대수 $\mathcal{D}$를 구성함으로써 국소화를 실현하는 것.
• 범주 $H^0(\mathrm{modt}(\mathcal{D}))$ 가 베르디에르 몫 $V/V_{\mathrm{nil}}$ 와 동치임을 증명함. 여기서 $V_{\mathrm{nil}}$ 는 $T$-nilpotent 작용을 갖는 대상들의 두껍게 서브범주이다.
• 레프셰츠 피브레이션과 후카야 범주를 통해 심플렉틱 기하학과 연결함으로써, $\mathcal{D}$ 가 이러한 기하적 맥락에서 자연스럽게 유도됨을 보임.
• 호크스하우드 호몰로지 $HH(\mathcal{D})$ 가 반복된 텐서곱으로 구성된 몫 이중모듈 $ (\mathcal{B}/\mathcal{A})[-1] $ 의 형태로 표현됨을 보임.

제안 방법

• $\mathcal{A} \subset \mathcal{B}$ 가 $A_\infty$-대수일 때, 몫 이중모듈 $ (\mathcal{B}/\mathcal{A})[-1] $ 에 기반한 곡률을 가진 $A_\infty$-대수 $\mathcal{D}$ 를 정의함.
• $\mathcal{D}$-모듈의 범주인 $W = H^0(\mathrm{modt}(\mathcal{D}))$ 를 구성함. 이는 $V = H^0(\mathrm{mod}(\mathcal{A}))$ 에서 $F = (-) \otimes_{\mathcal{A}} (\mathcal{B}/\mathcal{A})[-1]$ 의 작용으로부터 유도됨.
• 자연변환 $T: F \to \mathrm{id}$ 를 이용해 사상 공간의 직접계산체 $\underrightarrow{\mathrm{lim}}_p \, \mathrm{Hom}_V(F^p(M), N)$ 를 정의함으로써 국소화 $Z = S^{-1}V$ 를 구성함.
• $T$ 의 이중성(ambidextrous 성질)을 이용해 직접계산체가 합성에 대해 호환됨을 보이며, $Z$ 가 잘 정의되고 $W$ 와 동치임을 증명함.
• $HH(\mathcal{D})$ 가 반복된 텐서곱으로 구성된 이중복합체의 전체복합체와 동형임을 보임.
• 거울 대칭 해석을 제시: $X = \mathbb{C}\mathbb{P}^2$ 에서 $V^{\mathrm{perf}} \simeq D^b(X)$ 이며, 이 경우 $F$ 는 캐논리컬 번들의 텐서곱과 대응되며, $T$ 는 $H^0(X, \mathcal{O}_X(3))$ 에 속한 단면 $s$ 와 대응됨.

실험 결과

연구 질문

• RQ1 삼각형 범주 $V$ 의 자연변환 $T: F \to \mathrm{id}$ 에 대해, $F$ 가 내림차순 함수일 때, 이를 대수적으로 국소화하는 방법은 무엇인가?
• RQ2 몫 이중모듈 $ (\mathcal{B}/\mathcal{A})[-1] $ 이 비영인 곡률을 가진 $A_\infty$-대수 $\mathcal{D}$ 를 구성하는 데 어떤 역할을 하는가?
• RQ3 $H^0(\mathrm{modt}(\mathcal{D}))$ 범주는 어떻게 베르디에르 몫 $V/V_{\mathrm{nil}}$ 를 복원하는가?
• RQ4 $\mathcal{D}$ 의 호크스하우드 호몰로지 $HH(\mathcal{D})$ 는 반복된 텐서곱 $ (\mathcal{B}/\mathcal{A})[-1] $ 과 어떻게 관련되는가?
• RQ5 이 구성은 레프셰츠 피브레이션과 후카야 범주를 포함한 심플렉틱 기하학에서 어떻게 해석될 수 있는가?

주요 결과

• $W = H^0(\mathrm{modt}(\mathcal{D}))$ 는 $T$-nilpotent 대상들의 두껍게 서브범주인 $V_{\mathrm{nil}}$ 에 대한 베르디에르 몫 $V/V_{\mathrm{nil}}$ 와 동치임을 보였다.
• $T$ 는 $W$ 에서 가역적이며, $W$ 는 $T_M$ 의 사상들을 가역화하는 데 있어 유일성 조건을 만족한다.
• $HH(\mathcal{D})$ 는 반복된 텐서곱 $ (\mathcal{B}/\mathcal{A})[-1] $ 의 항을 가지는 이중복합체의 전체복합체와 동형임을 보였다.
• 거울 대칭 맥락에서 $\mathcal{D}$ 는 $X = \mathbb{C}\mathbb{P}^2$ 에서 $Y = s^{-1}(0)$ 인 $U = X \setminus Y$ 의 코herent sheaf의 유도 범주와 대응되며, $U \cong (\mathbb{C}^*)^2$ 라고 한다.
• $\Delta_1$ 이라는 레프셰츠 콩기의 랩드 플로어 코호몰로지 $HW^0(\Delta_1)$ 는 $\mathbb{C}[U]$ 와 동형이며, 이는 $\mathrm{Hom}_W(\mathcal{A}e_1, \mathcal{A}e_1)$ 와 일치함을 확인함으로써 기하학적 일致성을 입증하였다.
• $s \in \mathrm{Sym}^3(H^\vee)$ 의 비자명성은 직사각형 수를 세는 방식으로 계산된 매쓰프로덕트에 의해 증명되며, 이는 $\mathcal{B}$ 가 포멀하지 않음을 알 수 있으며, 이는 모듈 범주에서 $\delta[-1]$ 의 작용을 통해 대수적으로 기록된다.