[논문 리뷰] th-Forking, Algebraic Independence and Examples of Rosy Theories

Alf Onshuus|ArXiv.org|2003. 05. 30.

Advanced Algebra and Logic인용 수 4

한 줄 요약

이 논문은 pseudo real closed fields (PRC-fields)와 model-complete rosy base field를 가진 large differential fields의 model companion이 rosy 이론임을 증명하며, 이는 이전의 closed ordered differential fields에 대한 결과를 확장한다. 이 이론들에서 대수적 독립성이 기하적 독립성 관계를 정의하며, 이론이 weak elimination of imaginaries를 가지며 대수적 독립성이 기하적일 경우 þ-forking이 이 독립성과 일치함을 증명한다.

ABSTRACT

In a previous paper we developed the notions of th-independence and þ-ranks which define a geometric independence relation in a class of theories which we called ``rosy''. We proved that rosy theories include simple and o-minimal theories and that for any theory for which the stable forking conjecture was true, þ-forking coincides with forking independence. In this article, we continue to study properties of th-forking and find more examples of rosy theories. Among the new properties we prove in this paper are some alternative characterizations of rosy theories and some tools to prove and analyze rosiness in particular cases. Finally, we use this to find two examples of rosy non simple theories: pseudo real closed fields (PRC-fields) and the uniform companion of a large differential field defined by Marcus Tressl.

연구 동기 및 목표

• 간단하고 o-minimal 구조를 초월한 알려진 rosy 이론의 범위를 확장하기.
• 이론에서 대수적 독립성이 기하적 독립성 관계를 정의하는 조건을 설정하기.
• pseudo real closed fields (PRC-fields)가 rosy 이론임을 증명하고, 이는 이전의 closed ordered differential fields에 대한 결과를 일반화한다.
• model-complete rosy base field를 가진 large differential field의 model companion이 역시 rosy 이론임을 보이기.
• þ-forking의 대칭성과 국소적 성질과 같은 대체 조건을 통해 rosy 이론을 특성화하고, 초-rosy 이론에 대한 좌표화 정리를 증명하기.

제안 방법

• 안정적이고 단순한 이론에서의 forking 독립성의 일반화로서 þ-forking과 þ-ranks의 사용.
• 집합 위에서의 강한 분할과 þ-분할의 정의로 þ-forking 개념의 유도.
• 정의 가능한 집합과 유형을 통한 초-rosy 이론 분석을 위해 좌표화 정리의 적용.
• 전이 결과의 증명: 만약 유형이 $T^*$의 모델에서 강하게 분할된다면, 이는 필드 재단 또는 미분체 재단 둘 중 하나에서 역시 강하게 분할된다.
• k-DCF(다양한 미분을 가진 미분적으로 닫힌 체)에서의 기호 제거와 안정성의 활용을 통한 유형 일致성 분석.
• Tre[ ]에서의 model companions에 대한 모델 이론적 전이 원리와 정리들을 활용하여 $T^*$의 rosy 성격을 확립하기.

실험 결과

연구 질문

• RQ1 어떤 조건에서 이론에서 대수적 독립성이 기하적 독립성 관계를 정의하는가?
• RQ2 weak elimination of imaginaries를 가진 이론에서 þ-forking이 대수적 독립성과 일치하는가?
• RQ3 pseudo real closed fields (PRC-fields)는 rosy 이론인가?
• RQ4 model-complete rosy base field를 가진 large differential field의 model companion은 역시 rosy 이론인가?
• RQ5 þ-forking의 대칭성과 국소적 성질을 통해 rosy 이론을 어떻게 특성화할 수 있는가?

주요 결과

• pseudo real closed fields (PRC-fields)는 rosy 이론이며, 이는 단순하고 o-minimal 구조를 초월한 알려진 rosy 이론의 범위를 확장한다.
• 이론 $T$가 weak elimination of imaginaries를 가지며 대수적 독립성이 기하적 독립성 관계를 정의한다면, $T$는 rosy 이론이 되고 þ-forking은 대수적 독립성과 일치한다.
• 언어의 링으로의 제한이 model-complete rosy 필드인 large differential field의 model companion $T^*$ 역시 rosy 이론이다.
• model-complete rosy 필드 재단과 k-DCF를 만족하는 미분체 재단을 가진 이론 $T^*$에서, 만약 유형이 $T^*$에서 강하게 분할된다면, 이는 필드 또는 미분체 재단 중 하나에서 역시 강하게 분할된다.
• 초-rosy 이론에 대해 좌표화 정리는 성립하며, 이는 정의 가능한 집합과 랭크를 통한 유형의 구조적 특성화를 제공한다.
• rosy 이론에서 þ-forking은 기하적 독립성 관계의 모든 공리를 만족하지만, 독립성 정리가 반드시 성립하지는 않는다.