[논문 리뷰] Isomorphisms of algebras of smooth functions revisited

Janusz Grabowski|ArXiv.org|2003. 10. 18.

Advanced Operator Algebra Research참고 문헌 7인용 수 3

한 줄 요약

이 논문은 두 Hausdorff 미분다양체 위의 매끄러운 실수값 함수 대수 사이의 임의의 대수 동형사상이, 두 다성체 사이의 미분동형사상에 의해 유도됨을 증명한다. 이는 두 번째 가산성, 국소 콤팩트성, 또는 연결성 조건을 요구하지 않는다. 핵심 혁신은 다성체의 점을 다항형 함수에 의존하는 것이 아니라, 특별히 구분된 일차원 졸(ideal)의 집합을 통해 특징짓는 데 있다. 이는 $\chi$-측정 가능한 성분의 수를 가진 다성체에서는 다항형 함수가 실패하기 때문이다.

ABSTRACT

It is proved that isomorphisms between algebras of smooth functions on Hausdorff smooth manifolds are implemented by diffeomorphisms. It is not required that manifolds are second countable nor paracompact. This solves a problem stated by A. Wienstein. Some related results are discussed as well.

연구 동기 및 목표

• 매끄러운 다성체 위의 매끄러운 함수 대수 사이의 동형사상에 대한 특성화 문제를 해결하는 것 — A. Weinstein가 제기한 오랜 문제이다.
• 전통적인 결과에서 대수 동형사상이 미분동형사상에 의해 유도됨을 보여주는 데 있어, 두 번째 가산성, 국소 콤팩트성, 또는 연결성 조건을 제거하는 것.
• 매끄러운 함수 대수의 특정 일차원 졸의 집합을 통해 다성체의 점을 식별하는 새로운 방법을 제공하는 것.
• 연속 함수 대수에 대한 Gel'fand-Kolmogoroff 정리를 매끄러운 범주로 일반화하고, 명시적인 동형사상 형태를 제공하는 것.
• 적절한 볼록 함수 조건을 만족하는 $C^k$ 및 무한차원 다성체(예: 힐버트 공간 또는 $L^p$ 공간을 기본으로 하는 다성체)로 결과를 확장하는 것.

제안 방법

• 모든 다항형 함수가 아니라, $C^\infty(M;\mathbb{R})$ 내에서 특별히 구분된 일차원 졸의 부분집합을 통해 다성체 $M$의 점을 특징짓는다.
• 지지가 국소적으로만 있는 매끄러운 함수의 존재를 이용하여 이러한 특별한 졸을 정의하고, 이들이 점과 대응됨을 보장한다.
• 임의의 대수 동형사상 $\Phi: C^\infty(M_1;\mathbb{F}) \to C^\infty(M_2;\mathbb{F})$ 가 이러한 특별한 졸을 대응하는 졸로 보존함을 증명하고, 다성체 사이의 전단사 사상을 유도한다.
• 이러한 유도된 사상 $\phi: M_2 \to M_1$ 가 포함관계를 통해 닫힘 관계를 유지함을 확인하여, 이가 위상동형사상임을 보인다.
• 대수에 속한 함수들로부터 국소 좌표를 구성하여 $\phi$ 와 그 역함수가 매끄럽다는 것을 증명하고, $\phi$ 가 $C^\infty$ 미분동형사상임을 보장한다.
• 첫 번째 가산성과 완전히 정규화된 공간에 대해 연속 함수 대수로 방법을 일반화하며, 가산 기저를 이용해 지지가 점인 볼록 함수를 구성한다.

실험 결과

연구 질문

• RQ1 매끄러운 함수 대수의 대수 동형사상이 미분동형사상에 의해 유도됨을 보여주는 고전적 결과를, 국소 콤팩트성 또는 두 번째 가산성을 갖지 않는 다성체로 확장할 수 있는가?
• RQ2 다성체가 두 번째 가산성을 갖지 않을 경우, 다항형 함수의 사용을 대체할 수 있는 매끄러운 다성체의 점에 대한 새로운 특성화는 무엇인가?
• RQ3 연속 함수 대수에 대한 Gel'fand-Kolmogoroff 정리를 매끄러운 범주로 적응시키고, 명시적인 동형사상 형태를 제공할 수 있는가?
• RQ4 연결 성분의 수가 $\aleph$-측정 가능할 경우, 다항형 함수를 사용하는 표준 증명이 실패하는 이유는 무엇인가?
• RQ5 지지가 점인 매끄러운 볼록 함수가 존재할 때, 어떤 조건에서 대수 동형사상이 미분동형사상에 의한 역상임을 보장할 수 있는가?

주요 결과

• 두 Hausdorff 매끄러운 다성체 위의 매끄러운 함수 대수 사이의 임의의 대수 동형사상은, 두 다성체 사이의 유일한 미분동형사상에 의해 유도된다. 이는 두 번째 가산성 또는 국소 콤팩트성 조건을 가정하지 않더라도 성립한다.
• 증명 과정에서 다항형 함수에 의존하는 대신, 국소적으로만 지지가 있는 매끄러운 함수를 통해 점과 대응되는 특별히 구분된 일차원 졸의 집합을 사용함으로써, 다항형 함수에 대한 의존성을 피한다.
• 모든 연결 성분의 집합의 기수(기수)가 $\aleph$-측정 가능하지 않은 경우에만, 국소 콤팩트 매끄러운 다성체는 매끄럽게 실수 콤팩트하다.
• 표준 증명이 $\aleph$-측정 가능한 성분 기수를 가진 다성체에서는 실패한다. 이는 이러한 다성체가 자유로운 일차원 졸을 포함하기 때문이다.
• 지지가 점인 매끄러운 볼록 함수가 존재하는 한, 이 방법은 $C^k$ 다성체 및 일부 무한차원 다성체(예: 힐버트 공간 또는 $L^p$ 공간을 기본으로 하는 다성체)로 일반화될 수 있다.
• Stone-Čech 콤팩트화를 사용하지 않고도, 특별히 구분된 졸을 직접 구성함으로써, Gel'fand-Kolmogoroff 정리의 새로운 증명을 얻을 수 있다.