代数多様体tが与えられると、指標の群hom(t,cx)は格子を形成する。