Related papers: Lefschetz-Verdier trace formula and a generalizati…

The goal of this paper is to give a simple proof of Deligne's conjecture (proven by Fujiwara) and to generalize it to the situation appearing in our joint project with David Kazhdan on the global Langlands correspondence over function…

The Lefschetz fixed point theorem and its converse have many generalizations. One of these generalizations is to endomorphisms of a space relative to a fixed subspace. In this paper we define relative Lefschetz numbers and Reidemeister…

Deligne's conjecture is the Lefschetz trace formula for correspondences defined over a finite field. In this paper, we prove an analogous statement of Deligne's conjecture with respect to $p^n$-torsion \'etale cohomology under certain…

While not obvious from its initial motivation in linear algebra, there are many context where iterated traces can be defined. In this paper we prove a very general theorem about iterated 2-categorical traces. We show that many…

This is the second article in a two-part series presenting a new proof comparing the non-invariant trace formula for a general linear group with that of one of its inner forms. In this article, we focus on the spectral side of the trace…

We prove a relative Lefschetz-Verdier theorem for locally acyclic objects over a Noetherian base scheme. This is done by studying duals and traces in the symmetric monoidal $2$-category of cohomological correspondences. We show that local…

The Lefschetz fixed point theorem follows easily from the identification of the Lefschetz number with the fixed point index. This identification is a consequence of the functoriality of the trace in symmetric monoidal categories. There are…

We reexamine equivariant generalizations of the Lefschetz number and Reidemeister trace using categorical traces. This gives simple, conceptual descriptions of the invariants as well as direct comparisons to previously defined…

We prove two general decomposition theorems for fixed-point invariants: one for the Lefschetz number and one for the Reidemeister trace. These theorems imply the familiar additivity results for these invariants. Moreover, the proofs of…

In this paper we investigate the representations of reductive groups over a finite field, introduced in 1987 by D.Kazhdan and G.Laumon. We show that generically these representations are irreducible and that their character is equal to the…

The goal of this note is to show that in the case of transversal intersections the "true local terms" appearing in the Lefschetz trace formula equal to the "naive local terms". To prove the result we extend the method of [Va], where the…

In 1989 H. Tverberg proposed a quite general conjecture in Discrete geometry, which could be considered as the common basis for many results in Combinatorial geometry and at the same time as a discrete analogue of the common transversal…

We compute the trace of an endomorphism in equivariant bivariant K-theory for a compact group G in several ways: geometrically using geometric correspondences, algebraically using localisation, and as a Hattori-Stallings trace. This results…

Kottwitz's conjecture describes the contribution of a supercuspidal represention to the cohomology of a local Shimura variety in terms of the local Langlands correspondence. A natural extension of this conjecture concerns Scholze's more…

We show how one can twist the definition of Hochschild homology of an algebra or a DG algebra by inserting a possibly non-additive trace functor. We then prove that many of the usual properties of Hochschild homology survive such a…

In this article, we discuss the Lefschetz trace formula for an adic space which is separated smooth of finite type but not necessarily proper over an algebraically closed non-archimedean field. Under a certain condition on the absence of…

We propose a generalization of the Witten conjecture, which connects a descendent enumerative theory with a specific reduction of KP integrable hierarchy. Our conjecture is realized by two parts: Part I (Geometry) establishes a…

The Langlands Program relates Galois representations and automorphic representations of reductive algebraic groups. The trace formula is a powerful tool in the study of this connection and the Langlands Functoriality Conjecture. After…

We revisit the generalized connection of Double Field Theory. We implement a procedure that allow us to re-write the Double Field Theory equations of motion in terms of geometric quantities (like generalized torsion and non-metricity…

The article is a contribution to the local theory of geometric Langlands correspondence. The main result is a categorification of the isomorphism between the (extended) affine Hecke algebra, thought of as an algebra of Iwahori bi-invariant…