Related papers: Local terms for the categorical trace

We show that near closed points with linearly reductive stabilizer, Artin stacks are formally locally quotient stacks by the stabilizer. We conjecture that the statement holds etale locally and we provide some evidence for this conjecture.…

In the present article, we investigate a possibility of a real-valued map on the space of tuples of commuting trace-class self-adjoint operators, which behaves like the usual trace map on the space of trace-class linear operators. It turns…

Let $T$ be a split torus acting on an algebraic scheme $X$ with fixed locus $Z$. Edidin and Graham showed that on localized $T$-equivariant Chow groups, (a) push-forward $i_*$ along $i : Z \to X$ is an isomorphism, and (b) when $X$ is…

Deligne's conjecture that $\ell$-adic sheaves on normal schemes over a finite field admit $\ell'$-companions was proved by L. Lafforgue in the case of curves and by Drinfeld in the case of smooth schemes. In this paper, we extend Drinfeld's…

With the long-term goal of proving local structure theorems of algebraic stacks in positive characteristic near points with reductive (but possibly non-linearly reductive) stabilizer, we conjecture that quotient stacks of the form…

Exel and Renault proved that a sliding block code on a one-sided shift space coming from a progressive block map is a local homeomorphism. We provide a counterexample showing that the converse does not hold. We use this example to…

Cases of Deligne's companion conjecture for normal schemes over finite fields have been proven by L. Lafforgue, Drinfeld, and Zheng in recent years: L. Lafforgue proved the conjecture for curves, Drinfeld proved the conjecture for all…

We develop a categorical and algebro-geometric treatment of localization for cohomological theories endowed with an open--closed recollement. Starting from a class on a space whose restriction to the open complement vanishes, we show that…

In the relative trace formula approach to the arithmetic Gan-Gross-Prasad conjecture, we formulate a local conjecture (arithmetic transfer) in the case of an exotic smooth formal moduli space of p-divisible groups, associated to a unitary…

We prove a relative GAGA theorem for perfect and pseudo-coherent complexes in non-archimedean analytic geometry, allowing bases given by Fredholm analytic rings, including those associated from affinoid perfectoid spaces. This answers a…

We prove a formula, originally due to Feit and Fine, for the class of the commuting variety in the Grothendieck group of varieties. Our method, which uses a power structure on the Grothendieck group of stacks, allows us to prove several…

For a smooth map between noetherian schemes, Verdier relates the top relative differentials of the map with the twisted inverse image functor `upper shriek'. We show that the associated traces for smooth proper maps can be rendered concrete…

We study an invariant, the secondary trace, attached to two commuting endomorphisms of a 2-dualizable object in a symmetric monoidal higher category. We establish a secondary trace formula which encodes the natural symmetries of this…

We develop a theory of generalized characters of local systems in $\infty$-categories, which extends classical character theory for group representations and, in particular, the induced character formula. A key aspect of our approach is…

A locally coherent exact category is a finitely accessible additive category endowed with an exact structure in which the admissible short exact sequences are the directed colimits of admissible short exact sequences of finitely presentable…

For a given l-adic sheaf F on a commutative algebraic group over a finite field k and an integer r we define the r-th local norm L-function of F at a point t in G(k) and prove its rationality. This function gives information on the sum of…

We define and study local and global trace formulae for discrete-time uniformly hyperbolic weighted dynamics. We explain first why dynamical determinants are particularly convenient tools to tackle this question. Then we construct…

We prove \cite[Conjecture~5.17]{Clausen} on the local light--profinite structure of smooth $p$-adic analytic Artin stacks. The argument proceeds in several reductions. First, by proving a generalization of van~Dantzig theorem for groupoids,…

Let $R$ be a commutative Noetherian local ring of prime characteristic. The purpose of this paper is to provide a short proof of G. Lyubeznik's extension of a result of R. Hartshorne and R. Speiser about a module over the skew polynomial…

In this paper, we consider the Frobenius pushforward endofunctor $F_\ast$ of the bounded derived category of finitely generated modules over an $F$-finite noetherian local ring. We completely determine the categorical entropy of $F_\ast$ in…