[논문 리뷰] Model structure on differential graded commutative algebras over the ring of differential operators

Gennaro Di Brino, Damjan Pištalo외 1명|arXiv (Cornell University)|2015. 05. 28.

Homotopy and Cohomology in Algebraic Topology참고 문헌 17인용 수 3

한 줄 요약

이 논문은 매끄러운 아핀 대수기하다양체 위의 미분연산자환의 위에 정의된 비음수차의 미분가환대수의 범주에서 코프로젝티브 생성 모델 구조를 수립한다. 퀼렌의 전이정리(transfer theorem)를 이용하여, 미분연산자환 위의 미분가환모듈의 프로젝티브 모델 구조를 이전하여, 바탈린-빌코비츠 형식론과 비선형 PDE 해를 위한 유도된 ${\cal D}$-기하학적 프레임워크를 가능하게 한다.

ABSTRACT

We construct a cofibrantly generated model structure on the category of differential non-negatively graded quasi-coherent commutative $D_X$-algebras, where $D_X$ is the sheaf of differential operators of a smooth afine algebraic variety X. The paper contains an extensive appendix on D-modules, sheaves versus global sections, some more technical model categorical issues, as well as on relative Sullivan algebras. This article is the first of a series of works -located at the interface of homotopical algebra, algebraic geometry, and mathematical physics - on a derived D-geometric approach to the BV-formalism.

연구 동기 및 목표

• 비선형 PDE의 해를 유도된 ${\cal D}$-기하학을 통해 연구하기 위한 호모토피적 프레임워크를 개발하는 것.
• 매끄러운 아핀 다양체 $X$에 대해 미분가환 ${\cal D}_X$-대수의 범주에 코프로젝티브 생성 모델 구조를 구성하는 것.
• 코시쿨-테이트 해상에서의 '온셸프 함수대수'의 유도적 해석을 뒷받침하는 기본적인 모델 구조를 제공하는 것.
• 유도된 ${\cal D}$-스택을 $\tt{DGAlg}({\cal D}) \to \tt{SSet}$ 형태의 함자로 다룰 수 있도록, 프레임트 객체 조건을 통해 가능하게 하는 것.

제안 방법

• 퀼렌의 전이정리를 이용하여, $\tt{DGMod}({\cal D}(X))$ 위의 코프로젝티브 생성 프로젝티브 모델 구조를 $\tt{DGAlg}({\cal D}(X))$로 이전하는 것.
• 생성 집합과 소형성 조건이 충족됨을 확인함으로써 전이정리를 적용하며, 이는 모듈 범주에서 충분한 프로젝티브가 존재한다는 사실에 기반한다.
• 코프로젝션을 구성하기 위한 주요 기술적 도구로, 미분연산자환 위의 상대 수르리 대수를 사용하는 것.
• 층 이론 문제를 전역 절단으로 환원하기 위해, $\tt{DGMod}({\cal D}_X)$와 $\tt{DGMod}({\cal D}_X(X))$ 사이의 모나이드 카테고리 동치를 수립하는 것.
• 작은 물체 작도와 피보팅의 순서수 합성의 응용을 통해 코프로젝티브 대체가 존재함을 보장하는 것.
• 비가환환 ${\cal D}(X)$에 적응된 $\tt{DGMod}({\cal D}(X))$의 기본 모델 구조에 대해 [GS06]과 [Hov07]의 결과를 활용하는 것.

실험 결과

연구 질문

• RQ1 매끄러운 아핀 다양체 위의 미분연산자환 위의 미분가환대수의 범주에 모델 구조를 어떻게 구성할 수 있는가?
• RQ2 퀼렌의 전이정리를 통해 $\tt{DGMod}({\cal D}(X))$에서 $\tt{DGAlg}({\cal D}(X))$로 모델 구조를 전이시키기 위해 충족되어야 할 조건은 무엇인가?
• RQ3 상대 수르리 대수 ${\cal D}(X)$는 ${\cal D}$-대수의 범주에서 코프로젝티브 대체를 구성하는 데 어떻게 기여하는가?
• RQ4 아핀 제약 조건은 어떤 정도까지 파생된 ${\cal D}$-기하학에 필요한 본질적 호모토피적 구조를 유지하는가?
• RQ5 이 모델 구조는 바탈린-빌코비츠 형식론과 온셸프 함수대수의 유도적 해석을 어떻게 지원하는가?

주요 결과

• 매끄러운 아핀 다양체 $X$에 대해 비음수차의 미분가환 ${\cal D}_X$-대수의 범주에 코프로젝티브 생성 모델 구조가 성공적으로 구성되었다.
• 프로젝티브 모델 구조를 $\tt{DGMod}({\cal D}(X))$에서 $\tt{DGAlg}({\cal D}(X))$로 퀼렌의 전이정리를 통해 이전하였으며, 이는 충분한 프로젝티브의 존재에 기반한다.
• 상대 수르리 대수 ${\cal D}(X)$가 정의되고, $\tt{DGAlg}({\cal D}(X))$에서 코프로젝션을 생성하는 데 주요 기술적 도구로 사용되었다.
• 비가환성 ${\cal D}(X)$에도 불구하고 이 구성은 성립하며, 가환 설정에서는 존재하지 않는 국소적 미세한 문제를 정교하게 분석할 필요가 있다.
• 이 모델 구조는 $\tt{DGAlg}({\cal D}) \to \tt{SSet}$ 형태의 함자로 유도된 ${\cal D}$-스택을 정의하는 호모토피적 기반을 제공하며, 프레임트성 조건은 층 조건과 대응된다.
• 온셸프 함수대수의 코시쿨-테이트 해상은 이 모델 범주에서의 코프로젝티브 대체에 해당하며, 물리학적 구성과 호모토피 대수학을 연결한다.