We show that a natural isomorphism between the rational cohomology groups of the two zero-dimensional Hilbert schemes of $n$-points of two surfaces, the affine plane minus the axes and the cotangent bundle of an elliptic curve, exchanges the weight filtration on the first set of cohomology groups with the perverse Leray filtration associated with a natural fibration on the second set of cohomology groups. We discuss some associated hard Lefschetz phenomena.
We prove that the perverse Leray filtration for the Hitchin morphism is locally constant in families, thus providing some evidence towards the validity of the $P=W$ conjecture due to de Cataldo, Hausel and Migliorini in non Abelian Hodge theory.
We initiate and develop a framework to handle the specialization morphism as a filtered morphism for the perverse, and for the perverse Leray filtration, on the cohomology with constructible coefficients of varieties and morphisms parameterized by a curve. As an application, we use this framework to carry out a detailed study of filtered specialization for the Hitchin morphisms associated with the compactification of Dolbeault moduli spaces in [de-2018].
Let $S\to C$ be a smooth quasi-projective surface properly fibered onto a smooth curve. We prove that the multiplicativity of the perverse filtration on $H^*(S^{[n]},\mathbb{Q})$ associated with the natural map $S^{[n]}\to C^{(n)}$ implies that $S\to C$ is an elliptic fibration. The converse is also true when $S\to C$ is a Hitchin-type elliptic fibration.
We prove de Cataldo-Hausel-Migliorini's P=W conjecture in arbitrary rank for parabolic Higgs bundles labeled by the affine Dynkin diagrams $\tilde{A}_0$, $\tilde{D}_4$, $\tilde{E}_6$, $\tilde{E}_7$, and $\tilde{E}_8$. Our proof relies on the study of the tautological classes on the Hilbert scheme of points on an elliptic surface with respect to the perverse filtration.
On an $n$-dimensional locally reduced complex analytic space $X$ on which the shifted constant sheaf $\Q_X^\bullet[n]$ is perverse, it is well-known that, locally, $\Q_X^\bullet[n]$ underlies a mixed Hodge module of weight $\leq n$ on $X$, with weight $n$ graded piece isomorphic to the intersection cohomology complex $\Idot_X$ with constant $\Q$ coefficients. In this paper, we identify the weight $n-1$ graded piece $\Gr_{n-1}^W \Q_X^\bullet[n]$ in the case where $X$ is a "parameterized space", using the comparison complex, a perverse sheaf naturally defined on any space for which the shifted c…
For any two degrees coprime to the rank, we construct a family of ring isomorphisms parameterized by GSp(2g) between the cohomology of the moduli spaces of stable Higgs bundles which preserve the perverse filtrations. As consequences, we prove two structural results concerning the cohomology of Higgs moduli which are predicted by the P=W conjecture in non-abelian Hodge theory: (1) Galois conjugation for character varieties preserves the perverse filtrations for the corresponding Higgs moduli spaces. (2) The restriction of the Hodge-Tate decomposition for a character variety to each piece of th…
We identify the perverse filtration of a Lagrangian fibration with the monodromy weight filtration of a maximally unipotent degeneration of compact hyper-Kähler manifolds.
Let $f \colon X \to Y$ be the blow-up of a smooth projective variety $Y$ along its codimension two smooth closed subvariety. In this paper, we show that the moduli space of stable sheaves on $X$ and $Y$ are connected by a sequence of flip-like diagrams. The result is a higher dimensional generalization of the result of Nakajima and Yoshioka, which is the case of $\dim Y=2$. As an application of our general result, we study the birational geometry of the Hilbert scheme of two points.
We provide further evidence to the $P=W$ conjecture of de Cataldo, Hausel and Migliorini, by checking it in the Painlevé cases. Namely, we compare the perverse Leray filtration induced by the Hitchin map on the cohomology spaces of the Dolbeault moduli space and the weight filtration on the cohomology spaces of the irregular character variety corresponding to each of the Painlevé $I-VI$ systems. We find that the two filtrations agree. Along the way, we prove the Geometric $P=W$ conjecture of Katzarkov, Noll, Pandit and Simpson in the Painlevé cases, and show that in these cases the Geometric $…
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 equivalence 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 variet…
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.
We study the cohomology of Jacobians and Hilbert schemes of points on reduced and locally planar curves, which are however allowed to be singular and reducible. We show that the cohomologies of all Hilbert schemes of all subcurves are encoded in the cohomologies of the fine compactified Jacobians of connected subcurves, via the perverse Leray filtration.
We establish a compact analog of the P = W conjecture. For a holomorphic symplectic variety with a Lagrangian fibration, we show that the perverse numbers associated with the fibration match perfectly with the Hodge numbers of the total space. This builds a new connection between the topology of Lagrangian fibrations and the Hodge theory of hyper-Kähler manifolds. We present two applications of our result, one on the topology of the base and fibers of a Lagrangian fibration, the other on the refined Gopakumar-Vafa invariants of a K3 surface. Furthermore, we show that the perverse filtration as…
In this paper we prove that a classical theorem by McAdam about the analytic spread of an ideal in a Noetherian local ring continues to be true for divisorial filtrations on a two dimensional normal excellent local ring $R$, and that the Hilbert polynomial of the fiber cone of a divisorial filtration on $R$ has a Hilbert function which is the sum of a linear polynomial and a bounded function. We prove these theorems by first studying asymptotic properties of divisors on a resolution of singularities of the spectrum of $R$. The filtration of the symbolic powers of an ideal is an example of a di…
