Source author record

Olivier Taïbi

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.NT math.RT math.AG

Catalog footprint

Research overview

6works

3topics

2close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2026arXiv

A Nomizu-van Est theorem in Ekedahl's derived $\ell$ -adic setting

A theorem of Nomizu and van Est computes the cohomology of a compact nilmanifold, or equivalently the group cohomology of an arithmetic subgroup of a unipotent linear algebraic group over $\mathbb{Q}$ . We prove a similar result for the cohomology of a compact open subgroup of a unipotent linear algebraic group over $\mathbb{Q}_{\ell}$ with coefficients in a complex of continuous $\ell$ -adic representations. We work with the triangulated categories defined by Ekedahl which play the role of ``derived categories of continuous $\ell$ -adic representations''. This is motivated by Pink's formula computing the derived direct image of an $\ell$ -adic local system on a Shimura variety in its minimal compactification, and its application to automorphic perverse sheaves on Shimura varieties. The key technical result is the computation of the cohomology with coefficients in a unipotent representation with torsion coefficients by an explicit complex of polynomial cochains which is of finite type.

preprint2026arXiv

The Euler characteristic of $\ell$ -adic local systems on $\mathcal{A}_n$

We study the Euler characteristic of $\ell$ -adic local systems on the moduli stack $\mathcal{A}_n$ of principally polarized abelian varieties of dimension $n$ associated to algebraic representations of $\mathbf{GSp}_{2n}$ , as virtual representations of the absolute Galois group of $\mathbb{Q}$ and the unramified Hecke algebra of $\mathbf{GSp}_{2n}$ . To this end we take the last steps of the Ihara-Langlands-Kottwitz method to compute the intersection cohomology of minimal compactifications of Siegel modular varieties in level one, following work of Kottwitz and Morel, proving an unconditional reformulation of Kottwitz' conjecture in this case. This entails proving the existence of $\mathrm{GSpin}$ -valued Galois representations associated to certain level one automorphic representations for $\mathbf{PGSp}_{2n}$ and $\mathbf{SO}_{4n}$ . As a consequence we prove the existence of $\mathrm{GSpin}$ -valued Galois representations associated to level one Siegel eigenforms, a higher genus analogue of theorems of Deligne (genus one) and Weissauer (genus two). Using Morel's work and Franke's spectral sequence we derive explicit formulas expressing the Euler characteristic of compactly supported cohomology of automorphic $\ell$ -adic local systems on Siegel modular varieties in terms of intersection cohomology. Specializing to genus three and level one, we prove an explicit conjectural formula of Bergström, Faber and van der Geer for the compactly supported Euler characteristic in terms of spin Galois representations associated to level one Siegel cusp forms. Specializing to trivial local systems we give explicit formulas for the number of points of $\mathcal{A}_n$ over finite fields for all $n \leq 7$ .

preprint2026arXiv

The low degree cohomology of compactifications of $A_g$

We compute the low degree $\ell$ -adic intersection cohomology of symplectic local systems on the Satake compactification of the moduli space $A_g$ of principally polarized abelian varieties. We prove that only a small finite list of irreducible Galois representations can appear in the low degree cohomology of any nonsingular toroidal compactification of $A_g$ or $X_{g,s}$ , the $s$ -fold fiber product of the universal abelian variety. We give several applications, including to spaces of holomorphic forms on toroidal compactifications and to the cohomology of the interior. In particular, we give a complete characterization of when the cohomology of $X_{g,s}$ , or one of its toroidal compactifications, is of Tate type. The result is independent of the choice of toroidal compactification.

preprint2015arXiv

Arthur's multiplicity formula for certain inner forms of special orthogonal and symplectic groups

Let G be a special orthogonal group or an inner form of a symplectic group over a number field F such that there exists a non-empty set S of real places of F at which G has discrete series and outside of which G is quasi-split. We prove Arthur's multiplicity formula for automorphic representations of G having algebraic regular infinitesimal character at all places in S.

preprint2014arXiv

Dimensions of spaces of level one automorphic forms for split classical groups using the trace formula

We consider the problem of explicitly computing dimensions of spaces of automorphic or modular forms in level one, for a split classical group $\mathbf{G}$ over $\mathbb{Q}$ such that $\mathbf{G}(\R)$ has discrete series. Our main contribution is an algorithm calculating orbital integrals for the characteristic function of $\mathbf{G}(\mathbb{Z}_p)$ at torsion elements of $\mathbf{G}(\mathbb{Q}_p)$ . We apply it to compute the geometric side in Arthur's specialisation of his invariant trace formula involving stable discrete series pseudo-coefficients for $\mathbf{G}(\mathbb{R})$ . Therefore we explicitly compute the Euler-Poincaré characteristic of the level one discrete automorphic spectrum of $\mathbf{G}$ with respect to a finite-dimensional representation of $\mathbf{G}(\mathbb{R})$ . For such a group $\mathbf{G}$ , Arthur's endoscopic classification of the discrete spectrum allows to analyse precisely this Euler-Poincaré characteristic. For example one can deduce the number of everywhere unramified automorphic representations $π$ of $\mathbf{G}$ such that $π_{\infty}$ is isomorphic to a given discrete series representation of $\mathbf{G}(\mathbb{R})$ . Dimension formulae for the spaces of vector-valued Siegel modular forms are easily derived.

preprint2012arXiv

Eigenvarieties for classical groups and complex conjugations in Galois representations

The goal of this paper is to remove the irreducibility hypothesis in a theorem of Richard Taylor describing the image of complex conjugations by $p$ -adic Galois representations associated with regular, algebraic, essentially self-dual, cuspidal automorphic representations of $\GL_{2n+1}$ over a totally real number field $F$ . We also extend it to the case of representations of $\GL_{2n}/F$ whose multiplicative character is "odd". We use a $p$ -adic deformation argument, more precisely we prove that on the eigenvarieties for symplectic and even orthogonal groups, there are "many" points corresponding to (quasi-)irreducible Galois representations. The recent work of James Arthur describing the automorphic spectrum for these groups is used to define these Galois representations, and also to transfer self-dual automorphic representations of the general linear group to these classical groups.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Olivier Taïbi

Research overview

Is this your work?

6 publications

A Nomizu-van Est theorem in Ekedahl's derived $\ell$ -adic setting

The Euler characteristic of $\ell$ -adic local systems on $\mathcal{A}_n$

The low degree cohomology of compactifications of $A_g$

Arthur's multiplicity formula for certain inner forms of special orthogonal and symplectic groups

Dimensions of spaces of level one automorphic forms for split classical groups using the trace formula

Eigenvarieties for classical groups and complex conjugations in Galois representations

See the researcher in context

Building this map preview

Olivier Taïbi

Research overview

Is this your work?

6 publications

A Nomizu-van Est theorem in Ekedahl's derived ℓ\ellℓ-adic setting

The Euler characteristic of ℓ\ellℓ-adic local systems on An\mathcal{A}_nAn​

The low degree cohomology of compactifications of AgA_gAg​

Arthur's multiplicity formula for certain inner forms of special orthogonal and symplectic groups

Dimensions of spaces of level one automorphic forms for split classical groups using the trace formula

Eigenvarieties for classical groups and complex conjugations in Galois representations

See the researcher in context

Building this map preview

A Nomizu-van Est theorem in Ekedahl's derived $\ell$ -adic setting

The Euler characteristic of $\ell$ -adic local systems on $\mathcal{A}_n$

The low degree cohomology of compactifications of $A_g$