Small rational model of subspace complement

Yuzvinsky, Sergey

doi:10.1090/S0002-9947-02-02924-0

Small rational model of subspace complement
HTML articles powered by AMS MathViewer

by Sergey Yuzvinsky PDF

Trans. Amer. Math. Soc. 354 (2002), 1921-1945 Request permission

Abstract:

This paper concerns the rational cohomology ring of the complement $M$ of a complex subspace arrangement. We start with the De Concini-Procesi differential graded algebra that is a rational model for $M$. Inside it we find a much smaller subalgebra $D$ quasi-isomorphic to the whole algebra. $D$ is described by defining a natural multiplication on a chain complex whose homology is the local homology of the intersection lattice $L$ whence connecting the De Concini-Procesi model with the Goresky-MacPherson formula for the additive structure of $H^*(M)$. The algebra $D$ has a natural integral version that is a good candidate for an integral model of $M$. If the rational local homology of $L$ can be computed explicitly we obtain an explicit presentation of the ring $H^*(M,{\mathbf Q})$. For example, this is done for the cases where $L$ is a geometric lattice and where $M$ is a $k$-equal manifold.

References

V. I. Arnol′d, The cohomology ring of the group of dyed braids, Mat. Zametki 5 (1969), 227–231 (Russian). MR 242196
Anders Björner and James W. Walker, A homotopy complementation formula for partially ordered sets, European J. Combin. 4 (1983), no. 1, 11–19. MR 694463, DOI 10.1016/S0195-6698(83)80003-1
Anders Björner and Volkmar Welker, The homology of “$k$-equal” manifolds and related partition lattices, Adv. Math. 110 (1995), no. 2, 277–313. MR 1317619, DOI 10.1006/aima.1995.1012
Egbert Brieskorn, Sur les groupes de tresses [d’après V. I. Arnol′d], Séminaire Bourbaki, 24ème année (1971/1972), Exp. No. 401, Lecture Notes in Math., Vol. 317, Springer, Berlin, 1973, pp. 21–44 (French). MR 0422674
C. De Concini and C. Procesi, Wonderful models of subspace arrangements, Selecta Math. (N.S.) 1 (1995), no. 3, 459–494. MR 1366622, DOI 10.1007/BF01589496
E. M. Feichtner, Cohomology algebras of subspace arrangements and of classical configuration spaces, Cuvillier-Verlag, Göttingen, 1997 (Doctors Dissertation at TU, Berlin).
Jon Folkman, The homology groups of a lattice, J. Math. Mech. 15 (1966), 631–636. MR 0188116
Giovanni Gaiffi, Blowups and cohomology bases for De Concini-Procesi models of subspace arrangements, Selecta Math. (N.S.) 3 (1997), no. 3, 315–333. MR 1481132, DOI 10.1007/s000290050013
Mark Goresky and Robert MacPherson, Stratified Morse theory, Ergebnisse der Mathematik und ihrer Grenzgebiete (3) [Results in Mathematics and Related Areas (3)], vol. 14, Springer-Verlag, Berlin, 1988. MR 932724, DOI 10.1007/978-3-642-71714-7
J. Shohat, Application of orthogonal Tchebycheff polynomials to Lagrangean interpolation and to the general theory of polynomials, Ann. Mat. Pura Appl. 18 (1939), 201–238. MR 878, DOI 10.1007/BF02413772
James R. Munkres, Elements of algebraic topology, Addison-Wesley Publishing Company, Menlo Park, CA, 1984. MR 755006
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
Peter Orlik and Hiroaki Terao, Arrangements of hyperplanes, Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 300, Springer-Verlag, Berlin, 1992. MR 1217488, DOI 10.1007/978-3-662-02772-1
Daniel Quillen, Homotopy properties of the poset of nontrivial $p$-subgroups of a group, Adv. in Math. 28 (1978), no. 2, 101–128. MR 493916, DOI 10.1016/0001-8708(78)90058-0
Sergey Yuzvinsky, Cohomology bases for the De Concini-Procesi models of hyperplane arrangements and sums over trees, Invent. Math. 127 (1997), no. 2, 319–335. MR 1427621, DOI 10.1007/s002220050122
Günter M. Ziegler and Rade T. Živaljević, Homotopy types of subspace arrangements via diagrams of spaces, Math. Ann. 295 (1993), no. 3, 527–548. MR 1204836, DOI 10.1007/BF01444901
M. De Longueville and C. Schultz, The cohomology rings of complements of subspace arrangements, Math. Ann. 319 (2001), 625–646.
P. Deligne, M. Goresky, and R. MacPherson, L’algèbre de cohomologie du complément, dans un espace affine, d’une famille finie de sous-espaces affines, Michigan Math. J. 48 (2000), 121–136.
S. Yuzvinsky, Rational model of subspace complement on atomic complex, Publ. L’Institut Math. 66 (80) (1999), 157–164.