🔢 mathematics

A necessary condition for liftings of positive characteristic varieties with finite fundamental groups

This paper establishes a necessary condition for lifting smooth, proper varieties with finite étale fundamental groups from positive characteristic to characteristic zero by proving that their associated chain complexes must be quasi-isomorphic to bounded complexes of finitely generated projective modules, utilizing an extension of Wall's finiteness obstruction to l-profinite complete spaces.

Original authors: Ruida Di, Runjie Hu, Siqing Zhang

Published 2026-07-22

📖 4 min read🧠 Deep dive

CC BY 4.0

Original authors: Ruida Di, Runjie Hu, Siqing Zhang

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

Imagine the universe of mathematics as a vast, multi-layered library. In one corner, there's a section dedicated to shapes and spaces, not the kind you can hold in your hand, but abstract ones that exist in the mind of a mathematician. This is the world of algebraic geometry, where researchers study shapes defined by equations. Now, imagine these shapes can be drawn on different kinds of "paper." Some paper is smooth and continuous, like the real number line we use in calculus (called characteristic zero). Other paper is grainy and pixelated, made of numbers that wrap around after a certain point, like the hours on a clock (called positive characteristic).

For decades, mathematicians have been trying to figure out if a shape drawn on this grainy, pixelated paper can be "lifted" or translated onto the smooth, continuous paper without losing its essential identity. It's like asking if a digital image can be perfectly converted into a high-definition painting without any artifacts. To solve this, they use a powerful tool called homotopy theory, which treats shapes like stretchy rubber bands. Instead of measuring exact distances, it asks: "If I squish or stretch this shape, does it stay the same?" They also use a concept called fundamental groups, which is like a map of all the possible loops you can draw on a shape without getting stuck. If a shape has a "finite" number of loops, it's a very special, tidy kind of space. The big question is: when can these tidy, pixelated shapes be successfully translated to the smooth world?

This paper, written by Ruida Di, Runjie Hu, and Siqing Zhang, introduces a new "litmus test" to answer that question. The authors are essentially building a new checklist for mathematicians to see if a specific type of shape (one with a finite number of loops) can be lifted from the grainy world to the smooth world. They don't just look at the shape's surface; they dig deep into its "skeleton" using a technique called étale homotopy theory, which is a way of looking at algebraic shapes through a very specific, high-powered lens.

The core of their discovery is a condition they call "mod-l finite dominatedness." To understand this, imagine you have a complex Lego structure built on a grid. If you want to know if this structure can be perfectly rebuilt on a different, smoother grid, you can't just look at the final picture. You have to check if the instructions (the chain complex) used to build it are "perfect." In the authors' language, a structure is "perfect" if its building instructions can be simplified into a short, finite list of standard Lego blocks (finitely generated projective modules) without needing an infinite or messy list of special, custom pieces.

The paper proves that if a shape in the grainy world can be lifted to the smooth world, it must pass this "perfect instructions" test. This is a necessary condition: if the test fails, the lift is impossible. However, the authors are careful to note that this is only half the story. While they establish a full "if and only if" characterization for when a shape's homotopy type is equivalent to a complex variety (involving a second condition called "l-local liftability"), their main result regarding the actual lifting of varieties is strictly one-way. They prove that passing the "mod-l finite dominatedness" test is required for a lift to exist, but they do not claim that passing the test guarantees a lift will happen.

The authors also extend a famous mathematical idea called Wall's finiteness obstruction (named after C.T.C. Wall) to this new, grainy setting. They show that for these specific shapes, the "obstruction" (the thing that usually stops a shape from being finite) vanishes automatically because of the nature of the loops involved. This leaves the "mod-l finite dominatedness" as a critical gatekeeper for the lifting problem.

However, the authors are careful to note that while they have found these necessary conditions (rules that must be true for a lift to exist), they haven't yet proven that these rules are sufficient (that passing the rules guarantees a lift). They explicitly state that whether this new test actually stops any real-world examples from being lifted remains an "open question." It's like finding a new security checkpoint at an airport: everyone who flies must pass it, but passing it doesn't guarantee you'll get on the plane; there might be other, hidden rules we haven't discovered yet. The paper provides a rigorous mathematical proof that these specific conditions are hard requirements, using advanced tools from topology and algebra, but it stops short of claiming to solve the entire lifting problem.

Technical Summary: A Necessary Condition for Liftings of Positive Characteristic Varieties with Finite Fundamental Groups

Problem Statement
The paper addresses the problem of determining necessary conditions for the existence of characteristic zero liftings of smooth, proper varieties defined over an algebraically closed field of characteristic $p > 0$ . While known obstructions include the failure of Kodaira vanishing and specific behaviors of the fundamental group, this work introduces a new necessary condition derived from $\ell$ -adic étale homotopy theory and a variant of Wall's finiteness obstruction. The specific focus is on varieties where the $\ell$ -profinite completion of the étale fundamental group is a finite $\ell$ -group.

Methodology
The authors employ a synthesis of algebraic topology and arithmetic geometry, utilizing the following theoretical frameworks:

Étale Homotopy Theory: They utilize the $\ell$ -adic étale homotopy type $X^\wedge_{\text{ét}, \ell}$ of a scheme $X$ . The core topological observation is that if a smooth proper variety $X$ in characteristic $p$ lifts to characteristic zero, its $\ell$ -adic étale homotopy type must be $\ell$ -adic weak equivalent to the $\ell$ -adic homotopy type of a complex variety (which is homotopy equivalent to a finite CW complex).
Wall's Finiteness Obstruction: The paper extends C.T.C. Wall's classical results on when a CW complex is homotopy equivalent to a finite CW complex. Wall's criterion requires a space to be "finitely dominated" and for the Wall finiteness obstruction in the reduced algebraic K-group $\tilde{K}_0(\mathbb{Z}[\pi_1])$ to vanish.
Local and Profinite Completions: The authors generalize these concepts to:
- $T$ -local spaces: Spaces localized at a set of primes $T$ .
- $\ell$ -profinite complete spaces: Specifically, spaces with finite fundamental groups where the universal cover's chain complex is analyzed over the group ring $\mathbb{F}_\ell[\pi]$ .
Chain Complex Analysis: The central technical tool is the analysis of the cellular chain complex of the universal cover of the $\ell$ -profinite completion. The authors define "mod- $\ell$ finite dominatedness" based on whether this chain complex is perfect (chain homotopy equivalent to a bounded complex of finitely generated projective modules) over $\mathbb{F}_\ell[\pi]$ .

Key Contributions and Results

Extension of Finiteness Obstructions to Local/Complete Spaces:
The authors formalize the notion of finiteness obstructions for fiberwise $T$ -local spaces and $\ell$ -profinite complete spaces with finite fundamental groups.
- Theorem 2.10 & 2.12: They establish that a fiberwise $T$ -local CW complex is homotopy equivalent to a finite CW complex if and only if it is $T$ -local finitely dominated and the $T$ -local Wall finiteness obstruction vanishes. They also prove the surjectivity of the obstruction map (Theorem 2.12), showing any element in the relevant K-group can be realized as an obstruction.
- Vanishing of Obstruction for Finite $\ell$ -groups: A crucial observation (Fact 3.6) is that for a finite $\ell$ -group $\pi$ , the reduced K-group $\tilde{K}_0(\mathbb{F}_\ell[\pi])$ is trivial. Consequently, the Wall finiteness obstruction vanishes automatically in this setting. The primary condition reduces to "mod- $\ell$ finite dominatedness."
Characterization of $\ell$ -adic Weak Equivalence:
Theorem 3.11 provides a characterization for when a connected CW complex $Y$ with finite $\ell$ -group fundamental group is $\ell$ -adic weak equivalent to a finite CW complex. This occurs if and only if:
- $Y$ is mod- $\ell$ finitely dominated (the chain complex of the universal cover of its $\ell$ -profinite completion is perfect over $\mathbb{F}_\ell[\pi]$ ).
- The $\ell$ -profinite completion of $Y$ admits an " $\ell$ -local lifting" (it is the fiberwise $\ell$ -completion of an $\ell$ -local finite type space).
Application to Algebraic Varieties:
The authors apply these topological results to schemes with finite étale cohomology and finite étale fundamental groups.
- Theorem 1.3 & Corollary 4.4: They prove that for a locally Noetherian scheme $X$ with finite $\ell$ -profinite étale fundamental group and finite étale cohomology, the homotopy groups of the $\ell$ -profinite completion of its étale homotopy type are finitely generated $\mathbb{Z}_\ell$ -modules.
- Theorem 5.4: They establish that the étale homotopy type $X_{\text{ét}}$ is $\ell$ -adic weak equivalent to a complex variety if and only if $X$ is mod- $\ell$ finitely dominated and its $\ell$ -profinite completion is $\ell$ -local liftable.
Main Necessary Condition for Liftings:
Corollary 5.5 presents the paper's primary result regarding liftings:
- Let $X$ be a smooth, proper variety over a separably closed field of characteristic $p > 0$ with $(\pi_1^{\text{ét}}(X))^\wedge_\ell$ a finite $\ell$ -group.
- If $X$ admits a lifting to a smooth, proper scheme over a discrete valuation ring of characteristic zero, then $X$ must be mod- $\ell$ finitely dominated.
- Furthermore, if the lifting preserves the fundamental group structure appropriately, the $\ell$ -profinite completion of $X$ must also be $\ell$ -local liftable.

Significance and Claims
The paper claims to introduce a new necessary condition for the lifting of positive characteristic varieties, distinct from previous obstructions like Kodaira vanishing. The significance lies in translating the geometric problem of lifting into a homotopical finiteness problem involving the chain complexes of étale homotopy types.

The authors note that while the condition of "mod- $\ell$ finite dominatedness" is necessary, it remains an open question whether this obstruction is nontrivial in concrete examples (i.e., whether there exist varieties that fail this condition and thus cannot be lifted). The paper also provides an algebraic proof (in the Appendix) of a representation theory result regarding the vanishing of the reduced K-group for finite $\ell$ -groups, which underpins the automatic vanishing of the Wall obstruction in this specific context.

The work extends Wall's finiteness theory to the realm of $\ell$ -profinite complete spaces, a technical development required to bridge the gap between the homotopy types of algebraic varieties in positive characteristic and finite CW complexes in characteristic zero.

More like this