正則関数の層と収束ベキ級数環

代数曲線論

リーマン面X上の正則関数のなす\mathbb{C}代数の層を \cal{O}_Xとすると、任意の P \in Xについて、

\displaystyle \cal{O}_{X,P} \simeq \mathbb{C}\{z\}

が成立。正則関数と解析関数は同じだから。