Collections of Orbits of Hyperplane Type in Homogeneous Spaces, Homogeneous Dynamics, and Hyperkähler Geometry

Abstract

Abstract Consider the space M = O(p, q)/O(p) × O(q) of positive p-dimensional subspaces in a pseudo-Euclidean space V of signature (p, q), where p > 0, q > 1 and $(p,q)\neq (1,2)$, with integral structure: $V = V_{\mathbb{Z}} \otimes \mathbb{Z}$. Let Γ be an arithmetic subgroup in $G = O(V_{\mathbb{Z}})$, and $R \subset V_{\mathbb{Z}}$ a Γ-invariant set of vectors with negative square. Denote by R⊥ the set of all positive p-planes W ⊂ V such that the orthogonal complement W⊥ contains some r ∈ R. We prove that either R⊥ is dense in M or Γ acts on R with finitely many orbits. This is used to prove that the squares of primitive classes giving the rational boundary of the Kähler cone (i.e., the classes of “negative” minimal rational curves) on a hyperkähler manifold X are bounded by a number which depends only on the deformation class of X. We also state and prove the density of orbits in a more general situation when M is the space of maximal compact subgroups in a simple real Lie group.