Resonance, linear syzygies, Chen groups, and the Bernstein-Gelfand-Gelfand correspondence
HTML articles powered by AMS MathViewer
- by Henry K. Schenck and Alexander I. Suciu PDF
- Trans. Amer. Math. Soc. 358 (2006), 2269-2289 Request permission
Abstract:
If $\mathcal A$ is a complex hyperplane arrangement, with complement $X$, we show that the Chen ranks of $G=\pi _1(X)$ are equal to the graded Betti numbers of the linear strand in a minimal, free resolution of the cohomology ring $A=H^*(X,\Bbbk )$, viewed as a module over the exterior algebra $E$ on $\mathcal A$: \[ \theta _k(G) = \dim _{\Bbbk }\operatorname {Tor}^E_{k-1}(A,\Bbbk )_k, \quad \text {for $k\ge 2$}, \] where $\Bbbk$ is a field of characteristic $0$. The Chen ranks conjecture asserts that, for $k$ sufficiently large, $\theta _k(G) =(k-1) \sum _{r\ge 1} h_r \binom {r+k-1}{k}$, where $h_r$ is the number of $r$-dimensional components of the projective resonance variety $\mathcal R^{1}(\mathcal A)$. Our earlier work on the resolution of $A$ over $E$ and the above equality yield a proof of the conjecture for graphic arrangements. Using results on the geometry of $\mathcal R ^{1}(\mathcal A)$ and a localization argument, we establish the inequality \[ \theta _k(G) \ge (k-1) \sum _{r\ge 1} h_r \binom {r+k-1}{k}, \quad \text {for $k\gg 0$}, \] for arbitrary $\mathcal A$. Finally, we show that there is a polynomial $\mathrm {P}(t)$ of degree equal to the dimension of $\mathcal R^1(\mathcal A)$, such that $\theta _k(G) = \mathrm {P}(k)$, for all $k\gg 0$.References
- Kazuhiko Aomoto, Un théorème du type de Matsushima-Murakami concernant l’intégrale des fonctions multiformes, J. Math. Pures Appl. (9) 52 (1973), 1–11. MR 396563
- Annetta Aramova, Luchezar L. Avramov, and Jürgen Herzog, Resolutions of monomial ideals and cohomology over exterior algebras, Trans. Amer. Math. Soc. 352 (2000), no. 2, 579–594. MR 1603874, DOI 10.1090/S0002-9947-99-02298-9
- Luchezar L. Avramov, Infinite free resolutions, Six lectures on commutative algebra (Bellaterra, 1996) Progr. Math., vol. 166, Birkhäuser, Basel, 1998, pp. 1–118. MR 1648664
- Kuo-Tsai Chen, Integration in free groups, Ann. of Math. (2) 54 (1951), 147–162. MR 42414, DOI 10.2307/1969316
- Daniel C. Cohen and Peter Orlik, Arrangements and local systems, Math. Res. Lett. 7 (2000), no. 2-3, 299–316. MR 1764324, DOI 10.4310/MRL.2000.v7.n3.a5
- Daniel C. Cohen and Alexander I. Suciu, The Chen groups of the pure braid group, The Čech centennial (Boston, MA, 1993) Contemp. Math., vol. 181, Amer. Math. Soc., Providence, RI, 1995, pp. 45–64. MR 1320987, DOI 10.1090/conm/181/02029
- Daniel C. Cohen and Alexander I. Suciu, Alexander invariants of complex hyperplane arrangements, Trans. Amer. Math. Soc. 351 (1999), no. 10, 4043–4067. MR 1475679, DOI 10.1090/S0002-9947-99-02206-0
- Daniel C. Cohen and Alexander I. Suciu, Characteristic varieties of arrangements, Math. Proc. Cambridge Philos. Soc. 127 (1999), no. 1, 33–53. MR 1692519, DOI 10.1017/S0305004199003576
- Wolfram Decker and David Eisenbud, Sheaf algorithms using the exterior algebra, Computations in algebraic geometry with Macaulay 2, Algorithms Comput. Math., vol. 8, Springer, Berlin, 2002, pp. 215–249. MR 1949553, DOI 10.1007/978-3-662-04851-1_{9}
- Graham Denham and Sergey Yuzvinsky, Annihilators of Orlik-Solomon relations, Adv. in Appl. Math. 28 (2002), no. 2, 231–249. MR 1888846, DOI 10.1006/aama.2001.0779
- David Eisenbud, Commutative algebra, Graduate Texts in Mathematics, vol. 150, Springer-Verlag, New York, 1995. With a view toward algebraic geometry. MR 1322960, DOI 10.1007/978-1-4612-5350-1
- David Eisenbud, The geometry of syzygies, Graduate Texts in Mathematics, vol. 229, Springer-Verlag, New York, 2005. A second course in commutative algebra and algebraic geometry. MR 2103875
- David Eisenbud, Gunnar Fløystad, and Frank-Olaf Schreyer, Sheaf cohomology and free resolutions over exterior algebras, Trans. Amer. Math. Soc. 355 (2003), no. 11, 4397–4426. MR 1990756, DOI 10.1090/S0002-9947-03-03291-4
- David Eisenbud, Sorin Popescu, and Sergey Yuzvinsky, Hyperplane arrangement cohomology and monomials in the exterior algebra, Trans. Amer. Math. Soc. 355 (2003), no. 11, 4365–4383. MR 1986506, DOI 10.1090/S0002-9947-03-03292-6
- Hélène Esnault, Vadim Schechtman, and Eckart Viehweg, Cohomology of local systems on the complement of hyperplanes, Invent. Math. 109 (1992), no. 3, 557–561. MR 1176205, DOI 10.1007/BF01232040
- Michael Falk, Arrangements and cohomology, Ann. Comb. 1 (1997), no. 2, 135–157. MR 1629681, DOI 10.1007/BF02558471
- —, The line geometry of resonance varieties, preprint arXiv:math.CO/0405210.
- Michael Falk and Richard Randell, On the homotopy theory of arrangements. II, Arrangements—Tokyo 1998, Adv. Stud. Pure Math., vol. 27, Kinokuniya, Tokyo, 2000, pp. 93–125. MR 1796895, DOI 10.2969/aspm/02710093
- R. Fröberg and C. Löfwal, Koszul homology and Lie algebras with application to generic forms and points, Homology Homotopy Appl. 4 (2002), no. 2, 227–258. The Roos Festschrift volume, 2. MR 1918511, DOI 10.4310/hha.2002.v4.n2.a11
- D. Grayson, M. Stillman, Macaulay 2: a software system for research in algebraic geometry; available at http://www.math.uiuc.edu/Macaulay2.
- Helmut A. Hamm and Lê Dũng Tráng, Un théorème de Zariski du type de Lefschetz, Ann. Sci. École Norm. Sup. (4) 6 (1973), 317–355. MR 401755
- Anatoly Libgober and Sergey Yuzvinsky, Cohomology of the Orlik-Solomon algebras and local systems, Compositio Math. 121 (2000), no. 3, 337–361. MR 1761630, DOI 10.1023/A:1001826010964
- W. S. Massey, Completion of link modules, Duke Math. J. 47 (1980), no. 2, 399–420. MR 575904
- Daniel Matei and Alexander I. Suciu, Cohomology rings and nilpotent quotients of real and complex arrangements, Arrangements—Tokyo 1998, Adv. Stud. Pure Math., vol. 27, Kinokuniya, Tokyo, 2000, pp. 185–215. MR 1796900, DOI 10.2969/aspm/02710185
- Daniel Matei and Alexander I. Suciu, Hall invariants, homology of subgroups, and characteristic varieties, Int. Math. Res. Not. 9 (2002), 465–503. MR 1884468, DOI 10.1155/S107379280210907X
- Peter Orlik and Louis Solomon, Combinatorics and topology of complements of hyperplanes, Invent. Math. 56 (1980), no. 2, 167–189. MR 558866, DOI 10.1007/BF01392549
- Z. A. Čanturija, A generalization of G. Faber’s theorem on polynomial bases, Mat. Zametki 2 (1967), 187–190 (Russian). MR 217488
- Stefan Papadima and Alexander I. Suciu, Chen Lie algebras, Int. Math. Res. Not. 21 (2004), 1057–1086. MR 2037049, DOI 10.1155/S1073792804132017
- —, When does the associated graded Lie algebra of an arrangement group decompose?, preprint arXiv:math.CO/0309324.
- Henry K. Schenck and Alexander I. Suciu, Lower central series and free resolutions of hyperplane arrangements, Trans. Amer. Math. Soc. 354 (2002), no. 9, 3409–3433. MR 1911506, DOI 10.1090/S0002-9947-02-03021-0
- Alexander I. Suciu, Fundamental groups of line arrangements: enumerative aspects, Advances in algebraic geometry motivated by physics (Lowell, MA, 2000) Contemp. Math., vol. 276, Amer. Math. Soc., Providence, RI, 2001, pp. 43–79. MR 1837109, DOI 10.1090/conm/276/04510
- Wolmer V. Vasconcelos, Computational methods in commutative algebra and algebraic geometry, Algorithms and Computation in Mathematics, vol. 2, Springer-Verlag, Berlin, 1998. With chapters by David Eisenbud, Daniel R. Grayson, Jürgen Herzog and Michael Stillman. MR 1484973, DOI 10.1007/978-3-642-58951-5
- Sergey Yuzvinsky, Cohomology of the Brieskorn-Orlik-Solomon algebras, Comm. Algebra 23 (1995), no. 14, 5339–5354. MR 1363606, DOI 10.1080/00927879508825535
- S. Yuzvinskiĭ, Orlik-Solomon algebras in algebra and topology, Uspekhi Mat. Nauk 56 (2001), no. 2(338), 87–166 (Russian, with Russian summary); English transl., Russian Math. Surveys 56 (2001), no. 2, 293–364. MR 1859708, DOI 10.1070/RM2001v056n02ABEH000383
Additional Information
- Henry K. Schenck
- Affiliation: Department of Mathematics, Texas A&M University, College Station, Texas 77843
- MR Author ID: 621581
- Email: schenck@math.tamu.edu
- Alexander I. Suciu
- Affiliation: Department of Mathematics, Northeastern University, Boston, Massachusetts 02115
- MR Author ID: 168600
- ORCID: 0000-0002-5060-7754
- Email: a.suciu@neu.edu
- Received by editor(s): January 31, 2004
- Received by editor(s) in revised form: August 17, 2004
- Published electronically: December 20, 2005
- Additional Notes: Both authors were supported by NSF Collaborative Research grant DMS 03-11142; the first author was also supported by NSA grant MDA 904-03-1-0006 and ATP grant 010366-0103.
- © Copyright 2005
American Mathematical Society
The copyright for this article reverts to public domain 28 years after publication. - Journal: Trans. Amer. Math. Soc. 358 (2006), 2269-2289
- MSC (2000): Primary 16E05, 52C35; Secondary 13D07, 20F14
- DOI: https://doi.org/10.1090/S0002-9947-05-03853-5
- MathSciNet review: 2197444