skip to main content

Attention:

The NSF Public Access Repository (NSF-PAR) system and access will be unavailable from 11:00 PM ET on Friday, July 12 until 2:00 AM ET on Saturday, July 13 due to maintenance. We apologize for the inconvenience.


Title: The six functors for Zariski-constructible sheaves in rigid geometry
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
Award ID(s):
1801689 1952399 1840234
NSF-PAR ID:
10339580
Author(s) / Creator(s):
;
Date Published:
Journal Name:
Compositio Mathematica
Volume:
158
Issue:
2
ISSN:
0010-437X
Page Range / eLocation ID:
437 to 482
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. We study the Rouquier dimension of wrapped Fukaya categories of Liouville manifolds and pairs, and apply this invariant to various problems in algebraic and symplectic geometry. On the algebro-geometric side, we introduce a new method based on symplectic flexibility and mirror symmetry to bound the Rouquier dimension of derived categories of coherent sheaves on certain complex algebraic varieties and stacks. These bounds are sharp in dimension at most $3$ . As an application, we resolve a well-known conjecture of Orlov for new classes of examples (e.g. toric $3$ -folds, certain log Calabi–Yau surfaces). We also discuss applications to non-commutative motives on partially wrapped Fukaya categories. On the symplectic side, we study various quantitative questions including the following. (1) Given a Weinstein manifold, what is the minimal number of intersection points between the skeleton and its image under a generic compactly supported Hamiltonian diffeomorphism? (2) What is the minimal number of critical points of a Lefschetz fibration on a Liouville manifold with Weinstein fibers? We give lower bounds for these quantities which are to the best of the authors’ knowledge the first to go beyond the basic flexible/rigid dichotomy. 
    more » « less
  2. 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
  3. Let $X$ be a smooth scheme over a finite field of characteristic $p$.Consider the coefficient objects of locally constant rank on $X$ in $\ell$-adicWeil cohomology: these are lisse Weil sheaves in \'etale cohomology when $\ell\neq p$, and overconvergent $F$-isocrystals in rigid cohomology when $\ell=p$.Using the Langlands correspondence for global function fields in both the\'etale and crystalline settings (work of Lafforgue and Abe, respectively), onesees that on a curve, any coefficient object in one category has "companions"in the other categories with matching characteristic polynomials of Frobeniusat closed points. A similar statement is expected for general $X$; building onwork of Deligne, Drinfeld showed that any \'etale coefficient object has\'etale companions. We adapt Drinfeld's method to show that any crystallinecoefficient object has \'etale companions; this has been shown independently byAbe--Esnault. We also prove some auxiliary results relevant for theconstruction of crystalline companions of \'etale coefficient objects; thissubject will be pursued in a subsequent paper. 
    more » « less
  4. Nadler introduced certain Lagrangian singularities indexed by trees, and determined their microlocal sheaves to be the category of modules over the corresponding tree quiver. Another family of spaces indexed by trees: the tree plumbings of spheres. The Fukaya-Seidel category of the Lefschetz fibration with this plumbing as fiber and all spheres as vanishing cycles is well known to also be modules over the tree quiver. Here we upgrade this matching of categories to a matching of geometry. 
    more » « less
  5. null (Ed.)
    This article extends the notion of a Frobenius power of an ideal in prime characteristic to allow arbitrary nonnegative real exponents. These generalized Frobenius powers are closely related to test ideals in prime characteristic, and multiplier ideals over fields of characteristic zero. For instance, like these well-known families of ideals, Frobenius powers also give rise to jumping exponents that we call critical Frobenius exponents. In fact, the Frobenius powers of a principal ideal coincide with its test ideals, but Frobenius powers appear to be a more refined measure of singularities than test ideals in general. Herein, we develop the theory of Frobenius powers in regular domains, and apply it to study singularities, especially those of generic hypersurfaces. These applications illustrate one way in which multiplier ideals behave more like Frobenius powers than like test ideals. 
    more » « less