Rationally isotropic exceptional projective homogeneous varieties are locally isotropic (Q273876)

``The main result of the present article extends the main results of [\textit{I. Panin}, Invent. Math. 176, No. 2, 397--403 (2009; Zbl 1173.11025)] and [\textit{I. Panin} and \textit{K. Pimenov}, Doc. Math., J. DMV Extra Vol., 515--523 (2010; Zbl 1270.11035)] to the case of exceptional groups. In the latter paper one can find historical remarks which might help the general reader. All the rings in the present paper are commutative and Noetherian. We prove the following theorem.NEWLINENEWLINETheorem 1. Let \(R\) be a regular local ring that contains an infinite field and whose field of fractions \(K\) has characteristic \(\neq 2\). Let \(G\) be a split simple group of exceptional type (that is, \(E_6\), \(E_7\), \(E_8\), \(F_4\), or \(G_2\)), \(P\) be a parabolic subgroup of \(G\), \([\xi]\) be a class from \(H^1(R,G)\), and \(X = (G/P)_\xi\) be the corresponding homogeneous space over \(R\). Assume that \(P \neq P_7, P_8, P_{7,8}\) in case \(G = E_8\), \(P \neq P_7\) in case \(G = E_7\), and \(P \neq P_1\) in case \(G = E_7^{ad}\). Then the condition \(X(K) \neq \emptyset\) implies \(X(R) \neq \emptyset\).''NEWLINENEWLINEAlso, purity statements for some \(H^1(-)\) functors are obtained (see Theorems 2, 3, 4, and 5) and they form, along with Lemma 8, a key-ingredient to prove Theorem 1.