複素 hyperplane arrangement の場合, \(K(\pi ,1)\) かどうかというのが重要な問題の一つである。
\(K(\pi ,1)\) ではない arrangement も, もちろんある。その場合は nontrivial なホモトピー群を決定する, という問題がある。
[Hat75; FR87; FR00; PS02] などを見るとよい。もちろん, 有限複体のホモトピー型を持つ空間なので,
ホモトピー群を完全に決定することは望めないが。
Randell は, [Ran97] で (局所係数でない) \(\Z \) 係数ホモロジーへの Hurewicz map が自明であることを示している。一方で,
Yoshinaga は [Yos08] で, 他の arrangement の generic section になっている場合, nonresonant local
system を係数にしたホモロジーへの Hurewicz map は自明ではないことを示している。その両方の結果を一般化しようというのが,
Randell の [Ran09] である。
高次ホモトピー群以前に, 基本群を arrangement の組み合せ論的なデータで記述する,
というのは結構難しいらしい。知られている方法としては以下のようなものがある。
Libgober と Yuzvinsky の [LY] では, 基本群の characteristic variety を組み合せ論的なデータで記述している。
Fiber-type arrangement の基本群の \(L\)-theory について, Roushon [Rou] が調べている。
基本群と近い関係にあるものとして, holonomy Lie algebra というものがある。より正確には, 基本群の lower
central series による filtration からできる Lie algebra との関係であるが。\(\Q \) 上ではそれらが同型になるというのは,
Kohno の結果 [Koh83] である。Papadima と Suciu は、 [PS06] で, この基本群に associate
した Lie algebra が free Lie algebra の積に分解するための条件を, holonomy Lie algebra
についての条件として求めている。
References
-
[Arv92]
-
William A. Arvola. “The fundamental group of the complement of an
arrangement
of complex hyperplanes”. In: Topology 31.4 (1992), pp. 757–765. url:
http://dx.doi.org/10.1016/0040-9383(92)90006-4.
-
[FR00]
-
Michael Falk and Richard Randell. “On the homotopy theory of
arrangements. II”. In: Arrangements—Tokyo 1998. Vol. 27. Adv.
Stud. Pure Math. Tokyo: Kinokuniya, 2000, pp. 93–125.
-
[FR87]
-
Michael Falk and Richard Randell. “On the homotopy theory of
arrangements”. In: Complex analytic singularities. Vol. 8. Adv. Stud.
Pure Math. Amsterdam: North-Holland, 1987, pp. 101–124.
-
[Hat75]
-
Akio Hattori. “Topology of \(C^{n}\) minus a finite number of affine
hyperplanes in general position”. In: J. Fac. Sci. Univ. Tokyo Sect. IA
Math. 22.2 (1975), pp. 205–219.
-
[Koh83]
-
Toshitake Kohno. “On the holonomy Lie algebra and the nilpotent
completion of the fundamental group of the complement of
hypersurfaces”. In: Nagoya Math. J. 92 (1983), pp. 21–37. url:
http://projecteuclid.org/euclid.nmj/1118787354.
-
[LY]
-
A. Libgober and S. Yuzvinsky. Cohomology of the Orlik-Solomon
algebras and local systems. arXiv: math/9806137.
-
[Par93]
-
Luis Paris.
“The covers of a complexified real arrangement of hyperplanes and
their fundamental groups”. In: Topology Appl. 53.1 (1993), pp. 75–103.
url: http://dx.doi.org/10.1016/0166-8641(93)90101-I.
-
[PS02]
-
Stefan Papadima and Alexander I. Suciu. “Higher homotopy
groups of complements of complex hyperplane arrangements”. In:
Adv. Math. 165.1 (2002), pp. 71–100. arXiv: math/0002251. url:
http://dx.doi.org/10.1006/aima.2001.2023.
-
[PS06]
-
Stefan Papadima and Alexander I. Suciu. “When does the
associated graded Lie algebra of an arrangement group decompose?”
In: Comment. Math. Helv. 81.4 (2006), pp. 859–875. arXiv:
math/0309324. url: http://dx.doi.org/10.4171/CMH/77.
-
[Ran09]
-
Richard
Randell. “Homotopy groups and twisted homology of arrangements”.
In: Algebr. Geom. Topol. 9.3 (2009), pp. 1299–1308. arXiv: 0811.1531.
url: http://dx.doi.org/10.2140/agt.2009.9.1299.
-
[Ran82]
-
Richard Randell. “The fundamental group of the complement of
a union of complex hyperplanes”. In: Invent. Math. 69.1 (1982),
pp. 103–108. url: http://dx.doi.org/10.1007/BF01389187.
-
[Ran85]
-
Richard Randell.
“Correction: “The fundamental group of the complement of a union
of complex hyperplanes” [Invent. Math. 69 (1982), no. 1, 103–108;
MR0671654 (84a:32016)]”. In: Invent. Math. 80.3 (1985), pp. 467–468.
url: http://dx.doi.org/10.1007/BF01388726.
-
[Ran97]
-
Richard Randell. “Homotopy and group cohomology
of arrangements”. In: Topology Appl. 78.3 (1997), pp. 201–213. url:
http://dx.doi.org/10.1016/S0166-8641(96)00123-X.
-
[Rou]
-
S. Roushon. Surgery groups of the fundamental groups of hyperplane
arrangement complements. arXiv: 0909.2133.
-
[Sal87]
-
M. Salvetti. “Topology of the complement
of real hyperplanes in \(\mathbf{C}^{N}\)”. In: Invent. Math. 88.3 (1987), pp. 603–618.
url: http://dx.doi.org/10.1007/BF01391833.
-
[Yos08]
-
Masahiko Yoshinaga. “Generic section of a hyperplane arrangement
and twisted Hurewicz maps”.
In: Topology Appl. 155.9 (2008), pp. 1022–1026. arXiv: math/0605643.
url: http://dx.doi.org/10.1016/j.topol.2008.01.004.
|