Dominic Leon Culver, Paul VanKoughnett
As a step towards understanding the $\mathrm{tmf}$-based Adams spectral sequence, we compute the $K(1)$-local homotopy of $\mathrm{tmf} \wedge \mathrm{tmf}$, using a small presentation of $L_{K(1)}\mathrm{tmf}$ due to Hopkins. We also describe the $K(1)$-local $\mathrm{tmf}$-based Adams spectral sequence.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
M. Mahowald, in his work on $b{\rm o}$-resolutions, constructed a $b{\rm o}$-module splitting of the spectrum $b{\rm o} \wedge b{\rm o}$ into a wedge of summands related to integral Brown-Gitler spectra. In this paper, a similar splitting of $b{\rm o} \sm tmf$ is constructed. This splitting is then used to understand the $b{\rm o}_*$-algebra structure of $b{\rm o}_* tmf$ and allows for a description of $b{\rm o}^* tmf$.
In this paper, we study the elliptic spectral sequence computing $tmf_*(\mathbb{R} P^2)$ and $tmf_* (\mathbb{R} P^2 \wedge \mathbb{C} P^2)$. Specifically, we compute all differentials and resolve exotic extensions by 2, $η$, and $ν$. For $tmf_* (\mathbb{R} P^2 \wedge \mathbb{C} P^2)$, we also compute the effect of the $v_1$-self maps of $\mathbb{R} P^2 \wedge \mathbb{C} P^2$ on $tmf$-homology.
We use the structure of the homotopy groups of the connective spectrum tmf of topological modular forms and the elliptic and Adams-Novikov spectral sequences to compute the homotopy groups of the non-connective version, Tmf, of that spectrum. This is done separately for the localizations at 2, 3 and higher primes.
This paper contains a complete computation of the homotopy ring of the spectrum of topological modular forms constructed by Hopkins and Miller. The computation is done away from 6, and at the (interesting) primes 2 and 3 separately, and in each of the latter two cases, a sequence of algebraic Bockstein spectral sequences is used to compute the E_2 term of the elliptic Adams-Novikov spectral sequence from the elliptic curve Hopf algebroid. In a further step, all the differentials in the latter spectral sequence are determined. The result of this computation is originally due to Hopkins and Maho…
The $2$-primary homotopy $β$-family, defined as the collection of Mahowald invariants of Mahowald invariants of $2^i$, $i \geq 1$, is an infinite collection of periodic elements in the stable homotopy groups of spheres. In this paper, we calculate $\mathit{tmf}$-based approximations to this family. Our calculations combine an analysis of the Atiyah-Hirzebruch spectral sequence for the Tate construction of $\mathit{tmf}$ with trivial $C_2$-action and Behrens' filtered Mahowald invariant machinery.
The purpose of this short article is to record the computation of the homotopy groups of 3-local $\mathrm{tmf}$ via the Adams spectral sequence.
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.
The 2-primary Hurewicz image of tmf
本文通过改进的 Adams 谱序列、tmf-分解及 M(8,v_1^8) 上的 v_2^32-自映射，确定了 2-主 tmf-Hurewicz 同态的像，并生成球面稳定同伦群中的 192-周期族。
Stable Adams operations on $RO(C_2)$-graded homotopy groups
本文针对Atiyah实K理论的$C_2$谱$\boldsymbol{\text{KR}}$与带$Γ_1(3)$层结构的拓扑模形式$C_2$谱$\boldsymbol{\text{TMF}}_1(3)$，计算了其$RO(C_2)$分次同伦群上的$C_2$等变稳定Adams运算。
We compute the mod $2$ homology of the spectrum $\mathrm{tmf}$ of topological modular forms by proving a 2-local equivalence $\mathrm{tmf} \wedge DA(1) \simeq \mathrm{tmf}_1(3) \simeq BP\left \langle 2\right\rangle$, where $DA(1)$ is an eight cell complex whose cohomology "doubles" the subalgebra $\mathcal{A}(1)$ of the Steenrod algebra generated by $\mathrm{Sq}^1$ and $\mathrm{Sq}^2$. To do so, we give, using the language of stacks, a modular description of the elliptic homology of $DA(1)$ via level three structures. We briefly discuss analogs at odd primes and recover the stack-theoretic des…
The reader of doi:10.1016/j.topol.2010.08.006 might conjecture that Δ(\barΠ_n)/G is homotopy equivalent to a wedge of spheres for any n>=3 and any subgroup G<S_n. We disprove this by showing that Δ(\barΠ_p)/C_p is not homotopy equivalent to a wedge of spheres for any prime number p>=5.
In this paper we use the approach introduced in an earlier paper by Goerss, Henn, Mahowald and Rezk in order to analyze the homotopy groups of L_{K(2)}V(0), the mod-3 Moore spectrum V(0) localized with respect to Morava K-theory K(2). These homotopy groups have already been calculated by Shimomura. The results are very complicated so that an independent verification via an alternative approach is of interest. In fact, we end up with a result which is more precise and also differs in some of its details from that of Shimomura. An additional bonus of our approach is that it breaks up the result …
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.
In this paper, we study the homotopy groups of a shrinking wedge $X$ of a sequence $\{X_j\}$ of non-simply connected CW-complexes. Using a combination of generalized covering space theory and shape theory, we construct a canonical homomorphism $$Θ:π_n(X)\to\prod_{j\in\mathbb{N}}\bigoplus_{π_1(X)/π_1(X_j)}π_n(X_j),$$ characterize its image, and prove that $Θ$ is injective whenever each universal cover $\widetilde{X}_j$ is $(n-1)$-connected. These results (1) provide a characterization of the $n$-th homotopy group of the shrinking wedge of copies of $\mathbb{RP}^n$, (2) provide a characterizatio…
The order of the group of self-homotopy equivalence of wedge spaces
本文研究楔和空间自同伦等价群的阶，在可约性条件下将一般有限楔和的等价群分解为子群乘积，并给出相应悬挂楔和的阶的计算公式。
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…
We compute the homotopy groups of the $C_2$ fixed points of equivariant topological modular forms at the prime $2$ using the descent spectral sequence. We then show that as a $\mathrm{TMF}$-module, it is isomorphic to the tensor product of $\mathrm{TMF}$ with an explicit finite cell complex.
Higher chromatic Thom spectra via unstable homotopy theory
本文通过推广Hopkins-Mahowald定理，在T(n)、A和B上构造了BP⟨n-1⟩、ko和tmf等Thom谱，揭示了谱级别分裂与不稳定同伦理论中EHP序列的联系，并为幂零定理提供了新视角。
We show that the map $π_\ast \mathrm{MString}\to π_\ast \mathrm{tmf}$ induced by the Ando-Hopkins-Rezk orientation is surjective. This proves an unpublished claim of Hopkins and Mahowald. We do so by constructing an $\mathbf{E}_1$-ring $B$ and a map $B \to \mathrm{MString}$ such that the composite $B \to \mathrm{MString} \to \mathrm{tmf}$ is surjective on homotopy. Applications to differential topology, and in particular to Hirzebruch's prize question, are discussed.
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.
Computations of topological Jacobi forms
本文通过TMF-细胞分解计算拓扑雅可比形式的同调群，并利用细胞结构识别所有微分。
We introduce general methods to analyse the Goodwillie tower of the identity functor on a wedge $X \vee Y$ of spaces (using the Hilton-Milnor theorem) and on the cofibre $\mathrm{cof}(f)$ of a map $f: X \rightarrow Y$. We deduce some consequences for $v_n$-periodic homotopy groups: whereas the Goodwillie tower is finite and converges in periodic homotopy when evaluated on spheres (Arone-Mahowald), we show that neither of these statements remains true for wedges and Moore spaces.
$\mathrm{H}\mathbb{F}_2$-synthetic homotopy groups of topological modular forms
本文计算了拓扑模形式 $2$-完备化在 $\mathrm{H}\mathbb{F}_2$-合成同伦范畴中的 Adams 谱序列及隐藏扩张的合成版本，进而揭示其双分次同伦环结构。
We correct the proof of the main theorem of our paper of the same title (Topology, 34, no.3, 633-649, 1995).
The Čech homotopy groups of a shrinking wedge of spheres
本文研究了缩小球面楔形的Čech同调群，推导了其同构关系，并探讨了自然同态的像结构。
For a connected CW-complex, we let $SNT(X)$ be the set of all homotopy types $[Y]$ such that the Postnikov approximations $X^{(n)}$ and $Y^{(n)}$ of $X$ and $Y$, respectively, are homotopy equivalent for all positive integers $n$. In 1992, McGibbon and Møller (\cite[page 287]{MM}) raised the following question: Is $SNT(Σ\mathbb C P^\infty) = *$ or not? In this article, we give an answer to the more generalized version of this query: The set of all the same $n$-types of the suspended wedge sum of the Eilenberg-MacLane spaces of various types of both even and odd integers is the set which consis…
We compute the 5-local cohomology of a 5-local analogue of the Weierstrass Hopf algebroid used to compute $tmf$ homology. We compute the Adams-Novikov differentials in the cohomology, giving the homotopy, V(0)-homology, and V(1)-homology of the putative spectrum $eo_4$. We also link this computation to the homotopy of the higher real $K$-theory spectrum $EO_4$.
The aim of this paper is to give a (discrete) Morse theoretic proof of the fact that the $k$-th skeleton of the flag complex $\mathcal{F}$, associated to the lattice of subspaces of a finite dimensional vector space, is homotopy equivalent to a wedge of spheres of dimension $\min\{k,\dim(\mathcal{F})\}$. The tight control provided by Morse theoretic methods allows us to give an explicit formula for the number of spheres appearing in each of these wedge summands.
We study modular approximations Q(l), l = 3,5, of the K(2)-local sphere at the prime 2 that arise from l-power degree isogenies of elliptic curves. We develop Hopf algebroid level tools for working with Q(l) and record Hill, Hopkins, and Ravenel's computation of the homotopy groups of TMF_0(5). Using these tools and formulas of Mahowald and Rezk for Q(3) we determine the image of Shimomura's 2-primary divided beta-family in the Adams-Novikov spectral sequences for Q(3) and Q(5). Finally, we use low-dimensional computations of the homotopy of Q(3) and Q(5) to explore the role of these spectra a…
The $\mathbb C$-motivic Adams-Novikov spectral sequence for topological modular forms
本文分析了 $\mathbb{C}$-motivic 模形式谱 $\mathit{mmf}$ 及经典拓扑模形式谱 $\mathit{tmf}$ 的 Adams-Novikov 谱序列，主要采用纯代数技术，并解决了 $\mathit{tmf}$ 同伦群乘法结构的一个遗留细节。
Let n \geq 1 and let p be any prime. Also, let E_n be the Lubin-Tate spectrum, G_n the extended Morava stabilizer group, and K(n) the nth Morava K-theory spectrum. Then work of Devinatz and Hopkins and some results due to Behrens and the first author of this note, show that if X is a finite spectrum, then the localization L_{K(n)}(X) is equivalent to the homotopy fixed point spectrum (L_{K(n)}(E_n \wedge X))^{hG_n}, which is formed with respect to the continuous action of G_n on L_{K(n)}(E_n \wedge X). In this note, we show that this equivalence holds for any (S-cofibrant) spectrum X. Also, we…
The $\operatorname{E}_2^{hC_6}$-homology of $\mathbb{R}P^2$ and $\mathbb{R}P^2 \wedge \mathbb{C}P^2$
本文利用同伦不动点谱序列，计算了素数2处高度2的Morava E-theory下 $\operatorname{E}_2^{hC_6}$ 与 $\mathbb{R}P^2$ 及 $\mathbb{R}P^2 \wedge \mathbb{C}P^2$ 碎积的同伦群。
The homological slice spectral sequence in motivic and Real bordism
本文在motivic与Real配边中引入收敛于全局截面谱模2同调的切片谱序列，完整计算了$m\le 3$情形，并导出了预测的Wood型分裂。
On the weak homotopy types of small finite spaces
本文证明了具有12个或更少点的连通有限拓扑空间（或连通有限偏序集的阶复形）具有球束的弱同伦类型。
Realizing wedges of Moore spaces as classifying spaces of finite semigroups
针对Fiedorowicz提出的猜想，证明有限生成阿贝尔群的单连通Moore空间的有限楔和同伦等价于有限半群的分类空间，表明仅同调群无法排除有限单连通CW复形等价于有限半群分类空间的可能。
We show that the independence complexes of generalised Mycielskian of complete graphs are homotopy equivalent to a wedge sum of spheres, and determine the number of copies and the dimensions of these spheres. We also prove that the independence complexes of categorical product of complete graphs are wedge sum of circles, upto homotopy. Further, we show that if we perturb a graph $G$ in a certain way, then the independence complex of this new graph is homotopy equivalent to the suspension of the independence complex of $G$.
We analyze in homological terms the homotopy fixed point spectrum of a T-equivariant commutative S-algebra R. There is a homological homotopy fixed point spectral sequence with E^2_{s,t} = H^{-s}_{gp}(T; H_t(R; F_p)), converging conditionally to the continuous homology H^c_{s+t}(R^{hT}; F_p) of the homotopy fixed point spectrum. We show that there are Dyer-Lashof operations beta^epsilon Q^i acting on this algebra spectral sequence, and that its differentials are completely determined by those originating on the vertical axis. More surprisingly, we show that for each class x in the $^{2r}-term …
Let $\ell$ be a prime and $q = p^ν$ where $p$ is a prime different from $\ell$. We show that the $\ell$-completion of the $n$th stable homotopy group of spheres is a summand of the $\ell$-completion of the $(n, 0)$ motivic stable homotopy group of spheres over the finite field with $q$ elements $F_q$. With this, and assisted by computer calculations, we are able to explicitly compute the two-complete stable motivic stems $π_{n, 0}(F_q)^{\wedge}_2$ for $0\leq n\leq 18$. Additionally, we compute $π_{19, 0}(F_q)^{\wedge}_2$ and $π_{20, 0}(F_q)^{\wedge}_2$ when $q \equiv 1 \bmod 4$ assuming Morel'…
We consider a certain class of simplicial complexes which includes the independence complexes of forests. We show that if a simplicial complex $K$ belongs to this class, then the polyhedral join $\mathcal{Z}^*_{K}(\underline{X}, \emptyset)$ is homotopy equivalent to a wedge sum of CW complexes of the form $Σ^r X_{i_1} * X_{i_2} * \cdots * X_{i_k}$, where $\underline{X}$ is a family $\{X_i\}_{i \in V(K)}$ of CW complexes and $Σ$ denotes the unreduced suspension. This result is applied to study the homotopy type of the independence complex of the lexicographic product $G[H]$ of a graph $H$ over …
We study the homotopy types of moment-angle complexes, or equivalently, of complements of coordinate subspace arrangements. The overall aim is to identify the simplicial complexes K for which the corresponding moment-angle complex Z_K has the homotopy type of a wedge of spheres or a connected sum of sphere products. When K is flag, we identify in algebraic and combinatorial terms those K for which Z_K is homotopy equivalent to a wedge of spheres, and give a combinatorial formula for the number of spheres in the wedge. This extends results of Berglund and Joellenbeck on Golod rings and homotopy…
In this paper we study the relationship between the moment-angle complex Z_k and the Davis-Januskiewicz space DJ(K) for a class of complexes K named missing-face complexes. If K has n vertices we consider the homotopy fibration sequence Z_k --> DJ(K) --> M where M is a product of n copies of infinite complex projective space. We observe that for such K, Z_k is homotopy equivalent to a wedge of spheres, and then show that under this equivalence the map Z_k --> DJ(K) is homotopic to a wedge sum of higher Whitehead products and iterated Whitehead products.
In the 2-local stable homotopy category the group of left-bu-module automorphisms of bu\wedge bo which induce the identity on mod 2 homology is isomorphic to the group of infinite upper triangular matrices with entries in the 2-adic integers. We identify the conjugacy class of the matrix corresponding to 1\wedgeψ^3, where ψ^3 is the Adams operation.
We describe Bott towers as sequences of toric manifolds M^k, and identify the omniorientations which correspond to their original construction as toric varieties. We show that the suspension of M^k is homotopy equivalent to a wedge of Thom complexes, and display its complex K-theory as an algebra over the coefficient ring. We extend the results to KO-theory for several families of examples, and compute the effects of the realification homomorphism; these calculations breathe geometric life into Bahri and Bendersky's recent analysis of the Adams Spectral Sequence. By way of application we inves…
Let $p$ be a prime, $n \geq 1$, $K(n)$ the $n$th Morava $K$-theory spectrum, $\mathbb{G}_n$ the extended Morava stabilizer group, and $K(A)$ the algebraic $K$-theory spectrum of a commutative $S$-algebra $A$. For a type $n+1$ complex $V_n$, Ausoni and Rognes conjectured that (a) the unit map $i_n: L_{K(n)}(S^0) \to E_n$ from the $K(n)$-local sphere to the Lubin-Tate spectrum induces a map \[K(L_{K(n)}(S^0)) \wedge v_{n+1}^{-1}V_n \to (K(E_n))^{h\mathbb{G}_n} \wedge v_{n+1}^{-1}V_n\] that is a weak equivalence, where (b) since $\mathbb{G}_n$ is profinite, $(K(E_n))^{h\mathbb{G}_n}$ denotes a co…
We give a tool for understanding simplicial desuspension in A1-algebraic topology: we show that $X \to Ω(S^1 \wedge X)\to Ω(S^1 \wedge X \wedge X)$ is a fiber sequence up to homotopy in 2-localized A1-algebraic topology for $X = (S^1)^m \wedge G_m^{\wedge q}$ with $m>1$. It follows that there is an EHP sequence spectral sequence $$Z_{(2)} \otimes π_{n+1+i}^{A1} (S^{2n+2m+1} \wedge (G_m)^{\wedge 2q}) \Rightarrow Z_{(2)} \otimes π_{i}^{A1, s} (S^{m} \wedge (G_m)^{\wedge q}).$$
We prove that independence complex of a bipartite circle graph is homotopy equivalent to a wedge of spheres, resolving a conjecture posed by Przytycki and Silvero. As a corollary, we obtain that extreme Khovanov spectrum, $\mathcal{X}_{j_{extreme}}$ is homotopy equivalent to a wedge of spheres. In particular, the extreme Khovanov homology has no torsion.
Homotopy type of the independence complex of some categorical products of graphs
本文计算若干图范畴积独立复形的同伦型，证明了 $K_2\ imes K_3\ imes K_n$ 对应球面楔和猜想，并刻画了 $C_m\ imes K_n$ 的相关结构。
We apply a theorem of J. Lurie to produce cohomology theories associated to certain Shimura varieties of type U(1,n-1). These cohomology theories of topological automorphic forms (TAF) are related to Shimura varieties in the same way that TMF is related to the moduli space of elliptic curves. We study the cohomology operations on these theories, and relate them to certain Hecke algebras. We compute the K(n)-local homotopy types of these cohomology theories, and determine that K(n)-locally these spectra are given by finite products of homotopy fixed point spectra of the Morava E-theory E_n by f…
Among the classical variants of the Prüfer surface, some are homotopy equivalent to a CW-complex (namely, a point or a wedge of a continuum of circles) and some are not. The obstruction comes from the existence of uncountably many `infinitesimal bridges' linking two metrizable open subsurfaces inside the surface. We show that any non-metrizable surface that possesses such a system of infinitesimal bridges cannot be homotopy equivalent to a CW-complex. More than for the result on its own, we were motivated by trying to blend elementary techniques of algebraic and set-theoretic topology.
Homotopy types of Hom complexes of graph homomorphisms whose codomains are square-free
本文确定了当无向图H为无方图时，图同态Hom复形Hom(G,H)各连通分量的同伦型，证明其同伦等价于圆的楔和，并给出了算法来确定包含给定同态的连通分量的同伦型。
Shellability of 3-cut complexes of powers of cycle graphs
研究3-切割复形Δ_3(C_n^p)的壳性，证明其同调等价于多个球面的 wedge，提供显式壳序并计数生成元数量。
An analogue of Rognes' connectivity conjecture for free groups
该研究通过证明自由群的公共基复杂性具有特定同伦类型，提出了自由群自同构群上的连通性猜想类比，并提供了多种同伦等价的模型。
We show that the discretized configuration space of $k$ points in the $n$-simplex is homotopy equivalent to a wedge of spheres of dimension $n-k+1$. This space is homeomorphic to the order complex of the poset of ordered partial partitions of $\{1,...,n+1\}$ with exactly $k$ parts. We compute the exponential generating function for the Euler characteristic of this space in two different ways, thereby obtaining a topological proof of a combinatorial recurrence satisfied by the Stirling numbers of the second kind.
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。