Related papers: Classicality of derived Emerton-Gee stack

We prove modularity of certain residually reducible ordinary 2-dimensional $p$-adic Galois representations with determinant a finite order odd character $\chi$. For certain non-quadratic $\chi$ we prove an $R=T$ result for $T$ the weight 1…

Building on Olander's work on algebraic spaces, we prove Orlov's representability theorem relating fully faithful functors and Fourier--Mukai transforms between the bounded derived category of coherent sheaves to the case of smooth, proper,…

The purpose of this paper is to shed a new light on classical constructions in enumerative geometry from the view point of derived algebraic geometry. We first prove that the cosection localized virtual cycle of a quasi-smooth derived…

We show that equivariant tilting modules over equivariant algebras induce equivalences of derived factorization categories. As an application, we show that the derived category of a noncommutative resolution of a linear section of a…

Proving representability of derived moduli stacks of solutions to non-linear elliptic partial differential equations generally requires significant analytic machinery. In this paper, we instead show that representability naturally follows…

We prove a Hochschild--Konstant--Rosenberg (HKR) theorem for arbitrary derived Deligne--Mumford (DM) stacks, extending the results of Arinkin-C\u{a}ld\u{a}raru-Hablicsek in the smooth, global quotient case, although with different methods.…

Let $L/\mathbb{Q}_p$ be a finite extension. We introduce $L$-typical prisms, a mild generalization of prisms. Following ideas of Bhatt, Scholze, and Wu, we show that certain vector bundles, called Laurent $F$-crystals, on the $L$-typical…

If G is a reductive group which acts on a linearized smooth scheme $X$ then we show that under suitable standard conditions the derived category of coherent sheaves of the corresponding GIT quotient stack $X^{ss}/G$ has a semi-orthogonal…

We give an alternate formulation of pseudo-coherence over an arbitrary derived stack X. The full subcategory of pseudo-coherent objects forms a stable sub-infinity-category of the derived category associated to X. Using relative…

We use the fusion construction in the twisted quantum affine algebras to obtain a unified method to deform the wedge product for classical Lie algebras. As a byproduct we uniformly realize all non-spin fundamental modules for quantized…

Let X be an algebraic variety with an action of an algebraic group G. Suppose X has a full exceptional collection of sheaves, and these sheaves are invariant under the action of the group. We construct a semiorthogonal decomposition of…

We construct stacks which algebraize Mazur's formal deformation rings of local Galois representations. More precisely, we construct Noetherian formal algebraic stacks over Spf Zp which parameterize \'etale (phi,Gamma)-modules; the formal…

The bounded derived category of a finite dimensional algebra of finite global dimension is equivalent the stable category of $\mathbb{Z}$-graded modules over its trivial extension \cite{Happel}. In particular, given two derived equivalent…

Let ${\mathfrak o}$ be the ring of integers in a finite extension $K$ of ${\mathbb Q}_p$, let $k$ be its residue field. Let $G$ be a split reductive group over ${\mathbb Q}_p$, let $T$ be a maximal split torus in $G$. Let ${\mathcal…

We construct shifted symplectic derived enhancements on rigidified moduli spaces of sheaves on Calabi-Yau varieties of dimension at least two. More generally, we prove that any $B\mathbb{G}_m$-action on a non-positively-shifted symplectic…

Let $E$ be a directed graph, $K$ any field, and let $L_K(E)$ denote the Leavitt path algebra of $E$ with coefficients in $K$. For each rational infinite path $c^\infty$ of $E$ we explicitly construct a projective resolution of the…

Let $p$ be a prime number, $K$ a finite unramified extension of $\mathbb{Q}_p$ and $\mathbb{F}$ a finite extension of $\mathbb{F}_p$. Using perfectoid spaces we associate to any finite-dimensional continuous representation $\overline{\rho}$…

Let $(X,\mathcal{O}_X(1))$ be a polarized smooth projective variety over the complex numbers. Fix $\mathcal{D}\in \mathrm{coh}(X)$ and a nonnegative rational polynomial $\delta$. Using GIT we contruct a coarse moduli space for…

We prove a derived equivalence between each block of the derived category of sheaves on the nilpotent cone and the category of differential graded modules over a degeneration of Lusztig's graded Hecke algebra. Along the way, we construct…

Building on our previous work on rigid analytic uniformizations, we introduce Darmon points on Jacobians of Shimura curves attached to quaternion algebras over Q and formulate conjectures about their rationality properties. Moreover, if K…