We study connected mod p finite A_p-spaces admitting AC_n-space structures with n<p for an odd prime p. Our result shows that if n is greator than (p-1)/2, then the mod p Steenrod algebra acts on the mod p cohomology of such a space in a systematic way. Moreover, we consider A_p-spaces which are mod p homotopy equivalent to product spaces of odd dimensional spheres. Then we determine the largest integer n for which such a space admits an AC_n-space structure compatible with the A_p-space structure.
The first aim of this paper is to study the $p$-local higher homotopy commutativity of Lie groups in the sense of Sugawara. The second aim is to apply this result to the $p$-local higher homotopy commutativity of gauge groups. Although the higher homotopy commutativity of Lie groups in the sense of Williams is already known, the higher homotopy commutativity in the sense of Sugawara is necessary for this application. The third aim is to resolve the $5$-local higher homotopy non-commutativity problem of the exceptional Lie group $\mathrm{G}_2$, which has been open for a long time.
Ganea proved that the loop space of $\mathbb{C}P^n$ is homotopy commutative if and only if $n=3$. We generalize this result to that the loop spaces of all irreducible Hermitian symmetric spaces but $\mathbb{C}P^3$ are not homotopy commutative. The computation also applies to determining the homotopy nilpotency of the loop spaces of flag manifolds.
In this note we show that the second homotopy group of $B(2,G)$, the classifying space for commutativity for a compact Lie group $G$, contains a direct summand isomorphic to $π_1(G)\oplusπ_1([G,G])$, where $[G,G]$ is the commutator subgroup of $G$. It follows from a similar statement for $E(2,G)$, the homotopy fiber of the canonical inclusion $B(2,G)\hookrightarrow BG$. As a consequence of our main result we obtain that if $E(2,G)$ is 2-connected, then $[G,G]$ is simply-connected. This last result completes how the higher connectivity of $E(2,G)$ resembles the higher connectivity of $[G,G]$ fo…
For each of the groups $G = O(2), SU(2), U(2)$, we compute the integral and $\mathbb{F}_2$-cohomology rings of $B_\text{com} G$ (the classifying space for commutativity of $G$), the action of the Steenrod algebra on the mod 2 cohomology, the homotopy type of $E_\text{com} G$ (the homotopy fiber of the inclusion $B_\text{com} G \to BG$), and some low-dimensional homotopy groups of $B_\text{com} G$.
We investigate the combinatorial data arising from the classification of equivariant homotopy commutativity for cyclic groups of order $G=C_{p_1 \cdots p_n}$ for $p_i$ distinct primes. In particular, we will prove a structural result which allows us to enumerate the number of $N_\infty$-operads for $C_{pqr}$, verifying a computational result.
We study the mod-$\ell$ homotopy type of classifying spaces for commutativity, $B(\mathbb{Z}, G)$, at a prime $\ell$. We show that the mod-$\ell$ homology of $B(\mathbb{Z}, G)$ depends on the mod-$\ell$ homotopy type of $BG$ when $G$ is a compact connected Lie group, in the sense that a mod-$\ell$ homology isomorphism $BG \to BH$ for such groups induces a mod-$\ell$ homology isomorphism $B(\mathbb{Z}, G) \to B(\mathbb{Z}, H)$. In order to prove this result, we study a presentation of $B(\mathbb{Z}, G)$ as a homotopy colimit over a topological poset of closed abelian subgroups, expanding on an …
In the rational cohomology of a 1-connected space a structure of $C_{\infty}$-algebra is constructed and it is shown that this object determines the rational homotopy type
The theory of secondary chomology operations leads to a conjecture concerning the algebra of higher cohomology operations in general. This conjecture is discussed here in detail and its connection with homotopy groups of spheres and the Adams spectral sequence is described.
Homotopy theory folklore tells us that the sheaf defining the cohomology theory Tmf of topological modular forms is unique up to homotopy. Here we provide a proof of this fact, although we claim no originality for the statement. This retroactively reconciles all previous constructions of Tmf.
This article shows several new methods for proofs on Kan complexes while using them to give a compact introduction to the homotopy groups of these complexes. Then more advanced objects are studied starting with homology and the Hurewicz homomorphism. Eilenberg-Mac Lane-spaces are constructed explicitly and can then be used to define spectral cohomology. In the end the equivalence to the usual simplicial cohomology is shown.
In this article we consider a space B_{com}G assembled from commuting elements in a Lie group G first defined in [Adem, Cohen, Torres-Giese 2012]. We describe homotopy-theoretic properties of these spaces using homotopy colimits, and their role as a classifying space for transitionally commutative bundles. We prove that ZxB_{com}U is a loop space and define a notion of commutative K-theory for bundles over a finite complex X which is isomorphic to [X,ZxB_{com}U]. We compute the rational cohomology of B_{com}G for G equal to any of the classical groups U(n), SU(n) and Sp(n), and exhibit the rat…
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…
It is well known that cohomology with compact supports is not a homotopy invariant but only a proper homotopy one. However, as the proper category lacks of general categorical properties, a Brown representability theorem type does not seem reachable. However, by proving such a theorem for the so called exterior cohomology in the complete and cocomplete exterior category, we show that the $n$-th cohomology with compact supports of a given countable, locally finite, finite dimensional relative CW-complex $(X,\mathbb{R}_+)$ is naturally identified with the set $[X,K_n]^{\mathbb{R}_+}$ of exterior…
We compute the cohomology of the subalgebra $A^{C_2}(1)$ of the $C_2$-equivariant Steenrod algebra $A^{C_2}$. This serves as the input to the $C_2$-equivariant Adams spectral sequence converging to the $RO(C_2)$-graded homotopy groups of an equivariant spectrum $ko_{C_2}$. Our approach is to use simpler $\mathbb{C}$-motivic and $\mathbb{R}$-motivic calculations as stepping stones.
There are two main approaches to the problem of realizing a $Π$-algebra (a graded group $Λ$ equipped with an action of the primary homotopy operations) as the homotopy groups of a space $X$. Both involve trying to realize an algebraic free simplicial resolution $G_\bullet$ of $Λ$ by a simplicial space $W_\bullet$ and proceed by induction on the simplicial dimension. The first provides a sequence of André-Quillen cohomology classes in $H_{AQ}^{n+2}(Λ;Ω^{n}Λ)$ for $n \geq 1$ as obstructions to the existence of successive Postnikov sections for $W_\bullet$ by work of Dwyer, Kan and Stover. The se…
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.
We explain how higher homotopy operations, defined topologically, may be identified under mild assumptions with (the last of) the Dwyer-Kan-Smith cohomological obstructions to rectifying homotopy-commutative diagrams.
We identify Morita cohomology, which is a categorification of the cohmology of a topological space X, with the category of homotopy locally constant sheaves of perfect complexes on X.
We develop a simple theory of André-Quillen cohomology for commutative differential graded algebras over a field of characteristic zero. We then relate it to the homotopy groups of function spaces and spaces of homotopy self-equivalences of rational nilpotent $CW$-complexes. This puts certain results of Sullivan in a more conceptual framework.
Let $X$ be a $4$-dimensional toric orbifold. If $H^3(X)$ has a non-trivial odd primary torsion, then we show that $X$ is homotopy equivalent to the wedge of a Moore space and a CW-complex. As a corollary, given two 4-dimensional toric orbifolds having no 2-torsion in the cohomology, we prove that they have the same homotopy type if and only their integral cohomology rings are isomorphic.
Due to the deep work of Tillmann, Madsen, Weiss and Galatius, the cohomology of the stable mapping class group $\gaminf$ is known with rational or finite field coefficients. Little is known about the integral cohomology. In this paper, we study the first four cohomology groups. Also, we compute the first few steps of the Postnikov tower of $B \gaminf^+$, the Quillen plus construction applied to $B \gaminf$. Our method relies on the Madsen-Weiss theorem, a few known computations of stable homotopy groups of spheres and projective spaces and on a certain action of the binary icosahedral group on…
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…
In the paper \emph{K.~Sigmon} A strong homotopy axiom for Alexander cohomology, Proc. Amer. Math. Soc. \textbf{31:1} (1972), 271--275 it was proven that if $G$ is compact topological group or field then in the Homotopy Axiom for Alexander-Spanier-Kolmogoroff cohomology the parameter segment $[0, 1]$ can be replaced by any compact connected space $T$. The purpose of the paper is to shows that the parameter space $T$ can not be replaced in general by locally compact connected space.
In this paper, we compute the homology group and cohomology algebra of various polyhedral product objects uniformly from the point of view of diagonal tensor product. As applications, we introduce the polyhedral product method into commutative algebra and show that the homotopy types of polyhedral product spaces depend on not only the homotopy type of each summand pair but also on the character coproduct of the pair.
This short note regards an observation about the recent theory of prismatic cohomology developed by Bhatt and Scholze. In particular, by applying a functor of Mandell, we see that the étale comparison theorem in the prismatic theory reproduces the $p$-adic homotopy type for a smooth proper complex variety with good reduction mod $p$.
This paper uses a relative of BP-cohomology to prove a theorem in characteristic p algebra. Specifically, we obtain some new necessary conditions for the existence of sums-of-squares formulas over fields of characteristic p > 2. These conditions were previously known in characteristic zero by results of Davis. Our proof uses a generalized etale cohomology theory called etale BP2.
We show that that classical rational homotopy theory in the sense of Sullivan [6] can be extended compactly supported setting. This presents a simplicial version of the compactly supported de Rham complex in characteristic zero, and proving that it models singular compactly supported cohomology. This presents new avenues of possible study in proper homotopy theory, and further extensions of the ideas within the classical literature of Quillen [5] and Sullivan.
The comparison map from bounded cohomology to singular cohomology plays an important role in the study of bounded cohomology theory and its applications. The vanishing and covering theorems of Gromov and Ivanov show interesting and useful properties of the comparison map under appropriate assumptions. We discuss an approach to these theorems, based on the general homotopy-theoretic properties of the comparison map, and obtain new proofs and refined versions of these results.
The Morava stabilizer groups play a dominating role in chromatic stable ho-motopy theory. In fact, for suitable spectra X, for example all finite spectra, thechromatic homotopy type of X at chromatic level n \textgreater{} 0 and a given prime p islargely controlled by the continuous cohomology of a certain p-adic Lie group Gn,in stable homotopy theory known under the name of Morava stabilizer group oflevel n at p, with coefficients in the corresponding Morava module (En)$\star$X.
Mahowald's conjecture arose as part of a program attempting to view chromatic phenomena in stable homotopy theory through the lens of the classical Adams spectral sequence. The conjecture predicts the existence of nonzero classes in the cohomology of the finite sub-Hopf algebras $A(n)$ of the mod 2 Steenrod algebra that correspond to generators in the homotopy rings of certain periodic spectra. The purpose of this note is to present a proof of the conjecture.
Homotopy rigidity for quasitoric manifolds over a product of simplices
Shanghai Institute for Mathematics and Interdisciplinary Sciences（上海数学与交叉学科研究院）；Institute of Mathematical Science, Pusan National University（釜山国立大学数学科学研究所）；Department of Mathematics Education, Pusan National University（釜山国立大学数学教育系）；Mathematical Sciences, University of Southampton（南安普顿大学数学科学系）
We compute the continuous cohomology of the Morava stabilizer group with coefficients in Morava $E$-theory, $H^*(\mathbb{G}_2, E_t)$, at $p=2$, for $0\leq t < 12$, using the Algebraic Duality Spectral Sequence. Furthermore, in that same range, we compute the $d_3$-differentials in the homotopy fixed point spectral sequence for the $K(2)$-local sphere spectrum. These cohomology groups and differentials play a central role in $K(2)$-local stable homotopy theory.
Let $G$ be a group acting freely, properly discontinuously and cellularly on a finite dimensional $C$W-complex $Σ(2n)$ which has the homotopy type of the $2n$- sphere $\mathbb{S}^{2n}$. Then, this action induces an action of the group $G$ on the top cohomology of $Σ(2n)$. For the family of virtually cyclic groups, we classify all groups which act on $Σ(2n)$, the homotopy type of all possible orbit spaces and all actions on the top cohomology as well. \par Under the hypothesis that $\mbox{dim}\,Σ(2n)\leq 2n+1$, we study the groups with the virtual cohomological dimension $\mbox{vcd}\,G<\infty$ …
We show that H-spaces with finitely generated cohomology, as an algebra or as an algebra over the Steenrod algebra, have homotopy exponents at all primes. This provides a positive answer to a question of Stanley.
In this paper we recover Bousfield's computation of $ν_1$-periodic homotopy groups of simply connected, finite $H$-spaces from \cite{Bou99} using the techniques of Goodwillie calculus. This is done through first computing André-Quillen cohomology over the monad $\mathbb{T}$ that encodes the power operations of complex $K$-theory. Then lifting this computation to computing $K$-theory of topological André-Quillen cohomology, and then using results of Behrens and Rezk relating it back to the Bousfield-Kuhn functor. The fact that we recovers the result of Bousfield allows us to conclude $ν_1$-peri…
In this paper, using the topology on the set of shape morphisms between arbitrary topological spaces $X$, $Y$, $Sh(X,Y)$, defined by Cuchillo-Ibanez et al. in 1999, we consider a topology on the shape homotopy groups of arbitrary topological spaces which make them Hausdorff topological groups. We then exhibit an example in which $\checkπ_k^{top}$ succeeds in distinguishing the shape type of $X$ and $Y$ while $\checkπ_k$ fails, for all $k\in \Bbb{N}$. Moreover, we present some basic properties of topological shape homotopy groups, among them commutativity of $\checkπ_k^{top}$ with finite produc…
Let Rat_k be the space of based holomorphic maps from S^2 to itself of degree k. Let beta_k denote the Artin's braid group on k strings and let Bbeta_k be the classifying space of beta_k. Let C_k denote the space of configurations of length less than or equal to k of distinct points in R^2 with labels in S^1. The three spaces Rat_k, Bbeta_{2k}, C_k are all stably homotopy equivalent to each other. For an odd prime p, the F_p-cohomology ring of the three spaces are isomorphic to each other. The F_2-cohomology ring of Bbeta_{2k} is isomorphic to that of C_k. We show that for all values of k exce…
We introduce the notion of a strongly homotopy-comultiplicative resolution of a module coalgebra over a chain Hopf algebra, which we apply to proving a comultiplicative enrichment of a well-known theorem of Moore concerning the homology of quotient spaces of group actions. The importance of our enriched version of Moore's theorem lies in its application to the construction of useful cochain algebra models for computing multiplicative structure in equivariant cohomology. In the special cases of homotopy orbits of circle actions on spaces and of group actions on simplicial sets, we obtain small,…
We discuss the homotopy type and the cohomology of spaces of locally convex parametrized curves gamma: [0,1] -> S^2, i.e., curves with positive geodesic curvature. The space of all such curves with gamma(0) = gamma(1) = e_1 and gamma'(0) = gamma'(1) = e_2 is known to have three connected components X_{-1,c}, X_1, X_{-1}. We show several results concerning the homotopy type and cohomology of these spaces. In particular, X_{-1,c} is contractible, X_1 and X_{-1} are simply connected, pi_2(X_{-1}) contains a copy of Z and pi_2(X_1) contains a copy of Z^2. Also, H^n(X_{1}, R) and H^n(X_{-1}, R) are…
In this paper, we compute the BP-cohomology of complex projective Stiefel manifolds. The method involves the homotopy fixed point spectral sequence, and works for complex oriented cohomology theories. We also use these calculations and BP-operations to prove new results about equivariant maps between Stiefel manifolds.
In this paper we develop the definition of a global orthogonal spectrum and its unitary version. It relates $G-$equivariant spectra by equivariant weak equivalence in a coherent way. This category of global spectra has a model structure Quillen equivalent to the global model structure on orthogonal spectra. We also show that there is a large family of equivariant cohomology theories, including quasi-elliptic cohomology, that can be globalized in the new context. Starting from one global ring spectrum, we can construct infinitely many distinct global ring spectra. Moreover, in light of the resu…
In this paper we explore new relations between Algebraic Topology and the theory of Hopf Algebras. For an arbitrary topological space $X$, the loop space homology $H_*(ΩΣX; \coefZ)$ is a Hopf algebra. We introduce a new homotopy invariant of a topological space $X$ taking for its value the isomorphism class (over the integers) of the Hopf algebra $H_*(ΩΣX; \coefZ)$. This invariant is trivial if and only if the Hopf algebra $H_*(ΩΣX; \coefZ)$ is isomorphic to a Lie-Hopf algebra, that is, to a primitively generated Hopf algebra. We show that for a given $X$ these invariants are obstructions to t…
We extend the theory of equivariant orthogonal spectra from finite groups to profinite groups, and more generally from compact Lie groups to compact Hausdorff groups. The G-homotopy theory is "pieced together" from the G/U-homotopy theories for suitable quotient groups G/U of G; a motivation is the way continuous group cohomology of a profinite group is built out of the cohomology of its finite quotient groups. In the model category of equivariant spectra Postnikov towers are studied from a general perspective. We introduce pro-G-spectra and construct various model structures on them. A key pr…
Motivated by ideas from stable homotopy theory we study the space of strongly homotopy associative multiplications on a two-cell chain complex. In the simplest case this moduli space is isomorphic to the set of orbits of a group of invertible power series acting on a certain space. The Hochschild cohomology rings of resulting A-infinity algebras have an interpretation as totally ramified extensions of discrete valuation rings. All A-infinity algebras are supposed to be unital and we give a detailed analysis of unital structures which is of independent interest.
Let $M$ be a closed, oriented, simply connected 6-manifold. After localization away from 2, we give a homotopy decomposition of $ΣM$ in terms of spheres, Moore spaces and other recognizable spaces. As applications we calculate generalized cohomology groups of $M$ and determine the homotopy types of gauge groups of certain bundles over $M$.
We construct Lie algebras of derivations (and identify their geometrical realization) whose Maurer-Cartan sets provide moduli spaces describing the classes of homotopy types of rational spaces sharing either the same homotopy Lie algebra, homology or cohomology.
