Product of nilpotent subgroups

We will say that a subgroup X of G satisfies property C in G if C_G(X?X^g)\leqq X?X^g{\rm C}_{G}(X\cap X^{{g}})\leqq X\cap X^{{g}} for all g ? G{g}\in G. We obtain that if X is a nilpotent subgroup satisfying property C in G, then XF(G) is nilpotent. As consequence it follows that if N\triangleleft GN\triangleleft G is nilpotent and X is a nilpotent subgroup of G then C_G(N?X)\leqq XC_G(N\cap X)\leqq X implies that NX is nilpotent.¶We investigate the relationship between the maximal nilpotent subgroups satisfying property C and the nilpotent injectors in a finite group.     

The group of self homotopy equivalences of some localized aspherical complexes

By studying the group of self homotopy equivalences of the localization (at a prime p and/or zero) of some aspherical complexes, we show that, contrary to the case when the considered space is a nilpotent, ?^m _#(X_p ) is in general different from ?^m _#(X)p. That is the case even when X = K (G, 1) is a finite complex and/or G satisfies extra finiteness or nilpotency conditions, for instance, when G is finite or virtually nilpotent. (© 2008 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Additive Maps Preserving Nilpotent Operators or Spectral Radius

Let X be a （real or complex） Banach space with dimension greater than 2 and let B0（X） be the subspace of B（X） spanned by all nilpotent operators on X. We get a complete classification of surjective additive maps Ф on B0（X） which preserve nilpotent operators in both directions. In particular, if X is infinite-dimensional, we prove that Ф has the form either Ф（T） = cATA^-1 or Ф（T） = cAT＇A^-1, where A is an invertible bounded linear or conjugate linear operator, c is a scalar, T＇ denotes the adjoint of T. As an application of these results, we show that every additive surjective map on B（X） preserving spectral radius has a similar form to the above with ｜c｜ = 1.     

Relatively Free Nilpotent Torsion-Free Groups and Their Lie Algebras

Let K be a field of characteristic zero. For a torsion-free finitely generated nilpotent group G, we naturally associate four finite dimensional nilpotent Lie algebras over K, ? _K (G), grad^(?)(? _K (G)), grad^(g)(exp ? _K (G)), and L _K (G). Let 𝔗 _c be a torsion-free variety of nilpotent groups of class at most c. For a positive integer n, with n ≥ 2, let F _n (𝔗 _c ) be the relatively free group of rank n in 𝔗 _c . We prove that ? _K (F _n (𝔗 _c )) is relatively free in some variety of nilpotent Lie algebras, and ? _K (F _n (𝔗 _c )) ? L _K (F _n (𝔗 _c )) ? grad^(?)(? _K (F _n (𝔗 _c ))) ? grad^(g)(exp ? _K (F _n (𝔗 _c ))) as Lie algebras in a natural way. Furthermore, F _n (𝔗 _c ) is a Magnus nilpotent group. Let G ₁ and G ₂ be torsion-free finitely generated nilpotent groups which are quasi-isometric. We prove that if G ₁ and G ₂ are relatively free of finite rank, then they are isomorphic. Let L be a relatively free nilpotent Lie algebra over ? of finite rank freely generated by a set X. Give on L the structure of a group R, say, by means of the Baker–Campbell–Hausdorff formula, and let H be the subgroup of R generated by the set X. We show that H is relatively free in some variety of nilpotent groups; freely generated by the set X, H is Magnus and L ? ?_?(H) ? L _?(H) as Lie algebras. For relatively free residually torsion-free nilpotent groups, we prove that ? _K and L _K are isomorphic as Lie algebras. We also give an example of a finitely generated Magnus nilpotent group G, not relatively free, such that ?_?(G) is not isomorphic to L _?(G) as Lie algebras.     

Realization of 2-solvable nilpotent groups as groups of classes of homotopy self-equivalences

Let X be a 1-connected CW-complex of finite type and ε_?(X) be the group of homotopy classes of self-equivalences of X which induce the identity on homotopy groups. In this paper, we prove that every finitely generated 2-solvable rational nilpotent group is realizable as ε_?(X) where X is the rationalization of a 1-connected CW-complex of finite type.     

The Choquet integral representation in the affine vector-valued case

LetX be any compact convex subset of a locally convex Hausdorff space andE be a complex Banach space. We denote byA(X, E) the space of all continuous and affineE-valued functions defined onX. In this paper we prove thatX is a Choquet simplex if and only if the dual ofA(X, E) is isometrically isomorphic by a selection map toM _m (X, E*), the space ofE*-valued,w*-regular boundary measures onX. This extends and strengthens a result of G. M. Ustinov. To do this we show that for any compact convex setX, each element of the dual ofA(X, E) can be represented by a measure inM _m (X, E*) with the same norm, and this representation is unique if and only ifX is a Choquet simplex. We also prove that ifX is metrizable andE is separable then there exists a selection map from the unit ball of the dual ofA(X, E) into the unit ball ofM _m (X, E*) which is weak* to weak*-Borel measurable.This work will constitute a portion of the author's Ph.D. Thesis at the University of Illinois.     

p-Lattice Summing Operators

In this paper we study the spaces ∞_p(E, X) of p-lattice summing operators from a Banach space E to a Banach lattice X. The main results characterize those E and X for which Δ_p(E, X) = II_p(E, X) and we show that ∞(E, X)=Δ₂(E, X) for an infinite dimensional Banach lattice X of finite cotype if and only if E is isomorphic to a Hilbert space.     

Hyperfinite Dimensional Representations of Spaces and Algebras of Measures

Let X be a locally compact topological space and (X, E, X_ω) be any triple consisting of a hyperfinite set X in a sufficiently saturated nonstandard universe, a monadic equivalence relation E on X, and an E-closed galactic set X_ω ⊆ X, such that all internal subsets of X_ω are relatively compact in the induced topology and X is homeomorphic to the quotient X_ω/E. We will show that each regular complex Borel measure on X can be obtained by pushing down the Loeb measure induced by some internal function X ? ^*\Bbb CX \rightarrow {}{^{\ast}{\Bbb C}} . The construction gives rise to an isometric isomorphism of the Banach space M(X) of all regular complex Borel measures on X, normed by total variation, and the quotient M_w(X)/M₀(X){\cal M}_{\omega}(X)/{\cal M}_0(X) , for certain external subspaces M₀(X), M_w(X){\cal M}_0(X), {\cal M}_{\omega}(X) of the hyperfinite dimensional Banach space ^*\Bbb C^X{}{^{\ast}{\Bbb C}}^X , with the norm ‖f‖₁ = ∑_{x ∈ X} |f(x)|. If additionally X = G is a hyperfinite group, X_ω = G_ω is a galactic subgroup of G, E is the equivalence corresponding to a normal monadic subgroup G₀ of G_ω, and G is isomorphic to the locally compact group G_ω/G₀, then the above Banach space isomorphism preserves the convolution, as well, i.e., M(G) and M_w(G)/M₀(G){\cal M}_{\omega}(G)/{\cal M}_0(G) are isometrically isomorphic as Banach algebras.     

On spaces of p-adic vector measures

LetX be a Hausdorff zero-dimensional topological space,K(X) the algebra of all clopen subsets of X, E a Hausdorff locally convex space over a non-Archimedean valued field and C _b (X) the space of all bounded continuous -valued functions on X. The space M(K(X),E), of all bounded finitely-additive measures m: K(X) → E, is investigated. If we equip C _b (X) with the topologies β _o , β, β _u , τ _b or β _ob , it is shown that, for E (compete, the corresponding spaces of continuous linear operators from C _b (X) to E (are algebraically isomorphic to certain subspaces of M(K(X),E). The text was submitted by the author in English.     

Function Spaces and Dieudonné Completeness

Abstract

For a completely regular space X and a normed space E let C_k (x, E) (resp., C_p (x, E)) be the set of all E-valued continuous maps on X endowed with the compact-open (resp., pointwise convergence) topology. It is shown that the set of all F-valued linear continuous maps on C_k (x, E) when equipped with the topology of uniform convergence on the members of some families of bounded subsets of C_k (x, E) is a complete uniform space if F is a Band space and X is Dieudonné complete. This result is applied to prove that Dieudonné completeness is preserved by linear quotient surjections from C_k (x, E) onto C_k (Y, E) (resp., from C_p (x, E) onto C_p (x, E)) provided E, F are Band spaces and Y is a k-space.     

ON THE PROJECTION OF THE EFFICIENT SET AND POTENTIAL APPLICATIONS

Abstract

We study the efficient set X _E for a multiple objective linear program by using its projection into the linear space L spanned by the independent criteria. We show that in the orthogonally complementary space of L, the efficient points form a polyhedron, while in L an efficiency-equivalent polyhedron for the projection P(X _E ) of X _E can be constructed by algorithms of outer and inner approximation types. These algorithms can be also used for generating all extreme points of P(X _E ). Application to optimization over the efficient set for a multiple objective linear program is considered.     

The strong approximation of extremal processes

Summary If X ₁, X ₂, ..., are i.i.d. random variables and Y _n =Max(X ₁, ..., X _n ); if for some sequences A _n , B_n, n=1, 2, ..., E _n (t)=A_nY_[nt]+B_n is such that E _n (1) weakly converges to a non degenerate limit distribution, then we prove that it is possible to construct a sequence of replicates of extremal processes E ⁽ⁿ⁾(t) on the same probability space, such that d(E _n (.), E ⁽ⁿ⁾(.))0 a.s., with the Levy metric. We give the rates of consistency of the approximations.     

On some exotic finite subgroups of E 8 and Springer’s regular elements of the Weyl group

A proof (by Serre and by Cohen, Griess and Lisser) verified, in the special case of E ₈, a conjecture of mine, that the finite projective group L ₂(61) embeds in E₈( \mathbbC ) {E_8}\left( \mathbb{C} \right) . Subsequently, Griess and Ryba have shown (using computers) that L ₂(49) and, in addition, (established by Serre without computers) L ₂(41) also embed in E₈( \mathbbC ) {E_8}\left( \mathbb{C} \right) . That is, if K = 30, 24, 20 and k ∈ K then L ₂(2k + 1) embeds in E₈( \mathbbC ) {E_8}\left( \mathbb{C} \right) . In this paper we show that the “Borel” subgroup B(k) of L ₂(2k + 1), k ∈ K, has a uniform construction. The theorem uses a result of T. Springer on the existence in E₈( \mathbbC ) {E_8}\left( \mathbb{C} \right) of three regular elements of the Weyl group, having orders k ∈ K, and associated to the regular, subregular and subsubregular nilpotent elements. Springer’s result generalizes (in the E ₈ case) a 1959 general result of mine relating the principal nilpotent element with the Coxeter element.     

A function space model approach to the rational evaluation subgroups

Let f : U → X be a map from a connected nilpotent space U to a connected rational space X. The evaluation subgroup G _*(U, X; f), which is a generalization of the Gottlieb group of X, is investigated. The key device for the study is an explicit Sullivan model for the connected component containing f of the function space of maps from U to X, which is derived from the general theory of such a model due to Brown and Szczarba (Trans Am Math Soc 349, 4931–4951, 1997). In particular, we show that non Gottlieb elements are detected by analyzing a Sullivan model for the map f and by looking at non-triviality of higher order Whitehead products in the homotopy group of X. The Gottlieb triviality of a fibration in the sense of Lupton and Smith (The evaluation subgroup of a fibre inclusion, 2006) is also discussed from the function space model point of view. Moreover, we proceed to consideration of the evaluation subgroup of the fundamental group of a nilpotent space. In consequence, the first Gottlieb group of the total space of each S ¹-bundle over the n-dimensional torus is determined explicitly in the non-rational case.      

Principal bundles whose restrictions to a curve are isomorphic

Let X be a normal projective variety defined over an algebraically closed field k. Let |O _X (1)| be a very ample invertible sheaf on X. Let G be an affine algebraic group defined over k. Let E _G and F _G be two principal G-bundles on X. Then there exists an integer n > > 0 (depending on E _G and F _G ) such that if the restrictions of E _G and F _G to a curve C ∈ |O _X (n)| are isomorphic, then they are isomorphic on all of X.     

Nilpotent Lie Algebras of Maximal Rank and of Kac–Moody Type: E6

Let be the Kac–Moody algebra associated to the affine Cartan matrix E₆⁽¹⁾. Each nilpotent Lie algebra of type E₆⁽¹⁾ is isomorphic to a quotient of the positive part of . We determine the isomorphism classes of nilpotent Lie algebras of type E₆⁽¹⁾.     

Chern classes of bundles on blown-up surfaces

Consider the blow upπ [Xtilde]→ Xof a complex surface Xat a point. Let [Etilde] be a holomorphic bundle on [Xtilde]whose restriction to the exceptional divisor is O(j)n ? O(-j), and define E+(π_* E*)^vv. Friedman and Morgan gave the following bounds for the second Chern classes j≤ c ₂([Etilde])- c ₂(E) ≤ j ²We show that these bounds are sharp.     

On the density principle for rational functions

Let E be a subspace of C(X) and define R(E):={g/h: g,hE;h>0}. We prove that R(E) is dense in C(X) if for every X ₀X there exists xX ₀ such that E contains an approximation to a -function at the point x on the set X ₀. We use this principle to study the density of Müntz rationals in two variables.     

Exact and explicit analytic solutions of an extended Jabotinsky functional differential equation

A Banach space X will be called extensible if every operator E → X from a subspace E ⊂ X can be extended to an operator X → X. Denote by dens X. The smallest cardinal of a subset of X whose linear span is dense in X, the space X will be called automorphic when for every subspace E ⊂ X every into isomorphism T: E → X for which dens X/E = dens X/TE can be extended to an automorphism X → X. Lindenstrauss and Rosenthal proved that c ₀ is automorphic and conjectured that c ₀ and ℓ₂ are the only separable automorphic spaces. Moreover, they ask about the extensible or automorphic character of c ₀(Γ), for Γ uncountable. That c ₀(Γ) is extensible was proved by Johnson and Zippin, and we prove here that it is automorphic and that, moreover, every automorphic space is extensible while the converse fails. We then study the local structure of extensible spaces, showing in particular that an infinite dimensional extensible space cannot contain uniformly complemented copies of ℓ _n ^p , 1 ≤ p < ∞, p ≠ 2. We derive that infinite dimensional spaces such as L _p (μ), p ≠ 2, C(K) spaces not isomorphic to c ₀ for K metric compact, subspaces of c ₀ which are not isomorphic to c ₀, the Gurarij space, Tsirelson spaces or the Argyros-Deliyanni HI space cannot be automorphic. The work of the first author has been supported in part by project MTM2004-02635