A question in the theory of saturated formations of finite soluble groups

This paper examines the following question. If and are saturated formations then is defined to be the class of all soluble groups whose belong to . In general is a formation, but need not be a saturated formation. Here the smallest saturated formation containing is studied.     

The 2-length of the hughes subgroup

For a finite groupG and some prime powerp ⁿ , the -subgroup is defined by . Meixner proved that ifG is a finite solvable group and for somen≧1, then the Fitting length of is bounded by 4n. In the following note it is shown that the 2-length of is at mostn. This result cannot be derived from Meixner’s paper, since his result implies only that the 2-length is bounded by 2n.     

A new class of contact riemannian manifolds

N. Tanaka ([10]) defined the canonical affine connection on a nondegenerate integrable CR manifold. In the present paper, we introduce a new class of contact Riemannian manifolds satisfying (C) ( for any unit -geodesic ( , where is the generalized Tanaka connection. In particular, when the associated CR structure of a given contact Riemannian manifold is integrable we have a structure theorem and find examples which are neither Sasakian nor locally symmetric but satisfy the condition (C). This work was supported in part by BSRI 98-1425.     

Was sierpinski right? I

Aroused by Todorcevic’s breakthrough we prove here some complementary consistency results, mainly . We also get some generalization of his theorem to, e.g.,λ↛ forλ regular notω-Mahlo. The author thanks the NSF and N.S.E.R.C. for partially supporting the research. Preliminary versions of §3 and §2 were circulated in November ’84 and February ’85, respectively.     

Eine Verallgemeinerung derCW-Komplexe

In the definition ofCW-complexes, the one-point spaceP, respectively the spaceP∪* with basepoint *, play the roll of the only “building-stone”. Let be a family of compact spaces. Then the definition of a generalizedCW-complex over is obtained from the definition of aCW-complex by replacingP by the spaces of and formation of the mapping cone by a slightly modified construction. LetCW * denote the category of all pointed spaces which have the homotopy type of a generalizedCW-complex over . If , thenCW * is the category of all pointedCW-spaces.CW * is closed under the formation of direct sums and of mapping cones, cylinders and tori, and is formally characterized as the smallest such subcategory of Top * containing the spaces W∪*, . Following the methods of E. H. Brown, it is proved, that any half exact homotopy functor onCW * is representable, and any cohomology theory onCW is naturally equivalent to the cohomology theory of an Ω-spectrum; for example, the singular cohomo logy is representable onCW for any family of compact spaces.      

Baer cotorsion Pairs

LetR be a unital associative ring and two classes of leftR-modules. In [St3] the notion of a ( ) pair was introduced. In analogy to classical cotorsion pairs, a pair (V,W) of subclasses is called a ( ) pair if it is maximal with respect to the classes and the condition Ext _R ¹ (V, W)=0 for all . In this paper we study pairs whereR = ℤ and is the class of all torsion-free abelian groups andT is the class of all torsion abelian groups. A complete characterization is obtained assumingV=L. For example, it is shown that every pair is singly cognerated underV=L. The author was supported by a DFG grant.     

On residue complexes,dualizing sheaves and local cohomology modules

According to Grothendieck Duality Theory [RD], on each varietyV over a fieldk, there is a canonical complex of -modules, theresidue complex . These complexes satisfy (and are characterized by) functorial properties in the categoryV ofk-varieties. In [Ye] a complex is constructed explicitly (when the fieldk is perfect). The main result of this paper is that the two families of complexes, and , which carry certain additional data (such as trace maps…), are uniquely isomorphic. As a corollary we recover Lipman’s canonical dualizing sheaf of [Li], and we obtain formulas for residues of local cohomology classes of differential forms.     

Blaschke-decomposable convex bodies

For a given centred convex bodyK of ℝ,n≥3, let be the class of all convex bodies with the same projection body asK. The question whetherK can be expressed as a Blaschke average of two non-homothetic bodies from is considered. Necessary and sufficient conditions onK to be Blaschke decomposable in are given. The paper provides also a characterization of the bodiesK such that the Blaschke indecomposable bodies in are dense in itself.     

Some properties of the absolute galois group of a hilbertian field

LetK be a hilbertian field,G(K) its absolute Galois group. IfK is countable, then for a.a. inG(K) ^e , and there is no intermediate field with . Let ∈G(K) ^e . Then for a.a. in .     

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.     

A class of multipliers for $$\mathcal{W}^ \bot $$

Let denote the class of ergodic probability preserving transformations which are disjoint from every weakly mixing system. Let be the class of multipliers for , i.e. ergodic transformations whose all ergodic joinings with any element of are also in . Fix an ergodic rotationT, a mildly mixing actionS of a locally compact second countable groupG and an ergodic cocycle ϕ forT with values inG. The main result of the paper is a sufficient (and also necessary by [LeP] whenG is countable Abelian andS is Bernoullian) condition for the skew product build fromT, ϕ andS to be an element of . Moreover, the self-joinings of such extensions ofT are described with an application to study semisimple extensions of rotations. Dedicated to Hillel Furstenberg on the occasion of his retirement The first-named author was supported in part by CRDF, grant UM1-2546-KH-03. The second-named author was supported in part by KBN grant 1P03A 03826.     

Pseudo algebraically closed fields over rings

We prove that for almost allσ ∈G ℚ the field has the following property: For each absolutely irreducible affine varietyV of dimensionr and each dominating separable rational mapϕ:V→ there exists a point a ∈ such thatϕ(a) ∈ ℤ^r. We then say that is PAC over ℤ. This is a stronger property then being PAC. Indeed we show that beside the fields other fields which are algebraic over ℤ and are known in the literature to be PAC are not PAC over ℤ.     

Exponential generating functions and complexity of Lie varieties

Suppose that % MathType!End!2!1! is a variety of Lie algebras, and letc _n( % MathType!End!2!1!) be the dimension of the linear span of all multilinear words onn distinct letters in the free algebraF( % MathType!End!2!1!,X) of the variety % MathType!End!2!1!. We consider an exponential generating function % MathType!End!2!1!, called the complexity function. The complexity function is an entire function of a complex variable provided the variety of Lie algebras is nontrivial. In this paper we introduce the notion of complexity for Lie varieties in terms of the growth of complexity functions; also we describe what the complexity means for the codimension growth of the variety. Our main goal is to specify the complexity of a product of two Lie varieties in terms of the complexities of multiplicands. The main observation here is thatC( % MathType!End!2!1!),z) behaves like a composition of three functionsC( % MathType!End!2!1!),z), exp(z), andC( % MathType!End!2!1!),z). Partially supported by grant RFFI 96-01-00146; the author is grateful to the University of Bielefeld for hospitality, where he was DAAD-fellow.     

Loose block independence

A finite state stationary process is defined to be loosely block independent if long blocks are almost independent in the sense. We show that loose block independence is preserved under Kakutani equivalence and limits. We show directly that any loosely block independent process is the limit of Bernoulli processes and is a factor of a process which is Kakutani equivalent to a Bernoulli shift. The existing equivalence theory then yields that the loosely block independent processes are exactly the loosely Bernoulli (or finitely fixed) processes.     

On a certain basis inc 0

A basis is constructed inc ₀ such that there exists no bounded linear projection ofc ₀ onto the subspace spanned by a certain subsequence of . This is part of the author’s Ph.D. thesis prepared at the Hebrew University of Jerusalem under the suppervision of Professor A. Dvoretzky and Dr. J. Lindenstrauss. The author wishes to thank Dr. Lindenstrauss for his helpful advice.     

Galois groups and complete domains

Consider a domain that is complete with respect to a non-zero prime ideal. This paper proves two Galois-theoretic results about such rings. Using Grothendieck’s Existence Theorem we prove that every finite group occurs as the Galois group of a Galois extension of . This generalizes results of David Harbater who proved the result in the case where the ideal is maximal and the domain is normal. As a consequence, we deduce that if is a Noetherian domain that is complete with respect to a non-zero prime ideal, then every finite group occurs as a Galois group over . This proves the Noetherian case of a conjecture posed by Moshe Jarden.     

On the singularities of nilpotent orbits

Let be a nilpotent orbit of the adjoint action of a complex connected semi-simple Lie group on its Lie algebra. We prove that the normalization of the closure of is Gorenstein and has rational singularities.     

Application des inequations quasi-variationnelles a quelques problemes non lineaires de la physique des plasmas

This paper deals with some problems arising in plasma physics. The typical example is the following: where is the (neither local, nor monotone, nor continuous) operator: . Using a quasi-variational approach, we prove the existence of minimal and maximal solutions for a weak form of this problem, involving a multi-valued operator β. Various generalizations are treated.      

Two theorems about projective sets

In this paper we prove two (rather unrelated) theorems about projective sets. The first one asserts that subsets of ℵ₁ which are in the codes are constructible; thus it extends the familiar theorem of Shoenfield that subsets of ω are constructible. The second is concerned with largest countable sets and establishes their existence under the hypothesis of Projective Determinacy and the assumption that there exist only countably many ordinal definable reals. Y. N. Moschovakis is a Sloan Foundation Fellow. During the preparation of this paper, both authors were partially supported by NSF Grant GP-27964.     

Carleson measures and the heat equation

Let { }, where { } is the open unit disk on the complex plane { }. In G, we consider analytic solutions u(t, z) ({ }, { }) of the heat equation 2u_t=u_zz with initial data f(z)=u(0, z) belonging to the Fock space F, i.e., to the space of entire functions square summable with the weight e−|z|2.Conditions on a nonnegative measure μ on G are described under which for all f ∈ F we have { } Bibliography: 17 titles. Translated fromZapiski Nauchnykh Seminarov POMI, Vol. 247, 1997, pp. 146–155. Translated by S. V. Kislyakov.