The starting point of a directed geodesic is special

Source abstract

For any $t\in [0,1/2)$, consider the process $η_t:[0,1/2]\mapsto\mathbb{R}$ defined by $η_t(s)=Π(t+s)-Π(t)$, where $Π$ is the directed geodesic from $(0,0)$ to $(0,1)$ in the directed landscape. Let $0\leq t 0$. This proves Conjecture 14.5 in Dauvergne, Ortmann, and Virág, 2022 in the affirmative.