11.07.2015 Views

International Congress of Mathematicians

International Congress of Mathematicians

International Congress of Mathematicians

SHOW MORE
SHOW LESS
  • No tags were found...

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

122 J. W. Cogdell I. I. Piatetski-Shapiro3. Functoriality via the Converse TheoremIn order to apply these theorems, one must be able to control the analyticproperties <strong>of</strong> the F-function. However the only way we have <strong>of</strong> controlling global F-functions is to associate them to automorphic forms or representations. A minute'sthought will then convince one that the primary application <strong>of</strong> these results will beto the lifting <strong>of</strong> automorphic representations from some group H to GL n .Suppose that H is a reductive group over k. For simplicity <strong>of</strong> exposition we willassume throughout that H is split and deal only with the connected component <strong>of</strong> itsF-group, which we will (by abuse <strong>of</strong> notation) denote by L H [1]. Let n = ®'n v be acuspidal automorphic representation <strong>of</strong> H and p a complex representation <strong>of</strong> L H. Tothis situation Langlands has associated an F-function L(s,n,p) [1]. Let us assumethat p maps L H to GL n (C). Then by Langlands' general Principle <strong>of</strong> Functorialityto n should be associated an automorphic representation II <strong>of</strong> GL n (A) satisfyingL(s,U) = L(s,n,p), e(s,U) = e(s,n,p), with similar equalities locally and for thetwisted versions [1]. Using the Converse Theorem to establish such liftings involvesthree steps: construction <strong>of</strong> a candidate lift, verification that the twisted F-functionsare "nice", and application <strong>of</strong> the appropriate Converse Theorem.1. Construction <strong>of</strong> a candidate lift: We construct a candidate lift II = C^'n^on GL n (A) place by place. We can see what n^ should be at almost all places.Since we have the arithmetic Langlands (or Hecke-Frobenius) parameterization <strong>of</strong>representations n v <strong>of</strong> H(k v ) for all archimedean places and those non-archimedeanplaces where the representations are unramified [1], we can use these to associateto n v and the map p v : L H V —¥ L H —t GL n (C) a representation n^ <strong>of</strong> GL n (fc„). Thiscorrespondence preserves local F- and e-factorsL(s,U v ) = L(s,n v ,p v ) and e(s,U v ,ip v ) = e(s,n v ,p v ,ip v )along with the twisted versions. If H happens to be GL TO or a related group thenwe in principle know how to associate the representation n^ at all places now thatthe local Langlands conjecture has been solved for GL TO . For other situations, wemay not know what n^ should be at the ramified places. We will return to thisdifficulty momentarily and show how one can work around this with the use <strong>of</strong> ahighly ramified twist. But for now, let us assume we can finesse this local problemand arrive at a global representation II = C^'n^ such thatL(s,U) = JjL(s,n„) = Y[L(s,n v ,p v ) = L(s,n,p)and similarly e(s,U) = e(s,n,p) with similar equalities for the twisted versions. IIshould then be the Langlands lifting <strong>of</strong> n to GL n (A) associated to p.2. Analytic properties <strong>of</strong> global L-functions: For simplicity <strong>of</strong> exposition, let usnow assume that p is simply a standard embedding <strong>of</strong> L H into GL„(C), such as willbe the case if we consider H to be a split classical group, so that L(s, n, p) = L(s, n)is the standard F-function <strong>of</strong> n. We have our candidate II for the lift <strong>of</strong> n to GL„from above. To be able to assert that the II which we constructed place by placeis automorphic, we will apply a Converse Theorem. To do so we must control thetwisted F-functions L(s, II x n') = L(s,n x n') for n' £ T with an appropriate

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!