Uniqueness of the de Sitter spacetime among static vacua with positive cosmological constant

We prove that, among all (n+1)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$(n+1)$$\end{document}-dimensional spin static vacua with positive cosmological constant, the de Sitter spacetime is characterized by the fact that its spatial Killing horizons have minimal modes for the Dirac operator. As a consequence, the de Sitter spacetime is the only vacuum of this type for which the induced metric tensor on some of its Killing horizons is at least equal to that of a round (n-1)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$(n-1)$$\end{document}-sphere. This extends uniqueness theorems shown in Boucher et al. (Phys Rev D 30:2447, 1984). Chruściel [2]. to more general horizon metrics and to the non-single horizon case.