[논문 리뷰] Continuous and Twisted L_infinity Morphisms

Amnon Yekutieli|ArXiv.org|2005. 02. 07.

Advanced Topics in Algebra참고 문헌 9인용 수 4

한 줄 요약

이 논문은 dir-inv 모듈의 범주에서 DG 리 대수 간의 연속적이고 비틀린 $L_∞$ 호모르피즘 이론을 개발하며, 콘체비치의 형식성 정리의 일반화를 다룬다. 주어진 완비 텐서곱 대수에서 메우러-카르탕 해 $ \omega$ 가 존재할 경우, 유도된 $L_\infty$ 호모르피즘이 비틀린 DG 리 대수 간의 준동형으로 올라가며, 변형 하에 형식성이 유지됨을 증명한다.

ABSTRACT

The purpose of this paper is to develop a suitable notion of continuous L_infinity morphism between DG Lie algebras, and to study twists of such morphisms.

연구 동기 및 목표

• dir-inv 모듈의 범주에서 DG 리 대수 간의 연속적 $L_\infty$ 호모르피즘을 정의하고 연구하기.
• 콘체비치의 형식성 준동형을 완비 초교환 DG 대수 $A$ 계수를 가진 대수로 확장하기.
• 메우러-카르탕 원소에 의한 $L_\infty$ 호모르피즘의 비틀기를 정의하고 분석하기.
• 주어진 조건 하에서 비틀린 호모르피즘이 여전히 준동형임을 증명하기.
• 형식 기하학과 호모로지 대수학을 통한 대수적 다양체의 변형 양자화를 위한 프레임워크 제공하기.

제안 방법

• 연속적 준동형을 갖는 dir-inv 모듈의 범주 $\mathsf{Dir}\mathsf{Inv}\mathsf{Mod}\mathbb{K}$ 를 도입한다.
• $\mathbb{K}[[\boldsymbol{t}]]$-모듈에 대한 $\boldsymbol{t}$-adic dir-inv 구조를 사용하여 완비성과 연속성을 정의한다.
• 콘체비치의 형식성 호모르피즘 $\mathcal{U}$ 의 연속적 $A$-다중선형 확장 $\mathcal{U}_A$ 를 구성한다.
• 메우러-카르탕 원소 $\omega$ 를 통한 비틀기 구조를 적용하여 새로운 $L_\infty$ 호모르피즘 $\mathcal{U}_{A,\omega}$ 를 정의한다.
• 비틀린 호모르피즘의 타일러 계수를 $ (\partial^j \mathcal{U}_{A,\omega})(\alpha) = \sum_{k \geq 0} \frac{1}{(j+k)!} (\partial^{j+k} \mathcal{U}_A)(\omega^k \wedge \alpha) $ 로 유도한다.
• 메우러-카르탕 방정식을 만족하는 $\omega$ 가 존재할 경우, $\omega' := (\partial^1 \mathcal{U}_A)(\omega)$ 도 타겟 대수에서 동일한 방정식을 만족하며, 비틀린 호모르피즘이 준동형임을 증명한다.

실험 결과

연구 질문

• RQ1 완비 텐서곱 설정에서 DG 리 대수 간의 연속적 $L_\infty$ 호모르피즘은 어떻게 정의할 수 있는가?
• RQ2 메우러-카르탕 원소에 의한 $L_\infty$ 호모르피즘의 비틀기가 준동형으로 남는 데 필요한 조건은 무엇인가?
• RQ3 콘체비치의 형식성 호모르피즘은 완비 초교환 DG 대수 $A$ 계수를 가진 대수로 확장될 수 있는가?
• RQ4 형식적 멱급수의 맥락에서 $A$-다중선형 구조는 $\boldsymbol{t}$-adic 위상과 어떻게 상호작용하는가?
• RQ5 비틀린 $L_\infty$ 호모르피즘의 타일러 계수에 대한 정확한 공식은 무엇인가?

주요 결과

• 콘체비치의 형식성 호모르피즘의 연속적 $A$-다중선형 확장 $\mathcal{U}_A$ 는 $A \widehat{\otimes} \mathcal{T}_{\mathrm{poly}}(\mathbb{K}[[\boldsymbol{t}]])$ 에서 잘 정의되어 있으며 존재한다.
• 만약 $\omega \in A^1 \widehat{\otimes} \mathcal{T}^0_{\mathrm{poly}}(\mathbb{K}[[\boldsymbol{t}]])$ 가 메우러-카르탕 방정식을 만족한다면, $\omega' := (\partial^1 \mathcal{U}_A)(\omega)$ 도 타겟 대수에서 동일한 방정식을 만족한다.
• 비틀린 호모르피즘 $\mathcal{U}_{A,\omega}$ 는 비틀린 DG 리 대수 간의 연속적 $A$-다중선형 $L_\infty$ 준동형이다.
• 호모르피즘 $\mathcal{U}_{A,\omega}$ 의 타일러 계수는 $ (\partial^j \mathcal{U}_{A,\omega})(\alpha) = \sum_{k \geq 0} \frac{1}{(j+k)!} (\partial^{j+k} \mathcal{U}_A)(\omega^k \wedge \alpha) $ 로 명시적으로 주어진다.
• 선형 부분 $\partial^1 \mathcal{U}_A$ 는 준동형이므로, 비틀린 호모르피즘이 준동형 유형을 유지함을 보장한다.
• 이 구성은 체 확장 $\mathbb{R} \subset \mathbb{K}$ 에 따른 기저 변경과 호환되며, 콘체비치의 결과를 $\mathbb{R}$ 를 포함하는 임의의 체로 일반화한다.