Gukov/Witten, Gauge theory, ramification, and the geometric Langlands program

http://jp.arxiv.org/abs/hep-th/0612073
非可換類体論において数体のアナロジーとしてリーマン面を考えるのが geometric Langlands．では，数体のアナロジーとして３次元多様体をもってきて，「topological Langlands」を定式化できないだろうか？