Conic sheaves on subanalytic sites and Laplace transform

Relative subanalytic sheaves II

We give a new construction of sheaves on a relative site associated to a product $X\times S$ where $S$ plays the role of a parameter space, expanding the previous construction by the same authors, where the subanalytic structure on $S$ was required. Here we let this last condition fall. In this way the construction becomes much easier to apply when dimension of $S$ is bigger than one. We also study the functorial properties of base change with respect to the parameter space.

增强的反常次解析层

Enhanced Perverse Subanalytic Sheaves

该数学代数几何领域研究在前期增强次解析层ℂ-可构性及对应三角范畴等价成果基础上，证明ℂ-可构增强次解析层三角范畴存在等价于全纯𝒟-模阿贝尔范畴的t-结构心，并研究其单对象与极小扩张。

Construction of sheaves on the subanalytic site

On a real analytic manifold M, we construct the linear subanalytic Grothendieck topology Msal together with the natural morphism of sites $ρ$ from Msa to Msal, where Msa is the usual subanalytic site. Our first result is that the derived direct image functor by $ρ$ admits a right adjoint, allowing us to associate functorially a sheaf (in the derived sense) on Msa to a presheaf on Msa satisfying suitable properties, this sheaf having the same sections that the presheaf on any open set with Lipschitz boundary. We apply this construction to various presheaves on real manifolds, such as the preshe…

Sheaves on T-topologies

The aim of this paper is to give a unifying description of various constructions (subanalytic, semialgebraic, o-minimal site) using the notion of T-topology. We then study the category of T-sheaves.

Tempered subanalytic topology on algebraic varieties

On a smooth algebraic variety over $\mathbb{C}$, we build the tempered subanalytic and Stein tempered subanalytic sites. We construct the sheaf of holomorphic functions tempered at infinity over these sites and study their relations with the sheaf of regular functions, proving in particular that these sheaves are isomorphic on Zariski open subsets. We show that these data allow to define the functors of tempered and Stein tempered analytifications. We study the relations between these two functors and the usual analytification functor. We also obtain algebraization results in the non-proper ca…

Constructibility of tempered solutions of holonomic D-modules

In this paper we prove the constructibility on the subanalytic sites of the sheaves of tempered holomorphic solutions of holonomic D-modules on complex analytic manifolds. Such a result solves a conjecture of M. Kashiwara and P. Schapira (2003).

On the Laplace transform for tempered holomorphic functions

In order to discuss the Fourier-Sato transform of not necessarily conic sheaves, we compensate the lack of homogeneity by adding an extra variable. We can then obtain Paley-Wiener type results, using a theorem by Kashiwara and Schapira on the Laplace transform for tempered holomorphic functions. As a key tool in our approach, we introduce the subanalytic sheaf of holomorphic functions with exponential growth, which should be of independent interest.

An existence theorem for tempered solutions of D-modules on complex curves

Let X be a complex curve, $X_{sa}$ the subanalytic site associated to X, M a holonomic $D_X$-module. Let $O^t$ be the sheaf on $X_{sa}$ of tempered holomorphic functions, Sol(M) (resp. $Sol^t$(M)) the complex of holomorphic (resp. tempered holomorphic) solutions of M. We prove that the natural morphism from $H^1 Sol^t$(M) to $H^1$Sol(M) is an isomorphism of sheaves on $X_{sa}$. As a consequence, we prove that $Sol^t$(M) is R-constructible in the sense of sheaves on $X_{sa}$. Such a result is conjectured by M. Kashiwara and P. Schapira in Astérisque 284 in any dimension.

Pfaffian Lines and Vector Bundles on Fano Threefolds of Genus 8

Let X be a general complex Fano threefold of genus 8. We prove that the moduli space of rank two semistable sheaves on X with Chern numbers c_1=1, c_2=6 and c_3=0 is isomorphic to the Fano surface F(X) of conics on X. Inside F(X), the non-locally free sheaves are parameterized by a smooth curve of genus 26 isomorphic to the base of the family of lines on X.