[논문 리뷰] Model categorical Koszul-Tate resolution for algebras over differential operators

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

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

한 줄 요약

이 논문은 미분 연산자층 $\cal D$ 위의 미분 비음수적 등급 교환환의 범주에서, 명시적이고 함의적인 코프ibrant 및 프리브라트 대체 함수를 구성함으로써, 유도 ${\cal D}$-기하학에서 Koszul-Tate 해상에 대한 모델 범주적 프레임워크를 수립한다. 코프ibrations는 상대적 Sullivan ${\cal D}$-대수의 재구성으로 특성화되고, 이를 통해 좌표에 종속되지 않은, 함의적인 모델 범주적 Koszul-Tate 해상이 구축되며, 이는 정규성 또는 재귀성 조건을 요구하지 않는 고전적 구성의 일반화이다.

ABSTRACT

Derived D-Geometry is considered as a convenient language for a coordinate-free investigation of nonlinear partial differential equations up to symmetries. One of the first issues one meets in the functor of points approach to derived D-Geometry, is the question of a model structure on the category C of differential non-negatively graded quasi-coherent commutative algebras over the sheaf D of differential operators of an appropriate underlying variety. In [BPP15a], we described a cofibrantly generated model structure on C via the definition of its weak equivalences and its fibrations. In the present article - the second of a series of works on the BV-formalism - we characterize the class of cofibrations, give explicit functorial cofibration-fibration factorizations, as well as explicit functorial fibrant and cofibrant replacement functors. We then use the latter to build a model categorical Koszul-Tate resolution for D-algebraic on-shell function algebras.

연구 동기 및 목표

• 미분 등급 ${\cal D}$-대수의 범주 $\tt{DG{\cal D}A}$에서 코프ibrations를 특성화하고 명시적인 함의적 분해를 구성하여, 모델 구조를 완성한다.
• 유도 ${\cal D}$-기하학에서 '온셸프' 함수 대수에 대해 함의적이고 좌표에 종속되지 않은 Koszul-Tate 해상이 가능하도록 한다.
• 정규성 또는 '온셸프' 이외의 재귀성 조건이 필요 없도록, 고전적 Koszul-Tate 및 호환성 복합체 해상의 일반화를 시도한다.
• 비틀림적 기하학, 함의적 대수기하학, ${\cal D}$-기하학의 요소를 통합하는 유도 ${\cal D}$-스택에 대한 호모토피적 프레임워크를 수립한다.

제안 방법

• 코프ibrations를 상대적 Sullivan ${\cal D}$-대수의 재구성으로 특성화하여, 코프ibrant 대상의 구체적인 대수적 기술을 제공한다.
• 소형 객체 방법을 회피하기 위해 생성자에 대한 직접적 귀납적 구성 방법을 사용하여, 명시적인 함의적 'Cof–TrivFib' 및 'TrivCof–Fib' 분해를 구성한다.
• 코프ibrant 대체 함수 $Q$를, 대수의 호모로지 클래스와 생성자로부터 구성된 등급 ${\cal D}$-대수 $\mathcal{S}V_B$의 직접 극한 구성으로 정의한다.
• 구성의 함의성 덕분에, 임의의 사상 $v: B \to B'$에 대해 $\mathfrak{q}: Q(B) \to B'$라는 사상을 정의하여 모델 구조와의 호환성을 확보한다.
• 코프ibrant 대체 함수를 '온셸프' 함수 대수 $\mathcal{R}$에 적용하여, 모델 범주적 Koszul-Tate 해상을 얻는다.
• 가환 다이어그램과 생성자에 대한 귀납적 점검을 통해, 결과 해상이 필요한 호모로지적 및 대수적 조건을 만족함을 검증한다.

실험 결과

연구 질문

• RQ1 미분 등급 ${\cal D}$-대수의 범주에서 코프ibrations는 어떻게 명시적으로 특성화할 수 있는가?
• RQ2 소형 객체 방법에 의존하지 않고 $\tt{DG{\cal D}A}$에서 함의적 코프ibrant 및 프리브라트 대체 함수를 구성할 수 있는가?
• RQ3 좌표 선택에 종속되지 않고 함의적인 on-shell 함수 대수에 대한 모델 범주적 Koszul-Tate 해상이 구성 가능한가?
• RQ4 정규성 또는 '온셸프' 이외의 재귀성 조건이 필요 없도록, 제안된 해상이 고전적 구성의 일반화가 될 수 있는가?
• RQ5 ${\cal D}$의 비가환성은 유도 ${\cal D}$-기하학에서 모델 구조 및 해상의 구성에 어떻게 영향을 미치는가?

주요 결과

• 코프ibrations는 정확히 상대적 Sullivan ${\cal D}$-대수의 재구성으로 특성화되며, 이는 코프ibrant 대상의 명시적 대수적 기술을 제공한다.
• 소형 객체 방법과는 다름없이, 생성자 단위로의 직접적 귀납적 구성 방법을 통해 명시적이고 함의적인 'Cof–TrivFib' 및 'TrivCof–Fib' 분해가 구성된다.
• 코프ibrant 대체 함수 $Q$는 $Q(B) = \mathcal{S}V_B$로 명시적으로 주어지며, 여기서 $\mathcal{S}V_B$는 대수의 호모로지 클래스와 생성자로부터 구성된 등급 ${\cal D}$-대수이다.
• on-shell 함수 대수 $\mathcal{R}$의 모델 범주적 Koszul-Tate 해상은 $Q(\mathcal{R})$로 얻어지며, 이는 함의적이고 좌표에 종속되지 않다.
• 고전적 가정인 정규성 또는 '온셸프' 이외의 재귀성 조건이 필요 없으며, 이는 문헌에 기록된 이전 결과의 일반화이다.
• 가환 다이어그램과 생성자에 대한 귀납적 점검을 통해, 결과 해상이 필요한 호모로지적 호환성 조건을 만족함을 확인하였다.