On functional equations of complex powers (Q1080475)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On functional equations of complex powers
scientific article

    Statements

    On functional equations of complex powers (English)
    0 references
    0 references
    1986
    0 references
    Let X be a prehomogeneous vector space (in the sense of Sato-Shintani) over a local field K of characteristic 0, i.e. an affine space together with an irreducible polynomial f over K on X and a connected reductive algebraic K-subgroup \(G\subset GL(X)\) acting transitively on \(Y:=X\setminus f^{-1}(0)\). There exist finitely many \(G_ K\)-orbits \(Y_ 1,...,Y_{\ell}\) making up Y(K); for each \(Y_ i\) and any \(\omega\) in the space \(\Omega\) of all quasi-characters on \(K^{\times}=K\setminus \{0\}\), tempered distributions \(Z_ i(\omega)\) are defined by \[ Z_ i(\omega)(\Phi)=\int_{Y_ i}(\omega \omega_{\kappa})^{-1}(f(x)) \Phi (x) dx \] for Schwartz-Bruhat functions \(\Phi\) on \(X_ K\), where \(\omega_ s(t):=| t|^ s_ K\), \(| \quad |_ K\) denotes valuation in K and \(\kappa:=\dim X/\deg f\). These \(Z_ i\) depend holomorphically on \(\omega\) when restricted to an open subset of \(\Omega\) and admit meromorphic continuations to all of \(\Omega\) with functional equations \[ Z_ i(\omega)^*=\sum^{\ell}_{j=1}\gamma_{ij}(\omega) Z_ j(\omega_{\kappa}\omega^{-1}) \] where * denotes Fourier transform and \(\gamma_{ij}\) are meromorphic on \(\Omega\). The \(\Gamma\)-matrix \((\gamma_{ij}(\omega))\) apparently under the influence of the (polynomial) b-function of f, has been explicitly computed (up to sign) for \(\omega =\omega_ s\), \(K={\mathbb{C}}\) (and reductive G) by earlier authors (e.g. Sato). Now, by introducing a ''renormalized'' \(\Gamma\)-matrix \(a_ K(G,\omega)\) involving \(\gamma\) (\(\omega)\) and the b-function, the author establishes (under the additional restrictions for p-adic fields K that G is irreducible and K-split with the b-function having all its roots in \({\mathbb{Z}})\) that \(a_ K(G,\omega)\) depends only on the K- equivalence class of G and on \(\omega\) (once the ordering of \(Y_ i\) and of similar 'dual orbits' is fixed) and is ''intrinsic'' for \(\ell =1\), in particular. It is explicitly determined and shown to be 1, for \(K={\mathbb{C}}\) and similarly for \(K={\mathbb{R}}\) with \(\ell =1\) or p-adic fields K, with the stated restrictions). One may refer in this connection to a preprint of \textit{F. Sato} on ''Remarks on functional equations of zeta distributions''.
    0 references
    complex powers
    0 references
    prehomogeneous vector space
    0 references
    local field
    0 references
    connected reductive algebraic K-subgroup
    0 references
    quasi-characters
    0 references
    tempered distributions
    0 references
    Schwartz-Bruhat functions
    0 references
    meromorphic continuations
    0 references
    functional equations
    0 references
    \(\Gamma \) -matrix
    0 references
    b-function
    0 references
    p-adic fields
    0 references
    zeta distributions
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references