Source author record

Zhouli Xu

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.AT math.AG math.CT math.GT math.KT

Catalog footprint

Research overview

7works

5topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2023arXiv

Stable homotopy groups of spheres: From dimension 0 to 90

Using techniques in motivic homotopy theory, especially the theorem of Gheorghe, the second and the third author on the isomorphism between motivic Adams spectral sequence for $Cτ$ and the algebraic Novikov spectral sequence for $BP_*$ , we compute the classical and motivic stable homotopy groups of spheres from dimension 0 to 90, except for some carefully enumerated uncertainties.

preprint2020arXiv

Stable homotopy groups of spheres

We discuss the current state of knowledge of stable homotopy groups of spheres. We describe a new computational method that yields a streamlined computation of the first 61 stable homotopy groups, and gives new information about the stable homotopy groups in dimensions 62 through 90. The method relies more heavily on machine computations than previous methods, and is therefore less prone to error. The main mathematical tool is the Adams spectral sequence.

preprint2020arXiv

The special fiber of the motivic deformation of the stable homotopy category is algebraic

For each prime $p$ , we define a $t$ -structure on the category $\widehat{S^{0,0}}/τ\text{-}\mathbf{Mod}_{harm}^b$ of harmonic $\mathbb{C}$ -motivic left module spectra over $\widehat{S^{0,0}}/τ$ , whose MGL-homology has bounded Chow-Novikov degree, such that its heart is equivalent to the abelian category of $p$ -completed $BP_*BP$ -comodules that are concentrated in even degrees. We prove that $\widehat{S^{0,0}}/τ\text{-}\mathbf{Mod}_{harm}^b$ is equivalent to $\mathcal{D}^b({{BP}_*{BP}\text{-}\mathbf{Comod}}^{ev})$ as stable $\infty$ -categories equipped with $t$ -structures. As an application, for each prime $p$ , we prove that the motivic Adams spectral sequence for $\widehat{S^{0,0}}/τ$ , which converges to the motivic homotopy groups of $\widehat{S^{0,0}}/τ$ , is isomorphic to the algebraic Novikov spectral sequence, which converges to the classical Adams-Novikov $E_2$ -page for the sphere spectrum $\widehat{S^0}$ . This isomorphism of spectral sequences allows Isaksen and the second and third authors to compute the stable homotopy groups of spheres at least to the 90-stem, with ongoing computations into even higher dimensions.

preprint2019arXiv

On the E2-term of the bo-Adams spectral sequence

The E_1-term of the (2-local) bo-based Adams spectral sequence for the sphere spectrum decomposes into a direct sum of a v_1-periodic part, and a v_1-torsion part. Lellmann and Mahowald completely computed the d_1-differential on the v_1-periodic part, and the corresponding contribution to the E_2-term. The v_1-torsion part is harder to handle, but with the aid of a computer it was computed through the 20-stem by Davis. Such computer computations are limited by the exponential growth of v_1-torsion in the E_1-term. In this paper, we introduce a new method for computing the contribution of the v_1-torsion part to the E_2-term, whose input is the cohomology of the Steenrod algebra. We demonstrate the efficacy of our technique by computing the bo-Adams spectral sequence beyond the 40-stem.

preprint2016arXiv

The algebraic Atiyah-Hirzebruch spectral sequence of real projective spectra

In this note, we use Curtis's algorithm and the Lambda algebra to compute the algebraic Atiyah-Hirzebruch spectral sequence of the suspension spectrum of $\mathbb{R}P^\infty$ with the aid of a computer, which gives us its Adams $E_2$ -page in the range of $t<72$ . We also compute the transfer map on the Adams $E_2$ -pages. These data are used in our computations of the stable homotopy groups of $\mathbb{R}P^\infty$ in [6] and of the stable homotopy groups of spheres in [7].

preprint2014arXiv

Motivic Stable Homotopy and the Stable 51 and 52 Stems

We establish a differential $d_2(D_1)=h_0^2h_3g_2$ in the $51$ -stem of the Adams spectral sequence at the prime $2$ , which gives the first correct calculation of the stable 51 and 52 stems. This differential is remarkable since we know of no way to prove it without recourse to the motivic Adams spectral sequence. It is the last undetermined differential in the range of the first author's detailed calculations of the $n$ -stems for $n<60$ [6]. This note advertises the use of the motivic Adams spectral sequence to obtain information about classical stable homotopy groups.

preprint2014arXiv

The strong Kervaire invariant problem in dimension 62

Using a Toda bracket computation $\langle θ_4, 2, σ^2\rangle$ due to Daniel C. Isaksen [11], we investigate the $45$ -stem more thoroughly. We prove that $θ_4^2=0$ using a $4$ -fold Toda bracket. By [2], this implies that $θ_5$ exists and there exists a $θ_5$ such that $2θ_5=0$ . Based on $θ_4^2=0$ , we simplify significantly the $9$ -cell complex construction in [1] to a $4$ -cell complex, which leads to another proof that $θ_5$ exists.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.