[論文レビュー] The Γ-Ultraproduct and Averageable Classes

Will Boney|arXiv (Cornell University)|Nov 3, 2015

Advanced Topology and Set Theory参考文献 10被引用数 5

ひとこと要約

本稿では、固定された一元型の集合Γを除いて構造を平均化するモデル理論的構成であるΓ-超積を導入する。これはバナッハ空間の超積やねじれ加群の構成を一般化する。主な貢献は、このようなクラスが「平均可能」であるための条件を確立することであり、抽象的素性クラス（AEC）の文脈において、モデル数の分岐とねじれ加群の安定性に関する結果をもたらす。

ABSTRACT

We consider an ultraproduct that is designed to omit a fixed set of unary types $Γ$, called the $Γ$-ultraproduct. The $Γ$-ultraproduct is not always well-behaved, but we discuss several general conditions under which it is and several examples.

研究の動機と目的

• 標準的超積がコン pact性の欠如により失敗する非初等的クラスにおいて、型の省略を保つ新しい超積構成を開発すること。
• Γ-超積によるクラスの「平均可能」性を形式化する条件を定式化し、良好なモデル理論的性質を保証すること。
• AECにおける分類理論的ツールを、特にPID上のねじれ加群の文脈において、Γ-超積構成に適用すること。
• 平均可能クラスにおけるŁoś型定理と安定性結果を確立すること。特に可除アーベルp群に対して。
• 平均可能AECにおけるガロア型と文法的型の関係を明確にし、安定な設定においてガロア型が第一階型と一致することを示すこと。

提案手法

• Γ-超積を全超積の部分集合として定義し、各型に対してその型を避ける証拠論理式を用いて、すべての型をΓに属するものから回避する関数として定義する。
• 超フィルターを用いて関数の同値類を定義し、商構造を形成する。同値関係の包含基準は、局所的な一元型の回避に基づく。
• Γ-閉およびΓ-良いクラスの概念を導入し、Γ-超積構成がうまく機能し、分類された言語解釈が可能になる状況を形式化する。
• AECにおける分類理論の結果（合成、結合埋め込み、安定性）を、PID上のねじれ加群のクラスに適用する。
• ねじれ加群の文脈において、Γ-超積に関するŁoś型定理を証明し、特定の条件下で初等的同値性が保たれることを示す。
• AECとして、ある与えられたMと初等的同値なねじれ加群のクラスにおいて、ガロア型が文法的型と一致し、クラスは一意の独立関係（coheir）を持つことの証明。

実験結果

リサーチクエスチョン

• RQ1 Γ-超積が良好に動作し、初等的同値性に関して閉じている条件は何か？
• RQ2 Γ-超積構成は、バナッハ空間超積やマルチソート超積といった既知の超積を特別な場合として回復できるか？
• RQ3 平均可能クラス（Γ-超積によって定義される）において、安定性、合成、一意の独立関係の存在といったモデル理論的性質はどのように成立するか？
• RQ4 Γ-超積構成は、与えられた基数におけるモデルの数にどのように影響を与えるか？また、平均可能クラスにおけるモデル数の分岐を確立できるか？
• RQ5 AECとしてのねじれ加群において、ガロア型と文法的型はどの程度一致するか？そしてこれは安定性と独立関係にどのような意味を持つのか？

主な発見

• Γ-超積構成により、Γに属するすべての型を省略するwell-definedな構造が得られ、これはバナッハ空間超積とねじれ部分加群構成を一般化する。
• PID上のねじれ加群において、Γ-超積はŁoś型定理を満たし、測度1の集合において真である一階文が超積においても真であることを保証する。
• ある与えられたMと初等的同値なねじれ加群のAECは平均可能であり、合成、結合埋め込み、およびガロア型が文法的型と一致する。
• PID上のねじれ加群のクラスは、すべての基数λ^ωにおいてガロア安定であり、coheirは一意の独立関係である。
• ねじれ加群のAECにおいて、すべてのモデルが基本モデルと同型でない限り最大モデルは存在せず、任意の整合的かつ部分型は、固定された有限個のねじれ条件を用いて実現可能である。
• Vaseyの研究における非分裂性によって定義される良いフレームは、⊕_{n<ω} ℤ(p^∞)のAECにおけるcoheir独立関係と一致し、標準的な独立関係が得られる。