MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Originally posted on Maths Stack Exchange.


Let $V$ be a real vector space. An almost complex structure on $V$ is a map $J : V \to V$ such that $J^2 = -\mathrm{id}_V$. An almost complex structure gives $V$ the structure of a complex vector space by defining $(a+bi)v = av + bJ(v)$. The idea behind this definition is that $J$ represents multiplication by $i$. What if you instead consider multiplication by other complex numbers?

Let $n > 2$ be a fixed positive integer and let $J : V \to V$ be such that $J^n = -\mathrm{id}_V$ which I will refer to as an alternative almost complex structure. One can regard $J$ as trying to capture multiplication by $\zeta = \exp\left(\frac{\pi i}{n}\right)$. In particular, as $\{1, \zeta\}$ is linearly independent over $\mathbb{R}$, it is a basis for $\mathbb{C}$ as a real vector space. One can then endow $V$ with a complex structure by defining $(a + b\zeta)v = av + bJ(v)$.

Do alternative almost complex structures give rise to the same results as the standard almost complex structures? In particular, in the case where we extend them to bundle endomorphisms of the tangent bundle of a manifold.

If not, what fails? If so, is dealing with almost complex structures easier than dealing with alternative almost complex structures?


As Henry T. Horton asks about in a comment to the original post, I am interested in the integrability of alternative almost complex structures but also whether there are any difficulties when combining with other structures such as a symplectic form or a Riemannian metric.

share|cite|improve this question
up vote 10 down vote accepted

Let us first deal with linear algebra. Assume a matrix $J$ satisfies $J^k= -Id$. Then, there exists a poylnomial $P$ whose coefficients depend on the eigenvalues of your $J$ such that $P(J)$ is a complex structure. Moreover, if your matrix $J$ is a smooth (1,1)-tensor on a manifold then the polynomial is the same at all points of the manifold.

Now, concerning differential geometry, your alternative complex structure $J$ have the same eigenvalues (with multiplicities) at all points. Then, the polynomial $P$ is the same at all points. By [Lemma 6, arXiv:0904.0535], the complex structure $P(J)$ is integrable.

Moreover, if
the Nijenhujs tensor of $J$ vanishes,there exists a coordinate system such that the entries of $J$ are constants by Thompson, G.: The integrability of a field of endomorphisms. Math. Bohem. 127 (2002), no. 4, 605–611.

If the coefficients of your tensor are constant in a certain coordinate system, the Nijenhujs tensor of it vanishes.

Thus, as in the case or ordinary almost complex structure, the vanishing of the Nijenhujs tensor decides about integrability.

Now, about combining your alternative complex structure with another structures such as metric or symplectic structure, the only reasonable formula I can imaging is in [Section 5, arXiv:1103.3877] and it does not give anything very interesting. If you have other ways of combining, please tell us.

Sorry for bad news.

share|cite|improve this answer
    
I don't follow the part of your argument where you apply Lemma 6 of arXiv:0904.0535. What if $k=2$? Then the polynomial $P$ is the identity, and the eigenvalues of $J$ are the same at all points, but it certainly does not follow that $J$ is integrable. – YangMills May 25 at 18:02

Wait: if we ask for $J^3=−I$, then $J=−I$ is one solution, and that doesn't determine an almost complex structure, so Vladimir's answer doesn't quite cover all possible cases. If $J^k=−I$ and $k$ is even, then clearly Vladimir's answer is ok: $J$ commutes with a unique almost complex structure, and the whole story reduces to the story of that almost complex structure.

share|cite|improve this answer
    
More generally, it is easy to prove that any real linear map $T$ with no real eigenvalues on a finite dimensional real vector space $V$ commutes with a unique almost complex structure $J$ so that all eigenvalues $\lambda$ of $T$ on the $J=\sqrt{-1}$-eigenspace of $J$ inside $V \otimes \mathbb{C}$ have positive imaginary part. – Ben McKay May 25 at 15:50

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.