[論文レビュー] A new property of congruence lattices of slim, planar, semimodular lattices

Gábor Czédli, George Grätzer|arXiv (Cornell University)|Mar 7, 2021

Advanced Algebra and Logic参考文献 21被引用数 9

ひとこと要約

この論文は、有限分配的ラティスがスリムで平面的かつ半モジュラー（SPS）ラティスの同型類であるための新たな必要条件として、三突き枝三冠性を導入する。多フォーク拡張、$π$-図、ランプラティスの道具を用いて、著者たちは任意のSPSラティスの同型類がこの性質を満たすことを証明し、分配的であることや従来の構造的制約を超えた、このような同型類の特徴付けを前進させる。

ABSTRACT

The systematic study of planar semimodular lattices started in 2007 with a series of papers by G. Grätzer and E. Knapp. These lattices have connections with group theory and geometry. A planar semimodular lattice $L$ is {\it slim} if $M_3$ it is not a sublattice of $L$. In his 2016 monograph, "The Congruences of a Finite Lattice, A \emph{Proof-by-Picture Approach}", the second author asked for a characterization of congruence lattices of slim, planar, semimodular lattices. In addition to distributivity, both authors have previously found specific properties of these congruence lattices. In this paper, we present a new property, the {\it Three-pendant Three-crown Property}. The proof is based on the first author's papers: 2014 (multifork extensions), 2017 ($\mathcal C_1$-diagrams), and a recent paper (lamps), introducing the tools we need.

研究の動機と目的

• スリムで平面的かつ半モジュラー（SPS）ラティスの同型類を特徴付けること。これは、分配的であることや他の構造的制約が既に同定された先行研究に基づく。
• Grätzerの2016年モニグラフにおける問題1.1に応えること。すなわち、SPSラティスの同型類の完全な特徴付けを求めるものである。
• SPSラティスの同型類が満たすべき新たな構造的性質、すなわち「三突き枝三冠性」を導入し、厳密に確立すること。
• 有限分配的ラティスがSPSラティスの同型類として表現可能であるための必要条件のクラスを、分配的であることや既存の制約を超えて拡張すること。

提案手法

• 2014年にCzédliが導入した多フォーク拡張の理論に依拠し、より単純な基本ラティスからSPSラティスを構成・分析する。
• Czédli（2017年）が導入した$π$-図を用いて、SPSラティスの構造とその同型類を表現・操作する。
• ランプラティスの概念を用いて、ラティス内での光の伝播をモデル化し、特定のランプに到達する「光」を通じて同型類関係の幾何的解釈を可能にする。
• 長方形ラティスとパッチラティスの構成により、同型類ラティスの順序和分解が可能となり、特に$+$演算（順序和）を用いて小さなラティスから大きなラティスを構築する。
• 主な技術的アプローチは、特定の順序集合（例：$R_3$）が、同型類ラティスの結合的不可約元の集合に被覆を保つ形で埋め込まれないことを示すことである。
• 有限分配的ラティスの表現定理を適用し、得られたランプラティス構造が、望ましい同型類ラティスの同型写像に対応することを結論づける。

実験結果

リサーチクエスチョン

• RQ1 すべてのスリムで平面的かつ半モジュラーなラティスの同型類は、三突き枝三冠性を満たすか？
• RQ2 スリムパッチラティスの同型類は、その結合的不可約元とそれらの被覆関係の構造によって完全に特徴付けられるか？
• RQ3 順序和構成は、より大きなSPSラティスの同型類を、より小さなラティスから生成する際に果たす役割は何か？
• RQ4 ランプラティスと光の伝播モデルは、同型類ラティスの構造的制約を証明するためにどのように役立つか？
• RQ5 三突き枝三冠性と既存の制約が組み合わさった場合、SPSラティスの同型類を完全に特徴付けるのに十分か？

主な発見

• すべてのスリムで平面的かつ半モジュラーなラティスの同型類は、表現可能性の新たな必要条件である三突き枝三冠性を満たす。
• 主定理は、順序集合$R_3$（図1）が、同型類ラティスの結合的不可約元の集合に被覆を保つ形で埋め込まれないことを示している。
• 定理1.2では、スリム長方形ラティス$H$とスリムパッチラティス$L$を構成し、$\operatorname{Con}H \cong \operatorname{Con}L_1 \times \cdots \times \operatorname{Con}L_n$および$\operatorname{Con}L \cong (\operatorname{Con}L_1 \times \cdots \times \operatorname{Con}L_n) + \mathsf{B}_2$を満たすことを示している。この構成には多フォーク拡張とランプラティス構成が用いられている。
• スリムパッチラティスの同型類ラティスの結合的不可約元は、4つの構造的制約を満たす：各要素に対して高々2つの被覆、異なる最大元が共通の下位被覆を持たない、および三突き枝三冠性。
• スリムパッチラティスであることと、同型類ラティスが$D_0 \overset{\textbf{.}}{+} \mathsf{B}_2$の形をしていることとの同値性が確立された。ここで$D_0$は有限分配的ラティスである。
• ランプラティスモデルは、ラティス内での光の伝播を的確に捉えており、異なるコンポーネント間のクロスライトが生じないことを保証する幾何的証明技法を可能にし、同型類ラティスの分解を保存する。