اشترك بالحزمة الذهبية واحصل على وصول غير محدود شمرا أكاديميا
تسجيل مستخدم جديدHodge theory and derived categories of cubic fourfolds
173
0
0.0
(
0
)
اسأل ChatGPT حول البحث
ﻻ يوجد ملخص باللغة العربية
Cubic fourfolds behave in many ways like K3 surfaces. Certain cubics - conjecturally, the ones that are rational - have specific K3s associated to them geometrically. Hassett has studied cubics with K3s associated to them at the level of Hodge theory, and Kuznetsov has studied cubics with K3s associated to them at the level of derived categories. These two notions of having an associated K3 should coincide. We prove that they coincide generically: Hassetts cubics form a countable union of irreducible Noether-Lefschetz divisors in moduli space, and we show that Kuznetsovs cubics are a dense subset of these, forming a non-empty, Zariski open subset in each divisor.
قيم البحث
اقرأ أيضاً
A classical result of Bondal-Orlov states that a standard flip in birational geometry gives rise to a fully faithful functor between derived categories of coherent sheaves. We complete their embedding into a semiorthogonal decomposition by describing
the complement. As an application, we can lift the quadratic Fano correspondence (due to Galkin-Shinder) in the Grothendieck ring of varieties between a smooth cubic hypersurface, its Fano variety of lines, and its Hilbert square, to a semiorthogonal decomposition. We also show that the Hilbert square of a cubic hypersurface of dimension at least 3 is again a Fano variety, so in particular the Fano variety of lines on a cubic hypersurface is a Fano visitor. The most interesting case is that of a cubic fourfold, where this exhibits the first higher-dimensional hyperkahler variety as a Fano visitor.
We show that the maximal number of planes in a complex smooth cubic fourfold in ${mathbb P}^5$ is $405$, realized by the Fermat cubic only; the maximal number of real planes in a real smooth cubic fourfold is $357$, realized by the so-called Clebsch-
-Segre cubic. Altogether, there are but three (up to projective equivalence) cubics with more than $350$ planes.
In [1309.1899], Ranestad and Voisin showed, quite surprisingly, that the divisor in the moduli space of cubic fourfolds consisting of cubics apolar to a Veronese surface is not a Noether-Lefschetz divisor. We give an independent proof of this by exhi
biting an explicit cubic fourfold X in the divisor and using point counting methods over finite fields to show X is Noether-Lefschetz general. We also show that two other divisors considered in [ibid.] are not Noether-Lefschetz divisors.
We show the existence of rank 6 Ulrich bundles on a smooth cubic fourfold. First, we construct a simple sheaf E of rank 6 as an elementary modification of an ACM bundle of rank 6 on a smooth cubic fourfold. Such an E appears as an extension of two Le
hn-Lehn-Sorger-van Straten sheaves. Then we prove that a general deformation of E(1) becomes Ulrich. In particular, this says that general cubic fourfolds have Ulrich complexity 6.
We prove that the Chow motives of two smooth cubic fourfolds whose Kuznetsov components are Fourier-Mukai derived-equivalent are isomorphic as Frobenius algebra objects. As a corollary, we obtain that there exists a Galois-equivariant isomorphism bet
ween their l-adic cohomology Frobenius algebras. We also discuss the case where the Kuznetsov component of a smooth cubic fourfold is Fourier-Mukai derived-equivalent to a K3 surface.
سجل دخول لتتمكن من نشر تعليقات
التعليقات
جاري جلب التعليقات
سجل دخول لتتمكن من متابعة معايير البحث التي قمت باختيارها
