Related papers: A partial analog of integrability theorem for dist…

Gabber's Theorem claims that the singular support of a D-module is involutive. We show how to give a conceptually clear proof of this in the context of Hochschild Homology and Cohomology of abelian categories.

Let U be a smooth quasi-projective variety over a field k that is finite, the algebraic closure of a finite field or algebraically closed of characteristic 0. Let X be a suitable projective compactification of U, and D an effective divisor…

The p-support of a holonomic D-module was introduced by Kontsevich. Thomas Bitoun in his PhD thesis proved several properties of p-support conjectured by Kontsevich. In this note we give an alternative proof for involutivity by reducing it…

We consider rational representations of a connected linear algebraic group $\mathbb G$ over a field $k$ of positive characteristic $p > 0$. We introduce a natural extension $M \mapsto \Pi(\mathbb G)_M$ to $\mathbb G$-modules of the…

Let $\mathfrak{X}$ be a formal smooth curve over a complete discrete valuation ring of mixed characteristic and let $\mathfrak{X}\_K$ be its generic fiber. We consider respectively over $\mathfrak{X}$ and $\X\_K$ the sheaves of differential…

In this short paper we combine the representability theorem introduced in [17, 18] with the theory of derived formal models introduced in [2] to prove the existence representability of the derived Hilbert space RHilb(X) for a separated…

We prove that the singular support of an element in the derived category of sheaves is $\gamma$-coisotropic, a notion defined in [Vit22]. We prove that this implies that it is involutive in the sense of Kashiwara-Schapira, but being…

In the seventies, V. G. Drinfeld proved that a moduli problem of deformations by quasi-isogenies of certain $p$-divisible groups with extra actions is representable by an explicit semi-stable model of the $p$-adic symmetric space. This…

Let $(R, \mf, k_R)$ be regular local $k$-algebra satisfying the weak Jacobian criterion, such that $k_R/k$ is an algebraic field extension. Let $D_R$ be the ring of $k$-linear differential operators of $R$. We give an explicit decomposition…

Let $X$ be a smooth proper variety over an algebraically closed field of characteristic zero, and let $\mathcal{A} \subset D^{b}_{\mathrm{coh}}(X)$ be an admissible subcategory. Let $Z \subset X$ be the union of set-theoretical supports of…

We show for an affine variety $X$, the derived category of quasi-coherent $D$-modules is equivalent to the category of DG modules over an explicit DG algebra, whose zeroth cohomology is the ring of Grothendieck differential operators…

Let X be the moduli space of SL(n,C), SU(n), GL(n,C), or U(n)-valued representations of a rank r free group. We classify the algebraic singular stratification of X. This comes down to showing that the singular locus corresponds exactly to…

For a reductive group $G$, we introduce a notion of singular support for cocomplete dualizable DG-categories equipped with a strong $G$-action. This is done by considering the singular support of the sheaves of matrix coefficients arising…

This exposition presents a self-contained proof of the $A_2$ theorem, the quantitatively sharp norm inequality for singular integral operators in the weighted space $L^2(w)$. The strategy of the proof is a streamlined version of the…

We investigate cohomological support varieties for finite-dimensional Lie superalgebras defined over fields of odd characteristic. Verifying a conjecture from our previous work, we show the support variety of a finite-dimensional…

Consider a finite-dimensional algebra $A$ and any of its moduli spaces $\mathcal{M}(A,\mathbf{d})^{ss}_{\theta}$ of representations. We prove a decomposition theorem which relates any irreducible component of…

Let $\mathfrak{X}$ be a formal smooth quasi-compact curve over a complete discrete valuation ring of mixed characteristic. We consider over $\mathfrak{X}$ the sheaves of differential operators $\widehat{\mathcal{D}}^{(0)}_{\mathfrak{X}, k ,…

For a smooth variety $Y$ over a perfect field of positive characteristic, the sheaf $D_Y$ of crystalline differential operators on $Y$ (also called the sheaf of $PD$-differential operators) is known to be an Azumaya algebra over $T^*_{Y'},$…

Coisotropic algebras are used to formalize coisotropic reduction in Poisson geometry as well as in deformation quantization and find applications in various other fields as well. In this paper we prove a Serre-Swan Theorem relating the…

Let X be a noetherian scheme defined over an algebraically closed field of positive characteristic p, and G be a finite group, of order divisible by p, acting on X. We introduce a refinement of the equivariant K-theory of X to take into…