🔢 mathematics

The logarithmic $h$ - and $v$ -topologies

This paper introduces the $h$ - and $v$ -topologies within logarithmic geometry and explores their applications to log étale cohomology, log differential forms, and log motives.

Original authors: Nikolai Opdan, Doosung Park, Paul Arne Østvær

Published 2026-08-10

📖 4 min read🧠 Deep dive

CC BY 4.0

Original authors: Nikolai Opdan, Doosung Park, Paul Arne Østvær

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 you are trying to map a city, but the city is constantly changing shape. Sometimes the streets are smooth and straight, but other times they crumble into rubble, twist into knots, or vanish entirely. In the world of mathematics, specifically a field called algebraic geometry, scientists study shapes defined by equations. For decades, they had a great tool for mapping the "smooth" parts of these cities, but the "rubble" parts—where things break or intersect strangely—were a nightmare to navigate. To fix this, mathematicians invented a special kind of "zoom lens" called a topology. Think of a topology not as a map of streets, but as a rulebook for what counts as a "neighborhood." If you have a good rulebook, you can zoom in on a messy, broken spot and pretend it's actually a smooth, perfect street, allowing you to use your standard tools to solve problems.

Two famous rulebooks, called the h-topology and the v-topology, were created to handle these messy spots in regular geometry. The h-topology is like a rule that says, "If you can fix a broken street by tearing it apart and gluing it back together in a specific way, it counts as a valid neighborhood." The v-topology is even stricter and more powerful; it's like a rule that says, "If you can find a path through a broken street that works for every possible type of traveler, then it's a valid neighborhood." These tools have been revolutionary for understanding the deep connections between numbers, shapes, and spaces. But what happens when these shapes aren't just broken, but are also carrying a secret "logbook" of their own history? This is the world of logarithmic geometry, where every shape comes with extra data about its boundaries and how it touches the edges of the universe.

This paper, written by Nikolai Opdan, Doosung Park, and Paul Arne Østvær, asks a big question: Can we build our own versions of these h- and v-topology rulebooks specifically for these "logarithmic" shapes? The authors say yes. They introduce the log h-topology and the log v-topology. They prove that these new rulebooks work just as well as the old ones for many core structures, allowing mathematicians to treat messy, boundary-heavy shapes as if they were smooth and perfect. They show that if you have a "logarithmic valuation ring"—a fancy mathematical object that acts like a perfect microscope for these shapes—you can lift any "specialization" (a way of zooming in on a point) through these new topologies. This means the new tools are robust enough to handle the extra complexity of logarithmic geometry.

The paper then puts these new tools to work in three exciting ways. First, they use the log v-topology to prove that log étale cohomology (a way of counting holes and twists in these shapes) behaves perfectly well when you zoom in and out using these new rules. This is a big deal because it means we can now count the "holes" in these complex, boundary-laden shapes with the same confidence we have for simple ones. Second, they look at logarithmic differential forms, which are like measuring the flow of water or the slope of a hill on these shapes. They show that if certain unproven conjectures hold true, then applying the log h-topology keeps these measurements consistent and prevents them from breaking, even on the roughest terrain. Specifically, they prove that the log h-sheafification preserves differentials on log smooth schemes, but this result is conditional on the authors' Conjectures 4.17 and 4.18. Finally, they use these findings to build a new category of log motives. You can think of a "motive" as a universal blueprint that captures the essential DNA of a shape. The authors construct a stable, infinite-dimensional library of these blueprints for logarithmic shapes, proving that even the simplest building blocks (like the number $n$ ) fit perfectly into this new system.

In short, this paper doesn't just invent new rules; it proves they work for a wide range of applications. It shows that the log h- and v-topologies are the missing keys to unlocking a deeper understanding of shapes with boundaries. By establishing that these topologies allow for "descent" (the ability to glue local information together to understand the whole) for cohomology and motives, the authors have laid the groundwork for a new era of logarithmic geometry. They have rigorously demonstrated that these topologies are the right framework for studying log cohomology and motives, while also providing a conditional proof for log differentials that paves the way for future mathematicians to explore the hidden structures of the universe's most complex shapes.

Technical Summary: The Logarithmic h- and v-Topologies

Problem and Motivation
The paper addresses the need to extend the theory of h- and v-topologies, originally developed for algebraic schemes by Voevodsky and later by Bhatt and Scholze in the context of perfectoid geometry, to the realm of logarithmic geometry. The primary motivation is to analyze logarithmic differentials and log étale cohomology from the perspective of these topologies, mirroring approaches used for algebraic varieties. Specifically, the authors aim to establish a framework where log schemes behave locally like log smooth schemes, facilitating the study of invariants on singular log schemes through descent properties. This work is situated within the broader theory of logarithmic motives, as developed in recent literature [5], [6], [7].

Methodology and Core Definitions
The authors develop the theory within the category of fine and saturated (fs) log schemes. The methodology relies on three main pillars:

Log Valuation Rings: To adapt the concept of v-covers (which rely on lifting specializations of points) to log geometry, the authors introduce log valuation rings $(V, P)$ , consisting of a valuation ring $V$ and a valuative monoid $P$ . A key technical result (Theorem 2.15) establishes that log valuation rings lift specializations of points on log schemes, analogous to how valuation rings lift specializations on schemes. This property is foundational for defining log v-covers.
Log h- and v-Topologies:
- The log h-topology ($lh$) is defined on quasi-compact, quasi-separated (qcqs) fs log schemes. It is generated by finite covering families $\{U_i \to X\}$ such that the disjoint union $\coprod U_i \to X$ is universally subtrusive and finitely presented.
- The log v-topology ($lv$) is defined via a lifting property: a morphism $f: X \to S$ is a log v-cover if, for every log valuation ring $(V, P)$ and morphism $\text{Spec}(V, P) \to S$ , there exists an extension of log valuation rings $(V, P) \to (W, Q)$ and a lift $\text{Spec}(W, Q) \to X$ .
- The authors prove that for qcqs fs log schemes, a morphism is universally subtrusive if and only if it is a log v-cover (Theorem 3.23). This equivalence generalizes results from scheme theory [30] to the logarithmic setting.
Subdivision and Monoid Theory: The proofs utilize properties of valuative monoids and fans. A crucial insight (Theorem 3.21) is that the dual fan of a valuative monoid is "rigid," meaning any subdivision of fans induces an isomorphism when pulled back along a morphism from a valuative monoid. This allows for local arguments using subdivision techniques.

Key Results

Descent for Log Étale Cohomology: The paper establishes that log étale cohomology with torsion coefficients satisfies log v-descent (Theorem 4.10). Specifically, if $S$ is an fs log scheme with trivial log structure and $G$ is a torsion sheaf on the small log étale site, the presheaf $X \mapsto R\Gamma_{l\acute{e}t}(X, \alpha^*G)$ is a log v-sheaf. The proof involves reducing the problem to strict morphisms and morphisms where the underlying scheme map is an isomorphism, utilizing localization arguments on the logarithmic unit interval.
Logarithmic Differentials: In characteristic 0, the authors investigate the log h-sheafification of the sheaf of differential forms. They prove that if Conjectures 4.17 (homotopy invariance) and 4.18 (comparison for smooth schemes) hold, then the log h-sheafification preserves differentials defined on log smooth log schemes (Theorem 4.20). Consequently, the sheaf of differential forms is a log h-sheaf on log smooth log schemes (Corollary 4.21). The proof relies on the logarithmic Gysin sequence and induction on the number of irreducible components of the boundary.
Stable Logarithmic h-Motives: The authors construct symmetric monoidal stable $\infty$ -categories of log motives, denoted $\text{logSH}_{lh}(S)$ , for qcqs base schemes $S$ . This category is defined by formally inverting the logarithmic unit interval $(\mathbb{P}^1, \infty)$ within the $\infty$ -category of log h-sheaves. A significant consequence is that the torsion sheaf $\mathbb{Z}/n$ is representable in the category of $S^1$ -stable logarithmic h-motives (Proposition 4.24).
Hierarchy of Topologies: The paper clarifies the relationships between various log topologies, showing that the log h-topology is finer than the log fppf-topology and the log cdh-topology. It also notes that the log h-topology does not preserve fiber products of log smooth schemes, necessitating the use of general fs log schemes in the definition of motives.

Significance and Claims
The paper claims to provide the necessary topological foundations for a robust theory of logarithmic motives. By introducing log v-covers and proving descent for log étale cohomology, the authors enable the representation of cohomological invariants within the motivic framework. The construction of stable logarithmic h-motives offers a homotopy-theoretic setting to study log differential forms and other invariants on singular log schemes.

The authors are modest regarding the full scope of their results on differentials, explicitly stating that the main theorem (Theorem 4.20) relies on two conjectures (4.17 and 4.18) which they intend to address in future work. Furthermore, they note that while the theory is established for qcqs base schemes, extending certain arguments (such as those involving log transfers) to log points remains an open challenge. The work serves as a bridge between the classical theory of motives and the emerging field of logarithmic geometry, offering tools to analyze log differentials and cohomology through the lens of h- and v-descent.

More like this