Related papers: Curve test for enhanced ind-sheaves and holonomic …

We present a Langlands dual realization of the putative category of affine character sheaves. Namely, we calculate the categorical center and trace (also known as the Drinfeld center and trace, or categorical Hochschild cohomology and…

We investigate the hypercohomologies of truncated twisted holomorphic de Rham complexes on (not necessarily compact) complex manifolds. In particular, we generalize Leray-Hirsch, K\"{u}nneth and Poincar\'{e}-Serre duality theorems on them.…

Let $k$ be a field of characteristic zero. By using Hironaka's desingularisation theorem, we prove an extension criterion for a functor defined on nonsingular k-schemes and taking values on a category of complexes. Roughly speaking, the…

We introduce and study kernel algebras, i.e., algebras in the category of sheaves on a square of a scheme, where the latter category is equipped with a monoidal structure via a natural convolution operation. We show that many interesting…

Motivated by applications to the categorical and geometric local Langlands correspondences, we establish an equivalence between the category of filtered $\mathcal{D}$-modules on a smooth stack $X$ and the category of $S^1$-equivariant…

Injective resolutions of modules are key objects of homological algebra, which are used for the computation of derived functors. Semiinjective resolutions of chain complexes are more general objects, which are used for the computation of…

We study Translation functors and Wall-Crossing functors on infinite dimensional representations of a complex semisimple Lie algebra using D-modules. This functorial machinery is then used to prove the Endomorphism-theorem and the…

We define, for a regular scheme $S$ and a given field of characteristic zero $\KK$, the notion of $\KK$-linear mixed Weil cohomology on smooth $S$-schemes by a simple set of properties, mainly: Nisnevich descent, homotopy invariance,…

Associated with a smooth, $d$-closed $(1, 1)$-form $\alpha$ of possibly non-rational De Rham cohomology class on a compact complex manifold $X$ is a sequence of asymptotically holomorphic complex line bundles $L_k$ on $X$ equipped with $(0,…

For a finite set A of integral vectors, Gel'fand, Kapranov and Zelevinskii defined a system of differential equations with a parameter vector as a D-module, which system is called an A-hypergeometric (or a GKZ hypergeometric) system.…

We study functors underlying derived Hochschild cohomology, also called Shukla cohomology, of a commutative algebra S essentially of finite type and of finite flat dimension over a commutative noetherian ring K. We construct a complex of…

Let $X$ be a smooth projective and geometrically irreducible curve over the finite field $\mathbb{F}_q$ with $q$ elements and $K$ be its function field. Let $\infty$ be a fixed closed point on $X$ and $A$ be the ring of functions regular…

We construct a motivic spectral sequence for the relative homotopy invariant K-theory of a closed immersion of schemes $D \subset X$. The $E_2$-terms of this spectral sequence are the cdh-hypercohomology of a complex of equi-dimensional…

In algebraic geometry, Gromov--Witten invariants are enumerative invariants that count the number of complex curves in a smooth projective variety satisfying some incidence conditions. In 2001, A. Givental and Y.P. Lee defined new…

In this paper we construct a family of cohomology classes on the moduli space of stable curves generalizing Witten's $r$-spin classes. They are parameterized by a phase space which has one extra dimension and in genus $0$ they correspond to…

Let $X$ be a complex manifold, and let $Y$ and $D$ be two reduced simple-normal-crossing (snc) divisors on $X$ with no common irreducible components. Given a proper locally K\"ahler morphism $\pi \colon X \to \Delta$ from $X$ to a complex…

For a commutative ring $\mathbf k$ with unit, we describe and study various differential graded $\mathbf k$-modules and $ \mathbf k$-algebras which are models for the cohomology of polyhedral products $(\underline{CX},\underline X)^K$.…

In Schubert Puzzles and Integrability I we proved several "puzzle rules" for computing products of Schubert classes in K-theory (and sometimes equivariant K-theory) of d-step flag varieties. The principal tool was "quantum integrability",…

We develop the theory of ind-geometric stacks, in particular their coherent and ind-coherent sheaf theory. This provides a convenient framework for working with equivariant sheaves on ind-schemes, especially in derived settings. Motivating…

We present a simple unified formula expressing the denominators of the normalized R-matrices between the fundamental modules over the quantum loop algebras of type ADE. It has an interpretation in terms of representations of the Dynkin…