Search arXivSearch

arXiv · 2609.03375

Generalized Telescope Conjecture

Abstract

We introduce the atomic smashing frame, extending the Balmer spectrum from tensor-triangular geometry to an arbitrary presentably symmetric monoidal $\infty$-category $\mathcal{V}$. This yields a formulation of the telescope conjecture for $\mathcal{V}$ and recovers the classical Balmer spectrum in the stable compactly-rigidly generated case. Exploiting dualizable and rigid $\infty$-categories, we establish a correspondence between smashing ideals and locally rigid localizations. This leads to a recollement theorem for smashing frames in the (pre)stable setting, together with an atomic refinement in the stable compactly-rigidly generated case. As a major application to chromatic homotopy theory, we show that the natural projections induce an embedding of the smashing frame of $\mathrm{Sp}$ into the product of the smashing frames of the monochromatic layers $\mathrm{Sp}_{T(n)}$, over all primes and heights. In particular, the spatiality of the smashing frame of $\mathrm{Sp}$ reduces entirely to that of $\mathrm{Sp}_{T(n)}$. In the unstable setting, we characterize the telescope conjecture for $\infty$-topoi in terms of smashing fields, and for connective module categories and hypercomplete connective sheaves in terms of Pierce-type conditions. Finally, we introduce the Serre smashing frame. Over a connective $\mathbb{E}_\infty$-ring $R$, this frame sits between the atomic and usual smashing frames, providing an intermediate structural layer in the study of the telescope conjecture for the connective $R$-module category.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Jiacheng Liang. 2026-09-03. Generalized Telescope Conjecture. https://arxiv.org/abs/2609.03375

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Chromatic higher semiadditivity via redshift

We give a new proof of the $\infty$-semiadditivity of $K(n)$-local spectra. The proof proceeds by induction on the height via algebraic K-theory, utilizing recent advances in the redshift conjecture, instead of using the Ravenel-Wilson computation of the Morava K-theory of Eilenberg-MacLane spaces. Along the way, we prove the higher semiadditivity of $T(n)$-local modules over the $T(n)$-localized K-theory of $K(n-1)$-local ring spectra, which suffices for the applications of higher semiadditivity to the telescope conjecture.

math.AT

Geometric realization via unoriented bordism and a counterexample to Singer's conjecture for the sixth algebraic transfer

Let $\mathscr{A}$ be the mod-2 Steenrod algebra acting in the usual way on $P_q = \mathbb{F}_2[x_1, \ldots, x_q]$, and let $QP_q = \mathbb{F}_2 \otimes_{\mathscr{A}} P_q$. Singer's algebraic transfer $Tr_q$ sends the dual of $[(QP_q)_n]^{GL(q, \mathbb{F}_2)}$ to $\operatorname{Ext}_{\mathscr{A}}^{q,q+n}(\mathbb{F}_2,\mathbb{F}_2)$; Singer conjectured that $Tr_q$ is always injective. We disprove this nearly forty-year-old conjecture at rank $q=6$, degree $n=36$. Verifying this requires computing $[(QP_6)_{36}]^{GL(6, \mathbb{F}_2)}$ exactly; to handle the resulting combinatorial complexity, we build a new Julia package \texttt{AlgebraicTransfer.jl}, coupling modular invariant theory with bit-level linear algebra over $\mathbb{F}_2$ via Steenrod-hit reductions and Kameko homomorphisms. We prove this source space is two-dimensional, strictly exceeding the known one-dimensional target $\operatorname{Ext}_{\mathscr{A}}^{6,42}(\mathbb{F}_2,\mathbb{F}_2)$, so $Tr_6$ is not injective. We also interpret the transfer kernel geometrically via unoriented bordism: $Tr_q$ factors through bordism classes over $B(\mathbb{Z}/2)^q$ whose Thom images are primitive, characterized by the vanishing of all mixed Wu numbers. Thom's representability theorem guarantees closed $36$-manifolds realizing the homological duals of the source generators, yet we show that standard models (such as the indecomposable Milnor hypersurface $H_{4,33}$, projective products, and Dold manifolds) cannot represent them. We further interpret the inverse Kameko map via Thom spaces of universal real line bundles. Validated by recovering classical Dickson invariant dimensions, this work delivers both a counterexample to Singer's conjecture and a scalable methodology for the Peterson hit problem.

math.AT

Grothendieck-Teichmüller Symmetries of Cyclic Operads and Tangles

We identify the profinite Grothendieck-Teichmüller group $\widehat{\mathsf{GT}}$ with the group of homotopy automorphisms of the profinite completion of the cyclic operad of parenthesised ribbon braids. We transport this action to a profinite cyclic $\infty$-operad of framed configuration spaces. Using the metric prop associated to the cyclic ribbon-braid operad, we also obtain a $\widehat{\mathsf{GT}}$-action on a category of framed unoriented profinite tangles, and compare its prounipotent analogue with the action of Kassel and Turaev. Finally, the rational cyclic Grothendieck-Teichmüller action gives an alternative proof of the rational formality of the cyclic framed little-disks operad.

math.AT