[논문 리뷰] Groups and rings definable in d-minimal structures

Antongiulio Fornasiero|arXiv (Cornell University)|2012. 05. 18.

Advanced Topology and Set Theory참고 문헌 11인용 수 7

한 줄 요약

이 논문은 순서체의 d-미니멀 확장으로 o-미니멀 구조에서의 기본 결과를 확장하며, 정의 가능한 군이 그룹 연산이 미분 가능하게 하는 유일한 정의 가능한 미분다양체 구조를 지닌다고 증명하고, 영인자가 없는 차원 1 이상의 정의 가능한 링은 스칼라체임을 보이며, 정의 가능한 링이 $Π$-대수와 이산 링으로 분해된다는 것을 확립한다. 이는 모델 이론과 온전한 기하학에서 알려진 결과를 일반화한다.

ABSTRACT

We study groups and rings definable in d-minimal expansions of ordered fields. We generalize to such objects some known results from o-minimality. In particular, we prove that we can endow a definable group with a definable topology making it a topological group, and that a definable ring of dimension at least 1 and without zero divisors is a skew field.

연구 동기 및 목표

• d-미니멀 구조로 o-미니멀 모델 이론의 핵심 결과를 일반화하기 위해.
• d-미니멀 환경에서 정의 가능한 군과 링의 위상수학적 및 대수적 구조를 조사하기 위해.
• 정의 가능한 링이 $Π$-대수와 이산 부분환으로 분해되는 정리 수립하기 위해.
• d-미니멀 구조에서 이산 링 위의 정의 가능 연결 모듈러의 행동 탐색하기 위해.

제안 방법

• Pillay의 o-미니멀 구조에서의 정의 가능한 군에 관한 정리에 대해 정의 가능한 미분 구조를 통해 d-미니멀 환경으로 적응하기 위해.
• 정의 가능한 완비성과 정의 가능한 집합을 열린 부분과 이산 부분으로 분해하는 방법을 사용하여 군과 링의 정의 가능성 분석하기 위해.
• 차원 이론과 이상 분해를 포함한 모델 이론 기법을 사용하여 정의 가능한 링 분석하기 위해.
• 일반적인 정의 가능한 링을 분해하기 위해 $Π$-대수와 자명하거나 거의 자명한 링의 개념 도입하기 위해.
• 정의 가능한 링이 영인자가 없고 차원이 ≥1이면 스칼라체임을 증명하기 위해 구조적 분석 수행하기 위해.
• 링 준동형의 핵을 사용하여 정의 가능한 링의 대수적 부분과 이산 부분을 분리하기 위해.

실험 결과

연구 질문

• RQ1 d-미니멀 구조에서 정의 가능한 군은 그 군 연산이 미분 가능하게 하는 유일한 정의 가능한 미분다양체 구조를 지닐 수 있는가? (o-미니멀성과 유사하게.)
• RQ2 d-미니멀 구조에서 차원이 1 이상이고 영인자가 없는 정의 가능한 링은 언제나 스칼라체인가?
• RQ3 d-미니멀 구조에서 모든 정의 가능한 링은 $Π$-대수와 이산 부분환의 직합으로 분해되는가?
• RQ4 d-미니멀 구조에서 정의 가능 연결 모듈러는 정의 가능한 이산 링 위에서 어떻게 행동하는가?
• RQ5 정의 가능한 링의 대수적 부분과 이산 부분으로의 분해는 자연스럽고 유일한가?

주요 결과

• d-미니멀 구조에서 정의 가능한 군은 군 연산이 미분 가능하게 하는 유일한 정의 가능한 미분다양체 구조를 지닌다.
• 정의 가능 연결인 정의 가능한 아벨 군은 암시적으로 약분 가능하며, o-미니멀 모델 이론의 결과를 확장한다.
• 영인자가 없고 차원이 1 이상인 정의 가능한 링은 스칼라체이며, $\mathbb{K}$, $\mathbb{K}(\sqrt{-1})$, 또는 $\mathbb{K}$ 위의 허수체와 정의 가능 동형이다.
• 단위원소를 가진 모든 정의 가능한 링 $\mathbb{F}$ 는 $\mathbb{F} = D \oplus \mathbb{F}^0$ 로 분해되며, 여기서 $D$ 는 정의 가능한 이산 부분환이고 $\mathbb{F}^0$ 은 정의 가능한 $\mathbb{K}$-대수이다.
• 정의 가능한 이산 링은 모든 정의 가능 연결 모듈러 위에서 자명하게 작용하며, 이러한 모듈러에서 모든 $f \in F$, $g \in G$ 에 대해 $fg = 0$ 이다.
• 정의 가능한 링에서 그 $\mathbb{K}$-대수 몫으로의 자연스러운 준동형의 핵은 거의 자명한 링이며, 이는 구조적 분해를 확인한다.