Talk:Schoen–Yau conjecture