Kähler structures on complex torus (Q1589327)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Kähler structures on complex torus
scientific article

    Statements

    Kähler structures on complex torus (English)
    0 references
    0 references
    11 December 2000
    0 references
    Let \(T\) be the \(n\)-dimensional real torus \(\mathbb R^{n}/\mathbb Z^{n}\) and \(\beta T_{\mathbb C}=\mathbb R^{n}\times\mathbb R^{n}/\mathbb Z^{n}=(\mathbb C^{*})^{n}\) its complexification. Take a Kähler form \(\omega\) on \(T_{\mathbb C}\) which is invariant under the natural \(T\)-action on \(T_{\mathbb C}\). A straightforward calculation shows that \(\omega=\sqrt{-1}\partial\overline{\partial}F\) with a \(T\)-invariant function \(F\in C^{\infty}(\mathbb R^{n})\). It is shown that the \(T\)-action on \(T_{\mathbb C}\) preserving \(\omega\) is Hamiltonian and that its \(T\)-invariant moment map, considered as a map \(\Phi:\mathbb R^{n}\to \mathbb R^{n}\), satisfies the equation \(\varphi=\frac{1}{2}\operatorname {grad}F\). The Kähler form \(\omega\) represents the Chern class of the trivial holomorphic line bundle \(L\) on \(T_{\mathbb C}\). Let \(\nabla\) be a connection on \(L\) with curvature form \(\omega\). The \(T\)-action on \(T_{\mathbb C}\) can be lifted to a linear representation of \(T\) on \(H(L)\), the vector space of all holomorphic sections \(s\) in(\(L,\nabla\)), which is in a natural way isomorphic to the vector space \(\mathcal O(T_{\mathbb C})\) of holomorphic functions on \(T_{\mathbb C}\) (\(s\in H(L)\Leftrightarrow s\in C^{\infty}(T_{\mathbb C})\) and \(\nabla_{v}s=0\) for every antiholomorphic vector field \(v\) on \(T_{\mathbb C}\)). Therefore each irreducible representation of \(T\) occurs with multiplicity one in \(H(L)\). Given a \(T\)-invariant Hermitian metric on \(L\), the subspace \(H_{\omega}\) of \(L^{2}\)-sections \(s\in H(L)\) is \(T\)-invariant. The weights of \(T\) can be identified with the elements of the lattice \(\mathbb Z^{n}\subset \mathbb R^{n}\backsimeq {\mathfrak t}^{*}\). It is shown that the eigenspace \(H_{\lambda}(L),\lambda\in\mathbb Z^{n}\), is contained in \(H_{\omega}\) if and only if \(\lambda\in\Phi(\mathbb R^{n})\).
    0 references
    Kähler form
    0 references
    moment map
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references