\({\bar\partial}\)-cohomology of (H,C)-groups (Q1068264): Difference between revisions

The complex abelian Lie groups studied here are also called toroidal groups; they are of the form \({\mathbb{C}}^ n/\Gamma\), where \(\Gamma\) is a discrete subgroup. The author obtains a considerable amount of information concerning the \({\bar \partial}\)-cohomology groups \(H^ p(G,{\mathcal O}_ G)\) of such groups G. The basic idea is to use a resolution through certain subsheaves \({\mathcal H}^{0,q}\) of the sheaves \({\mathcal A}^{0,q}\) of germs of real-analytic (0,q)-forms on G. \(\Gamma\) is generated by \(n+q\) (1\(\leq q\leq n)\) R-independent vectors of \({\mathbb{C}}^ n:\) \(e_ 1,...,e_ n\), \(v_ 1=(v_{11},...,v_{1n}),\)...,\(v_ q=(v_{q1},...,v_{qn}).\) This configuration determines quantities \(K_{mi}=\sum^{n}_{j=1}v_{ij}m_ j-m_{n+i},\) (1\(\leq i\leq q)\), which affect the convergence of Fourier expansions on \({\mathbb{C}}^ n/\Gamma\). By definition, \({\mathcal H}=\{f\in {\mathcal A}:\quad \partial f/{\bar \zeta}_ j=0,\quad q+1\leq j\leq n\}\) for certain coordinates \(\zeta_ 1,...,\zeta_ n\) on \({\mathbb{C}}^ n/\Gamma.\) The author proves equivalence of (1) There exists \(a>0\) such that \(\sup_{m\neq 0} \exp (-a\| m\|^*)/K_ m<\infty,\) where \(K_ m=\max \{| K_{mi}|: 1\leq i\leq n\}\) for \(m\in Z^{n+q}\) and \(\| m\|^*=\max | m_ i|: 1\leq i\leq n.\) (2) dim \(H^ p({\mathbb{C}}^ n/\Gamma,{\mathcal O}_ G)=q!/(q-p)!p!\) if \(1\leq p\leq q\) and \(=0\) if \(p>q.\) (3) dim \(H^ p({\mathbb{C}}^ n/\Gamma,{\mathcal O}_ G)<\infty\) for all \(p\geq 1.\) (4) \({\bar \partial}(H^ 0({\mathbb{C}}^ n/\Gamma,{\mathcal H}^{0,p-1}))\) is a closed subspace of \(H^ 0({\mathbb{C}}^ n/\Gamma,{\mathcal H}^{0,p})\) for all \(p\geq 1\).