martrixの理論周辺のみならず、無限対称群の表現論などでも使われている。(通常のものとは異なる)の正値性予想について述べたい。もつものを3次元双曲錐多様体という。p(ホロノミー表現という)が定まる。調和微分1形式で与えられる。全体の微小変形が定まるという点である。3次元双曲錐多様体の微小変形を与えることになる。方程式について変数分離を行って解を求めることができる。超幾何函数で表わされることが分かる。代数群によるガロア群や基本群の近似Gを群とし、Kを体とします。