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).     

Batalin-Vilkovisky algebras and the J-homomorphism

Let X be a topological space. The homology of the iterated loop space H_∗ΩnX is an algebra over the homology of the framed n-disks operad H_∗fDn [E. Getzler, Batalin-Vilkovisky algebras and two-dimensional topological field theories, Comm. Math. Phys. 159 (2) (1994) 265-285; P. Salvatore, N. Wahl, Framed discs operads and Batalin-Vilkovisky algebras, Q. J. Math. 54 (2) (2003) 213-231]. We explicitly determine this H_∗fDn-algebra structure on H_∗(ΩnX;Q). We show that the action of H_∗(SO(n)) on the iterated loop space H_∗ΩnX is related to the J-homomorphism and that the BV-operator on H_∗(Ω²X) vanishes on spherical classes only in characteristic other than 2.     

Localization of André-Quillen-Goodwillie towers, and the periodic homology of infinite loopspaces

Let K(n) be the nth Morava K-theory at a prime p, and let T(n) be the telescope of a v_n-self map of a finite complex of type n. In this paper we study the K(n)_*-homology of Ω^∞X, the 0th space of a spectrum X, and many related matters.We give a sampling of our results.Let PX be the free commutative S-algebra generated by X: it is weakly equivalent to the wedge of all the extended powers of X. We construct a natural map

s_n(X):L_T(n)P(X)→L_T(n)Σ^∞(Ω^∞X)₊     

Submodule categories of wild representation type

Let Λ be a commutative local uniserial ring with radical factor field k. We consider the category S(Λ) of embeddings of all possible submodules of finitely generated Λ-modules. In case Λ=Z/〈pⁿ〉, where p is a prime, the problem of classifying the objects in S(Λ), up to isomorphism, has been posed by Garrett Birkhoff in 1934. In this paper we assume that Λ has Loewy length at least seven. We show that S(Λ) is controlled k-wild with a single control object I∈S(Λ). It follows that each finite dimensional k-algebra can be realized as a quotient End(X)/End(X)_I of the endomorphism ring of some object X∈S(Λ) modulo the ideal End(X)_I of all maps which factor through a finite direct sum of copies of I.     

Realizing characteristic classes by manifolds

Let BG be the classifying space for stable spherical fibrations, and let V be a finite dimensional vector subspace of the cohomology algebra H¹(BG; $\text{Z}$₂). We prove that V may be realized by a Poincaré duality space P, which means that if v:P→BG is the Spivak fibration, then v¹ maps V isomorphically onto its image in H¹(P;$\text{Z}$₂). By construction, P is the product of a certain Grassman manifold and a spherical fiber space over a closed smooth manifold.     

Homology rings of homotopy associative H-spaces

Let X be a homotopy associative mod p H-space for p an odd prime. The homology H_*(X;Fp) is an associative ring, but not necessarily commutative. We study conditions when for elements of H_*(X;Fp). Under certain conditions imply for l=p−2 or p−1. These methods can be used to prove results about homology commutators that were previously obtained using the adjoint action [H. Hamanaka, S. Hara, A. Kono, Adjoint action of Lie groups on the loop spaces and cohomology of exceptional Lie groups, Transform. Group Theory (1996) 44-50, Korea Adv. Inst. Sci. Tech.; A. Kono, K. Kozima, The adjoint action of a Lie group on the space of loops, J. Math. Soc. Japan 45 (3) (1993) 495-509; A. Kono, J. Lin, O. Nishimura, Characterization of the mod 3 cohomology of E₇, Proc. Amer. Math. Soc. 131 (10) (2003) 3289-3295]. We also generalize results of Kane [R. Kane, Torsion in homotopy associative H-spaces, Illinois J. Math. 20 (1976) 476-485] to nonfinite mod p homotopy associative H-spaces.     

Atomic decomposition and boundedness criterion of operators on multi-parameter hardy spaces of homogeneous type

The main purpose of this paper is to derive a new ( p, q)-atomic decomposition on the multi-parameter Hardy space Hp (X1 × X2 ) for 0 p0 p ≤ 1 for some p0 and all 1 q ∞, where X1 × X2 is the product of two spaces of homogeneous type in the sense of Coifman and Weiss. This decomposition converges in both Lq (X1 × X2 ) (for 1 q ∞) and Hardy space Hp (X1 × X2 ) (for 0 p ≤ 1). As an application, we prove that an operator T1, which is bounded on Lq (X1 × X2 ) for some 1 q ∞, is bounded from Hp (X1 × X2 ) to Lp (X1 × X2 ) if and only if T is bounded uniformly on all (p, q)-product atoms in Lp (X1 × X2 ). The similar boundedness criterion from Hp (X1 × X2 ) to Hp (X1 × X2 ) is also obtained.     

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.     

The cardinal characteristic for relative γ-sets

For X a separable metric space define p(X) to be the smallest cardinality of a subset Z of X which is not a relative γ-set in X, i.e., there exists an ω-cover of X with no γ-subcover of Z. We give a characterization of p(ω²) and p(ωω) in terms of definable free filters on ω which is related to the pseudo-intersection number p. We show that for every uncountable standard analytic space X that either p(X)=p(ω²) or p(X)=p(ωω). We show that the following statements are each relatively consistent with ZFC: (a) p=p(ωω)<p(ω²) and (b) p<p(ωω)=p(ω²)     

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     

A Grothendieck-type theorem for the space of totally measurable functions

Let Σ be a σ-algebra of subsets of a non-empty set Ω. Let X be a real Banach space and let X^* stand for the Banach dual of X. Let B(Σ, X) be the Banach space of Σ-totally measurable functions f: Ω → X, and let B(Σ, X)^* and B(Σ, X)^** denote the Banach dual and the Banach bidual of B(Σ, X) respectively. Let bvca(Σ, X^*) denote the Banach space of all countably additive vector measures ν: Σ → X^* of bounded variation. We prove a form of generalized Vitali-Hahn-Saks theorem saying that relative σ(bvca(Σ, X^*), B(Σ, X))-sequential compactness in bvca(Σ, X^*) implies uniform countable additivity. We derive that if X reflexive, then every relatively σ(B(Σ, X)^*, B(Σ, X))-sequentially compact subset of B(Σ, X)_c^~ (= the σ-order continuous dual of B(Σ, X)) is relatively σ(B(Σ, X)^*, B(Σ, X)^**)-sequentially compact. As a consequence, we obtain a Grothendieck type theorem saying that σ(B(Σ, X)^*, B(Σ, X))-convergent sequences in B(Σ, X)_c^~ are σ(B(Σ, X)^*, B(Σ, X)^**)-convergent.     

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.     

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].     

Albanese and Picard 1-motives

We define, in a purely algebraic way, 1-motives Alb⁺(X), Alb⁻(X), Pic⁺(X), and Pic⁻(X) associated with any algebraic scheme X over an algebraically closed field of characteristic zero. For X over C of dimension n, the Hodge realizations are, respectively, H^{2n − 1} (X, Z(n))/(torsion), H₁ (X, Z)/(torsion), H¹ (X, Z(1)), and H_{2n − 1} (X, Z(1 n))/(torsion).     

METRIC ENTROPY OF HOMEOMORPHISM ON NON-COMPACT METRIC SPACE

Let T : X → X be a uniformly continuous homeomorphism on a non-compact metric space (X, d). Denote by X* = X ∪ {x*} the one point compactification of X and T * : X* → X* the homeomorphism on X* satisfying T *|X = T and T *x* = x*. We show that their topological entropies satisfy hd(T, X) ≥ h(T *, X*) if X is locally compact. We also give a note on Katok’s measure theoretic entropy on a compact metric space.     

Multiplicative models for configuration spaces of algebraic varieties

Fulton and MacPherson (Ann. Math. 139 (1994) 183) found a Sullivan dg-algebra model for the space of n-configurations of a smooth complex projective variety X. K?í? (Ann. Math. 139 (1994) 227) gave a simpler model, E_n(H), depending only on the cohomology ring, H?H^*X.We construct an even simpler and smaller model, J_n(H). We then define another new dg-algebra, E_n(H^°), and use J_n(H) to prove that E_n(H^°) is a model of the space of n-configurations of the non-compact punctured manifold X^°, when X is 1-connected. Following an idea of Drinfel’d (Leningrad Math. J. 2 (1991) 829), we put a simplicial bigraded differential algebra structure on {E_n(H^°)}_n?0.     

Well-posedness of a class of perturbed optimization problems in Banach spaces

Let X be a Banach space and Z a nonempty subset of X. Let J:Z→R be a lower semicontinuous function bounded from below and p?1. This paper is concerned with the perturbed optimization problem of finding z₀∈Z such that ‖x−z₀p^‖+J(z₀)=infz∈Z{‖x−zp^‖+J(z)}, which is denoted by minJ(x,Z). The notions of the J-strictly convex with respect to Z and of the Kadec with respect to Z are introduced and used in the present paper. It is proved that if X is a Kadec Banach space with respect to Z and Z is a closed relatively boundedly weakly compact subset, then the set of all x∈X for which every minimizing sequence of the problem minJ(x,Z) has a converging subsequence is a dense Gδ-subset of X?Z₀, where Z₀ is the set of all points z∈Z such that z is a solution of the problem minJ(z,Z). If additionally p>1 and X is J-strictly convex with respect to Z, then the set of all x∈X for which the problem minJ(x,Z) is well-posed is a dense Gδ-subset of X?Z₀.     

Some inverse problems involving conditional expectations

Let (Ω, F, P) be a probability space, let H be a sub-σ-algebra of F, and let Y be positive and H-measurable with E[Y] = 1. We discuss the structure of the convex set CE(Y; H) = {X ∈ pF: Y = E[X|H]} of random variables whose conditional expectation given H is the prescribed Y. Several characterizations of extreme points of CE(Y; H) are obtained. A necessary and sufficient condition is given in order that CE(Y; H) be the closed, convex hull of its extreme points. For the case of finite F we explicitly calculate the extreme points of CE(Y; H), identify pairs of adjacent extreme points, and characterize extreme points of CE(Y; H) ? CE(Z; G), where G is a second sub-σ-algebra of F and Z ∈ pG. When H = σ(Y) and appropriate topological hypotheses hold, extreme points of CE(Y; H) are shown to be in explicit one-to-one correspondence with certain left inverses of Y. Finally, it is shown how the same approach can be applied to the problem of extremal random measures on $\text{R}$₊ with a prescribed compensator, to deduce that the number of extreme points is zero or one.     

Self-maps of the Grassmannian of Complex Structures Dedicated to Professor Boju Jiang on his 65th birthday

Let CS _n be the flag manifold SO(2n)/U(n). We give a partial classification for the endomorphisms of the cohomology ring H ^*(CS _n ; Z) which is very close to a homotopy classification of all selfmaps of CS _n . Applications concerning the geometry of the space are discussed.