Searcharxiv⌕ Search

arXiv subjects

Zhouli Xu

Publications and source records attributed to Zhouli Xu.

At least 19 recordsLinked to original sources
arXiv2026

Generating hypotheses along the motivic deformation

At every prime $p$, we disprove the algebraic generating hypothesis for compact objects in Hovey's stable category of $BP_*BP$-comodules and its local analog at every positive height, answering questions of Barthel and Heard. In both settings, for every $r,n\geq1$, we construct a ghost whose first $n$ composition powers are all nonzero and have exact additive order $p^r$. The same construction applies to the stable category of $E_*E$-comodules for even $p$-local Landweber exact theories $E$ that are not rational. Through the motivic deformation of Gheorghe--Wang--Xu, these examples give $Cτ$-linear counterexamples to the cellular $\mathbb{C}$-motivic generating hypothesis, with the same order and composition properties. We also construct nonzero non-$Cτ$-linear ghosts between $Cτ$-modules and a nonzero ghost on a motivic spectrum with noncontractible Betti realization.

math.AT↗
arXiv2026

Equivariant generating hypotheses for finite groups

We disprove Bohmann's equivariant generating hypothesis for every nontrivial finite group $G$, even when all $\RO(H)$-graded homotopy groups at every subgroup $H$ are tested. For each fixed $G$ and prime $p$ dividing $|G|$, we construct ghosts on finite $G$-spectra with arbitrarily long nonzero composition powers. We also prove that the homotopy-module functors are nonfull and construct non-equivalent finite $G$-spectra with isomorphic full homotopy modules. Our constructions use circle power maps and cyclic permutations of products of projective spaces, and are motivated by Ma--Xu's categorical method in the motivic setting and the projective-space power maps.

math.AT↗
arXiv2026

A Hurewicz Theorem for $RO(C_2)$-graded Equivariant Homology Governed by Vector Fields on Spheres

We determine the $RO(C_2)$-graded Hurewicz images of the $C_2$-equivariant Eilenberg--MacLane spectra $H\underline{\mathbb F_2}$, $H\underline{\mathbb Z}$ and $H\underline{A}$, where $\underline{\mathbb F_2}$ and $\underline{\mathbb Z}$ denote the constant Mackey functors with values in $\mathbb F_2$ and $\mathbb Z$, respectively, and $\underline A$ denotes the Burnside Mackey functor. Surprisingly, the answer is closely tied to the problem of vector fields on spheres: the element $\fracθ{ρ^kτ^n}$ in the negative cone of the homotopy groups of $H\underline{\mathbb F_2}$ lies in the Hurewicz image if and only if $S^n$ admits $k$ linearly independent vector fields. Moreover, using the Generalized Leibniz Rule and the Generalized Mahowald Trick introduced by arXiv:2412.10879, we show that there are nonzero Adams differentials of arbitrary length supported by filtration-$0$ elements in the genuine $C_2$-equivariant Adams spectral sequence.

math.AT↗
arXiv2025

Periodicity and finite complexity in higher real $K$-theories

In this paper, we establish periodicity results for higher real $K$-theories at all heights and for all finite subgroups of the Morava stabilizer group at the prime 2. We further analyze the $RO(G)$-periodicity lattice of the height-$h$ Lubin--Tate theory, proving new $RO(G)$-graded periodicities and explicit finiteness results for the $RO(G)$-graded homotopy groups of $E_h$. Together, these results provide a foundation for both the structural and computational study of higher real $K$-theories.

math.AT↗
arXiv2025

Machine Proofs for Adams Differentials and Extension Problems among CW Spectra

In this document, we describe the process of obtaining numerous Adams differentials and extensions using computational methods, as well as how to interpret the dataset uploaded to Zenodo. Detailed proofs of the machine-generated results are also provided. The dataset includes information on 49 CW spectra, 180 maps, and 61 cofiber sequences. Leveraging these results, and with the addition of some ad hoc arguments derived through human insight, we successfully resolved the Last Kervaire Invariant Problem in dimension 126.

math.AT↗
arXiv2025

On the Last Kervaire Invariant Problem

We prove that the element $h_6^2$ is a permanent cycle in the Adams spectral sequence. As a result, we establish the existence of smooth framed manifolds with Kervaire invariant one in dimension 126, thereby resolving the final case of the Kervaire invariant problem. Combining this result with the theorems of Browder, Mahowald--Tangora, Barratt--Jones--Mahowald, and Hill--Hopkins--Ravenel, we conclude that smooth framed manifolds with Kervaire invariant one exist in and only in dimensions $2, 6, 14, 30, 62$, and $126$.

math.AT↗
arXiv2024

The Adams differentials on the classes $h_j^3$

In filtration 1 of the Adams spectral sequence, using secondary cohomology operations, Adams computed the differentials on the classes $h_j$, resolving the Hopf invariant one problem. In Adams filtration 2, using equivariant and chromatic homotopy theory, Hill--Hopkins--Ravenel proved that the classes $h_j^2$ support non-trivial differentials for $j \geq 7$, resolving the celebrated Kervaire invariant one problem. The precise differentials on the classes $h_j^2$ for $j \geq 7$ and the fate of $h_6^2$ remains unknown. In this paper, in Adams filtration 3, we prove an infinite family of non-trivial $d_4$-differentials on the classes $h_j^3$ for $j \geq 6$, confirming a conjecture of Mahowald. Our proof uses two different deformations of stable homotopy theory -- $\mathbb{C}$-motivic stable homotopy theory and $\mathbb{F}_2$-synthetic homotopy theory -- both in an essential way. Along the way, we also show that $h_j^2$ survives to the Adams $E_5$-page and that $h_6^2$ survives to the Adams $E_9$-page.

math.AT↗
arXiv2023

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.

math.AT↗
arXiv2022

Predicted Trajectory Guidance Control Framework of Teleoperated Ground Vehicles Compensating for Delays

Maneuverability and drivability of the teleoperated ground vehicle could be seriously degraded by large communication delays if the delays are not properly compensated. This paper proposes a predicted trajectory guidance control (PTGC) framework to compensate for such delays, thereby improving the performance of the teleoperation system. The novelty of this PTGC framework is that teleoperators intended trajectory is predicted at the vehicle side with their delayed historical control commands and the LiDAR 3D point cloud of the environment, and then the vehicle is guided by the predicted trajectory. By removing the teleoperator from the direct control loop, the presented method is less sensitive to delays, and delays are compensated as long as the prediction horizon exceeds the delays. Human-in-the-loop simulation experiments are designed to evaluate the teleoperation performance with the proposed method under five delay levels. Based on the repeated measurement analysis of variance, it is concluded that the PTGC method can significantly improve the performance of the teleoperated ground vehicles under large delays(>200ms), such as the task completion time (TCT), deviation to centerline (D2C) and steering effort (SE). In addition, the results also show that teleoperators can adapt to smaller delays, and the presented method is ineffective in such cases.

eess.SY↗
arXiv2022

The reduced ring of the $RO(C_2)$-graded $C_2$-equivariant stable stems

We describe in terms of generators and relations the ring structure of the $RO(C_2)$-graded $C_2$-equivariant stable stems $π_\star^{C_2}$ modulo the ideal of all nilpotent elements. As a consequence, we also record the ring structure of the homotopy groups of the rational $C_2$-equivariant sphere $π_\star^{C_2}(S_\mathbb{Q})$.

math.AT↗
arXiv2021

The Chow $t$-structure on the $\infty$-category of motivic spectra

We define the Chow $t$-structure on the $\infty$-category of motivic spectra $SH(k)$ over an arbitrary base field $k$. We identify the heart of this $t$-structure $SH(k)^{c\heartsuit}$ when the exponential characteristic of $k$ is inverted. Restricting to the cellular subcategory, we identify the Chow heart $SH(k)^{cell, c\heartsuit}$ as the category of even graded $MU_{2*}MU$-comodules. Furthermore, we show that the $\infty$-category of modules over the Chow truncated sphere spectrum is algebraic. Our results generalize the ones in Gheorghe--Wang--Xu in three aspects: To integral results; To all base fields other than just $C$; To the entire $\infty$-category of motivic spectra $SH(k)$, rather than a subcategory containing only certain cellular objects. We also discuss a strategy for computing motivic stable homotopy groups of (p-completed) spheres over an arbitrary base field $k$ using the Postnikov tower associated to the Chow $t$-structure and the motivic Adams spectral sequences over $k$.

math.KT↗
arXiv2021

The telescope conjecture at height 2 and the tmf resolution

Mahowald proved the height 1 telescope conjecture at the prime 2 as an application of his seminal work on bo-resolutions. In this paper we study the height 2 telescope conjecture at the prime 2 through the lens of tmf-resolutions. To this end we compute the structure of the tmf-resolution for a specifc type 2 complex Z. We find that, analogous to the height 1 case, the E1-page of the tmf-resolution possesses a decomposition into a v2-periodic summand, and an Eilenberg-MacLane summand which consists of bounded v2-torsion. However, unlike the height 1 case, the E2-page of the tmf-resolution exhibits unbounded v2-torsion. We compare this to the work of Mahowald-Ravenel-Shick, and discuss how the validity of the telescope conjecture is connected to the fate of this unbounded v2-torsion: either the unbounded v2-torsion kills itself off in the spectral sequence, and the telescope conjecture is true, or it persists to form v2-parabolas and the telescope conjecture is false. We also study how to use the tmf-resolution to effectively give low dimensional computations of the homotopy groups of Z. These computations allow us to prove a conjecture of the second author and Egger: the E(2)-local Adams-Novikov spectral sequence for Z collapses.

math.AT↗
arXiv2021

The slice spectral sequence of a $C_4$-equivariant height-4 Lubin-Tate theory

We completely compute the slice spectral sequence of the $C_4$-spectrum $BP^{((C_4))}\langle 2 \rangle$. After periodization and $K(4)$-localization, this spectrum is equivalent to a height-4 Lubin-Tate theory $E_4$ with $C_4$-action induced from the Goerss-Hopkins-Miller theorem. In particular, our computation shows that $E_4^{hC_{12}}$ is 384-periodic.

math.AT↗
arXiv2021

The topological modular forms of $\mathbb{R}P^2$ and $\mathbb{R}P^2 \wedge \mathbb{C}P^2$

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.

math.AT↗
arXiv2020

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.

math.AT↗
arXiv2020

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.

math.AT↗