Cohomology of incidence algebras and simplicial complexes (Q1824672)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Cohomology of incidence algebras and simplicial complexes |
scientific article |
Statements
Cohomology of incidence algebras and simplicial complexes (English)
0 references
1989
0 references
Let Q be a finite oriented graph without oriented cycles such that for each arrow \(s\bullet\) \(\to^{\alpha}\bullet t\) there is no oriented path other than \(\alpha\) joining s to t. Q is called an ordered quiver. There is a well-known bijection between finite posets and ordered quivers. Let R be a commutative ring and let I be the two-sided ideal of the path algebra RQ generated by all \(\gamma\)-\(\delta\), where \(\gamma\) and \(\delta\) are paths with the same source and end vertices. The algebra RQ/I is the incidence algebra of the finite poset associated to Q. This paper contains 3 main results. First, a new proof is given of a result of Gerstenhaber and Schack showing that the Hochschild cohomology of RQ/I is isomorphic to the cohomology with coefficients in R of the simplicial complex \(\Sigma_ Q\) whose i-simplices are chains of length i in Q. The second result computes the reduced cohomology of \(\Sigma_ Q\) in terms of Ext(A,B) for certain modules A,B over an enlarged quiver \(\bar Q.\) The third computes the cohomology groups of a finite simplicial complex in terms of the ideals of an associated incidence algebra.
0 references
finite oriented graph
0 references
finite posets
0 references
ordered quivers
0 references
path algebra
0 references
incidence algebra
0 references
Hochschild cohomology
0 references
simplicial complex
0 references
reduced cohomology
0 references
cohomology groups
0 references