実解析多様体の研究ってあんま聞いたことないけど、どうなってんの？