We prove several results concerning the intersection cohomology and the perverse filtration associated with a Lagrangian fibration of an irreducible symplectic variety. We first show that the perverse numbers only depend on the deformation equivalenc
e class of the ambient variety. Then we compute the border of the perverse diamond, which further yields a complete description of the intersection cohomology of the Lagrangian base and the invariant cohomology classes of the fibers. Lastly, we identify the perverse and Hodge numbers of intersection cohomology when the irreducible symplectic variety admits a symplectic resolution. These results generalize some earlier work by the second and third authors in the nonsingular case.
We compute the integral cohomology groups of the smooth Brill-Noether varieties $G^r_d(C)$, parametrizing linear series of degree $d$ and dimension exactly $r$ on a general curve $C$. As an application, we determine the whole intersection cohomology
of the singular Brill-Noether loci $W^r_d(C)$, parametrizing complete linear series on $C$ of degree $d$ and dimension at least $r$.
We state and prove in modern terms a Splitting Principle first claimed by Beniamino Segre in 1938, which should be regarded as a strong form of the classical Principle of Connectedness.
Let $C$ be a smooth projective curve of genus $2$. Following a method by O Grady, we construct a semismall desingularization $tilde{mathcal{M}}_{Dol}^G$ of the moduli space $mathcal{M}_{Dol}^G$ of semistable $G$-Higgs bundles of degree 0 for $G=GL(2,
mathbb{C}), SL(2,mathbb{C})$. By the decomposition theorem by Beilinson, Bernstein, Deligne one can write the cohomology of $tilde{mathcal{M}}_{Dol}^G$ as a direct sum of the intersection cohomology of $mathcal{M}_{Dol}^G$ plus other summands supported on the singular locus. We use this splitting to compute the intersection cohomology of $mathcal{M}_{Dol}^G$ and prove that the mixed Hodge structure on it is actually pure, in analogy with what happens to ordinary cohomology in the smooth case of coprime rank and degree.
Consider a family of integral complex locally planar curves. We show that under some assumptions on the basis, the relative nested Hilbert scheme is smooth. In this case, the decomposition theorem of Beilinson, Bernstein and Deligne asserts that the
pushforward of the constant sheaf on the relative nested Hilbert scheme splits as a direct sum of shifted semisimple perverse sheaves. We will show that no summand is supported in positive codimension.
