Related papers: A trace formula for rigid varieties, and motivic W…

We show how formal and rigid geometry can be used in the theory of complex singularities, and in particular in the study of the Milnor fibration and the motivic zeta function. We introduce the so-called analytic Milnor fiber associated to…

We study the motivic Serre invariant of a smoothly bounded algebraic or rigid variety $X$ over a complete discretely valued field $K$ with perfect residue field $k$. If $K$ has characteristic zero, we extend the definition to arbitrary…

In this paper we discuss a general notion of Weil cohomology theories, both in algebraic geometry and in rigid analytic geometry. We allow our Weil cohomology theories to have coefficients in arbitrary commutative ring spectra. Using the…

We calculate the total derived functor for the map from the Weil-etale site introduced by Lichtenbaum to the etale site for varieties over finite fields. In particular, there is a long exact sequence relating Weil-etale cohomology and etale…

We would like to construct a new Grothendieck topology for arithmetic schemes, whose cohomology groups associated with motivic complexes of sheaves are finitely generated and whose Euler characteristics are related to special values of…

Flach and Morin constructed in (Doc. Math. 23 (2018), 1425--1560) Weil-\'etale cohomology $H^i_\text{W,c} (X, \mathbb{Z} (n))$ for a proper, regular arithmetic scheme $X$ (i.e. separated and of finite type over $\operatorname{Spec}…

We prove a trace formula in stable motivic homotopy theory over a general base scheme, equating the trace of an endomorphism of a smooth proper scheme with the "Euler characteristic integral" of a certain cohomotopy class over its scheme of…

Let k be an algebraically closed field of characteristic p>0. Let W(k) be the ring of Witt vectors with coefficients in k. We prove a motivic conjecture of Milne that relates, in the case of abelian schemes, the \'etale cohomology with…

For any scheme $M$ with a perfect obstruction theory, Jiang and Thomas associate a scheme $N$ with symmetric perfect obstruction theory. The scheme $N$ is a cone over $M$ given by the dual of the obstruction sheaf of $M$, and contains $M$…

We construct, based on Nicaise's article in Math. Ann. in 2009, an equivariant geometric motivic integration for special formal schemes, such that when applying to algebraizable formal schemes, we can revisit our previous work in 2020 on…

Let $\mathfrak{Var}_k^G$ denote the category of pairs $(X,\sigma)$, where $X$ is a variety over $k$ and $\sigma$ is a group action on $X$. We define the Grothendieck ring for varieties with group actions as the free abelian group of…

Given a rigid tensor-triangulated category and a vector space valued homological functor for which the K\"{u}nneth isomorphism holds, we construct a universal graded-Tannakian category through which the given homological functor factors. We…

Let $X$ be a variety over a finite field. Given an order $R$ in a semi-simple algebra over the rationals and a constructible \'etale sheaf $F$ of $R$-modules over $X$, one can consider a natural non-commutative $L$-function associated with…

Given a smooth complex threefold X, we define the virtual motive of the Hilbert scheme of n points on X. In the case when X is Calabi-Yau, this gives a motivic refinement of the n-point degree zero Donaldson-Thomas invariant of X. The key…

We study a trace formula for tamely ramified abelian varieties $A$ over a complete discretely valued field, which expresses the Euler characteristic of the special fiber of the N\'eron model of $A$ in terms of the Galois action on the…

We construct a new Weil cohomology for smooth projective varieties over a field, universal among Weil cohomologies with values in rigid additive tensor categories. A similar universal problem for Weil cohomologies with values in rigid…

A Gelfand model for an algebra is a module given by a direct sum of irreducible submodules, with every isomorphism class of irreducible modules represented exactly once. We introduce the notion of a perfect model for a finite Coxeter group,…

We study Weil-etale cohomology, introduced by Lichtenbaum for varieties over finite fields. In the first half of the paper we give an explicit description of the base change from Weil-etale cohomology to etale cohomology. As a consequence,…

Let $X$ be an arithmetic scheme (i.e., separated, of finite type over $\operatorname{Spec} \mathbb{Z}$) of Krull dimension $1$. For the associated zeta function $\zeta (X,s)$, we write down a formula for the special value at $s = n < 0$ in…

Let $W$ be the Weyl group of a split semisimple group $G$. Its Hecke category $\mathsf{H}_W$ can be built from pure perverse sheaves on the double flag variety of $G$. By developing a formalism of generalized realization functors, we…