Inclusion of poset homology into Lie algebra homology (Q1921361): Difference between revisions

Let \(P\) be a finite poset with \(\hat 0\) and \(\hat 1\), and \(C_r\) be a complex vector space with basis consisting of all chains of \(P\) \[ {\hat 0}< x_1< \ldots < x_r< {\hat 1},\quad x_i\in P. \] The map \(\partial _r:C_r\longrightarrow C_{r-1}\) is defined by \[ \partial _r({\hat 0}< x_1< \ldots< x_r< {\hat 1}) =\sum _{i=1}^r(-1)^{i-1} \qquad({\hat 0}< x_1< \ldots < {\hat x}_i< \ldots < x_r< {\hat 1}). \] Then \(\partial _{r-1}\circ \partial _r=0\). The homology of a poset \(P\) is defined to be: \[ H_r(P)= Ker(\partial _r)/Im(\partial _{r+1}). \] In the paper the nilpotent Lie algebra \(L_P\) spanned by all elementary matrices \(z_{ij}\) such that \(i,j\in P, i< j\) is constructed. Using the Laplacian operator it is proved that \(H_r(P)\) is isomorphic to a subspace of \(H_{r+1}(L_P)\).