Infinitesimal derived foliations

Bertrand Toën 과 Gabriele Vezzosi 의 논문 "Infinitesimal Derived Foliations"에 대한 상세한 기술적 요약입니다.

1. 문제 제기

이 논문은 Toë20과 TV에서 소개된 유도된 잎사귀 (derived foliations) 이론의 한계, 특히 임의의 표수 (비영표수) 에 따른 거동과 형식적 적분 가능성 (formal integrability) 속성에 관한 한계를 다룹니다.

• 격차: 고전적인 유도된 잎사귀는 드람 코호몰로지와 관련되어 있으며, 등급 설정에서 원형 군 $S^1$과 관련된 군 스택 $BKer$의 작용을 포함합니다. 그러나 이러한 구조들은 표수가 0 이 아닌 경우 항상 강력한 형식적 적분 가능성 결과를 만족하지는 않습니다.
• 목표: 저자들은 임의의 표수에 더 적합한 새로운 개념인 **미소 유도된 잎사귀 (infinitesimal derived foliations)**를 도입하고자 합니다. 이러한 대상들은 드람 코호몰로지 대신 **미소 코호몰로지 (infinitesimal cohomology)**와 관련되며, 표수 $p$에서의 제한된 잎사귀에 대한 Ekedahl 의 작업에서 발견된 것과 유사한 형식적 적분 가능성 정리를 만족하도록 설계되었습니다.

2. 방법론 및 프레임워크

A. 유도 아핀 스택과 코심플리셜 - 심플리셜 모델

저자들은 **코심플리셜 - 심플리셜 가환 환 (cosimplicial-simplicial commutative rings, $csCR$)**을 사용하여 견고한 대수적 기초를 확립합니다.

• 그들은 $csCR$에 약한 동치를 완비된 준동형사상 (completed quasi-isomorphisms) (총 복합체 $Tot_\pi$에서 준동형사상을 유도하는 사상) 으로 하는 모델 범주 구조를 정의합니다.
• 그들은 이 모델 범주의 반대 범주로서 **유도 아핀 스택 ($dAff$)**의$\infty$-범주를 구성합니다.
• 그들은 곱셈군 $\mathbb{G}_m$의 작용을 허용하기 위해 이러한 환의 등급 버전을 사용하여 **등급 유도 아핀 스택 ($dChAff_k^{gr}$)**을 도입합니다.

B. 군 스킴 $G_0$와 $H_\pi$

핵심적인 기술적 혁신은 이전 유도된 잎사귀 이론에서 사용된 군 $BKer$에서 새로운 군 스킴으로의 전환입니다.

• $G_0$: 원점을 기준으로 한 유도 루프 스킴 $\Omega_0 \mathbb{G}_a$로 정의됩니다. 이는 호모토피 차수 1 의 생성자 $\epsilon^{-1}$인 $\text{Spec}(k[\epsilon^{-1}])$와 동치입니다.
• $H_\pi$: 반직곱 $\mathbb{G}_m \ltimes G_0$입니다.
• 표현론: $H_\pi$의 표현들은 **등급 혼합 복합체 (graded mixed complexes)**에 해당하며, 여기서 혼합 구조는 코호몰로지 차수 1을 가집니다 (기호: $+_\epsilon\text{-dg}^{gr}_k$). 이는 이전 작업에서 사용된 표준 차수 -1 의 혼합 복합체와 대조됩니다.

C. 레드 - 시프트 함자 ($RS$)

저자들은 "레드 - 시프트" 동치 $RS: \epsilon\text{-dg}^{gr}_k \xrightarrow{\sim} +_\epsilon\text{-dg}^{gr}_k$를 활용합니다.

• 이 함자는 혼합 구조의 코호몰로지 차수를 -1 에서 1 로 이동시킵니다.
• 결정적으로, 군 대상의 수준에서 $RS$는$BKer$를$G_0$로 매핑합니다.
• 저자들은 유도 아핀 스택 위에서 이 이동의 기하학적 실현을 구성하지만, 자유 대상과 나눗셈 거듭제곱에 대한 미묘한 차이로 인해 스택의 수준에서는 완벽한 동치가 아니라고 지적합니다.

3. 주요 정의

미소 유도된 잎사귀 (정의 2.1):
$X$를 유도 아핀 스킴이라고 합시다. $X$ 위의 미소 유도된 잎사귀는 다음으로 구성됩니다:

1. 완벽한 복합체 $E$ (이동된 여접선 복합체).
2. $X$ 위의 $H_\pi$-공변 유도 스택 $F$.
3. $F$가 $\mathbb{G}_m$-공변 스택으로서 $V(E[-1])$ 형태의 선형 유도 아핀 스택이라는 조건.
4. $V(E[-1])$에 대한 $G_0$의 작용이 자연스러운 등급과 호환되어야 함.

여접선 복합체:
미소 유도된 잎사귀 $F$에 대해, 여접선 복합체 $L_{F/k}$는 $F \simeq V(L_{F/k}[-1])$가 되도록 정의됩니다.

4. 주요 결과 및 기여

A. 미소 코호몰로지와의 관계 (3 절)

저자들은 미소 유도된 잎사귀와 관련된 코호몰로지 이론이 고전적인 미소 코호몰로지를 회복함을 증명합니다.

• 정리 3.2: 매끄러운 아핀 스킴 $X$에 대해, "자명한" 잎사귀 $\ast_{X/k}$ (잎사귀 범주에서의 최종 대상) 의 미소 코호몰로지는 $X$의 완비된 유도 미소 코호몰로지와 동치입니다:
  $$\hat{C}^*_{inf}(\ast_{X/k}, \mathcal{O}_X) \simeq R\hat{C}^*(X_{inf}, \mathcal{O})$$
• 이는 유도된 잎사귀가 드람 코호몰로지와 관련되는 것과 마찬가지로, 미소 유도된 잎사귀가 미소 코호몰로지를 연구하기 위한 올바른 유도 기하학적 대상임을 확립합니다.

B. 형식적 적분 가능성 (4 절)

이것이 가장 중요한 기술적 결과입니다.

• 계 4.2: 매끄러운 스킴 $X$ 위의 매끄러운 미소 유도된 잎사귀의 범주는 $X$ 위의 **형식적으로 매끄러운 형식 군대 (formally smooth formal groupoids)**의 범주와 동치입니다.
• 메커니즘: 임의의 매끄러운 미소 유도된 잎사귀 $F$는 형식 군대 $G_F$로 형식적으로 적분될 수 있습니다. 이 구성은 루프 공간 $\Omega_X F$를 취하고 이를 형식 스킴의 군대로 실현하는 것을 포함합니다.
• 대조: 이 결과는 고전적인 유도된 잎사귀에는 적용되지 않습니다. 고전적 이론에서 리 대수는 유도된 잎사귀를 정의하지만, 반드시 형식 군대로 적분되는 것은 아닙니다 (특히 표수 $p$에서). 미소 버전은 이러한 적분 가능성을 강제합니다.

C. 고전적 유도된 잎사귀와의 비교 (5 절)

저자들은 레드 - 시프트 구성을 통해 두 개념 간의 관계를 제안합니다.

• 그들은 미소 유도된 잎사귀에서 유도된 잎사귀로의 "기억" (forgetful) 함자를 제안합니다.
• 가설: 유도된 잎사귀 $F$ 위의 미소 구조 ($V(L_F[-1])$에 대한 $G_0$의 작용) 는 $V(L_F[1])$에 대한 $BKer$의 작용에$RS$를 적용함으로써 얻을 수 있습니다.
• 추측: 미소 유도된 잎사귀는 분할 리 알제브라 (partition Lie algebroids) (BCN21과 Fu의 의미에서) 와 동치일 수 있으며, 이는 그들의 강력한 적분 가능성을 설명합니다.

5. 중요성 및 함의

1. 표수 독립성: 이전의 유도된 잎사귀 이론이 드람과 미소 코호몰로지 사이의 동치와 같은 표수 0 속성에 크게 의존했던 것과 달리, 이 이론은 임의의 표수에서 균일하게 작동합니다.
2. 형식적 적분 가능성: 이 논문은 특정 클래스의 유도 기하학적 대상에 대한 적분 가능성 문제를 해결합니다. 미소 유도된 잎사귀를 형식 군대와 연결함으로써, 표수 $p$에서의 제한된 잎사귀에 대한 Ekedahl 의 결과를 유도 기하학적 일반화로 제공합니다.
3. 분할 리 대수와의 연결: 이 작업은 유도 대수 기하학과 분할 리 대수 이론 (J. Fu 의 작업을 통해) 사이의 간극을 메우며, 미소 유도된 잎사귀가 분할 리 알제브라의 기하학적 아바타임을 시사합니다.
4. 새로운 코호몰로지 도구: 이는 스택과 공변 유도 기하학의 언어를 사용하여 미소 코호몰로지를 계산하기 위한 유도 프레임워크를 제공하며, 결정형 (crystalline) 및 미소 코호몰로지 이론에 대한 새로운 관점을 제시합니다.

결론

Toën 과 Vezzosi 는 유도 루프 군 $G_0$의 구조를 통합한 유도된 잎사귀의 정제된 형태인 미소 유도된 잎사귀를 성공적으로 정의했습니다. 이 새로운 프레임워크는 모든 표수에서 형식적 적분 가능성을 복원하고 미소 코호몰로지와의 직접적인 연결을 확립합니다. 공변 대상에 대한 함자의 일관성과 관련하여 레드 - 시프트 함자를 통한 고전적 유도된 잎사귀와의 완전한 비교는 여전히 부분적으로 추측적이지만, 이 논문은 유도 대수 기하학에서 잎사귀의 통일된 이론을 위한 기초를 마련합니다.