11.07.2015 Views

International Congress of Mathematicians

International Congress of Mathematicians

International Congress of Mathematicians

SHOW MORE
SHOW LESS
  • No tags were found...

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

610 A. KlyachkoAgain our experience with the unitary triplet suggests that the exponential mapestablishes a Thompson's type correspondence between O'Shea-Sjamaar inequalitiesfor additive singular problem and that <strong>of</strong> for hyperbolic angles.5.3. P-adic spectral problemsThere is also a nonarchimedian counterpart <strong>of</strong> this theory, which deals withclassical Chevalley groups G p = SL(n,Q p ), SO(n,Q p ), or Sp(2n,Q p ) over p-adicfield Qp and their maximal compact subgroups Kp = SL(n,Z p ), SO(n,Z p ), orSp(2n, Z p ) respectively. Double coset Kp#Kp may be treated as a complete invariant<strong>of</strong> lattice L = gL 0 , L 0 = Z®" with respect to Kp. We call lattice L = gL 0unimodular, orthogonal or symplectic if respectively g £ SL(n,Q p ), g £ SO(n,Q p )or g £ Sp(2n,Q p ).It is commonly known that in the unimodular case there exists a basis e, <strong>of</strong>L 0 such that ê, = p Qi e, form a basis <strong>of</strong> L for some a, £ Z. We define index (L : L 0 )by(L:L 0 ) = (p a \p a V..,p a »), ai>a 2 > •••> a„_3 > ... > az- n > Gi-n> an d a~i = —a«.Similarly, for symplectic lattice L we can choose symplectic basis e,, fj <strong>of</strong> L 0such that è, = p Qi e, and fj = p^aj fj form a basis <strong>of</strong> L. In this case we have(L:L 0 ) = (p a »,p a »- 1 ,...,p ai ,p- Ql ,...,p- a »- 1 ,p- a »), (5.3)with a n > a n -i >,... , > cti > 0.Notice that the spectra (5.1)-(5.3) have the same symmetry, as singular spectruma (A) <strong>of</strong> a matrix A e G in the corresponding classical complex group.Theorem 5.2. The following conditions are equivalent(1) There exists a sequence <strong>of</strong> (unimodular, orthogonal, symplectic) latticesLQ, LI, ... , Ljv-i, LM = LQ<strong>of</strong> given indices ai = (L t : L,_i).(2) The indices ai satisfy the equivalent conditions <strong>of</strong> Theorem 5.1 for the correspondingcomplex group G.We'll give pro<strong>of</strong> elsewhere. The theorem is known for the unimodular lattices,see [10].

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!