Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userOn the cohomology of Gushel-Mukai sixfolds
61
0
0.0
(
0
)
Ask ChatGPT about the research
No Arabic abstract
We provide a stable rationality construction for some smooth complex Gushel-Mukai varieties of dimension 6. As a consequence, we compute the integral singular cohomology of any smooth Gushel-Mukai sixfold and in particular, show that it is torsion-free.
rate research
Read More
The Kuznetsov component $mathcal{K}u(X)$ of a Gushel--Mukai (GM) threefold has two numerical $(-1)$-classes with respect to the Euler form. We describe the Bridgeland moduli spaces for stability conditions on Kuznetsov components with respect to each of the $(-1)$-classes and prove refined and birational categorical Torelli theorems in terms of $mathcal{K}u(X)$. We also prove a categorical Torelli theorem for special GM threefolds. We study the smoothness and singularities on Bridgeland moduli spaces for all smooth GM threefolds and use this to prove a conjecture of Kuznetsov--Perry in dimension three under a mild assumption. Finally, we use our moduli spaces to restate a conjecture of Debarre--Iliev--Manivel regarding fibers of the period map for ordinary GM threefolds. We also prove the restatement of this conjecture infinitesimally using Hochschild (co)homology.
We describe the moduli stack of Gushel-Mukai varieties as a global quotient stack and its coarse moduli space as the corresponding GIT quotient. The construction is based on a comprehensive study of the relation between this stack and the stack of Lagrangian data; roughly speaking, we show that the former is a generalized root stack of the latter. As an application, we define the period map for Gushel-Mukai varieties and construct some complete nonisotrivial families of smooth Gushel-Mukai varieties. In an appendix, we describe a generalization of the root stack construction used in our approach to the moduli space.
Beauville and Donagi proved in 1985 that the primitive middle cohomology of a smooth complex cubic fourfold and the primitive second cohomology of its variety of lines, a smooth hyperkahler fourfold, are isomorphic as polarized integral Hodge structures. We prove analogous statements for smooth complex Gushel-Mukai varieties of dimension 4 (resp. 6), i.e., smooth dimensionally transverse intersections of the cone over the Grassmannian Gr(2,5), a quadric, and two hyperplanes (resp. of the cone over Gr(2,5) and a quadric). The associated hyperkahler fourfold is in both cases a smooth double cover of a hypersurface in ${bf P}^5$ called an EPW sextic.
A theorem by Orlov states that any equivalence between the bounded derived categories of coherent sheaves of two smooth projective varieties, X and Y, is isomorphic to a Fourier-Mukai transform with kernel in the bounded derived category of coherent sheaves of the product XxY. In the case of an exact functor which is not necessarily fully faithful, we compute some sheaves that play the role of the cohomology sheaves of the kernel, and that are isomorphic to the latter whenever an isomorphism to a Fourier-Mukai transform exists. We then exhibit a class of functors that are not full or faithful and still satisfy the above result.
We show that the adjunction counits of a Fourier-Mukai transform $Phi$ from $D(X_1)$ to $D(X_2)$ arise from maps of the kernels of the corresponding Fourier-Mukai transforms. In a very general setting of proper separable schemes of finite type over a field we write down these maps of kernels explicitly -- facilitating the computation of the twist (the cone of an adjunction counit) of $Phi$. We also give another description of these maps, better suited to computing cones if the kernel of $Phi$ is a pushforward from a closed subscheme $Z$ of $X_1 times X_2$. Moreover, we show that we can replace the condition of properness of the ambient spaces $X_1$ and $X_2$ by that of $Z$ being proper over them and still have this description apply as is. This can be used, for instance, to compute spherical twists on non-proper varieties directly and in full generality.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
