No Arabic abstract
Classically, the projective duality between joins of varieties and the intersections of varieties only holds in good cases. In this paper, we show that categorically, the duality between joins and intersections holds in the framework of homological projective duality (HPD) [K07], as long as the intersections have expected dimensions. This result together with its various applications provide further evidences for the proposal of homological projective geometry of Kuznetsov and Perry [KP18]. When the varieties are inside disjoint linear subspaces, our approach also provides a new proof of the main result formation of categorical joins commutes with HPD of [KP18]. We also introduce the concept of an $n$-HPD category, and study its properties and connections with joins and HPDs.
Homological Projective duality (HP-duality) theory, introduced by Kuznetsov [42], is one of the most powerful frameworks in the homological study of algebraic geometry. The main result (HP-duality theorem) of the theory gives complete descriptions of bounded derived categories of coherent sheaves of (dual) linear sections of HP-dual varieties. We show the theorem also holds for more general intersections beyond linear sections. More explicitly, for a given HP-dual pair $(X,Y)$, then analogue of HP-duality theorem holds for their intersections with another HP-dual pair $(S,T)$, provided that they intersect properly. We also prove a relative version of our main result. Taking $(S,T)$ to be dual linear subspaces (resp. subbundles), our method provides a more direct proof of the original (relative) HP-duality theorem.
For classical dynamical systems, the polynomial entropy serves as a refined invariant of the topological entropy. In the setting of categorical dynamical systems, that is, triangulated categories endowed with an endofunctor, we develop the theory of categorical polynomial entropy, refining the categorical entropy defined by Dimitrov-Haiden-Katzarkov-Kontsevich. We justify this notion by showing that for an automorphism of a smooth projective variety, the categorical polynomial entropy of the pullback functor on the derived category coincides with the polynomial growth rate of the induced action on cohomology. We also establish in general a Yomdin-type lower bound for the categorical polynomial entropy of an endofunctor in terms of the induced endomorphism on the numerical Grothendieck group of the category. As examples, we compute the categorical polynomial entropy for some standard functors like shifts, Serre functors, tensoring line bundles, automorphisms, spherical twists, P-twists, and so on, illustrating clearly how categorical polynomial entropy refines the study of categorical entropy and enables us to study the phenomenon of categorical trichotomy. A parallel theory of polynomial mass growth rate is developed in the presence of Bridgeland stability conditions.
We count the number of conics through two general points in complete intersections when this number is finite and give an application in terms of quasi-lines.
We present an approach over arbitrary fields to bound the degree of intersection of families of varieties in terms of how these concentrate on algebraic sets of smaller codimension. This provides in particular a substantial extension of the method of degree-reduction that enables it to deal efficiently with higher-dimensional problems and also with high-degree varieties. We obtain sharp bounds that are new even in the case of lines in $mathbb{R}^n$ and show that besides doubly-ruled varieties, only a certain rare family of varieties can be relevant for the study of incidence questions.
We prove that every smooth complete intersection X defined by s hypersurfaces of degree d_1, ... , d_s in a projective space of dimension d_1 + ... + d_s is birationally superrigid if 5s +1 is at most 2(d_1 + ... + d_s + 1)/sqrt{d_1...d_s}. In particular, X is non-rational and Bir(X)=Aut(X). We also prove birational superrigidity of singular complete intersections with similar numerical condition. These extend the results proved by Tommaso de Fernex.