The descending conjecture for geometric subrepresentations
Descending conjecture. The geometric sublocal system in Theorem 1.2 descends to a Zp{\mathbb Z}_pZp-étale subrepresentation