非コンパクト型量子群は非可換微分幾何学の一つの強力なモデルらしいよ。