Abstract: If in a given rank , there is an irreducible complex local system with torsion determinant and quasi-unipotent monodromies at infinity on a smooth quasi-projective variety, then for every prime number , there is an absolutely irreducible -adic local system of the same rank, with the same determinant and monodromies at infinity, up to semi-simplification. A finitely presented group is said to be weakly integral with respect to a torsion character and a rank if once there is an irreducible rank complex linear representation, then for any , there is an absolutely irreducible one of rank and determinant this given character which is defined over . We prove that this property is a new obstruction for a finitely presented group to be the fundamental group of a smooth qusi-projective complex variety. The proofs rely on the arithmetic Langlands program via the existence of Deligne's companions (L. Lafforgue, Drinfeld) and the geometric Langlands program via de Jong's conjecture (Gaitsgory for ). We also define weakly arithmetic complex local systems and show they are Zariski dense in the Betti moduli. Finally we show that our method gives an arithmetic proof of Corlette-T. Mochizuki theorem, proved using tame pure imaginary harmonic metrics, after which the pull-back by a morphism between two smooth complex algebraic varieties of a semi-simple complex local system is semi-simple. v2: a mistake pointed out by the kind referee in the proof of Theorem 7.3 is corrected. Final version: appears in Transactions AMS
Recommendations
Cites work
- p-adic lattices are not KĂ€hler groups
- A conjecture on arithmetic fundamental groups
- A finiteness theorem for Galois representations of function fields over finite fields (after Deligne)
- A Lefschetz theorem for overconvergent isocrystals with Frobenius structure
- Algebraic families of Galois representations and potentially semi-stable pseudodeformation rings
- Applications of the algebraic geometry of the PutmanâWieland conjecture
- Arithmetic lattices and commensurator according to G. A. Margulis
- Arithmetic subspaces of moduli spaces of rank one local systems
- Asymptotic behaviour of tame harmonic bundles and an application to pure twistor đ·-modules. II
- Chtoucas de Drinfeld et correspondance de Langlands
- Cohomologically rigid local systems and integrality
- Density of Arithmetic Representations of Function Fields
- Geometrically irreducible \(p\)-adic local systems are de Rham up to a twist
- Good reduction of abelian varieties
- Higgs bundles and local systems
- scientific article; zbMATH DE number 4175077 (Why is no real title available?)
- scientific article; zbMATH DE number 49937 (Why is no real title available?)
- scientific article; zbMATH DE number 3794225 (Why is no real title available?)
- scientific article; zbMATH DE number 3419273 (Why is no real title available?)
- La conjecture de Weil. II
- Les Constantes des Equations Fonctionnelles des Fonctions L
- Non-linear residually finite groups.
- On a conjecture of Deligne
- On a conjecture of Kashiwara.
- On de Jong's conjecture
- On the finiteness of Q-extensions generated by traces of the Frobenius in finite characteristic
- Rigid connections and \(F\)-isocrystals
- The p-adic analytic space of pseudocharacters of a profinite group and pseudorepresentations over arbitrary rings
- The monodromy groups of lisse sheaves and overconvergent F-isocrystals
Cited in
(4)
This page was built for publication: Integrality of the Betti moduli space
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6186127)
