11
$\begingroup$

Straightforward computations lead to the following standard property of Fourier transformation: it transforms convolutions into products, i.e. for functions $f$ and $g$ Schwartz class we have $$\widehat{f \star g} = \hat{f} \hat{g} \qquad (1) $$

I am interested in the corresponding property in the more general setting of Fourier transforms on some dual groups. Let $G$ be a reductive group, $\pi$ and automorphic representation of $G$, and define the Fourier transform of functions in the Hecke algebra by $$\widehat{f}(\pi) = \mathrm{tr} \ \pi(f)$$

Property $(1)$ does not always hold in this more general setting. It is easy to check that $\pi(a \star b) = \pi(a) \circ \pi(b)$, hence the property (1) remains true in cases of multiplicty one.

Let $K$ be a (say maximal) compact subgroup and $f$ a function in the Hecke algebra. By definition, $\pi(f) \circ \pi(\mathbf{1}_K)$ is 0 when $\pi$ is ramified, by multiplicity one indeed $\widehat{\mathbf{1}_K}(\pi)=\mathbf{1}_{K-\text{unram}}(\pi)$. In that case, I would like to state property (1), however there is no reason because $$\mathrm{tr}(\pi(f) \circ \pi(\mathbf{1}_K)) = \mathbf{1}_{K-\text{unram}}(\pi) \ \mathrm{tr} \ \pi(f_{|\text{K-unram}}) $$

and this last trace if a priori not $\mathrm{tr} \ \pi(f)$, right? Anyway, my question without those details is:

Given a function $f$, is there a $g$ such that $$\widehat{g \star \mathbf{1}_K} = \hat{f} \cdot \widehat{\mathbf{1}_K}$$

Thanks in advance!

$\endgroup$
9
  • $\begingroup$ I'm confused. Wouldn't (1) in your setting mean tr $\pi(f) \pi(g) = $ tr $\pi(f)$ tr $\pi(g)$? But trace is not multiplicative. $\endgroup$
    – Kimball
    Commented Jan 8, 2018 at 4:34
  • $\begingroup$ @Kimball Yes that is my problem: is there any analogous property to (1) if it is not true, giving a method to "twist" test functions? $\endgroup$ Commented Jan 8, 2018 at 6:11
  • $\begingroup$ @Kimball I stated the problem in my more precise situation where I hope a way to "twist a Fourier transform". Thanks in advance. $\endgroup$ Commented Jan 8, 2018 at 10:14
  • $\begingroup$ I don't even understand why you are calling tr $\pi(f)$ a Fourier transform. A priori, it's just a map from functions on $G$ to functions on the unitary (say) dual of $G$. It's not invertible for instance. Normally one looks at Fourier transforms on Lie algebras. $\endgroup$
    – Kimball
    Commented Jan 8, 2018 at 13:57
  • 1
    $\begingroup$ @Kimball I think the OP is calling $tr(\pi(f))$ to be Fourier transform of $f$ as an analogue of one dimensional representation (as if $tr\pi$ is a character). Also I am not sure what you meant by "not invertible". One can get back $f$ by a Plancherel integral: $$f(1)=\int_{\hat{G}}tr(\pi(f))d\mu(\pi).$$ $\endgroup$ Commented Jan 10, 2018 at 14:35

0

You must log in to answer this question.