>>84

だから「√(xy)=(√x)(√y) が成り立たなくなること」がなぜ起こるかわかる？
C → C / 2πiZ のセクションが準同型じゃないからで、多価関数なんちゃらとは関係ないでしょ。

一つのシンボルが複数の値を指すかもしれないのはノーテーションとして成立していないし、
どの枝を取ったかを表すには領域 D で log(z) + 2πiN となる対数の枝 φ とか言わざるを得ないのでは。
（この表現で log は実軸上のよく知られた対数を D に常識的に解析接続したもの）

もっとましなやり方があるのなら教えてもらいたいね。

また、最初から複素平面ではなくその被覆の方での値を考えているなら、
その点（被覆空間上での点）を表すノーテーションが必要だけど、
それ、あなたはどうするの？