It used to be the case that the Langlands programme could be used to say something interesting about arithmetic 3manifolds qua hyperbolic manifolds. Now, after the work of Agol, Wise, and others has blown the subject to smithereens, this gravy train appears to be over. It seems to me, however, that the great advance in our knowledge of hyperbolic 3manifolds has precious little to say about arithmetic 3manifolds qua lattices in semisimple groups. As a basic example, suppose that is a maximal compact arithmetic three orbifold associated to a quaternion algebra for some field (with the appropriate behavior at the infinite primes). Then one may ask whether has positive Betti number after some finite congruence cover . Let’s call this the virtual congruence positive Betti number conjecture. (This conjecture should be true – it is a consequence of Langland’s conjectural base change for , which everyone believes but is probably very difficult.) AFAIK, there’s not really much one can say about this problem from the geometric group theory/RAAG/LERF/etc perspective, where the arithmetic structure of the tautological representation does not seem to play so much of a role. A related question is the extent to which arithmetic 3manifolds are intrinsically different from their nonarithmetic hyperbolic brethren. Is the virtual congruence Betti number conjecture (for arithmetic manifolds) something that could plausibly answered using geometric group theory?

Recent Posts
Categories
Blogroll
Recent Comments
Archives
 November 2017
 October 2017
 September 2017
 August 2017
 July 2017
 June 2017
 May 2017
 April 2017
 March 2017
 February 2017
 January 2017
 December 2016
 November 2016
 October 2016
 August 2016
 June 2016
 May 2016
 April 2016
 March 2016
 October 2015
 September 2015
 August 2015
 July 2015
 June 2015
 May 2015
 April 2015
 March 2015
 February 2015
 January 2015
 December 2014
 November 2014
 October 2014
 September 2014
 August 2014
 July 2014
 June 2014
 May 2014
 April 2014
 March 2014
 February 2014
 January 2014
 December 2013
 November 2013
 October 2013
 September 2013
 August 2013
 July 2013
 June 2013
 May 2013
 April 2013
 March 2013
 February 2013
 January 2013
 December 2012
 November 2012
 October 2012
 Akshay Venkatesh
 Ana Caraiani
 andras schiff
 Andrew Wiles
 Bach
 Bao Le Hung
 Barry Mazur
 Beethoven
 Borel
 Bourgeois Pig
 Chess
 Class Number Problem
 Coffee
 completed cohomology
 cricket
 CSO
 cyclotomic integers
 David Geraghty
 Deligne
 Dick Gross
 Elsevier
 Fermat
 Fred Diamond
 Galois Representations
 Gauss
 George Boxer
 Glenn Gould
 Gowers
 Grothendieck
 Hilbert modular forms
 Ian Agol
 Intelligentsia
 Inverse Galois Problem
 Jack Thorne
 James Newton
 Jared Weinstein
 Joel Specter
 John Voight
 Jordan Ellenberg
 Ktheory
 Ken Ribet
 Kevin Buzzard
 Langlands
 Leopoldt Conjecture
 LMFDB
 Mark Kisin
 Matthew Emerton
 Michael Harris
 MO
 modular forms
 Modularity
 MSRI
 Music
 Nonsense
 Ouroboros
 Patrick Allen
 Peter Scholze
 Richard Moy
 RLT
 Robert Coleman
 Schoenberg
 Schubert
 Serre
 Shekar Khare
 subfactors
 Tate
 The Hawk
 Third Wave Coffee
 Toby Gee
 torsion
 Vlad Serban
 Vytas Paskunas
 Wintenberger
 Zagier
 Zili Huang
Meta
I doubt it. The constructions carried out to get a cover with positive betti number are likely highly noncongruence. Maybe one could hope to promote virtual positive b_1 in a noncongruence cover to a congruence cover? If one has a tower of congruence covers, then there is a finitesheeted cover of bounded index of each of these (in a compatible tower) which has positive b_1 (by intersecting with the noncongruence cover with positive b_1). Maybe the rank of b_1 of these covers grows unbounded? One could hope to show that this implies that the b_1 is positive downstairs eventually. But the 1forms may be highly nonautomorphic, in some sense.
Any such cohomology classes will generate (in a congruence tower at some other prime $p$) an admissible representation. Such representations are either infinite dimensional or trivial, and in the latter case the cohomology had to come from invariant forms, and so already come from a congruence subgroup. So certainly any new cohomology in a noncongruence cover generates more such cohomology. But yes, I agree, it’s hard to see this having any relation to the cohomology downstairs.