Related papers: Categorical K\"unneth formulas for analytic stacks

We lift Grothendieck-Verdier-Spaltenstein's six functor formalism for derived categories of sheaves on ringed spaces over a field to differential graded enhancements. Our main tools come from enriched model category theory.

In this paper, a new invariant was built towards the classification of separable C*-algebras of real rank zero, which we call latticed total K-theory. A classification theorem is given in terms of such an invariant for a large class of…

We provide a universal characterization of the construction taking a scheme $X$ to its stable $\infty$-category $\text{Mot}(X)$ of noncommutative motives, patterned after the universal characterization of algebraic K-theory due to…

In this article, we develop a theory of Grothendieck's six operations for derived categories in \'etale cohomology of Artin stacks, for both torsion and adic coefficients. We prove several desired properties of the operations, including the…

Let $G$ be a finite group of Lie type. In studying the cross-characteristic representation theory of $G$, the (specialized) Hecke algebra $H=\End_G(\ind_B^G1_B)$ has played a important role. In particular, when $G=GL_n(\mathbb F_q)$ is a…

The Stanley-Stembridge conjecture associates a symmetric function to each natural unit interval order $\mathcal P$. In this paper, we define relations \`a la Knuth on the symmetric group for each $\mathcal P$ and conjecture that the…

Let p at least 5 be prime. We construct a fully faithful functor from the derived category of all smooth p-adic representations of GL_2(Q_p) (with a fixed central character) to a derived category of Ind-coherent sheaves on a stack of…

We prove: $\mathbf{Theorem}$ Let $K$ be a universal class. If $K$ is categorical in cardinals of arbitrarily high cofinality, then $K$ is categorical on a tail of cardinals. The proof stems from ideas of Adi Jarden and Will Boney, and also…

We prove a Lefschetz theorem for the Tannakian group scheme of $\mathcal{D}$-modules, in arbitrary characteristic. In characteristic $0$, We prove a K\"unneth formula for the Tannakian group scheme of regular singular integrable…

We develop Tannaka duality theory for dg categories. To any dg functor from a dg category $\mathcal{A}$ to finite-dimensional complexes, we associate a dg coalgebra $C$ via a Hochschild homology construction. When the dg functor is…

We study complexes of stable $\infty$-categories, referred to as categorical complexes. As we demonstrate, examples of such complexes arise in a variety of subjects including representation theory, algebraic geometry, symplectic geometry,…

Kirillov and Naruse have constructed double Grothendieck polynomials to represent the equivariant K-theory classes of Schubert varieties in the complete flag manifolds of types B, C, and D. We derive a recursive formula for these…

We develop the theory of recollements in a stable $\infty$-categorical setting. In the axiomatization of Beilinson, Bernstein and Deligne, recollement situations provide a generalization of Grothendieck's "six functors" between derived…

Let $\mathfrak{g}$ be a symmetrizable Kac-Moody algebra, $U_q(\mathfrak{g})$ its quantum group, and $U_q(\mathfrak{k}) \subset U_q(\mathfrak{g})$ a quantum symmetric pair subalgebra determined by a Lie algebra automorphism $\theta$. We…

We associate a t-structure to a family of objects in D(A), the derived category of a Grothendieck category A. Using general results on t-structures, we give a new proof of Rickard's theorem on equivalence of bounded derived categories of…

A geometric stack is a quasi-compact and semi-separated algebraic stack. We prove that the quasi-coherent sheaves on the small flat topology, Cartesian presheaves on the underlying category, and comodules over a Hopf algebroid associated to…

We introduce an expansion formula for elements in quantum cluster algebras associated to type A and Kronecker quivers with principal quantization. Our formula is parametrized by perfect matchings of snake graphs as in the classical case. In…

We provide a uniform construction of "mixed versions" or "graded lifts" in the sense of Beilinson-Ginzburg-Soergel which works for arbitrary Artin stacks. In particular, we obtain a general construction of graded lifts of many categories…

In this paper we introduce and study the so-called continuous $K$-theory for a certain class of "large" stable $\infty$-categories, more precisely, for dualizable presentable categories. For compactly generated categories, the continuous…

Improved local and global versions of the effective Nullstellensatz for ideal sheaves on non-singular complex varieties are obtained, based on a new invariant motivated by the notion of finite type from the theory of several complex…