Poset のホモトピー論

Partially ordered set を small category とみなし, その nerve や 分類空間を調べるということは, Quillen が70年代 [Qui73; Qui78] に考えている。Wachs の [Wac07] によると, それ以前に Gian-Carlo Rota が [Rot64] で poset の Möbius function を考えたときが “Poset Topology” の最初らしい。この Wachs の講義ノートは, poset のトポロジーを学ぶ際には, 是非目を通しておくべきだろう。221もの参考文献を挙げて解説してある。 他には, Björner の [Bjö95] の後半もよい。 Björner のホームページから scan した PDF を download できる。Poset の分類空間のホモトピー論的な性質については, 例えば Quillen の [Qui78] にある。

組み合せ論的には, 有限の poset を考えることが多いので, nerve からできる (有限) 単体的複体を考えることが多いようである。 組み合せ論では, poset の order complex と呼んでいる。Brady と McCammond [BM10] は, orthoscheme という単体のモデルを用いることで, 距離空間として定義している。Dlugosch [Dlu] は, 単体的複体では積に関してうまくいかないので, polyhedral pseudo-complex を用いて実現する decomposition complex という order complex の一般化を導入している。

• poset の order complex
• graded poset の orthoscheme complex
• decomposition complex

逆に, 単体的複体からは, face poset を取ることにより poset が得られる。その poset の order complex (の幾何学的実現) は, 元の単体的複体の重心細分になっているので, 元の単体的複体が復元できるわけではないが, いずれにせよ, poset と単体的複体の間には, 良い対応がある。 そのため shellability などのような単体的複体の概念が, poset でも使われる。 また simplicial complex の face posetの持つ性質を抽象化した simplicial poset という概念もある。 例えば, Masuda や Panov らの torus manifold のトポロジーの研究 [MP06] や, graph の Boolean complex [RT09] など。

• simplicial poset

Order complex をトポロジーの道具を用いて調べる際に, まず考えられるのがそのホモロジーである。

• posetのホモロジー

もちろん, poset を category の一種とみなし, small category のホモトピー論のテクニックを応用することも盛んに行なわれている。 その理論的な裏付けとしては, Raptis の [Rap10] がある。 そこでは, poset の category に model structure を定義し, それが small category の category の Thomason model structure と Quillen 同値であることが示されている。その equivariant 版を May と Stepman と Zakharevich [MZS17] が考えている。

具体的なテクニックについては, 独立に考えられたことも多い。例えば, closure operator から order complex の ホモトピー同値が得られることは, adjoint functor と nerve のホモトピーの関係から得られる。

• closure operator
• Galois connection

Closure operator については, 例えば Kozlov の本 [Koz08] にある。Galois connection は, その名前が示唆しているように, Galois 理論での, 体の拡大とGalois群の部分群の対応がその典型的な例であるが, closure operator との関係で poset (small category) の間の対応として考えられている。Denecke, Erné, Wismath の本 [DEW04] や Erné, Koslowski, Melton, Strecker の解説 [Ern+93] がある。

この方面のホモトピー論の道具としては, homotopy colimit も良く使われている。例えば, Engström による matroid の topological representation theorem [Eng] など。 この手のことは, Welker と Ziegler と Živaljević の [WZŽ99] や Babson と Kozlov の [BK] を見るとよい。

Small category の diagram の Grothendieck construction は poset で index 付けられた poset の図式の場合, poset limit と呼ばれているようである。 その order complex が各 poset の order complex でできる図式の homotopy colimit になるという事実も, 元は small category の場合の特別な場合である。 Delucci の [Del] で用いられている。

• poset limit
• poset limit の order complex は, 各 poset の order complex の homotopy colimit とホモトピー同値

同じ言葉で, 全く別のことが Janson により [Jan11] で定義されている。 その元になったのは, Brightwell と Georgiou の [BG10] のようであるが。 これは, Lovász と Szegedy による graph の極限の理論の poset への移植である。

Homotopy colimit を用いて証明される poset に関する重要な命題として “Poset Fiber Theorem” がある。

• poset fiber theorem [BWW05]

その原型は, Quillen の [Qui78] である。Quillen の結果で poset を調べる際に良く使われるものとして, small category の分類空間に関する Theorem A と B がある。 それを poset に特化した形に直したものとして Babson’s criterion がある。Anderson と Davis の [AD02] の Appendix B を見るとよい。また Barmak による simple homotopy version [Bar11] もある。

• Quillen の Theorem A と B
• Babson’s criterion

群作用を持つ poset に対する Theorem A としては, Thévenaz と Webb [TW91] によるものがある。

Poset に対する群の作用を考えるときも, small category とみなして考えた方がよいようである。Babson と Kozlov は, [BK05] で poset への群の作用を考えるために, poset の圏ではなく, より広い acyclic category (loopfree small category) の圏を考えている。Poset \(P\) の群 \(G\) の作用による “quotient” \(P/G\) は一般には poset にはならないからである。Closure operator との関係については, Lehmann により [Leh10] で調べられている。

• acyclic category

Babson と Kozlov の論文で提唱されている Main Problem は, \(P/G\) の nerve と \(P\) の nerve を \(G\) で割ったものの関係を調べることであるが, この問題はホモトピー論での Borel construction と本当の quotient, つまり homotopy colimit と本当の colimit の関係を調べる問題に似ている。 Borcherds [Bor98] は, \(G\) の \(P\) への作用を \(G\) から poset の category への functor と考え, その Grothendieck construction を取ったものを考え, それを homotopy quotient と呼んでいる。

Acyclic category よりもっと poset に似たものとしては, Bessis [Bes] の atomic category がある。

• atomic category

“Poset の微分幾何”を考えている人もいる。Roberts と Ruzzi らは, [RR06; RRV09; RRV13] で, poset 上の bundle やその上の connection や curvature などの概念を定義している。

Mnëv の [Mnë] では, poset の tangent bundle が定義されている。

有限 posetに位相を入れ, \(T_0\) 空間と考えることもできる。 その空間上の 層は, 元の poset を small category とみなしたものの上の contravariant functor (presheaf) に他ならない。

• finite space
• poset 上の presheaf

有限 poset と finite \(T_0\)-space との対応は, 一般の poset にも拡張できる。

• Alexandroff space
• \(T_0\) Alexandroff space の圏と poset の圏は同値
• Alexandroff space の圏と preordered set の圏は同値

よって, poset のホモトピー論とは, \(T_0\) Alexandroff space のホモトピー論に他ならない。Alexandroff space については, Kukiela の[Kuk10] を見るとよい。

Poset に位相を入れることは, computer science や 数理物理など様々分野の人が考えているようで, Nyikos の [Nyi] に\(10\)種類ほどの位相の定義とその比較がある。 そこで扱われているのは, rooted tree に対応した poset 上の位相であるが, 一般の poset で定義できるものがほとんどである。

より初等的なトポロジーとの関係としては, 位相空間をその開集合のなす poset というデータと考え, 位相の本質を取り出したものとして poset を扱 うというものがある。それを small category に一般化したものが Grothendieck topology であるが, そこまで一般化しなくても, poset のままでも色々応用はあるようである。Roberts と Ruzzi の [RR06] や Ruzzi の [Ruz05] など。

Poset をホモトピー論に応用することも行なわれている。例えば, Arone と Mahowald による Goodwillie tower の研究 [AM99] や, Arone と Dwyer によるその結果の解釈 [AD01] などでは, 有限集合の partition から得られる poset の分類空間が用いられている。 また [Rob04] といった研究もある。

もちろん, 他のトポロジーの分野でも使われている。例えば, link の grid diagram からの knot Floer homology の構成を考えた Sarkar の [Sar12] では, poset の shellability が使われている。Sarkar は, ある種の poset から Cohen-Jones-SegalのMorse theory に現われる flow category のPL版を定義している。

Živaljević は, [Živ98] で topological poset の研究を提案している。 その motivation となっているのは, Vassiliev の研究らしい。

• topological poset

References

[AD01]

G. Z. Arone and W. G. Dwyer. “Partition complexes, Tits buildings and symmetric products”. In: Proc. London Math. Soc. (3) 82.1 (2001), pp. 229–256. url: http://dx.doi.org/10.1112/S0024611500012715.

[AD02]

Laura Anderson and James F. Davis. “Mod 2 cohomology of combinatorial Grassmannians”. In: Selecta Math. (N.S.) 8.2 (2002), pp. 161–200. arXiv: math/9911158. url: http://dx.doi.org/10.1007/s00029-002-8104-4.

[AM99]

Greg Arone and Mark Mahowald. “The Goodwillie tower of the identity functor and the unstable periodic homotopy of spheres”. In: Invent. Math. 135.3 (1999), pp. 743–788. url: http://dx.doi.org/10.1007/s002220050300.

[Bar11]

Jonathan Ariel Barmak. “On Quillen’s Theorem A for posets”. In: J. Combin. Theory Ser. A 118.8 (2011), pp. 2445–2453. arXiv: 1005.0538. url: http://dx.doi.org/10.1016/j.jcta.2011.06.008.

[Bes]

David Bessis. Garside categories, periodic loops and cyclic sets. arXiv: math/0610778.

[BG10]

Graham Brightwell and Nicholas Georgiou. “Continuum limits for classical sequential growth models”. In: Random Structures Algorithms 36.2 (2010), pp. 218–250. url: https://doi.org/10.1002/rsa.20278.

[Bjö95]

A. Björner. “Topological methods”. In: Handbook of combinatorics, Vol. 1, 2. Amsterdam: Elsevier, 1995, pp. 1819–1872.

[BK]

Eric Babson and Dmitry Kozlov. Diagrams of classifying spaces and \(k\)-fold Boolean algebras. arXiv: math/9704227.

[BK05]

Eric Babson and Dmitry N. Kozlov. “Group actions on posets”. In: J. Algebra 285.2 (2005), pp. 439–450. arXiv: math/0310055. url: http://dx.doi.org/10.1016/j.jalgebra.2001.07.002.

[BM10]

Tom Brady and Jon McCammond. “Braids, posets and orthoschemes”. In: Algebr. Geom. Topol. 10.4 (2010), pp. 2277–2314. arXiv: 0909.4778. url: http://dx.doi.org/10.2140/agt.2010.10.2277.

[Bor98]

Richard E. Borcherds. “Coxeter groups, Lorentzian lattices, and \(K3\) surfaces”. In: Internat. Math. Res. Notices 19 (1998), pp. 1011–1031. arXiv: math/9806141. url: http://dx.doi.org/10.1155/S1073792898000609.

[BWW05]

Anders Björner, Michelle L. Wachs, and Volkmar Welker. “Poset fiber theorems”. In: Trans. Amer. Math. Soc. 357.5 (2005), pp. 1877–1899. url: http://dx.doi.org/10.1090/S0002-9947-04-03496-8.

[Del]

Emanuele Delucchi. Diagram models for the covers of the Salvetti complex. arXiv: math/0409036.

[DEW04]

K. Denecke, M. Erné, and S. L. Wismath, eds. Galois connections and applications. Vol. 565. Mathematics and its Applications. Dordrecht: Kluwer Academic Publishers, 2004, pp. xvi+501. isbn: 1-4020-1897-5.

[Dlu]

Martin Dlugosch. Decomposition Complexes. arXiv: 1301.4017.

[Eng]

Alexander Engström. Topological representation of matroids from diagrams of spaces. arXiv: 1002.3441.

[Ern+93]

M. Erné, J. Koslowski, A. Melton, and G. E. Strecker. “A primer on Galois connections”. In: Papers on general topology and applications (Madison, WI, 1991). Vol. 704. Ann. New York Acad. Sci. New York: New York Acad. Sci., 1993, pp. 103–125. url: http://dx.doi.org/10.1111/j.1749-6632.1993.tb52513.x.

[Jan11]

Svante Janson. “Poset limits and exchangeable random posets”. In: Combinatorica 31.5 (2011), pp. 529–563. arXiv: 0902.0306. url: https://doi.org/10.1007/s00493-011-2591-x.

[Koz08]

Dmitry Kozlov. Combinatorial algebraic topology. Vol. 21. Algorithms and Computation in Mathematics. Berlin: Springer, 2008, pp. xx+389. isbn: 978-3-540-71961-8. url: https://doi.org/10.1007/978-3-540-71962-5.

[Kuk10]

Michał Jerzy Kukieła. “On homotopy types of Alexandroff spaces”. In: Order 27.1 (2010), pp. 9–21. arXiv: 0901.2621. url: https://doi.org/10.1007/s11083-009-9134-8.

[Leh10]

Juliane Lehmann. “Equivariant closure operators and trisp closure maps”. In: Topology Appl. 157.7 (2010), pp. 1195–1201. arXiv: 0903.2637. url: https://doi.org/10.1016/j.topol.2010.02.011.

[Mnë]

Nikolai Mnëv. Tangent bundle and Gauss functor of a combinatorial manifold. arXiv: math/0609257.

[MP06]

Mikiya Masuda and Taras Panov. “On the cohomology of torus manifolds”. In: Osaka J. Math. 43.3 (2006), pp. 711–746. arXiv: math/0306100. url: http://projecteuclid.org/euclid.ojm/1159190010.

[MZS17]

Peter May, Inna Zakharevich, and Marc Stephan. “The homotopy theory of equivariant posets”. In: Cah. Topol. Géom. Différ. Catég. 58.2 (2017), pp. 82–114. arXiv: 1601.02521.

[Nyi]

Peter J. Nyikos. Various topologies on trees. arXiv: math/0412554.

[Qui73]

Daniel Quillen. “Higher algebraic \(K\)-theory. I”. In: Algebraic \(K\)-theory, I: Higher \(K\)-theories (Proc. Conf., Battelle Memorial Inst., Seattle, Wash., 1972). Lecture Notes in Math., Vol. 341. Springer, Berlin, 1973, pp. 85–147.

[Qui78]

Daniel Quillen. “Homotopy properties of the poset of nontrivial \(p\)-subgroups of a group”. In: Adv. in Math. 28.2 (1978), pp. 101–128. url: http://dx.doi.org/10.1016/0001-8708(78)90058-0.

[Rap10]

George Raptis. “Homotopy theory of posets”. In: Homology Homotopy Appl. 12.2 (2010), pp. 211–230. url: http://projecteuclid.org/euclid.hha/1296223882.

[Rob04]

Alan Robinson. “Partition complexes, duality and integral tree representations”. In: Algebr. Geom. Topol. 4 (2004), 943–960 (electronic). arXiv: math/0410555. url: http://dx.doi.org/10.2140/agt.2004.4.943.

[Rot64]

Gian-Carlo Rota. “On the foundations of combinatorial theory. I. Theory of Möbius functions”. In: Z. Wahrscheinlichkeitstheorie und Verw. Gebiete 2 (1964), 340–368 (1964).

[RR06]

John E. Roberts and Giuseppe Ruzzi. “A cohomological description of connections and curvature over posets”. In: Theory Appl. Categ. 16 (2006), No. 30, 855–895. arXiv: math/0604173.

[RRV09]

John E. Roberts, Giuseppe Ruzzi, and Ezio Vasselli. “A theory of bundles over posets”. In: Adv. Math. 220.1 (2009), pp. 125–153. arXiv: 0707.0240. url: http://dx.doi.org/10.1016/j.aim.2008.08.004.

[RRV13]

John E. Roberts, Giuseppe Ruzzi, and Ezio Vasselli. “Net bundles over posets and \(K\)-theory”. In: Internat. J. Math. 24.1 (2013), pp. 1350001, 34. arXiv: 0802.1402. url: http://dx.doi.org/10.1142/S0129167X13500018.

[RT09]

Kári Ragnarsson and Bridget Eileen Tenner. “Homotopy type of the Boolean complex of a Coxeter system”. In: Adv. Math. 222.2 (2009), pp. 409–430. arXiv: 0806.0906. url: http://dx.doi.org/10.1016/j.aim.2009.05.007.

[Ruz05]

Giuseppe Ruzzi. “Homotopy of posets, net-cohomology and superselection sectors in globally hyperbolic space-times”. In: Rev. Math. Phys. 17.9 (2005), pp. 1021–1070. arXiv: math-ph/0412014. url: http://dx.doi.org/10.1142/S0129055X05002480.

[Sar12]

Sucharit Sarkar. “Grid diagrams and shellability”. In: Homology Homotopy Appl. 14.2 (2012), pp. 77–90. arXiv: 0901.2156. url: https://doi.org/10.4310/HHA.2012.v14.n2.a5.

[TW91]

J. Thévenaz and P. J. Webb. “Homotopy equivalence of posets with a group action”. In: J. Combin. Theory Ser. A 56.2 (1991), pp. 173–181. url: http://dx.doi.org/10.1016/0097-3165(91)90030-K.

[Wac07]

Michelle L. Wachs. “Poset topology: tools and applications”. In: Geometric combinatorics. Vol. 13. IAS/Park City Math. Ser. Providence, RI: Amer. Math. Soc., 2007, pp. 497–615. arXiv: math/0602226.

[WZŽ99]

Volkmar Welker, Günter M. Ziegler, and Rade T. Živaljević. “Homotopy colimits—comparison lemmas for combinatorial applications”. In: J. Reine Angew. Math. 509 (1999), pp. 117–149. url: http://dx.doi.org/10.1515/crll.1999.035.

[Živ98]

Rade T. Živaljević. “Combinatorics of topological posets: homotopy complementation formulas”. In: Adv. in Appl. Math. 21.4 (1998), pp. 547–574. arXiv: math/9801147. url: http://dx.doi.org/10.1006/aama.1998.0604.