Related papers: A stacky approach to prismatic crystals via $q$-pr…

For every imprimitive complex reflection group of rank 2, we construct a semi-orthogonal decomposition of the derived category of the associated global quotient stack which categorifies the usual decomposition of the orbifold cohomology…

Let $\mathcal{V}$ be a mixed characteristic complete discrete valuation ring, $k$ its residual field, $\mathcal{P}$ a proper smooth formal scheme over $\mathcal{V}$, $P$ its special fiber, $T$ a divisor of $P$, $U:=P\setminus T$, $Y$ a…

We present an algebraic framework for the computation of low-degree cohomology of a class of bigraded complexes which arise in Poisson geometry around (pre)symplectic leaves. We also show that this framework can be applied to the more…

We give a simple computational approach to mathematical quasicrystals, combining cut-and-project methods with self-similarity. Starting with a Pisot unit $\beta$ and an iterated function system $g_k(z)=\beta z +z_k, \ k=1,...,m$ in a…

For a scheme X, we construct a sheaf C of complexes on X such that for every quasi-compact open subset U of X, C(U) is quasi-isomorphic to the Hochschild complex of the scheme U. Since C is moreover acyclic for taking sections on…

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 show that the category of logarithmic prismatic F-crystals on $(\mathcal{O}_K, \varpi^{\mathbb{N}})$ is equivalent to the category of $\mathbb{Z}_p$-lattices in semistable $\text{Gal}_K$-representations. We then apply our method to…

Let $X$ be a smooth symplectic variety over a field $k$ of characteristic $p>2$ equipped with a restricted structure, which is a class $[\eta] \in H^0(X, \Omega^1_X/d\mathcal O_X)$ whose de Rham differential equals the symplectic form. In…

In equivariant geometry, a localization (a.k.a., concentration) theorem is typically interpreted as a relationship between the equivariant geometry of a space with a group action and the geometry of its fixed locus. We take a different…

We enumerate smooth and rationally smooth Schubert varieties in the classical finite types A, B, C, and D, extending Haiman's enumeration for type A. To do this enumeration, we introduce a notion of staircase diagrams on a graph. These…

We define a derived enhancement of the hyperquot scheme (also known as nested Quot scheme), which classically parametrises flags of quotients of a perfect coherent sheaf on a projective scheme. We prove it is representable by a derived…

In local relative $p$-adic Hodge theory, we show that the Galois cohomology of a finite height crystalline representation (up to a twist) is essentially computed via the (Fontaine--Messing) syntomic complex with coefficients in the…

Quasi-Lie bialgebras are natural extensions of Lie-bialgebras, where the cobracket satisfies the co-Jacobi relation up to some natural obstruction controlled by a skew-symmetric 3-tensor $\phi$. This structure was introduced by Drinfeld…

For a derived stack obtained as a quotient of a derived affine scheme by a reductive group, we show that shifted symplectic structures can be characterized by the Cartan-de Rham complex. For non-reductive groups, we also show the analogous…

The crystal symmetry of a material dictates the type of topological band structures it may host, and therefore symmetry is the guiding principle to find topological materials. Here we introduce an alternative guiding principle, which we…

We define and initiate the study of analytic de Rham stacks of relative Fargues-Fontaine curves. To this end, we develop a theory of analytic de Rham stacks with sufficiently strong descent and approximation properties. Specializing to the…

We give a homotopy theoretic characterization of sheaves on a stack and, more generally, a presheaf of groupoids on an arbitary small site C. We use this to prove homotopy invariance and generalized descent statements for categories of…

We study differential $p$-forms on non-smooth and possibly fractal metric measure spaces, endowed with a local Dirichlet form. Using this local Dirichlet form, we prove a result on the localization of antisymmetric functions of $p+1$…

We construct a semi-orthogonal decomposition on the category of perfect complexes on the blow-up of a derived Artin stack in a quasi-smooth centre. This gives a generalization of Thomason's blow-up formula in algebraic K-theory to derived…

We introduce a type $A$ crystal structure on decreasing factorizations of fully-commutative elements in the 0-Hecke monoid which we call $\star$-crystal. This crystal is a $K$-theoretic generalization of the crystal on decreasing…