A new kind of functoriality in the Langlands theory

We consider abelian Langlands correspondence for algebraic surfaces fibred over an algebraic curve and defined over a finite field. In the smooth case, we introduce automorphic induction and base change which connect this correspondence with the classical Langlands correspondence on the curve.