What are situations where one can conclude that all entries of an intersection form are divisible by a fixed integer? More precisely: $F \subset S$ is a proper connected (usually reducible) ...
Suppose I am in the setting of the decomposition theorem, i.e., we have the decomposition of the direct image $f_*\mathbb Q_\ell$, where $f:X\to Y$ is proper. Then the direct image decomposes into a ...
Which statement do people usually call the Decomposition Theorem, and what is the precise reference for it?
Which statement is usually called the Decomposition Theorem (for perverse sheaves)? Is this (roughly): a proper pushforward of an intersection complex could be decomposed into a direct sum of ...