[논문 리뷰] Differential Graded Schemes II: The 2-category of Differential Graded Schemes

Kai Behrend|ArXiv.org|2002. 12. 17.

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

한 줄 요약

이 논문은 특성 0의 체 위의 완전한 해소 대수를 아핀 모델로 사용하여 2-범주적 미분가환( dg ) 스킴을 도입한다. 이는 에탈 토폴로지에 의한 붙임과 유도된 텐서곱에 의한 섬유곱을 가능하게 한다. 주요 기여는 준동형 사상인 dg 대수는 2-동형 사상인 dg 스킴을 유도하며, 국소 좌표환에 의해 dg 스킴는 준동형 사상에 대해 복원 가능하다는 점으로, 내림림과 고장 이론을 포함하는 일관된 기하적 프레임워크를 수립한다.

ABSTRACT

We construct a 2-category of differential graded schemes. The local affine models in this theory are differential graded algebras, which are graded commutative with unit over a field of characteristic zero, are concentrated in non-positive degrees and have perfect cotangent complex. Quasi-isomorphic differential graded algebras give rise to 2-isomorphic differential graded schemes and a differential graded algebra can be recovered up to quasi-isomorphism from the differential graded scheme it defines. Differential graded schemes can be glued with respect to an etale topology and fibered products of differential graded schemes correspond on the algebra level to derived tensor products.

연구 동기 및 목표

• 에탈 붙임, 섬유곱, 아핀 자료로부터의 국소 재구성과 같은 자연스러운 기하학적 공리를 만족하는 미분가환 스킴의 기하학적 범주를 정의하기.
• dg 대수가 심플리셜 범주를 이룬다는 점을 감안할 때도 2-범주가 충분함을 보여, dg 기하학에서의 고차 범주적 구조의 필요성을 해소하기.
• dg 설정에서 사상과 대수에 대한 내림림 이론을 수립하여, 에탈 토폴로지와 유도 대수기하학과의 호환성을 확보하기.
• 관련 대수공간, 호모토피 층, 상대 차원과 같은 불변량을 정의하고, 이를 고전적 대수기하학과 연결하기.
• dg 스킴의 사상에 대한 상대 고장 이론을 구성하여, 수열 기하학에서의 가상 기본류와 연결하기.

제안 방법

• 특성 0의 체 위에서 비음수 차수에 집중된, 완전한 코탄젠트 복합체를 갖는, 등급 가환 dg 대수인 완전한 해소 대수의 2-범주를 구성하기.
• dg 스킴의 2-범주는 완전한 해소 대수 2-범주의 반대 범주 위에 그려진 그룹로이드의 2-범주로, 에탈 토폴로지를 갖춘다.
• dg 대수 간의 심플리셜 Hom-공간의 기본군을 사용하여 1-사상과 2-동형 사상을 정의하고, 준동형 사상이 2-동형 사상이 되도록 보장하기.
• 초정육면체 잘라내기와 엄격화를 사용하여 사상과 대수에 대한 내림림을 구현하며, 고전적 내림림을 2-범주적 설정으로 일반화하기.
• dg 스킴의 잘라내기를 대수적 공간으로 정의하고, 기저 변경을 통해 dg 불변량(예: 미분, 접선 층)을 고전적 대응물과 연결하기.
• dg 상대 미분에 대한 자연스러운 사상이 고전적 코탄젠트 복합체로 가는 사상으로 유도되며, Behrend-Fantechi의 의미에서 상대 고장 이론을 정의한다.

실험 결과

연구 질문

• RQ1 dg 대수가 심플리셜 범주를 이룬다는 점을 감안할 때도 2-범주적 구조만으로도 일관된 미분가환 스킴 이론을 구성할 수 있는가?
• RQ2 dg 스킴의 2-범주는 에탈 토폴로지에 의한 붙임과 유도된 텐서곱에 의한 섬유곱을 지원하는가?
• RQ3 국소 아핀 좌표환으로부터 dg 스킴는 준동형 사상에 대해 재구성 가능한가?
• RQ4 고전적 불변량인 코탄젠트 복합체와 가상 기본류는 어떻게 dg 구조와 관련이 있는가?
• RQ5 dg 스킴의 사상에 대해 가상 기본류를 복원하는 자연스러운 고장 이론이 존재하는가?

주요 결과

• 준동형 사상인 완전한 해소 대수는 2-동형 사상인 dg 스킴을 유도하며, dg 스킴는 국소 아핀 좌표환을 준동형 사상에 대해 결정한다.
• dg 스킴의 섬유곱은 존재하며, dg 대수 수준에서 유도된 텐서곱으로 계산된다.
• dg 스킴의 잘라내기는 대수적 공간이며, dg 스킴의 닫힌 점들의 자리지 토폴로지 공간과 그 잘라낸 결과의 공간 사이에 호메오모르피즘이 존재한다.
• dg 스킴의 사상이 에탈임은 상대 미분이 약한 복합체임과 동치이며, 에탈 사상은 잘라낸 결과에 대해 동형을 유도한다.
• dg 스킴의 사상의 상대 미분은 그 잘라낸 결과의 고전적 코탄젠트 복합체로 자연스럽게 사상되며, 이는 가상 기본류를 정의하는 완전한 고장 이론을 유도한다.
• 폭이 1인 사상에 대해서는 가상 기본류가 함의적이다: 사상의 합성은 그들의 가상 클래스의 곱을 유도한다.