Related papers: The stack of local systems with restricted variati…

This is an informal note that explains that the classical Langlands theory over function fields can be obtained from the geometric one by taking the trace of Frobenius. The operation of taking the trace of Frobenius takes place at the…

Through the subsequent discussion we consider a certain particular sort of (topological) algebras, which may substitute the `` structure sheaf algebras'' in many--in point of fact, in all--the situations of a geometrical character that…

In a previous paper, the first and third authors gave an explicit realization of the geometric Langlands correspondence for hypergeometric sheaves, considered as $\textrm{GL}_n$-local systems. Certain hypergeometric local systems admit a…

This is the third installment in a series of papers on algebraic set theory. In it, we develop a uniform approach to sheaf models of constructive set theories based on ideas from categorical logic. The key notion is that of a "predicative…

We study the homotopy theory of locally ordered spaces, that is manifolds with boundary whose charts are partially ordered in a compatible way. Their category is not particularly well-behaved with respect to colimits. However, this category…

We develop the theory of ind-coherent sheaves on schemes and stacks. The category of ind-coherent sheaves is closely related, but inequivalent, to the category of quasi-coherent sheaves, and the difference becomes crucial for the…

We give a framework to produce constructible functions from natural functors between categories, without need of a morphism of moduli spaces to model the functor. We show using the Riemann-Hilbert correspondence that any natural (derived)…

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…

In this paper, we describe a general theory of "spaces with structure sheaves." Specializations of this theory include the classical theory of schemes, the theory of Deligne-Mumford stacks, and their derived generalizations.

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…

Motivated by theoretical analyses of spatially localized structures with arbitrarily long periodic plateaus, we provide a framework of assumptions that simplifies their analysis and leads to a topological criterion for when localized…

The aim of this paper is to give a unified definition of a large class of discriminants arising in algebraic geometry using the discriminant of a morphism of locally free sheaves. The discriminant of a morphism of locally free sheaves has a…

In this paper, we investigate the local Euler obstruction and the relative local Euler obstruction in terms of constructible complexes of sheaves, characteristic cycles, and vanishing cycles. The fundamental tool that we use is the notion…

This paper performs the following steps toward the proof of GLC in the de Rham setting: (i) We deduce GLC for G=GL_n; (ii) We prove that the Langlands functor L_G constructed in [GLC1], when restricted to the cuspidal category, is…

Systems of ordinary differential equations (or dynamical forms in Lagrangian mechanics), induced by embeddings of smooth fibered manifolds over one-dimensional basis, are considered in the class of variational equations. For a given…

We formalize the concept of sheaves of sets on a model site by considering variables thereof, or motifs, and we construct functorially defined derived algebraic stacks from them, thereby eliminating the necessity to choose derived…

In [1] we introduced the concept of structured space, which is a topological space that locally resembles some algebraic structures. In [2] we proceeded the study of these spaces, developing two cohomology theories. The aim of this paper is…

We introduce and motivate -- based on ongoing joint work with Germ\'an Stefanich -- the notion of potent categorical representations of a complex reductive group $G$, specifically a conjectural Langlands correspondence identifying potent…

We apply the technique of S^1-equivariant localization to sheaves on loop spaces in derived algebraic geometry, and obtain a fundamental link between two families of categories at the heart of geometric representation theory. Namely, we…

We show that local-global compatibility (at split primes) away from $p$ holds at all points of the $p$-adic eigenvariety of a definite $n$-variable unitary group. The novelty is we allow non-classical points, possibly non-\'{e}tale over…