Guozhen Wang

activity

20182026

most citedMachine Proofs for Adams Differentials and Extension Problems among CW Spectra

1 citations · 1 across the 4 of their papers we have counts for

collaborators

Showing math.ATShow all

4 papers · 1 filter

math.AT2026

$Q_{p}$ -Homotopy Types and Applications to Topology and Algebraic Geometry

Runjie Hu, Guozhen Wang

We develop a $Q_{p}$ -homotopy theory for $p$ -complete spaces. To a $p$ -complete space $X$ , we associate a commutative differential graded algebra over $Q_{p}$ by rect…

math.AT2024

On the Last Kervaire Invariant Problem

Weinan Lin, Guozhen Wang, Zhouli Xu

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 on…

math.AT2024★ 1 cited

Machine Proofs for Adams Differentials and Extension Problems among CW Spectra

Weinan Lin, Guozhen Wang, Zhouli Xu

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…

math.AT2018

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

Bogdan Gheorghe, Guozhen Wang, Zhouli Xu

For each prime $p$ , we define a $t$ -structure on the category $S^{0, 0} / τ - Mod_{ha r m}^{b}$ of harmonic $C$ -motivic left module spectra over $\widehat…

Qp​-Homotopy Types and Applications to Topology and Algebraic Geometry

On the Last Kervaire Invariant Problem

Machine Proofs for Adams Differentials and Extension Problems among CW Spectra

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

$Q_{p}$ -Homotopy Types and Applications to Topology and Algebraic Geometry