Algebras of holomorphic mappings in (DF)-spaces

Let U be an absolutely convex open subset of a complex barrelled (DF)-space E and let F be a commutative Banach algebra with identity. Let H_b(U, F) be the space of holomorphic mappings from U into F that are bounded on the U-bounded sets and let H_b (U, F) be the space of the holomorphic mappings from U into F that are uniformly weakly continuous on the U-bounded sets, both endowed with the topology τ_b of uniform convergence on the U-bounded sets. The spectra of (H_wu (U, F), τ_b) and (H_b(U, F), τ_b) are studied.     

Compact and Weakly Compact Homomorphisms on Fréchet Algebras of Holomorphic Functions

We study homomorphisms between Fréchet algebras of holomorphic functions of bounded type. In this setting we prove that any pointwise bounded homomorphism into the space of entire functions of bounded type is rank one. We characterize up to the approximation property of the underlying Banach space, the weakly compact composition operators on H_b(V), V absolutely convex open set.     

The spectrum of an algebra of weakly continuous holomorphic mappings

Let U be an arbitrary absolutely convex open subset of a complex Banach space E and let F be a Banach algebra with identity. The spectrum of the algebra H_b(U, F) of the holomorphic mappings from U and F which are bounded on the U-bonded subsets of U is studied in case E′ has the approximation properly.     

Spectra of algebras of holomorphic functions of bounded type

We prove that if U is a balanced H_b (U)-domain of holomorphy in Tsirelson's space then the spectrum of H_b (U) is identified with U. We derive theorems of Banach Stone type for algebras of holomorphic functions and algebras of holomorphic germs.     

On a Bornological Structure in Infinite-Dimensional Holomorphy

The bornology (b) of bounded subsets with respect to continuous convergence is used on spaces of holomorphic functions. It is shown that Hom_coH_b(U) ? U for a circled convex open subset U of a complete nuclear space. Exponential laws for spaces of holomorphic functions with bornological structures are proved and the connection with Colombeau's Silva holomorphic functions is established.     

Schauder type theorems for differentiable and holomorphic mappings

Denoting byC _wu ^p (E) the algebra of allC ^p-real-valued functions on the real Banach spaceE such that the functions and the derivatives are weakly uniformly continuous on bounded subsets, it is known that the algebra homomorphismsA:C _wu ^q (F)C _wu ^p (E) are induced by differentiable mappingsg:EF ^**. We prove that, for 1p+1q, the following are equivalent: (a)A is compact; (b)g and its derivatives are compact; (c)gC _wu ^p (E,F ^**) (the authors had proved that, forp=q<,A is [weakly] compact if and only ifg is a constant mapping, and it is known that ifq<p, thenA is always induced by a constant mapping and is therefore compact). Also, for an entire function of bounded typegH _b (U,F), where is a balanced open subset, andE,F are complex Banach spaces, lettingA:H _b (F)H _b (U) be the homomorphism given byA(f)=fg for allfH _b (F), we prove thatA is compact if and only ifg is compact.Supported in part by DGICYT Grant PB 94-1052 (Spain).Supported in part by DGICYT Grant PB 93-0452 (Spain).     

Linear operators preserving unitarily invariant norms of matrices

Let F _{m × n} be the set of all m × n matrices over the field F = C or R Denote by U_n (F) the group of all n × n unitary or orthogonal matrices according as F = C or F-R. A norm N() on F m ×n, is unitarily invariant if N(UAV) = N(A): for all A ∈ F _m×n U ∈ U _m (F). and V ∈ U_n (F). We characterize those linear operators T F _{m × n} → F _{m × n} which satisfy N (T(A)) = N(A)for all A ∈ F _{m × n}

for a given unitarily invariant norm N(). It is shown that the problem is equivalent to characterizing those operators which preserve certain subsets in F _{m × n} To develop the theory we prove some results concerning unitary operators on F _{m × n} which are of independent interest.     

The approximation property for spaces of holomorphic functions on infinite-dimensional spaces I

For an open subset U of a locally convex space E, let (H(U),τ₀) denote the vector space of all holomorphic functions on U, with the compact-open topology. If E is a separable Fréchet space with the bounded approximation property, or if E is a (DFC)-space with the approximation property, we show that (H(U),τ₀) has the approximation property for every open subset U of E. These theorems extend classical results of Aron and Schottenloher. As applications of these approximation theorems we characterize the spectra of certain topological algebras of holomorphic mappings with values in a Banach algebra.     

An embedding theorem for partial algebras and the free completion of a free partial algebra within a primitive class

Let U be any nontrivial primitive class of partial algebras, i.e. there existsA ∈ U with |A|≥2, and U is closed with respect to homomorphic images (in the weak sense), subalgebras (on closed subsets) and cartesian products of U-algebras, and let U _f denote the—also nontrivial and primitive—class of all full U-algebras. Then every U-algebra with at least two elements is a relative algebra of some U _f -algebra. For any U-algebraAsetU _A =U _i εI({i}×(A ^K _i—domf _i ^A )), where (K _i) _i εI is the type under consideration. Furthermore let F(N, U) denote any U-algebra U-freely generated by some setN (and let F (M, U _f ) be similarly defined). Then for every nonempty setM there exists a setN satisfyingM ?N such that there exists a bijective mapping σ:U _{F(N, U)} →N ?M satisfying σ((i, α)) ? α(K _i ) for all (i, α) ∈U _{F (N, U)}, and, for the structureg=(g _i)_iεI defined by ,g _i : =f _i ^{F(N, U)} ∪ {(α, σ((i, α))) | (i, α ∈U _{F(N, U)}} id _M induces an isomorphism betweenF(M, U _f ), and (F(N, U)g).     

On the distinguished character of the function spaces of holomorphic mappings of bounded type

Given two complex normed spaces E and F, F complete, and a balanced open subset U of E, we prove that the space $\text{H}$_(b(U, F) of the holomorphic mappings f: U → F of bounded type, endowed with its natural topology τ_b, is a distinguished quasi-normable Fréchet space, which is not a Schwartz space unless dim E < ∞ and dim F < ∞.     

Weakly and Separately Holomorphic Functions on Compact Determining Polydiscs in (DFN)-Spaces

The aim of this paper is to find some necessary and sufficient conditions by means of the property (DN) of E and the property (LB _∞) of F under which H _w (X, F) = H(X, F) and H _δ (X, H _b (F*)) = H(X, H _b (F*)) where E, F are Fréchet spaces and X is a compact determining polydisc in E*. At the same time, we also study the problem of the local Dirichlet representation of separately holomorphic functions.     

Khinchin’s inequality,Dunford-Pettis and compact operators on the space <Emphasis Type="Italic">C</Emphasis>([0, 1], <Emphasis Type="Italic">X</Emphasis>)

We prove that if X, Y are Banach spaces, Ω a compact Hausdorff space and U:C(Ω, X) → Y is a bounded linear operator, and if U is a Dunford-Pettis operator the range of the representing measure G(Σ) ? DP(X, Y) is an uniformly Dunford-Pettis family of operators and ∥G∥ is continuous at Ø. As applications of this result we give necessary and/or sufficient conditions that some bounded linear operators on the space C([0, 1], X) with values in c ₀ or l _p, (1 ≤ p < ∞) be Dunford-Pettis and/or compact operators, in which, Khinchin’s inequality plays an important role.     

On Lattice Structure of the Space of Pointwise Limits of Harmonic Functions

Let H¹(U) denote the space of all pointwise limits of bounded sequences from H(U), where H(U) consists of all continuous functions on the closure [`(U)]\overline{U} of a bounded open set U⊂ℝ^m that are harmonic on U. It is shown that the space H¹(U) is a lattice in the natural ordering if and only if the set ∂_regU of all regular points of U is an F_σ-set.     

Weak factorizations of operators in the group von Neumann algebras of certain amenable groups and applications

Let G be a compact group whose local weight b(G) has uncountable cofinality. Let H be an amenable locally compact group and A(G × H) be the Fourier algebra of G × H. We prove that the group von Neumann algebra VN(G × H) = A(G × H)^* has the weak uniform A(G × H)^** factorization property of level b(G). As a corollary we show that A(G × H) is strongly Arens irregular, and the topological centre of UC ₂(G × H)^* is equal to the Fourier–Stieltjes algebra B(G × H).     

Compact DG modules and Gorenstein DG algebras

When the base connected cochain DG algebra is cohomologically bounded, it is proved that the difference between the amplitude of a compact DG module and that of the DG algebra is just the projective dimension of that module. This yields the unboundedness of the cohomology of non-trivial regular DG algebras. When A is a regular DG algebra such that H(A) is a Koszul graded algebra, H(A) is proved to have the finite global dimension. And we give an example to illustrate that the global dimension of H(A) may be infinite, if the condition that H(A) is Koszul is weakened to the condition that A is a Koszul DG algebra. For a general regular DG algebra A, we give some equivalent conditions for the Gorensteiness. For a finite connected DG algebra A, we prove that D^c(A) and D^c(A ^op) admit Auslander-Reiten triangles if and only if A and A ^op are Gorenstein DG algebras. When A is a non-trivial regular DG algebra such that H(A) is locally finite, D^c(A) does not admit Auslander-Reiten triangles. We turn to study the existence of Auslander-Reiten triangles in D_lf^b(A) and D_lf^b (A ^op) instead, when A is a regular DG algebra. This work was supported by the National Natural Science Foundation of China (Grant No. 10731070) and the Doctorate Foundation of Ministry of Education of China (Grant No. 20060246003)     

Bounded factorization property for Fréchet spaces

An operator T ∈ L(E, F) factors over G if T = RS for some S ∈ L(E, G) and R ∈ L(G, F); the set of such operators is denoted by L^G(E, F). A triple (E, G, F) satisfies bounded factorization property (shortly, (E, G, F) ∈ ???) if L^G(E, F) ? LB(E, F), where LB(E, F) is the set of all bounded linear operators from E to F. The relationship (E, G, F) ∈ ??? is characterized in the spirit of Vogt's characterisation of the relationship L(E, F) = LB(E, F) [23]. For triples of K?othe spaces the property ??? is characterized in terms of their K?othe matrices. As an application we prove that in certain cases the relations L(E, G₁) = LB(E, G₁) and L(G₂, F) = LB(G₂, F) imply (E, G, F) ∈ ??? where G is a tensor product of G₁ and G₂.     

DE LA VALLÉE POUSSIN'S THEOREM AND WEAKLY COMPACT SETS IN ORLICZ SPACES

Abstract

The classical theorem of Dunford and Pettis identifies the bounded, uniformly integrable subsets of L¹(μ) with the relatively weakly compact sets. Another characterization of uniform integrability is given in a theorem of De La Vallée Poussin which states that a subset K of L¹ (μ) is bounded and uniformly integrable if and only if there is an N-function F so that sup{f F(f)dμ: f ε K} < ∞. De La Vallée Poussin's theorem is the focal point of the fmt part of this paper as well as the driving force for the results in the second part. We refine and improve this theorem in several directions. The theorem of De La Vallée Poussin does not, for instance, specify just how well the function F can be chosen. It gives little additional information in case the set in question is relatively norm compact in L¹ (μ). Finally it gives no information on the structure of the set in the corresponding Band space of F-integrable functions. More specifically we establish the fact that a subset K of L¹ is relatively compact if and only if there is an N-function F ε δ' so that K is relatively compact in L*_F. Furthermore we prove that a subset K of L¹ is relatively weakly compact if and only if there is an N-function F ε δ' so that K is relatively weakly compact in L*_F. We then go on to show that a large class of non-reflexive Orlicz spaces has the weak Band-Saks property, by establishing a result for these spaces, very similar to the Dunford-Pettis theorem for L¹.     

Homomorphisms and composition operators on algebras of analytic functions of bounded type

Let U and V be convex and balanced open subsets of the Banach spaces X and Y, respectively. In this paper we study the following question: given two Fréchet algebras of holomorphic functions of bounded type on U and V, respectively, that are algebra isomorphic, can we deduce that X and Y (or X^* and Y^*) are isomorphic? We prove that if X^* or Y^* has the approximation property and H_wu(U) and H_wu(V) are topologically algebra isomorphic, then X^* and Y^* are isomorphic (the converse being true when U and V are the whole space). We get analogous results for H_b(U) and H_b(V), giving conditions under which an algebra isomorphism between H_b(X) and H_b(Y) is equivalent to an isomorphism between X^* and Y^*. We also obtain characterizations of different algebra homomorphisms as composition operators, study the structure of the spectrum of the algebras under consideration and show the existence of homomorphisms on H_b(X) with pathological behaviors.     

EQUIVARIANT SELF EQUIVALENCES OF PRINCIPAL FIBRE BUNDLES

Let E be a compact Lie group, G a closed subgroup of E, and H a closed normal sub-group of G. For principal fibre bundle (E,p, E,/G;G) tmd (E/H,p‘,E/G;G/H), the relation between auta(E) (resp. autce (E)) and autG/H(E/H) (resp. autGe/H(E/H)) is investigated by using bundle map theory and transformation group theory. It will enable us to compute the group JG(E) (resp. SG(E)) while the group J G/u(E/H) is known.     

A Gelfand-Phillips Property with Respect to the Weak Topology

We consider a Gelfand-Phillips type property for the weak topology. The main results that we obtain are (1) for certain Banach spaces, E^?_? F inherits this property from E and F, and (2) the spaces L^p(μ, E) have this property when E does. A subset A of a Banach space E is a limited set if every (bounded linear) operator T:E → c₀ maps A onto a relatively compact subset of c₀. The Banach space E has the Gelfand-Phillips property if every limited set is relatively compact. In this note, we study the analogous notions set in the weak topology. Thus we say that A ? E is a Grothendieck set if every T: E → c₀ maps A onto a relatively weakly compact set; and E is said to have the weak type GP property if every Grothendieck set in E is relatively weakly compact. In the papers [3, 4 and 6], it is shown among other results that the ?-tensor product E and the spaces L^p(μ, E) inherit the Gelfand-Phillips property from E and F. In this paper, we study the same questions for the weak type GP property. It is easily verified that continuous linear images of Grothendieck sets are Grothendieck and that the weak type GP property is inherited by subspaces. Among the spaces with the weak type GP property one easily finds the separable spaces, and more generally, spaces with a weak* sequentially compact dual ball. Also, C(K) spaces where K is (DCSC) are weak type GP (see [3] and the discussion before Corollary 4 below). A Grothendieck space (a Banach space whose unit ball is a Grothendieck set) has the weak type GP if and only if it is reflexive.