Topological results in combinatorics (Q1070587)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Topological results in combinatorics
scientific article

    Statements

    Topological results in combinatorics (English)
    0 references
    0 references
    1984
    0 references
    The paper studies the ring K(\(\Delta)\) associated with a finite simplicial complex \(\Delta\) and a field K. The main result is that the number \(\alpha (\Delta)=n-h(\Delta)\) (where \(n+1\) is the number of vertices of \(\Delta\) and h(\(\Delta)\) the homological dimension of K(\(\Delta)\)) can be described by the (reduced) global cohomology groups and the local cohomology groups of the topological space \(| \Delta |\) underlying \(\Delta\) ; more precisely, \(\alpha\) (\(\Delta)\) is shown to be the lowest dimension for which at least one of these cohomology groups does not vanish. As a consequence, \(\alpha\) (\(\Delta)\) is a topological invariant, i.e. depends only on the topological space \(| \Delta |\) and not on the triangulation \(\Delta\). Since K(\(\Delta)\) is a Cohen-Macaulay ring if and only if \((n+1)- h(\Delta)=\dim \Delta +1\) \((=Krull\) dimension of K(\(\Delta)\)) it follows in particular that this property is a topological invariant. There are applications for the case that \(\Delta\) is the complex of chains of a partially ordered set in which all maximal chains have the same length (as for instance the first barycentric subdivision of a triangulated manifold). K(\(\Delta)\) is defined to be the quotient ring of the polynomial ring \(K[x_ 0,...,x_ n]\), with the vertices \(x_ 0,...,x_ n\) of \(\Delta\) as indeterminates, by the ideal which is generated by all square-free monomials whose corresponding vertices do not span a simplex of \(\Delta\). The topological invariance of the Cohen-Macaulay condition had been conjectured by \textit{M. Hochster} [Proc. 2nd. Okla. Conf. 1975, 171-223 (1977; Zbl 0351.13009)] and almost proved by \textit{G. A. Reisner} [Adv. Math. 21, 30-49 (1976; Zbl 0345.13017)] who translated this condition into a condition involving the links of simplices in \(\Delta\). Subsequently, \textit{R. P. Stanley} [Proc. Conf. Berlin 1976, 51-62 (1977; Zbl 0376.55007)] indicated how to transform Reisner's condition into a condition on the global and local cohomology groups of \(| \Delta |\), thus proving its topological invariance (loc. cit., Theorem 5). These indications are fully worked out in the present paper, independently and prior to the proof of the more general main result, the topological invariance of \(\alpha\) (\(\Delta)\), which was only conjectured by Stanley. Now this result is also obtained by connecting \(\alpha\) (\(\Delta)\) to cohomology groups of \(| \Delta |\). The starting point is a formula of Hochster (loc. cit.) for the Betti numbers (of a minimal free resolution) of K(\(\Delta)\) in terms of the simplicial cohomology of full subcomplexes of \(\Delta\). Then techniques similar to the proof of Poincaré duality for triangulated manifolds are used to relate the vanishing of the local cohomology groups to information about these simplicial cohomology groups. This elementary but involved argument can be replaced by a generalization of the Lefschetz duality theorem in terms of Čech cohomology with coefficients in the presheaf of local homology groups of \(| \Delta |\). This duality theorem was found by the author (in the context of the present paper, as it seems) as a consequence of the interpretation of \textit{C. McCrory} [Trans. Am. Math. Soc. 250, 147-166 (1979; Zbl 0363.57014)] of Zeeman's spectral sequence. The special case of triangulation of the sphere or the ball was already known; in the case of a sphere, K(\(\Delta)\) is even a Gorenstein ring (Hochster [loc. cit.], Corollary 6.8)). In these situations, the author shows separately (at the beginning of the paper) how the results can be derived very easily from Hochster's formula by using classical Alexander duality; this is much simpler than Hochster's original argument or the author's arguments for the general case.
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    ring associated with a finite simplicial complex
    0 references
    homological dimension
    0 references
    cohomology groups
    0 references
    local cohomology groups
    0 references
    Cohen-Macaulay ring
    0 references
    Krull dimension
    0 references
    partially ordered set
    0 references
    Betti numbers
    0 references
    Poincaré duality
    0 references
    Lefschetz duality
    0 references
    Čech cohomology
    0 references
    Zeeman's spectral sequence
    0 references
    triangulation of the sphere
    0 references
    Gorenstein ring
    0 references
    Alexander duality
    0 references
    0 references
    0 references