🔢 mathematics

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

This paper establishes a $\mathbb{Q}_p$ -homotopy theory for $p$ -complete spaces by associating them with commutative differential graded algebras, demonstrating that their minimal models recover homotopy groups and fundamental group completions analogous to Sullivan's rational theory, and applying these results to resolve key problems in topology and algebraic geometry.

Original authors: Runjie Hu, Guozhen Wang

Published 2026-08-27

📖 6 min read🧠 Deep dive

CC BY 4.0

Original authors: Runjie Hu, Guozhen Wang

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

Mathematics often seeks to translate the messy, irregular shapes of the physical world into clean, rigid algebraic structures. In the realm of topology, the study of shapes and spaces, this translation is known as homotopy theory. It asks a fundamental question: when can a complex, twisted shape be understood simply by looking at the algebraic equations that describe it? For decades, mathematicians have had a powerful tool for this translation when dealing with shapes over the rational numbers, a system of fractions that allows for infinite precision. This tool, known as rational homotopy theory, has successfully linked the geometry of smooth surfaces to algebraic rules, revealing deep constraints on what kinds of shapes can exist in nature. However, a parallel universe of mathematics exists based on prime numbers, specifically the number $p$ . This $p$ -adic world is crucial for understanding the arithmetic properties of equations, yet it has stubbornly resisted the same kind of clean translation. The shapes in this $p$ -adic world are often too large and unwieldy for the old algebraic methods to handle, leaving a gap in our understanding of how arithmetic and geometry intertwine.

Two researchers, Runjie Hu and Guozhen Wang, have now built a bridge across this gap. They developed a new framework, which they call $Q_p$ -homotopy theory, designed specifically to translate these difficult $p$ -complete spaces into manageable algebraic forms. Their work is not merely a theoretical exercise; it provides a concrete set of rules to determine which abstract shapes can actually be realized by algebraic varieties, the geometric solutions to systems of polynomial equations. By creating this new language, they have been able to answer long-standing questions about the limits of these shapes, proving that certain intuitive assumptions about their size and structure are false, while confirming that others hold true under specific conditions.

The core of their achievement lies in a method of "rectification." Imagine trying to describe a complex, jagged mountain range using a single, smooth curve. In the $p$ -adic world, the standard tools for creating such a curve failed because the data was too chaotic and the resulting structures were infinitely large. Hu and Wang realized that by first organizing the chaotic data into a specific type of algebraic structure known as an $E_\infty$ -algebra, they could then "rectify" it. This process smooths out the irregularities, allowing them to replace the unwieldy object with a commutative differential graded algebra. This new object is a structured collection of algebraic rules that behaves much like the rational tools used in the past, but it is tailored to the unique properties of the $p$ -adic numbers. Once they had this algebraic model, they could extract the "minimal model," a simplified version that retains all the essential topological information while stripping away the noise.

Using this new model, the authors proved that for a wide class of spaces, the algebraic structure perfectly recovers the shape's fundamental properties. They showed that the algebraic model contains a complete map of the space's holes and loops, known as homotopy groups, and even encodes how these loops interact with one another through a structure called Whitehead products. This is a significant breakthrough because it means that for these spaces, the complex geometry is entirely determined by the algebra. Furthermore, they extended this to the fundamental group, the algebraic object that describes the loops in a space, showing that the algebraic model corresponds precisely to a specific type of completion of this group. This connection allows mathematicians to study the shape of a space by studying the properties of its algebraic shadow.

The power of this theory becomes most apparent when applied to the realization problem: determining which abstract shapes can actually be built from algebraic equations. The researchers asked whether a shape that looks finite and well-behaved in its cohomology (a measure of its holes) must necessarily be the completion of a finite geometric object. Intuition might suggest that if the algebraic data looks finite, the shape must be finite. However, Hu and Wang constructed a specific counterexample to prove this intuition wrong. They created a shape that has finite, well-behaved algebraic data in every dimension, yet it cannot be the completion of any finite geometric object. This discovery reveals that there are hidden constraints on these shapes that go beyond simple size or finiteness; the algebraic data must also satisfy a specific "rational descent" condition, meaning it must be compatible with a broader system of rational numbers. Without this compatibility, the shape remains an abstract impossibility, no matter how finite its parts appear.

This insight was then applied to the world of algebraic geometry, specifically to the étale homotopy types of smooth, proper varieties. These are geometric objects defined over fields that include finite fields and complex numbers, and they play a central role in modern number theory. The authors used their theory to prove that the shapes arising from these varieties are "formal." In plain terms, this means that their complex algebraic structure is entirely determined by their simplest cohomological data, with no hidden, complicated interactions lurking beneath the surface. This confirms a deep principle that "purity implies formality," suggesting that the arithmetic purity of these geometric objects forces their topological structure to be simple and predictable. They also established precise bounds on the "weights" of these shapes, which are numerical values that describe how the shapes behave under the action of the Frobenius map, a fundamental operation in arithmetic geometry.

Finally, the paper addresses the behavior of these shapes under the action of the Galois group, which describes the symmetries of number fields. A question posed by the mathematician Deligne asked whether the action of these symmetries on the shape's algebraic model is continuous, meaning that small changes in the symmetry lead to small changes in the model. Hu and Wang provided a definitive affirmative answer. They demonstrated that the symmetries of the number field act continuously on the algebraic model of the shape. This result is crucial because it ensures that the arithmetic properties of the number field are faithfully reflected in the topological structure of the variety, allowing for a robust interplay between number theory and topology. By proving that these representations are "successively de Rham" or "successively crystalline," they showed that the shapes inherit the best possible arithmetic properties from the varieties they represent.

In summary, this work provides a new, rigorous language for translating the geometry of $p$ -adic spaces into algebra. It resolves the question of which abstract shapes can be realized by algebraic varieties, proving that finiteness of data is not enough without a deeper structural compatibility. It confirms that the shapes of smooth, proper varieties are fundamentally simple and predictable, and it establishes that the symmetries of number fields act on these shapes in a continuous and well-behaved manner. The result is a unified framework that brings the chaotic world of $p$ -adic topology under the control of algebraic rules, opening the door to new discoveries in the intersection of topology and arithmetic geometry.

Technical Summary: Qp-Homotopy Types and Applications to Topology and Algebraic Geometry

Problem Statement
The paper addresses the interface between topology and arithmetic geometry, specifically the problem of characterizing which homotopy types can be realized by complex algebraic varieties. While Sullivan's rational homotopy theory provides a powerful algebraic framework for detecting topological restrictions on smooth complex varieties via de Rham algebras, a direct $p$ -adic analogue for $p$ -complete spaces has been elusive. The authors seek to develop a $Q_p$ -homotopy theory for $p$ -complete spaces to answer the following central question: Which $p$ -complete CW complexes are, up to homotopy equivalence, the $p$ -completion of the étale homotopy type of a smooth algebraic variety (particularly in positive characteristic)?

A primary obstacle to a straightforward $p$ -adic analogue of Sullivan's theory is that for a nilpotent $p$ -complete space $X$ , the natural cohomology is $H^*(X; \mathbb{Z}_p) \otimes_{\mathbb{Z}_p} \mathbb{Q}_p$ , not the ordinary singular cohomology $H^*(X; \mathbb{Q}_p)$ . Furthermore, $p$ -complete CW complexes often possess uncountably many cells, rendering standard rational "de Rham" constructions insufficient.

Methodology
The authors develop a $Q_p$ -homotopy theory by rectifying $E_\infty$ -algebras. For a $p$ -complete space $X$ , the singular cochain complex $S^*(X; \mathbb{Z}_p) \otimes_{\mathbb{Z}_p} \mathbb{Q}_p$ naturally carries an $E_\infty$ -algebra structure. By invoking the rectification theorem for $E_\infty$ -algebras over fields of characteristic zero, the authors model this structure up to quasi-isomorphism by a commutative differential graded algebra (CDGA), denoted $C^*(X; \mathbb{Z}_p) \otimes_{\mathbb{Z}_p} \mathbb{Q}_p$ .

The core of the methodology involves analyzing the minimal model of this rectified CDGA. For nilpotent $p$ -complete finite type spaces, the authors establish that the indecomposable spaces of the minimal model are dual to the $Q_p$ -homotopy groups, and the quadratic part of the differential encodes Whitehead products. For non-simply-connected spaces, the 1-minimal model is analyzed to relate the dual Lie algebra to the continuous Mal'cev $Q_p$ -completion of the fundamental group.

These results are extended to pro-systems of $p$ -finite spaces (relevant for étale homotopy types) and applied to specific problems in topology and algebraic geometry, including finite realization problems, formality, and Galois representations.

Key Contributions and Results

Foundations of $Q_p$ -Homotopy Theory:
- Theorem 0.2 (Theorem 1.5): For a nilpotent $p$ -complete finite type CW complex $X$ , the minimal model of $C^*(X; \mathbb{Z}_p) \otimes_{\mathbb{Z}_p} \mathbb{Q}_p$ recovers the $Q_p$ -homotopy groups $\pi_*(X) \otimes_{\mathbb{Z}_p} \mathbb{Q}_p$ and the Whitehead product structure. Specifically, there is a natural nondegenerate pairing between the indecomposable space $I_i(M)$ and $\pi_i(X) \otimes \mathbb{Q}_p$ , and the induced Lie algebra isomorphism respects the Whitehead products.
- Theorem 0.3 (Theorem 1.24): For a connected CW complex with a topologically finitely generated pro- $p$ fundamental group, the Lie algebra dual to the 1-minimal model is canonically isomorphic to the Lie algebra of the continuous Mal'cev $Q_p$ -completion of $\pi_1(X)$ .
Finite Realization of $p$ -Complete Spaces:
- The authors address whether a $p$ -complete space with finitely generated $\mathbb{Z}_p$ -cohomology (vanishing in high degrees) arises as the $p$ -completion of a finite CW complex.
- Theorem 0.5 (Corollary 2.4): In the simply-connected case, a $p$ -complete finite type space $X$ is the $p$ -completion of a finite CW complex if and only if its $Q_p$ -minimal CDGA model is the scalar extension of a minimal CDGA over $\mathbb{Q}$ (a "rational descent" condition) and $H^q(X; \mathbb{Z}/p) = 0$ for sufficiently large $q$ .
- Theorem 0.6 (Example 2.6): The authors construct a counterexample to the conjecture that cohomological finiteness alone implies finite realization. They exhibit a simply-connected $p$ -complete space with vanishing high-degree cohomology that fails the rational descent condition and thus is not the $p$ -completion of any finite CW complex.
Applications to Étale Homotopy Types:
- Finite Realization (Theorem 0.8/Corollary 2.12): For a smooth proper variety $X$ over a separably closed field with trivial $\ell$ -adic fundamental group, the $\ell$ -completed étale homotopy type is $\ell$ -adically weak equivalent to a finite CW complex if and only if $H^*_{\text{ét}}(X; \mathbb{Q}_\ell)$ is isomorphic to the scalar extension of a graded $\mathbb{Q}$ -algebra. This provides an obstruction to lifting varieties to characteristic zero.
- Formality (Theorem 0.9/Theorem 2.15): The authors prove that the $\ell$ -completion of the étale homotopy type of a connected smooth proper variety over a separably closed field is $\mathbb{Q}_\ell$ -formal. This extends the Deligne-Griffiths-Morgan-Sullivan result (known for $\ell \neq p$ and complex varieties) to the case $\ell = p$ , utilizing the purity of Frobenius weights on $Q_p$ -étale cohomology.
- Galois Representations:
  - Continuity (Proposition 0.11/Proposition 2.20): The authors affirmatively answer a question by Deligne, proving that the natural homomorphism from the absolute Galois group $\text{Gal}(\bar{k}/k)$ to the group of homotopy classes of automorphisms of the minimal model is continuous (with respect to the $\ell$ -adic topology).
  - Hodge-Theoretic Properties (Theorem 0.12/Theorems 2.25, 2.26): Using the $Q_p$ -homotopy theory, the authors show that Galois representations on higher étale homotopy groups of $p$ -adic varieties are "successively de Rham" (or "successively crystalline" in the good reduction case). This generalizes known results for étale cohomology to higher homotopy groups.
- Étale Fundamental Groups (Theorem 0.13/Theorem 2.30): The Lie algebra of the continuous Mal'cev $Q_\ell$ -completion of the étale fundamental group of a smooth proper variety is shown to be the pro-nilpotent completion of a free Lie algebra modulo an ideal generated by brackets of bounded length (length 2 for proper varieties; lengths 2, 3, and 4 for varieties over the algebraic closure of a finite field with $\ell \neq p$ ).

Significance
The paper establishes a robust $Q_p$ -homotopy theory that successfully mirrors the structural insights of Sullivan's rational homotopy theory in the $p$ -adic setting. By rectifying $E_\infty$ -algebras, the authors overcome the technical difficulties associated with the large size of $p$ -complete spaces and the specific nature of their cohomology.

The significance of this work lies in its ability to translate topological constraints into arithmetic geometry. The developed theory provides new obstructions to the finite realization of étale homotopy types, offers a unified proof of formality for smooth proper varieties across all characteristics, and elucidates the arithmetic properties (specifically Galois representations and Hodge-theoretic constraints) of higher étale homotopy groups. The results on the structure of étale fundamental groups provide new constraints on the realization problem, linking the algebraic structure of these groups to the geometry of the underlying varieties.

More like this