The $A(\inft)$-algebra structure in homology of a DG-algebra is constructed. This structure is unique up to isomorphism of $A(\infty)$ algebras. Connection of this structure with Massey products is indicated. The notion of $A(\infty)$-module over an $A(\infty)$-algebra is introduced and such a structure is constructed in homology of a DG-modules over a DG-algebra. The theory of twisted tensor products is generalized from the case of DG-algebras to the case of $A(\infty)$-algebras. These algebraic results are used to describe homology of classifying spaces, cohomology of loop spaces, and homology of fibre bundles.
We study fibred spaces with fibres in a structure category $\V$ and we show that cellular approximation, Blakers--Massey theorem, Whitehead theorems, obstruction theory, Hurewicz homomorphism, Wall finiteness obstruction, and Whitehead torsion theorem hold for fibred spaces. For this we introduce the cohomology of fibred spaces.
This is a survey paper, starting from the general notion of coordinate bundle taken from Steenrod. Its aim is to provide a motivation for the introduction of cyclic homology (and the closely related noncommutative de Rham cohomology) by Connes, Tsygan and the author. The bridge is made through a generalization of Chern-Weil theory, explained in a very concrete manner through the transition functions of the bundles involved. The final result is a "Chern character" introduced by Connes and the author in the framework of K-theory and functional analysis.
Let $\mathcal{L}$ be the noncrossing partition lattice associated to a finite Coxeter group $W$. In this paper we construct explicit bases for the top homology groups of intervals and rank-selected subposets of $\mathcal{L}$. We define a multiplicative structure on the Whitney homology of $\mathcal{L}$ in terms of the basis, and the resulting algebra has similarities to the Orlik-Solomon algebra. As an application, we obtain four chain complexes which compute the integral homology of the Milnor fibre of the reflection arrangement of $W$, the Milnor fibre of the discriminant of $W$, the hyperpl…
Diffeomorphism types of simply connected $3$-dimensional Mori fibre spaces
School of Mathematics, Shandong University（山东大学数学学院）；Academy of Mathematics and Systems Science, Chinese Academy of Sciences（中国科学院数学与系统科学研究院；中国科学院大学）；University of Chinese Academy of Sciences（广西民族大学数学科学学院）；School of Mathematical Sciences, Guangxi Minzu University
We prove an analogue of the Madsen-Weiss theorem for high dimensional manifolds. For example, we explicitly describe the ring of characteristic classes of smooth fibre bundles whose fibres are connected sums of g copies of S^n x S^n, in the limit as g tends to infinity. Rationally it is a polynomial ring in certain explicit generators, giving a high dimensional analogue of Mumford's conjecture. More generally, we study a moduli space N(P) of those null-bordisms of a fixed (2n-1)-dimensional manifold P which are highly connected relative to P. We determine the homology of N(P) after stabilisati…
We prove that the algebra of chains on the based loop space recovers the derived (wrapped) Fukaya category of the cotangent bundle of a closed smooth orientable manifold. The main new idea is the proof that a cotangent fibre generates the Fukaya category using a version of the map from symplectic cohomology to the homology of the free loop space introduced by Cieliebak and Latschev.
In this paper, we investigate the behaviour of the Serre spectral sequence with respect to the algebraic structures of string topology in generalized homology theories, specificially with the Chas-Sullivan product and the corresponding coproduct and module structures. We prove compatibility for two kinds of fibre bundles: the fibre bundle $Ω^n M \to L^n M \to M$ for an $h_*$-oriented manifold $M$ and the looped fibre bundle $L^n F \to L^n E \to L^n B$ of a fibre bunde $F \to E \to B$ of $h_*$-oriented manifolds. Our method lies in the construction of Gysin morphisms of spectral sequences. We a…
Given a perversity function in the sense of intersection homology theory, the method of intersection spaces assigns to certain oriented stratified spaces cell complexes whose ordinary reduced homology with real coefficients satisfies Poincaré duality across complementary perversities. The resulting homology theory is well-known not to be isomorphic to intersection homology. For a two-strata pseudomanifold with product link bundle, we give a description of the cohomology of intersection spaces as a space of weighted $L^2$ harmonic forms on the regular part, equipped with a fibred scattering met…
When two smooth manifold bundles over the same base are fiberwise tangentially homeomorphic, the difference is measured by a homology class in the total space of the bundle. We call this the relative smooth structure class. Rationally and stably, this is a complete invariant. We give a more or less complete and self-contained exposition of this theory which is a reformulation of some of the results of [7]. An important application is the computation of the Igusa-Klein higher Reidemeister torsion invariants of these exotic smooth structures. Namely, the higher torsion invariant is equal to the …
Let Aut(p) denote the topological monoid of self-fibre-homotopy equivalences of a fibration p:E\to B. We make a general study of this monoid, especially in rational homotopy theory. When E and B are simply connected CW complexes with E finite, we identify the rational Samelson Lie algebra of the identity component of Aut(p) as the homology of a certain DG Lie algebra of derivations arising from the Koszul-Sullivan model of p. We obtain related identifications for the rational homotopy groups of fibrewise mapping spaces and for the rationalization of a natural nilpotent subgroup of Aut(p).
We prove that completion at a set of primes preserves homotopy fibre squares of connected nilpotent spaces. As a consequence, we deduce the Hasse fracture square associated to a connected nilpotent space. Along the way, we give a quick proof of the well-known result that if the base of a fibre sequence has the homotopy type of a CW complex, then the total space has the homotopy type of a CW complex iff each fibre does.
Let p be a fibration of simply connected CW complexes with finite base B and fibre F. Let aut_1(p) denote the identity component of the space of all fibre-homotopy self-equivalences of p and Baut_1(p) the classifying space for this topological monoid. We give a differential graded Lie algebra model for Baut_1(p). We use this model to give classification results for the rational homotopy types represented by Baut_1(p) and also to obtain conditions under which the monoid aut_1(p) is a double loop-space after rationalization.
We introduce a nested sequence of monoids related to self-homotopy equivalences of fibrewise pointed spaces, such that the limit is the group of homotopy classes of fibrewise pointed self-equivalences. We explore this monoid for the fibred product in terms of individual spaces. Further we study two related invariants associated to these monoids: self closeness number and self length.
Motivated by prominent problems like the Hilali conjecture Yamaguchi--Yokura recently proposed certain estimates on the relations of the dimensions of rational homotopy and rational cohomology groups of fibre, base and total spaces in a fibration of rationally elliptic spaces. In this article we prove these estimates in the category of formal elliptic spaces and, in general, whenever the total space in addition has positive Euler characteristic or has the rational homotopy type of a homogeneous manifold (respectively of a known example) of positive sectional curvature. Additionally, we provide…
Institute of Mathematics, Academy of Mathematics and Systems Science, Chinese Academy of Sciences（中国科学院数学与系统科学研究院）；State Key Laboratory of Mathematical Sciences & Institute of Mathematics, Academy of Mathematics and Systems Science, Chinese Academy of Sciences（中国科学院数学与系统科学研究院数学科学国家重点实验室）；School of Mathematical Sciences, University of Chinese Academy of Sciences（中国科学院大学数学科学学院）
A spectral sequence calculating the homology groups of some spaces of maps equivariant under compact group actions is described. For the main example, we calculate the rational homology groups of spaces of even and odd maps $S^m \to S^M$, $m<M$, or, which is the same, the stable homology groups of spaces of non-resultant homogeneous polynomial maps ${\mathbb R}^{m+1} \to {\mathbb R}^{M+1}$ of growing degrees. Also, we find the homology groups of spaces of ${\mathbb Z}_r$-equivariant maps of odd-dimensional spheres for any $r$. As a technical tool, we calculate the homology groups of configurat…
We study a natural generalization of inverse systems of finite regular covering spaces. A limit of such a system is a fibration whose fibres are profinite topological groups. However, as shown in a previous paper (Conner-Herfort-Pavesic: Some anomalous examples of lifting spaces), there are many fibrations whose fibres are profinite groups, which are far from being inverse limits of coverings. We characterize profinite fibrations among a large class of fibrations and relate the profinite topology on the fundamental group of the base with the action of the fundamental group on the fibre, and de…
Let $S^{2n+1}\{p\}$ denote the homotopy fibre of the degree $p$ self map of $S^{2n+1}$. For primes $p \ge 5$, work of Selick shows that $S^{2n+1}\{p\}$ admits a nontrivial loop space decomposition if and only if $n=1$ or $p$. Indecomposability in all but these dimensions was obtained by showing that a nontrivial decomposition of $ΩS^{2n+1}\{p\}$ implies the existence of a $p$-primary Kervaire invariant one element of order $p$ in $π_{2n(p-1)-2}^S$. We prove the converse of this last implication and observe that the homotopy decomposition problem for $ΩS^{2n+1}\{p\}$ is equivalent to the strong…
In this paper, we clarify the relationship among the Vietoris-type homology theories and the microsimplicial homology theories, where the latter are nonstandard homology theories defined by M. C. McCord (for topological spaces), T. Korppi (for completely regular topological spaces) and the author (for uniform spaces). We show that McCord's and our homology are isomorphic for all compact uniform spaces and that Korppi's and our homology are isomorphic for all fine uniform spaces. Our homology shares many good properties with Korppi's homology. As an example, we outline a proof of the continuity…
We study the homology of free loop spaces via techniques arising from the theory of topological coHochschild homology (coTHH). Topological coHochschild homology is a topological analogue of the classical theory of coHochschild homology for coalgebras. We produce new spectrum-level structure on coTHH of suspension spectra as well as new algebraic structure in the coBökstedt spectral sequence for computing coTHH. These new techniques allow us to compute the homology of free loop spaces in several new cases, extending known calculations.
Let $V$ be a degree $d$, reduced hypersurface in $\mathbb{CP}^{n+1}$, $n \geq 1$, and fix a generic hyperplane, $H$. Denote by $\mathcal{U}$ the (affine) hypersurface complement, $\mathbb{CP}^{n+1}- V \cup H$, and let $\mathcal{U}^c$ be the infinite cyclic covering of $\mathcal{U}$ corresponding to the kernel of the linking number homomorphism. Using intersection homology theory, we give a new construction of the Alexander modules $H_i(\mathcal{U}^c;\mathbb{Q})$ of the hypersurface complement and show that, if $i \leq n$, these are torsion over the ring of rational Laurent polynomials. We also…
In this paper we show that the dual complex of a dlt log Calabi-Yau pair $(Y, Δ)$ on a Mori fibre space $π: Y \to Z$ is a finite quotient of a sphere, provided that either the Picard number of $Y$ or the dimension of $Z$ is $\leq 2$. This is a partial answer to Question 4 in "The dual complex of Calabi-Yau pairs" by Kollár and Xu.
The classification problem for principal fibre bundles over two-dimensional CW-complexes is considered. Using the Postnikov factorization for the base space of a universal bundle a Puppe sequence that gives an implicit solution for the classification problem is constructed. In cases, when the structure group $G$ is path-connected or $π_{1}(G) = 0$, the classification can be given in terms of cohomology groups.
Our aim is to construct fibrewise localizations in model categories. For pointed spaces, the general idea is to decompose the total space of a fibration as a diagram over the category of simplices of the base and replace it by the localized diagram. This of course is not possible in an arbitrary category. We have thus to adapt another construction which heavily depends on Mather's cube theorem. Working with model categories in which the cube theorem holds, we characterize completely those who admit a fibrewise nullification. As an application we get fibrewise plus-construction and fibrewise Po…
We consider the universal family $E_n^d$ of superelliptic curves: each curve $Σ_n^d$ in the family is a $d$-fold covering of the unit disk, totally ramified over a set $P$ of $n$ distinct points; $Σ_n^d\hookrightarrow E_n^d\to C_n$ is a fibre bundle, where $C_n$ is the configuration space of $n$ distinct points. We find that $E_n^d$ is the classifying space for the complex braid group of type $B(d,d,n)$ and we compute a big part of the integral homology of $E_n^d,$ including a complete calculation of the stable groups over finite fields by means of Poincarè series. The computation of the main …
Under certain conditions, we describe the homotopy type of the homo-topy fibre of the inclusion map F\_n(X) $\rightarrow$ $\prod$\_1^n X for the n-th configuration space F\_n(X) of a topological manifold X without boundary such that dim(X) $\ge$ 3. We then apply our results to the cases where either the universal covering of X is contractible or X is an orbit space S^k/G of a tame, free action of a Lie group G on the k-sphere S^k. If the group G is finite and k is odd, we give a full description of the long exact sequence in homotopy of the homotopy fibration of the inclusion map F\_n(S^k/G) $…
Higher Homotopy van Kampen Theorems allow the computation as colimits of certain homotopical invariants of glued spaces. One corollary is to describe homotopical excision in critical dimensions in terms of induced modules and crossed modules over groupoids. This paper shows how fibred and cofibred categories give an overall context for discussing and computing such constructions, allowing one result to cover many cases. A useful general result is that the inclusion of a fibre of a fibred category preserves connected colimits. The main homotopical application are to pairs of spaces with several…
