[논문 리뷰] The curvature problem for formal and infinitesimal deformations

Wendy Lowen, Michel Van den Bergh|arXiv (Cornell University)|2015. 05. 14.

Algebraic structures and combinatorial models참고 문헌 13인용 수 7

한 줄 요약

이 논문은 cohomologically bounded above인 dg 대수의 Hochschild 복합체에서 형식적이고 무한소 Maurer-Cartan 원소가 곡률 항이 멱등일 경우 정수 Morita 변형과 정확히 대응됨을 보여줌으로써 변형 이론에서 곡률 문제를 해결한다. 주요 결과는 이러한 조건 하에서 곡률이 있는 $A_\infty$-변형과 곡률이 없는 Morita 변형 사이의 전단사 관계를 수립하며, 유도 Morita 이론을 통해 고전적 변형 이론을 곡률이 있는 설정으로 확장한다.

ABSTRACT

We interpret all Maurer-Cartan elements in the formal Hochschild complex of a small dg category which is cohomologically bounded above in terms of torsion Morita deformations. This solves the "curvature problem", i.e. the phenomenon that such Maurer-Cartan elements naturally parameterize curved A_infinity deformations. In the infinitesimal setup, we show how (n+1)-th order curved deformations give rise to n-th order uncurved Morita deformations.

연구 동기 및 목표

• Maurer-Cartan 원소가 곡률이 있는 $A_\infty$-대수를 매개변수화하지만 곡률이 없는 dg 또는 $A_\infty$-대수를 매개변수화하지 않는 곡률 문제를 해결하기 위해.
• 이러한 곡률이 있는 변형이 곡률이 없는 Morita 변형에서 유래하는 조건을 규명함으로써 고전적 변형 이론을 곡률이 있는 설정으로 확장하기 위해.
• 곡률 항이 멱등일 조건 하에서 형식적 Maurer-Cartan 원소와 정수 Morita 변형 사이의 전단사 관계를 수립하기 위해.
• cohomologically bounded above인 dg 대수에 대해, 모든 형식적 Maurer-Cartan 원소가 정수 Morita 변형에서 유래됨을 보여주기 위해.

제안 방법

• 형식적 이동합과 degree 1의 연결 $\delta_M$를 갖는 $A$의 이동된 사영의 형식적 직접합을 사용하여 $k[[t]]$-선형인 $cA_\infty$-범주 $\mathsf{Tw}(A)$를 구성한다.
• 곡률 $c(M) = \delta_M^2$가 호모로지에서 0이 되는 경우, 즉 고전적 호모로지 대수학과의 호환성을 확보하는 경우, 곡률이 없는 이중 객체로 정의한다.
• Morita 동치인 dg 대수의 Hochschild 복합체 사이의 Keller의 $B_\infty$-동형사상 $\Gamma_{M_0}$을 사용하여 동치 범주 간의 변형을 연결한다.
• 유도 Nakayama 보조정리를 형식적 변형 프레임워크에서 유효하게 하기 위해 정수 Morita 동치의 개념을 도입한다.
• Maurer-Cartan 원소 $\phi$로부터 $cA_\infty$-변형 $A_t$를 명시적으로 구성하고, $\phi^{(0)}_0$가 멱등이면 $A_t$가 곡률이 없는 변형과 Morita 동치임을 보인다.
• 편미분 이론과 영호모토피 추론을 적용하여, 비멱등 곡률 항(예: 가역 원소)은 자명하거나 Morita 동치가 아닌 변형을 유도함을 보인다.

실험 결과

연구 질문

• RQ1 Hochschild 복합체의 Maurer-Cartan 원소로부터 유도된 곡률이 있는 $A_\infty$-변형이 곡률이 없는 Morita 변형에서 유래되는 조건은 무엇인가?
• RQ2 형식적 Maurer-Cartan 원소가 곡률이 없는 Morita 변형이 아닌 곡률이 있는 대수로 매개변수화되지 않도록 보장하기 위한 조건은 무엇인가?
• RQ3 비멱등 곡률이 존재할 경우 표준 Maurer-Cartan 형식 이론이 곡률이 없는 변형을 매개변수화하지 못하는 이유는 무엇인가?
• RQ4 Morita 동치 범주로 이행함으로써 곡률 문제를 해결할 수 있으며, 만약 가능하면 그 조건은 무엇인가?
• RQ5 차수 2인 $k[x,x^{-1}]$의 그룹화된 체에서 $\Theta$의 전성에 대한 반례로서의 역할은 무엇인가?

주요 결과

• A_0가 cohomologically bounded above이면, $\Theta: \mathrm{Def}_{\mathrm{tMor}}(A_0;k[[t]]) \to \mathrm{MC}(A_0;k[[t]])$ 는 전단사이며, 이는 이 설정에서 곡률 문제를 해결한다.
• 형식적 Maurer-Cartan 원소 $\phi$가 $\Theta$의 상에 속해질 조건은 그 곡률 항 $\phi_0^{(0)}$ 가 $H^*A_0$ 내에서 멱등일 때이며, 이는 곡률이 있는 변형을 곡률이 없는 Morita 변형으로 끌어올리는 정확한 장벽을 제공한다.
• 차수 2인 $A_0 = k[x,x^{-1}]$의 경우, $\phi = x \in \mathrm{MC}(A_0;k[[t]])$ 는 $x$가 가역이므로 멱등이 아니므로 $\Theta$의 상에 속하지 않는다.
• 연결 $\delta_{A'} = \begin{pmatrix} 0 & x \\ 0 & 0 \end{pmatrix}$ 를 갖는 이중 객체 $A' = A \oplus \Sigma^{-1}A$ 의 내부 사상 dg 대수는 영호모토피이므로, 이는 영 범주와 준동치임을 의미한다.
• $n \geq 1$ 인 경우, $\phi_{(n)} = x t^n$ 은 그 곡률 항 $\phi_0^{(0)} = 0$ 가 멱등이므로 $\Theta$의 상에 속하며, 이에 대응하는 변형은 곡률이 없는 변형과 Morita 동치이다.
• 편미분 이론에 의하면, $\mathsf{Tw}_{ut}(A_0)$ 의 부분범주로부터 유도된 모든 곡률이 없는 변형은 곡률 항이 가역이면 반드시 영 범주와 준동치여야 하므로, $\Theta$가 전성임을 설명한다.