Nilpotent Gelfand pairs and Schwartz extensions of spherical transforms via quotient pairs (Q679531)

Let \(N\) be a connected and simply connected nilpotent Lie group and \(K\) a compact group of automorphisms of \(N\). We say that \((N,K)\) is a nilpotent Gelfand pair if the convolution algebra \(L^1(N)^K\) of \(K\)-invariant integrable functions on \(N\) is commutative. Let \(\mathcal{S}(N)^K\) denote the Fréchet space of \(K\)-invariant Schwartz functions on \(N\). Let \(\mathcal{S}(\Sigma_{\mathcal{D}})\) be the space of restrictions to \(\Sigma_{\mathcal{D}}\) of Schwartz functions on \(\mathbb{R}^d\), with the quotient topology. Property \((S)\) is stated as follows: The spherical transform \(\mathcal{G}\) maps the Frechet space \(\mathcal{S}(N)^K\) isomorphically on to \(\mathcal{S}(\Sigma_{\mathcal{D}})\). For several given nilpotent Gelfand pairs \((N,K)\) in which \(N\) equal to \(\mathbb{R}^n\) or to a Heisenberg group and the action of \(K\) on the center of \(\mathfrak{n}\) is rank-one, \textit{F. Astengo} et al. [J. Funct. Anal. 251, No. 2, 772--791 (2007; Zbl 1128.43009); J. Funct. Anal. 256, No. 5, 1565--1587 (2009; Zbl 1167.43008)] and \textit{V. Fischer} and \textit{F. Ricci} [Ann. Inst. Fourier 59, No. 6, 2143--2168 (2009; Zbl 1187.43007); Math. Z. 271, No. 1--2, 221--255 (2012; Zbl 1250.43004)] established Property \((S)\). This paper provides a general bootstrapping method to establish Property \((S)\) to new nilpotent pairs \((N,K)\), once the same property is known for a class of quotient pairs of \((N,K)\) and a \(K\)-invariant form of the Hadamard formula holds on \(N\). One of the main features of the general approach is that it does not rely on explicit formulas for spherical functions or for the differential operators involved. Explicit formulas of the kind mentioned above have been found only for special pairs with \(N\) equal to the Heisenberg group.