Let $\pi\_i$ be a smooth, admissible (possibly irreducible) representation of $\operatorname{GL}\_{n\_i}(k)$ for $k$ a $p$-adic field. I have seen the following representations defined in terms of $\pi\_1$ and $\pi\_2$:


* $\pi\_1 \times \pi\_2$ (Rankin–Selberg product?)
* $\pi\_1 \boxplus \pi\_2$ (isobaric sum)
* $\pi\_1 \boxtimes \pi\_2$ (isobaric product)


How are these representations defined exactly? Can they be defined easily in terms of the Local Langlands correspondence?



Definitions of $\pi_1 \times \pi_2, \pi_1 \boxplus \pi_2, \pi_1 \boxtimes \pi_2$
The right person to answer this question is probably Dinakar Ramakrishnan (a good working reference is his paper "[Modularity of the Rankin–Selberg $L$-series, and multiplicity one for $\mathrm{SL}(2)$](https://doi.org/10.2307/2661379)"), but since he doesn't seem to use MathOverflow, here is my understanding of this. In each case, I will first discuss the local theory, then the global theory.




---


The isobaric sum $\pi\_1 \boxplus \pi\_2$ (which Langlands called the "sum operation", and by some is called the Langlands sum) is perhaps the easiest to explain. The key property is that the $L$-function of the isobaric sum is the product of the two $L$-functions:
\[L(s,\pi\_1 \boxplus \pi\_2) = L(s,\pi\_1) L(s,\pi\_2).\]
In terms of representations of $\mathrm{GL}\_{n\_1}(F)$ and $\mathrm{GL}\_{n\_2}(F)$, where $F$ is a local field, $\pi\_1 \boxplus \pi\_2$ is simply the normalised parabolic induction from the Levi subgroup $\mathrm{M} \cong \mathrm{GL}\_{n\_1}(F) \times \mathrm{GL}\_{n\_2}(F)$ to $\mathrm{GL}\_{n\_1 + n\_2}(F)$. Via the local Langlands correspondence, in terms of the corresponding $n\_1$- and $n\_2$-dimensional Weil–Deligne representations $\rho\_1$ and $\rho\_2$, the isobaric sum simply corresponds to the direct sum $\rho\_1 \oplus \rho\_2$; note that this is a $n\_1 + n\_2$-dimensional (reducible) representation of the same group.


More precisely, by $\pi\_1 \boxplus \cdots \boxplus \pi\_r$, I mean the induced representation $\mathrm{Ind}\_{\mathrm{P}(F)}^{\mathrm{GL}\_n(F)} \bigotimes\_{j = 1}^{r} \pi\_j$ of $\mathrm{GL}\_n(F)$, where $n = n\_1 + \cdots + n\_r$ and $\bigotimes\_{j = 1}^{r} \pi\_j$ denotes the outer tensor product of $\pi\_1,\ldots,\pi\_r$, which is a representation of the Levi subgroup $\mathrm{M} \cong \mathrm{GL}\_{n\_1}(F) \times \cdots \times \mathrm{GL}\_{n\_r}(F)$; this is then trivially extended to a representation of the parabolic subgroup $\mathrm{P}$ with Levi subgroup $\mathrm{M}$, then induced to a representation of $\mathrm{GL}\_n(F)$. If each $\pi\_j$ is essentially square-integrable, then $\pi\_1 \boxplus \cdots \boxplus \pi\_r$ is called an induced representation of Whittaker type (since these representations have a Whittaker model). These need not be irreducible, but the Langlands quotient theorem states that every irreducible admissible representation of $\mathrm{GL}\_n(F)$ is unitarily equivalent to the quotient of an induced representation of Whittaker type.


This extends naturally to the global setting: if $\pi\_1$ and $\pi\_2$ are automorphic representations of $\mathrm{GL}\_{n\_1}(\mathbb{A}\_F)$ and $\mathrm{GL}\_{n\_2}(\mathbb{A}\_F)$, where now $F$ is a global field, then $\pi\_1 \boxplus \pi\_2$ is an automorphic representation of $\mathrm{GL}\_{n\_1 + n\_2}(\mathbb{A}\_F)$; the automorphic forms that for a vector space for this automorphic representation are Eisenstein series induced from the Levi subgroup $M \cong \mathrm{GL}\_{n\_1} \times \mathrm{GL}\_{n\_2}$. In particular, a classical Eisenstein series on $\mathrm{GL}\_2$ has two characters associated to it (possibly the trivial characters), and this is simply induced from $\mathrm{GL}\_1 \times \mathrm{GL}\_1$, and the $L$-function of such an Eisenstein series is simply the product of the $L$-functions of the two characters.


(As an etymological aside, isobaric means equal pressure, which is somewhat incongruous since $\pi\_1$ and $\pi\_2$ can have different dimensions. Moreover, the isobaric sum is usually only used to describe the global operation, not the local one, though I personally believe it is appropriate to use it in the local setting.)


The point of the isobaric sum is that it allows one to break up (local) representations into parts that cannot be isobarically decomposed any further; these are the essentially square-integrable representations. The global analogue of these isobarically indecomposable representations are cuspidal automorphic representations.




---


For $\pi\_1 \boxtimes \pi\_2$ and $\pi\_1 \times \pi\_2$ (and $\pi\_1 \otimes \pi\_2$), the answer is a little less clear, because authors use these notations interchangeably. To me, $\boxtimes$ ought to denote the outer tensor product, so $\pi\_1 \boxtimes \pi\_2$ ought to denote a representation of the product of groups $\mathrm{GL}\_{n\_1}(F) \times \mathrm{GL}\_{n\_2}(F)$; more precisely, should think of $\boxtimes$ as a map from $\mathcal{R}(\mathrm{GL}\_{n\_1}(F)) \times \mathcal{R}(\mathrm{GL}\_{n\_2}(F))$ to $\mathcal{R}(\mathrm{GL}\_{n\_1 n\_2}(F))$, where $\mathcal{R}(\mathrm{GL}\_n(F))$ denotes the set of irreducible admissible representations of $\mathrm{GL}\_n(F)$. In terms of $\rho\_1$ and $\rho\_2$, this should simply be the tensor product $\rho\_1 \otimes \rho\_2$, which is a $n\_1 n\_2$-dimensional (possibly reducible) representation of the same group. Since the local Langlands correspondence is a theorem, this means there is a representation $\pi\_1 \times \pi\_2$ (or $\pi\_1 \otimes \pi\_2$) of $\mathrm{GL}\_{n\_1 n\_2}(F)$ corresponding to the outer tensor product $\pi\_1 \boxtimes \pi\_2$. Locally, this is reasonably well-understood via the Langlands correspondence: if
\[\pi\_1 = \boxplus\_{j = 1}^{m\_1} \pi\_{1,j}, \qquad \pi\_2 = \boxplus\_{k = 1}^{m\_2} \pi\_{2,k},\]
then
\[\pi\_1 \times \pi\_2 = \boxplus\_{j = 1}^{m\_1} \boxplus\_{k = 1}^{m\_2} \pi\_{1,j} \boxtimes \pi\_{2,k}.\]
Equivalently, if
\[\rho\_1 = \bigoplus\_{j = 1}^{m\_1} \rho\_{1,j}, \qquad \rho\_2 = \bigoplus\_{k = 1}^{m\_2} \rho\_{2,k},\]
then
\[\rho\_1 \otimes \rho\_2 = \bigoplus\_{j = 1}^{m\_1} \bigoplus\_{k = 1}^{m\_2} \rho\_{1,j} \otimes \rho\_{2,k}.\]
So everything is reduced to essentially square-integrable representations (in which case understanding this tensor product can be complicated).


For the global situation, things are a little murkier, since functoriality is not a theorem in general. In particular, the issue is that if $\pi\_1$ and $\pi\_2$ are automorphic representations of $\mathrm{GL}\_{n\_1}(\mathbb{A}\_F)$ and $\mathrm{GL}\_{n\_2}(\mathbb{A}\_F)$, where now $F$ is a global field, it is not known if $\pi\_1 \times \pi\_2$ is an automorphic representation of $\mathrm{GL}\_{n\_1 n\_2}(\mathbb{A}\_F)$. That is, we know how to define the global $L$-function $L(s,\pi\_1 \times \pi\_2)$ of this object (Jacquet, Piatetski-Shapiro, Shalika: "[Rankin–Selberg Convolutions](https://doi.org/10.2307/2374264)") as a product of local $L$-functions, as well as (more or less) how to describe the local components, but we don't know that the global object obtained by gluing together these local components is a genuine automorphic representation. This is the issue of the functorial transfer of the tensor product.


Notationally, often $\pi\_1 \otimes \pi\_2$ is used in place of $\pi\_1 \times \pi\_2$, which is, I suppose, an artefact of the fact that this corresponds to a genuine tensor product on the Weil–Deligne side. Moreover, when $n\_2 = 1$, so that $\pi\_2 = \chi$ is a character, then functoriality is a theorem, and we usually write $\pi\_1 \otimes \chi$ (but again, $\pi\_1 \times \chi$ still appears regularly in the literature).


Note that $\pi\_1 \times \pi\_2$ is called the Rankin–Selberg product or Rankin–Selberg convolution, but that really we only ever mean the $L$-function $L(s,\pi\_1 \times \pi\_2)$, since in general we don't know the hypothetical automorphic object associated to this $L$-function.


In this setting, when this global object is known to be a genuine automorphic representation of $\mathrm{GL}\_{n\_1 n\_2}(\mathbb{A}\_F)$, Ramakrishnan denotes this by $\pi\_1 \boxtimes \pi\_2$ . That is, $\boxtimes$ denotes a map from $\mathcal{A}(\mathrm{GL}\_{n\_1}(\mathbb{A}\_F)) \times \mathcal{A}(\mathrm{GL}\_{n\_2}(\mathbb{A}\_F))$ to $\mathcal{A}(\mathrm{GL}\_{n\_1 n\_2}(\mathbb{A}\_F))$, where $\mathcal{A}(\mathrm{GL}\_n(\mathbb{A}\_F))$ denotes the set of automorphic representations of $\mathrm{GL}\_n(\mathbb{A}\_F)$, such that $L(s,\pi\_1 \boxtimes \pi\_2) = L(s,\pi\_1 \times \pi\_2)$. This is the only usage of $\boxtimes$ in the global setting that I have seen. (I don't believe that $\boxtimes$ is given a name, but if it is, it's definitely not the isobaric product.)


