最後に一つ質問させてください。うえの議論で、実解析的というのがありましたが、複素正則の場合と違って0点が孤立するとかは言えませんよね。調和形式の次数によります。直積多様体の場合に考えてみればよくわかります。いうのと実解析的というのは厳密には区別しないといけません。計量としてC^∞級のものを考えることもある。教えてもらえまして、本当にありがとうございました。別方面から頑張ってみようと思います。後、できれば>>259を教えてもらいたいのですが。wをM上の0でない正則1形式とすると、wは共形計量に関して調和であり、(重複を込めて数えて)2g-2個の0点を持つ。wをMxM上に第一成分への射影によって引き戻して得られる1形式は直積計量に関して調和であり、その0点集合はMの次元に等しい。いくらでも大きい次元の0点をもつ調和形式を作れるわけですね。本当に色々とありがとうございました。エルミートの多項式とチェビシェフの多項式の直交性について詳しく教えてください。できれば数式を用いて説明していただけるとありがたいです。帯の幅を十分小さくとればいいと思うのですが。曲面上に切断輪は存在しない。(ジョルダンの曲線定理)という定理の証明を考えているのですが、参考になるサイトとかあれば教えて下さい。