On the Poincaré series and cardinalities of finite reflection groups

Let be a crystallographic reflection group with length function . We give a short and elementary derivation of the identity , where the product ranges over positive roots , and denotes the sum of the coordinates of with respect to the simple roots. We also prove that in the noncrystallographic case, this identity is valid in the limit ; i.e., .

     

Poincaré series and Coxeter functors for Fuchsian singularities

We consider Fuchsian singularities of arbitrary genus and prove, in a conceptual manner, a formula for their Poincaré series. This uses Coxeter elements involving Eichler-Siegel transformations. We give geometrical interpretations for the lattices and isometries involved, lifting them to triangulated categories.     

Construction of discrete series for classical -adic groups

The classification of irreducible square integrable representations of classical -adic groups is completed in this paper, under a natural local assumption. Further, this classification gives a parameterization of irreducible tempered representations of these groups. Therefore, it implies a classification of the non-unitary duals of these groups (modulo cuspidal data). The classification of irreducible square integrable representations is directly related to the parameterization of irreducible square integrable representations in terms of dual objects, which is predicted by Langlands program.

     

典型群的增广商群

设G 为有限域K 上的一般线性群(特殊线性群、酉群、辛群及正交群), 记整群环ZG 的n 次增广理想为△ⁿ(G). 本文着重研究有限域上的典型群的增广商群Q_n(G) = △ⁿ(G)/△ⁿ⁺¹(G), 并刻画了这些连续商群的结构.     

On the derived series of some groups

We solve Problems 17.82 and 17.86(b) posed by Mikhailov in the Kourovka Notebook [1]. Namely, we construct: (1) an example of a finitely presented group H in which the intersection H ^(ω) of all terms of the derived series is distinct from its commutant; (2) an example of a balanced presentation 〈x ₁, x ₂, x ₃|r ₁, r ₂, r ₃〉 of the trivial group for which F(x ₁, x ₂, x ₃)/[R ₁,R ₂] is not a residually soluble group (here R _i (i = 1, 2) denotes the normal closure of r _i in F(x ₁, x ₂, x ₃)). The construction of the second example is related to some approach to the Whitehead asphericity conjecture.     

The asymptotic distribution of traces of Maass–Poincaré series

We establish an asymptotic formula with a power savings in the error term for traces of CM values of a family of Maass–Poincaré series which contains the modular j-function as a special case. By work of Borcherds (1998) [2], Zagier (2002) [31], and Bringmann and Ono (2007) [4], these traces are Fourier coefficients of half-integral weight weakly holomorphic modular forms and Maass forms.     

Poincaré series of modules over compressed Gorenstein local rings

Given two positive integers e and s we consider Gorenstein Artinian local rings R   whose maximal ideal m$\mathfrak{m}$ satisfies m^s≠0=m^s+1${\mathfrak{m}}^s\ne 0={\mathfrak{m}}^{s+1}$ and _rankR/m(m/m²)=e${\mathrm{rank}}_{R/\mathfrak{m}}(\mathfrak{m}/{\mathfrak{m}}^2)=e$. We say that R is a compressed Gorenstein local ring   when it has maximal length among such rings. It is known that generic Gorenstein Artinian algebras are compressed. If s≠3$s\ne 3$, we prove that the Poincaré series of all finitely generated modules over a compressed Gorenstein local ring are rational, sharing a common denominator. A formula for the denominator is given. When s is even this formula depends only on the integers e and s  . Note that for s=3$s=3$ examples of compressed Gorenstein local rings with transcendental Poincaré series exist, due to Bøgvad.     

Poincaré series and an application to Weyl algebras

Let A n be the n-th Weyl algebra over a field of characteristic 0 and M a finitely generated module over A n . By further exploring the relationship between the Poincar′e series and the dimension and the multiplicity of M , we are able to prove that the tensor product of two finitely generated modules over A n has the multiplicity equal to the product of the multiplicities of both modules. It turns out that we can compute the dimensions and the multiplicities of some homogeneous subquotient modules of A n .     

On Fourier coefficients of Eisenstein series and Niebur Poincaré series of integral weight

We give a Katok-Sarnak type correspondence for Niebur type Poincaré series and Eisenstein series on the three-dimensional hyperbolic space.     

Convergence in mean of some random Fourier series

For a symmetric stable process X(t,ω) with index α∈(1,2], f∈Lp[0,2π], p?α, and , we establish that the random Fourier-Stieltjes (RFS) series converges in the mean to the stochastic integral , where fβ is the fractional integral of order β of the function f for . Further it is proved that the RFS series is Abel summable to . Also we define fractional derivative of the sum of order β for an, An(ω) as above and . We have shown that the formal fractional derivative of the series of order β exists in the sense of mean.     

Generating sequences and Poincaré series for a finite set of plane divisorial valuations

Let V be a finite set of divisorial valuations centered at a 2-dimensional regular local ring R. In this paper we study its structure by means of the semigroup of values, SV, and the multi-index graded algebra defined by V, grVR. We prove that SV is finitely generated and we compute its minimal set of generators following the study of reduced curve singularities. Moreover, we prove a unique decomposition theorem for the elements of the semigroup. The comparison between valuations in V, the approximation of a reduced plane curve singularity C by families of sets V(k) of divisorial valuations, and the relationship between the value semigroup of C and the semigroups of the sets V(k), allow us to obtain the (finite) minimal generating sequences for C as well as for V.We also analyze the structure of the homogeneous components of grVR. The study of their dimensions allows us to relate the Poincaré series for V and for a general curve C of V. Since the last series coincides with the Alexander polynomial of the singularity, we can deduce a formula of A'Campo type for the Poincaré series of V. Moreover, the Poincaré series of C could be seen as the limit of the series of V(k), k?0.     

On invariants of discrete series representations of classical p-adic groups

To an irreducible square integrable representation ?? of a classical p-adic group, M?glin has attached invariants Jord(??), ?? _cusp and ${\epsilon_\pi}$ . These triples classify square integrable representations modulo cuspidal data (assuming a natural hypothesis). The definition of these invariants in M?glin (J Eur Math Soc 4(2):143?C200, 2002) is rather simple??in terms of induced representations, except at one case when a coherent normalization of standard intertwining operators is required. In this paper we show how one can define this case also in terms of induced representations.     

Generalization of some classical inequalities in the theory of orthogonal series

Let {X_i} _– be a sequence of random variables, E(X_i) 0. If 1, estimates for the -th moments can be derived from known estimates of the -th moment. Here we generalized the Men'shov-Rademacher inequality for =2 for orthonormal X_i, to the case 1 and dependent random variables. The Men'shov-Payley inequality >2 for orthonormal X_i) is generalized for >2 to general random variables. A theorem is also proved that contains both the Erdös -Stechkin theorem and Serfling's theorem withv > 2 for dependent random variables.Translated from Matematicheskie Zametki, Vol. 17, No. 2, pp. 219–230, February, 1975.This article was written while the author was working in the V. A. Steklov Mathematics Institute, Academy of Sciences of the USSR.     

Poincaré inequalities and quasiconformal structure on the boundary of some hyperbolic buildings

In this paper we shall show that the boundary of the hyperbolic building considered by M. Bourdon admits Poincaré type inequalities. Then by using Heinonen-Koskela's work, we shall prove Loewner capacity estimates for some families of curves of and the fact that every quasiconformal homeomorphism is quasisymmetric. Therefore by these results, the answer to questions 19 and 20 of Heinonen and Semmes (Thirty-three YES or NO questions about mappings, measures and metrics, Conform Geom. Dyn. 1 (1997), 1-12) is NO.