Galois groups ofp-extensions with two ramification points

LetK _p (p, q) be the maximalp-extension of the field ℚ of rational numbers with ramification pointsp andq. LetG _p (p, q) be the Galois group of the extensionK _p(p.q)/ℚ. It is known thatG _p(p, q) can be presented by two generators which satisfy a single relation. The form of this relation is known only modulo the second member of the descending central series ofG _p(p, q). In this paper, we find an arithmetical-type condition on which the form of the relation modulo the third member of the descending central series ofG _p(p, q) depends. We also consider two examples withp=3,q=19 andp=3,q=37. Translated from Lietuvos Matematikos Rinkinys, Vol. 40, No. 1, pp. 48–60, January–March, 2000. Translated by H. Markšaitis     

Symmetry of the point spectrum of infinite dimensional hamiltonian operators and its applications

This paper studies the symmetry, with respect to the real axis, of the point spectrum of the upper triangular infinite dimensional Hamiltonian operator H. Note that the point spectrum of H can be described as σp(H) = σp(A) ∪σp1(-A*). Using the characteristic of the set σp1(-A*), we divide the point spectrum σp(A) of A into three disjoint parts. Then, a necessary and sufficient condition is obtained under which σp1(-A*) and one part of σp(A) are symmetric with respect to the real axis each other. Based on this result, the symmetry of σp(H) is completely given. Moreover, the above result is applied to thin plates on elastic foundation, plane elasticity problems and harmonic equations.     

Finite groups in whichp′-classes haveq′-length

IfG is a finite group in which every element ofp′-order centralizes aq-Sylow subgroup ofG, wherep andq are distinct primes, it is shown thatO ^q′ (G) is solvable,l _q (G)≤1 andl _p (O ^q′ (G)) ≤2. Further, the structure ofG is determined to some extent. Work partially supported by MURST research program “Teoria dei gruppi ed applicazioni”.     

Universal non-compact operators between super-reflexive Banach spaces and the existence of a complemented copy of Hilbert space

Suppose that 1<p≦2, 2≦q<∞. The formal identity operatorI:l _p→l _qfactorizes through any given non-compact operator from ap-smooth Banach space into aq-convex Banach space. It follows that ifX is a 2-convex space andY is an infinite dimensional subspace ofX which is isomorphic to a Hilbert space, thenY contains an isomorphic copy ofl ₂ which is complemented inX.     

Strongly singular convolution operators on the weighted Herz-type Hardy spaces

Let 0<p≤1<q<0, andw ₁ ,w ₂ ∈ A ₁ (Muckenhoupt-class). In this paper the authors prove that the strongly singular convolution operators are bounded from the homogeneous weighted Herz-type Hardy spacesH K^{α, p} _q(w₁; w₂) to the homogeneous weighted Herz spacesK ^{α, p} _q (w₁; w₂), provided α=n(1−1/q). Moreover, the boundedness of these operators on the non-homogeneous weighted Herz-type Hardy spacesH K ^{α, p} _q (w ₁;w ₂) is also investigated. Supported by the National Natural Science Foundation of China     

Wiener��s Lemma for Infinite Matrices II

In this paper, we introduce a class of infinite matrices related to the Beurling algebra of periodic functions, and we show that it is an inverse-closed subalgebra of B(l^q_w){\mathcal{B}}(\ell^{q}_{w}), the algebra of all bounded linear operators on the weighted sequence space l^q_w\ell^{q}_{w}, for any 1≤q<∞ and any discrete Muckenhoupt A _q -weight w.     

Ovoids and spreads of finite classical polar spaces

LetP be a finite classical polar space of rankr, r2. An ovoidO ofP is a pointset ofP, which has exactly one point in common with every totally isotropic subspace of rankr. It is proved that the polar spaceW _n (q) arising from a symplectic polarity ofPG(n, q), n odd andn > 3, that the polar spaceQ(2n, q) arising from a non-singular quadric inPG(2n, q), n > 2 andq even, that the polar space Q^–(2n + 1,q) arising from a non-singular elliptic quadric inPG(2n + 1,q), n > 1, and that the polar spaceH(n,q ²) arising from a non-singular Hermitian variety inPG(n, q ²)n even andn > 2, have no ovoids.LetS be a generalized hexagon of ordern (1). IfV is a pointset of order n³ + 1 ofS, such that every two points are at distance 6, thenV is called an ovoid ofS. IfH(q) is the classical generalized hexagon arising fromG ₂ (q), then it is proved thatH(q) has an ovoid iffQ(6, q) has an ovoid. There follows thatQ(6, q), q=3^2h+1, has an ovoid, and thatH(q), q even, has no ovoid.A regular system of orderm onH(3,q ²) is a subsetK of the lineset ofH(3,q ²), such that through every point ofH(3,q ²) there arem (> 0) lines ofK. B. Segre shows that, ifK exists, thenm=q + 1 or (q + l)/2.If m=(q + l)/2,K is called a hemisystem. The last part of the paper gives a very short proof of Segre's result. Finally it is shown how to construct the 4-(11, 5, 1) design out of the hemisystem with 56 lines (q=3).     

Multiplicative arithmetic of finite quadratic forms over Dedekind rings

Letq(X) be a quadratic form in an even numberm of variables with coefficients in a Dedekind ringK. Let us assume that the setsR(q,a) = {N∈K ^m ;q(N) = a} of representations of elementsa ofK by the formq are finite. Then certain multiplicative relations are obtained by elementary means between the setsR(q,a) andR(q,ab), whereb is a product of prime elementsρ ofK with finite coefficientsK/ρK. The relations imply similar multiplicative relations between the numbers of elements of the setsR(q,a), which formerly could be obtained only in some special cases like the case whenK = ℤ is the ring of rational integers and only by means of the theory of Hecke operators on the spaces of theta-series. As an application, an almost elementary proof of the Siegel theorem on the mean number of representations of integers by integral positive quadratic forms of determinant 1 is given. Dedicated to the memory of Professor K G Ramanathan     

On the ratio of the expected maximum of a martingale and theL p-norm of its last term

For eachp>1, the supremum,S, of the absolute value of a martingale terminating at a random variableX inL _p, satisfiesES≦(Γ(q))^1/q‖X‖_p (q=p(p-1)^-1).The maximum,M, of a mean-zero martingale which starts at zero and terminates atX, satisfiesES≦(Γ(q))^1/q‖X‖_p (q=p(p-1)^-1), whereσ _q is the unique solution of the equationt = ‖Z −t ‖ _q for an exponentially distributed random variableZ with mean 1.σ _p has other characterizations and satisfies lim _p‖ q ^{− 1} σ _q =c withc determined byce ^c+1 = 1. Equalities in (1) and (2) are attainable by appropriate martingales which can be realized as stopped segments of Brownian motion. A presumably new property of the exponential distribution is obtained en route to inequality (2).     

l q -subspaces of stablep-Banach spaces, 0<p≦1

Each infinite dimensional subspace ofL ^p (0<p≦1) is shown to contain a copy of somel ^q p≦q<∞, using arguments similar to the ones that appearin Krivine and Maurey's paper concerning stable Banach spaces. Generally speaking, ifX is a stable infinite dimensionalp-Banach space, with 0<p≦1, then, there exists aq(p≦q<∞), such that,X contains (1+ε)-isomorphic copies ofl ^q , for all ε>0. Moreover, it is possible to prove that if a stablep-Banach space, 0<p≦1, contains an isomorphic copy ofl ^q,p≦q<∞, then, it also contains (1+ε) -isomorphic copies ofl ^q , for all ε>0.     

Almost completely decomposable groups with primary regulator quotients and their endomorphism rings

Let X be a block-rigid almost completely decomposable group of ring type with regulator A and p-primary regulator quotient X/A such that p ^l = exp X/A with natural l > 1. From the well-known fact p ^l End A ⊂ End X ⊂ End A it follows that End X = End X ∪ End A and p ^l End A = End X ∪ p ^l End A. Generalizing these, we determine the chain End X = ɛ _A ^(l) ⊂ ɛ _A ^(l−1) ⊂ ɛ _A ^(l−2) ⊂ ⋯ ⊂ ɛ _A ⁽¹⁾ ⊂ ɛ _A ⁽⁰⁾ = End A, satisfying p ^l−k ɛ _A ^(k) = End X ∪p ^l−k End A, and construct groups X _k ^′ and such that ɛ _A ^(k) = Hom , where k = 1, 2,..., l − 1. __________ Translated from Fundamentalnaya i Prikladnaya Matematika, Vol. 12, No. 2, pp. 17–38, 2006.     

Degenerate principal series representations of Sp(<Emphasis Type="Italic">p,q</Emphasis>)

Letp>q and letG=Sp(p, q). LetP=LN be the maximal parabolic subgroup ofG with Levi subgroupL≅GL _q (ℍ)×Sp(p−q). Forsεℂ andμ a highest weight of Sp(p−q), let п_s,μ be the representation ofP such that its restriction toN is trivial and ⊠T _p-q ^μ , where det _q is the determinant character of GL _q (ℍ) andT _p-q ^μ is the irreducible representation of Sp(p−q) with highest weightμ. LetI _p,q(s, μ) be the Harish-Chandra module of the induced representation Ind _P ^G . In this paper, we shall determine the module structure and unitarity ofI _{p, q}(s, μ). Partially supported by NUS grant R-146-000-026-112.     

Representation,interpolation, and reiteration theorems for generalized approximation spaces

We show that the representation theorem for classical approximation spaces can be generalized to spaces A(X,l ^q (ℬ))={f∈X:{E _n (f)}∈l ^q (ℬ)} in which the weighted l ^q -space l ^q (ℬ) can be (more or less) arbitrary. We use this theorem to show that generalized approximation spaces can be viewed as real interpolation spaces (defined with K-functionals or main-part K-functionals) between couples of quasi-normed spaces which satisfy certain Jackson and Bernstein-type inequalities. Especially, interpolation between an approximation space and the underlying quasi-normed space leads again to an approximation space. Together with a general reiteration theorem, which we also prove in the present paper, we obtain formulas for interpolation of two generalized approximation spaces. Received: December 6, 2001; in final form: April 2, 2002?Published online: March 14, 2003     

On mappings of the Galois space

LetV be a metric vector space over a fieldK, dimV=n<∞, and let δ:V×V→K denote the corresponding distance function. Given a mappingσ:V→V such that δ(p,q) = 1⇒ δ(p ^σ ,q ^ς) = 1, ifn=2, indV=1 and charK≠2, 3, 5, thenσ is semilinear [5], [11]; ifn≧3,K=R and the distance function is either Euclidean or Minkowskian, thenσ is linear [3], [10]. Here the following is proved: IfK=GF(p ^m ),p>2 andn≧3, thenσ is semilinear (up to a translation), providedn≠0, −1, −2 (modp) or the discriminant ofV satisfies a certain condition. The proof is based on the condition for a regular simplex to exist in a Galois space, which may be of interest for its own sake.     

Subspaces ofl p N of small codimension

In this paper the structure of subspaces and quotients ofl _p ^N of dimension very close toN is studied, for 1≤p≤∞. In particular, the maximal dimensionk=k(p, m, N) so that an arbitrarym-dimensional subspaceX ofl _p ^N contains a good copy ofl _p ^k , is investigated form=N−o(N). In several cases the obtained results are sharp.     

On the intersection of infinite geometric and arithmetic progressions

We prove that the intersection G ∩ A of an infinite geometric progression G = u, uq, uq ², uq ³, ..., where u > 0 and q > 1 are real numbers, and an infinite arithmetic progression A contains at most 3 elements except for two kinds of ratios q. The first exception occurs for q = r ^1/d , where r > 1 is a rational number and d ∈ ℕ. Then this intersection can be of any cardinality s ∈ ℕ or infinite. The other (possible) exception may occur for q = β ^1/d , where β > 1 is a real cubic algebraic number with two nonreal conjugates of moduli distinct from β and d ∈ ℕ. In this (cubic) case, we prove that the intersection G ∩ A contains at most 6 elements.     

Uniform embeddings of Banach spaces

It is proved that for 1<-p≤2,L _p(0,1) andl _p are uniformly equivalent to bounded subsets of themselves. It is also shown that for 1<=p<=2, 1≦q<∞,L _p is uniformly equivalent to a subset ofl _q. This is a part of the author’s Ph. D. thesis prepared at the Hebrew University of Jerusalem under the supervision of Professor J. Lindenstrauss. The author wishes to thank Professor Lindenstrauss for his guidance.     

A necessary and sufficient condition for a lower bound for fourth-order pseudodifferential operators

We give necessary and sufficient conditions for the lower bound {fx55-01} to hold for any compact setK ⊂X, an open set ofR ⁿ , andP =P* ∃ ψ _phg ⁴ (X) with p(x, ξ) ~ q ₂ ² + p₃ + p₂ + ..., q₂ beingtransversally elliptic with respect to the characteristic manifold Σ =q ₂ ^-1 (0).     

On complemented subspaces of the spaces (l p ) N ∩l q (l q )

Summary In this paper we study the complemented subspaces of the spaces (l^p)^N∩l^q(l^q), with 1≤p<q≤∞ or q=0, thereby showing that if (l^p)^N∩l^q(l^q)=F⊕G then either F or G contains a complemented copy of the whole space. Entrata in Redazione il 19 aprile 1999. Ricevuta versione finale il 4 febbraio 2000. Research supported by the Italian MURST.     

Comparison theorems for the volume of a complex submanifold of a Kaehler manifold

LetM be a Kaehler manifold of real dimension 2n with holomorphic sectional curvatureK _H≥4λ and antiholomorphic Ricci curvatureρ _A≥(2n−2)λ, andP is a complex hypersurface. We give a bound for the quotient (volume ofP)/(volume ofM) and prove that this bound is attained if and only ifP=C P ⁿ⁻¹(λ) andM=C P ⁿ(λ). Moreover, we give some results on the volume of of tubes aboutP inM. Work partially supported by a DGICYT Grant No. PS87-0115-CO3-01.