Imaginary geometry I: interacting SLEs

Abstract

Fix constants (Formula presented.) and (Formula presented.) , and let h be an instance of the Gaussian free field on a planar domain. We study flow lines of the vector field (Formula presented.) starting at a fixed boundary point of the domain. Letting (Formula presented.) vary, one obtains a family of curves that look locally like (Formula presented.) processes with (Formula presented.) (where (Formula presented.)), which we interpret as the rays of a random geometry with purely imaginary curvature. We extend the fundamental existence and uniqueness results about these paths to the case that the paths intersect the boundary. We also show that flow lines of different angles cross each other at most once but (in contrast to what happens when h is smooth) may bounce off of each other after crossing. Flow lines of the same angle started at different points merge into each other upon intersecting, forming a tree structure. We construct so-called counterflow lines ((Formula presented.)) within the same geometry using ordered “light cones” of points accessible by angle-restricted trajectories and develop a robust theory of flow and counterflow line interaction. The theory leads to new results about (Formula presented.). For example, we prove that (Formula presented.) processes are almost surely continuous random curves, even when they intersect the boundary, and establish Duplantier duality for general (Formula presented.) processes.