Related papers: Compatible systems of $\ell$-adic sheaves

The family of cycle completable graphs has several cryptomorphic descriptions, the equivalence of which has heretofore been proven by a laborious implication-cycle that detours through a motivating matrix completion problem. We give a…

We use former results on geometric local $\varepsilon$-factors over curves in order to prove a factorization result for the determinant of the cohomology of an $\ell$-adic sheaf over an arbitrary proper scheme over a perfect field of…

We show that Lusztig's theories of two-sided cells and non-unipotent representations of a reductive group over a finite field are compatible with the V. Lafforgue's automorphic-to-galois direction of the Langlands correspondence. To do…

We provide answers to a question brought up by Erd\H{o}s about the construction of Wetzel families in the absence of the continuum hypothesis - a Wetzel family is a family $\mathcal{F}$ of entire functions on the complex plane which…

As is well known, any complex cyclic matrix $A$ is similar to the unique companion matrix associated with the minimal polynomial of $A$. On the other hand, a cyclic matrix over a division ring $\mathbb F$ is similar to a companion matrix of…

We prove that the bounded derived category of coherent sheaves with proper support is equivalent to the category of locally-finite, cohomological functors on the perfect derived category of a quasi-projective scheme over a field. We…

In this note we relate three topics for arithmetic schemes: a general duality for \'etale constructible torsion sheaves, an \'etale homology theory, and a Gersten-Bloch-Ogus-Kato complex. The results in this paper have been used in other…

The purpose of this paper is to develop an efficient computational model for Abelian categories of coherent sheaves over certain classes of varieties. These categories are naturally described as Serre quotient categories. Hence, our…

A criterion for a functor between derived categories of coherent sheaves to be full and faithful is given. A semiorthogonal decomposition for the derived category of coherent sheaves on the intersection of two even dimensional quadrics is…

We define a theory of etale motives over a noetherian scheme. This provides a system of categories of complexes of motivic sheaves with integral coefficients which is closed under the six operations of Grothendieck. The rational part of…

Admissible pairs $((\widetilde S, \widetilde L), \widetilde E)$ consisting of an $N$-dimensional projective scheme~$\widetilde S$ of certain class with a special ample invertible sheaf $\widetilde L$ and a locally free ${\cal O}_{\widetilde…

We describe work of Faltings on the construction of \'etale cohomology classes associated to symplectic Shimura varieties and show that they satisfy certain trace compatibilities similar to the ones of Siegel units in the modular curve…

Compatibility of phylogenetic trees is the most important concept underlying widely-used methods for assessing the agreement of different phylogenetic trees with overlapping taxa and combining them into common supertrees to reveal the tree…

We prove that a large class of natural transformations (consisting roughly of those constructed via composition from the "functorial" or "base change" transformations) between two functors of the form $\cdots f^* g_* \cdots$ actually has…

A generalization of the usual ideles group is proposed, namely, we construct certain adelic complexes for sheaves of $K$-groups on schemes. More generally, such complexes are defined for any abelian sheaf on a scheme. We focus on the case…

Using the language of finite element exterior calculus, we define two families of $H^1$-conforming finite element spaces over pyramids with a parallelogram base. The first family has matching polynomial traces with tensor product elements…

We study the conjecture claiming that, over a flexible field, isotropic Chow groups coincide with numerical Chow groups (with ${\Bbb{F}}_p$-coefficients). This conjecture is essential for understanding the structure of the isotropic motivic…

We establish a criterion for sheaves on an adically complete DG scheme to be coherent. We deduce a description of coherent sheaves on an adically complete lci singularity in terms of modules for a DG Lie algebra.

For (X,L) a polarized toric variety and G a torus of automorphisms of (X,L), denote by Y the GIT quotient X/G. We define a family of fully faithful functors from the category of torus equivariant reflexive sheaves on Y to the category of…

Using a bivariant version of cohomological correspondences, we establish a categorical trace-like formula for the non-acyclicity classes introduced by Yang and Zhao (arXiv:2209.11086). As an application, we prove the additivity for the…