In this paper, we prove that any perfect complex of $D^{\infty}$-modules may be reconstructed from its holomorphic solution complex provided that we keep track of the natural topology of this last complex. This is to be compared with the reconstruction theorem for regular holonomic $D$-modules which follows from the well-known Riemann-Hilbert correspondence. To obtain our result, we consider sheaves of holomorphic functions as sheaves with values in the category of ind-Banach spaces and study some of their homological properties. In particular, we prove that a Künneth formula holds for them and we compute their Poincaré-Verdier duals. As a corollary, we obtain the form of the kernels of ``continuous'' cohomological correspondences between sheaves of holomorphic forms. This allows us to prove a kind of holomorphic Schwartz' kernel theorem and to show that $D^{\infty}=RHomtop(O,O)$. Our reconstruction theorem is a direct consequence of this last isomorphism. Note that the main problem is the vanishing of the topological Ext's and that this vanishing is a consequence of the acyclicity theorems for DFN spaces which are established in the paper.
We identify the type of $\mathbb{C}[[\hbar]]$-linear structure inherent in the $\infty$-categories which arise in the theory of Deformation Quantization modules. Using this structure, we show that the $\infty$-category of quasicoherent cohomologically complete DQ-modules is a deformation of the $\infty$-category of quasicoherent sheaves. We also obtain integral representation results for DQ-modules similar to the ones of Toën and Ben-Zvi-Nadler-Francis, stating that suitably linear functors between $\infty$-categories of DQ-modules are integral transforms.
We prove that varieties are uniquely determined by the derived category of $\mathscr{O}[[\hbar]]$-modules with coherent cohomology which is the same as $\mathscr{O}$-modules proved by A. Bondal and D. Orlov. We also generalize a theorem of Orlov.
Using Quillen-Lurie deformation theory formalism we develop an obstruction theory for studying the stable $\infty$-category of modules over a given geometric $\infty$-stack. The obstruction theory studies the problem of lifting compact objects to the stable $\infty$-category of quasi-coherent modules over a derived geometric stack from the category of modules over its underlying classical stack. The obstructions live in Andre-Quillen cohomology. An explicit description of the space of realizations of a given module over X as a colimit of perfect modules can be given in terms of the k-invariant…
In this note, introducing notions of CH module, CH morphism and CH connection, we define a meromorphic connection in the "$z$-direction" on periodic cyclic homology of an $A_\infty$ category as a connection on cohomology of a CH module. Moreover, we study and clarify compatibility of our meromorphic connections under a CH module morphism preserving CH connections at chain level. Our motivation comes from symplectic geometry. The formulation given in this note designs to fit algebraic properties of open-closed maps in symplectic geometry.
This is a survey article about properties of Cohen-Macaulay modules over surface singularities. We discuss various results on the Macaulayfication functor, reflexive modules over simple, quotient and minimally elliptic singularities, geometric and algebraic McKay Correspondence. Finally, we describe matrix factorizations corresponding to the indecomposable Cohen-Macaulay modules over the non-isolated singularities $A_\infty$ and $D_\infty$.
We construct a locally geometric $\infty$-stack $M_{Hod}(X,Perf)$ of perfect complexes with $λ$-connection structure on a smooth projective variety $X$. This maps to $A ^1 / G_m$, so it can be considered as the Hodge filtration of its fiber over 1 which is $M_{DR}(X,Perf)$, parametrizing complexes of $D_X$-modules which are $O_X$-perfect. We apply the result of Toen-Vaquie that $Perf(X)$ is locally geometric. The proof of geometricity of the map $M_{Hod}(X,Perf) \to Perf(X)$ uses a Hochschild-like notion of weak complexes of modules over a sheaf of rings of differential operators. We prove a s…
We prove a formula for the $\infty$-adic special $L$-value of abelian $t$-modules. This gives function field analogues of the class number formula. We also express it in terms of the extension groups of shtukas.
We prove that the $\infty$-category of $\mathrm{MGL}$-modules over any scheme is equivalent to the $\infty$-category of motivic spectra with finite syntomic transfers. Using the recognition principle for infinite $\mathbb{P}^1$-loop spaces, we deduce that very effective $\mathrm{MGL}$-modules over a perfect field are equivalent to grouplike motivic spaces with finite syntomic transfers. Along the way, we describe any motivic Thom spectrum built from virtual vector bundles of nonnegative rank in terms of the moduli stack of finite quasi-smooth derived schemes with the corresponding tangential s…
