量子代数诱导函子H~0(U/U~(b,-))的系数扩张

令U为量子代数,则H~0(U/U~(b,-))表示以A为基环的量子代数U的一个诱导函子.当基环A扩张为A代数Γ时,相应的H~0(U/U~(b,-))变为H~0_Γ(U_Γ/U~(b,-)_Γ).文章指出在一维(秩1)Ub模上的诱导函子H~0(U/U~(b,-)),其零次诱导模的系数可扩展到A代数Γ上,即证明了对λ∈X~+,有U_Γ模同构H~0(λ)Γ≌H~0_Γ(λ_Γ).同时,若Γ作为A模是平坦的,则有扩张后的函子H~0_Γ(U_Γ/U~(0,-)_Γ)是正合的.