超平面 配置の定義は非常に単純で, 単に超平面の集合というだけである。単純すぎて, 一見何が面白いのか分からないかもしれない。
とりあえず様々な例を自分の手でいじってみるのがいいだろう。
超平面配置について学びたいと思った人は, まずは 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.
|