Invariants for group algebras of Abelian groups

LetF be a field of characteristicp>0 and letG be an arbitrary abelian group written multiplicatively withp-basis subgroup denoted byB. The first main result of the present paper is thatB is an isomorphism invariant of theF-group algebraFG. In particular, thep-local algebraically compact groupG can be retrieved fromFG. Moreover, for the lower basis subgroupB ₁ of thep-componentG _p it is shown thatG _p/B_l is determined byFG. Besides, ifH is (p-)high inG, thenG _p/H_p andH ^{p n}[p] for ℕ₀ are structure invariants forFG, andH[p] as a valued vector space is a structural invariant forN ₀ G, whereN _p is the simple field ofp-elements. Next, presume thatG isp-mixed with maximal divisible subgroupD. ThenD andF(G/D) are functional invariants forFG. The final major result is that the relative Ulm-Kaplansky-Mackeyp-invariants ofG with respect to the subgroupC are isomorphic invariants of the pair (FG, FC) ofF-algebras. These facts generalize and extend analogous in this aspect results due to May (1969), Berman-Mollov (1969) and Beers-Richman-Walker (1983). As a finish, some other invariants for commutative group algebras are obtained.     

The (F*F) 1/4-method for the transmission problem in two-dimensional linear elasticity

In this article we present an inversion algorithm for the determination of the shape of a two-dimensional penetrable obstacle from knowledge of the elastic field generated by an incident plane compressional and shear wave. In particular, Kirsch's improved variant of the linear sampling method, the so called (F ^* F?)^1/4-method is extended to the elastic case. A mathematical analysis that reveals the compactness and normality of the far-field operator is presented. Finally, numerical results are presented showing the robustness of the (F ^* F?)^1/4-method with respect to noise.     

Fitting Height of a Finite Group with a Metabelian Group of Automorphisms

Let M = FH be a finite group that is a product of a normal abelian subgroup F and an abelian subgroup H. Assume that all elements in M?F have prime order p, and F has at most one subgroup of order p. Examples of such groups are dihedral groups for p = 2 and the semidirect product of a cyclic group F by a group H of prime order p such that C _F (H) = 1 or |C _F (H)| =p and C _{F/C F (H)}(H) = 1. Suppose that M acts on a finite group G in such a manner that C _G (F) = 1. We prove that the Fitting height h(G) of G is at most h(C _G (H))+ 1. Moreover, the Fitting series of C _G (H) coincides with the intersection of C _G (H) with the Fitting series of G.     

Free-by-finite pro-p groups and integral p-adic representations

Let F be a free pro-p group of finite rank n and C_p^r{C_{p^r}} a cyclic group of order p ^r . In this work we classify p-adic representations C_p^r? GL_n(\mathbbZ_p){ C_{p^r}\longrightarrow GL_n(\mathbb{Z}_{p})} that can be obtained as a composite of an embedding C_p^r? Aut(F){C_{p^r}\longrightarrow {\rm Aut}(F)} with the natural epimorphism Aut(F)? GL_n(\mathbbZ_p){{\rm Aut}(F)\longrightarrow GL_n(\mathbb{Z}_{p})} .     

The Generalised Dyson Circular Unitary Ensemble: Asymptotic Distribution of the Eigenvalues at the Origin of the Spectrum

The first part of this paper is devoted to the study of F_N{\Phi_N} the orthogonal polynomials on the circle, with respect to a weight of type f = (1 − cos θ) ^α c where c is a sufficiently smooth function and ${\alpha > -\frac{1}{2}}${\alpha > -\frac{1}{2}}. We obtain an asymptotic expansion of the coefficients F^*(p)_N(1){\Phi^{*(p)}_{N}(1)} for all integer p where F^*_N{\Phi^*_N} is defined by F^*_N (z) = z^N [`(F)]_N(\frac1z) (z 1 0){\Phi^*_N (z) = z^N \bar \Phi_N(\frac{1}{z})\ (z \not=0)}. These results allow us to obtain an asymptotic expansion of the associated Christofel–Darboux kernel, and to compute the distribution of the eigenvalues of a family of random unitary matrices. The proof of the results related to the orthogonal polynomials are essentially based on the inversion of the Toeplitz matrix associated to the symbol f.     

Density of smooth maps in Wk, p(M, N) for a close to critical domain dimension

Assuming m − 1 < kp < m, we prove that the space C ^∞(M, N) of smooth mappings between compact Riemannian manifolds M, N (m = dim M) is dense in the Sobolev space W ^k,p (M, N) if and only if π _m−1(N) = {0}. If π _m−1(N) ≠ {0}, then every mapping in W ^k,p (M, N) can still be approximated by mappings M → N which are smooth except in finitely many points.     

A note on a conjecture of Borwein and Choi

A polynomial P(X) with coefficients {ǃ} of odd degree N - 1 is cyclotomic if and only if¶¶P(X) = ±F_p1 (±X)F_p2(±X^p1) ?F_pr(±X^{p1 p2 ?p_r-1}) P(X) = \pm \Phi_{p1} (\pm X)\Phi_{p2}(\pm X^{p1}) \cdots \Phi_{p_r}(\pm X^{p1 p2 \cdots p_r-1}) ¶where N = p₁ p₂ · · · p_r and the p_i are primes, not necessarily distinct, and where F_p(X) : = (X^p - 1) / (X - 1) \Phi_{p}(X) := (X^{p} - 1) / (X - 1) is the p-th cyclotomic polynomial. This is a conjecture of Borwein and Choi [1]. We prove this conjecture for a class of polynomials of degree N - 1 = 2^r p^l - 1 N - 1 = 2^{r} p^{\ell} - 1 for any odd prime p and for integers r, l\geqq 1 r, \ell \geqq 1 .     

Random matrix products and applications to cellular automata

Let λ be the upper Lyapunov exponent corresponding to a product of i.i.d. randomm×m matrices (X _i) _i ^0/∞ over ℂ. Assume that theX _i's are chosen from a finite set {D ₀,D ₁...,D _t-1(ℂ), withP(X _i=D_j)>0, and that the monoid generated byD ₀, D₁,…, D_q−1 contains a matrix of rank 1. We obtain an explicit formula for λ as a sum of a convergent series. We also consider the case where theX _i's are chosen according to a Markov process and thus generalize a result of Lima and Rahibe [22]. Our results on λ enable us to provide an approximation for the numberN _≠0(F(x)ⁿ,r) of nonzero coefficients inF(x) ⁿ.(modr), whereF(x) ∈ ℤ[x] andr≥2. We prove the existence of and supply a formula for a constant α (<1) such thatN _≠0(F(x)ⁿ,r) ≈n ^α for “almost” everyn. Supported in part by FWF Project P16004-N05     

On the Q-rational cuspidal subgroup and the component group ofJ 0(p r )

Forp≥3 a prime, we compute theQ-rational cuspidal subgroupC(p ^r ) of the JacobianJ ₀(p ^r ) of the modular curveX ₀(p ^r ). This result is then applied to determine the component group Φ _p ^r of the Néron model ofJ ₀(p ^r ) overZ _p . This extends results of Lorenzini [7]. We also study the action of the Atkin-Lehner involution on thep-primary part ofC(p ^r ), as well as the effect of degeneracy maps on the component groups.     

Kolmogorov Width of Classes of Smooth Functions on the Sphere

Let ^d−1{(x₁,…,x_d) ^d:x²₁+···+x²_d=1} be the unit sphere of the d-dimensional Euclidean space ^d. For r>0, we denote by B^r_p (1p∞) the class of functions f on ^d−1 representable in the formwhere dσ(y) denotes the usual Lebesgue measure on ^d−1, and P^λ_k(t) is the ultraspherical polynomial.For 1p,q∞, the Kolmogorov N-width of B^r_p in L^q( ^d−1) is given bythe left-most infimum being taken over all N-dimensional subspaces X_N of L^q( ^d−1).The main result in this paper is that for r2(d−1)²,where A_NB_N means that there exists a positive constant C, independent of N, such that C⁻¹A_NB_NCA_N.This extends the well-known Kashin theorem on the asymptotic order of the Kolmogorov widths of the Sobolev class of the periodic functions.     

A Note on the Embedding of Subspaces of Lp into ℓNr, 0 < r < 1, r ≦ p < 2

In this paper we extend a result by Bourgain-Lindenstrauss-Milman (see [1]). We prove: Let 0 < ? < 1/2, 0< r < 1, r< p < 2. There exists a constant C = C(r,p,?) such that if X is any n-dimensional subspace of L_p(0, l), then there exists Y ? ?^N_r with d(X, Y) ≦ 1 + ?, whenever N > Cn. As an application, we obtain the following partial result: Let 0 < r < 1. There exist constants C = C(r) and C' = C' (r) such that if X is any n-dimensional subspace of L_r(0,1), then there exists Y ? ^N_r with d(X, Y) ≦ C (logn)^l/^r, whenever N ≧ C'n.     

Totally geodesic submanifolds in Lie groups

Summary We study minimal and totally geodesic submanifolds in Lie groups and related problems. We show that: (1) The imbedding of the Grassmann manifold G_F(n,N) in the Lie group G_F(N) defined naturally makes G_F(n,N) a totally geodesic submanifold; (2) The imbedding S⁷→SO(8) defined by octonians makes S⁷a totally geodesic submanifold inSO(8); (3) The natural inclusion of the Lie group G_F(N) in the sphere S^{cN^2-1}(√N) of gl(N,F)is minimal. Therefore the natural imbedding G_F(N)<span style='font-size:10.0pt;font-family:"Lucida Sans Unicode"'>→gl(N,F)is formed by the eigenfunctions of the Laplacian on G_F(N).     

On the number of elements of given order in a finitep-group

A. Kulakoff [9] proved that forp>2 the numberN _k =N _k (G) of solutions of the equationx ^{p k} =e in a non-cyclicp-groupG is divisible byp ^k+1. This result is a generalization of the well-known theorem of G. A. Miller asserting that the numberC _k =C _k (G) of cyclic subgroups of orderp ^k >p>2 is divisible byp. In this note we show that, as a rule: (1) ifk>1, thenN _k ≡0(modp ^k+p ); (2) ifk>2, thenC _k ≡0(modp ^p ). These facts are generalizations of many results from [1–5,8,9].     

关于环Fpm+uFpm+u2Fpm上循环码的注记

本文研究了环F_p^m+uF_p^m+u²F_p^m上长度为p^s的循环码分类.通过建立环F_p^m+uF_p^m+u²F_p^m到环F_p^m+uF_p^m的同态,给出了环F_p^m+uF_p^m+u²F_p^m上长度为p^s的循环码的新分类方法.应用这种方法,得到了环F_p^m+uF_p^m+u²F_p^m长度为p^s的循环码的码词数.     

The approximate identity kernels of product type for the Walsh system

At present there are only a few approximate identity kernels for the Walsh system, for example, the p^N-truncated Dirichlet kernel D_{p^N − 1}(t) = ∑_{j = 0}^{pN − 1} w_j(t) [6]; the Abel-Poisson kernel λ_γ(t) = ∑_{k = 0}^∞ γ^kw_k(t) [3], and so on. In [6], Zheng has introduced a new kind of approximate identity kernels for the Walsh system—the kernels of product type. In the present paper we discuss the approximation properties of such product type kernels. Estimates of their moments as well as a direct approximation theorem are obtained. Then, to establish an inverse approximation theorem, we need the p-adic derivative of product type kernels and we estimate this derivative in L¹-norm.     

Integral kašin splittings

Forx ∈ ℝ ⁿ andp≥1 put ‖x‖ _p :=(n ⁻¹Σ|x _i| ^p )^1/p . An orthogonal direct sum decomposition ℝ^2k =E⊕E ^⊥ where dimE=k and ‖x‖₂/‖x‖₁≤C is called here a (k, C)-splitting. By a theorem of Kašin there existsC>0 such that (k, C)-splittings exist for allk, and by the volume ratio method of Szarek one can takeC=32eπ. All proofs of existence of (k, C)-splittings heretofore given are nonconstructive. Here we investigate the representation of (k, C)-splittings by matrices with integral entries. For everyC>8e _1/2 π _−1/2 and positive integerk we specify a positive integerN(k, C) such that in the set ofk by 2k matrices with integral entries of absolute value not exceedingN(k, C) there exists a matrix with row span a summand in a (k, C)-splitting. We haveN(k, C)≤2^18k fork large enough depending onC. We explain in detail how to test a matrix for the property of representing a (k, C)-splitting. Taken together our results yield an explicit (if impractical) construction of (k, C)-splittings.     

Invariant functions in Denjoy–Carleman classes

Let V be a real finite dimensional representation of a compact Lie group G. It is well known that the algebra of G-invariant polynomials on V is finitely generated, say by σ ₁, . . . , σ _p . Schwarz (Topology 14:63–68, 1975) proved that each G-invariant C ^∞-function f on V has the form f = F(σ ₁, . . . , σ _p ) for a C ^∞-function F on . We investigate this representation within the framework of Denjoy–Carleman classes. One can in general not expect that f and F lie in the same Denjoy–Carleman class C ^M (with M = (M _k )). For finite groups G and (more generally) for polar representations V, we show that for each G-invariant f of class C ^M there is an F of class C ^N such that f = F(σ ₁, . . . , σ _p ), if N is strongly regular and satisfies

The Group Ring ofSL2(p) over thep-adic Integers

This paper describes the ring-theoretic structure of the group rings ofSL₂(p²) over thep-adic integers.     

On the Dual of the Procesi–Formanek Lattice

Let G be the symmetric group on n letters. Procesi and Formanek have shown that C _n , the center of the generic division algebra of degree n defined over a field F, is stably isomorphic to F(B_n)^GF(B_{n})^{G} where B _n is a specific ZG-lattice. We refer to B _n as the Procesi–Formanek lattice. The question of the stable rationality of C _n is a long standing problem for which few results are known. Let F be an algebraically closed field of characteristic zero, let p be an odd prime, and let B_p^*=Hom_Z(B_p,Z)B_{p}^{*}=Hom_{Z}(B_{p},Z) be the dual of the Procesi–Formanek lattice. We show that F(B_p^*)^GF(B_{p}^{*})^{G} is stably rational over F. An interesting question is whether there exists a connection between C _p and F(B_p^*)^GF(B_{p}^{*})^{G}.     

Global minimum and orthogonality in Cp ‐classes

In this paper we use recent results [14] to establish various characterizations of the global minimum of the map F_ψ : U → ?⁺ defined by F_ψ (X) = ‖ψ (X)‖_p (1 < p < ∞) where ψ: U → C_p is a map defined by ψ (X) = S +? (X), with ?: B (H) → B (H) a linear map and S ∈ C_p , and U = {X ∈ B (H): ? (X) ∈ C_p }. Further, we apply these results to characterize the operators which are orthogonal to the range of elementary operators. (© 2007 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)