[논문 리뷰] Period mappings for noncommutative algebras

Isamu Iwanari|arXiv (Cornell University)|2016. 04. 28.

Advanced Topics in Algebra참고 문헌 16인용 수 6

한 줄 요약

이 논문은 유도적 변형 이론과 순환 호몰로지의 도구를 사용하여 미분가환대수의 변형에 대해 그리피스의 주기 매핑의 비가환적 해당을 구축한다. 호크실드 코체인 복합체에서 순환 호몰로지의 자기동형사상으로의 $L_\infty$-사상에 의해 단사 주기 매핑을 확립함으로써, 칼라비-유다이 dg 대수에 대한 무한소 토렐리 정리를 증명한다.

ABSTRACT

We construct a period mapping for deformations of a differential graded algebra, that generalizes Griffiths' period mapping. It is constructed as a morphism between differential graded Lie algebras which has a moduli-theoretic interpretation, where the domain of the morphism is the shifted Hochschild cocohain complex. We then use this period mapping to give some applications such as unobstructedness of deformations.

연구 동기 및 목표

• dg 대수를 통해 대수기하학에서의 그리피스 주기 매핑을 비가환적 환경으로 일반화하기 위해.
• 음의 및 주기적 순환 호몰로지 이론을 통해 허드 필터링 개념을 확장하여 dg 대수의 변형을 위한 주기 매핑을 정의하기 위해.
• 유도적 변형 이론을 통해 칼라비-유다이 dg 대수에 대한 무한소 토렐리 정리를 확립하기 위해.
• 호모토피적 프레임워크를 $L_\infty$-사상과 형식적 모듈리 공간을 통해 주기 매핑을 제공하기 위해.

제안 방법

• 곡선형 $A_\infty$-변형을 제어하는 dg 리 대수로 $C^\bullet(A)[1]$을 사용한다.
• 음의 및 주기적 순환 복합체 $CC^{-}_\bullet(A)$ 와 $CC^{per}_\bullet(A)$ 에 각각 $k[t]$ 및 $k[t,t^{-1}]$ 작용을 도입하여 비가환적 허드 구조를 모델링한다.
• $C^\bullet(A)[1]$ 에서 $\operatorname{End}_{k[t^\pm]}(HH_*(A)((t)))/\operatorname{End}_{k[t]}(HH_*(A)[[t]])[-1]$ 의 자기동형사상 복합체의 몫으로의 $L_\infty$-사상 $\mathcal{P}$ 를 구성한다.
• dg 리 대수 $L$ 에 대해 함자 $\mathsf{Spf}_{L}$ 을 사용하여 유도적 변형 이론을 적용하며, 변형 함자를 $L \otimes m_R$ 내의 모어커-카르탕 원소로 식별한다.
• 아르틴 국소 $k$-환의 최대 이상수의 길이에 대한 귀납법과 슈레스링거 조건 $(H_1)$ 을 사용하여 주기 매핑의 단사성을 증명한다.
• 칼라비-유다이 조건을 이용하여 $\mathsf{Spf}_{\mathcal{P}}$ 가 접공간에서 단사적임을 보장함으로써 무한소 토렐리 결과를 이끌어낸다.

실험 결과

연구 질문

• RQ1 dg 대수를 통해 대수기하학에서의 그리피스 주기 매핑을 비가환 공간으로 일반화할 수 있는가?
• RQ2 순환 호몰로지 이론을 통해 비가환적 허드 필터링의 대응은 무엇인가?
• RQ3 비가환적 모듈리 공간과 $L_\infty$-사상으로 dg 대수의 변형 함자를 어떻게 제어할 수 있는가?
• RQ4 주기 매핑이 단사적일 조건은 무엇이며, 이는 비가환 기하학에서의 토렐리 문제에 어떤 의미를 갖는가?
• RQ5 음의 순환 호몰로지에 대한 $k[t]$-모듈러 구조는 주기 매핑 정의에 어떤 역할을 하는가?

주요 결과

• 주기 매핑 $\mathsf{P}: \mathsf{Spf}_{C^\bullet(A)[1]}(R) \to \mathsf{Spf}_{\mathbb{F}}(R)$ 는 호크실드 코체인 복합체에서 주기적 순환 호몰로지의 자기동형사상으로의 $L_\infty$-사상으로 구성된다.
• $\mathsf{Spf}_{\mathcal{P}}$ 는 변형류 $P \in HH^2(A)$ 를 $\frac{1}{t}I_P((t))$ 로 보낸다.
• $R = k[\epsilon]/(\epsilon^2)$ 일 때, $\mathsf{Spf}_{\mathcal{P}}(k[\epsilon]/(\epsilon^2))$ 의 단사성으로 인해 주기 매핑은 단사적이다.
• 최대 이상수의 길이에 대한 귀납법을 통해 $\mathsf{Spf}_{\mathcal{P}}$ 의 단사성은 모든 아르틴 국소 $k$-환으로 확장된다.
• 칼라비-유다이 조건은 $\mathsf{Spf}_{\mathcal{P}}$ 의 상이 0차 자기동형사상에 속함을 보장하여 단사성 증명을 가능하게 한다.
• 무한소 토렐리 정리가 성립한다: 주기 매핑은 접공간에서 단사적이며, 이는 변형이 순환 호몰로지 자료에 의해 감지됨을 의미한다.