E-orbit functions

From MaRDI portal
Publication:2473539



Abstract: We review and further develop the theory of E-orbit functions. They are functions on the Euclidean space En obtained from the multivariate exponential function by symmetrization by means of an even part We of a Weyl group W, corresponding to a Coxeter-Dynkin diagram. Properties of such functions are described. They are closely related to symmetric and antisymmetric orbit functions which are received from exponential functions by symmetrization and antisymmetrization procedure by means of a Weyl group W. The E-orbit functions, determined by integral parameters, are invariant with respect to even part Wemaff of the affine Weyl group corresponding to W. The E-orbit functions determine a symmetrized Fourier transform, where these functions serve as a kernel of the transform. They also determine a transform on a finite set of points of the fundamental domain Fe of the group Wemaff (the discrete E-orbit function transform).


The authors presents in a full generality the theory of orbit functions symmetric with respect to the even part \(W_e\) of a Weyl group \(W\), corresponding to a Coxeter-Dynkin diagram. The Weyl groups of semisimple Lie groups are finite groups \(W\), acting on the \(n\)-dimensional Euclidean space \(E_n\), which are generated by reflections \(r_i\), \(i=1,2,\dots,n\). The \(E\)-orbit function corresponding to a point \(\lambda \in E_n\) is defined as \(E_\lambda (x)=\sum_{\mu \in O_e(\lambda )}e^{2\pi \text{ i}\langle \mu ,x\rangle }\), where \(O_e(\lambda )\) is the \(W_e\)-orbit of \(\lambda \). They are closely related to symmetric and antisymmetric orbit functions which are received from exponential functions by symmetrization and antisymmetrization procedures by means of a Weyl group \(W\). If \(\lambda \) is an integral element, then the corresponding \(E\)-orbit function \(E_\lambda (x)\) is symmetric also with respect to the elements of the affine group \(W_e^{\text{aff}}\), corresponding to the group \(W_e\). \(E\)-orbit functions \(E_\lambda (x)\) with \(\lambda \) from \(E_n\) determine \(E\)-orbit function transforms on the fundamental domain \(F(W_e)\) of the group \(W_e\). They determine also the discrete \(E\)-orbit function transforms which are transforms on grids of the domain \(F(W_e^{\text{aff}})\), an analogue of the usual discrete Fourier transforms.











This page was built for publication: \(E\)-orbit functions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2473539)