Non-Kähler compact complex manifolds associated to number fields. (Q1774112): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(3 intermediate revisions by 3 users not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2261570693 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5521595 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Locally conformal Kähler geometry / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On surfaces of class VII\(_0\) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4296949 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 10:41, 10 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Non-Kähler compact complex manifolds associated to number fields. |
scientific article |
Statements
Non-Kähler compact complex manifolds associated to number fields. (English)
0 references
29 April 2005
0 references
The authors consider a class of compact complex manifolds \(X\) which they construct as quotients of \(\mathbb H^s\times\mathbb C^t\) by properly discontinuous group actions, \(s,t>0\). These manifolds have the property that \(b_1(X)=s\leq \dim H^1(X,{\mathcal O}_X)\), hence they are not Kähler. Moreover \[ H^0(X,\Omega^1_X)=H^0(X,K^{\otimes k}_X)=\{0\} \] for all \(k\geq 1\). The quotients \(X_{s,1}\) of \(\mathbb H^s\times\mathbb C\) admit locally conformal Kähler metrics. In particular, the example \(X_{2,1}\) with Betti numbers \(b_1=b_5=2\), \(b_3=0\), \(b_{2i}=1\), \(0\leq i\leq 3\), answers the question whether compact complex manifolds with locally conformal Kähler structure and \(b_{2i+1}\in 2\mathbb N, i\geq 0\), are necessarily Kähler. The construction is based on well known facts from geometric number theory: Let \({\mathcal O}_K\) be the ring of integers of the algebraic number field \(K\) and \({\mathcal O}_K^*\) the group of units in \({\mathcal O}_K\). Assume that \(K\) admits \(s\) embeddings \(\rho_1, \dots,\rho_s\) of \(K\) into \(\mathbb R\) and \(2t\) non-real embeddings \(\sigma_1, \overline{\sigma}_1, \dots,\sigma_t, \overline{\sigma}_t\) into \(\mathbb C\). \({\mathcal O}_K\) can be realized as a lattice of rank \(s+2t=[K:\mathbb Q]\) in \(\mathbb C^s\times\mathbb C^t\) via the injection \(\tau:K\rightarrow \mathbb C^{s+t}, \tau(a):=(\rho_1(a),\dots,\rho_s(a),\sigma_1(a),\dots,\sigma_t(a))\), operating on \(\mathbb C^s\times\mathbb C^t\) by translations and leaving \(\mathbb H^s\times\mathbb C^t\) invariant. The quotient \((\mathbb H^s\times\mathbb C^t)/\tau({\mathcal O}_K)\) is diffeomorph to \((\mathbb R_{>0})^s\times (S^1)^{s+2t}\). The image of the logarithmic representation \(\lambda: {\mathcal O}^*_K\rightarrow \mathbb R^{s+t}\), \( \lambda(u):=(\log| \rho_1(u)| ,\dots,\log| \rho_s(u)| ,\log| \sigma_1(u)| ^2,\dots,\log| \sigma_t(u)| ^2)\), is a lattice of maximal rank in the linear hyperplane \(\{(x_1,\dots,x_{s+t})\in\mathbb R^{s+t}\mid \sum_{i=1}^{s+t} x_i=0\,\}\) and \(\{(\log| \rho_1(u)| ,\dots,\log| \rho_s(u)| )\mid u\in U\,\}\) is a lattice of rank \(s\) in \(\mathbb R^s\) for suitable subgroups \(U\) of \({\mathcal O}^*_K\). Combining these representations yields a properly discontinuous action of the semidirect product \(U\ltimes {\mathcal O}_K\) on \(\mathbb H^s\times\mathbb C^t\), and the quotient \(X=X(K,U)\) is diffeomorph to a fiber bundle over \((S^1)^s\) with \((S^1)^{s+2t}\) as fiber.
0 references
compact complex manifold
0 references
algebraic number field
0 references
locally conformal Kähler metric
0 references