Half-space Airy line ensembles

We construct a one-parameter family of infinite line ensembles on $[0, \infty)$ that are natural half-space analogues of the Airy line ensemble. Away from the origin these ensembles are locally described by avoiding Brownian bridges, and near the origin they are described by a sequence of avoiding reverse Brownian motions with alternating drifts, that depend on the parameter of the model. In addition, the restrictions of our ensembles to finitely many vertical lines form Pfaffian point processes with the crossover kernels obtained by Baik-Barraquand-Corwin-Suidan (Ann. Probab., 46(6), 3015-3089, 2018)