Skip to main content
added references on Maurer-Cartan form, as requested by OP
Source Link
Ben McKay
  • 25.9k
  • 7
  • 66
  • 102

As requested: for more information about the Maurer-Cartan form (for any Lie group, real or complex or $p$-adic):

Chevalley, Claude, Theory of Lie Groups. I., Princeton Mathematical Series, vol. 8. Princeton University Press, Princeton, N. J., 1946. ix+217 pp. 152 section V.IV.

Sharpe, R. W., Differential geometry. Cartan's generalization of Klein's Erlangen program. With a foreword by S. S. Chern. Graduate Texts in Mathematics, 166. Springer-Verlag, New York, 1997. xx+421 pp. ISBN: 0-387-94732-9, p. 96.

Write the left invariant Maurer--Cartan form $g^{-1}dg$ as $\omega=(\omega_{\mu\bar\nu})$ for $\mu,\nu=1,2,3$. The coframing $\omega_{1\bar{1}}+i\omega_{2\bar{2}},\omega_{1\bar{2}},\omega_{1\bar{3}},\omega_{2\bar{3}}$ is complex linear for a unique left invariant complex structure. Take a function $f(g)=e^{-|g_{1\bar{2}}|^2/\varepsilon}$, or your favourite nonzero nonalgebraic function. The coframing $\omega_{1\bar{1}}+if\omega_{2\bar{2}},\omega_{1\bar{2}},\omega_{1\bar{3}},\omega_{2\bar{3}}$ continues to have linearly independent real and imaginary parts, so is still complex linear for a unique almost complex structure. But since $f$ is not holomorphic and is not constant, there is a nonzero Nijenhuis tensor. You could also take $f$ to be instead some smooth function with support in some small compact set, and then you get complex structure on some open set turning smoothly almost complex, not complex, on some other open set, so clearly not algebraic or even analytic.

For more information about this and other $SU_3$-invariant complex structures on $SU_3$, (and all other compact and simply connected homogeneous complex manifolds) see

Write the left invariant Maurer--Cartan form $g^{-1}dg$ as $\omega=(\omega_{\mu\bar\nu})$ for $\mu,\nu=1,2,3$. The coframing $\omega_{1\bar{1}}+i\omega_{2\bar{2}},\omega_{1\bar{2}},\omega_{1\bar{3}},\omega_{2\bar{3}}$ is complex linear for a unique left invariant complex structure. Take a function $f(g)=e^{-|g_{1\bar{2}}|^2/\varepsilon}$, or your favourite nonzero nonalgebraic function. The coframing $\omega_{1\bar{1}}+if\omega_{2\bar{2}},\omega_{1\bar{2}},\omega_{1\bar{3}},\omega_{2\bar{3}}$ continues to have linearly independent real and imaginary parts, so is still complex linear for a unique almost complex structure. But since $f$ is not holomorphic and is not constant, there is a nonzero Nijenhuis tensor. You could also take $f$ to be instead some smooth function with support in some small compact set, and then you get complex structure on some open set turning smoothly almost complex, not complex, on some other open set, so clearly not algebraic or even analytic.

For more information about this and other $SU_3$-invariant complex structures on $SU_3$, see

As requested: for more information about the Maurer-Cartan form (for any Lie group, real or complex or $p$-adic):

Chevalley, Claude, Theory of Lie Groups. I., Princeton Mathematical Series, vol. 8. Princeton University Press, Princeton, N. J., 1946. ix+217 pp. 152 section V.IV.

Sharpe, R. W., Differential geometry. Cartan's generalization of Klein's Erlangen program. With a foreword by S. S. Chern. Graduate Texts in Mathematics, 166. Springer-Verlag, New York, 1997. xx+421 pp. ISBN: 0-387-94732-9, p. 96.

Write the left invariant Maurer--Cartan form $g^{-1}dg$ as $\omega=(\omega_{\mu\bar\nu})$ for $\mu,\nu=1,2,3$. The coframing $\omega_{1\bar{1}}+i\omega_{2\bar{2}},\omega_{1\bar{2}},\omega_{1\bar{3}},\omega_{2\bar{3}}$ is complex linear for a unique left invariant complex structure. Take a function $f(g)=e^{-|g_{1\bar{2}}|^2/\varepsilon}$, or your favourite nonzero nonalgebraic function. The coframing $\omega_{1\bar{1}}+if\omega_{2\bar{2}},\omega_{1\bar{2}},\omega_{1\bar{3}},\omega_{2\bar{3}}$ continues to have linearly independent real and imaginary parts, so is still complex linear for a unique almost complex structure. But since $f$ is not holomorphic and is not constant, there is a nonzero Nijenhuis tensor. You could also take $f$ to be instead some smooth function with support in some small compact set, and then you get complex structure on some open set turning smoothly almost complex, not complex, on some other open set, so clearly not algebraic or even analytic.

For more information about this and other $SU_3$-invariant complex structures on $SU_3$ (and all other compact and simply connected homogeneous complex manifolds) see

added definition of the Maurer-Cartan form
Source Link
Ben McKay
  • 25.9k
  • 7
  • 66
  • 102

Let $M=SU_3$, the compact semisimple Lie group.

By request of the OP, for those unfamiliar with Maurer-Cartan form, let me define it. Write each point of $SU_3$ as a matrix $g$. Left translation by $g^{-1}$ takes $g$ to $I$, so takes $T_g SU_3$ to $T_I SU_3$. Consider any tangent vector $A\in T_g SU_3$ as a $3\times 3$ complex matrix, since $SU_3$ sits in the vector space of $3\times 3$ complex matrices. We have a linear map $A\in T_g SU_3\mapsto g^{-1}A\in T_I SU_3$, just the derivative of left translation (as the derivative of linear map on a vector space is that same linear map, and then restrict from all $3\times 3$ matrices to the linear subspace $T_g SU_3$). We define the left invariant Maurer Cartan form $\omega$ to be the linear map which takes each tangent space $T_g SU_3$ to $T_I SU_3$ by $\omega_g(A)=g^{-1}A$. So $\omega$ is a $1$-form valued in $\mathfrak{su}_3=T_I SU_3$. (This is all very standard, in every Lie group textbook.) Naturally, one writes this form not as $\omega$ but as $g^{-1}dg$.

Write the left invariant Maurer--Cartan form $g^{-1}dg$ as $(\omega_{\mu\bar\nu})$$\omega=(\omega_{\mu\bar\nu})$ for $\mu,\nu=1,2,3$. The coframing $\omega_{1\bar{1}}+i\omega_{2\bar{2}},\omega_{1\bar{2}},\omega_{1\bar{3}},\omega_{2\bar{3}}$ is complex linear for a unique left invariant complex structure. Take a function $f(g)=e^{-|g_{1\bar{2}}|^2/\varepsilon}$, or your favourite nonzero nonalgebraic function. The coframing $\omega_{1\bar{1}}+if\omega_{2\bar{2}},\omega_{1\bar{2}},\omega_{1\bar{3}},\omega_{2\bar{3}}$ continues to have linearly independent real and imaginary parts, so is still complex linear for a unique almost complex structure. But since $f$ is not holomorphic and is not constant, there is a nonzero Nijenhuis tensor. You could also take $f$ to be instead some smooth function with support in some small compact set, and then you get complex structure on some open set turning smoothly almost complex, not complex, on some other open set, so clearly not algebraic or even analytic.

Let $M=SU_3$, the compact semisimple Lie group. Write the left invariant Maurer--Cartan form $g^{-1}dg$ as $(\omega_{\mu\bar\nu})$ for $\mu,\nu=1,2,3$. The coframing $\omega_{1\bar{1}}+i\omega_{2\bar{2}},\omega_{1\bar{2}},\omega_{1\bar{3}},\omega_{2\bar{3}}$ is complex linear for a unique left invariant complex structure. Take a function $f(g)=e^{-|g_{1\bar{2}}|^2/\varepsilon}$, or your favourite nonzero nonalgebraic function. The coframing $\omega_{1\bar{1}}+if\omega_{2\bar{2}},\omega_{1\bar{2}},\omega_{1\bar{3}},\omega_{2\bar{3}}$ continues to have linearly independent real and imaginary parts, so is still complex linear for a unique almost complex structure. But since $f$ is not holomorphic and is not constant, there is a nonzero Nijenhuis tensor. You could also take $f$ to be instead some smooth function with support in some small compact set, and then you get complex structure on some open set turning smoothly almost complex, not complex, on some other open set, so clearly not algebraic or even analytic.

Let $M=SU_3$, the compact semisimple Lie group.

By request of the OP, for those unfamiliar with Maurer-Cartan form, let me define it. Write each point of $SU_3$ as a matrix $g$. Left translation by $g^{-1}$ takes $g$ to $I$, so takes $T_g SU_3$ to $T_I SU_3$. Consider any tangent vector $A\in T_g SU_3$ as a $3\times 3$ complex matrix, since $SU_3$ sits in the vector space of $3\times 3$ complex matrices. We have a linear map $A\in T_g SU_3\mapsto g^{-1}A\in T_I SU_3$, just the derivative of left translation (as the derivative of linear map on a vector space is that same linear map, and then restrict from all $3\times 3$ matrices to the linear subspace $T_g SU_3$). We define the left invariant Maurer Cartan form $\omega$ to be the linear map which takes each tangent space $T_g SU_3$ to $T_I SU_3$ by $\omega_g(A)=g^{-1}A$. So $\omega$ is a $1$-form valued in $\mathfrak{su}_3=T_I SU_3$. (This is all very standard, in every Lie group textbook.) Naturally, one writes this form not as $\omega$ but as $g^{-1}dg$.

Write the left invariant Maurer--Cartan form $g^{-1}dg$ as $\omega=(\omega_{\mu\bar\nu})$ for $\mu,\nu=1,2,3$. The coframing $\omega_{1\bar{1}}+i\omega_{2\bar{2}},\omega_{1\bar{2}},\omega_{1\bar{3}},\omega_{2\bar{3}}$ is complex linear for a unique left invariant complex structure. Take a function $f(g)=e^{-|g_{1\bar{2}}|^2/\varepsilon}$, or your favourite nonzero nonalgebraic function. The coframing $\omega_{1\bar{1}}+if\omega_{2\bar{2}},\omega_{1\bar{2}},\omega_{1\bar{3}},\omega_{2\bar{3}}$ continues to have linearly independent real and imaginary parts, so is still complex linear for a unique almost complex structure. But since $f$ is not holomorphic and is not constant, there is a nonzero Nijenhuis tensor. You could also take $f$ to be instead some smooth function with support in some small compact set, and then you get complex structure on some open set turning smoothly almost complex, not complex, on some other open set, so clearly not algebraic or even analytic.

explained why it is not a complex Lie group
Source Link
Ben McKay
  • 25.9k
  • 7
  • 66
  • 102

Let $M=SU_3$, the compact semisimple Lie group. Write the left invariant Maurer--Cartan form $g^{-1}dg$ as $(\omega_{\mu\bar\nu})$ for $\mu,\nu=1,2,3$. The coframing $\omega_{1\bar{1}}+i\omega_{2\bar{2}},\omega_{1\bar{2}},\omega_{1\bar{3}},\omega_{2\bar{3}}$ is complex linear for a unique left invariant complex structure. Take a function $f(g)=e^{-|g_{1\bar{2}}|^2/\varepsilon}$, or your favourite nonzero nonalgebraic function. The coframing $\omega_{1\bar{1}}+if\omega_{2\bar{2}},\omega_{1\bar{2}},\omega_{1\bar{3}},\omega_{2\bar{3}}$ continues to have linearly independent real and imaginary parts, so is still complex linear for a unique almost complex structure. But since $f$ is not holomorphic and is not constant, there is a nonzero Nijenhuis tensor. You could also take $f$ to be instead some smooth function with support in some small compact set, and then you get complex structure on some open set turning smoothly almost complex, not complex, on some other open set, so clearly not algebraic or even analytic.

To clarify, as requested: as $SU_3$ is a Lie group, its tangent bundle is trivial as a smooth real vector bundle. Consider the linear map $\Omega \colon TSU_3\to \mathbb{C}^4$ given by $\Omega(v)=(\omega_{1\bar{1}}+i\omega_{2\bar{2}},\omega_{1\bar{2}},\omega_{1\bar{3}},\omega_{2\bar{3}})$ and $\Omega_{\varepsilon} \colon TSU_3\to \mathbb{C}^4$ given by $\Omega(v)=(\omega_{1\bar{1}}+if\omega_{2\bar{2}},\omega_{1\bar{2}},\omega_{1\bar{3}},\omega_{2\bar{3}})$. Let $J_0$ be the standard almost complex structure on $\mathbb{C}^4$. Let $J(v)=\Omega^{-1}(J_0\Omega(v))$. Let $J_{\varepsilon}(v)=\Omega_{\varepsilon}^{-1}(J_0\Omega_{\varepsilon}(v))$. These are my almost complex structures: elements of $\operatorname{End}T_{SU_3}$. You can compute from the Maurer-Cartan equations that $J_0$ is a complex structure, and that $J_{\varepsilon}$ has zero Nijenhuis tensor (so arises from a complex structure) on any open set where $f=0$, but not near any point where $df\ne 0$.

The complex structure on $SU_3$ is homogeneous under left action of $SU_3$. It is not Kähler, as it has $b_2=0$$b_2(SU_3)=0$, so all closed 2-forms are exact, and hence no symplectic form on $SU_3$. In particular, $SU_3$ does not have a complex structure under which it could become a Kähler manifold, and a fortiori is not a complex algebraic variety. There are infinitely many nonbiholomorphic complex structures on $SU_3$ invariant under left $SU_3$ action.

Note that $SU_3$, in any complex structure, is not a complex Lie group, i.e. its multiplication is not holomorphic. Proof: Indeed $SU_3$ is compact. Take a compact complex Lie group $G$. Take a complex linear finite dimensional representation of $G$. The representation is a map to complex matrices, which form an affine space. Complex affine space has no compact complex subvarieties except points. So $G$ has discrete image. So $G$ has discrete adjoint representation. Hence the identity component of $G$ is an abelian group, compact, so a complex torus. So compact complex Lie groups are precisely finite group extensions of complex tori. In particular, since $SU_3$ is connected and nonabelian and compact, it is not a complex Lie group for any complex structure. If its multiplication were holomorphic for some complex structure, then the holomorphic implicit function theorem would ensure that its inverse operation was also holomorphic, so it would be a complex Lie group. 

For more information about itthis and other $SU_3$-invariant complex structures on $SU_3$, see

Hsien-Chun Wang, Closed manifolds with homogeneous complex structure, American Journal of Mathematics, vol. 76, no. 1 (January 1954), pp. 1-32.

Phillip Griffiths, On certain homogeneous complex manifolds, Proceedings of the National Academy of Sciences of the United States of America, vol. 48, no. 5 (May 15, 1962) pp. 780-783.

Let $M=SU_3$, the compact semisimple Lie group. Write the left invariant Maurer--Cartan form $g^{-1}dg$ as $(\omega_{\mu\bar\nu})$ for $\mu,\nu=1,2,3$. The coframing $\omega_{1\bar{1}}+i\omega_{2\bar{2}},\omega_{1\bar{2}},\omega_{1\bar{3}},\omega_{2\bar{3}}$ is complex linear for a unique left invariant complex structure. Take a function $f(g)=e^{-|g_{1\bar{2}}|^2/\varepsilon}$, or your favourite nonzero nonalgebraic function. The coframing $\omega_{1\bar{1}}+if\omega_{2\bar{2}},\omega_{1\bar{2}},\omega_{1\bar{3}},\omega_{2\bar{3}}$ continues to have linearly independent real and imaginary parts, so is still complex linear for a unique almost complex structure. But since $f$ is not holomorphic and is not constant, there is a nonzero Nijenhuis tensor. You could also take $f$ to be instead some smooth function with support in some small compact set, and then you get complex structure on some open set turning smoothly almost complex, not complex, on some other open set, so clearly not algebraic or even analytic.

To clarify, as requested: as $SU_3$ is a Lie group, its tangent bundle is trivial as a smooth real vector bundle. Consider the linear map $\Omega \colon TSU_3\to \mathbb{C}^4$ given by $\Omega(v)=(\omega_{1\bar{1}}+i\omega_{2\bar{2}},\omega_{1\bar{2}},\omega_{1\bar{3}},\omega_{2\bar{3}})$ and $\Omega_{\varepsilon} \colon TSU_3\to \mathbb{C}^4$ given by $\Omega(v)=(\omega_{1\bar{1}}+if\omega_{2\bar{2}},\omega_{1\bar{2}},\omega_{1\bar{3}},\omega_{2\bar{3}})$. Let $J_0$ be the standard almost complex structure on $\mathbb{C}^4$. Let $J(v)=\Omega^{-1}(J_0\Omega(v))$. Let $J_{\varepsilon}(v)=\Omega_{\varepsilon}^{-1}(J_0\Omega_{\varepsilon}(v))$. These are my almost complex structures: elements of $\operatorname{End}T_{SU_3}$. You can compute from the Maurer-Cartan equations that $J_0$ is a complex structure, and that $J_{\varepsilon}$ has zero Nijenhuis tensor (so arises from a complex structure) on any open set where $f=0$, but not near any point where $df\ne 0$.

The complex structure on $SU_3$ is homogeneous under left action of $SU_3$. It is not Kähler, as it has $b_2=0$, so all closed 2-forms are exact, and hence no symplectic form. In particular, $SU_3$ does not have a complex structure under which it could become a complex algebraic variety. There are infinitely many nonbiholomorphic complex structures on $SU_3$ invariant under left $SU_3$ action. For more information about it, see

Hsien-Chun Wang, Closed manifolds with homogeneous complex structure, American Journal of Mathematics, vol. 76, no. 1 (January 1954), pp. 1-32.

Phillip Griffiths, On certain homogeneous complex manifolds, Proceedings of the National Academy of Sciences of the United States of America, vol. 48, no. 5 (May 15, 1962) pp. 780-783.

Let $M=SU_3$, the compact semisimple Lie group. Write the left invariant Maurer--Cartan form $g^{-1}dg$ as $(\omega_{\mu\bar\nu})$ for $\mu,\nu=1,2,3$. The coframing $\omega_{1\bar{1}}+i\omega_{2\bar{2}},\omega_{1\bar{2}},\omega_{1\bar{3}},\omega_{2\bar{3}}$ is complex linear for a unique left invariant complex structure. Take a function $f(g)=e^{-|g_{1\bar{2}}|^2/\varepsilon}$, or your favourite nonzero nonalgebraic function. The coframing $\omega_{1\bar{1}}+if\omega_{2\bar{2}},\omega_{1\bar{2}},\omega_{1\bar{3}},\omega_{2\bar{3}}$ continues to have linearly independent real and imaginary parts, so is still complex linear for a unique almost complex structure. But since $f$ is not holomorphic and is not constant, there is a nonzero Nijenhuis tensor. You could also take $f$ to be instead some smooth function with support in some small compact set, and then you get complex structure on some open set turning smoothly almost complex, not complex, on some other open set, so clearly not algebraic or even analytic.

To clarify, as requested: as $SU_3$ is a Lie group, its tangent bundle is trivial as a smooth real vector bundle. Consider the linear map $\Omega \colon TSU_3\to \mathbb{C}^4$ given by $\Omega(v)=(\omega_{1\bar{1}}+i\omega_{2\bar{2}},\omega_{1\bar{2}},\omega_{1\bar{3}},\omega_{2\bar{3}})$ and $\Omega_{\varepsilon} \colon TSU_3\to \mathbb{C}^4$ given by $\Omega(v)=(\omega_{1\bar{1}}+if\omega_{2\bar{2}},\omega_{1\bar{2}},\omega_{1\bar{3}},\omega_{2\bar{3}})$. Let $J_0$ be the standard almost complex structure on $\mathbb{C}^4$. Let $J(v)=\Omega^{-1}(J_0\Omega(v))$. Let $J_{\varepsilon}(v)=\Omega_{\varepsilon}^{-1}(J_0\Omega_{\varepsilon}(v))$. These are my almost complex structures: elements of $\operatorname{End}T_{SU_3}$. You can compute from the Maurer-Cartan equations that $J_0$ is a complex structure, and that $J_{\varepsilon}$ has zero Nijenhuis tensor (so arises from a complex structure) on any open set where $f=0$, but not near any point where $df\ne 0$.

The complex structure on $SU_3$ is homogeneous under left action of $SU_3$. It is not Kähler, as $b_2(SU_3)=0$, so all closed 2-forms are exact, and hence no symplectic form on $SU_3$. In particular, $SU_3$ does not have a complex structure under which it could become a Kähler manifold, and a fortiori is not a complex algebraic variety. There are infinitely many nonbiholomorphic complex structures on $SU_3$ invariant under left $SU_3$ action.

Note that $SU_3$, in any complex structure, is not a complex Lie group, i.e. its multiplication is not holomorphic. Proof: Indeed $SU_3$ is compact. Take a compact complex Lie group $G$. Take a complex linear finite dimensional representation of $G$. The representation is a map to complex matrices, which form an affine space. Complex affine space has no compact complex subvarieties except points. So $G$ has discrete image. So $G$ has discrete adjoint representation. Hence the identity component of $G$ is an abelian group, compact, so a complex torus. So compact complex Lie groups are precisely finite group extensions of complex tori. In particular, since $SU_3$ is connected and nonabelian and compact, it is not a complex Lie group for any complex structure. If its multiplication were holomorphic for some complex structure, then the holomorphic implicit function theorem would ensure that its inverse operation was also holomorphic, so it would be a complex Lie group. 

For more information about this and other $SU_3$-invariant complex structures on $SU_3$, see

Hsien-Chun Wang, Closed manifolds with homogeneous complex structure, American Journal of Mathematics, vol. 76, no. 1 (January 1954), pp. 1-32.

Phillip Griffiths, On certain homogeneous complex manifolds, Proceedings of the National Academy of Sciences of the United States of America, vol. 48, no. 5 (May 15, 1962) pp. 780-783.

added references to establish non-Kaehlerity
Source Link
Ben McKay
  • 25.9k
  • 7
  • 66
  • 102
Loading
It is 4-complex dimensional, not 3.
Source Link
Ben McKay
  • 25.9k
  • 7
  • 66
  • 102
Loading
It is 4-complex dimensional, not 3.
Source Link
Ben McKay
  • 25.9k
  • 7
  • 66
  • 102
Loading
more details
Source Link
Ben McKay
  • 25.9k
  • 7
  • 66
  • 102
Loading
added 17 characters in body
Source Link
Ben McKay
  • 25.9k
  • 7
  • 66
  • 102
Loading
Source Link
Ben McKay
  • 25.9k
  • 7
  • 66
  • 102
Loading