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
 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 BLGGT Borel Bourgeois Pig Chess Class Number Problem Coffee completed cohomology cricket CSO cyclotomic integers David Geraghty David Zywina Deligne Dick Gross Drinfeld Seminar Elsevier Fermat Fred Diamond Fred Diamond's Beard 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 Journalism Ktheory Ken Ribet Kevin Buzzard Langlands Leopoldt Conjecture LMFDB Mark Kisin Matthew Emerton Michael Harris MO modular forms Modularity MSRI Music Nonsense NPR Ouroboros Peter Scholze Puzzle Richard Moy RLT Robert Coleman Schoenberg Schubert Serre subfactors Tate Third Wave Coffee Toby Gee torsion Vytas Paskunas Zagier
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.