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
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
0 references