The zeta function of a simplicial complex (Q1279625)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The zeta function of a simplicial complex |
scientific article |
Statements
The zeta function of a simplicial complex (English)
0 references
14 March 2000
0 references
For a given field \(F\), a simplicial complex \(\Delta\) with \(n\) vertices defines a (singular) projective variety \(V(\Delta,F)\) in projective \((n-1)\)-space. The algebro-geometric zeta function \(Z_\Delta(q,t)\), in the sense of A. Weil, is then called the zeta function of the given complex \(\Delta\). In the present paper, the authors derive a simple rational expression for this particular zeta function, in a purely combinatorial-topological way, and then they show how this formula can be used to compute the singular homology groups \(H_i(V(\Delta, \mathbb{C}),\mathbb{Z})\) of the complex projective variety \(V(\Delta, \mathbb{C})\). This result reveals the highly interesting fact that both the Betti numbers and the zeta function of the singular projective variety \(V(\Delta,\mathbb{C})\) are completely determined by the combinatorial topology of the underlying complex \(\Delta\). Then, after a brief discussion of the possible geometric representations of the variety \(V(\Delta,\mathbb{C})\), the case of Cohen-Macaulay complexes \(\Delta\) is studied in greater detail. In this situation, where the homogeneous coordinate ring of the variety \(V(\Delta, \mathbb{C})\) is a Cohen-Macaulay ring, the formula for the zeta function \(Z_\Delta (t)\) becomes particularly simple. At the end of the paper, the authors point out that their results are also intimately related to the so-called ``\(f\)-vector theory'' in combinatorial topology and commutative algebra.
0 references
\(f\)-vector theory
0 references
Stanley-Reisner rings
0 references
simplicial complex
0 references
singular homology
0 references
Betti numbers
0 references
zeta function
0 references
singular projective variety
0 references
Cohen-Macaulay complexes
0 references