[논문 리뷰] Regularity and nearness theorems for families of local Lie groups

Tom McGaffey|arXiv (Cornell University)|2012. 06. 14.

Mathematical and Theoretical Analysis참고 문헌 19인용 수 3

한 줄 요약

이 논문은 비표준 해석학 기반의 정규성 및 가까움 정리들을 국소 리 군의 가족에 대해 수립하며, 점별 수렴하고 미분 가능한 가족이 좌표 변경 이후 해석적 국소 리 군으로 매끄럽게 수렴함을 증명한다. 핵심 기여는 S-연속인 리 군 구조가 좌표 변환 이후 해석성을 유도함을 보여주는 비표준 정규성 결과이며, 비표준 방법과 지식의 새로운 위상수학을 통해 국소 리 군의 해밀턴의 다섯 번째 문제의 국소적 해법을 발전시킨다.

ABSTRACT

In this work, we prove three types of results with the strategy that, together, the author believes these should imply the local version of Hilbert's Fifth problem. In a separate development, we construct a nontrivial topology for rings of map germs on Euclidean spaces. First, we develop a framework for the theory of (local) nonstandard Lie groups and within that framework prove a nonstandard result that implies that a family of local Lie groups that converge in a pointwise sense must then differentiability converge, up to coordinate change, to an analytic local Lie group, see corollary 6.1. The second result essentially says that a pair of mappings that almost satisfy the properties defining a local Lie group must have a local Lie group nearby, see proposition 7.1. Pairing the above two results, we get the principal standard consequence of the above work, corollary 7.2, which can be roughly described as follows. If we have pointwise equicontinuous family of mapping pairs (potential local Euclidean topological group structures), pointwise approximating a (possibly differentiably unbounded) family of differentiable (suffi- ciently approximate) almost groups, then the original family has, after appropriate coordinate change, a local Lie group as a limit point. The third set of results give nonstandard renditions of equicontinuity criteria for families of differentiable functions, see theorem 9.1. These results are critical in the proofs of the principal results of this thesis as well as the standard interpretations of the main results here. Following this material, we have a long chapter constructing a Hausdorff topology on the ring of real valued map germs on Euclidean space. This topology has good properties with respect to convergence and composition. See the detailed introduction to this chapter for the motivation and description of this topology.

연구 동기 및 목표

• 국소 리 군에 대해 비표준 프레임워크를 수립하여 정규성 및 가까움 정리들을 증명하는 것.
• 점별 등연속성 가족이 거의 국소 리 군을 이루는 경우 좌표 변경 이후 해석적 국소 리 군으로 수렴함을 보여, 국소 리 군의 해밀턴의 다섯 번째 문제를 해결하는 것.
• 유클리드 공간 위의 실수 값 지르미의 링에 대해 수렴성과 복합성 성질을 잘 유지하는 하우스도르프 위상을 구성하는 것.
• 다양한 함수에 대한 등연속성 기준의 비표준 등가를 제공하여 주요 결과를 증명하는 데 필수적인 것.
• 연대사의 S-연속성이 국소 *리 군의 표준 부분이 해석적임을 의미함을 보이는 것.

제안 방법

• 국소 *리 군과 그 표준 부분을 분석하기 위해 전이, 포화, 오버플로 원리 등을 활용한 비표준 해석학(NA)을 사용한다.
• S-정규성 및 S-해석성 개념을 적용하여 S-연속인 군 연산이 좌표 변경 이후 해석성을 유도함을 보인다.
• *지수 함수와 그 정규성을 이용하여 *리 군의 표준 부분이 국소 리 군임을 증명한다.
• 유클리드 공간 위의 실수 값 지르미의 링에 대해 수렴성과 복합성 호환성을 보장하는 새로운 하우스도르프 위상을 도입한다.
• *조르당 분리 정리와 위상적 성질의 전이를 활용하여 지르미의 이미지 크기를 유계화하고 포함 관계를 증명한다.
• *μ-exp 보조정리와 *GL(n)의 미분기하학을 적용하여 연대사의 S-연속성을 확립하며, 이는 해석성 증명의 핵심 단계이다.

실험 결과

연구 질문

• RQ1 점별로 수렴하고 미분 가능한 국소 리 군의 가족이 좌표 변경 이후 해석적 국소 리 군으로 매끄럽게 수렴할 수 있는가?
• RQ2 두 사상이 거의 국소 리 군의 공리를 만족한다면, 그와 가까운 진짜 국소 리 군이 존재하는가?
• RQ3 비표준 등연속성 기준을 정의하고, 이를 통해 미분 가능한 함수의 가족에 대한 정규성 정리를 증명할 수 있는가?
• RQ4 유클리드 공간 위의 지르미 링에 대해 수렴성과 복합성을 존중하는 하우스도르프 위상이 존재하는가?
• RQ5 S-연속성과 적절한 좌표 변경 조건 하에서 *리 군의 표준 부분이 해석적임을 보일 수 있는가?

주요 결과

• 점별 등연속성과 미분 가능한 거의 국소 리 군을 만족하는 국소 리 군의 가족은 좌표 변경 이후 해석적 국소 리 군으로 수렴한다 (보조정리 7.2).
• SC∘ 조건을 만족하는 σ-국소 *리 군의 표준 부분은 어떤 좌표계에서 해석적 국소 리 군이다 (정리 6.2).
• *리 군의 연대사 지도는 S-연속이며, 이는 그 표준 부분이 해석적임을 의미한다 (정리 6.2).
• ℝⁿ 위의 실수 값 지르미의 링에 대해 비자명한 하우스도르프 위상을 구성하였으며, 수렴성과 복합성 성질이 양호하다 (제10장).
• 위상동형 지르미는 지르미 공간 위에서 위상동형으로 작용하며, 그 이미지는 지르미에 관계없이 일관되게 작은 구를 포함한다 (정리 10.15).
• *지수 함수는 정규적이며, 그 미분(즉, 연대사 지도)은 S-연속적이다. 이는 표준 부분의 해석성 증명에 핵심적이다 (제4절).