The integer-finite local-system conjecture in intersection K-theory
Integer-finite local-system conjecture. Then LLL is an integer finite local system, and there is an isomorphism