No, this post is not an exercise in tautological reasoning: the point is that the word “discrete” is relatively overloaded. In the theory of automorphic forms, “discrete spectrum” (or “spectre discret”) is the same as “cuspidal spectrum”, and refers to those automorphic representations (of a given group over a given global field ) which are realized as closed subspaces of the relevant representation space on , by opposition with the “continuous spectrum”, whose components may fail to be actual subrepresentations.

However, we can also think of automorphic representations as points in the unitary dual of the relevant adélic group , and this has a natural topology (the Fell topology), for which it then makes sense to ask whether the set of all cuspidal automorphic representations is discrete or not.

The two notions might well be unrelated: for instance, if we take the group and the direct sum over of the principal series with parameter , we obtain a representation containing only “discrete” spectrum, but parameterized by a “non-discrete” subset of the unitary dual.

It is nevertheless true that the discrete spectrum is discrete in the unitary dual, in the automorphic case. I am sure this is well-known. (Unless the topology on the unitary dual is much weirder than I expect; my expertise in this respect is quite limited, but I remember asking A. Venkatesh who told me that the pathologies of the unitary dual topology are basically irrelevant as far as the automorphic case is concerned). I think this must be well-known, but I don’t remember seeing it mentioned anywhere (hence this post…)

Here is the argument, at least over number fields, and for . Let be a given cuspidal representation. The unitary dual topology on the adélic group is, if I understand right, the restricted direct product topology with respect to the unramified spectrum. So a neighborhood of is determined by a finite set of places and corresponding neighborhoods of for . We want to find such a neighborhood in which is the unique automorphic cuspidal representation.

First, we can fix a neighborhood of the archimedean (Langlands) parameters that is relatively compact. Next, we note (or claim…) that for a finite place , the exponent of the conductor is locally constant, so we get neighborhoods of , with the unramified spectrum when is unramified at , such that all automorphic representations in

have arithmetic conductor equal to that of . With the archimedean condition, it follows that the Iwaniec-Sarnak analytic conductor of cuspidal representations in is *bounded*.

However, a basic “height-like” property is that there are only finitely many cuspidal representations with bounded analytic conductor (this is proved by Michel-Venkatesh in Section 2.6.5 of this paper, and a different proof based on spherical codes, as suggested by Venkatesh, is due to Brumley). Thus almost isolates , in the sense that only finitely many other cuspidal representations can lie in . Denote by this set of representations.

Now, the unitary dual is (or should be…) at least minimally separated so that, for any two cuspidal representations and , there is an open set which contains and not , say . Then

is an open neighborhood of which only contains the cuspidal representation …

A pedantic comment: “discrete spectrum” is not the same as “cuspidal spectrum”, since automorphic representations which occur discretely need not be cuspidal, e.g. residues of Eisenstein series.

Yes, that’s actually an important comment! So the cuspidal spectrum is discrete, and the discrete might well be, but I’ll have to check how this goes since I never properly learnt the non-cuspidal discrete spectrum…

Sorry to comment on a very old post, but what about twists of cusp forms by |det|^{it}? It looks like each cusp form should live in a continuum of unitary representations given by these twists. I image we fix this up using the central character, i.e. should the “untary dual” be taken those automorphic representations with fixed central character? Or finite order central character? Or is there something else that I am missing?