Related papers: Tensor and convolution direct image of $\ell$-adic…

In this paper, we introduce a new class of $\ell$-adic sheaves, which we call quadratic $\ell$-adic sheaves, on connected unipotent commutative algebraic groups over finite fields. They are sheaf-theoretic enhancements of quadratic forms on…

We prove that the derived direct image of the constant sheaf with field coefficients under any proper map with smooth source contains a canonical summand. This summand, which we call the geometric extension, only depends on the generic…

We introduce a class of toposes called "absolutely locally compact" toposes and of "admissible" sheaf of rings over such toposes. To any such ringed topos $(\mathcal{T},A)$ we attach an involutive convolution algebra…

We study the supergeometry of complex projective superspaces $\mathbb{P}^{n|m}$. First, we provide formulas for the cohomology of invertible sheaves of the form $\mathcal{O}_{\mathbb{P}^{n|m}} (\ell)$, that are pull-back of ordinary…

These notes aim to give a first introduction to intersection cohomology and perverse sheaves with applications to representation theory or quantum groups in mind.

We use (non-)additive sheaves to introduce an (absolute) notion of Hochschild cohomology for exact categories as Ext's in a suitable bisheaf category. We compare our approach to various definitions present in the literature.

We trace derivations through Demazure's correspondence between a finitely generated positively graded normal $k$-algebras $A$ and normal projective $k$-varieties $X$ equipped with an ample $\mathbb{Q}$-Cartier $\mathbb{Q}$-divisor $D$. We…

This paper is a sequel to math.AG/0505148, where the Hall algebra U^+_E of the category of coherent sheaves on an elliptic curve E defined over a finite field was explicitly described, and shown to be a two-parameter deformation of the ring…

We study parabolic induction producing $\ell$-adic sheaves on a parahoric subgroup scheme in the loop group of a reductive group. Under a genericity assumption on the input data, we prove that it produces conjugation equivariant perverse…

We study perverse sheaves of categories their connections to classical algebraic geometry. We show how perverse sheaves of categories encode naturally derived categories of coherent sheaves on $\mathbb{P}^1$ bundles, semiorthogonal…

Let $k$ be a non-archimedean complete valued field and let X be a smooth Berkovich analytic $k$-curve. Let $F$ be a finite locally constant \'{e}tale sheaf on $k$ whose torsion is prime to the residue characteristic. We denote by $|X|$ the…

We construct a sheaf-theoretic representation of quantum observables algebras over a base category equipped with a Grothendieck topology, consisting of epimorphic families of commutative observables algebras, playing the role of local…

In the framework of Abstract Differential Geometry, we show that to a given principal sheaf and a representation of its stuctural sheaf in $A^n$, where A is a sheaf of associative, commutative, unital algebras (over R or C), we associate a…

This is an update of the first version. We clarify that the main results apply to more general smooth projective varieties X than products of elliptic curves (briefly: X is of "abelian type", e.g. an abelian variety or a product of curves,…

Sheaves and sheaf cohomology are powerful tools in computational topology, greatly generalizing persistent homology. We develop an algorithm for simplifying the computation of cellular sheaf cohomology via (discrete) Morse-theoretic…

Given a projective morphism $f:X\to Y$ from a complex space to a complex manifold, we prove the Griffiths semi-positivity and minimal extension property of the direct image sheaf $f_\ast(\mathscr{F})$. Here, $\mathscr{F}$ is a coherent…

Let $k$ be a field, $C\to \Spec k$ be a stable curve and let $G$ be a finite group acting faithfully on the curve $C\to \Spec k$. In this article, we compute the vector space $\Ext^1_G(\Omega_{C/k}, \O_C)$, the sheaf $\Omega_{C/k}$ being…

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…

We study equivariant resolutions and local cohomologies of toric sheaves for affine toric varieties, where our focus is on the construction of new examples of decomposable maximal Cohen-Macaulay modules of higher rank. A result of Klyachko…

We apply the machinery of relative tensor triangular Chow groups to the action of the derived category of quasi-coherent sheaves on a noetherian scheme $X$ on the derived category of quasi-coherent $\mathcal{A}$-modules, where $\mathcal{A}$…