In this work, we study the intersection cohomology of Siegel modular varieties. The goal is to express the trace of a Hecke operator composed with a power of the Frobenius endomorphism (at a good place) on this cohomology in terms of the geometric side of Arthur’s invariant trace formula for well-chosen test functions. Our main tools are the results of Kottwitz about the contribution of the cohomology with compact support and about the stabilization of the trace formula, Arthur’s L2 trace formula and the fixed point formula of Morel [Complexes pondérés sur les compactifications de Baily–Borel. Le cas des variétés de Siegel, J. Amer. Math. Soc. 21 (2008), 23–61]. We ‘stabilize’ this last formula, i.e. express it as a sum of stable distributions on the general symplectic groups and its endoscopic groups, and obtain the formula conjectured by Kottwitz in [Shimura varieties and λ-adic representations, in Automorphic forms, Shimura varieties and L-functions, Part I, Perspectives in Mathematics, vol. 10 (Academic Press, San Diego, CA, 1990), 161–209]. Applications of the results of this article have already been given by Kottwitz, assuming Arthur’s conjectures. Here, we give weaker unconditional applications in the cases of the groups GSp4 and GSp6.

We use the theory of finite W-algebras associated to nilpotent orbits in the Lie algebra to give another proof of Mœglin’s theorem about completely prime primitive ideals in the enveloping algebra U(𝔤). We also make some new observations about Joseph’s Goldie rank polynomials in Cartan type A.

Let 𝒱 be a mixed characteristic complete discrete valuation ring with perfect residue field k. We solve Berthelot’s conjectures on the stability of the holonomicity over smooth projective formal 𝒱-schemes. Then we build a category of F-complexes of arithmetic 𝒟-modules over quasi-projective k-varieties with bounded and holonomic cohomology. We obtain its stability under Grothendieck’s six operations.

We study the cones of pseudoeffective and nef cycles of higher codimension on the self product of an elliptic curve with complex multiplication, and on the product of a very general abelian surface with itself. In both cases, we find for instance the existence of nef classes that are not pseudoeffective, answering in the negative a question raised by Grothendieck in correspondence with Mumford. We also discuss several problems and questions for further investigation.

Let X be an algebraic variety and let f:X−−→X be a rational self-map with a fixed point q, where everything is defined over a number field K. We make some general remarks concerning the possibility of using the behaviour of f near q to produce many rational points on X. As an application, we give a simplified proof of the potential density of rational points on the variety of lines of a cubic fourfold, originally proved by Claire Voisin and the first author in 2007.

We prove that the moduli spaces of n-pointed m-stable curves introduced in our previous paper have projective coarse moduli. We use the resulting spaces to run an analogue of Hassett’s log minimal model program for .

We study quivers with potential (QPs) whose Jacobian algebras are finite-dimensional selfinjective. They are an analogue of the ‘good QPs’ studied by Bocklandt whose Jacobian algebras are 3-Calabi–Yau. We show that 2-representation-finite algebras are truncated Jacobian algebras of selfinjective QPs, which are factor algebras of Jacobian algebras by certain sets of arrows called cuts. We show that selfinjectivity of QPs is preserved under iterated mutation with respect to orbits of the Nakayama permutation. We give a sufficient condition for all truncated Jacobian algebras of a fixed QP to be derived equivalent. We introduce planar QPs which provide us with a rich source of selfinjective QPs.

We apply our previous work on cluster characters for Hom-infinite cluster categories to the theory of cluster algebras. We give a new proof of Conjectures 5.4, 6.13, 7.2, 7.10 and 7.12 of Fomin and Zelevinsky’s Cluster algebras IV [Compositio Math. 143 (2007), 112–164] for skew-symmetric cluster algebras. We also construct an explicit bijection sending certain objects of the cluster category to the decorated representations of Derksen, Weyman and Zelevinsky, and show that it is compatible with mutations in both settings. Using this map, we give a categorical interpretation of the E-invariant and show that an arbitrary decorated representation with vanishing E-invariant is characterized by its g-vector. Finally, we obtain a substitution formula for cluster characters of not necessarily rigid objects.

We fix a prime p and consider a connected reductive algebraic group G over a perfect field k which is defined over 𝔽p. Let M be a finite-dimensional rational G-module M, a comodule for k[G]. We seek to somewhat unravel the relationship between the restriction of M to the finite Chevalley subgroup G(𝔽p)⊂G and the family of restrictions of M to Frobenius kernels G(r) ⊂G. In particular, we confront the conundrum that if M is the Frobenius twist of a rational G-module N,M=N(1), then the restrictions of M and N to G(𝔽p) are equal whereas the restriction of M to G(1) is trivial. Our analysis enables us to compare support varieties (and the finer non-maximal support varieties) for G(𝔽p) and G(r) of a rational G-module M where the choice of r depends explicitly on M.

This work establishes a comparison between functions on derived loop spaces (Toën and Vezzosi, Chern character, loop spaces and derived algebraic geometry, in Algebraic topology: the Abel symposium 2007, Abel Symposia, vol. 4, eds N. Baas, E. M. Friedlander, B. Jahren and P. A. Østvær (Springer, 2009), ISBN:978-3-642-01199-3) and de Rham theory. If A is a smooth commutative k-algebra and k has characteristic 0, we show that two objects, S1⊗A and ϵ(A), determine one another, functorially in A. The object S1⊗A is the S1-equivariant simplicial k-algebra obtained by tensoring A by the simplicial group S1 :=Bℤ, while the object ϵ(A) is the de Rham algebra of A, endowed with the de Rham differential, and viewed as a ϵ-dg-algebra (see the main text). We define an equivalence φ between the homotopy theory of simplicial commutative S1-equivariant k-algebras and the homotopy theory of ϵ-dg-algebras, and we show the existence of a functorial equivalence ϕ(S1 ⊗A)∼ϵ(A) . We deduce from this the comparison mentioned above, identifying the S1-equivariant functions on the derived loop space LX of a smooth k-scheme X with the algebraic de Rham cohomology of X/k. As corollaries, we obtain functorial and multiplicative versions of decomposition theorems for Hochschild homology (in the spirit of Hochschild–Kostant–Rosenberg) for arbitrary semi-separated k-schemes. By construction, these decompositions are moreover compatible with the S1-action on the Hochschild complex, on one hand, and with the de Rham differential, on the other hand.