The de Rham-Witt complex is a powerful tool in algebraic geometry for studying the geometry of varieties defined over fields of characteristic p (fields where p times 1 equals zero, like arithmetic modulo a prime). Inside the cohomology groups built from this complex lives a special substructure called a "domino," which captures subtle torsion and differential information that more familiar invariants miss. Dominoes are unusual objects because they are not finitely generated in the standard algebraic sense, and they carry the nontrivial differentials in a certain filtration called the slope spectral sequence. Until this work, dominoes in dimensions higher than one were not understood in any systematic way.
The authors bring order to this situation by fully classifying dominoes in dimension two and placing dominoes of any dimension into a canonical simplified form called a normal form. To each domino they associate two algebraic groups, one of a "formal" flavor and one of a "perfect" flavor, and they prove these two groups share the same partition structure up to isogeny, meaning they are equivalent in a coarse but meaningful sense. This gives a cleaner and more structured picture of what dominoes actually look like and how they relate to each other.
On the applications side, the authors show how to extract the domino from crystalline cohomology for an important class of varieties called Mazur-Ogus varieties, and they compute dominoes explicitly for two families of supersingular abelian varieties. Most concretely, they derive a bound on how large the p-power torsion part of the Brauer group of a variety can be, expressed in terms of a classical invariant called the a-number. The Brauer group measures obstructions to certain geometric constructions, so controlling its size has practical consequences. This resolves an open question posed by Grammatica, Skorobogatov, and Yang.