Smash products for secondary homotopy groups

Smash products of E(1)-local spectra at an odd prime

In 1996, Franke constructed a purely algebraic category that is equivalent as a triangulated category to the E(n)-local stable homotopy category for n^2+n < 2p-2. The two categories are not Quillen equivalent, and his proof uses systems of triangulated diagram categories rather than model categories. Our main result is that in the case n=1 Franke's functor maps the derived tensor product to the smash product. It can however not be an associative equivalence of monoidal categories. The first part of our paper sets up a monoidal version of Franke's systems of triangulated diagram categories and …

Secondary homotopy groups

Secondary homotopy groups supplement the structure of classical homotopy groups. They yield a track functor on the track category of pointed spaces compatible with fiber sequences, suspensions and loop spaces. They also yield algebraic models of homotopy types with homotopy groups concentrated in two consecutive dimensions.

The symmetric action on secondary homotopy groups

We show that the symmetric track group, which is an extension of the symmetric group associated to the second Stiefel- Withney class, acts as a crossed module on the secondary homotopy group of a pointed space. An application is given to cup-one products in unstable homotopy groups of spheres, generalizing a formula of Barratt-Jones-Mahowald.

The homotopy type of the polyhedral product for shifted complexes

We prove a conjecture of Bahri, Bendersky, Cohen and Gitler: if K is a shifted simplicial complex on n vertices, X_1,..., X_n are spaces and CX_i is the cone on X_i, then the polyhedral product determined by K and the pairs (CX_i,X_i) is homotopy equivalent to a wedge of suspensions of smashes of the X_i's. This generalises earlier work of the two authors in the special case where each X_i is a loop space. Connections are made to toric topology, combinatorics, and classical homotopy theory.

The algebra of secondary homotopy operations in ring spectra

The primary algebraic model of a ring spectrum is the ring of homotopy groups. We introduce the secondary model which has the structure of a secondary analogue of a ring. This new algebraic model determines Massey products and cup-one squares. As an application we obtain new derivations of the homotopy ring.

Binary Operations for Homotopy Groups with Coefficients

We define and study binary operations for homotopy groups with coefficients. We give conditions to prove that certain binary operations are the homomorphic image of the generalized Whitehead product. This allows carrying over properties of the generalized Whitehead product to these operations. We discuss two classes of binary operations, the Whitehead products and the Torsion products. We introduce a new class of operations called Ext operations and determine some of its properties. We compare the Torsion product to the Whitehead product in a special case. We prove that the smash product of tw…

Multiplicative parametrized homotopy theory via symmetric spectra in retractive spaces

In order to treat multiplicative phenomena in twisted (co)homology, we introduce a new point-set level framework for parametrized homotopy theory. We provide a convolution smash product that descends to the corresponding infinity-categorical product and allows for convenient constructions of commutative parametrized ring spectra. As an immediate application, we compare various models for generalized Thom spectra. In a companion paper, this approach is used to compare homotopical and operator algebraic models for twisted K-theory.

Homotopy groups of homotopy fixed point spectra associated to E_n

We compute the mod(p) homotopy groups of the continuous homotopy fixed point spectrum E_2^{hH_2} for p>2, where E_n is the Landweber exact spectrum whose coefficient ring is the ring of functions on the Lubin-Tate moduli space of lifts of the height n Honda formal group law over F_{p^n}, and H_n is the subgroup WF^x_{p^n} wreath product Gal(F_{p^n}/F_p) of the extended Morava stabilizer group G_n. We examine some consequences of this related to Brown-Comenetz duality and to finiteness properties of homotopy groups of K(n)_*-local spectra. We also indicate a plan for computing pi_*(E_n^{hH_n} s…

论悬浮四元数射影平面的同伦群及其应用

On the Homotopy Groups of the Suspended Quaternionic Projective Plane and Applications

本文计算了悬浮四元数射影平面同伦群在特定范围内的2、3分量，并应用于局部化悬浮四元数射影空间的CW复形分类及自smash积分解。

On the homotopy groups of symmetric spectra

The symmetric spectra introduced by Hovey, Shipley and Smith are a convenient model for the stable homotopy category with a nice associative and commutative smash product on the point set level and a compatible Quillen closed model structure. About the only disadvantage of this model is that the stable equivalences cannot be defined by inverting those morphisms which induce isomorphisms on homotopy groups, because this would leave too many homotopy types. In this sense the naively defined homotopy groups are often `wrong`, and then their precise relationship to the `true` homotopy groups (i.e.…

Secondary derived functors and the Adams spectral sequence

Classical homological algebra takes place in additive categories. In homotopy theory such additive categories arise as homotopy categories of ``additive groupoid enriched categories'', in which a secondary analog of homological algebra can be performed. We introduce secondary chain complexes and secondary resolutions leading to the concept of secondary derived functors. As a main result we show that the E_3-term of the Adams spectral sequence can be expressed as a secondary derived functor. This result can be used to compute the E_3-term explicitly by an algorithm.

Upper triangular matrices and operations in odd primary connective K-theory

We prove analogues for odd primes of results of Snaith and Barker-Snaith. Let l denote the p-complete connective Adams summand and consider the group of left l-module automorphisms of l smash l in the stable homotopy category which induce the identity on mod p homology. We prove a group isomorphism between this group and a certain group of infinite invertible upper triangular matrices with entries in the p-adic integers. We determine information about the matrix corresponding to the automorphism 1 smash Psi^q, where Psi^q is the Adams operation and q is an integer which generates the p-adic un…

Secondary Brown-Kervaire Quadratic forms and $π$-manifolds

In this paper we define a secondary Brown-Kervaire quadratic forms. Among the applications we obtain a complete classification of (n-2)-connected 2n-dimensional framed manifolds up to homeomorphism and homotopy equivalence, . In particular, we prove that the homotopy type of such manifolds determine their homeomorphism type.

The Brown-Comenetz dual of the K(2)-local sphere at the prime 3

We calculate the homotopy type of the Brown-Comenetz dual $I_2$ of the K(2)-local sphere at the prime 3 and show that there is a twisting by a non-trivial element $P$ in the exotic part of the Picard group. We give a complete characterization of $P$ as well. The main technique is to give a sequence of calculations of the homotopy groups of elements of the Picard group after smashing with the Smith-Toda complex V(1).

Dualization of the Hopf algebra of secondary cohomology operations and the Adams spectral sequence

We describe the dualization of the algebra of secondary cohomology operations in terms of generators extending the Milnor dual of the Steenrod algebra. In this way we obtain explicit formulae for the computation of the E_3-term of the Adams spectral sequence converging to the stable homotopy groups of spheres.

A chain rule in the calculus of homotopy functors

We formulate and prove a chain rule for the derivative, in the sense of Goodwillie, of compositions of weak homotopy functors from simplicial sets to simplicial sets. The derivative spectrum dF(X) of such a functor F at a simplicial set X can be equipped with a right action by the loop group of its domain X, and a free left action by the loop group of its codomain Y = F(X). The derivative spectrum d(E o F)(X)$ of a composite of such functors is then stably equivalent to the balanced smash product of the derivatives dE(Y) and dF(X), with respect to the two actions of the loop group of Y. As an …

A conjecture on homotopy groups of spheres, details on the algebra of higher cohomology operations

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.

Towards the homotopy of the $K(2)$-local Moore spectrum at $p=2$

Let V(0) be the mod 2 Moore spectrum and let C be the supersingular elliptic curve over F_4 defined by the Weierstrass equation y^2+y=x^3. Let F_C be its formal group law and E_C be the spectrum classifying the deformations of F_C. The group of automorphisms of F_C, which we denote by S_C, acts on E_C. Further, S_C admits a surjective homomorphism to the 2-adic integers whose kernel we denote by S_C^1. The cohomology of S_C^1 with coefficients in (E_C)_*V(0) is the E_2-term of a spectral sequence converging to the homotopy groups of the homotopy fix points of E_C smash V(0) with respect to S_C…

同伦类型论中的 Hurewicz 定理

The Hurewicz theorem in Homotopy Type Theory

本文在同伦类型论中证明了 Hurewicz 定理，建立了同伦群阿贝尔化与同调之间的自然同构，并探讨了 smash 乘积连通性等性质，将空间相关结果推广至所有 $\infty$-topos。

Connections up to homotopy and characteristic classes

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…

On the homotopy groups of spheres in homotopy type theory

The goal of this thesis is to prove that $π_4(S^3) \simeq \mathbb{Z}/2\mathbb{Z}$ in homotopy type theory. In particular it is a constructive and purely homotopy-theoretic proof. We first recall the basic concepts of homotopy type theory, and we prove some well-known results about the homotopy groups of spheres: the computation of the homotopy groups of the circle, the triviality of those of the form $π_k(S^n)$ with $k < n$, and the construction of the Hopf fibration. We then move to more advanced tools. In particular, we define the James construction which allows us to prove the Freudenthal s…

等变稳定同伦理论中的周期现象

Periodic phenomena in equivariant stable homotopy theory

本文基于前人研究，构建了有限阿贝尔 p-群上的 A-等变色同伦理论框架，引入了 v_n-自映射与色塔的等变类比，并在 A = C_2 情况下将其与 Mahowald 不变量中的红移现象相联系。

Secondary Invariants for String Bordism and tmf

Using spectral invariants of Dirac operators we construct a secondary version of the Witten genus, a bordism invariant of string manifolds in dimensions $4m-1$. We prove a secondary index theorem which relates this global-analytic construction with its homotopy-theoretic analog. The latter will be calculated through its factorization over topological modular forms.

Symmetric monoidal noncommutative spectra, strongly self-absorbing $C^*$-algebras, and bivariant homology

Continuing our project on noncommutative (stable) homotopy we construct symmetric monoidal $\infty$-categorical models for separable $C^*$-algebras $\mathtt{SC^*_\infty}$ and noncommutative spectra $\mathtt{NSp}$ using the framework of Higher Algebra due to Lurie. We study smashing (co)localizations of $\mathtt{SC^*_\infty}$ and $\mathtt{NSp}$ with respect to strongly self-absorbing $C^*$-algebras. We analyse the homotopy categories of the localizations of $\mathtt{SC^*_\infty}$ and give universal characterizations thereof. We construct a stable $\infty$-categorical model for bivariant connect…

尖点限制与带层级结构的 Bunke--Naumann 不变量

Cusp restrictions and Bunke--Naumann invariants with level structure

本文通过尖点限制构造次级不变量，证明带层级结构的Bunke--Naumann不变量在非平凡层级上消失，并利用同伦与模形式方法给出完整证明。