Publications Meetings The Profession Membership Programs Math Samplings Policy & Advocacy In the News About the AMS
|
   
Available in electronic format
Available in print format
Transactions of the American Mathematical Society
Transactions of the American Mathematical Society
ISSN 1088-6850(e) ISSN 0002-9947(p)

     

Resonance, linear syzygies, Chen groups, and the Bernstein-Gelfand-Gelfand correspondence


Authors: Henry K. Schenck and Alexander I. Suciu
Journal: Trans. Amer. Math. Soc. 358 (2006), 2269-2289
MSC (2000): Primary 16E05, 52C35; Secondary 13D07, 20F14
Posted: December 20, 2005
MathSciNet review: 2197444
Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

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$:

$\displaystyle \theta_k(G) = \dim_{\Bbbk}\operatorname{Tor}^E_{k-1}(A,\Bbbk)_k,$   for $ k\ge 2$$\displaystyle , $

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

$\displaystyle \theta_k(G) \ge (k-1) \sum_{r\ge 1} h_r \binom{r+k-1}{k},$   for $ k\gg 0$$\displaystyle , $

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

  • 1. K. Aomoto, Un théorème du type de Matsushima-Murakami concernant l'intégrale des fonctions multiformes, J. Math. Pures Appl. 52 (1973), 1-11. MR 0396563 (53:426)
  • 2. A. Aramova, L. Avramov, J. Herzog, Resolutions of monomial ideals and cohomology over exterior algebras, Trans. Amer. Math. Soc. 352 (1999), 579-594. MR 1603874 (2000c:13021)
  • 3. L. Avramov, Infinite free resolutions, Six lectures on commutative algebra (Bellaterra, 1996), 1-118, Progr. Math., 166, Birkhäuser, Basel, 1998. MR 1648664 (99m:13022)
  • 4. K. T. Chen, Integration in free groups, Ann. of Math. 54 (1951), 147-162. MR 0042414 (13:105c)
  • 5. D. Cohen, P. Orlik, Arrangements and local systems, Math. Res. Lett. 7 (2000), 299-316. MR 1764324 (2001i:57040)
  • 6. D. Cohen, A. Suciu, The Chen groups of the pure braid group, The Cech centennial (Boston, MA, 1993), 45-64, Contemp. Math., 181, Amer. Math. Soc., Providence, RI, 1995. MR 1320987 (96c:20055)
  • 7. -, Alexander invariants of complex hyperplane arrangements, Trans. Amer. Math. Soc. 351 (1999), 4043-4067. MR 1475679 (99m:52019)
  • 8. -, Characteristic varieties of arrangements, Math. Proc. Cambridge Phil. Soc. 127 (1999), 33-53. MR 1692519 (2000m:32036)
  • 9. W. Decker, D. Eisenbud, Sheaf algorithms using the exterior algebra, in: Computations in Algebraic Geometry using Macaulay 2, Springer-Verlag, Berlin, Heidelberg, New York, 2002. MR 1949553
  • 10. G. Denham, S. Yuzvinsky, Annihilators of Orlik-Solomon relations, Adv. in Appl. Math. 28 (2002), 231-249. MR 1888846 (2003b:05046)
  • 11. D. Eisenbud, Commutative algebra with a view towards algebraic geometry, Graduate Texts in Math., vol. 150, Springer-Verlag, Berlin, Heidelberg, New York, 1995. MR 1322960 (97a:13001)
  • 12. -, The geometry of syzygies, Springer-Verlag, Berlin, Heidelberg, New York, 2004. MR 2103875
  • 13. D. Eisenbud, G. Fløystad, F.-O. Schreyer, Sheaf cohomology and free resolutions over exterior algebras, Trans. Amer. Math. Soc. 355 (2003), 4397-4426. MR 1990756 (2004f:14031)
  • 14. D. Eisenbud, S. Popescu, S. Yuzvinsky, Hyperplane arrangement cohomology and monomials in the exterior algebra, Trans. Amer. Math. Soc. 355 (2003), 4365-4383. MR 1986506 (2004g:52036)
  • 15. H. Esnault, V. Schechtman, E. Viehweg, Cohomology of local systems on the complement of hyperplanes, Invent. Math. 109 (1992), 557-561. MR 1176205 (93g:32051)
  • 16. M. Falk, Arrangements and cohomology, Ann. Combin. 1 (1997), 135-157. MR 1629681 (99g:52017)
  • 17. -, The line geometry of resonance varieties, preprint arXiv:math.CO/0405210.
  • 18. M. Falk, R. Randell, On the homotopy theory of arrangements, II, in: Arrangements-Tokyo 1998, Adv. Stud. Pure Math., vol. 27, Math. Soc. Japan, Kinokuniya, Tokyo, 2000, pp. 93-125. MR 1796895 (2002b:32044)
  • 19. R. Fröberg, C. Löfwall, Koszul homology and Lie algebras with application to generic forms and points, Homology Homotopy Appl. 4 (2002), 227-258. MR 1918511 (2003g:13018)
  • 20. D. Grayson, M. Stillman, Macaulay 2: a software system for research in algebraic geometry; available at http://www.math.uiuc.edu/Macaulay2.
  • 21. H. Hamm, Lê D. T., Un théorème de Zariski du type de Lefschetz, Ann. Sci. École Norm. Sup. 6 (1973), 317-356. MR 0401755 (53:5582)
  • 22. A. Libgober, S. Yuzvinsky, Cohomology of the Orlik-Solomon algebras and local systems, Compositio Math. 121 (2000), 337-361. MR 1761630 (2001j:52032)
  • 23. W.S. Massey, Completion of link modules, Duke Math. J. 47 (1980), 399-420. MR 0575904 (81g:57004)
  • 24. D. Matei, A. Suciu, Cohomology rings and nilpotent quotients of real and complex arrangements, in: Arrangements-Tokyo 1998, Adv. Stud. Pure Math., vol. 27, Math. Soc. Japan, Tokyo, 2000, pp. 185-215. MR 1796900 (2002b:32045)
  • 25. -, Hall invariants, homology of subgroups, and characteristic varieties, Int. Math. Res. Not. 2002, no. 9, 465-503. MR 1884468 (2003d:20055)
  • 26. P. Orlik, L. Solomon, Combinatorics and topology of complements of hyperplanes, Invent. Math. 56 (1980), 167-189. MR 0558866 (81e:32015)
  • 27. P. Orlik, H. Terao, Arrangements of hyperplanes, Grundlehren Math. Wiss., vol. 300, Springer-Verlag, New York, Berlin, Heidelberg, 1992. MR 217488 (94e:52014)
  • 28. S. Papadima, A. Suciu, Chen Lie algebras, Int. Math. Res. Not. 2004:21 (2004), 1057-1086. MR 2037049 (2004m:17043)
  • 29. -, When does the associated graded Lie algebra of an arrangement group decompose?, preprint arXiv:math.CO/0309324.
  • 30. H. Schenck, A. Suciu, Lower central series and free resolutions of hyperplane arrangements, Trans. Amer. Math. Soc. 354 (2002), 3409-3433. MR 1911506 (2003k:52022)
  • 31. A. Suciu, Fundamental groups of line arrangements: Enumerative aspects, in: Advances in algebraic geometry motivated by physics, Contemporary Math., vol. 276, Amer. Math. Soc, Providence, RI, 2001, pp. 43-79. MR 1837109 (2002k:14029)
  • 32. W. Vasconcelos, Computational methods in commutative algebra and algebraic geometry, Springer-Verlag, Berlin, Heidelberg, New York, 1998. MR 1484973 (99c:13048)
  • 33. S. Yuzvinsky, Cohomology of Brieskorn-Orlik-Solomon algebras, Comm. Algebra 23 (1995), 5339-5354. MR 1363606 (97a:52023)
  • 34. -, Orlik-Solomon algebras in algebra and topology, Russ. Math. Surveys 56 (2001), 293-364. MR 1859708 (2002i:14047)

Similar Articles

Retrieve articles in Transactions of the American Mathematical Society with MSC (2000): 16E05, 52C35, 13D07, 20F14

Retrieve articles in all journals with MSC (2000): 16E05, 52C35, 13D07, 20F14


Additional Information

Henry K. Schenck
Affiliation: Department of Mathematics, Texas A&M University, College Station, Texas 77843
Email: schenck@math.tamu.edu

Alexander I. Suciu
Affiliation: Department of Mathematics, Northeastern University, Boston, Massachusetts 02115
Email: a.suciu@neu.edu

DOI: http://dx.doi.org/10.1090/S0002-9947-05-03853-5
PII: S 0002-9947(05)03853-5
Received by editor(s): January 31, 2004
Received by editor(s) in revised form: August 17, 2004
Posted: 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.
Article copyright: © Copyright 2005 American Mathematical Society
The copyright for this article reverts to public domain after 28 years from publication.




AMS and Social Media LinkedIn Facebook Podcasts Twitter YouTube RSS Feeds Blogs Wikipedia