[논문 리뷰] Topics on Smooth Commutative Algebra

Jean Cerqueira Berni, Hugo Luiz Mariano|arXiv (Cornell University)|2019. 04. 04.

Rings, Modules, and Algebras참고 문헌 11인용 수 5

한 줄 요약

이 논문은 매끄러운 가환 대수의 기초를 다루며, 이상, 분수환, 스펙트럼과 같은 고전적 가환 대수 개념들을 매끄러운 함수의 대수인 $χ^\infty$-환으로 확장한다. $χ^\infty$-환과 일반적인 가환 환 사이의 핵심 적응관계를 확립하고, $χ^\infty$-환의 분수환에 대한 더 강력한 특성화(정리 3.24)를 증명하며, 매끄러운 자리스키 스펙트럼과 실수 스펙트럼 사이의 스펙트럼 전단사성을 보여주어 실수 대수기하학과 깊은 연관성을 드러낸다.

ABSTRACT

We present, in the same vein as in [20] and [21], some results of the so-called "Smooth (or $\mathcal{C}^\infty$) Commutative Algebra", a version of Commutative Algebra of $\mathcal{C}^{\infty}-$rings instead of ordinary commutative unital rings, looking for similar results to those one finds in the latter, and expanding some others presented in [20]. We give an explicit description of an adjunction between the categories $\mathcal{C}^\infty{ m Rng}$ and ${ m CRing}$, in order to study this "bridge". We present and prove many properties of the analog of the radical of an ideal of a ring (namely, the $\mathcal{C}^\infty$-radical of an ideal), saturation (which we define as "smooth saturation", inspired by [13]), rings of fractions ($\mathcal{C}^\infty$-rings of fractions, defined first by I. Moerdijk and G. Reyes in [20]), local rings (local $\mathcal{C}^\infty$-rings), reduced rings ($\mathcal{C}^\infty$-reduced $\mathcal{C}^\infty$-rings) and others. We also state and prove new results, such as ad hoc "Separation Theorems", similar to the ones we find in Commutative Algebra, and a stronger version (Theorem 6) of the Theorem 1.4 of [20], characterizing every $\mathcal{C}^\infty$-ring of fractions. We describe the fundamental concepts of Order Theory for $\mathcal{C}^\infty$-rings, proving that every $\mathcal{C}^\infty$-ring is semi-real, and we prove an important result on the strong interplay between the smooth Zariski spectrum and the real smooth spectrum of a $\mathcal{C}^\infty$-ring.

연구 동기 및 목표

• 매끄러운 함수를 모델링하는 $χ^\infty$-환의 맥락에서 이상, 몫환, 국소화와 같은 고전적 가환 대수 개념을 확장한다.
• 특히 근본 이상, 근본성, 스펙트럼 측면에서 고전적 대수와 매끄러운 가환 대수 간의 차이를 명확히 한다.
• 매끄러운 가환 대수의 카테고리와 일반적인 가환 환의 카테고리 사이에 정확한 적응관계를 확립하여 대수적 개념의 범주론적 이행을 가능하게 한다.
• 포화의 개념을 일반화한 '매끄러운 포화'를 도입하고, 이로써 매끄러운 맥락에서 새로운 분리 정리들을 도출한다.
• 모든 $χ^\infty$-환의 매끄러운 자리스키 스펙트럼과 실수 스펙트럼 사이에 자연스러운 전단사성이 존재함을 보이며, 이는 고전적 대수에서는 일반적으로 성립하지 않는 결과이다.

제안 방법

• 왼쪽 적응관계 $\widetilde{L}$ 와 오른쪽 적응관계 $\widetilde{U}$ 를 사용하여, $χ^\infty$-환의 카테고리 ($\mathcal{C}^\infty\mathbf{Rng}$) 와 일반적인 가환 환의 카테고리 ($\mathbf{CRing}$) 사이에 명시적인 적응관계를 구성한다.
• 고전적 포화를 일반화한 $χ^\infty$-환에 대한 '매끄러운 포화' 개념을 도입하여, 새로운 구조적 결과를 도출한다.
• 기초적인 구성으로 $χ^\infty$-다항식 대수 $\mathcal{C}^\infty(\mathbb{R}^E)$ 를 사용하여, $χ^\infty$-환의 분수환을 보편 성질을 통해 정의한다.
• 합류한 극한 기법과 함자론적 성질을 사용하여, 몫환을 취하는 것과 $χ^\infty$-환의 분수환을 만드는 것이 서로 교환된다는 것을 증명한다.
• 모든 $χ^\infty$-환은 반실수적임을 보이며, 즉 $1 + \sum A^2 \subseteq A^\times$ 를 만족함을 보여, 스펙트럼 성질의 기초를 다진다.
• 매끄러운 자리스키 스펙트럼과 $χ^\infty$-환의 실수 매끄러운 스펙트럼 사이에 연속적인 전단사성이 존재함을 보이며(정리 6.22), 이는 핵심적인 구조적 결과이다.

실험 결과

연구 질문

• RQ1 이상, 근본, 분수환과 같은 고전적 가환 대수 개념들이 $χ^\infty$-환 맥락으로 옮겨졌을 때 어떻게 행동하는가?
• RQ2 매끄러운 자리스키 스펙트럼과 $χ^\infty$-환의 실수 스펙트럼 사이의 정확한 관계는 무엇이며, 고전적 경우와 어떻게 다를까?
• RQ3 포화 개념을 매끄러운 맥락에서 의미 있게 일반화할 수 있는가? 이는 고전 대수에서의 분리 정리들과 유사한 결과를 회복할 수 있는가?
• RQ4 일반적인 구성, 예를 들어 몫환과 국소화가 $χ^\infty$-환 맥락에서 얼마나 서로 교환되는가? 이는 범주론적으로 어떻게 형식화할 수 있는가?
• RQ5 어떤 $χ^\infty$-환들은 기저 환은 도메인이나 근본적이지만, 왜 여전히 도메인이나 근본적이지 않은가? 이는 매끄러운 환 위에서의 대수기하학에 어떤 영향을 미치는가?

주요 결과

• 논문은 $χ^\infty$-환의 분수환에 대한 더 강력한 특성화(정리 3.24)를 증명하여, 모든 그러한 환들이 매끄러운 포화를 포함하는 보편적 구성으로 유도됨을 보였다.
• 매끄러운 자리스키 스펙트럼과 실수 매끄러운 스펙트럼 사이의 자연스러운 전단사성이 존재함을 보였으며, 이는 고전적 가환 대수에서는 일반적으로 성립하지 않는 결과이다.
• $χ^\infty$-환과 일반적인 가환 환 사이의 적응관계가 명시적으로 기술되었으며, 이는 두 카테고리 간의 대수적 구조 이행을 가능하게 한다.
• '매끄러운 포화' 개념이 도입되었고, 고전적 포화를 일반화함으로써 매끄러운 맥락에서 새로운 분리 정리들이 도출됨을 보였다.
• 왼쪽 적응관계 $\widetilde{L}$ 가 합류한 극한을 보존하므로, 일반적인 환의 분수환을 $χ^\infty$-환의 분수환으로 매핑하며, 그 보편 성질을 유지함을 보였다.
• 모든 소 이상이 $χ^\infty$-환에서 $χ^\infty$-근본 이상이 아니라는 것이 밝혀졌으며, 이는 고전 대수와는 근본적으로 다른 점을 보여준다.