Apologies in advance if this is a bit too simple to ask here, but I think I'm probably more likely to get an answer here than at stackexchange.

I've been trying to learn the basics of the Langlands program over the last couple of months, and I've reached a funny point where I *think* I understand the rough idea of whats going on, but I seem to have a fairly large amount of reading to do before I can take the next step and understand everything properly.

I'm currently at the point where I'm completely happy with Tate's thesis and the basic ideas of automorphic forms and representations. My understanding of Langlands right now is roughly:

Tate's thesis shows us that by using abelian harmonic analysis on the adele ring, we can prove functional equations for L-functions attached to Hecke characters.

Hecke characters are just one-dimensional automorphic representations.

We can (or believe we can? I'm not entirely sure what the status of this part is) use nonabelian harmonic analysis to prove functional equations for the L-functions attached to more general automorphic representations. I know the point of the fundamental lemma is that it lets us use the information given by the Arthur-Selberg trace formula in a useful way - so this generalises the role of Poisson summation in Tate's thesis?

A (very) rough statement of the local Langlands conjectures is that a whole load of arithmetic L-functions that we've defined actually arise from automorphic representations.

So local Langlands would mean we can prove functional equations for a huge amount of L-functions.

I'm aware that I've missed out huge chunks of the program like functoriality, which I haven't even begun to understand yet, but I'd like to think there's enough there for me to have a pretty reasonable idea of what's going on at a basic level.

Then my question is this: is this at all accurate? The idea as I've summarised it above is one that I've pieced together myself from the various things I've read about Langlands, and it seems like a pretty simple explanation of why we should care about Langlands, yet it's not an explanation I can recall seeing anywhere before, which makes me suspect that I might have missed the point a bit.

globalLanglands conjectures is that a whole load of arithmetic $L$-functions arise from automorphic representations. If by "arithmetic $L$-function" you mean "$L$-function attached to a motive" or, more mundanely, "to a Galois representation", then functoriality is just the statement that there is a construction on the automorphic side which matches goofing around on the Galois side, e.g. taking the symmetric square of the auto rep. $\endgroup$ – user30035 Jan 19 '13 at 16:14