Representable tangent structures for affine schemes

1. 문제 제기 (Problem)

• 배경: 아핀 스킴의 범주 ($\text{AFF}_R$) 는 카를 (Cockett) 과 크러트웰 (Cruttwell) 에 의해 정의된 **접선 범주 (Tangent Category)**의 대표적인 예입니다. 여기서 접선 다발 함자 (Tangent bundle functor) 는 $A$의 켈러 미분 (Kähler differentials) 모듈에 대한 대칭 대수 (Symmetric algebra) 로 정의되며, 이는 쌍대수 (Dual numbers) $R[\varepsilon]$에 의해 표현됩니다.
• 질문: 이 접선 구조는 얼마나 특별한 것일까요? 아핀 스킴의 범주에 다른 (비자명한) 표현 가능한 접선 구조는 존재할까요?
• 목표: 아핀 스킴 범주 위의 모든 표현 가능한 접선 구조를 분류하고, 이를 통해 쌍대수 $R[\varepsilon]$가 유일한 비자명한 예인지, 아니면 다른 구조들이 존재하는지 규명하는 것입니다.

2. 방법론 (Methodology)

저자들은 다음과 같은 단계적 접근 방식을 취했습니다.

1. 접선도 (Tangentoid) 개념 도입:

   • 접선 구조를 분류하기 위해 새로운 도구인 **접선도 (Tangentoid)**를 정의했습니다.
   • 접선도는 모노이달 범주 (Monoidal Category) $\mathcal{E}$의 대상 $D$로, 텐서곱 함자 $D \otimes -$가 접선 구조를 유도하는 대상입니다.
   • 핵심 아이디어: 아핀 스킴 범주 $\text{AFF}_R$는 가환 단항 대수 범주 $\text{CALG}_R$의 반대 범주 (Opposite Category) 입니다. $\text{AFF}_R$의 **무한소 대상 (Infinitesimal Object)**은 $\text{CALG}_R$의 **코지수화 가능한 접선도 (Coexponentiable Tangentoid)**와 일대일 대응됩니다. 따라서 아핀 스킴의 접선 구조 분류 문제는 $\text{CALG}_R$ 내의 접선도 분류 문제로 환원됩니다.

2. $\text{CALG}_R$ 내 접선도의 구조 분석:

   • 먼저 $\text{CALG}_R$의 모노이달 구조 (공리곱, 즉 텐서곱) 를 분석하여 접선도가 갖는 대수적 구조를 규명했습니다.
   • 접선도 $D$는 반드시 $R \ltimes M$ (여기서 $\ltimes$는 제곱영 확장, 즉 $R \oplus M$) 형태임을 보였습니다. 여기서 $M$은 $R$-모듈입니다.
   • 접선도의 공리 (특히 수직 리프트의 보편성) 를 만족시키기 위해 $M$은 **가환 고체 비단위 대수 (Commutative Associative Solid Non-unital Algebra)**여야 함을 증명했습니다.
     • 고체 (Solid) 대수: 곱셈 사상 $\alpha: M \otimes_R M \to M$이 **동형사상 (Isomorphism)**인 대수를 의미합니다.

3. 코지수화 가능성 (Coexponentiability) 조건 적용:

   • 표현 가능한 접선 구조를 얻기 위해서는 해당 접선도가 코지수화 가능해야 합니다.
   • Niefield 의 정리를 활용하여, $\text{CALG}_R$에서 코지수화 가능한 대상은 기저 $R$-모듈이 유한 생성된 사영 (Finitely Generated Projective) 모듈이어야 함을 이용했습니다.
   • 이를 통해 $M$이 유한 생성된 사영 모듈인 고체 비단위 대수여야 한다는 최종 조건을 도출했습니다.

4. PID (주 아이디얼 정역) 경우의 특수화:

   • 기저 환 $R$이 PID 인 경우, 유한 생성된 사영 모듈은 자유 모듈 (Free Module) 임을 이용하여 $M$의 구조를 더욱 제한했습니다.

3. 주요 기여 (Key Contributions)

• 접선도 (Tangentoid) 의 정의와 이론화: 접선 구조를 모노이달 범주 내의 대상 (Tangentoid) 을 통해 재정의하고, 이를 통해 접선 구조와 대수적 구조 사이의 대응 관계를 명확히 했습니다.
• 고체 대수 (Solid Algebras) 와 접선 구조의 동치: $\text{CALG}_R$ 내의 접선도가 가환 고체 비단위 대수와 동치임을 증명했습니다. 이는 접선 구조의 존재가 특정 대수적 성질 (곱셈이 동형사상인 것) 에 의해 결정됨을 보여줍니다.
• 표현 가능한 접선 구조의 완전한 분류: 아핀 스킴 범주 위의 표현 가능한 접선 구조가 유한 생성된 사영 고체 비단위 대수에 의해 완전히 결정됨을 보였습니다.

4. 주요 결과 (Results)

일반적 기저 환 $R$의 경우

• 아핀 스킴 범주 $\text{AFF}_R$ 위의 표현 가능한 접선 구조는 유한 생성된 사영 가환 고체 비단위 $R$-대수 $M$과 일대일 대응됩니다.
• 해당 접선 다발 함자는 $T(A) = \text{Spec}(\text{Sym}_A(\Omega_{A/R}))$와 유사하게, $D = R \ltimes M$을 사용하여 표현됩니다.

PID (주 아이디얼 정역) 인 경우 (핵심 정리)

• $R$이 PID 인 경우, 유한 생성된 사영 모듈은 자유 모듈이므로 $M \cong R^n$ ($n$은 음이 아닌 정수) 형태여야 합니다.
• $M$이 고체 대수 (곱셈이 동형사상) 가 되려면 $M \otimes_R M \cong M$이어야 하므로, $R^{n^2} \cong R^n$이 성립해야 합니다. 이는 $n^2 = n$을 의미하므로 $n=0$ 또는 $n=1$만 가능합니다.
  • $n=0$ ($M=0$): 자명한 접선 구조 (Trivial Tangent Structure, $T = \text{Id}$).
  • $n=1$ ($M \cong R$): 쌍대수 $R[\varepsilon]$에 의해 유도되는 접선 구조 (켈러 미분과 관련된 표준 구조).
• 결론: $R$이 PID 인 경우, 아핀 스킴 범주에는 오직 두 가지 표현 가능한 접선 구조만 존재합니다: 자명한 것과 켈러 미분 기반의 것.

비-PID 의 경우

• $R$이 PID 가 아니면 (예: $R = S \times S$), $n=0, 1$ 외의 다른 고체 대수 $M$이 존재할 수 있어, 표현 가능한 접선 구조가 더 다양하게 존재할 수 있습니다.
• 또한, 표현 가능하지 않은 (비코지수화 가능한) 접선 구조는 PID 여도 존재할 수 있습니다 (예: $\mathbb{Z} \ltimes \mathbb{Q}$는 $\text{CRING}$에서 접선 구조를 정의하지만, 아핀 스킴으로 쌍대화되지 않음).

5. 의의 (Significance)

1. 대수기하학과 범주론의 통합: 켈러 미분과 같은 고전적인 대수기하학 개념이 접선 범주 이론의 추상적 프레임워크에서 어떻게 자연스럽게 등장하는지, 그리고 그 유일성 (PID 경우) 을 범주론적 도구로 엄밀하게 증명했습니다.
2. 새로운 분류 도구: '접선도'와 '고체 대수'라는 새로운 개념을 도입하여, 접선 구조의 존재와 분류를 순수 대수적 성질 (모듈의 생성, 사영성, 곱셈의 동형성) 로 환원시켰습니다.
3. 기하학적 직관의 확장: 아핀 스킴의 미분 기하학적 구조가 기저 환의 산술적 성질 (PID 여부) 에 의해 어떻게 제한받는지 보여줌으로써, 대수적 구조와 기하학적 구조 사이의 깊은 연관성을 드러냈습니다.

요약하자면, 이 논문은 아핀 스킴의 접선 구조가 "쌍대수" 하나뿐이라는 통념을 PID 조건 하에서 엄밀하게 증명하고, 그 외의 경우나 비표현 가능한 경우를 포괄하는 일반적인 분류 체계를 제시했습니다.