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

We develop a theory of residues for arithmetic surfaces, establish the reciprocity law around a point, and use the residue maps to explicitly construct the dualizing sheaf of the surface. These are generalisations of known results for…

An \'etale structure over a topological space $X$ is a continuous family of structures (in some first-order language) indexed over $X$. We give an exposition of this fundamental concept from sheaf theory and its relevance to countable model…

We introduce a notion of complexity of a complex of ell-adic sheaves on a quasi-projective variety and prove that the six operations are "continuous", in the sense that the complexity of the output sheaves is bounded solely in terms of the…

Finite \'etale covers of a connected scheme $X$ are parametrised by the \'etale fundamental group via the monodromy correspondence. This was generalised to an exodromy correspondence for constructible sheaves, first in the topological…

In the present paper we discuss questions concerning the arithmetic resolution for etale cohomology. Namely, consider a smooth quasi-projective variety X over a field k together with the local scheme U at a point x. Let Y be a smooth proper…

We present a detailed introduction of the theory of constructible sheaf complexes in the complex algebraic and analytic setting. All concepts are illustrated by many interesting examples and relevant applications, while some important…

There is an interplay between models, specified by variables and equations, and their connections to one another. This dichotomy should be reflected in the abstract as well. Without referring to the models directly -- only that a model…

We discuss the structure of integral etale motivic cohomology groups of smooth and projective schemes over algebraically closed fields, finite fields, local fields, and arithmetic schemes.

In this paper we obtain a Poitou-Tate exact sequence for finite and flat group schemes over a global function field. We also extend the duality theorems for 1-motives over number fields obtained by D.Harari and T.Szamuely to the function…

We show that there is a stable homotopy theory of profinite spaces and use it for two main applications. On the one hand we construct an \'etale topological realization of the stable motivic homotopy theory of smooth schemes over a base…

We prove duality theorems for the {\'e}tale cohomology of logarithmic Hodge-Witt sheaves and split tori on smooth curves over a local field of positive characteristic. As an application, we obtain a description of the Brauer group of the…

This review gives an introduction to cohomological Donaldson-Thomas theory: the study of a cohomology theory on moduli spaces of sheaves on Calabi-Yau threefolds, and of complexes in 3-Calabi-Yau categories, categorifying their numerical DT…

In this paper we define the triangulated category of motives over a simplicial scheme. The morphisms between the Tate objects in this category compute the motivic cohomology of the underlying scheme. In the last section we consider the…

We adapt ideas from Ekedahl [Eke84] to prove a Serre-type duality for Witt-divisorial sheaves of $\mathbb Q$-Cartier divisors on a smooth projective variety over a perfect field of finite characteristic. We also explain its relationship to…

A semiring scheme generalizes a scheme in such a way that the underlying algebra is that of semirings. We generalize \v{C}ech cohomology theory and invertible sheaves to semiring schemes. In particular, when $X=\mathbb{P}^n_M$, a projective…

We study the geometry of the Quot scheme $\mathrm{Quot}^l_{S}(\mathcal{E})$ of length $l$ coherent sheaf quotients of a locally free sheaf $\mathcal{E}$ on a smooth projective surface $\mathrm{S}$. In particular, we investigate the nature…

There have recently been several developments in synthetic mathematics using extensions of dependent type theory with univalence and higher inductive types: simplicial homotopy type theory, synthetic algebraic geometry and synthetic Stone…

Homology theories for associative algebraic structures are well established and have been studied for a long time. More recently, homology theories for self-distributive algebraic structures motivated by knot theory, such as quandles and…

We describe right-hand skew Boolean algebras in terms of a class of presheaves of sets over Boolean algebras called Boolean sets, and prove a duality theorem between Boolean sets and etale spaces over Boolean spaces.

Let $K$ be a finite extension of $\mathbb{Q}_p$. We prove that the arithmetic $p$-adic pro-\'etale cohomology of smooth partially proper spaces over $K$ satisfies a duality, as conjectured by Colmez, Gilles and Nizio{\l}. We derive it from…