Related papers: Coherent sheaves on the stack of Langlands paramet…
This is the final paper in the series of five, in which we prove the geometric Langlands conjecture (GLC). We conclude the proof of GLC by showing that there exists a unique (up to tensoring up by a vector space) Hecke eigensheaf…
We explore the relation between the positive dimensional irreducible components of the characteristic varieties of rank one local systems on a smooth surface and the associated (rational or irrational) pencils. Our study, which may viewed…
We show that compatible systems of $\ell$-adic sheaves on a scheme of finite type over the ring of integers of a local field are compatible along the boundary up to stratification. This extends a theorem of Deligne on curves over a finite…
We generalize the local-global compatibility result in arXiv:1506.04022 to higher dimensional cases, by examining the relation between Scholze's functor and cohomology of Kottwitz-Harris-Taylor type Shimura varieties. Along the way we prove…
This is a large audience version of our previous work (see math.AG/0301146) in which we prove the existence of an (exact) equivalence between the category of coherent analytic sheaves and the category of $\bar{\partial}$-coherent sheaves.…
For a coherent filtered D-module we show that the dual of each graded piece over the structure sheaf is isomorphic to a certain graded piece of the ring-theoretic local cohomology complex of the graded quotient of the dual of the filtered…
We revisit sheaves on locales by placing them in the context of the theory of quantale modules. The local homeomorphisms $p:X\to B$ are identified with the Hilbert $B$-modules that are equipped with a natural notion of basis. The…
We propose a geometric interpretation of the classical Rankin-Selberg method for GL(n) in the framework of the geometric Langlands program. We show that the geometric Langlands conjecture for an irreducible unramified local system $E$ of…
In this paper, we show the Langlands correspondence for isocrystals on curves. This shows the existence of crystalline companion in the curve case. For the proof, we construct the theory of arithmetic $\mathscr{D}$-modules for algebraic…
Inspired by the works in linkage theory of modules, we define the concept of linkage of sheaves of modules as a generalization of linkage of modules. Thus, we expressed it in geometry algebraic language. We show that the linkedness of…
In this paper, we investigate the properties of $A$-coherent and $A$-quasi-coherent sheaves within the framework of algebraic geometry over non-algebraically closed fields. We define an $\mathcal{O}_X$-module to be $A$-coherent (resp.…
On a finite-dimensional real vector space, we give a microlocal characterization of (derived) piecewise linear sheaves (PL sheaves) and prove that the triangulated category of such sheaves is generated by sheaves associated with convex…
We describe the set of points of the trianguline variety over a given local Galois representation. Global analogues describing companion points in eigenvariety by [Bre14] and [HN17], can be thought of as a rational analogue to the weight…
Deligne conjectured that a single l-adic lisse sheaf on a normal variety over a finite field can be embedded into a compatible system of l'-adic lisse sheaves with various l'. Drinfeld used Lafforgue's result as an input and proved this…
We calculate the category of D-modules on the loop space of the affine line in coherent terms. Specifically, we find that this category is derived equivalent to the category of ind-coherent sheaves on the moduli space of rank one de Rham…
The first part of this article is a review of the properties expected of any local Langlands correspondence that aims to be considered "canonical," and of known results that establish some or all of these properties for specific groups. In…
We show how derived categories build bridges across the current mathematical mainstream, linking geometric and algebraic, commutative and noncommutative, local and global banks. Arches in these bridges are pieces of semiorthogonal…
Sheaves are objects of a local nature: a global section is determined by how it looks locally. Hence, a sheaf cannot describe mathematical structures which contain global or nonlocal geometric information. To fill this gap, we introduce the…
We present here some conjectures on the diagonalizability of uniform principal bundles on rational homogeneous spaces, that are natural extensions of classical theorems on uniform vector bundles on the projective space, and study the…
In this paper, we give lower bounds for the homology of the fibers of a map to a manifold. Using new sheaf theoretic methods, we show that these lower bounds persist over whole open sets of the manifold, and that they are stable under…