Large deviation principle for the Airy point process

The Airy point process is a determinantal point process that arises from the spectral edge of the Gaussian Unitary Ensemble. In this paper, we establish a large deviation principle for the Airy point process. Our result also extends to point processes arising from the spectrum of the stochastic Airy operator.