Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

In 1986 C. C. Hsiung published a paper "Nonexistence of a Complex Structure on the Six-Sphere" and in 1995 he even wrote a monograph "Almost Complex and Complex Structures" to further elaborate on his proof. Yet answers to the 2009 question on this site all agree that the existence of complex structures on $S^6$ is still an open problem. Some recent preprints answering the question with opposite answers are also cited there. I would like to know if there are any known mistakes in Hsiung's approach and if so I would appreciate some reference to a paper that points them out.

share|improve this question
5  
You might ask the same question about the paper of A.Adler "The second fundamental forms of $S^{6}$ and $P^{n}({\bf C})$", Amer. J. Math. 91 (1969) 657–670, which claims to prove the same result. In this case Steve Krantz says here books.google.com/… that he saw a paper of Y.T.Siu which explains precisely where Adler's error is. However, I couldn't find any paper of Siu where this is discussed. –  YangMills Jul 10 '12 at 22:07
    
Having said this, I don't know exactly where Hsiung's mistake is, I will search a bit and see what I can find. –  YangMills Jul 10 '12 at 22:08
    
I can't seem to find a definitive reference on your choice of pseudonym. For what exactly do you hunger? –  Will Jagy Jul 10 '12 at 23:17
    
Just about the only one: en.wikipedia.org/wiki/… –  Will Jagy Jul 10 '12 at 23:47
1  
I vaguely recall knowing about 3 separate published proofs that were not taken seriously by other experts but I don't remember the third one anymore. I've never found anyone who could explain to me what the error in either Adler's or Hsiung's proof is. But I never thought of asking Siu. –  Deane Yang Jul 11 '12 at 2:45
show 3 more comments

3 Answers

up vote 34 down vote accepted

While it's good to have a source, such as Datta's paper that points out the error, I find that his explanation of why the key equation is wrong is not as clear as it could be. In fact, with a little thought (requiring essentially no computation), it's clear why this equation must be wrong and what is wrong with the approach. Since it's relatively short, I thought I'd put it in:

On page 263 of Hsuing's monograph "Almost Complex and Complex Structures", he claims the following result, from which, if it were correct, the non-existence of a complex structure on the $6$-sphere would follow immediately (and, in fact, Hsiung 'applies' this result to get exactly this 'conclusion'):

Theorem 6.1. Let $J$ be an almost complex structure on a Riemannian $2n$-manifold $M^{2n}$ ($n\ge2$) with a Riemannian metric $g_{ij}$ but without a flat metric or a nonzero constant sectional curvature or both, and let $J_i^j$ and $R_{hijk}$ be respectively the components of the tensor of $J$ and the Riemann curvature tensor of $M^{2n}$ with respect to $g_{ij}$, where all indices take the values $1,2,\ldots,2n$. If $J$ is complex structure on $M^{2n}$, then $$ J_{i_1}^iJ_{i_2}^jR_{iji_3k}+J_{i_2}^iJ_{i_3}^jR_{iji_1k}+J_{i_3}^iJ_{i_1}^jR_{iji_2k}=0 $$ for all $i_1,i_2,i_3,k$.

Now, this result cannot possibly be correct, as you can see from the following observations.

First, note that no relation between $g$ and $J$ is supposed. If it weren't for the peculiar assumptions about $M$ not admitting a flat or constant curvature metric (which might have nothing to do with $g$), this would be a purely local statement, but, no matter, let's let $M$ be $\mathbb{CP}^n$ and note that, since $n\ge2$, $M$ cannot carry either kind of metric. Let $J$ be the standard complex structure on $M$. Then the above 'Theorem' would imply that, for any metric $g$ on $M$, its Riemann curvature tensor $R$ would satisfy the above equation. Since any metric in dimension $2n$ can be locally transplanted onto $\mathbb{CP}^n$ and since all complex structures are locally equivalent, it follows easily that the above 'Theorem' implies that the above relation (which is a purely pointwise statement) must hold identically as an algebraic relation for any local pair $J$ and $g$. (Moreover, since this doesn't involve any derivatives of $J$, the hypothesis that $J$ be integrable is irrelevant.)

Second, it's easy to check that this 'identity' does not hold: Just choose a metric $g$ of nonzero constant sectional curvature and any local $J$ that is $g$-orthogonal, and you'll see that this says that the $2$-form $\Omega$ associated to $J$ by $g$ must satisfy $\Omega^2 = 0$, contradicting the fact that $\Omega^n$ cannot vanish because $\Omega$ must be nondegenerate. (This is, in fact, Hsuing's argument as to why $S^6$ can't carry an integrable complex structure, because it has a metric of constant sectional curvature.)

share|improve this answer
    
Great answer! In the "erratum" paper (p.673 of the same book) Hsiung still states the same identical "theorem"... –  YangMills Jul 12 '12 at 2:21
    
@YangMills: Thanks. You must have a different edition of the book than I do, since the copy in our library of Hsuing's "Almost Complex and Complex Structures" does not have more than 300 pages. –  Robert Bryant Jul 13 '12 at 5:26
    
Sorry, I misread your answer. I was referring to the book of Hsiung's collected papers here books.google.com/books?id=s85vcMYZDJgC&pg=PA673 –  YangMills Jul 16 '12 at 18:13
add comment

I just found this paper by B. Datta (later published in J. Indian Math. Soc. 60 (1994), no. 1-4, 171–190) that explains in details why one key equation in Hsiung's paper is wrong. See the whole discussion in section 4.

Also, in a 2001 book containing Hsiung's selected papers he added a short paper titled "Nonexistence of a Complex Structure on the Six-Sphere II" which looks like an erratum to his other one. He still claims the same result about $S^6$. This paper was never published.

share|improve this answer
add comment

There was a paper published in China (1987?) by Dong (and Guan). It gave a reason why Hsiung was wrong. That was basically the note of Guan when he sat in a talk of Hsiung. Dong came late and missed the talk. Guan gave him his note ant told him that the proof was wrong. After Guan left to America, Dong published the note and added his own proof that there is no complex structure on S^6. After Guan received Dong's note, he warned him about his mistake. But it was too late and the note was published under the joint authors Dong and Guan. Later on Guan met Hsiung in Lehigh University. Hsiung showed Guan his book and said that Yau said that his proof is correct. Guan again told Hsiung about his mistake without any conclusion. It is more like politics to Guan.

share|improve this answer
2  
Are you Guan the coauthor? –  S. Carnahan Aug 7 '13 at 23:45
    
Here is the author:webvpn.ucr.edu/+CSCO+0h756767633A2F2F6A6A6A2E6E7A662E626574++/… –  Guan Aug 8 '13 at 0:24
    
The link is broken (it requires ucr.edu vpn), but I assume the answer to Scott's question is "Yes". –  Igor Rivin Aug 8 '13 at 2:08
    
It is MR1307945 (96b:43008). He is from Henan University, China. Ask Kefeng Liu if you really want get to that person to get a copy of that paper. –  Guan Aug 8 '13 at 3:11
add comment

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.