We prove that the group of homotopy classes of relative homotopy automorphisms of a simply connected finite CW-complex is finitely presented and that the rationalization map from this group to its rational analogue has a finite kernel.
We construct a dg Lie model for the universal cover of the classifying space of the grouplike monoid of homotopy automorphisms of a space that fix a given subspace.
We show nilpotency and completeness results for the homotopy automorphisms of a marked n-stage for an unstable coalgebra. These objects figure in the moduli problem of unstable coalgebras. Our theorems extend classical work of Dror, Zabrodsky, Maruyama and Møller.
We define a simplicial enrichment on the category of differential graded Hopf cooperads (the category of dg Hopf cooperads for short). We prove that our simplicial enrichment satisfies, in part, the axioms of a simplicial model category structure on the category of dg Hopf cooperads. We use this simplicial model structure to define a model of mapping spaces in the category of dg Hopf cooperads and to upgrade results of the literature about the homotopy automorphism spaces of dg Hopf cooperads by dealing with simplicial monoid structures. The rational homotopy theory of operads implies that the…
We study the rational homotopy types of classifying spaces of automorphism groups of smooth simply connected manifolds of dimension at least five. We give dg Lie algebra models for the homotopy automorphisms and the block diffeomorphisms of such manifolds. Moreover, we use these models to calculate the rational cohomology of the classifying spaces of the homotopy automorphisms and block diffeomorphisms of the manifold #^g S^d x S^d relative to an embedded disk as g tends to infinity. The answer is expressed in terms of stable cohomology of arithmetic groups and invariant Lie algebra cohomology…
Let M be a smooth compact manifold with boundary. Under some geometric conditions on M, a homotopical model for the pair (M,boundary of M) can be recovered from the configuration category of the interior of M. The grouplike monoid of derived homotopy automorphisms of the configuration category of the interior of M then acts on the homotopical model of the pair (M,boundary of M), in a way which is compatible with a known homotopical action of the homeomorphism group of M minus boundary on (M,boundary of M).
Let $R$ be a ring spectrum and $ E\to X$ an $R$-module bundle of rank $n$. Our main result is to identify the homotopy type of the group-like monoid of homotopy automorphisms of this bundle, $hAut^R(E)$. This will generalize the result regarding $R$-line bundles previously proven by the authors. The main application is the calculation of the homotopy type of $BGL_n(End ((L))$ where $L \to X$ is any $R$-line bundle, and $End (L)$ is the ring spectrum of endomorphisms. In the case when such a bundle is the fiberwise suspension spectrum of a principal bundle over a manifold, $G \to P \to M$, this…
Given $X$ a finite nilpotent simplicial set, consider the classifying fibrations $$ X\to Baut_G^*(X)\to Baut_G(X),\qquad X\to Z\to Baut_π^*(X), $$ where $G$ and $π$ denote, respectively, subgroups of the free and pointed homotopy classes of free and pointed self homotopy equivalences of $X$ which act nilpotently on $H_*(X)$ and $π_*(X)$. We give algebraic models, in terms of complete differential graded Lie algebras (cdgl's), of the rational homotopy type of these fibrations. Explicitly, if $L$ is a cdgl model of $X$, there are connected sub cdgl's $Der^G L$ and $Der^π L$ of the Lie algebra $D…
We explicitly construct an SO(2)-action on a skeletal version of the 2-dimensional framed bordism bicategory. By the 2-dimensional Cobordism Hypothesis for framed manifolds, we obtain an SO(2)-action on the core of fully-dualizable objects of the target bicategory. This action is shown to coincide with the one given by the Serre automorphism. We give an explicit description of the bicategory of homotopy fixed points of this action, and discuss its relation to the classification of oriented 2d topological quantum field theories.
This is a survey paper on spaces of automorphisms of manifolds and spaces of manifolds in a fixed homotopy type. It describes the main theorems of traditional surgery theory, but also the main theorems of pseudoisotopy theory, alias concordance theory, Waldhausen style. It culminates in (an outline of) a synthesis of these two theories, producing algebraic models, valid in a stable range, for spaces of manifolds in a fixed homotopy type. This is inspired by earlier work of Burghelea-Lashof and Hatcher. The algebraic models are a mix of algebraic L-theory and algebraic K-theory.
We obtain explicit formulas for the rational homotopy groups of generalised symmetric spaces, i.e., the homogeneous spaces for which the isotropy subgroup appears as the fixed point group of some finite order automorphism of the group. In particular, this gives explicit formulas for the rational homotopy groups of all classical compact symmetric spaces.
Self equivalences of classifying spaces of $p$-local compact groups are well understood by means of the algebraic structure that gives rise to them, but explicit descriptions are lacking. In this paper we use a construction of Robinson of an amalgam $G$, realizing a given fusion system, to produce a split epimorphism from the outer automorphism group of $G$ to the group of homotopy classes of self homotopy equivalences of the classifying space of the corresponding $p$-local compact group.
We raise the problem of realisability of rings as $\{X,X\}$ the ring of stable homotopy classes of self-maps of a space $X$. By focusing on $A_n^2$-polyhedra, we show that the direct sum of three endomorphism rings of abelian groups, one of which must be free, is realisable as $\{X,X\}$ modulo the acyclic maps. We also show that $\mathbb{F}_p^3$ is not realisable in the setting of finite type $A_n^2$-polyhedra, for $p$ any prime.
Given a closed smooth manifold $M$ of even dimension $2n\ge6$ with finite fundamental group, we show that the classifying space ${\rm BDiff}(M)$ of the diffeomorphism group of $M$ is of finite type and has finitely generated homotopy groups in every degree. We also prove a variant of this result for manifolds with boundary and deduce that the space of smooth embeddings of a compact submanifold $N\subset M$ of arbitrary codimension into $M$ has finitely generated higher homotopy groups based at the inclusion, provided the fundamental group of the complement is finite. As an intermediate result,…
We show that the outer automorphism group of a polycyclic-by-finite group is an arithmetic group. This result follows from a detailed structural analysis of the automorphism groups of such groups. We use an extended version of the theory of the algebraic hull functor initiated by Mostow. We thus make applicable refined methods from the theory of algebraic and arithmetic groups. We also construct examples of polycyclic-by-finite groups which have an automorphism group which does not contain an arithmetic group of finite index. Finally we discuss applications of our results to the groups of homo…
Denote by E(Y) the group of homotopy classes of self-homotopy equivalences of a finite-dimensional complex Y. We give a selection of results about certain subgroups of E(Y). We establish a connection between the Gottlieb groups of Y and the subgroup of E(Y) consisting of homotopy classes of self-homotopy equivalences that fix homotopy groups through the dimension of Y, denoted by E_#(Y). We give an upper bound for the solvability class of E_#(Y) in terms of a cone decomposition of Y. We dualize the latter result to obtain an upper bound for the solvability class of the subgroup of E(Y) consist…
We define inductively a sequence of purely algebraic invariants - namely, classes in the Quillen cohomology of the Pi-algebra π_* X - for distinguishing between different homotopy types of spaces. Another sequence of such cohomology classes allows one to decide whether a given abstract Pi-algebra can be realized as the homotopy Pi-algebra of a space in the first place. The paper is written for a relatively general "resolution model category", so it also applies, for example, to rational homotopy types.
Let $X$ be a \text{\rm{2}}-connected and \text{\rm{6}}-dimensional CW-complex $X$ such that $H_{3}(X)\otimes\Z_2=0$. This paper aims to describe the group $\E(X)$ of the self-homotopy equivalences of $X$ modulo its normal subgroup $\E_{*}(X)$ of the elements that induce the identity on the homology groups. Making use of the Whitehead exact sequence of $X$, denoted by WES$(X)$, we define the group $Γ\mathcal{S}(X)$ of $Γ$-automorphisms of WES$(X)$ and we prove that $\E(X)/\E_*(X)\cong Γ\mathcal{S}(X).$
In this paper, we show that for finite $CW$-complexes $X$ and two-stage space $Y$ (for example $n$-spheres $S^n$, homogeneous spaces and $F_0$-spaces), the rational homotopy type of $\map(X, Y)$ is determined by the cohomology algebra $H^*(X; \Q)$ and the rational homotopy type of $Y$. From this, we deduce the existence of H-structures on a component of the mapping space $\map(X, Y)$, assuming the cohomology algebras of $X$ and $Y$ are isomorphism. Finally, we will show that $\map(X, Y; f)\simeq\map(X, Y; f')$ if the corresponding \emph{Maurer-Cartan elements} are connected by an algebra autom…
We compute the set of naive pointed homotopy classes of endomorphisms of the projective line P^1 over the spectrum of a field. Our computation compares well with Fabien Morel's one of the motivic pointed homotopy classes of endomorphisms of P^1: there is an a priori monoid structure on the set of naive homotopy classes such that canonical map from this monoid to group of motivic homotopy classes is a group completion.
We prove that homotopy invariants of finite degree distinguish homotopy classes of maps of a connected compact CW-complex to a nilpotent connected CW-complex with finitely generated homotopy groups.
Let $A_1$ be any spectrum in a class of finite spectra whose mod $2$ cohomology is isomorphic to a free module of rank one over the subalgebra $\mathcal{A}(1)$ of the Steenrod algebra. Let $E_{C}$ be the second Morava-$E$ theory associated to a universal deformation of the formal completion of the supersingular elliptic curve $(C) : y^{2}+y = x^{3}$ defined over $\mathbb{F}_{4}$ and $G_{24}$ a maximal finite subgroup of automorphism group $\mathbb{S}_{C}$ of the formal completion of $C$. In this paper, we compute the homotopy groups of $E_{C}^{hG_{24}}\wedge A_1$ by means of the homotopy fixed…
In this paper we classify the homotopy classes of proper maps $E\rightarrow \mathbb R^k$, where $E$ is a vector bundle over a compact Hausdorff space. As a corollary we compute the homotopy classes of proper maps $\mathbb R^n\rightarrow \mathbb R^k$. We find a stability range of such maps. We conclude with some remarks on framed submanifolds of non-compact manifolds, the relationship with proper homotopy classes of maps and the Pontryagin-Thom construction.
As an application of the upper triangular technology method of (V.P. Snaith: {\em Stable homotopy -- around the Arf-Kervaire invariant}; Birkhäuser Progress on Math. Series vol. 273 (April 2009)) it is shown that there do not exist stable homotopy classes of $ {\mathbb RP}^{\infty} \wedge {\mathbb RP}^{\infty}$ in dimension $2^{s+1}-2$ with $s \geq 2$ whose composition with the Hopf map to $ {\mathbb RP}^{\infty}$ followed by the Kahn-Priddy map gives an element in the stable homotopy of spheres of Arf-Kervaire invariant one.
Described the algebraic structure on the space of homotopy classes of cycles with marked topological flags of disks. This space is a non-commutative monoid, with an Abelian quotient corresponding to the group of singular homologies $H_k(M)$. For the marked flag contracted to a point the multiplication becomes commutative and the subgroup of spherical cycles corresponds to the usual homotopy group $π_k(M)$.
For a simply connected CW-complex $X$, let $\mathcal{E}(X)$ denote the group of homotopy classes of self-homotopy equivalence of $X$ and let $\mathcal{E}_{\sharp}(X)$ be its subgroup of homotopy classes which induce the identity on homotopy groups. As we know, the quotient group $\frac{\mathcal{E}(X)}{\mathcal{E}_{\sharp}(X)}$ can be identified with a subgroup of $Aut(π_{*}(X))$. The aim of this work is to determine this subgroup for rational spaces. We construct the Whitehead exact sequence associated with the minimal Sullivan model of $X$ which allows us to define the subgroup $\mathrm{Coh.A…
Primary cohomology operations, i.e., elements of the Steenrod algebra, are given by homotopy classes of maps between Eilenberg--MacLane spectra. Such maps (before taking homotopy classes) form the topological version of the Steenrod algebra. Composition of such maps is strictly linear in one variable and linear up to coherent homotopy in the other variable. To describe this structure, we introduce a hierarchy of higher distributivity laws, and prove that the topological Steenrod algebra satisfies all of them. We show that the higher distributivity laws are homotopy invariant in a suitable sens…
Let $\mathcal{E}(X)$ be the group of homotopy classes of self homotopy equivalences for a connected CW complex $X$. We observe two classes of maps $\mathcal{E}$-maps and co-$\mathcal{E}$-maps. They are defined as the maps $X\to Y$ that induce the homomorphisms $\mathcal{E}(X)\to \mathcal{E}( Y)$ and $\mathcal{E}(Y)\to \mathcal{E}(X)$, respectively. We give some rationalized examples related to spheres, Lie groups and homogeneous spaces by using Sullivan models. Furthermore, we introduce an $\mathcal{E}$-equivalence relation between rationalized spaces $X_{\mathbb{Q}}$ and $Y_{\mathbb{Q}}$ as a…
Motivated by the theory of representability classes by submanifolds, we study the rational homotopy theory of Thom spaces of vector bundles. We first give a Thom isomorphism at the level of rational homotopy, extending work of Felix-Oprea-Tanré by removing hypothesis of nilpotency of the base and orientability of the bundle. Then, we use the theory of weight decompositions in rational homotopy to give a criterion of representability of classes by submanifolds, generalising results of Papadima. Along the way, we study issues of formality and give formulas for Massey products of Thom spaces. Las…
A quasi-schemoid is a small category with a particular partition of the set of morphisms. We define a homotopy relation on the category of quasi-schemoids and study its fundamental properties. As a homotopy invariant, the homotopy set of self-homotopy equivalences on a quasi-schemoid is introduced. The main theorem enables us to deduce that the homotopy invariant for the quasi-schemoid induced by a finite group is isomorphic to the automorphism group of the given group.
An algorithmic computation of the set of unpointed stable homotopy classes of equivariant fibrewise maps was described in a recent paper of the author and his collaborators. In the present paper, we describe a simplification of this computation that uses an abelian heap structure on this set that was observed in another paper of the author. A heap is essentially a group without a choice of its neutral element; in addition, we allow it to be empty.
We prove that, for nice classes of infinite-dimensional smooth groups G, natural constructions in smooth topology and symplectic topology yield homotopically coherent group actions of G. This yields a bridge between infinite-dimensional smooth groups and homotopy theory. The result relies on two computations: One showing that the diffeological homotopy groups of the Milnor classifying space BG are naturally equivalent to the (continuous) homotopy groups, and a second showing that a particular strict category localizes to yield the homotopy type of BG. We then prove a result in symplectic geome…
We prove that for any homotopy type $X$, there is an abstract elementary class $\mathcal{C}$, with joint embedding, almagamation and no maximal models such that the classifying space realizes the homotopy type $X$. We provide a few explicit examples.
Let M be a smooth manifold which is homeomorphic to the n-fold product of S^k, where k is odd. There is an induced homomorphism from the group of diffeomorphisms of M to the automorphism group of H k (M ; Z). We prove that the image of this homomorphism contains a congruence subgroup of SL_n (Z) whenever n is at least 3.
Homology of the group Aut(F_n) of automorphisms of a free group on n generators is known to be independent of n in a certain stable range. Using tools from homotopy theory, we prove that in this range it agrees with homology of symmetric groups. In particular, Aut(F_n) has no stable rational homology, settling a conjecture of Hatcher and Vogtmann.
Using the machinery of etale homotopy theory a' la Artin-Mazur we determine the etale homotopy types of moduli stacks over $\bar{\Q}$ parametrizing families of algebraic curves of genus g greater than 1 endowed with an action of a finite group G of automorphisms, which comes with a fixed embedding in the mapping class group, such that in the associated complex analytic situation the action of G is precisely the differentiable action induced by this specified embedding of G in the mapping class group.
In this article we build a Quillen model category structure on the category of sequentially complete l.m.c.-C*-algebras such that the corresponding homotopy classes of maps Ho(A,B) for separable C*-algebras A and B coincide with the Kasparov groups KK(A,B). This answers an open question posed by Mark Hovey about the possibility of describing KK-theory for C*-algebras using the language of Quillen model categories.
We show that a uniform probability measure supported on a specific set of piecewise linear loops in a non-trivial free homotopy class in a multi-punctured plane is overwhelmingly concentrated around loops of minimal lengths. Our approach is based on extending Mogulskii's theorem to closed paths, which is a useful result of independent interest. In addition, we show that the above measure can be sampled using standard Markov Chain Monte Carlo techniques, thus providing a simple methods for approximating shortest loops.
In this note we clarify the relevance of ``connections up to homotopy'' to the theory of characteristic classes. We have already remarked \cite{Crai} that such connections up to homotopy can be used to compute the classical Chern characters. Here we present a slightly different argument for this, and then proceed with the discussion of the flat (secondary) characteristic classes. As an application, we clarify the relation between the two different approaches to characteristic classes of algebroids (and of Poisson manifolds in particular): we explain that the intrinsic characteristic classes ar…
Two locally generic maps f,g : M^n --> R^{2n-1} are regularly homotopic if they lie in the same path-component of the space of locally generic maps. Our main result is that if n is not 3 and M^n is a closed n-manifold then the regular homotopy class of every locally generic map f : M^n --> R^{2n-1} is completely determined by the number of its singular points provided that f is singular (i.e., f is not an immersion).
We prove that in dimensions not equal to 4, 5, or 7, the homology and homotopy groups of the classifying space of the topological group of diffeomorphisms of a disk fixing the boundary are finitely generated in each degree. The proof uses homological stability, embedding calculus and the arithmeticity of mapping class groups. From this we deduce similar results for the homeomorphisms of $R^n$ and various types of automorphisms of 2-connected manifolds.
In this paper we generalize the notion of regular homotopy of immersions of a closed connected n-manifold into R^{2n-1} to locally generic mappings. The main result is that if n=2 then two mappings with singularities are regularly homotopic if and only if they have the same number of cross-cap (or Whitney-umbrella) singularities. As an application, we get a description of the path-components of the space of those immersions of a surface into R^4 whose projections into R^3 are locally generic.
We construct cohomology classes in the space of knots by considering a bundle over this space and "integrating along the fiber" classes coming from the cohomology of configuration spaces using a Pontrjagin-Thom construction. The bundle we consider is essentially the one considered by Bott and Taubes, who integrated differential forms along the fiber to get knot invariants. By doing this "integration" homotopy-theoretically, we are able to produce integral cohomology classes. We then show how this integration is compatible with the homology operations on the space of long knots, as studied by B…
In the paper we investigate the degree and the homotopy theory of Orlicz-Sobolev mappings $W^{1,P}(M,N)$ between manifolds, where the Young function $P$ satisfies a divergence condition and forms a slightly larger space than $W^{1,n}$, $n=\dim M$. In particular, we prove that if $M$ and $N$ are compact oriented manifolds without boundary and $\dim M=\dim N=n$, then the degree is well defined in $W^{1,P}(M,N)$ if and only if the universal cover of $N$ is not a rational homology sphere, and in the case $n=4$, if and only if $N$ is not homeomorphic to $S^4$.
We construct spectral sequences for computing the cohomology of automorphism groups of formal groups with complex multiplication by a $p$-adic number ring. We then compute the cohomology of the group of automorphisms of a height four formal group law which commute with complex multiplication by the ring of integers in the field $\mathbb{Q}_p(\sqrt{p})$, for primes $p>5$. This is a large subgroup of the height four strict Morava stabilizer group. The group cohomology of this group of automorphisms turns out to have cohomological dimension $8$ and total rank $80$. We then run the $K(4)$-local $E…
We develop methods for computing the restriction map from the cohomology of the automorphism group of a height $dn$ formal group law (i.e., the height $dn$ Morava stabilizer group) to the cohomology of the automorphism group of an $A$-height $n$ formal $A$-module, where $A$ is the ring of integers in a degree $d$ field extension of $\mathbb{Q}_p$. We then compute this map for the quadratic extensions of $\mathbb{Q}_p$ and the height $2$ Morava stabilizer group at primes $p>3$. We show that the these automorphism groups of formal modules are closed subgroups of the Morava stabilizer groups, and…
We study the notion of $p$-quasihomotopy in Newtonian classes of mappings and link it to questions concerning lifts of Newtonian maps, under the assumption that the target space is nonpositively curved. Using this connection we prove that every $p$-quasihomotopy class of Newtonian maps contains a minimizer of the $p$-energy if the target has hyperbolic fundamental group.
Let G be a finite group given in one of the forms listed in the title with period 2d and X(n) an n-dimensional CW-complex with the homotopy type of an n-sphere. We study the automorphism group Aut(G) to compute the number of distinct homotopy types of orbit spaces X(2dn-1)/μwith respect to free and cellular G-actions μon all CW-complexes X(2dn-1). At the end, the groups E(X(2dn-1)/μ) of self homotopy equivalences of orbit spaces X(2dn-1)/μassociated with free and cellular G-actions μon X(2dn-1) are determined.
By analyzing how the Borel regulator classes vanish on various groups related to $\mathrm{GL}(n,\mathrm{Z})$, we define three series of secondary characteristic classes for subgroups of automorphism groups of free groups. The first case is the $\mathrm{IA}$-automorphism groups and we show that our classes coincide with higher $\mathrm{FR}$ torsions due to Igusa. The second case is the mapping class groups and our classes also turn out to be his higher torsions which are non-zero multiples of the Mumford-Morita-Miller classes of even indices. Our construction gives new group cocycles for these …