15

Let $M$ be an even-dimensional Lie group. Is it true that $M$ admits a complex structure?

I can see that there exists an almost complex structure, since the tangent bundle is trivial. But this is not sufficient Trivality of tangent bundle and complex structure.

So I'm wondering if adding the Lie group structure is enough to guarantee integrable. Maybe the Nijenhuis tensor simplifies in some way?

  • Well, I can see that it admits an almost complex structure since the tangent bundle is trivial. But I don't see how to compute the Nijenhuis tensor. – user308973 Sep 26 '16 at 22:27
  • I see that your previous questions are related to this. It may be better to explain the motivation for this question as it is currently on the way to being closed. I admit the problem is harder than I initially imagined (I was thinking almost complex, not complex). – Michael Albanese Sep 26 '16 at 22:29
  • Why on way to being closed? Feel like this is a good question. Specific and interesting. Is the answer obvious? – user308973 Sep 26 '16 at 22:33
  • A complex structure $J$ on the real lie algebra $\mathfrak{g}$ extends to a (so-called left-invariant) complex structure of the Lie group $G$ if and only if $[JX,JY] = [X,Y]+J[JX,Y]+J[X,JY]$ for all $X,Y\in\mathfrak{g}$. Is the question whether every Lie Group has such a left-invariant complex structure, or any? I think the latter is incredibly hard... – Ben Sep 26 '16 at 22:34
  • @user308973: It lacks context. No explanation of where the problem came from, or what progress you have made on it. You could improve it by linking to your previous question and mentioning that there is clearly an almost complex structure (as you explained), but as John Ma pointed out to you, in the parallelisable case there are examples where there is no complex structure. This is useful information to a potential answerer. – Michael Albanese Sep 26 '16 at 22:38
  • 3
    Aha, that's a different question. You should add context... Hint: It's possible (and not too hard) to show that $G$ has a left-invariant complex structure if and only if the complexified Lie-algebra $\mathfrak{g}{\mathbb{C}}$ has a complex sub-algebra $\mathfrak{g}_0$ such that $\mathfrak{g}{\mathbb{C}} = \mathfrak{g}_0\oplus \overline{\mathfrak{g}_0}$. – Ben Sep 26 '16 at 22:41
  • @MichaelAlbanese I see, okay, I've edited. – user308973 Sep 26 '16 at 22:43
  • @Ben I'm actually not sure. I've edited my question to be more clear/give context. – user308973 Sep 26 '16 at 22:44
  • It is hard to see how the Lie group structure could be used, the complex structure is not assumed to be compatible with the group structure. –  Sep 26 '16 at 23:27
  • Unless the question is about the existence of left-invariant structures, I think the question is impossible. – Ben Sep 26 '16 at 23:32

2 Answers2

11

This answers the question only tangentially; namely, I'll address whether every Lie group has an invariant complex structure. The answer to this question is no. Let's recall the standard construction. Say we have a real Lie group $G$ of dimension $2n$ and a complex structure on its Lie algebra $\mathfrak{g} = \mathrm{Lie}(G) \cong T_1G$, that is, an $\mathbb{R}$-linear endomorphism $J_1\colon T_1G\to T_1G$ such that $J_1^2 = -\mathrm{id}_{T_1G}$. We want to give $G$ the structure of an almost complex manifold that restricts to $J_1$ on $T_1G$ and such that the left-multiplication, $\ell_g\colon G\to G$, $h\mapsto gh$, has $\mathbb{C}$-linear differential (is almost-holomorphic?) for each $g\in G$. It's easy to see that there is only one such almost complex structure $J\colon TG\to TG$; more concretely, over $g\in G$ it is given by the map $J_g := (\ell_{g})_*\circ J_1\circ (\ell_g^{-1})_*\colon T_gG\to T_gG$. In particular, if $X\colon G\to TG$ is the left-invariant vector field associated with $v\in T_1G$, i.e., $X_g = (\ell_g)_*(v)$, then $(JX)_g = (l_g)_*\circ J_1(v)$ and so $JX$ is just the left-invariant vector field associated with $J_1(v)$.

The question now is: when is this almost complex structure integrable?

The Newlander–Nirenberg theorem states that an almost complex structure $I\colon TG\to TG$ is integrable if and only if its Nijenhuis tensor $$[X,Y]+I[IX,Y]+I[X,IY]-[IX,IY]$$ vanishes for all vector fields $X,Y$. Since the Nijenhuis tensor only depends on the point-wise values of the vector fields, it is seen to be trivial as soon as it vanishes on all left-invariant vector fields. Thus, by construction:

Proposition— Let $J$ be a complex structure on $\mathfrak{g}$. Then the left-invariant almost complex structure on $G$ induced from $J$ is integrable if and only if $[JX,JY] = [X,Y]+J[JX,Y]+J[X,JY]$ for all $X,Y\in\mathfrak{g}$.

We see that there is an obstruction to the integrability of an invariant almost complex structure, but this obstruction is seen entirely on the level of Lie algebras. Since every finite-dimensional real Lie algebra is the Lie algebra of some simply connected Lie group, it suffices to construct a Lie algebra which fails to admit a $J$ such that $J^2 = -\mathrm{id}_{\mathfrak{g}}$ and $[JX,JY] = [X,Y]+J[JX,Y]+J[X,JY]$ for all $X,Y\in\mathfrak{g}$.

Examples can be found, e.g., in work of Goze and Remm, Non existence of complex structures on filiform Lie algebras, arXiv:math/0103035v2. In fact, by Proposition 4, the following Lie algebras provide examples:

Given $n\geq 2$ let $\mathfrak{l}_{2n}$ be the $2n$-dimensional Lie algebra generated by $x_1,x_2,\dots ,x_{2n}$ and Lie bracket such that $[x_1,x_i] = x_{i+1}$ for all $i=2,3,\dots,2n-1$ and $[x_i,x_j] = 0$ for all other $i,j$. The strategy here is to show that if there were such an $J$ for $\mathfrak{l}_{2n}$, then $J(x_{2n})$ had to be central; but the center is generated by $x_{2n}$, hence $J(x_{2n}) = ax_{2n}$. But then $a^2 = -1$, a contradiction.

Ben
  • 6,587
8

In the case of compact Lie groups, it is true that an even-dimensional Lie group always admits a complex structure. See Example 4.32 in Félix, Oprea, Tanré, Algebraic Models in Geometry (available here https://www.maths.ed.ac.uk/~v1ranick/papers/tanre.pdf).

  • I should have emphasized that there is in fact a complex structure that is invariant (see the original paper by Samelson, "A class of complex-analytic manifolds'' Portugaliae Mathematica 1953, referenced in the example in the linked book); contrast this with the non-compact case as addressed in the answer by Ben. – Aleksandar Milivojević Mar 11 '22 at 12:53