超平面配置

超平面 配置の定義は非常に単純で, 単に超平面の集合というだけである。単純すぎて, 一見何が面白いのか分からないかもしれない。 とりあえず様々な例を自分の手でいじってみるのがいいだろう。

超平面配置について学びたいと思った人は, まずは Orlik と Terao の本 [OT92] を見るべきだろう。 MIT の OpenCousreWare で公開されている lecture note の中にも R. Stanley の hyperplane arrangements がある。内容は[Sta07] とほぼ同じようである。 De Concini-Procesi の wonderful model の解説ではあるが, Feichtner の [Fei05] も読み易い。主要な定義をまとめたものとして, 2009年8月の北大での conference の Yuzvinsky による解説の PDF ファイルは便利である。未解決問題等については, Schenck の [Sch12] がある。その Introduction にも, いくつか survey が紹介されている。

超平面配置は, いくつかの type に分けられて, それぞれ名前が付いている。

Supersolvable arrangement は Jambu と Terao [JT84] により導入されたものであるが, Falk と Randell により [FR85] で導入された fiber-type arrangement と同じものである。これは, Terao [Ter86] により示されたことである。

Free arrangement の解説としては, Yoshinaga の [Yos14] がある。

Kühnel [Küh] によると resonance arrangement という言葉は, Shadrin, Shapiro, Vainshtein により [SSV08] の中で導入されたもののようである。 他にも, adjoint of the braid arrangement [AM17; LNO23] や all-subsets arrangement [KTT11; KTT12] という名前でも呼ばれている。

具体例としては, graph からできるものや reflection group に関係したものがある。

超平面配置の研究では, その 組み合せ論的構造が本質的である。 超平面がちょっとぐらい傾いても構わないが, 他の超平面との交わり方が変わるようになるまで動いては困る。 このように「連続的変形」の観点から見ると, トポロジストにとって理解し易いかもしれない。 その組み合せ論的構造を表すのが intersection lattice である。

  • 超平面の共通部分を取ることにより得られる lattice (intersection lattice)

Intersection lattice の中で最低次元のものが \(0\) 次元になるものを essential arrangement という。 また, 属する全ての超平面の共通部分が空でないものを central arrangement という。全ての超平面がベクトル空間になっているものを linear arrangement というが, linear arrangement は central である。

  • essential arrangement
  • central arrangement
  • linear arrangement

当然であるが, intersection lattice 以外に, 様々な不変量が定義されている。

超平面配置は, \(\R \)\(\bbC \) 以外の体上のものを考えることもできるが, トポロジーに関係したものは, 実超平面配置と複素超平面配置だろう。その違いについて, 例えば, Ziegler の [Zie93] がある。

四元数上の arrangement を考えている人もいる。 Schlieper の [Sch] など。

References

[AM17]

Marcelo Aguiar and Swapneel Mahajan. Topics in hyperplane arrangements. Vol. 226. Mathematical Surveys and Monographs. American Mathematical Society, Providence, RI, 2017, pp. xxiv+611. isbn: 978-1-4704-3711-4. url: https://doi.org/10.1090/surv/226.

[Fei05]

Eva Maria Feichtner. “De Concini-Procesi wonderful arrangement models: a discrete geometer’s point of view”. In: Combinatorial and computational geometry. Vol. 52. Math. Sci. Res. Inst. Publ. Cambridge: Cambridge Univ. Press, 2005, pp. 333–360. arXiv: math/0403183.

[FR85]

Michael Falk and Richard Randell. “The lower central series of a fiber-type arrangement”. In: Invent. Math. 82.1 (1985), pp. 77–88. url: http://dx.doi.org/10.1007/BF01394780.

[JT84]

Michel Jambu and Hiroaki Terao. “Free arrangements of hyperplanes and supersolvable lattices”. In: Adv. in Math. 52.3 (1984), pp. 248–258. url: http://dx.doi.org/10.1016/0001-8708(84)90024-0.

[KTT11]

Hidehiko Kamiya, Akimichi Takemura, and Hiroaki Terao. “Ranking patterns of unfolding models of codimension one”. In: Adv. in Appl. Math. 47.2 (2011), pp. 379–400. arXiv: 1003.0040. url: https://doi.org/10.1016/j.aam.2010.11.002.

[KTT12]

Hidehiko Kamiya, Akimichi Takemura, and Hiroaki Terao. “Arrangements stable under the Coxeter groups”. In: Configuration spaces. Vol. 14. CRM Series. Ed. Norm., Pisa, 2012, pp. 327–354. arXiv: 1103.5179. url: https://doi.org/10.1007/978-88-7642-431-1_15.

[Küh]

Lukas Kühne. The Universality of the Resonance Arrangement and its Betti Numbers. arXiv: 2008.10553.

[LNO23]

Zhengwei Liu, William Norledge, and Adrian Ocneanu. “The adjoint braid arrangement as a combinatorial Lie algebra via the Steinmann relations”. In: J. Pure Appl. Algebra 227.8 (2023), Paper No. 107349, 33. arXiv: 1901.03243. url: https://doi.org/10.1016/j.jpaa.2023.107349.

[OT92]

Peter Orlik and Hiroaki Terao. Arrangements of hyperplanes. Vol. 300. Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences]. Springer-Verlag, Berlin, 1992, pp. xviii+325. isbn: 3-540-55259-6. url: https://doi.org/10.1007/978-3-662-02772-1.

[Sch]

William Schlieper. The Cohomology of Quaternionic Hyperplane Complements. arXiv: 1508.05418.

[Sch12]

Hal Schenck. “Hyperplane arrangements: computations and conjectures”. In: Arrangements of hyperplanes—Sapporo 2009. Vol. 62. Adv. Stud. Pure Math. Math. Soc. Japan, Tokyo, 2012, pp. 323–358. arXiv: 1101.0356. url: https://doi.org/10.2969/aspm/06210323.

[SSV08]

S. Shadrin, M. Shapiro, and A. Vainshtein. “Chamber behavior of double Hurwitz numbers in genus 0”. In: Adv. Math. 217.1 (2008), pp. 79–96. arXiv: math/0611442. url: https://doi.org/10.1016/j.aim.2007.06.016.

[Sta07]

Richard P. Stanley. “An introduction to hyperplane arrangements”. In: Geometric combinatorics. Vol. 13. IAS/Park City Math. Ser. Amer. Math. Soc., Providence, RI, 2007, pp. 389–496. url: https://doi.org/10.1090/pcms/013/08.

[Ter86]

Hiroaki Terao. “Modular elements of lattices and topological fibration”. In: Adv. in Math. 62.2 (1986), pp. 135–154. url: http://dx.doi.org/10.1016/0001-8708(86)90097-6.

[Yos14]

Masahiko Yoshinaga. “Freeness of hyperplane arrangements and related topics”. In: Ann. Fac. Sci. Toulouse Math. (6) 23.2 (2014), pp. 483–512. arXiv: 1212.3523. url: https://doi.org/10.5802/afst.1413.

[Zie93]

Günter M. Ziegler. “On the difference between real and complex arrangements”. In: Math. Z. 212.1 (1993), pp. 1–11. arXiv: alg-geom/9202005. url: http://dx.doi.org/10.1007/BF02571638.