[논문 리뷰] A Universal Algebraic Survey of $\mathcal{C}^{\infty}-$Rings

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

Rings, Modules, and Algebras참고 문헌 7인용 수 4

한 줄 요약

이 논문은 $Χ^\infty$-환에 대한 포괄적인 보편 대수학적 접근을 제공하며, 매끄러운 함수 기호를 갖는 일阶 등식 언어를 사용하여, 극한, 쌍극, 자유 대상, 몫, 쌍극 등 카테고리적 구성요소를 체계적으로 다룬다. 주요 기여는 문헌에서 자주 암시되거나 개략적으로 서술된 기초 결과에 대한 상세하고 자립적인 서술로, 특히 유한 생성 부분환들의 쌍극에 의한 $Χ^\infty$-쌍극의 완전한 기술과 모든 $Χ^\infty$-환은 유한 생성 $Χ^\infty$-환들의 방향성 쌍극으로 표현될 수 있음을 증명하는 것이다.

ABSTRACT

In this paper we present some basic results of the Universal Algebra of $\mathcal{C}^\infty$-rings which were nowhere to be found in the current literature. The outstanding book of I. Moerdijk and G. Reyes,[24], presents the basic (and advanced) facts about $\mathcal{C}^\infty$-rings, however such a presentation has no universal algebraic "flavour". We have been inspired to describe $\mathcal{C}^\infty$-rings through this viewpoint by D. Joyce in [15]. Our main goal here is to provide a comprehensive material with detailed proofs of many known "taken for granted" results and constructions used in the literature about $\mathcal{C}^\infty$-rings and their applications - such proofs either could not be found or were merely sketched. We present, in detail, the main constructions one can perform within this category, such as limits, products, homomorphic images, quotients, directed colimits, free objects and others, providing a "propaedeutic exposition" for the reader's benefit.

연구 동기 및 목표

• 문헌에서 핵심 구성요소가 누락되거나 개략적으로 서술된 점을 메우기 위해, $χ^\infty$-환에 대한 체계적이고 자립적인 보편 대수학적 기초를 제공하는 것.
• 카테고리적 구성요소인 곱, 몫, 방향성 쌍극, 쌍극 등을 $χ^\infty$-환의 범주 내에서 명시적으로 기술하는 것.
• 모든 $χ^\infty$-환은 유한 생성 $χ^\infty$-환들의 방향성 쌍극으로 표현될 수 있음을 증명하여, 유한 생성 성질을 일반화하는 것.
• $χ^\infty$-쌍극의 구조를 쌍극 구성으로 명확히 하고, 이것이 매끄러운 다항함수 사상들을 보편적으로 분류하는 방식을 증명하는 것.

제안 방법

• 논문은 모든 매끄러운 사상 $\mathbb{R}^n \to \mathbb{R}$에 대한 함수 기호를 갖는 일阶 등식 언어를 사용하며, $χ^\infty$-환을 이 이론의 모델로 정의한다.
• 자유 $χ^\infty$-환은 유한 생성 자유 대수들의 쌍극으로 구성되며, 집합에서 $χ^\infty$-환으로 가는 자유 함자에 대한 왼쪽 수반 성질을 활용한다.
• $χ^\infty$-환 두 개의 쌍극은 유한 부분환들에 대한 쌍극으로 구성되며, 매끄러운 함수 대수의 텐서곱에서의 이상을 이용해 명시적인 기술이 이루어진다.
• 자유 함자의 기본 정리가 증명되어, 생성자와 관계를 통한 함자 사상의 보편 성질이 확립된다.
• 하다르드의 보조정리가 사용되어, 유한 생성 $χ^\infty$-환에서 링 이론적 이상과 $χ^\infty$-동치관계 사이의 관계를 설정하고, 몫의 분류를 가능하게 한다.
• $χ^\infty$-환의 범주는 모든 $χ^\infty$-구조의 범주에서 반사적임을 보여, 잘 정의된 카테고리적 성질을 확인한다.

실험 결과

연구 질문

• RQ1 두 $χ^\infty$-환의 $χ^\infty$-쌍극은 쌍극 및 이상 이론적 방법을 통해 어떻게 명시적으로 구성할 수 있는가?
• RQ2 유한 생성 $χ^\infty$-환에서 링 이론적 이상과 $χ^\infty$-동치관계 사이의 정확한 관계는 무엇인가?
• RQ3 모든 $χ^\infty$-환은 유한 생성 $χ^\infty$-환들의 방향성 쌍극으로 표현될 수 있으며, 이러한 분해는 그들의 구조를 이해하는 데 어떻게 기여하는가?
• RQ4 보편 대수학 프레임워크는 자유 $χ^\infty$-환의 구성과 생성자 및 관계를 통한 대수의 정의에서 그 역할을 어떻게 명확히 하는가?
• RQ5 $χ^\infty$-환의 매끄러운 다항함수 환의 카테고리적 보편 성질은 $χ^\infty$-쌍극을 통해 어떻게 기술되는가?

주요 결과

• $χ^\infty$-환 두 개 $A$와 $B$의 $χ^\infty$-쌍극은 그 유한 생성 부분환들의 $χ^\infty$-쌍극의 쌍극과 동형이며, 이는 구성의 구체적 실현을 제공한다.
• 모든 $χ^\infty$-환은 유한 생성 $χ^\infty$-환들의 방향성 쌍극과 동형이며, 이는 유한 생성 성질을 일반화하는 구조적 분해를 확인한다.
• 환 $A$ 위에서 변수 집합 $S$에 대한 매끄러운 다항함수의 $χ^\infty$-환은 $A \otimes_\infty \mathcal{C}^\infty(\mathbb{R}^S)$와 동형이며, 이는 $χ^\infty$-쌍극을 통한 변수 추가의 명시적 실현을 제공한다.
• 모든 유한 생성 $χ^\infty$-환에 대해 링 이론적 이상은 그 $χ^\infty$-동치관계를 분류한다. 이 결과는 하다르드의 보조정리에 기반하여 증명되었으며, 일반적인 경우로 확장되었다.
• $χ^\infty$-환의 범주는 모든 $χ^\infty$-구조의 범주에서 반사적 부분범주임을 보여, 잘 정의된 카테고리적 성질을 확인한다.
• 자유 함자의 기본 정리가 확립되어, 매끄러운 함수 기호를 통한 생성자와 관계에 의한 함자 사상의 보편적 특성화가 이루어졌다.