Difference operators, covering spaces and determinants (Q1825480)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Difference operators, covering spaces and determinants
scientific article

    Statements

    Difference operators, covering spaces and determinants (English)
    0 references
    0 references
    0 references
    1989
    0 references
    Some connections between topology and PL analysis are studied. Let \(\tilde M\to M\) be an infinite cyclic cover of simplicial complexes. Once an inner product has been placed on the cochain space of M, and lifted to \(\tilde M,\) we can construct a combinatorial Laplacian \(\square =\delta \delta^*+\delta^*\delta\) (\(\delta\) is the coboundary operator and \(\delta^*\) its adjoint) and the space \({\mathcal H}^*(X)=\ker \square\) of all harmonic cochains on \(X=M\) or \(\tilde M.\) Under the assumption that \(\square\) on \(\tilde M\) is a geometric lift of \(\square\) on M, it is proved that \({\mathcal H}^ i(\tilde M)\) is finite dimensional if and only if so is the simplicial cohomology \(H^ i(\tilde M,{\mathbb{C}})\). Moreover, the Euler characteristic \(\chi(\tilde M)\) of \(\tilde M\) is proved to be equal to \(\Sigma_ i(-1)^{i+1}\quad i\quad \dim {\mathcal H}^ i(\tilde M)/2.\) In addition, a formula for the Reidemeister torsion on M is found in terms of the action of the covering transformations on \({\mathcal H}^*(\tilde M)\).
    0 references
    infinite cyclic cover of simplicial complexes
    0 references
    inner product
    0 references
    cochain space
    0 references
    combinatorial Laplacian
    0 references
    harmonic cochains
    0 references
    Euler characteristic
    0 references
    Reidemeister torsion
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references