Sheaf Representations of Algebras and Logic of Sheaves

点击翻译按钮获取中文摘要

2022年度は構造の層表現が与えられている状況下で、Feferman-Vaught-Comerの定理（以下、Comerの定理）の一般化について研究した。位相空間上の構造の層に対して、論理式の強制値および離散値と呼ばれる底空間の部分集合が定義される。Comerの定理はStone空間上の層であってさらに任意の論理式の強制値と離散値が一致するようなものに対する定理であり、適用できる範囲が狭い。そこで考察対象を（応用上充分な一般性を持つ）Costeスペクトラムの構造層に限定して、Stone空間上とは限らない場合でもComerの定理の類似が成り立たないか模索した。しかし、単純な論理式の強制値と離散値が一致しないような例をCosteスペクトラムでも構成できたため、Comerの定理の一般化のためにはstalkに良い性質を課すことが本質的に必要であること判明した。一方、一般の構造の層について強制値・離散値の振る舞いを分析する中で、いくつかの論理式のクラスがいくつかの良い性質を持つことを示した。より単純な形の論理式のクラスがこれらの性質を持つことは先行研究により知られており、本研究によって先行研究の結果を改良することができた。上述の（否定的/肯定的）成果については論文としてまとめるには学術的貢献が不充分なので、引き続き研究を進めていく。また、前年度に発表したCosteスペクトラムの論文が国際学術雑誌に受理され出版予定である。当該論文の改訂の段階において、可換環の素イデアルの存在定理を大きく一般化するような“素イデアル”（=Costeスペクトラムの点）の存在定理を証明した。この定理を具体的なCoste contextに適用することで、代数学的に興味深い結果が得られないかと期待している。