arXiv subjects

Guozhen Wang

Publications and source records attributed to Guozhen Wang.

17 recordsLinked to original sources

arXiv2026

$\mathbb{Q}_p$-Homotopy Types and Applications to Topology and Algebraic Geometry

We develop a $\mathbb{Q}_p$-homotopy theory for $p$-complete spaces. To a $p$-complete space $X$, we associate a commutative differential graded algebra over $\mathbb{Q}_p$ by rectifying the $E_\infty$-algebra $S^*(X;\widehat{\mathbb{Z}}_p)\otimes_{\widehat{\mathbb{Z}}_p} \mathbb{Q}_p$ of singular cochains. For nilpotent $p$-complete finite type spaces, we prove that the minimal model of this algebra recovers the $\mathbb{Q}_p$-homotopy groups and Whitehead products, in direct analogy with Sullivan's rational homotopy theory. We also prove that, for a non-simply-connected $p$-complete space, the Lie algebra dual to its $1$-minimal model is the Lie algebra of the continuous Mal'cev $\mathbb{Q}_p$-completion of the fundamental group. We apply the $\mathbb{Q}_p$-homotopy theory to several questions in topology and algebraic geometry, including finite realization problems for $p$-complete spaces, finiteness properties of \'etale homotopy types, formality of smooth proper varieties, Galois representations on \'etale homotopy groups, and constraints on \'etale fundamental groups.

math.AT↗

arXiv2026

Continuous Mal'cev Qp-Completion of Pro-p Groups

We give three explicit constructions of the continuous Mal'cev Qp-completion of a topologically finitely generated pro-p group, using Tannakian formalism, Hopf algebras and p-adic analytic groups. We study properties of the continuous Mal'cev Qp-completion via these explicit constructions.

math.GR↗

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

$RO(G)$-graded homotopy fixed point spectral sequence for height $2$ Morava $E$-theory

We consider $G=Q_8,SD_{16},G_{24},$ and $G_{48}$ as finite subgroups of the Morava stabilizer group which acts on the height $2$ Morava $E$-theory $\mathbf{E}_2$ at the prime $2$. We completely compute the $G$-homotopy fixed point spectral sequences of $\mathbf{E}_2$. Our computation uses recently developed equivariant techniques since Hill, Hopkins, and Ravenel. We also compute the $(*-σ_i)$-graded $Q_8$- and $SD_{16}$-homotopy fixed point spectral sequences, where $σ_i$ is a non-trivial one-dimensional representation of $Q_8$.

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

Topological Cyclic Homology of Local Fields

We introduce a new approach to determining the structure of topological cyclic homology by means of a descent spectral sequence. We carry out the computation for a p-adic local field with Fp-coefficients, including the case p=2 which was only covered by motivic methods except in the totally unramified case.

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 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↗

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↗

arXiv2018

Some extensions in the Adams spectral sequence and the 51-stem

We show a few nontrivial extensions in the classical Adams spectral sequence. In particular, we compute that the 2-primary part of $π_{51}$ is $\mathbb{Z}/8\oplus\mathbb{Z}/8\oplus\mathbb{Z}/2$. This was the last unsolved 2-extension problem left by the recent works of Isaksen and the authors (\cite{Isa1}, \cite{IX}, \cite{WX1}) through the 61-stem. The proof of this result uses the $RP^\infty$ technique, which was introduced by the authors in \cite{WX1} to prove $π_{61}=0$. This paper advertises this method through examples that have simpler proofs than in \cite{WX1}.

math.AT↗

arXiv2018

Hurewicz Images of Real Bordism Theory and Real Johnson-Wilson Theories

We show that the Hopf elements, the Kervaire classes, and the $\barκ$-family in the stable homotopy groups of spheres are detected by the Hurewicz map from the sphere spectrum to the $C_2$-fixed points of the Real Brown-Peterson spectrum. A subset of these families is detected by the $C_2$-fixed points of Real Johnson-Wilson theory $E\mathbb{R}(n)$, depending on $n$.

math.AT↗

arXiv2017

The triviality of the 61-stem in the stable homotopy groups of spheres

We prove that the 2-primary $π_{61}$ is zero. As a consequence, the Kervaire invariant element $θ_5$ is contained in the strictly defined 4-fold Toda bracket $\langle 2, θ_4, θ_4, 2\rangle$. Our result has a geometric corollary: the 61-sphere has a unique smooth structure and it is the last odd dimensional case - the only ones are $S^1, S^3, S^5$ and $S^{61}$. Our proof is a computation of homotopy groups of spheres. A major part of this paper is to prove an Adams differential $d_3(D_3) = B_3$. We prove this differential by introducing a new technique based on the algebraic and geometric Kahn-Priddy theorems. The success of this technique suggests a theoretical way to prove Adams differentials in the sphere spectrum inductively by use of differentials in truncated projective spectra.

math.AT↗

arXiv2016

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].

math.AT↗

arXiv2014

The monochromatic Hopf invariant

In this paper we will compute the effect of the James-Hopf map after applying the Bousfield-Kuhn functor on Morava E-theory, and then compute the monochromatic Hopf invariant of the $β$ family using this cohomological information.

math.AT↗