Ramification of certain \(p\)-adic Lie extensions (Q1963830)

Sei \(K\) eine endliche Erweiterung von \(\mathbb{Q}_p\) mit absolutem Verzweigungsindex \(e\). Seien ferner \(G\) eine \(p\)-adische Lie-Gruppe endlicher Dimension \(\geq 1\) und \(L\) eine vollverzweigte Galois-Erweiterung von \(K\) mit Galois-Gruppe \(G= \operatorname {Gal} (L/K)\). Für alle \(x\geq 0\) bezeichne \(G_{L/K}(x)\) die Verzweigungsgruppe von \(L/K\) zum oberen Index \(x\). Seit 1972 ist durch ein Resultat von \textit{S. Sen} [Invent. Math. 17, 44-50 (1972; Zbl 0242.12012)] daß es eine reelle Zahl \(x_{L/K}\) gibt, so daß \[ G_{L/K}(x)^p= G_{L/K} (x+e)\quad \text{für alle }x\geq x_{L/K} \] gilt. In dem vorliegenden Artikel präzisiert F. Laubie wie folgt dieses Ergebnis: Die Zahl \(x_{L/K}\) kann so gewählt werden, daß sie nur von \(G\) und \(K\) (aber nicht von \(L\)) abhängt. Der Autor schließt mit folgendem Satz: Lediglich für endlich viele Filterungen \((G_x)_{x\geq 0}\) von \(G\) existiert eine Erweiterung \(L\) so, daß \[ G_{L/K}(x)= G_x \quad \text{für alle } x\geq 0 \] gilt.