|
Subdivisions and local -vectors
Author(s):
Richard P.
Stanley
Journal:
J. Amer. Math. Soc.
5
(1992),
805-851.
MSC:
Primary 52B20;
Secondary 05E99, 06A07, 13D40, 55U10
MathSciNet review:
1157293
Retrieve article in:
PDF
This article is available free of charge
Abstract |
References |
Similar articles |
Additional information
Abstract:
In Part I a general theory of -vectors of simplicial subdivisions (or triangulations) of simplicial complexes is developed, based on the concept of local -vector. As an application, we prove that the -vector of a Cohen-Macaulay complex increases under ``quasi-geometric'' subdivision, thus establishing a special case of a conjecture of Kalai and this author. Techniques include commutative algebra, homological algebra, and the intersection homology of toric varieties. In Part II we extend the work of Part I to more general situations. First a formal generalization of subdivision is given based on incidence algebras. Special cases are then developed, in particular one based on subdivisions of Eulerian posets and involving generalized -vectors. Other cases deal with Kazhdan-Lusztig polynomials, Ehrhart polynomials, and a -analogue of Eulerian posets. Many applications and examples are given throughout.
References:
-
- [Ba
] - M. M. Bayer, The generalized Dehn-Sommerville equations revisited, Technical Report, Northeastern University, May, 1986.
- [Ba
] - -, Equidecomposable and weakly neighborly polytopes, Israel J. Math. (to appear). MR 1231196 (94m:52015)
- [Bi]
- L. J. Billera, Polyhedral theory and commutative algebra, Mathematical Programming: The State of the Art (A. Bachem, M. Grötschel, and B. Korte, eds.), Springer-Verlag, Berlin-Heidelberg-New York, 1983, pp. 57-77. MR 717396 (84m:52009)
- [Bj]
- A. Björner, Posets, regular CW complexes, and Bruhat order, European J. Combin. 5 (1984), 7-16. MR 746039 (86e:06002)
- [Br
] - F. Brenti, Unimodal polynomials arising from symmetric functions, Proc. Amer. Math. Soc. 108 (1990), 1133-1141. MR 993741 (90g:05016)
- [Br
] - -, Permutation enumeration, symmetric functions, and unimodality, Pacific J. Math., submitted.
- [B-F-S]
- L. J. Billera, P. Filliman, and B. Sturmfels, Constructions and complexity of secondary polytopes, Adv. in Math. 83 (1990), 155-179. MR 1074022 (92d:52028)
- [B-K]
- M. M. Bayer and A. Klapper, A new index for polytopes, Discrete Comput. Geom. 6 (1991), 33-47. MR 1073071 (91k:52024)
- [B-M]
- U. Betke and P. McMullen, Lattice points in lattice polytopes, Monatsh. Math. 99 (1985), 253-265. MR 799674 (87e:52019)
- [C]
- L. Comtet, Advanced combinatorics, Reidel, Dordrecht/Boston, 1974. MR 0460128 (57:124)
- [Dan]
- V. I. Danilov, The geometry of toric varieties, Uspekhi Mat. Nauk. 33 (1978), 85-134; English transl. in Russian Math. Surveys 33 (1978), 97-154. MR 495499 (80g:14001)
- [Dav]
- R. J. Daverman, Decomposition of manifolds, Academic Press, New York, 1986. MR 872468 (88a:57001)
- [De]
- V. Deodhar, On some geometric aspects of Bruhat orderings, I. A fine decomposition of Bruhat cells, Invent. Math. 79 (1985), 499-511. MR 782232 (86f:20045)
- [G-K-Z]
- I. M. Gelfand, M. M. Kapranov, and A. V. Zelevinsky, Hyperdeterminants, Adv. Math. (to appear). MR 1196989 (94g:14023)
- [G-M]
- M. Goresky and R. MacPherson, On the topology of complex algebraic sets, Algebraic Geometry (J.M. Aroca, et al., eds.), Lecture Notes in Math., vol. 961, Springer-Verlag, Berlin-Heidelberg-New York, 1982, pp. 119-129. MR 708330 (85f:32019)
- [G-Z-K]
- I. M. Gelfand, A. V. Zelevinsky, and M. M. Kapranov, Discriminants of polynomials in several variables and triangulations of Newton polyhedra, Leningrad Math. J. 2 (1991), 449-505. MR 1073208 (91m:14080)
- [Ha]
- M. Haiman, A simple and relatively efficient triangulation of the
-cube, Discrete Comput. Geom. 6 (1991), 287-289. MR 1098809 (92e:52011) - [Hu]
- J. Humphreys, Reflection groups and Coxeter groups, Cambridge Univ. Press, Cambridge, 1990. MR 1066460 (92h:20002)
- [H-S]
- P. J. Hilton and U. Stammbach, A course in homological algebra, Springer-Verlag, Berlin-Heidelberg-New York, 1971. MR 0346025 (49:10751)
- [Ka]
- G. Kalai, The diameter of graphs of convex polytopes and
-vector theory, preprint. MR 1116365 (92h:52010) - [Kl]
- V. Klee, A combinatorial analogue of Poincaré's duality theorem, Canadian J. Math. 16 (1964), 517-531. MR 0189039 (32:6466)
- [K-K]
- B. Kind and P. Kleinschmidt, Schälbare Cohen-Macauley[sic]-Komplexe und ihre Parametrisierung, Math. Z. 167 (1979), 173-179. MR 534824 (80k:13010)
- [K-L]
- D. Kazhdan and G. Lusztig, Representations of Coxeter groups and Hecke algebras, Invent. Math. 53 (1979), 165-184. MR 560412 (81j:20066)
- [L]
- C. Lee, Regular triangulations of convex polytopes, DIMACS Ser. in Discrete Math. and Theoret. Comput. Sci. (to appear). MR 1116369 (92j:52021)
- [Ma
] - I. G. Macdonald, Polynomials associated with finite cell-complexes, J. London Math. Soc. (2) 4 (1971), 181-192. MR 0298542 (45:7594)
- [Ma
] - -, Symmetric functions and hall polynomials, Oxford Univ. Press, Oxford, 1979. MR 553598 (84g:05003)
- [Mac]
- R. MacPherson, Intersection homology and perverse sheaves, preprint.
- [Mc]
- P. McMullen, The maximum numbers of faces of a convex polytope, Mathematika 17 (1970), 179-184. MR 0283691 (44:921)
- [Mi]
- M. Miyazaki, Characterization of Buchsbaum complexes, Manuscripta Math. 63 (1989), 245-254. MR 980576 (90b:13025)
- [Mu]
- J. R. Munkres, Elements of algebraic topology, Addison-Wesley, Menlo Park, CA, 1984. MR 755006 (85m:55001)
- [Sc]
- P. Schenzel, On the number of faces of simplicial complexes and the purity of Frobenius, Math. Z. 178 (1981), 125-142. MR 627099 (82k:13022)
- [Sp]
- E. H. Spanier, Algebraic topology, McGraw-Hill, New York, 1966. MR 0210112 (35:1007)
- [St
] - R. Stanley, Combinatorial reciprocity theorems, Adv. in Math. 14 (1974), 194-253. MR 0411982 (54:111)
- [Sta
] - -, The upper bound conjecture and Cohen-Macaulay rings, Stud. Appl. Math. 54 (1975), 135-142. MR 0458437 (56:16640)
- [Sta
] - -, Hilbert functions of graded algebras, Adv. in Math. 28 (1978), 57-83. MR 0485835 (58:5637)
- [Sta
] - -, Cohen-Macaulay complexes, in Higher combinatorics (M. Aigner, ed.), Reidel, Dordrecht-Boston, 1977, pp. 51-62. MR 0572989 (58:28010)
- [Sta
] - -, Balanced Cohen-Macaulay complexes, Trans. Amer. Math. Soc. 249 (1979), 139-157. MR 526314 (81c:05012)
- [Sta
] - -, The number of faces of a simplicial convex polytope, Adv. in Math. 35 (1980), 236-238. MR 563925 (81f:52014)
- [Sta
] - -, Some aspects of groups acting on finite posets, J. Combin. Theory Ser. (A) 32 (1982), 132-161. MR 654618 (83d:06002)
- [Sta
] - -, Combinatorics and commutative algebra, Progr. Math., vol. 41, Birkhäuser, Boston-Basel-Stuttgart, 1983. MR 725505 (85b:05002)
- [Sta
] - -, The number of faces of simplicial polytopes and spheres, Discrete Geometry and Convexity (J.E. Goodman, et al., eds.), Ann. New York Acad. Sci., vol. 440, New York Acad. Sci., New York, 1985, pp. 212-223. MR 809209 (87a:52007)
- [Sta
] - -, Generalized
-vectors, intersection cohomology of toric varieties, and related results, Commutative Algebra and Combinatorics (M. Nagata and H. Matsumura, eds.), Adv. Stud. Pure Math., vol. 11, Kinokuniya, Tokyo, and North-Holland, Amsterdam-New York, 1987, pp. 187-213. MR 951205 (89f:52016) - [Sta
] - -, Enumerative combinatorics, Vol. 1, Wadsworth and Brooks/Cole, Pacific Grove, CA, 1986.
- [Sta
] - -, Unimodal and log-concave sequences in algebra, combinatorics, and geometry, Graph Theory and Its Applications: East and West, Ann. New York Acad. Sci., vol. 576, New York Acad. Sci., New York, 1989, pp. 500-535.
- [Sta
] - -, A monotonicity property of
-vectors and -vectors, preprint. - [Ste]
- J. R. Stembridge, Eulerian numbers, tableaux, and the Betti numbers of a toric variety, Discrete Math. 99 (1992), 307-320. MR 1158793 (93f:05103)
- [S-V]
- J. Stückrad and W. Vogel, Buchsbaum rings and applications, Springer-Verlag, Berlin-Heidelberg-New York, 1986. MR 881220 (88h:13011a)
Similar Articles:
Retrieve articles in Journal of the American Mathematical Society
with
MSC:
52B20,
05E99, 06A07, 13D40, 55U10
Retrieve articles in all Journals with
MSC:
52B20,
05E99, 06A07, 13D40, 55U10
Additional Information:
DOI:
10.1090/S0894-0347-1992-1157293-9
PII:
S0894-0347-1992-1157293-9
Copyright of article:
Copyright
1992,
American Mathematical Society
|