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.
In this paper we define specialization and microlocalization for subanalytic sheaves. Applying these functors to the sheaves of tempered and Whytney holomorphic functions we get a unifying description of tempered and formal microlocalization using the theory of subanalytic sheaves.
In Asterisque 271 the authors introduced the notion of ind-sheaf, and defined the six Grothendieck operations in this framework. They defined subanalytic sheaves and they obtained the formalism of the six Grothendieck operations by including subanalytic sheaves into the category of ind-sheaves. The aim of this paper is to give a direct construction of the six Grothendieck operations in the framework of subanalytic sites avoiding the heavy theory of ind-sheaves. As an application we show how to recover the subanalytic sheaves of temperate and Whitney holomorphic functions.
Given a projection $f$ of a product of real analytic manifolds onto one factor, let us say, $S$, and a subanalytic sheaf $\mathcal{F}$ on the associated subanalytic site, we give a natural construction of the (subanalytic) relative sheaf $\mathcal{F}^S$. Applying our construction to the subanalytic sheaves of tempered distributions, holomorphic functions and Whitney $\mathcal{C}^{\infty}$-functions we obtain their relative versions and study their properties.
Here we prove that the homological dimension of the category of sheaves on a topological space satisfying some suitable conditions is finite. In particular, we find conditions to bound the homological dimension of o-minimal and subanalytic sheaves.
In this paper we give a construction of conic sheaves on a subanalytic site and we extend the Fourier-Sato transform to this framework. Let E be a n dimensional complex vector space and let E^* be its dual. As an application we construct the conic sheaves $\OO^t_{E_{\RP}}$ and $\OO^w_{E_{\RP}}$ of tempered and Whitney holomorphic functions respectively and we give a sheaf theoretical interpretation of the Laplace isomorphisms of Kashiwara and Schapira which give the isomorphisms in the derived category $\OO^{t\land}_{E_{\RP}}[n] \simeq \OO^t_{E^*_{\RP}}$ and $\OO^{w\land}_{E_{\RP}}[n] \simeq \…
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…
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.
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…
In this paper we introduce the sheaf of stratified Whitney jets of Gevrey order on the subanalytic site relative to a real analytic manifold X. Then we define stratified ultradistributions of Beurling and Roumieu type on X. In the end, by means of stratified ultradistributions, we define tempered-stratified ultradistributions and we prove two results. First, if X is a real surface, the tempered-stratified ultradistributions define a sheaf on the subanalytic site relative to X. Second, the tempered-stratified ultradistributions on the complementary of a 1-regular closed subset of X coincide wit…
Interpreting the syzygy theorem for tame modules over posets in the setting of derived categories of subanalytically constructible sheaves proves two conjectures due to Kashiwara and Schapira concerning the existence of stratifications of real vector spaces that play well with sheaves having microsupport in a given cone or, equivalently, sheaves in the corresponding conic topology.
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).
We establish a relative Bertini type theorem for multiplier ideal sheaves. Then we prove a relative version of the Kollár--Nadel type vanishing theorem as an application.
We find certain relations between flag Hilbert schemes of points on plane curves and moduli spaces of one-dimensional plane sheaves. We show that some of these moduli spaces are unirational.
In this paper, we propose a definition of the moduli stack of stable relative ideal sheaves, and prove that it is a separated and proper Deligne-Mumford stack. It is the first part of the project of relative Donaldson-Thomas theory of ideal sheaves on projective threefolds, which in the end provides a degeneration formula of Donaldson-Thomas invariants of threefolds.
Deligne and Kato proved a formula computing the dimension of the nearby cycles complex of an l-adic sheaf on a relative curve over an excellent strictly henselian trait. In this article, we reprove this formula using Abbes-Saito's ramification theory.
In this paper we show that the relative canonical sheaf of a relatively minimal fibration of curves over a curve is semi-ample ; in fact, its m-tensored product is base point free for any m > 1. We use Koszul cohomology with it to prove that the relative canonical ring of the fibration is generated in degree up to five.
We characterize the subscheme of the moduli space of torsion-free sheaves on an elliptic surface which are stable of relative degree zeero (with respect to a polarization of type aH+bf, H being the section and f the elliptic fibre) which is isomorphic, via the relative Fourier-Mukai transform, with the relative compactified Simpson Jacobian of the family of those curves D in the surface which are flat over the base of the elliptic fibration. This generalizes and completes earlier constructions due to Friedman, Morgan and Witten. We also study the relative moduli scheme of sheaves whose restric…
In this article, we extend a pull-back inequality for total dimension divisors of étale sheavs due to Saito. Using this formula, we generalize Deligne and Laumon's lower semi-continuous property for Swan conductors of étale sheaves on relative curves to higher relative dimensions in a geometric situation.
We consider a relative Fourier-Mukai transform defined on elliptic fibrations over an arbitrary normal base scheme. This is used to construct relative Atiyah sheaves and generalize Atiyah's and Tu's results about semistable sheaves over elliptic curves to the case of elliptic fibrations. Moreover we show that this transform preserves relative (semi)stability of sheaves of positive relative degree.
We extend previous results on boundedness of sets of coherent sheaves on a compact Kähler manifold to the relative and not necessarily smooth case. This enlarged context allows us to prove properness properties of the relative Douady space as well as results related to semistability of sheaves such as the existence of relative Harder-Narasimhan filtrations.
We find the sharp bounds on $h^0(F)$ for one-dimensional semistable sheaves $F$ on a projective variety $X$ by using the spectrum of semistable sheaves. The result generalizes the Clifford theorem. When $X$ is the projective plane $\mathbb{P}^2$, we study the stratification of the moduli space by the spectrum of sheaves. We show that the deepest stratum is isomorphic to a subscheme of a relative Hilbert scheme. This provides an example of a family of semistable sheaves having the biggest dimensional global section space.
We propose a conjecture on the relative twist formula of $\ell$-adic sheaves, which can be viewed as a generalization of Kato-Saito's conjecture. We verify this conjecture under some transversal assumptions. We also define a relative cohomological characteristic class and prove that its formation is compatible with proper push-forward. A conjectural relation is also given between the relative twist formula and the relative cohomological characteristic class.
In this paper, we prove an $\mathbb{A}^1$-homology version of the Whitehead theorem with dimension bound. We also prove an excision theorem for $\mathbb{A}^1$-homology, Suslin homology and $\mathbb{A}^1$-homotopy sheaves. In order to prove these results, we develop a general theory of relative $\mathbb{A}^1$-homology and $\mathbb{A}^1$-homotopy sheaves. As an application, we compute the relative $\mathbb{A}^1$-homology of a hyperplane embedding $\mathbb{P}^{n-1} \hookrightarrow \mathbb{P}^{n}$.
We investigate the properties of relative analogues of admissible Ind, Pro, and elementary Tate objects for pairs of exact categories, and give criteria for those categories to be abelian. A relative index map is introduced, and as an application we deduce a description for boundary morphisms in the K-theory of coherent sheaves on Noetherian schemes.
Let $R$ be a complete discrete valuation ring with fraction field of characteristic $0$ and algebraically closed residue field of characteristic $p>0$. Let $X_R \to \mathrm{Spec}(R)$ be a smooth projective morphism of relative dimension $1$. We prove that, given a line bundle $\mathcal{L}_R$ the moduli space of Gieseker stable torsion-free sheaves of rank $r\geq 2$ over $X_R$, with determinant $\mathcal{L}_R$, is smooth over $R$.
We study certain moduli spaces of sheaves on Enriques surfaces thereby obtaining, in every odd dimension, new examples of Calabi-Yau manifolds. We describe the geometry (canonical bundle, fundamental group, second Betti number and certain Hodge numbers) of these moduli spaces showing, in partial analogy to the well-known case of sheaves on K3 or Abelian surfaces, how the geometry of the surface reflects that of the moduli space itself.
Recently, the singular support and the characteristic cycle of an étale sheaf on a smooth variety over a perfect field are constructed by Beilinson and Saito, respectively. In this article, we extend the singular support to a relative situation. As an application, we prove the generic constancy for singular supports and characteristic cycles of étale sheaves on a smooth fibration. Meanwhile, we show the failure of the lower semi-continuity of characteristic cycles in a higher relative dimension case, which is different from Deligne and Laumon's result in the relative curve case.
We study moduli of semistable twisted sheaves on smooth proper morphisms of algebraic spaces. In the case of a relative curve or surface, we prove results on the structure of these spaces. For curves, they are essentially isomorphic to spaces of semistable vector bundles. In the case of surfaces, we show (under a mild hypothesis on the twisting class) that the spaces are asympotically geometrically irreducible, normal, generically smooth, and l.c.i. over the base. We also develop general tools necessary for these results: the theory of associated points and purity of sheaves on Artin stacks, t…
We study duality theorems for the relative logarithmic de Rham-Witt sheaves on semi-stable schemes $X$ over a local ring $\mathbb{F}_q[[t]]$, where $\mathbb{F}_q$ is a finite field. As an application, we obtain a new filtration on the maximal abelian quotient $π^{\text{ab}}_1(U)$ of the étale fundamental groups $π_1(U)$ of an open subscheme $U \subseteq X$, which gives a measure of ramification along a divisor $D$ with normal crossing and $\text{Supp}(D) \subseteq X-U$. This filtration coincides with the Brylinski-Kato-Matsuda filtration in the relative dimension zero case.
In order to study $p$-adic étale cohomology of an open subvariety $U$ of a smooth proper variety $X$ over a perfect field of characteristic $p>0$, we introduce new $p$-primary torsion sheaves. It is a modification of the logarithmic de Rham-Witt sheaves of $X$ depending on effective divisors $D$ supported in $X-U$. Then we establish a perfect duality between cohomology groups of the logarithmic de Rham-Witt cohomology of $U$ and an inverse limit of those of the mentioned modified sheaves. Over a finite field, the duality can be used to study wild ramification class field theory for the open su…
For a characteristic $p > 0$ variety $X$ with controlled $F$-singularities, we state conditions which imply that a divisorial sheaf is Cohen-Macaulay or at least has depth $\geq 3$ at certain points. This mirrors results of Kollár for varieties in characteristic zero. As an application, we show that that relative canonical sheaves are compatible with arbitrary base change for certain families with sharply $F$-pure fibers.
We give an intrinsic characterization of Cox sheaves on Krull schemes in terms of their valuative algebraic properties. We also provide a geometric characterization of their graded relative spectra in terms of good quotients of graded schemes, extending the work of Arzhantsev, Derenthal, Hausen and Laface on relative spectra of Cox sheaves on normal varieties. Moreover, we obtain an irredundant characterization of Cox rings which in turn produces a normality criterion for certain graded rings.
We find some equivalences of the derived category of coherent sheaves on a Gorenstein genus one curve that preserve the (semi)-stability of pure dimensional sheaves. Using them we establish new identifications between certain Simpson moduli spaces of semistable sheaves on the curve. For rank zero, the moduli spaces are symmetric powers of the curve whilst for a fixed positive rank there are only a finite number of non-isomorphic spaces. We prove similar results for the relative semistable moduli spaces on an arbitrary genus one fibration with no conditions either on the base or on the total sp…
The higher direct image complex of a coherent sheaf (or finite complex of coherent sheaves) under a projective morphism is a fundamental construction that can be defined via a Cech complex or an injective resolution, both inherently infinite constructions. Using exterior algebras and relative versions of theorems of Beilinson and Bernstein-Gel'fand-Gel'fand, we give an alternate description in finite terms. Using this description we can characterize the generic complex, over the variety of finite free complexes of a given shape, as the direct image of an easily-described vector bundle. We can …
In this article, we prove that the Swan conductor of an étale sheaf on a smooth variety defined by Abbes and Saito's logarithmic ramification theory can be computed by its classical Swan conductors after restricting it to curves. It extends the same result for rank 1 sheaves due to Barrientos. As an application, we give a logarithmic ramification version of generalizations of Deligne and Laumon's lower semi-continuity property for Swan conductors of étale sheaves on relative curves to higher relative dimensions in a geometric situation.
In this work we shall introduce a new model structure on the category of pro-simplicial sheaves, which is very convenient for the study of étale homotopy. Using this model structure we define a pro-space associated to a topos, as a result of applying a derived functor. We show that our construction lifts Artin and Mazur's étale homotopy type [AM] in the relevant special case. Our definition extends naturally to a relative notion, namely, a pro-object associated to a map of topoi. This relative notion lifts the relative étale homotopy type that was used in [HaSc] for the study of obstructions t…
The main goal of this paper is to define the so-called Chow weight structure for the category of Beilinson motives over any 'reasonable' base scheme $S$ (this is the version of Voevodsky's motives over $S$ defined by Cisinski and Deglise). We also study the functoriality properties of the Chow weight structure (they are very similar to the well-known functoriality of weights for mixed complexes of sheaves). As shown in a preceding paper, the Chow weight structure automatically yields an exact conservative weight complex functor (with values in $K^b(Chow(S))$). Here $Chow(S)$ is the heart of th…
In this paper, we investigate the local Euler obstruction and the relative local Euler obstruction in terms of constructible complexes of sheaves, characteristic cycles, and vanishing cycles. The fundamental tool that we use is the notion of a characteristic complex for an analytic space embedded in affine space.
If $S$ is a scheme of finite type over $k=\cc $, let $\Xx /S$ denote the big etale site of schemes over $S$. We introduce {\em presentable group sheaves}, a full subcategory of the category of sheaves of groups on $\Xx /S$ which is closed under kernel, quotient, and extension. Group sheaves which are representable by group schemes of finite type over $S$ are presentable; pullback and finite direct image preserve the notions of presentable group sheaves; over $S=Spec (k)$ then presentable group sheaves are just group schemes of finite type over $Spec(k)$; there is a notion of connectedness exte…
In this paper we prove a relative version of the classical Mumford-Newstead theorem for a family of smooth curves degenerating to a reducible curve with a simple node. We also prove a Torelli-type theorem by showing that certain moduli spaces of torsion-free sheaves on a reducible curve allows us to recover the curve from the moduli space.
We introduce new foundations for relative topos theory based on stacks. One of the central results in our theory is an adjunction between the category of toposes over the topos of sheaves on a given site $({\mathcal{C}}, J)$ and that of ${\mathcal{C}}$-indexed categories. This represents a wide generalization of the classical adjunction between presheaves on a topological space and bundles over it, and allows one to interpret several constructions on sheaves and stacks in a geometrical way; in particular, it leads to fibrational descriptions of direct and inverse images of sheaves and stacks, …
Under some assumptions, we compute the Picard group of moduli of stable sheaves on Abelian surfaces. Considering relative moduli spaces, it is sufficient to consider the moduli of stable sheaves on the product of elliptic curves. By using elementary transformatios (which was used by Friedman to treat rank 2 moduli spaces on elliptic surfaces), we treat this case. We also show that some moduli spaces on P^2 are rational.
We show that fiberwise stable vector bundles are preserved by relative Fourier-Mukai transforms between elliptic threefolds with relative Picard number one. Using these bundles we define new invariants of elliptic fibrations, and we relate the invariants of a space with those of a relative moduli space of stable sheaves on it. As a byproduct, we calculate the intersection form of a certain new example of an elliptic Calabi-Yau threefold.
We give new characterizations of plurisubharmonic functions and Griffiths positivity of holomorphic vector bundles with singular Finsler metrics. As applications, we present a different method to prove plurisubharmonic variation of generalized Bergman kernel metrics and Griffiths positivity of the direct images of twisted relative canonical bundles associated to holomorphic families of Kähler manifolds.
We construct stable sheaves over K3 fibrations using a relative Fourier-Mukai transform which describes the sheaves in terms of spectral data similar to the construction for elliptic fibrations. On K3 fibered Calabi-Yau threefolds we show that the Fourier-Mukai transform induces an embedding ion of the relative Jacobian of spectral line bundles on spectral covers into the moduli space of sheaves of given invariants. This makes the moduli space of spectral sheaves to a generic torus fibration over the moduli space of curves of given arithmetic genus on the Calabi-Yau manifold.
