The paper studies a special type of random map drawn on a ring-shaped surface (an annulus) where every edge is given a direction and the directions are globally consistent in a precise sense, related to a well-studied family called bipolar-oriented maps. The key result is that a large random map of this type can be encoded by a two-dimensional walk on a grid, and as the map grows large, that walk converges to a two-dimensional Brownian motion. This gives a clean and powerful way to understand the large-scale randomness in these combinatorial objects.
The second main contribution connects this discrete picture to the theory of random geometry, specifically to Liouville Quantum Gravity (LQG) and the Schramm-Loewner Evolution (SLE). LQG is a model of a random surface with a fractal metric, and SLE is a model of a random fractal curve. The paper proves a "mating-of-trees" theorem for the annulus setting: the Brownian path that encodes the discrete maps, and a natural generalization of it, also encodes a random LQG annulus decorated by a particular space-filling SLE curve. Essentially, two random tree structures can be "mated" together along their boundaries to produce the random surface and curve simultaneously.
The mating-of-trees framework was previously established for simpler topologies, particularly the sphere and the disk. Extending it to the annulus is technically more demanding because the annulus has two boundary components, which introduces new combinatorial and geometric complications. This work fills that gap and adds to a growing body of results showing deep connections between discrete random maps and continuous random geometry, supporting the broader belief that many natural families of random planar maps converge to LQG surfaces in the scaling limit.