Related papers: Faisceaux caract\`eres sur les espaces de lacets d…

This work is the geometric part of our proof of the weighted fundamental lemma, which is an extension of Ng\^o Bao Ch\^au's proof of the Langlands-Shelstad fundamental lemma. Ng\^o's approach is based on a study of the elliptic part of the…

This is an expended and revised version of the preprint "Schematization of homotopy types". The purpose of this work is to introduce a notion of \emph{affine stacks}, which is a homotopy version of the notion of affine schemes, and to give…

We prove the existence of the dualizing functor for a separated morphism of algebraic stacks with affine diagonal; then we explicitly develop duality for compact Deligne-Mumford stacks focusing in particular on the morphism from a stack to…

We study the geometry of the Hitchin fibration for $\mathcal{L}$-valued $G$-Higgs bundles over a smooth projective curve of genus $g$, where $G$ is a reductive group and $\mathcal{L}$ is a suitably positive line bundle. We show that the…

We discuss a conjecture saying that derived equivalence of simply connected smooth projective varieties implies that the difference of their classes in the Grothendieck ring of varieties is annihilated by a power of the affine line class.…

We give an explicit affine algebraic variety whose coordinate ring is isomorphic (as an algebra with the action of the Weyl group) with the equivariant cohomology of some Springer fibers.

We calculate the Borel-Moore homology of affine Springer fibers of type $A$ associated to some regular semisimple nil elliptic elements. As a result, we obtain bigraded $\mf{S}_{n}$-modules whose bigraded Frobenius series are generalization…

We compute the supports of the perverse cohomology sheaves of the Hitchin fibration for $GL_n$ over the locus of reduced spectral curves. In contrast to the case of meromorphic Higgs fields we find additional supports at the loci of…

The Grothendieck construction is a classical correspondence between diagrams of categories and coCartesian fibrations over the indexing category. In this paper we consider the analogous correspondence in the setting of model categories. As…

We show a few basic results about moduli spaces of semistable modules over Lie algebroids. The first result shows that such moduli spaces exist for relative projective morphisms of noetherian schemes, removing some earlier constraints. The…

This article contains a proof of the basic lemma. This lemma, discovered by Beilinson, yields a motivic proof of the Andreotti-Frankel theorem for affine varieties. Next, it is shown that the category of Cohomologically Constructible…

We study a Grothendieck topology on schemes which we call the $\mathrm{arc}$-topology. This topology is a refinement of the $v$-topology (the pro-version of Voevodsky's $h$-topology) where covers are tested via rank $\leq 1$ valuation…

We study perverse-Hodge complexes for Lagrangian fibrations on holomorphic symplectic varieties. We prove the symplectic Hard Lefschetz type theorem and the symmetry of perverse-Hodge complexes when the symplectic variety admits symplectic…

We present a Langlands dual realization of the putative category of affine character sheaves. Namely, we calculate the categorical center and trace (also known as the Drinfeld center and trace, or categorical Hochschild cohomology and…

We prove that affine invariant manifolds in strata of flat surfaces are algebraic varieties. The result is deduced from a generalization of a theorem of M\"oller. Namely, we prove that the image of a certain twisted Abel-Jacobi map lands in…

We show the smoothness over the affine line of the Hodge moduli space of logarithmic t-connections of coprime rank and degree on a smooth projective curve with geometrically integral fibers over an arbitrary Noetherian base. When the base…

This is the author's PhD thesis. It is a contribution to categorical logic, in particular to the theory of realizability toposes. While the tools of categorical logic have proven very successful in analyzing and organizing proof theoretic…

There is a well-established homotopy theory of simplicial objects in a Grothendieck topos, and folklore says that the weak equivalences are axiomatisable in the geometric fragment of $L_{\omega_1, \omega}$. We show that it is in fact a…

We prove the cohomological purity of punctual Hilbert schemes of points on generic irreducible planar curve singularities, by constructing an explicit affine paving. Via their identification with generalized $GL_N$-affine Springer fibers…

Grothendieck fibrations are fundamental in capturing the concept of dependency, notably in categorical semantics of type theory and programming languages. A relevant instance are Dialectica fibrations which generalise G\"odel's Dialectica…