Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userOn intersection cohomology and Lagrangian fibrations of irreducible symplectic varieties
165
0
0.0
(
0
)
Ask ChatGPT about the research
No Arabic abstract
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 variety admits a symplectic resolution. These results generalize some earlier work by the second and third authors in the nonsingular case.
rate research
Read More
Let $(M,I, Omega)$ be a holomorphically symplectic manifold equipped with a holomorphic Lagrangian fibration $pi:; M mapsto X$, and $eta$ a closed form of Hodge type (1,1)+(2,0) on $X$. We prove that $Omega:=Omega+pi^* eta$ is again a holomorphically symplectic form, for another complex structure $I$, which is uniquely determined by $Omega$. The corresponding deformation of complex structures is called degenerate twistorial deformation. The map $pi$ is holomorphic with respect to this new complex structure, and $X$ and the fibers of $pi$ retain the same complex structure as before. Let $s$ be a smooth section of of $pi$. We prove that there exists a degenerate twistorial deformation $(M,I, Omega)$ such that $s$ is a holomorphic section.
Let $X^{2n}subseteq mathbb{P} ^N$ be a smooth projective variety. Consider the intersection cohomology complex of the local system $R^{2n-1}pi{_*}mathbb{Q}$, where $pi$ denotes the projection from the universal hyperplane family of $X^{2n}$ to ${(mathbb{P} ^N)}^{vee}$. We investigate the cohomology of the intersection cohomology complex $IC(R^{2n-1}pi{_*}mathbb{Q})$ over the points of a Severis variety, parametrizing nodal hypersurfaces, whose nodes impose independent conditions on the very ample linear system giving the embedding in $mathbb{P} ^N$.
We investigate the equivariant intersection cohomology of a toric variety. Considering the defining fan of the variety as a finite topological space with the subfans being the open sets (that corresponds to the toric topology given by the invariant open subsets), equivariant intersection cohomology provides a sheaf (of graded modules over a sheaf of graded rings) on that fan space. We prove that this sheaf is a minimal extension sheaf, i.e., that it satisfies three relatively simple axioms which are known to characterize such a sheaf up to isomorphism. In the verification of the second of these axioms, a key role is played by equivariantly formal toric varieties, where equivariant and usual (non-equivariant) intersection cohomology determine each other by Kunneth type formulae. Minimal extension sheaves can be constructed in a purely formal way and thus also exist for non-rational fans. As a consequence, we can extend the notion of an equivariantly formal fan even to this general setup. In this way, it will be possible to introduce virtual intersection cohomology for equivariantly formal non-rational fans.
Let $M$ be a hyperkahler manifold of maximal holonomy (that is, an IHS manifold), and let $K$ be its Kahler cone, which is an open, convex subset in the space $H^{1,1}(M, R)$ of real (1,1)-forms. This space is equipped with a canonical bilinear symmetric form of signature $(1,n)$ obtained as a restriction of the Bogomolov-Beauville-Fujiki form. The set of vectors of positive square in the space of signature $(1,n)$ is a disconnected union of two convex cones. The positive cone is the component which contains the Kahler cone. We say that the Kahler cone is round if it is equal to the positive cone. The manifolds with round Kahler cones have unique bimeromorphic model and correspond to Hausdorff points in the corresponding Teichmuller space. We prove thay any maximal holonomy hyperkahler manifold with $b_2 > 4$ has a deformation with round Kahler cone and the Picard lattice of signature (1,1), admitting two non-collinear integer isotropic classes. This is used to show that all known examples of hyperkahler manifolds admit a deformation with two transversal Lagrangian fibrations, and the Kobayashi metric vanishes unless the Picard rank is maximal.
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.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
