The proper L-S category of Whitehead manifolds

It is shown that the proper L-S category of an eventually end-irreducible, R²-irreducible Whitehead 3-manifold is 4. For this we prove, in the category of germs at infinity of proper maps, a partial analogue of the characterization by Eilenberg and Ganea of the L-S category of an aspherical space.     

<Emphasis Type="Italic">A</Emphasis><Subscript><Emphasis Type="Italic">n</Emphasis></Subscript> theory,L.S. category,and strong category

Relations between category and strong category are studied. The notion of a homotopy coalgebra of order r over the Ganea comonad is introduced. It is shown that cat(X) =Cat(X) holds if a finite 1-connected complex X carries such a structure with r sufficiently large.     

Equivalent definitions of the Ganea fibrations¶and cofibrations

The Ganea fibrations have been used to define Lusternik–Schnirelmann category. It is proved that three definitions of the Ganea fibrations are equivalent. Consequences are drawn for the category of a map and the notion of cocategory. In addition, Ganea cofibrations are briefly considered. Received: 2 April 1999     

Zariski closure, completeness and compactness

The categorical theory of closure operators is used to introduce and study separated, complete and compact objects with respect to the Zariski closure operator naturally defined in any category X(A,Ω) obtained by a given complete category X (endowed with a proper factorization structure for morphisms) and by a given X-algebra (A,Ω) by forming the affine X-objects modelled by (A,Ω). Several basic examples are provided.     

Topological conformal field theories and Calabi-Yau categories

This is the first of two papers which construct a purely algebraic counterpart to the theory of Gromov-Witten invariants (at all genera). These Gromov-Witten type invariants depend on a Calabi-Yau A_∞ category, which plays the role of the target in ordinary Gromov-Witten theory. When we use an appropriate A_∞ version of the derived category of coherent sheaves on a Calabi-Yau variety, this constructs the B model at all genera. When the Fukaya category of a compact symplectic manifold X is used, it is shown, under certain assumptions, that the usual Gromov-Witten invariants are recovered. The assumptions are that open-closed Gromov-Witten theory can be constructed for X, and that the natural map from the Hochschild homology of the Fukaya category of X to the ordinary homology of X is an isomorphism.     

TOPOLOGICAL CATEGORIES AND CLOSURE OPERATORS

Abstract

It is shown that the category CS of closure spaces is a topological category. For each epireflective subcategory A of a topological category X a functor F _A :X → X is defined and used to extend to the general case of topological categories some results given in [4], [5] and [10] for epireflective subcategories of the category Top of topological spaces.     

Topological sums and products in ZF-set theory

In ZF, i.e., Zermelo-Fraenkel set theory without the axiom of choice, the category Top of topological spaces and continuous maps is well-behaved. In particular, Top has sums (=coproducts) and products. However, it may happen that for families (Xi)_i∈I and (Yi)_i∈I with the property that each Xi is homeomorphic to the corresponding Yi neither their sums _⊕i∈IXi and _⊕i∈IYi nor their products _∏i∈IXi and _∏i∈IYi are homeomorphic. It will be shown that the axiom of choice is not only sufficient but also necessary to rectify this defect.     

Lusternik-Schnirelmann category of a sphere-bundle over a sphere

We determine the Lusternik-Schnirelmann (L-S) category of a total space of a sphere-bundle over a sphere in terms of primary homotopy invariants of its characteristic map, and thus providing a complete answer to Ganea's Problem 4. As a result, we obtain a necessary and sufficient condition for a total space N to have the same L-S category as its ‘once punctured submanifold’ N\{P},P∈N. Also, necessary and sufficient conditions for a total space M to satisfy Ganea's conjecture are described.     

More on upper bicompletion-true functorial quasi-uniformities

Let T:QU₀→Top₀ denote the usual forgetful functor from the category of quasi-uniform T₀-spaces to that of the topological T₀-spaces. We regard the bicompletion reflector as a (pointed) endofunctor K:QU₀→QU₀. For any section F:Top₀→QU₀ of T we consider the (pointed) endofunctor R=TKF:Top₀→Top₀. The T-section F is called upper bicompletion-true (briefly, upper K-true) if the quasi-uniform space KFX is finer than FRX for every X in Top₀. An important known characterisation is that F is upper K-true iff the canonical embedding X→RX is an epimorphism in Top₀ for every X in Top₀. We show that this result admits a simple, purely categorical formulation and proof, independent of the setting of quasi-uniform and topological spaces. We thus mention a few other settings where the result is applicable. Returning then to the setting T:QU₀→Top₀, we prove: Any T-section F is upper K-true iff for all X the bitopology of KFX equals that of FRX; and iff the join topology of KFX equals the strong topology (also called the b- or Skula topology) of RX.     

A theory of PWD-structures

A general study is undertaken of product-wedge-diagonal (=PWD) structures on a space. In part this concept may be viewed as arising from G.W. Whitehead's fat-wedge characterization of Lusternik-Schnirelmann category. From another viewpoint PWD-structures occupy a distinguished position among those structures that provide data allowing Hopf invariants to be defined. Indeed the Hopf invariant associated with a PWD-structure is a crucial component of the structure. Our overall theme addresses the basic question of existence of compatible structures on X and Y with regard to a map X→Y. A principal result of the paper uses Hopf invariants to formulate a Berstein-Hilton type result when the space involved is a double mapping cylinder (or homotopy pushout). A decomposition formula for the Hopf invariant (extending previous work of Marcum) is provided in case the space is a topological join U*V that has PWD-structure defined canonically via the join structure in terms of diagonal maps on U and V.     

Almost maximal spaces

A topological space X is called almost maximal if it is without isolated points and for every x∈X, there are only finitely many ultrafilters on X converging to x. We associate with every countable regular homogeneous almost maximal space X a finite semigroup Ult(X) so that if X and Y are homeomorphic, Ult(X) and Ult(Y) are isomorphic. Semigroups Ult(X) are projectives in the category F of finite semigroups. These are bands decomposing into a certain chain of rectangular components. Under MA, for each projective S in F, there is a countable almost maximal topological group G with Ult(G) isomorphic to S. The existence of a countable almost maximal topological group cannot be established in ZFC. However, there are in ZFC countable regular homogeneous almost maximal spaces X with Ult(X) being a chain of idempotents.     

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

Making holes in hyperspaces

Let X be a metric continuum and C(X) the hyperspace of all nonempty subcontinua of X. Let A∈C(X), A is said to make a hole in C(X), if C(X)−{A} is not unicoherent. In this paper we study the following problem.Problem: For which A∈C(X), A makes a hole in C(X).In this paper we present some partial solutions to this problem in the following cases: (1) A is a free arc; (2) A is a one-point set; (3) A is a free simple closed curve; (4) A=X.     

Principal topologies and transformation semigroups

For a given set X, the set F(X) of all maps from X to X forms a semigroup under composition. A subsemigroup S of F(X) is said to be saturated if for each x∈X there exists a set Ox⊆X with x∈Ox such that . It is shown that there exists a one-to-one correspondence between principal topologies on X and saturated subsemigroups of F(X). Some properties of principal topologies on X and the corresponding properties of their associated saturated subsemigroups of F(X) are discussed.     

Hamilton-Jacobi semi-groups in infinite dimensional spaces

Let (X,ρ) be a Polish space endowed with a probability measure μ. Assume that we can do Malliavin Calculus on (X,μ). Let be a pseudo-distance. Consider QtF(x)=infy∈X{F(y)+d²(x,y)/2t}. We shall prove that QtF satisfies the Hamilton-Jacobi inequality under suitable conditions. This result will be applied to establish transportation cost inequalities on path groups and loop groups in the spirit of Bobkov, Gentil and Ledoux.     

Lower bounds¶for the relative Lusternik–Schnirelmann category

We give estimates of numerical homotopy invariants of the pair (X,X×S ^p ) in terms of homotopy invariants of X. More precisely, we prove that σ ^{p +1} cat(X) + 1 ≤ cat(X,X×S ^p }), that and that e(X,X×S< ^p )=e(X)+1, where σ ^{p +1} cat is the (relative) σ category of Vandembroucq and e is the (relative) Toomer invariant. The proof is based on an extension of Milnor's construction of the classifying space of a topological group to a relative setting (due to Dold and Lashof). Received: 14 October 1998 / Revised version: 5 November 1999     

Functors on the category of quasi-fibrations

We consider the following questions: when can we extend a continuous endofunctor on Top the category of topological spaces to a fibrewise continuous endofunctor on Top(2) the category of continuous maps? If this is true, does such fibrewise continuous endofunctor preserve fibrations? In this paper, we define Fib the topological category of cell-wise trivial fibre spaces over polyhedra and show that any continuous endofunctor on Top induces a fibrewise continuous endofunctor on Fib preserving the class of quasi-fibrations.     

Two, more readily computable equivariant Nielsen numbers I. Nielsen theory for M-ads

In this, the first of two papers outlining a Nielsen theory for “two, more readily computable equivariant numbers”, we define and study two Nielsen type numbers N(f,k;X−{Xν}_ν∈M) and N(f,k;X,{Xν}_ν∈M), where f and k are M-ad maps. While a Nielsen theory of M-ads is of interest in its own right, our main motivation lies in the fact that maps of M-ads accurately mirror one of two fundamental structures of equivariant maps. Being simpler however, M-ad Nielsen numbers are easier to study and to compute than equivariant Nielsen numbers. In the sequel, we show our M-ad numbers can be used to form both upper and lower bounds on their equivariant counterparts.The numbers N(f,k;X−{Xν}_ν∈M) and N(f,k;X,{Xν}_ν∈M), generalize the generalizations to coincidences, of Zhao's Nielsen number on the complement N(f;X−A), respectively Schirmer's relative Nielsen number N(f;X,A). Our generalizations are from the category of pairs, to the category of M-ads. The new numbers are lower bounds for the number of coincidence points of all maps f^′ and k^′ which are homotopic as maps ofM-ads to f, respectively k firstly on the complement of the union of the subspaces Xν in the domain M-ad X, and secondly on all of X. The second number is shown to be greater than or equal to a sum of the first of our numbers. Conditions are given which allow for both equality, and Möbius inversion. Finally we show that the fixed point case of our second number generalizes Schirmer's triad Nielsen number N(f;X₁∪X₂).Our work is very different from what at first sight appears to be similar partial results due to P. Wong. The differences, while in some sense subtle in terms of definition, are profound in terms of commutability. In order to work in a variety of both fixed point and coincidence points contexts, we introduce in this first paper and extend in the second, the concept of an essentiality on a topological category. This allows us to give computational theorems within this diversity. Finally we include an introduction to both papers here.     

The Terwilliger algebra of a distance-regular graph of negative type

Let Γ denote a distance-regular graph with diameter D?3. Assume Γ has classical parameters (D,b,α,β) with b<-1. Let X denote the vertex set of Γ and let A∈Mat_X(C) denote the adjacency matrix of Γ. Fix x∈X and let A^∗∈Mat_X(C) denote the corresponding dual adjacency matrix. Let T denote the subalgebra of Mat_X(C) generated by A,A^∗. We call T the Terwilliger algebra of Γ with respect to x. We show that up to isomorphism there exist exactly two irreducible T-modules with endpoint 1; their dimensions are D and 2D-2. For these T-modules we display a basis consisting of eigenvectors for A^∗, and for each basis we give the action of A.     

Selective separability and its variations

A space X is said to be selectively separable (=M-separable) if for each sequence {Dn:n∈ω} of dense subsets of X, there are finite sets Fn⊂Dn (n∈ω) such that ?{Fn:n∈ω} is dense in X. On selective separability and its variations, we show the following: (1) Selective separability, R-separability and GN-separability are preserved under finite unions; (2) Assuming CH (the continuum hypothesis), there is a countable regular maximal R-separable space X such that X² is not selectively separable; (3) c{0,1} has a selectively separable, countable and dense subset S such that the group generated by S is not selectively separable. These answer some questions posed in Bella et al. (2008) [7].