[論文レビュー] Noncrossing hypertrees

Jon McCammond|arXiv (Cornell University)|Jul 20, 2017

Advanced Combinatorial Mathematics被引用数 4

ひとこと要約

本稿では、非交叉ハイパートリーの面の順序集合の双対である単体的複体の双対として、非交叉ハイパートリー複体を幾何的実現として導入し、非交叉分割リンク（非交叉分割順序集合の長対角線のリンクとして定義される、部品的球面的複体）と同相であることを確立する。主な貢献は、この複体に測度的および位相的構造を導入し、非交叉ハイパートリーでラベル付けされた単体と球面の双対性を明らかにしたことである。さらに、特定のアパルトマンが単体的アソシアヘドロンに等長であることを示し、既知の非交叉分割とアソシアヘドロンの間の双対写像を統一的に理解する手がかりを提供する。

ABSTRACT

Hypertrees and noncrossing trees are well-established objects in the combinatorics literature, but the hybrid notion of a noncrossing hypertree has received less attention. In this article I investigate the poset of noncrossing hypertrees as an induced subposet of the hypertree poset. Its dual is the face poset of a simplicial complex, one that can be identified with a generalized cluster complex of type $A$. The first main result is that this noncrossing hypertree complex is homeomorphic to a piecewise spherical complex associated with the noncrossing partition lattice and thus it has a natural metric. The fact that the order complex of the noncrossing partition lattice with its bounding elements removed is homeomorphic to a generalized cluster complex was not previously known or conjectured. The metric noncrossing hypertree complex is a union of unit spheres with a number of remarkable properties: 1) the metric subspheres and simplices in each dimension are both bijectively labeled by the set of noncrossing hypertrees with a fixed number of hyperedges, 2) the number of spheres containing the simplex labeled by the noncrossing tree $τ$ is the same as the number simplices in the sphere labeled by the noncrossing tree $τ$, and 3) among the maximal spherical subcomplexes one finds every normal fan of a metric realization of the simple associahedron associated to the cluster algebra of type $A$. In particular, the poset of noncrossing hypertrees and its metric simplicial complex provide a new perspective on familiar combinatorial objects and a common context in which to view the known bijections between noncrossing partitions and the vertices/facets of simple/simplicial associahedra.

研究の動機と目的

• 非交叉ハイパートリーの順序集合の部分順序集合の面の順序集合の双対として、非交叉ハイパートリー複体を定義・研究すること。
• 非交叉分割リンクへの同相写像を通じて、この複体に位相的および幾何的構造を確立すること。
• 非交叉ハイパートリーでラベル付けされた単体と測度的球面との間の双対性を明らかにすること。
• 複体内の特定のアパルトマンが等長的に単体的アソシアヘドロンに一致することを示し、この複体をクラスター代数と型Aのアソシアヘドロンと結びつけること。
• 非交叉分割、非交叉ツリー、アソシアヘドロンの間の既知の双対写像を、この新しい幾何的枠組みで再解釈すること。

提案手法

• 非交叉ハイパートリーの部分順序集合の面の順序集合の双対として、非交叉ハイパートリー複体を構成する。
• 複体の位相的性質は、非交叉分割リンク（非交叉分割順序集合の直方体複体における長対角線のリンク）への同相写像によって同定される。
• 非交叉分割リンクの測度から、この複体に部品的球面的測度が誘導される。
• 各単体が一意に等長な単位球面に含まれることを示し、非交叉ツリーτでラベル付けされた単体を含む球面の数が、τでラベル付けされた球面に含まれる単体の数に等しいことから、単体と球面の双対性を確立する。
• 一般化された型Aクラスター複体（m=2）の観点から複体を分析し、それがクラスター複体の完全な部分複体に一致することを同定する。
• ツリー部屋に1つの分割部屋しか含まない場合（つまりカタツムリ型ツリーの場合）、対応するアパルトマンが単体的アソシアヘドロンに一致することを示すことで、アソシアヘドロンとの関係を証明する。

実験結果

リサーチクエスチョン

• RQ1 非交叉ハイパートリーの順序集合を、自然な測度を持つ幾何的単体的複体として実現する方法は何か？
• RQ2 非交叉ハイパートリー複体の位相的構造は何か？ また、非交叉分割順序集合とどのように関係しているか？
• RQ3 非交叉ハイパートリー複体内に、単体と測度的球面との双対性が存在するか？ その双対性はどのように符号化されているか？
• RQ4 非交叉ハイパートリー複体内のアパルトマンが、いつ単体的アソシアヘドロンに一致するか？
• RQ5 非交叉分割とアソシアヘドロンの頂点・面との間の既知の双対写像は、この新しい幾何的枠組みの中でどのように再解釈できるか？

主な発見

• 非交叉ハイパートリー複体は、非交叉分割リンクと同相であり、非交叉分割順序集合に関連する部品的球面的複体である。
• この複体は、非交叉分割リンクから誘導される部品的球面的測度を備えており、自然な幾何的構造を持つ。
• 最大次元の単体（ツリー部屋）の集合と、最大次元の球面的部分複体（アパルトマン）の集合との間には双対写像が存在し、両者とも非交叉ツリーでラベル付けされている。
• 各非交叉ツリーτに対して、ツリー部屋がラベルτをもつアパルトマンの数は、ラベルτのアパルトマンに含まれるツリー部屋の数に等しい。
• ツリー部屋が1つの分割部屋のみを含む場合（特にカタツムリ型ツリーの場合）、対応するアパルトマンは単体的アソシアヘドロンに一致する。
• この複体は、ホールウェグとランゲによって構成された型Aの単純アソシアヘドロンのすべての正規ファンを含み、これらはカタツムリ型ツリーのアパルトマンに対応する。