[논문 리뷰] Topological characterization of various types of rings of smooth functions

Dennis Borisov|arXiv (Cornell University)|2011. 08. 30.

Homotopy and Cohomology in Algebraic Topology참고 문헌 2인용 수 3

한 줄 요약

이 논문은 매끄러운 함수 이론 위에 세 가지 별개의 위상—germ, jet, 점—을 도입하여 $\mathcal{C}^\infty$-환의 위상적 분류를 위한 틀을 제시한다. 특히, 균근에 의존하는, 근접점에 의존하는, 점에 의존하는 세 종류의 $\mathcal{C}^\infty$-환을 다룬다. 이는 연속성을 사전 가정하지 않고도, 근접점에 의존하는 $\mathcal{C}^\infty$-환으로의 $\mathbb{R}$-대수 준동형사상이 자동으로 $\mathcal{C}^\infty$-준동형사상임을 증명한다.

ABSTRACT

Topologies on algebraic and equational theories are used to define germ determined, near-point determined, and point determined rings of smooth functions, without requiring them to be finitely generated. It is proved, that any commutative algebra morphism (without requiring continuity) between near-point determined rings of smooth functions is smooth (and hence continuous).

연구 동기 및 목표

• 유한 생성을 가정하지 않고, 기저 이론 위에 위상을 도입하여 $\mathcal{C}^\infty$-환을 체계적으로 특성화하는 것.
• germ, jet, 점 값에 기반한 위상에 의해 구분되는 세 종류의 $\mathcal{C}^\infty$-환—균근에 의존하는, 근접점에 의존하는, 점에 의존하는—을 정의하고 구분하는 것.
• 근접점에 의존하는 $\mathcal{C}^\infty$-환으로의 $\mathbb{R}$-대수 준동형사상이 연속성을 가정하지 않더라도 자동으로 $\mathcal{C}^\infty$-준동형사상임을 증명하는 것.
• 반사적 부분범주 사슬 $\mathcal{E} \subset \mathcal{F} \subset \mathcal{G} \subset \mathcal{L}$를 가능하게 하는 카테고리적 프레임워크를 제시하는 것.

제안 방법

• 매끄러운 함수 이론 $\mathcal{C}^\infty$에 대해 세 가지 위상—균근, 제트(유한 제트), 점(유한 집합에서의 평가)—을 도입하며, 각 위상의 기본 열린 집합은 균근, 제트, 점 값을 고정함으로써 정의된다.
• 작성 연산의 조합이 각 변수에 대해 분리 연속성이 보장되는 경우를 반타원 위상 이론으로 정의하여 대수적 구조와의 호환성을 확보한다.
• 대수에 자연스러운 위상을 도입함으로써 하우스도르프 대수를 선별하고, 각각 균근, 제트, 점 위상에 대해 $\mathcal{G}$, $\mathcal{F}$, $\mathcal{E}$ 카테고리로 정의한다.
• $\mathcal{C}^\infty$-환에 이론을 적용하여, 이러한 위상에서의 닫힌 이상이 정확히 세 종류의 $\mathcal{C}^\infty$-환—균근에 의존하는, 근접점에 의존하는, 점에 의존하는—에 대응됨을 보였다.
• 위상 강도가 점점 증가하는 반사적 부분범주 사슬 $\mathcal{E} \subset \mathcal{F} \subset \mathcal{G} \subset \mathcal{L}$를 수립하였다.
• 타일러 전개와 이상을 이용한 모순 증명을 통해, 근접점에 의존하는 $\mathcal{C}^\infty$-환으로의 $\mathbb{R}$-대수 준동형사상이 매끄러운 연산을 보존해야 한다는 것을 증명하였다.

실험 결과

연구 질문

• RQ1 유한 생성을 가정하지 않고 $\mathcal{C}^\infty$-환을 어떻게 위상적으로 분류할 수 있는가?
• RQ2 매끄러운 함수 이론 위에 어떤 위상적 구조가 균근에 의존하는, 근접점에 의존하는, 점에 의존하는 $\mathcal{C}^\infty$-환을 구분하는가?
• RQ3 근접점에 의존하는 $\mathcal{C}^\infty$-환으로의 모든 $\mathbb{R}$-대수 준동형사상은 자동으로 $\mathcal{C}^\infty$-준동형사상인가?
• RQ4 이론 자체의 위상에 의해 $\mathcal{C}^\infty$-환의 범주가 반사적 부분범주 사슬으로 분류될 수 있는가?
• RQ5 이론 위상은 대수에 대응하는 위상을 유도하고, 그 이상을 어떻게 분류하는가?

주요 결과

• 논문은 $\mathcal{C}^\infty$ 이론에 대해 균근, 제트, 점 위상 세 종류를 구성하였으며, 각각 $\mathcal{C}^\infty$ 가 분리 연속성을 갖는 반타원 위상 이론이 되도록 한다.
• 균근, 제트, 점 위상에서의 $\mathcal{C}^\infty$ 의 닫힌 이상은 각각 균근에 의존하는, 근접점에 의존하는, 점에 의존하는 $\mathcal{C}^\infty$-환과 정확히 일치한다.
• 이 세 위상에 대해 하우스도르프 $\mathcal{C}^\infty$-환의 카테고리들은 반사적 부분범주 사슬 $\mathcal{E} \subset \mathcal{F} \subset \mathcal{G} \subset \mathcal{L}$을 이룬다. 위상 강도가 점점 증가한다.
• 근접점에 의존하는 $\mathcal{C}^\infty$-환 $B$로의 $\mathbb{R}$-대수 준동형사상 $\phi: A \to B$는 연속성을 가정하지 않더라도 자동으로 $\mathcal{C}^\infty$-준동형사상이다.
• 증명은 모든 생성자가 한 점에서 0이 되는 경우로 축소하기 위해 좌표 이동을 사용한 후, 비매끄러운 준동형사상이 이상 $\mathfrak{I}$ 의 구조와 모순이 된다는 타일러 전개 증명에 기반한다.
• 이 결과는 원천 $\mathcal{C}^\infty$-환의 유한 생성을 요구하지 않으며, 이전 결과들에서 유한 생성을 가정한 바를 일반화한다.