Related papers: Blockwise relations between triples, and derived e…
We develop a theory of semidirect products of partial groups and localities. Our concepts generalize the notions of direct products of partial groups and localities, and of semidirect products of groups.
We state a conjecture that relates the derived category of smooth representations of a p-adic split reductive group with the derived category of (quasi-)coherent sheaves on a stack of L-parameters. We investigate the conjecture in the case…
We consider countable linear orders and study the quasi-order of convex embeddability and its induced equivalence relation. We obtain both combinatorial and descriptive set-theoretic results, and further extend our research to the case of…
A relation between certain irreducible character values of the hyperoctahedral group $B_n$ ($\mathbb{Z}/2\mathbb{Z} \wr S_n$) and the symmetric group $S_{2n}$ was proved by F. L\"ubeck and D. Prasad in 2021. Their proof is algebraic in…
On a finite-dimensional real vector space, we give a microlocal characterization of (derived) piecewise linear sheaves (PL sheaves) and prove that the triangulated category of such sheaves is generated by sheaves associated with convex…
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…
We prove a generalization of the Wallis product for a sequence of real numbers related to arc lengths of clover curves. Our proof generalizes a common argument given for the original Wallis product using a sequence of definite integrals.
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…
Much of algebra and representation theory can be formulated in the general framework of tensor categories. The aim of this paper is to further develop this theory for braided tensor categories. Several results are established that do not…
The codimension-three conjecture states that any regular holonomic module extends uniquely beyond an analytic subset with codimension equal to or larger than three. We give a proof of this conjecture.
We develop the theory of truncated wedge schemes, a higher dimensional analog of jet schemes. We prove some basic properties and give an irreducibility criterion for truncated wedge schemes of a locally complete intersection variety…
Given a bounded-above cochain complex of modules over a ring, it is standard to replace it by a projective resolution, and it is classical that doing so can be very useful. Recently, a modified version of this was introduced in triangulated…
The so called theory of derived D-modules is an extension of classical D-modules to derived algebraic geometry, which uses the derived information of the base scheme. We prove that the three different definitions of derived D-modules, given…
In this paper we study derived equivalences for Symplectic reflection algebras. We establish a version of the derived localization theorem between categories of modules over Symplectic reflection algebras and categories of coherent sheaves…
We prove an analogue for holonomic DQ-modules of the codimension-three conjecture for microdifferential modules recently proved by Kashiwara and Vilonen. Our result states that any holonomic DQ-module having a lattice extends uniquely…
We find a one-to-one correspondence between full extrinsic symmetric spaces in (possibly degenerate) inner product spaces and certain algebraic objects called (weak) extrinsic symmetric triples. In particular, this yields a description of…
Turner's Conjecture describes all blocks of symmetric groups and Hecke algebras up to derived equivalence in terms of certain double algebras. With a view towards a proof of this conjecture, we develop a general theory of Turner doubles. In…
Graded modal types systems and coeffects are becoming a standard formalism to deal with context-dependent computations where code usage plays a central role. The theory of program equivalence for modal and coeffectful languages, however, is…
We use twisted Fourier-Mukai transforms to study the relation between an abelian fibration on a holomorphic symplectic manifold and its dual fibration. Our reasoning leads to an equivalence between the derived category of coherent sheaves…
Recollements were introduced originally by Beilinson, Bernstein and Deligne to study the derived categories of perverse sheaves, and nowadays become very powerful in understanding relationship among three algebraic, geometric or topological…