Relative Integral Functors for Singular Fibrations and Singular Partners

Orthogonally spherical objects and spherical fibrations

We introduce a relative version of the spherical objects of Seidel and Thomas. Define an object E in the derived category D(Z x X) to be spherical over Z if the corresponding functor from D(Z) to D(X) gives rise to autoequivalences of D(Z) and D(X) in a certain natural way. Most known examples come from subschemes of X fibred over Z. This categorifies to the notion of an object of D(Z x X) orthogonal over Z. We prove that such an object is spherical over Z if and only if it has certain cohomological properties similar to those in the original definition of a spherical object. We then interpret…

Partial Fourier--Mukai transform for integrable systems with applications to Hitchin fibration

Let X be an abelian scheme over a scheme B. The Fourier--Mukai transform gives an equivalence between the derived category of X and the derived category of the dual abelian scheme. We partially extend this to certain schemes X over B (which we call degenerate abelian schemes) whose generic fiber is an abelian variety, while special fibers are singular. Our main result provides a fully faithful functor from a twist of the derived category of Pic$^τ$(X/B) to the derived category of X. Here Pic$^τ$(X/B) is the algebraic space classifying fiberwise numerically trivial line bundles. Next, we show t…

完全忠实函子、摩天层束与双有理等价

Fully faithful functors, skyscraper sheaves, and birational equivalence

研究光滑射影簇间完全忠实正合函子将摩天层映射到摩天层时双有理等价的条件，并在同维数下证明特定几何条件下Y与X的Fourier--Mukai伙伴双有理等价。

Birational geometry of Beauville-Mukai systems III: asymptotic behavior

Suppose that a Hilbert scheme of points on a K3 surface S of Picard rank one admits a rational Lagrangian fibration. We show that if the degree of the surface is sufficiently large compared to the number of points, then the Hilbert scheme is the unique hyperkähler manifold in its birational class. In particular, the Hilbert scheme is a Lagrangian fibration itself, which we realize as coming from a (twisted) Beauville-Mukai system on a Fourier-Mukai partner of S. We also show that when the degree of the surface is small our method can be used to find all birational models of the Hilbert scheme.

Moduli spaces of torsion sheaves on K3 surfaces and derived equivalences

We show that for many moduli spaces M of torsion sheaves on K3 surfaces S, the functor D(S) -> D(M) induced by the universal sheaf is a P-functor, hence can be used to construct an autoequivalence of D(M), and that this autoequivalence can be factored into geometrically meaningful equivalences associated to abelian fibrations and Mukai flops. Along the way we produce a derived equivalence between two compact hyperkaehler 2g-folds that are not birational, for every g >= 2. We also speculate about an approach to showing that birational moduli spaces of sheaves on K3 surfaces are derived-equivale…

椭圆 K3 曲面与 Jacobian 的导出等价

Derived equivalence of elliptic K3 surfaces and Jacobians

本文研究 K3 的 Fourier–Mukai 伙伴上的导出椭圆结构，利用 Hodge 数据与判别群完成分类，并据此回答椭圆 K3 曲面伙伴是否均为 Jacobian 的问题。

A Projective Model Structure on Pro Simplicial Sheaves, and the Relative Étale Homotopy Type

In this work we shall introduce a new model structure on the category of pro-simplicial sheaves, which is very convenient for the study of étale homotopy. Using this model structure we define a pro-space associated to a topos, as a result of applying a derived functor. We show that our construction lifts Artin and Mazur's étale homotopy type [AM] in the relevant special case. Our definition extends naturally to a relative notion, namely, a pro-object associated to a map of topoi. This relative notion lifts the relative étale homotopy type that was used in [HaSc] for the study of obstructions t…