可算なmeet連続格子はScott空間的にsober
Every countable meet-continuous lattice is Scott sober
この論文をやさしく読む
ひとことで言うと
可算な交わり連続束のスコット空間がソーバーになることと、その積の位相の関係を証明しています。
何に役立つ？
順序構造から作る位相がどれだけ点を適切に区別・表現できるかを理解する、順序・位相の基礎研究です。
この研究の面白いところ
可算フレームについての既存結果を有限分配性の外へ拡張し、任意の族の積でもスコット位相と積位相が一致すると示します。
どこまで分かった？
非ソーバーな束が存在する濃度の全体が、すべての非可算濃度になるという部分には連続体仮説を用います。可算の場合の主定理と追加の集合論的仮定を区別する必要があります。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
すべての可算なmeet連続格子がScott soberであることを証明する。このような格子の任意の族では、積のScott位相が各因子のScott位相の積と一致し、積Scott空間はsoberである。XuのarXiv:2609.18032v1の質問7.1と7.2に肯定的に答え、有限分配性を超えて可算フレームの結果を拡張する。meet座標上の対角論法で非主イデアルから有向な穴あき区間を取り出し、joinによる移し替えでScott開性を検出する可算族を作り、有限選択でScott開矩形を得る。Scott soberでないmeet連続格子の基数スペクトルは上方閉で、連続体仮説の下では全ての非可算基数からなることも示す。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-17（UTC）
- 最新改訂
- 2026-09-17 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-17 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
We prove that every countable meet-continuous lattice is Scott sober. For any family of such lattices, the Scott topology on the product equals the product of the factor Scott topologies, and the product Scott space is sober. These results answer affirmatively Questions 7.1 and 7.2 of Xu (arXiv:2609.18032v1), extending the countable-frame results beyond finite distributivity. A diagonal argument on meet coordinates extracts directed punctured intervals from nonprincipal ideals. Join translates of these intervals form a countable family detecting Scott openness and yield Scott open rectangles by successive finite choices. We also show that the cardinal spectrum of Scott non-sober meet-continuous lattices is upward closed and, under the Continuum Hypothesis, consists of all uncountable cardinals.
著者のコメント
16 pages
arXiv ID: 2609.19612 ／ 要約の誤りについて