弱特殊な正方形複体の積部分複体と交差複体を定義
Product subcomplexes and intersection complexes of weakly special square complexes
この論文をやさしく読む
ひとことで言うと
正方形を貼り合わせた幾何学的対象について、積と交差の構造を一貫して定義する数学研究。
何に役立つ？
普遍被覆と元の複体の関係や、準等長写像で保たれる構造を調べるのに役立つ。
この研究の面白いところ
普遍被覆からの商による交差複体の記述を証明し、像だけでは不十分な場合を反例で示す。
どこまで分かった？
主な同型・準等長不変性の結果はコンパクトな両側の弱特殊正方形複体が対象。先行の縮約構成の再現には単純性の仮定がある。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
著者らは、コンパクトな非正曲率の正方形複体とCAT(0)正方形複体に対し、積部分複体と交差複体を定義する。積部分複体は、座標方向のファイバーが埋め込まれたグラフの積からの局所等長写像を同値類とみなして定義する。その分解を使い、S. Ohの2022年の論文「弱特殊な正方形複体の準等長不変量」における構成を拡張する、交差複体の共通の定義を与える。立方的な自己同型は、これらの複体への作用を誘導する。また、面の鎖に沿って、核写像のラベルを持ち上げたものとその分解を比較することで射を定義する。 コンパクトな両側の弱特殊正方形複体について、その交差複体が普遍被覆の交差複体をデッキ変換群で割ったものと標準的に同型であることを証明する。単純性の仮定の下では、先行論文で像を用いて定義された縮約交差複体が再現され、積の基底群は単体の安定化部分群全体になる。また、コンパクトな両側の弱特殊正方形複体の普遍被覆間の準等長写像が、この意味での交差複体の同型を誘導することも証明する。最後に、一般には像だけでは商を決定できない理由を説明する有限の反例を与える。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-21（UTC）
- 最新改訂
- 2026-09-21 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-21 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
We define product subcomplexes and intersection complexes for compact nonpositively curved square complexes and CAT(0) square complexes. Product subcomplexes are defined as equivalence classes of local isometries from products of graphs with embedded coordinate fibers. Using their factorizations, we give a common definition of the intersection complex, extending the constructions in S. Oh's paper "Quasi-isometry invariants of weakly special square complexes" (Topology and its Applications 307 (2022)). Cubical automorphisms induce actions on these complexes. We define morphisms by comparing compatible elevations of core-map labels and their factorizations along face chains. For a compact two-sided weakly special square complex, we prove that its intersection complex is canonically isomorphic to the deck quotient of the intersection complex of its universal cover. Under a simplicity hypothesis, this recovers the image-defined reduced intersection complex in that paper, and product-base groups are the full simplex stabilizers. We also prove that quasi-isometries between universal covers of compact two-sided weakly special square complexes induce isomorphisms of their intersection complexes in this sense, and give finite counterexamples explaining why images alone do not determine the quotient in general.
著者のコメント
24 pages, 4 figures. Revisits and corrects the constructions of product subcomplexes and intersection complexes in arXiv:2009.03865
arXiv ID: 2609.25140 ／ 要約の誤りについて