Related papers: \'Etale duality for constructible sheaves on arith…

We prove a sheaf-theoretic derived-category generalization of Greenlees-May duality (a far-reaching generalization of Grothendieck's local duality theorem): for a quasi-compact separated scheme X and a "proregular" subscheme Z---for…

Let S be a Noetherian scheme and f:X -> S a proper morphism. By SGA 4 XIV, for any constructible sheaf F of Z/nZ-modules on X, the sheaves of Z/nZ-modules R^if_*F obtained by direct image (for the etale topology) are also constructible:…

This paper is Part III of the series of work by the first named author on duality theories for p-primary etale cohomology, whose Parts I and II were published in 1986 and 1987, respectively. In this Part III, we study a duality for…

In this article we prove some theorems related to the triplets of triangles, homological two by two. These theorems will be used later to build triplets of triangles two by two tri-homological.

In this paper, we describe a general theory of "spaces with structure sheaves." Specializations of this theory include the classical theory of schemes, the theory of Deligne-Mumford stacks, and their derived generalizations.

We carry out a semantic study of the constructive modal logic CK. We provide a categorical duality linking the algebraic and birelational semantics of the logic. We then use this to prove Sahlqvist style correspondence and completeness…

We show that a purely algebraic structure, a two-dimensional scattering diagram, describes a large part of the wall-crossing behavior of moduli spaces of Bridgeland semistable objects in the derived category of coherent sheaves on…

We prove that various morphisms related to the six Grothendieck operations on sheaves become isomorphisms when restricted to (weakly) constructible sheaves. To this end, we first study some properties of weakly cohomologically constructible…

This article provides a summary of arXiv:1701.08899 and arXiv:1701.08902 where the authors studied the enumerative geometry of nested Hilbert schemes of points and curves on algebraic surfaces and their connections to threefold theories,…

We determine the Artin-Mazur \'etale homotopy types of moduli stacks of polarised abelian schemes using transcendental methods and derive some arithmetic properties of the \'etale fundamental groups of these moduli stacks. Finally we…

These notes contain a brief introduction to the construction of toric Calabi--Yau hypersurfaces and complete intersections with a focus on issues relevant for string duality calculations. The last two sections can be read independently and…

A vertex-algebraic analogue of the Lie algebroid complex is constructed, which generalizes the "small" chiral de Rham complex on smooth manifolds. The notion of VSA-inductive sheaves is also introduced. This notion generalizes that of…

We study the structure of a log smooth pair when the equality holds in the Bogomolov-Gieseker inequality for the logarithmic tangent bundle and this bundle is semistable with respect to some ample divisor. We also study the case of the…

We prove the existence of the dualizing functor for a separated morphism of algebraic stacks with affine diagonal; then we explicitly develop duality for compact Deligne-Mumford stacks focusing in particular on the morphism from a stack to…

We develop a generalization to non-Witt spaces of the intersection homology theory of Goresky-MacPherson. The second author has described the self-dual sheaves compatible with intersection homology, and the other authors have described a…

We introduce the notion of homological systems $\Theta$ for triangulated categories. Homological systems generalize, on one hand, the notion of stratifying systems in module categories, and on the other hand, the notion of exceptional…

We extend the theory of fields/distributions developed the paper "A Feigin-Frenkel theorem with n singularities" to a general base scheme. In order to do so we introduce suitable notions of topological sheaves on schemes and study their…

Given an orientable ideally triangulated $3$--manifold $M$, we define a system of real valued equations and inequalities whose solutions can be used to construct projective structures on $M$. These equations represent a unifying framework…

In the 1950s and 1960s Tate proved some duality theorems in the Galois cohomology of finite modules and abelian varieties. As for most of Tate's work this has had a profound influence on mathematics with many applications and further…

An arithmetical structure on a graph is given by a labeling of the vertices which satisfies certain divisibility properties. In this note, we look at several families of graphs and attempt to give counts on the number of arithmetical…