A remark on extension of into isometries

In this paper, we prove that an into isometry form S（l（n）^∞） to S（E）, which under some conditions, can be extended to be a linear isometry defined on the whole space. Therefore we improve the results of [Ding, G. G.： The isometric extension of an into mapping from the unit sphere S（l（2）^∞） to S（Lμ^1）. Acta Mathematica Sinica, English Series, 22（6）, 1721-1724 （2006）].     

The isometric extension of the into mapping from the unit sphere S 1( E ) to S 1( l ∞(Γ))

This paper considers the isometric extension problem concerning the mapping from the unit sphere S ₁(E) of the normed space E into the unit sphere S ₁(l ^∞(Γ)). We find a condition under which an isometry from S ₁(E) into S ₁(l ^∞(Γ)) can be linearly and isometrically extended to the whole space. Since l ^∞(Γ) is universal with respect to isometry for normed spaces, isometric extension problems on a class of normed spaces are solved. More precisely, if E and F are two normed spaces, and if V ₀: S ₁(E) → S ₁(F) is a surjective isometry, where c ₀₀(Γ) ⊆ F ⊆ l ^∞(Γ), then V ₀ can be extended to be an isometric operator defined on the whole space. This work is supported by Natural Science Foundation of Guangdong Province, China (Grant No. 7300614)     

Super module amenability of inverse semigroup algebras

In this paper we compare the notions of super amenability and super module amenability of Banach algebras, which are Banach modules over another Banach algebra with compatible actions. We find conditions for the two notions to be equivalent. In particular, we study arbitrary module actions of l ¹(E _S ) on l ¹(S) for an inverse semigroup S with the set of idempotents E _S and show that under certain conditions, l ¹(S) is super module amenable if and only if S is finite. We also study the super module amenability of l ¹(S)^?? and module biprojectivity of l ¹(S), for arbitrary actions.     

Second module cohomology group of inverse semigroup algebras

Let S be a commutative inverse semigroup and let E be its subsemigroup of idempotents. In this paper we define the n-th module cohomology group of Banach algebras and we show that H²_l¹(E)(l¹(S),l¹(S)⁽ⁿ⁾)\mathcal {H}^{2}_{\ell^{1}(E)}(\ell^{1}(S),\ell^{1}(S)^{(n)}) is a Banach space for every odd n∈ℕ.     

Module derivation problem for inverse semigroups

The derivation problem for a locally compact group G asserts that each bounded derivation from L ¹(G) to L ¹(G) is implemented by an element of M(G). Recently a simple proof of this result was announced. We show that basically the same argument with some extra manipulations with idempotents solves the module derivation problem for inverse semigroups, asserting that for an inverse semigroup S with set of idempotents E and maximal group homomorphic image G _S , if E acts on S trivially from the left and by multiplication from the right, any bounded module derivation from ? ¹(S) to ? ¹(G _S ) is inner.     

Asymptotic distribution of sequences with random indices

A general form is determined for the limit distribution function of a sequence of random vectors with random indices (S₁(N _n ⁽¹⁾ ) ..., Sr(N_n ^(r)) in the case when sequences (S₁(n), ..., S_r(n)) and (N _n ⁽¹⁾ , ..., N _n ^(r) ) for appropriate normalization have a nonsingular joint limit distribution.Translated from Matematicheskie Zametki, Vol. 6, No. 6, pp. 705–712, December, 1969.     

Non-regular simplicial matroids

Let (ks) denote the set of all k-element-subsets of a finite set S. A k-simplical matroid on a subset E of (ks) is a binary matroid the circuit of which are simplicial complexes {X1,…Xm} ? E with boundary 0 (mod 2). The k-simplical matroid on (ks) is called the full simplicial matroid Gk(S). The polygon matroid on the edges of a finite graph is 2-simplicial. Polygon-matroids and their duals are regular. The dual of Gk(S) is Gn?k(S) if the cardinnlity of S is n. More details on simplicial matroids can be found in [3, Chapter 6] and also in [4, pp. 180–181].Welsh asked if every simplicial matroid is regular. We prove that this is not the case, for all full k-simplicial matroids Gk(S) with 3?k?n?3 are non-regular (n is the cardinality of S). This result has also been proved σy R. Cordovil and M. Las Vergnas recently. Their proof is different from our proof, which is somewhat shorter.     

Homology of the double and the triple loop spaces¶of E6, E7, and E8

We study the mod p homology of the double and the triple loop spaces of exceptional Lie groups E ₆, E ₇, and E ₈ through the Eilenberg–Moore spectral sequence and the Serre spectral sequence using homology operations. The Bockstein actions on them are also determined. As a result, the Eilenberg–Moore spectral sequences of the path loop fibrations converging to H _*(Ω² G;? _p ) and H _*(Ω³ G;? _p ) collapse at the E ²-term for any compact simple Lie group G. Received: 11 November 1999     

Waldhausen's theory of k-fold end structures: a survey

Let R⁺ be the space of nonnegative real numbers. F. Waldhausen defines a k-fold end structure on a space X as an ordered k-tuple of continuous maps x_f:X → R⁺, 1 ? j ? k, yielding a proper map x:X → (R⁺)^k. The pairs (X,x) are made into the category E^k of spaces with k-fold end structure. Attachments and expansions in E^k are defined by induction on k, where elementary attachments and expansions in E⁰ have their usual meaning. The category E^k/Z consists of objects (X, i) where i: Z → X is an inclusion in E^k with an attachment of i(Z) to X, and the category E^k6Z consists of pairs (X,i) of E^k/Z that admit retractions X → Z. An infinite complex over Z is a sequence X = {X₁ ? X₂ ? … ? X_n …} of inclusions in E^k6Z. The abelian grou p S₀(Z) is then defined as the set of equivalence classes of infinite complexes dominated by finite ones, where the equivalence relation is generated by homotopy equivalence and finite attachment; and the abelian group S₁(Z) is defined as the set of equivalence classes of X₁, where X ∈ E^k/Z deformation retracts to Z. The group operations are gluing over Z. This paper presents the Waldhausen theory with some additions and in particular the proof of Waldhausen's proposition that there exists a natural exact sequence 0 → S₁(Z × R)→^πS₀(Z) by utilizing methods of L.C. Siebenmann. Waldhausen developed this theory while seeking to prove the topological invariance of Whitehead torsion; however, the end structures also have application in studying the splitting of a noncompact manifold as a product with R[1].     

Semidefinite descriptions of low-dimensional separable matrix cones

Let K⊂E, K^′⊂E^′ be convex cones residing in finite-dimensional real vector spaces. An element y in the tensor product E⊗E^′ is K⊗K^′-separable if it can be represented as finite sum , where x_l∈K and for all l. Let S(n), H(n), Q(n) be the spaces of n×n real symmetric, complex Hermitian and quaternionic Hermitian matrices, respectively. Let further S₊(n), H₊(n), Q₊(n) be the cones of positive semidefinite matrices in these spaces. If a matrix A∈H(mn)=H(m)⊗H(n) is H₊(m)⊗H₊(n)-separable, then it fulfills also the so-called PPT condition, i.e. it is positive semidefinite and has a positive semidefinite partial transpose. The same implication holds for matrices in the spaces S(m)⊗S(n), H(m)⊗S(n), and for m?2 in the space Q(m)⊗S(n). We provide a complete enumeration of all pairs (n,m) when the inverse implication is also true for each of the above spaces, i.e. the PPT condition is sufficient for separability. We also show that a matrix in Q(n)⊗S(2) is Q₊(n)⊗S₊(2)- separable if and only if it is positive semidefinite.     

Extended F4-buildings and the Baby Monster

Let Τ be the Baby Monster graph which is the graph on the set of {3,4}-transpositions in the Baby Monster group B in which two such transpositions are adjacent if their product is a central involution in B. Then Τ is locally the commuting graph of central (root) involutions in ² E ₆(2). The graph Τ contains a family of cliques of size 120. With respect to the incidence relation defined via inclusion these cliques and the non-empty intersections of two or more of them form a geometry ℰ(B) with diagram for t=4 and the action of B on ℰ(B) is flag-transitive. We show that ℰ(B) contains subgeometries ℰ(² E ₆(2)) and ℰ(Fi ₂₂) with diagrams c.F ₄(2) and c.F ₄(1). The stabilizers in B of these subgeometries induce on them flag-transitive actions of ² E ₆(2):2 and Fi ₂₂:2, respectively. The geometries ℰ(B), ℰ(² E ₆(2)) and ℰ(Fi ₂₂) possess the following properties: (a) any two elements of type 1 are incident to at most one common element of type 2 and (b) three elements of type 1 are pairwise incident to common elements of type 2 if and only if they are incident to a common element of type 5. The paper addresses the classification problem of c.F ₄(t)-geometries satisfying (a) and (b). We construct three further examples for t=2 with flag-transitive automorphism groups isomorphic to 3⋅²E₂:2, E₆(2):2 and 2²⁶ .F₄(2) and one for t=1 with flag-transitive automorphism group 3⋅Fi ₂₂:2. We also study the graph of an arbitrary (non-necessary flag-transitive) c.F ₄(t)-geometry satisfying (a) and (b) and obtain a complete list of possibilities for the isomorphism type of subgraph induced by the common neighbours of a pair of vertices at distance 2. Finally, we prove that ℰ(B) is the only c.F ₄(4)-geometry, satisfying (a) and (b). Oblatum 20-X-1999 & 2-I-2001?Published online: 5 March 2001     

On elliptic curves y=x−nx with rank zero

In this paper we determine all elliptic curves E_n:y²=x³−n²x with the smallest 2-Selmer groups S_n=Sel₂(E_n(Q))={1} and S_n′=Sel₂(E_n′(Q))={±1,±n}(E_n′:y²=x³+4n²x) based on the 2-descent method. The values of n for such curves E_n are described in terms of graph-theory language. It is well known that the rank of the group E_n(Q) for such curves E_n is zero, the order of its Tate-Shafarevich group is odd, and such integers n are non-congruent numbers.     

On the Extension of Isometries between Unit Spheres of E and C（Ω）

In this paper,we study the extension of isometries between the unit spheres of some Banach spaces E and the spaces C(Ω). We obtain that if the set sm.S1(E) of all smooth points of the unit sphere S1(E) is dense in S1(E),then under some condition,every surjective isometry V0 from S1(E) onto S1(C(Ω)) can be extended to be a real linearly isometric map V of E onto C(Ω).From this resultwe also obtain some corollaries. This is the first time we study this problem on different typical spaces,and the method of proof is also very different too.     

The smooth Banach submanifold B*(E, F) in B(E, F)

Let E,F be two Banach spaces,B(E,F),B+(E,F),Φ(E,F),SΦ(E,F) and R(E,F) be bounded linear,double splitting,Fredholm,semi-Frdholm and finite rank operators from E into F,respectively. Let Σ be any one of the following sets:{T ∈Φ(E,F):Index T=constant and dim N(T)=constant},{T ∈ SΦ(E,F):either dim N(T)=constant< ∞ or codim R(T)=constant< ∞} and {T ∈ R(E,F):Rank T=constant< ∞}. Then it is known that Σ is a smooth submanifold of B(E,F) with the tangent space TAΣ={B ∈ B(E,F):BN(A)-R(A) } for any A ∈Σ. However,for ...     

Nonlinear integration on Lp-spaces

For a Banach space E and for 1 ? p < ∞ let ?p<∞ let L_E^p(μ) = L_E^p(S,B,μ) denote all Bochner p-integrable E-valued functions on a measure space (S,B,μ). Under study are convergence theorems for integrals of functions in L_E^p(μ) with respect to Nemytskii measures. Weak integrals are then denoted to Hammerstein operators, and a study of topologies generated by vector measures leads to a characterization of compact Hammerstein operators.     

三矩阵乘积的(T,S,2)-逆的反序律

矩阵A的(T,S,2)-逆是指适合XAX=X,R(X)=T和N(X)=S的矩阵X,以矩阵的秩为工具,本文研究了三矩阵乘积的(T,S,2)-逆的反序律,给出了(ABC)_(T4,S4)⁽²⁾=C_(T3,S3)⁽²⁾B_(T2,S2)⁽²⁾A_(T1,S1)⁽²⁾的充要条件。     

Complementation and decompositions in some weakly Lindelöf Banach spaces

Let Γ denote an uncountable set. We consider the questions if a Banach space X of the form C(K) of a given class (1) has a complemented copy of c₀(Γ) or (2) for every c₀(Γ)⊆X has a complemented c₀(E) for an uncountable E⊆Γ or (3) has a decomposition X=A⊕B where both A and B are nonseparable. The results concern a superclass of the class of nonmetrizable Eberlein compacts, namely Ks such that C(K) is Lindelöf in the weak topology and we restrict our attention to Ks scattered of countable height. We show that the answers to all these questions for these C(K)s depend on additional combinatorial axioms which are independent of ZFC ± CH. If we assume the P-ideal dichotomy, for every c₀(Γ)⊆C(K) there is a complemented c₀(E) for an uncountable E⊆Γ, which yields the positive answer to the remaining questions. If we assume ♣, then we construct a nonseparable weakly Lindelöf C(K) for K of height ω+1 where every operator is of the form cI+S for c∈R and S with separable range and conclude from this that there are no decompositions as above which yields the negative answer to all the above questions. Since, in the case of a scattered compact K, the weak topology on C(K) and the pointwise convergence topology coincide on bounded sets, and so the Lindelöf properties of these two topologies are equivalent, many results concern also the space Cp(K).     

Integral Schur algebras forGL 2

The structure of Schur algebrasS(2,r) over the integral domainZ is intensively studied from the quasi-hereditary algebra point of view. We introduce certain new bases forS(2,r) and show that the Schur algebraS(2,r) modulo any ideal in the defining sequence is still such a Schur algebra of lower degree inr. A Wedderburn-Artin decomposition ofS _K (2,r) over a fieldK of characteristic 0 is described. Finally, we investigate the extension groups between two Weyl modules and classify the indecomposable Weyl-filtered modules for the Schur algebrasS _Zp(2,r) withr<p ² . Research supported by ARC Large Grant L20.24210