Minimal presentations for certain group extensions

IfG is a finite group thend(G) denotes the minimal number of generators ofG. IfH andK are groups then the extension, 1 →H →G →K → 1, is called an outer extension ofK byH ifd(G)=d(H)+d(K). Let be the class of groups containing all finitep-groupsG which has a presentation withd(G) = dimH ¹(G,z _p ) generators andr(G)=dimH ² (G,Z _p ) relations: in this article it is shown that ifK is a non cyclic group belonging to andH is a finite abelian p-group then any outer extension ofK byH belongs to .     

The asymptotic σ-algebra of a recurrent random walk on a locally compact group

Let μ be a probability measure on a locally compact second countable groupG defining a recurrent (but not necessarily Harris) random walk. Denote byG ^∞ the space of paths and byB ^(a)the asymptotic σ-algebra. Let the starting measure be equivalent to the Haar measure and writeQ for the corresponding Markov measure onG ^∞. We prove thatL ^∞(G^∞, B^(a), Q) is in a canonical way isomorphic toL ^∞(G/N) whereN is the smallest closed normal subgroup ofG such that μ(zN)=1 for somez∈G. The groupG/N is either a finite cyclic group with generatorzN or a compact abelian group having the cyclic group as a dense subgroup. As a corollary we obtain that the set of all φ∈L ¹(G) such that coincides with the kernel of the canonical mapping ofL ¹(G)ontoL ¹(G/N). In particular, when μ is aperiodic, i.e.,G=N, then the random walk is mixing: for every φ∈L ¹(G) with ∝ φ=0.     

A note on the gl constant ofE \mathop \otimes \limits^ \vee F F

LetX andY be Banach spaces. TFAE (1)X andY do not contain subspaces uniformly isomorphic to (2) The local unconditional structure constant of the space of bounded operatorsL (X*_k,Y _k) tends to infinity for every increasing sequence and of finite-dimensional subspaces ofX andY respectively.     

Inductive definitions,models of comprehension and invariant definability

The connections between inductive definability and models of comprehension are studied. Let = 〈A, R _l, ...,R _n 〉 be an infinite structure and letI _φ be a set inductively defined by a formulaφ of the second order language . We prove that if is a model of Δ ₁ ¹ -Comprehension relativized toφ, andφ is -absolute, then for everyη smaller than the height of (h( )),I _φ is in . If is aβ-structure which satisfies Σ ₁ ¹ -Comprehension relativized toφ and WF(X), and φ is -absolute, thenI _φ is in and ‖φ| <h ( ). These results imply that Barwise-Grilliot theorem is false in the case of uncountable acceptable structures. We also study the notion of invariant definability over models₁ of Δ ₁ ¹ -Comprehension. This paper is registered as Report ZW 69/76 of the Mathematical Centre.     

Enumeration ofQ-acyclic simplicial complexes

Let (n, k) be the class of all simplicial complexesC over a fixed set ofn vertices (2≦k≦n) such that: (1)C has a complete (k−1)-skeleton, (2)C has precisely ( _k ⁿ⁻¹ )k-faces, (3)H _k (C)=0. We prove that for ,H _k−1(C) is a finite group, and our main result is: . This formula extends to high dimensions Cayley’s formula for the number of trees onn labelled vertices. Its proof is based on a generalization of the matrix tree theorem.     

Spectra of ergodic group actions

LetG be a locally compact second countable abelian group, (X, μ) aσ-finite Lebesgue space, and (g, x) →gx a non-singular, properly ergodic action ofG on (X, μ). Let furthermore Γ be the character group ofG and let Sp(G, X) ⊂ Γ denote theL ^∞-spectrum ofG on (X, μ). It has been shown in [5] that Sp(G, X) is a Borel subgroup of Γ and thatσ (Sp(G, X))<1 for every probability measureσ on Γ with lim sup_g→∞Re (g)<1, where is the Fourier transform ofσ. In this note we prove the following converse: ifσ is a probability measure on Γ with lim sup_g→∞Re (g)<1 (g)=1 then there exists a non-singular, properly ergodic action ofG on (X, μ) withσ(Sp(G, X))=1.     

Lower bounds at infinity for solutions of differential equations with constant coefficients

Two extensions of a classical theorem of Rellich are proved: (1) LetP=P(−iϖ/ϖx) be a partial differential operator with constant coefficients in , let the manifolds contained in have codimension ≧k>0, and denote by Γ an open cone in intersecting each normal plane of every such manifold. If ,Pu=0 and it follows thatu=0. (2) Assume in addition that each irreducibe lfactor ofP van shes on a real hypersurface and that Γ contains both normal directions at some such point. If andP(D) u has compact support, the same condition withk=1 implies thatu has compact support. In both results the hypotheses on the cone Γ and on the operatorP are minimal.     

μ-average N-widths on the Wiener space

In this paper we investigate the asymptotic behaviour of μ-averagen-widths of integral operatorK on the Wiener space, whereK is the inverse operator of an ordinary linear differential operatorL of orderm. For 1≤p.q<∞ . and forp∈[1, ∞),q∈[2, ∞) . Supported by the Fund. of Dooctoral program of NECC.     

On approximation of functions on sphere

Let f be an integrable function on the unit sphere Σ _n−1 of R ⁿ (n⩾3) and let σ _N ^δ be the Cesàro means of order σ of the Fourier-Laplace series of f. The special value λ:=n−2/2 of σ is known as the critical index. This paper proves that and where ω(f,t)_p is the 1st-order modulus of continuity of f in L^p-metric which is defined in a way different than in the classical case of n=2. In Memory of Professor M. T. Cheng Project supported by the NSF of China under the grans # 19771009.     

On some special measures on βG

LetG be a discrete abelian group,Ĝ the character group ofG, andl ^∞(G)^* the conjugate ofl ^∞(G) equipped with an Arens product. In many cases, we can find unitary functionsf such that χf is almost convergent to zero for all χ∈Ĝ. Some of these functions are then used to produce elements μ∈l ^∞(G)^* such that γμ=0 whenever γ is an annihilator ofC ₀(G). Regarded as Borel measures on βG, these elements satisfyxμ=0 for allx∈βG/G. They belong to the radical ofl ^∞(G)^*, and each of them generates a left ideal ofl ^∞(G)^* that contains no minimal left ideal.     

On minimum and maximum spanning trees of linearly moving points

In this paper we investigate the upper bounds on the numbers of transitions of minimum and maximum spanning trees (MinST and MaxST for short) for linearly moving points. Here, a transition means a change on the combinatorial structure of the spanning trees. Suppose that we are given a set ofn points ind-dimensional space,S={p ₁,p ₂, ...p _n }, and that all points move along different straight lines at different but fixed speeds, i.e., the position ofp _i is a linear function of a real parametert. We investigate the numbers of transitions of MinST and MaxST whent increases from-∞ to +∞. We assume that the dimensiond is a fixed constant. Since there areO(n ²) distances amongn points, there are naivelyO(n ⁴) transitions of MinST and MaxST. We improve these trivial upper bounds forL ₁ andL _∞ distance metrics. Letk _p (n) (resp. ) be the number of maximum possible transitions of MinST (resp. MaxST) inL _p metric forn linearly moving points. We give the following results in this paper: κ₁(n)=O(n ^5/2 α(n)),κ _∞(n)=O(n ^5/2 α(n)), , and where α(n) is the inverse Ackermann's function. We also investigate two restricted cases, i.e., thec-oriented case in which there are onlyc distinct velocity vectors for movingn points, and the case in which onlyk points move.     

Isometric multipliers ofL p (G, X)

Let G be a locally compact group with a fixed right Haar measure andX a separable Banach space. LetL ^p (G, X) be the space of X-valued measurable functions whose norm-functions are in the usualL ^p . A left multiplier ofL ^p (G, X) is a bounded linear operator onB ^p (G, X) which commutes with all left translations. We use the characterization of isometries ofL ^p (G, X) onto itself to characterize the isometric, invertible, left multipliers ofL ^p (G, X) for 1 ≤p ∞,p ≠ 2, under the assumption thatX is not thel ^p -direct sum of two non-zero subspaces. In fact we prove that ifT is an isometric left multiplier ofL ^p (G, X) onto itself then there existsa y ∃ G and an isometryU ofX onto itself such thatTf(x) = U (R _y f)(x). As an application, we determine the isometric left multipliers of L¹ ∩L ^p (G, X) and L¹ ∩C ₀ (G, X) whereG is non-compact andX is not the l^p-direct sum of two non-zero subspaces. If G is a locally compact abelian group andH is a separable Hubert space, we define where г is the dual group of G. We characterize the isometric, invertible, left multipliers ofA ^p (G, H), provided G is non-compact. Finally, we use the characterization of isometries ofC(G, X) for G compact to determine the isometric left multipliers ofC(G, X) providedX ^* is strictly convex.     

A note on the median of a distribution

Summary LetF be a distribution function over the real line. DefineR _p(y)=∫|x−y|^pdF(x) forp≧1. Forp>1 there is a unique minimizer ofR _p(·), sayγ _p. Under mild conditions onF it is shown that exists and that the limit is a median. Thus, one could use this limit as a definition of a unique median. Also it is shown that whereR is the right extremity ofF andL is the left extremity ofF provided that −∞<L≦R<∞. A similar result is available ifL=−∞,R=∞, yetF has symmetric tails.     

Théorèmes d’approximation pour les sections différentiables

Resume Le principail résultat de ce travail est un Théorème d’approximation des sections différentiables d’un fibré linéaireF sur un espace analytique réel cohérentX. (I) On définit le concept de sections différentiables d’un tel fibré puis le faisceau des germes de sections différentiablesC ^∞ (F) qui s’identifie àF ^∞=F⊗ _Ox C _X ^∞ :F=dual du fibré linéaireF,C _X ^∞ =faisceau des germes de fonctions différentiables surX. (II)X est supposé en plus paracompact et localement compact. On construit surF ^∞(X) une ?topologie de Whitney? pour laquelleF(X) est dense dansF ^∞(X). La démonstration utilise les complexifiés et et les voisinages de Stein deX dans .

---

Sunto Il risultato principale di questo lavoro è un teorema di approssimazione delle sezioni differenziabili di un fibrato lineareF su uno spazio analitico reale coerenteX. (I) Si definisce il concetto di sezione differenziabile di un tale fibrato poi il fascio dei germi delle sezioni differenziabiliC ^∞ (F) che si identifica aF ^∞=F⊗ _Ox C _X ^∞ :F=duale del fibrato lineareF,C _X ^∞ dei germi delle funzioni differenziabili suX. (II)X è supposto inoltre paracompatto e localmente compatto. Si costruisce suF ^∞ (X) una ?topologia di Whitney? per la qualeF(X è denso inF ^∞(X). La dimostrazione utilizza i complessificati e e gli intomi di Stein diX in .

     

The convergence rate of Euler means sequence

Let denote the Euler means of the Fourier series of the 2π-perodic function f(x). For an integer q>0, setting ℰ _nq (ω)=sup‖f−ℰ _n (q,f)‖, the precise value of is obtained.     

Large sample theory for distributions on the hypersphere with rotational symmetries

Summary A distribution on the unit sphere inℝ ^q with a densityf(‖x _v ‖) is considered where is ans(<q) dimensional subspace andx _v is the part ofx in . For a large sample the estimation of , a test that and a test for rotational symmetry within is given. For several samples with possibly different subspaces but the samef, a test that is given. For all tests power functions for contiguous alternatives are given. For the special density proportional to expk‖x _v ‖ ², additional results are given. Research supported in part by a Contract with the Office of Naval Research N00014-81-K-0146 awarded to Princeton University, Princeton, New Jersey 08544.     

Sull’unione di classi filtrali

Riassunto In questo lavoro si cercano condizioni perchè una classe di algebre simili filtrali sia essa stessa filtrale. Si trova che se è una famiglia finita di algebre simili e filtrali, che siano indipendenti (cfr.A. L. Foster [2]), allora anche è filtrale. Introdotto poi il concetto disemi-indipendenza, si arriva a un risultato analogo per le algebre semifiltrali e a una condizione sufficiente per la semifiltralità di un'algebra finita. Infine si osserva che i risultati trovati possono essere estesi alle classi ideali.

---

Summary This paper refers to the concept offiltrale class of similar algebras, which has been introduced byR. Magari in [6]. First I observe that a class of similarfiltrale algebras is not generallyfiltrale, not even if is a finite family of finite algebras. However I find that if is a finite family of similarfiltrale algebras, which are also independent (using this term in the sense ofA. L. Foster [2]), then also isfiltrale. Then introducing the notion of independent varieties, one arrives at a generalization of the above mentioned result. Given then a family of similar algebras , we say that these aresemi-indipendenti if for everyJ⊂I there exists an algebraic functionf _J defined in II _i so thatf _J(x, y)=z wherez _i=x_i ifi∈J andz _i=y_i ifi∉J for every . I prove that if is a finite family ofsemifiltrali andsemi-indipendenti algebras, then also issemifiltrale. I also find that a finite algebra, which is simple andsemi-indipendente of itself (in the sense that there exists in a binary algebraic functionf withf(x, y)=<x ₀,y ₁>) issemifiltrale. Then I give the notion ofsemi-indipendente variety, which leads to some further results. Finally I observe that all these results can be extended to ideal classes of similar algebras.

     

Highest weight representations of a family of Lie algebras of Block type

For an additive subgroup G of a field F of characteristic zero, a Lie algebra B（G） of Block type is defined with basis {Lα,i｜ α∈G, i∈Z＋} and relations [Lα,i, Lβ,j] = （β-α）Lα＋β,i＋j＋（αj-βi）Lα＋β,Lα＋β,i＋j-1.It is proved that an irreducible highest weight B（Z）-module is quasifinite if and only if it is a proper quotient of a Verma module. Furthermore, for a total order λ on G and any ∧∈B（G）0^＊（the dual space of B（G）0 = span{L0,i｜i∈Z＋}）, a Verma B（G）-module M（∧,λ） is defined, and the irreducibility of M（A,λ） is completely determined.     

Free discontinuity problems with unbounded data: The two dimensional case

We prove the existence of a minimizing pair for the functionalG defined for every closed setK ⊂R ² and for every functionu ∈C ¹(ω/K) by where ω is an open set inR ², λ, μ>0,q≥1,g ∈L ^q (ω) ∩L ^p (ω) withp>2q andH ¹ is the 1-dimensional Hausdorff measure.     

A decomposition of 2-weak vertex-packing polytopes

The 2-weak vertex-packing polytope of a loopless graphG withd vertices is the subset of the unitd-cube satisfyingx _i +x _j ≤1 for every edge (i,j) ofG. The dilation by 2 of this polytope is a polytope with integral vertices. We triangulate with lattice simplices of minimal volume and label the maximal simplices with elements of the hyperoctahedral groupB _d . This labeling gives rise to a shelling of the triangulation of , where theh-vector of (and the Ehrharth ^*-vector of can be computed as a descent statistic on a subset ofB _d defined in terms ofG. A recursive way of computing theh-vector of is also given, and a recursive formula for the volume of . This work was partially supported by grants from the Icelandic Council of Science and the Royal Swedish Academy of Sciences, respectively.