A Remark on the Growth of the Denominators of Convergents

For log\frac1+?52 ￡ l_* ￡ l^* < ￥{\rm log}\frac{1+\sqrt{5}}{2}\leq \lambda_\ast \leq \lambda^\ast < \infty , let E(λ_*, λ^*) be the set {x ? [0,1): liminf_{n ? ￥}\fraclogq_n(x)n=l_*, limsup_{n ? ￥}\fraclogq_n(x)n=l^*}. \left\{x\in [0,1):\ \mathop{\lim\inf}_{n \rightarrow \infty}\frac{\log q_n(x)}{n}=\lambda_{\ast}, \mathop{\lim\sup}_{n \rightarrow \infty}\frac{\log q_n(x)}{n}=\lambda^{\ast}\right\}. It has been proved in [1] and [3] that E(λ_*, λ^*) is an uncountable set. In the present paper, we strengthen this result by showing that dimE(l_*, l^*) 3 \fracl_* -log\frac1+?522l^*\dim E(\lambda_{\ast}, \lambda^{\ast}) \ge \frac{\lambda_{\ast} -\log \frac{1+\sqrt{5}}{2}}{2\lambda^{\ast}}     

Generalized unitaries and the Picard group

After discussing some basic facts about generalized module maps, we use the representation theory of the algebra ℬ^a(E) of adjointable operators on a HilbertB-moduleE to show that the quotient of the group of generalized unitaries onE and its normal subgroup of unitaries onE is a subgroup of the group of automorphisms of the range idealB _E ofE inB. We determine the kernel of the canonical mapping into the Picard group ofB _E in terms of the group of quasi inner automorphisms ofB _E . As a by-product we identify the group of bistrict automorphisms of the algebra of adjointable operators onE modulo inner automorphisms as a subgroup of the (opposite of the) Picard group.     

Weakly stable Banach spaces

The class of stable Banach spaces, inspired by the stability theory in mathematical logic, was introduced by Krivine and Maurey and provided the proper context for the abstract formulation of Aldous’ result of subspaces ofL ¹. In this paper we study the wider class of weakly stable Banach spaces, where the exchangeability of the iterated limits occurs only for sequences belonging to weakly compact subsets, introduced independently by Garling (in an earlier unpublished version of his expository paper on stable Banach spaces brought recently to our attention) and by the authors. Taking into account Rosenthal’s application of the study of pointwise compact sets of Baire-1 functions (Rosenthal compact spaces) in the study of Banach spaces (for whichl ¹ does not embed isomorphically) and of the study of Rosenthal compact sets by Rosenthal and Bourgain-Fremlin-Talagrand, we prove the following analogue of the Krivine-Maurey theorem for weakly stable spaces:If X is infinite dimensional and weakly stable then either l ^p for some p≧1or c_o embeds isomorphically in X (§1). Garling (in the above reference) proved this result under the additional assumption thatX* is separable. We also construct an example of a Banach spaceX which is weakly stable, without an equivalent stable norm, and such thatl ² embeds isomorphically in every infinite dimensional subspace ofX (§3).     

Monotone heteroclinic solutions to non-autonomous equations via phase plane analysis

We study the existence of at least one increasing heteroclinic solution to a scalar equation of the kind ẍ = a(t)V′(x), where V is a non-negative double well potential, and a(t) is a positive, measurable coefficient. We first provide with a complete answer in the definitively autonomous case, when a(t) takes a constant value l outside a bounded interval. Then we consider the case in which a(t) is definitively monotone, converges from above, as t → ±∞, to two positive limits l _* and l ^*, and never goes below min(l _*, l ^*). Furthermore, the convergence to max(l _*, l ^*) is supposed to be not too fast (slower than a suitable exponential term).     

Projective normality of G.I.T. quotient varieties modulo finite groups

We prove that for any finite dimensional representation V of a finite group G of order n the quotient variety G??(V) is projectively normal with respect to descent of 𝒪(1)^?l where l = lcm{1,2,3,4,…,n}. We also prove that for the tautological representation V of the alternating group A_n the projective variety A_n??(V) is projectively normal with respect to the descent of the above line bundle.     

A generalization of Cohen- Eisenstein series and Shimura liftings and some congruences between Cusp forms and Eisenstein series

In this paper we introduce some modular forms of half-integral weight on congruence group Г_o(4N) withN an odd positive integer which can be viewed as a natural generalization of Cohen-Eisenstein series. Using these series, we can prove that the restriction of Shimura lifting on Eisenstein spaceE _k+1/2 ⁺ (4N,χl) gives an isomorphism fromE _k+1/2 ⁺ (4N,χl) toE _2k(N). We consider some congruence relationships between modular forms in use of Shimura lifting.     

On the First Galois Cohomology Group of the Algebraic Group SL1(D)

Let A be a central simple algebra over a field F. Denote the reduced norm of A over F by Nrd: A* → F* and its kernel by SL₁(A). For a field extension K of F, we study the first Galois Cohomology group H ¹(K,SL₁(A)) by two methods, valuation theory for division algebras and K-theory. We shall show that this group fails to be stable under purely transcendental extension and formal Laurent series.     

Sur les espaces de Banach contenantl 1(τ)

Letτ be a cardinal with cf(τ)>ℵ₀. Then a Banach spaceE contains a subspace isomorphic tol ^l(τ) if and only if [0,1] ^r is a continuous image of the unit ballE′₁ ofE′, provided with the w*-topology. It follows that, for each cardinalκ, ifE′₁ contains a copy ofβκ, thenE has a quotient isomorphic tol ^∞(κ). In this situation we show thatE has even a quotientisometric tol ^∞(κ).      

Quelques consequences de la locale nilpotence des boucles de moufang commutatives

It is well-known that any finitely generated commutative Moufang loop (CML) is centrally nilpotent and has a finite derived subloop. Consequently such a loop possesses all the classical properties of noethe-rianity: any subloop is finitely generated too, any surjective endomorphism is an automorphism, etc. Besides we prove that, in any CML E(finitely generated or not) the maximal subloops are normal of prime index ; thus the Frattini quotient E_/Φ(E) is an abelian group, sub-direct product of groups of prime order. We shall study also some dual notion of the Frattini subloop, namely the subloop φ^*(E) generated by the minimal normal subloops ; it turns out that φ^*(E) is made up by the products of the prime order central elements.     

Dual pairs correspondences ofE 8,4 andE 7,4

In this paper we state and prove the dual pairs correspondences of Spin(4,4)×Spin(8) inE _8,4 andF _4,4×SU₂ and Spin(4,4)×SU ₂ ³ inE _7,4. For the first dual pair, every finite dimensional representation of Spin(8) occurs and each corresponds with finite but unbounded multiplicity to a quaternionic representation of Spin(4,4) having the same infinitesimal character. For the other two dual pairs the correspondences are one to one.     

On amenable groups of automorphisms on Von Neumann algebras

LetG ⊂ Aut ℳ be a countable group, ℳ a Von Neumann algebra. LetE be a set of pure states on ℳ such thatG*E ⊂E, S ^G be the set ofG invariant states on ℳ andS _E ^G =S ^G ∩w* cl coE. We investigate in this paper some geometric properties for the setS _E ^G which turn out to be equivalent to amenability for the groupG. For example, we show thatS _E ^G ⊂ ℳ_* (S _E ^G has the WRNP) implies that ℳ contains minimal projections (ê containsfinite G invariant orbits) hold true, for all ℳ iffG is amenable. Furthermore we show that ifG is amenable thenS ^G ∩M _* ^⊥ contains a big set, thus improving results obtained by Ching Chou in [2]. These results imply that no action of an amenable countable groupG on an arbitraryW* algebra ℳ iss — strongly ergodic. Moreover cardS ^G ∩M _* ^⊥ ≧2 ^c (see M. Choda [4], K. Schmidt [21] and compare with A. Connes and B. Weiss [5]). The author gratefully acknowledges the support of an Izaak Walton Killam Memorial Senior Fellowship.     

On locally graded groups with an Engel condition on infinite subsets

A group G is said to be in E_k^*E_k^* (k a positive integer), if every infinite subset of G contains a pair of elements that generate a k-Engel group.¶It is shown that a finitely generated locally graded group G in E_k^*E_k^* is a finite-by- (k-Engel) group, in particular a finite extension of a k-Engel group.     

Groups and C*‐Algebras from a 4‐Dimensional Anzai Flow

The rotation flow on the circle T gives a concrete representation of the irrational rotation algebra, which is an in finite dimensional simple quotient of the group C*‐algebra of the discrete Heisenberg group H₃ analogously certain 2‐ and 3‐dimensional Anzai flows on T ² and T ³are known to give concrete representations of the corresponding quotients of the group C*‐algebras of the groups H₄ and H_5,5. Considered here is the (minimal, effective) 4‐dimensional Anzai flow F = (ℤ, T ⁴) generated by the homeomorphism (y, x, w, v) ↦ (λy, yx, xw, wv); a group H_6,10 is determined by F the faithful in finite dimensional simple quotients of whose group C*‐algebra C*‐(H_6,10 have concrete representations given by F. Furthermore, the rest of the infinite dimensional simple quotients of C*‐(H_6,10 are identified and displayed as C*‐crossed products generated by minimal effective actions and also as matrix algebras over simple C*‐algebras from groups of lower dimension; these lower dimensional groups are H₃ and subgroups of H₄ and H_5,5.     

E Φ andh Φ fail to beM-ideals inL Φ andl Φ in the case of the Orlicz norm

It is well known that in the case of the Luxemburg normE ^Φ (resp.h ^Φ) is anM ideal inL ^Φ (resp.l ^Φ), see [1], [9], [15] and [6]; [17] and [18]. It is proved in this paper that in the case of the Orlicz normE ^Φ (resph ^Φ) is anM-ideal inL ^Φ (resp.l ^Φ) iff Φ satisfies the suitable Δ₂ or Φ^*(a(Φ^*)), where a(Φ^*) is linear on the interval [0,u]} and Φ^* denotes the function complementary to Φ in the sense of Young. It is also proved that any linear continuous regular (i.e. order continuous) functional ξ_υ overE ^Φ (resp.h ^Φ) generated byv∈ L(h ^Φ*) (resp.v∈ L(h ^Φ*)) which attains its norm on the unit sphereS(E ^Φ) (resp.S(h ^Φ)), has a unique norm-preserving extension toL ^Φ (resp.l ^Φ). Finally, it is proved thatL ^Φ (resp.l ^Φ) has the property that any linear continuous regular functional ξ_υ overE ^Φ (resp.h ^Φ) has a unique norm-preserving extension toL ^Φ (resp.l ^Φ) iff Φ orE ^Φ satisfies the suitable Δ₂ and in the second case Φ^* attains the value 1.     

W(R)-splines

In [3] Golomb describes, for 1 < p < ∞, the H^r,p(R)-extremal extension F_* of a function ƒ:E → R (i.e., the H^r,p-spline with knots in E) and studies the cone H_*E^r,p of all such splines. We study the problem of determining when F_* is in W^r,p ≡ H^r,p ∩ L^p. If F_* ε W^r,p, then F_* is called a W^r,p-spline, and we denote by W_*E^r,p the cone of all such splines. If E is quasiuniform, then F_* ε W^r,p if and only if {ƒ(t_i)}_tiεE ε l^p. The cone W_*E^r,p with E quasiuniform is shown to be homeomorphic to l^p. Similarly, H_*E^r,p is homeomorphic to h^r,p. Approximation properties of the W^r,p-splines are studied and error bounds in terms of the mesh size ¦ E ¦ are calculated. Restricting ourselves to the case p = 2 and to quasiuniform partitions E, the second integral relation is proved and better error bounds in terms of ¦ E ¦ are derived.     

Automorphisms of elementary adjoint Chevalley groups of types Al, Dl, and El over local rings with 1/2

It is proved that every automorphism of an elementary adjoint Chevalley group of type A _l , D _l , or E _l over a local commutative ring with 1/2 is a composition of a ring automorphism and conjugation by some matrix from the normalizer of that Chevalley group in GL(V) (V is an adjoint representation space).     

SYMMETRIC GROUP ACTIONS ON TENSOR PRODUCTS OF HOPF ALGEBROIDS

We describe an action of the symmetric group Σ _n on A ^{? n ? 1}, the n ? 1-fold tensor product of A over K, for (K,A) a Hopf algebroid. This arises in a natural way in stable homotopy theory: when A = E _* E, the ‘co-operations’ in the cohomology theory associated to a suitable ring spectrum E, this action is induced from the natural action on the n-fold smash product E ⁽ⁿ⁾. The case n = 2 is classical: the switch action of Σ₂ on E ∧ E induces the canonical conjugation of E _* E. Therefore we may think of the symmetric group actions as ‘higher order conjugation maps’.     

A characterization of classical Minkowski planes over a perfect field of characteristic two

We give a new set of axioms defining the concept of (B^*)-plane (i.e. Minkowski plane without the tangency property) and we show that every (B^*)-plane in which a condition similar to the “Fano condition” of Heise and Karzel (see [5, § 3]) holds, is a Minkowski plane over a perfect field of characteristic two. In particular, every finite (B^*)-plane of even order is a Minkowski plane over a field. Consequences for strictly 3-transitive groups are derived from the preceding results; in particular, every strictly 3-transitive set of permutations of odd degree containing the identity is a protective group PGL₂(GF(2 ⁿ )) over a finite field GF(2 ⁿ , for some positive integer n.     

Specht Modules and Simple Modules for Centralizer Algebras of the Symmetric Group

Let Σ_n be the symmetric group on n letters. For l ≤ n identify Σ_l with a subgroup of Σ_n in the natural way. Let k be an algebraically closed field of characteristic p. This article begins to develop a theory for modules over the centralizer algebras kΣ_n^Σ_l that is analogous to James's theory of permutation modules, Specht modules, and simple modules over kΣ_n. We make a conjecture about how to construct all simple kΣ_n^Σ_l-modules, we develop tools to test the conjecture, and we prove that it is correct for all n when l < p.