🔢 mathematics

$C^0$ -Analogue of Ismagilov's Theorem

This paper establishes a $C^0$ -analogue of Ismagilov's theorem by proving that the first continuous cohomology of the identity component of volume-preserving homeomorphisms on a closed oriented manifold is isomorphic to its first de Rham cohomology, utilizing a newly developed topological transport theory to resolve the volume-preserving $C^0$ -Flux Conjecture.

Original authors: Stéphane Tchuiaga

Published 2026-08-11

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Stéphane Tchuiaga

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 a world where shapes can stretch, squish, and twist like warm taffy, but with one strict rule: you cannot tear them, and you cannot change their total amount of "stuff" inside. In the branch of mathematics known as topology, this is the playground of homeomorphisms—the ultimate shape-shifters. Now, imagine these shape-shifters are also volume-preservers, meaning if you have a balloon filled with exactly one liter of air, no matter how much you squish or stretch it, it still holds exactly one liter. This is the realm of volume-preserving homeomorphisms.

For decades, mathematicians have tried to understand the hidden "fingerprints" left behind when these shapes move. One famous tool for tracking this movement is called flux. Think of flux like a cosmic odometer. If you push a fluid through a pipe, the flux tells you how much "stuff" has passed a certain point. In smooth, perfectly slippery fluids (where everything is differentiable), mathematicians have a precise way to calculate this odometer reading. But what happens when the fluid gets sticky, or the shape becomes a crumpled piece of paper that isn't perfectly smooth? The old tools break because they rely on smoothness. This is where the big question lies: Can we still measure the "movement" of these rough, crumpled shapes, and does that measurement still tell us something deep about the shape's underlying structure?

This paper, titled "C0-Analogue of Ismagilov's Theorem," by S. Tchuiaga, answers that question with a resounding "Yes." The author proves that even when we drop the requirement for smoothness and deal with these rough, continuous shape-shifters, the mathematical "odometer" (flux) still works perfectly. The paper establishes a new, robust way to measure the flow of volume-preserving homeomorphisms on a closed, oriented manifold (a fancy word for a shape that loops back on itself, like a sphere or a donut, with no edges).

The main discovery is a bridge between two seemingly different worlds: the world of continuous group cohomology (a way of measuring how these shape-shifting groups behave) and the world of de Rham cohomology (a classic way of measuring the "holes" in a shape). The paper proves that for these rough, continuous shape-shifters, the first continuous cohomology group is isomorphic to the first de Rham cohomology group. In plain English, this means that the "fingerprints" left by these rough movements are determined entirely by the holes in the shape itself, just as they are for smooth, perfect movements.

To do this, the author invents a "topological transport theory." Imagine trying to track a drop of dye moving through a river. If the river is smooth, you can draw a perfect line. If the river is turbulent and the water is chunky, you can't draw a line, but you can still track the average movement of the dye by watching where it ends up. The author uses a clever trick: they approximate the rough, continuous movements with a sequence of smooth, perfect movements (like using a high-resolution video to approximate a blurry photo). They show that even though the individual smooth steps might wiggle, the average flux settles down to a stable, continuous value. This allows them to define a "continuous flux homomorphism" that works for the rough shapes.

The paper also tackles the "C0-Flux Conjecture," a long-standing hypothesis in the field. This conjecture asks whether the group of homeomorphisms with "zero flux" (those that don't leave a net "odometer" reading) forms a closed, stable group. The paper proves that this is indeed true: the flux group is discrete, meaning there are no "in-between" states. You either have a specific, quantized amount of flux, or you have none. This is a huge deal because it means the "rigidity" of smooth mathematics survives even in the messy, continuous world.

One of the most exciting applications mentioned is for the 2-torus (a donut shape). The paper shows that if a volume-preserving homeomorphism on a torus has zero flux, it must have at least two fixed points (places where the shape doesn't move at all). This connects a purely mathematical calculation to a physical reality: if you squish a donut-shaped fluid without changing its total "flow," there will always be at least two spots that stay put.

In summary, this paper takes a classic theorem about smooth, perfect shapes and successfully translates it into the language of rough, continuous shapes. It proves that the fundamental rules of "flow" and "holes" are so strong that they survive even when the smoothness is stripped away. The author doesn't just suggest this might be true; they provide a rigorous proof using approximation techniques and topological arguments, showing that the "C0-analogue" (the continuous version) of Ismagilov's theorem holds firm. This opens the door for using these powerful mathematical tools in a much wider range of scenarios, from understanding turbulent fluids to exploring the deep structure of topological dynamics.

Technical Summary: $C^0$ -Analogue of Ismagilov's Theorem

Problem Statement
The paper addresses the extension of Ismagilov's cohomological theorem from the smooth category to the topological category. Classically, Ismagilov's theorem establishes that the first continuous cohomology of the identity component of the group of smooth volume-preserving diffeomorphisms ( $G^\infty_\Omega(M)$ ), with coefficients in the space of smooth zero-mean functions, is isomorphic to the first de Rham cohomology of the underlying closed oriented manifold $M$ . This result interprets continuous crossed homomorphisms as being determined by closed differential 1-forms, providing a cohomological understanding of the classical volume flux.

The central problem is whether this correspondence persists when the group is replaced by the identity component of volume-preserving homeomorphisms ( $Homeo^\Omega_0(M)$ ) equipped with the $C^0$ -topology. The lack of differentiability in the topological setting prevents the direct application of the classical volume flux homomorphism and the smooth arguments underpinning Ismagilov's theorem. The paper seeks to establish a $C^0$ -analogue of this theorem, identifying the first continuous cohomology of $Homeo^\Omega_0(M)$ with coefficients in the Banach space of continuous zero-mean functions ( $C^0_0(M)$ ) with the first de Rham cohomology $H^1(M; \mathbb{R})$ .

Methodology
The proof relies on a "four-step strategy" bridging topological dynamics and classical smooth cohomology, centered on the development of a topological transport theory for volume-preserving isotopies.

Approximation of Isotopies: The author utilizes the fact that for dimensions $n \neq 4$ , smooth volume-preserving isotopies are uniformly $C^0$ -dense in the space of continuous volume-preserving isotopies (based on Müller and Sikorav's approximation theorems). This density allows the extension of smooth concepts to the topological setting.
Construction of the Topological Cocycle: By exploiting the local contractibility of the identity component and the density of smooth isotopies, the author defines an intrinsic continuous flux. For a closed 1-form $\alpha$ , they construct a globally well-defined continuous 1-cocycle $\tau_\alpha(h)$ on $Homeo^\Omega_0(M)$ . This is achieved by taking the uniform $C^0$ -limit of the smooth flux functions associated with approximating sequences of smooth isotopies. A key technical tool is an estimate (Lemma 2.6) showing that the flux functionals are uniformly continuous with respect to the $C^0$ -metric on isotopies.
Injectivity via Smooth Bootstrapping: To prove the map from de Rham cohomology to continuous group cohomology is injective, the author assumes a cocycle $\tau_\alpha$ is a coboundary (i.e., $\tau_\alpha(h) = f - f \circ h$ for some continuous $f$ ). By restricting $h$ to smooth volume-preserving flows and taking directional derivatives along divergence-free vector fields, they "bootstrap" the regularity of $f$ , proving it must be smooth. They then invoke the classical Ismagilov theorem to conclude that the cohomology class $[\alpha]$ must be zero.
Surjectivity via $C^0$ -Density: For an arbitrary continuous 1-cocycle on the topological group, the author restricts it to the dense subgroup of smooth diffeomorphisms. By the classical theorem, this restriction is cohomologous to the flux of a closed 1-form. Because the smooth subgroup is $C^0$ -dense, this relation extends uniquely by continuity to the entire topological group.

Key Contributions and Results

Main Theorem (The $C^0$ -Analogue): For a closed oriented manifold $M$ of dimension $n \neq 4$ , the first continuous cohomology of $Homeo^\Omega_0(M)$ with coefficients in $C^0_0(M)$ is isomorphic to the first de Rham cohomology:
$H^1_{\text{cont}}(Homeo^\Omega_0(M), C^0_0(M)) \cong H^1(M; \mathbb{R}).$
This demonstrates that the correspondence between crossed homomorphisms and closed differential forms is insensitive to the loss of differentiability.
Topological Transport Theory: The paper introduces a robust transport framework for volume-preserving homeomorphisms. It defines an intrinsic continuous flux homomorphism $\mathcal{S}^{C^0}$ and an associated transport cocycle $\tau_\alpha$ . This theory serves as the topological substitute for the smooth flux required in cohomological arguments.
$C^0$ -Rigidity of the Flux Group: The paper proves that the flux group for volume-preserving homeomorphisms, denoted $\tilde{\Gamma}_\Omega$ , coincides with the smooth flux lattice $\Gamma_\Omega$ . Consequently, the flux group is discrete in $H^{n-1}(M; \mathbb{R})$ and has rank equal to the first Betti number $b_1(M)$ .
Resolution of the $C^0$ -Flux Conjecture: As a direct application, the paper resolves the volume-preserving $C^0$ -Flux Conjecture. It establishes that the subgroup of homeomorphisms with vanishing flux (the kernel of the flux homomorphism) is $C^0$ -closed in the identity component of the group of volume-preserving homeomorphisms.
Applications to Fixed Points and Non-Displaceability:
- On the 2-torus $T^2$ , the author derives a topological criterion for fixed points: any area-preserving homeomorphism isotopic to the identity with zero topological flux possesses at least two distinct fixed points (recovering Franks' theorem in this context).
- They prove that Lagrangian submanifolds (simple closed curves with non-zero homology) on $T^2$ cannot be displaced by any homeomorphism in the kernel of the flux homomorphism.
Second Cohomology and Central Extensions: The paper characterizes the second cohomology group related to the flux, showing that the flux homomorphism induces a non-trivial central extension of the group of volume-preserving homeomorphisms by the flux lattice.

Significance and Claims
The paper claims that its primary novelty lies not in the construction of the transport theory itself (which parallels developments in symplectic homeomorphisms), but in the realization that this theory provides the missing ingredient to extend Ismagilov's cohomological theorem from smooth diffeomorphisms to homeomorphisms.

The results illustrate that the transport theory in the $C^0$ -category is sufficiently robust to recover classical cohomological rigidity phenomena previously known only in the smooth setting. Specifically, the paper asserts that the first continuous cohomology is governed entirely by the topology of the underlying manifold, regardless of the loss of differentiability. Furthermore, the resolution of the $C^0$ -Flux Conjecture for volume-preserving homeomorphisms provides a complete, classical resolution for all closed surfaces, bypassing the need for the heavy Floer-homological machinery typically required in higher-dimensional symplectic topology. The work suggests that the algebraic structures underlying Floer-Novikov theory (such as the Novikov ring) are topologically rigid and persist in the $C^0$ -limit.

More like this