skip to main content
US FlagAn official website of the United States government
dot gov icon
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
https lock icon
Secure .gov websites use HTTPS
A lock ( lock ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.


Title: Quantitative sheaf theory
We introduce a notion of complexity of a complex of ℓ \ell -adic sheaves on a quasi-projective variety and prove that the six operations are “continuous”, in the sense that the complexity of the output sheaves is bounded solely in terms of the complexity of the input sheaves. A key feature of complexity is that it provides bounds for the sum of Betti numbers that, in many interesting cases, can be made uniform in the characteristic of the base field. As an illustration, we discuss a few simple applications to horizontal equidistribution results for exponential sums over finite fields.  more » « less
Award ID(s):
2101491
PAR ID:
10418244
Author(s) / Creator(s):
; ; ;
Date Published:
Journal Name:
Journal of the American Mathematical Society
Volume:
36
Issue:
3
ISSN:
0894-0347
Page Range / eLocation ID:
653 to 726
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. Brill-Noether Theorems play a central role in the birational geometry of moduli spaces of sheaves on surfaces. This paper surveys recent work on the Brill-Noether problem for rational surfaces. In order to highlight some of the difficulties for more general surfaces, we show that moduli spaces of rank 2 sheaves on very general hypersurfaces of degree d in P3 can have arbitrarily many irreducible components as d tends to infinity. 
    more » « less
  2. Abstract We show that, for any fixed weight, there is a natural system of Hodge sheaves, whose Higgs field has no poles, arising from a flat projective family of varieties parametrized by a regular complex base scheme, extending the analogous classical result for smooth projective families due to Griffiths. As an application, based on positivity of direct image sheaves, we establish a criterion for base spaces of rational Gorenstein families to be of general type. A key component of our arguments is centered around the construction of derived categorical objects generalizing relative logarithmic forms for smooth maps and their functorial properties. 
    more » « less
  3. We prove a generic smoothness result in rigid analytic geometry over a characteristic zero non-archimedean field. The proof relies on a novel notion of generic points in rigid analytic geometry which are well adapted to ‘spreading out’ arguments, in analogy with the use of generic points in scheme theory. As an application, we develop a six-functor formalism for Zariski-constructible étale sheaves on characteristic zero rigid spaces. Among other things, this implies that characteristic zero rigid spaces support a well-behaved theory of perverse sheaves. 
    more » « less
  4. Here we introduce a series of associative algebras attached to a vertex operator algebra V of CFT type, called mode transition algebras, and show they reflect both algebraic properties of V and geometric constructions on moduli of curves. Pointed and coordinatized curves, labeled by admissible V-modules, give rise to sheaves of coinvariants. We show that if the mode transition algebras admit multiplicative identities satisfying certain natural properties (called strong identity elements), these sheaves deform as wanted on families of curves with nodes. This provides new contexts in which coherent sheaves of coinvariants form vector bundles. We also show that mode transition algebras carry information about higher level Zhu algebras and generalized Verma modules. To illustrate, we explicitly describe the higher level Zhu algebras of the Heisenberg vertex operator algebra, proving a conjecture of Addabbo–Barron. 
    more » « less
  5. Abstract We study the dualizability of sheaves on manifolds with isotropic singular supports $$\operatorname{Sh}_\Lambda (M)$$ and microsheaves with isotropic supports $$\operatorname{\mu sh}_\Lambda (\Lambda )$$ and obtain a classification result of colimit-preserving functors by convolutions of sheaf kernels. Moreover, for sheaves with isotropic singular supports and compact supports $$\operatorname{Sh}_\Lambda ^{b}(M)_{0}$$, the standard categorical duality and Verdier duality are related by the wrap-once functor, which is the inverse Serre functor in proper objects, and we thus show that the Verdier duality extends naturally to all compact objects $$\operatorname{Sh}_\Lambda ^{c}(M)_{0}$$ when the wrap-once functor is an equivalence, for instance, when $$\Lambda $$ is a full Legendrian stop or a swappable Legendrian stop. 
    more » « less