しばらく代数の話題が続いたので、ここで幾何の話題をお送りします。 今、三次元球面 を とおいて の部分多様体とみなすことにします。 一方で に s.t. によって同値関係を入れ、これによって作られる商集合 を と表し、複素射影直線*1と言います。また、 を…