Related papers: Categorical Torelli theorems: results and open pro…

The study of embeddings of smooth manifolds into Euclidean and projective spaces has been for a long time an important area in topology. In this paper we obtain improvements of classical results on embeddings of smooth manifolds, focusing…

We associate to each toric vector bundle on a toric variety X(Delta) a "branched cover" of the fan Delta together with a piecewise-linear function on the branched cover. This construction generalizes the usual correspondence between toric…

An unrepresentable cohomological functor of finite type of the bounded derived category of coherent sheaves of a compact complex manifold of dimension greater than one with no proper closed subvariety is given explicitly in categorical…

It known from the work of Feigin-Tsygan, Weibel and Keller that the cohomology groups of a smooth complex variety X can be recovered from (roughly speaking) its derived category of coherent sheaves. In this paper we show that for a finite…

By Torelli topology the author understands aspects of the topology of surfaces (potentially) relevant to the study of Torelli groups. The extension problem in Torelli topology is the problem of determining when a diffeomorphism of compact…

A reduced divisor on a nonsingular variety defines the sheaf of logarithmic 1-forms. We introduce a certain coherent sheaf whose double dual coincides with this sheaf. It has some nice properties, for example, the residue exact sequence…

We firstly introduce some key concepts in category theory, such as quotient category, completion of limits, $\mathrm{Mor}$ category, and so on; then give the concept of topology algebras and sheaves, and discuss how to restore the structue…

We construct algorithms and topological invariants that allow us to distinguish the topological type of a surface, as well as functions and vector fields for their topological equivalence. In the first part (arXiv:2501.15657), we discused…

We apply the theory of finite-type invariants of homology 3-spheres to investigate the structure of the Torelli group. We construct natural cocycles in the Torelli group and show that the lower central series quotients of the Torelli group…

We classify all possible automorphism groups of smooth cubic surfaces over an algebraically closed field of arbitrary characteristic. As an intermediate step we also classify automorphism groups of quartic del Pezzo surfaces. We show that…

We define the notion of complex stratification by quasifolds and show that such spaces occur as complex quotients by certain nonclosed subgroups of tori associated to convex polytopes. The spaces thus obtained provide a natural…

Theories of classification distinguish classes with some good structure theorem from those for which none is possible. Some classes (dense linear orders, for instance) are non-classifiable in general, but are classifiable when we consider…

This paper contains two results concerning the equivariant K-theory of toric varieties. The first is a formula for the equivariant K-groups of an arbitrary affine toric variety, generalizing the known formula for smooth ones. In fact, this…

We construct a new autoequivalence of the derived category of the Hilbert scheme of n points on a K3 surface, and of the variety of lines on a smooth cubic 4-fold. For Hilb^2 and the variety of lines, we use the theory of spherical…

We introduce a notion of complexity of diagrams (and in particular of objects and morphisms) in an arbitrary category, as well as a notion of complexity of functors between categories equipped with complexity functions. We discuss several…

We investigate combinatorial aspects of exceptional sequences in the derived category of coherent sheaves on certain smooth and complete algebraic surfaces. We show that to any such sequence there is canonically associated a complete toric…

We prove that the first order deformations of two smooth projective K3 surfaces are derived equivalent under a Fourier--Mukai transform if and only if there exists a special isometry of the total cohomology groups of the surfaces which…

We prove a coherence theorem for invertible objects in a symmetric monoidal category. This is used to deduce associativity, skew-commutativity, and related results for multi-graded morphism rings, generalizing the well-known versions for…

We develop a `universal' support theory for derived categories of constructible (analytic or \'etale) sheaves, holonomic D-modules, mixed Hodge modules and others. As applications we classify such objects up to the tensor triangulated…

We investigate equivariant birational geometry of rational surfaces and threefolds from the perspective of derived categories.