A second-dual method for C(X) isomorphisms

Let X and Y denote compact Hausdorff spaces, C(X) and C(Y) the sup-norm Banach spaces of continuous real-valued functions on X and Y respectively, and φ: C(X) → C(Y) an onto isomorphism whose bound is less than three. With the aid of second duals, we construct a natural function from X into the set of finite subsets of Y. This provides a new approach to results of Amir and Cambern. We then obtain necessary conditions on X and Y for the existence of a bound-two isomorphism; for instance, the existence of open sets U and V of X and Y respectively such that U and V are homeomorphic and XßU and YßV are homeomorphic.     

A note on realizing homomorphisms of category algebras

The complete Boolean homomorphisms from the category algebra $\text{C}$(X) of a complete matrix space X to the category algebra $\text{C}$(Y) of a Baire topological space Y are characterized as those σ-homomorphisms which are induced by continuous maps from dense G₈-subsets of Y into X. This result is used to deduce a series of related results in topology and measure theory (some of which are well-known). Finally a similar result for the complete Boolean homomorphisms from the category algebra $\text{C}$(X) of a compact Hausdorff space X tothe category algebra $\text{C}$(Y) of a Baire topological space Y is proved.     

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.     

On the classification problem of the quasi-isomorphism classes of free chain algebras

The present paper is devoted to the classification problem of the quasi-isomorphism classes of free differential graded algebras (dgas) over a (P.I.D) R. We introduce the notion of coherent homomorphisms, perfect and quasi-perfect dgas (the Adams-Hilton model of simply connected CW-complex such that H_∗(X,R) is free is a such a dga) and our first main result asserts that two perfect (quasi-perfect) dgas are quasi-isomorphic if and only if their Whitehead exact sequences are coherently isomorphic. Moreover we define the notion of a strong isomorphism between the Whitehead exact sequences and we show that two free R-dgas, of which their Whitehead exact sequences are strongly isomorphic, are quasi-isomorphic.     

Pseudo-unitarizable weight modules over generalized Weyl algebras

We define a notion of pseudo-unitarizability for weight modules over a generalized Weyl algebra (of rank one, with commutative coefficient ring R), which is assumed to carry an involution of the form X^∗=Y, R^∗⊆R. We prove that a weight module V is pseudo-unitarizable iff it is isomorphic to its finitistic dual V^?. Using the classification of weight modules by Drozd, Guzner and Ovsienko, we obtain necessary and sufficient conditions for an indecomposable weight module to be isomorphic to its finitistic dual, and thus to be pseudo-unitarizable. Some examples are given, including U_q(sl₂) for q a root of unity.     

Problems in algebra inspired by universal algebraic geometry

Let Θ be a variety of algebras. In every variety Θ and every algebra H from Θ one can consider algebraic geometry in Θ over H. We also consider a special categorical invariant K _Θ of this geometry. The classical algebraic geometry deals with the variety Θ = Com-P of all associative and commutative algebras over the ground field of constants P. An algebra H in this setting is an extension of the ground field P. Geometry in groups is related to the varieties Grp and Grp-G, where G is a group of constants. The case Grp-F, where F is a free group, is related to Tarski’s problems devoted to logic of a free group. The described general insight on algebraic geometry in different varieties of algebras inspires some new problems in algebra and algebraic geometry. The problems of such kind determine, to a great extent, the content of universal algebraic geometry. For example, a general and natural problem is: When do algebras H ₁ and H ₂ have the same geometry? Or more specifically, what are the conditions on algebras from a given variety Θ that provide the coincidence of their algebraic geometries? We consider two variants of coincidence: 1) K _Θ(H ₁) and K _Θ(H ₂) are isomorphic; 2) these categories are equivalent. This problem is closely connected with the following general algebraic problem. Let Θ⁰ be the category of all algebras W = W(X) free in Θ, where X is finite. Consider the groups of automorphisms Aunt(Θ⁰) for different varieties Θ and also the groups of autoequivalences of Θ⁰. The problem is to describe these groups for different Θ.     

The bitwisted Cartesian model for the free loop fibration

Using the notion of truncating twisting function from a simplicial set to a cubical set a special, bitwisted, Cartesian product of these sets is defined. For the universal truncating twisting function, the (co)chain complex of the corresponding bitwisted Cartesian product agrees with the standard Cartier (Hochschild) chain complex of the simplicial (co)chains. The modelling polytopes Fn are constructed. An explicit diagonal on Fn is defined and a multiplicative model for the free loop fibration ΩY→ΛY→Y is obtained. As an application we establish an algebra isomorphism H^∗(ΛY;Z)≈S(U)⊗Λ(s−1U) for the polynomial cohomology algebra H^∗(Y;Z)=S(U).     

The milnor-moore theorem in tame homotopy theory

LetX be a 1-connected space with Moore loop space ΩX. By a well-known theorem of J. W. Milnor and J. C. Moore [7] the Hurewicz homomorphism induces an isomorphism of Hopf algebrasU(π_*(ΩX) ⊗Q)→H _*(ΩX;Q). HereU(−) denotes the universal enveloping algebra and the Lie bracket on π_*(ΩX) ⊗Q is given by the Samelson product. Assume now thatX is the geometric realization of anr-reduced simplicial set,r≥3. LetL _X be a differential graded free Lie algebra over ℤ describing the tame homotopy type ofX according to the theory of [4]. Then the main result of the present paper is the construction of a sequence of morphisms of differential graded algebras betwenU(L _X ) and the algebraC U _*(ΩX)z of normalized cubical chains on ΩX such that the induced morphisms on homology with coefficientsR _k are isomorphismsH _r-1+l (U(L _x );R _k ) ≅H _r-1+l C U _*(ΩX);R _k ) forl≤k; hereR ₀⊆R ₁⊆… is a tame ring system, i. e.R _k )⊑Q and each primep with 2p−3≤k is invertible inR _k . However, it is no longer true that the Pontrjagin algebraH _≤r−1+k (ΩX; R _k ) of ΩX in degrees ≤r−1+k is determined by π_*(ΩX) or by a cofibrant (-fibrant) modelM of π_*(ΩX) as will be shown by an example. But there is a filtration onH _≤r−1+k (ΩX; R _k ) such that the associated graded algebra is isomorphic toH _≤r−1+k (U(M); R _k ).This will be proved by using a filtered Lie algebra model ofX constructed from a bigraded model of π_*(ΩX). Supported by a CNRS grant and PROCOPE Supported by PROCOPE     

Topological Representation of Sheaf Cohomology of Sites

For a site & (with enough points), we construct a topological space X(&) and a full embedding ^* of the category of sheaves on & into those on X _(&) (i.e., a morphism of toposes :Sh (X_(&)) Sh(&)). The embedding will be shown to induce a full embedding of derived categories, hence isomorphisms H^*(&,A) = H^*(X_(&), ^*A) for any Abelian sheaf A on &. As a particular case, this will give for any scheme Y a topological space X _(Y) and a functorial isomorphism between the étale cohomology H^*(Y _ét,A) and the ordinary sheaf cohomology H^*(X(_(Y),),^*A), for any sheaf A for the étale topology on Y.     

Symmetric (co)homologies of Lie algebras

Cohomologies of Lie algebras are usually calculated using the Chevalley-Eilenberg cochain complex of skew-symmetric forms. We consider two cochain complexes consisting of forms with some symmetric properties. First, cochains C^*(L) are symmetric in the last 2 arguments, skew-symmetric in the others and satify moreover some kind of Jacobi condition in the last 3 arguments. In characteristic 0, its cohomologies are isomorphic to the cohomologies of the factor-complex C^*(L,L’)/C^*+1(L,K). Second, a symmetric version C_λ^*(A) is defined for an associative algebra A. It is a subcomplex of the cyclic cochain complex. These symmetric cochain complexes are used for the calculation of 3-cohomologies of Cartan Type Lie algebras with trivial coefficients.     

A spectral sequence for string cohomology

Let X be a 1-connected space with free-loop space ΛX. We introduce two spectral sequences converging towards H^*(ΛX;Z/p) and H^*((ΛX)_hT;Z/p). The E₂-terms are certain non-Abelian-derived functors applied to H^*(X;Z/p). When H^*(X;Z/p) is a polynomial algebra, the spectral sequences collapse for more or less trivial reasons. If X is a sphere it is a surprising fact that the spectral sequences collapse for p=2.     

Birational maps between generalized Severi-Brauer varieties

A conjecture of Amitsur states that two Severi-Brauer varieties V(A) and V(B) are birationally isomorphic if and only if the underlying algebras A and B are the same degree and generate the same cyclic subgroup of the Brauer group. We examine the question of finding birational isomorphisms between generalized Severi-Brauer varieties. As a first step, we exhibit a birational isomorphism between the generalized Severi-Brauer variety of an algebra and its opposite. We also extend a theorem of P. Roquette to generalized Severi-Brauer varieties and use this to show that one may often reduce the problem of finding birational isomorphisms to the case where each of the separable subfields of the corresponding algebras are maximal, and therefore to the case where the algebras have prime power degree. We observe that this fact allows us to verify Amitsur’s conjecture for many particular cases.     

Uniqueness of complex structure and real hereditarily indecomposable Banach spaces

There exists a real hereditarily indecomposable Banach space X=X(C) (respectively X=X(H)) such that the algebra L(X)/S(X) is isomorphic to C (respectively to the quaternionic division algebra H).Up to isomorphism, X(C) has exactly two complex structures, which are conjugate, totally incomparable, and both hereditarily indecomposable. So there exist two Banach spaces which are isometric as real spaces but totally incomparable as complex spaces. This extends results of J. Bourgain and S. Szarek [J. Bourgain, Real isomorphic complex Banach spaces need not be complex isomorphic, Proc. Amer. Math. Soc. 96 (2) (1986) 221-226; S. Szarek, On the existence and uniqueness of complex structure and spaces with “few” operators, Trans. Amer. Math. Soc. 293 (1) (1986) 339-353; S. Szarek, A superreflexive Banach space which does not admit complex structure, Proc. Amer. Math. Soc. 97 (3) (1986) 437-444], and proves that a theorem of G. Godefroy and N.J. Kalton [G. Godefroy, N.J. Kalton, Lipschitz-free Banach spaces, Studia Math. 159 (1) (2003) 121-141] about isometric embeddings of separable real Banach spaces does not extend to the complex case.The quaternionic example X(H), on the other hand, has unique complex structure up to isomorphism; other examples with a unique complex structure are produced, including a space with an unconditional basis and non-isomorphic to l₂. This answers a question of S. Szarek in [S. Szarek, A superreflexive Banach space which does not admit complex structure, Proc. Amer. Math. Soc. 97 (3) (1986) 437-444].     

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.     

Torsion and Abelianization in Equivariant Cohomology

Let X be a topological space upon which a compact connected Lie group G acts. It is well known that the equivariant cohomology H ^* _G (X; Q) is isomorphic to the subalgebra of Weyl group invariants of the equivariant cohomology H ^* _T (X; Q), where T is a maximal torus of G. This relationship breaks down for coefficient rings k other than Q. Instead, we prove that under a mild condition on k the algebra H ^* _G (X; k) is isomorphic to the subalgebra of H ^* _T (X; k) annihilated by the divided difference operators.     

Almost Primitive Elements of Free lie Algebras of Small Ranks

Let K be a field, X = {x1, . . . , xn}, and let L(X) be the free Lie algebra over K with the set X of free generators. A. G. Kurosh proved that subalgebras of free nonassociative algebras are free, A. I. Shirshov proved that subalgebras of free Lie algebras are free. A subset M of nonzero elements of the free Lie algebra L(X) is said to be primitive if there is a set Y of free generators of L(X), L(X) = L(Y ), such that M ? Y (in this case we have |Y | = |X| = n). Matrix criteria for a subset of elements of free Lie algebras to be primitive and algorithms to construct complements of primitive subsets of elements with respect to sets of free generators have been constructed. A nonzero element u of the free Lie algebra L(X) is said to be almost primitive if u is not a primitive element of the algebra L(X), but u is a primitive element of any proper subalgebra of L(X) that contains it. A series of almost primitive elements of free Lie algebras has been constructed. In this paper, for free Lie algebras of rank 2 criteria for homogeneous elements to be almost primitive are obtained and algorithms to recognize homogeneous almost primitive elements are constructed.     

The non-commutative Weil algebra

For any compact Lie group G, together with an invariant inner product on its Lie algebra ?, we define the non-commutative Weil algebra ? _G as a tensor product of the universal enveloping algebra U(?) and the Clifford algebra Cl(?). Just like the usual Weil algebra W _G =S(?^*)⊗∧?^*, ? _G carries the structure of an acyclic, locally free G-differential algebra and can be used to define equivariant cohomology ℋ _G (B) for any G-differential algebra B. We construct an explicit isomorphism ?: W _G →? _G of the two Weil algebras as G-differential spaces, and prove that their multiplication maps are G-chain homotopic. This implies that the map in cohomology H _G (B)→ℋ _G (B) induced by ? is a ring isomorphism. For the trivial G-differential algebra B=ℝ, this reduces to the Duflo isomorphism S(?) ^G ≅U(?) ^G between the ring of invariant polynomials and the ring of Casimir elements. Oblatum 13-III-1999 & 27-V-1999 / Published online: 22 September 1999     

Derivations, the Lawrence–Sullivan interval and the Fiorenza–Manetti mapping cone

We describe the rational homotopy type of any component of the based mapping space map^*(X,Y) as an explicit L _∞ algebra defined on the (desuspended and positive) derivations between Quillen models of X and Y. When considering the Lawrence–Sullivan model of the interval, we obtain an L _∞ model of the contractible path space of Y. We then relate this, in a geometrical and natural manner, to the L _∞ structure on the Fiorenza–Manetti mapping cone of any differential graded Lie algebra morphism, two in principal different algebraic objects in which Bernoulli numbers appear.     

Applications of Operator Space Theory to Nest Algebra Bimodules

Recently, Blecher and Kashyap have generalized the notion of W ^*-modules over von Neumann algebras to the setting where the operator algebras are σ closed algebras of operators on a Hilbert space. They call these modules weak* rigged modules. We characterize the weak* rigged modules over nest algebras. We prove that Y is a right weak* rigged module over a nest algebra Alg(M){\rm{Alg}(\mathcal M)} if and only if there exists a completely isometric normal representation F{\Phi } of Y and a nest algebra Alg(N){\rm{Alg}(\mathcal N)} such that Alg(N) F(Y)Alg(M) ì F(Y){\rm{Alg}(\mathcal N) \Phi (Y)\rm{Alg}(\mathcal M)\subset \Phi (Y)} while F(Y){\Phi (Y)} is implemented by a continuous nest homomorphism from M{\mathcal M} onto N{\mathcal N} . We describe some properties which are preserved by continuous CSL homomorphisms.