Theorem 2.13:  ([1]}, Theorem 3.5)
The monodromy group is a finite index subgroup in \(O(H^2(M, {Z}), q)\) 
(and the Hodge monodromy is therefore an arithmetic subgroup of the orthogonal group of the
Picard lattice).
