Cohomology of the fundamental groups of toroidal groups (Q2465245)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Cohomology of the fundamental groups of toroidal groups
scientific article

    Statements

    Cohomology of the fundamental groups of toroidal groups (English)
    0 references
    0 references
    0 references
    9 January 2008
    0 references
    We recall that a toroidal group is a connected complex Lie group \(X\), whose holomorphic functions are all constant. Any toroidal group of dimension \(n\) is isomorphic to a quotient \({\mathbf C}^n/\Gamma\) where \(\Gamma\) is a discrete group of rank \(r \geq n\) of the form \(\Gamma = {\mathbf Z}[\lambda_1, \dots, \lambda_r]\). Given a toroidal group \({\mathbf C}^n/\Gamma\), let us denote by \(C^p\) the family of maps \(C^p = \{\;f\;:\;\Gamma^p \longrightarrow H^0({\mathbf C}^n, \mathcal O)\;\}\) and by \(\delta: C^p \to C^{p+1}\) the coboundary operator defined inductively by setting \(\delta f(\lambda)_z = f_{z + \lambda} - f_z\), \(\lambda \in \Gamma\), \(z \in {\mathbf C} ^n\), when \(p = 0\) and \[ \delta f(\lambda_0, \dots, \lambda_p)_z = f(\lambda_1, \dots, \lambda_p)_{z + \lambda_0} + \sum_{i = 0}^{p-1} (-1)^{i +1} f(\lambda_1, \dots, \lambda_i + \lambda_{i+1}, \dots \lambda_p)_{z + \lambda_0} + \] \[ + (-1)^{p+1} f(\lambda_0, \dots, \lambda_{p-1})_z \] when \(p > 0\). The cohomology \(H^p(\Gamma, H) ={ {\text{Ker} \delta| _{C^p}}\over{\text{Im} \delta| _{C^{p+1}}}}\) of the chain complex \(\{C^p, \delta\}\) is called \textit{cohomology of \(\Gamma\) with values in \(H = H^0({\mathbf C}^n, \mathcal O)\). } The authors construct an explicit isomorphism between the cohomology groups \(H^p(\Gamma, H)\) and the Dolbeault cohomology groups \(H^{0,p}_{\bar \partial}({\mathbf C}^n/\Gamma)\) and determine a normal form for the cocycles of a cohomology class \([f] \in H^p(\Gamma, H)\) for any \(p \geq 1\). When \(p = 1\), these theorems provide a new proof of a result by \textit{Ch. Vogt} [J. Reine Angew. Math. 335, 197--215 (1982; Zbl 0485.32020)]. The isomorphism and the normal forms constructed when \(p > 1\) are expected to be helpful in studying the toroidal groups that do not have finite-dimensional cohomology groups.
    0 references
    Toroidal groups
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references