Brownian motion correlation in the peanosphere for κ >8

The peanosphere (or "mating of trees") construction of Duplantier, Miller, and Sheffield encodes certain types of γ - Liouville quantum gravity (LQG) surfaces (γ ∈ (0, 2)) decorated with an independent SLEκ (κ = 16/γ 2 > 4) in terms of a correlated two-dimensional Brownian motion and provides a framework for showing that random planar maps decorated with statistical physics models converge to LQG decorated with an SLE. Previously, the correlation for the Brownian motion was only explicitly identified as -cos(4π/κ) for κ ∈ (4, 8] and unknown for κ > 8. The main result of this work is that this formula holds for all κ > 4. This supplies the missing ingredient for proving convergence results of the aforementioned type for κ > 8. Our proof is based on the calculation of a certain tail exponent for SLEκ on a quantum wedge and then matching it with an exponent which is well-known for Brownian motion.