11
$\begingroup$

Suppose I have a prime $p$ and a finite group $G$ together with representations $\sigma: G \to GL_n(\mathbb{Q}_p)$ and $\pi: G \to GL_n(\mathbb{F}_p)$. My question is:

When does there exist a representation $\rho: G \to GL_n(\mathbb{Z}_p)$ such that $\sigma$ is isomorphic to the base change of $\rho$ to $\mathbb{Q}_p$, and $\pi$ is isomorphic to the base change of $\rho$ to $\mathbb{F}_p$?

One necessary condition is that for any $p$-regular element $g \in G_{reg}$, the trace of $\sigma(g)$ is equal to the Brauer character of $\pi(g)$. However, I can't tell if this is sufficient or not - the results in Serre's Linear Representations book only give me existence theorems up to semisimplification. I tried to cook up a suitable $G$-stable $\mathbb{Z}_p$-lattice using affine buildings, but I got hopelessly lost.

$\endgroup$

1 Answer 1

13
$\begingroup$

The condition on Brauer characters is not sufficient.

Let $G$ be a $p$-group, $\pi$ any nontrivial representation over $\mathbb{F}_p$, and $\sigma$ the trivial representation over $\mathbb{Q}_p$ of the same degree as $\pi$. Then a representation over $\mathbb{Z}_p$ whose base change to $\mathbb{Q}_p$ is isomorphic to $\sigma$ must also be trivial, so its base change to $\mathbb{F}_p$ can’t be isomorphic to $\pi$.

But the condition on Brauer characters is trivially satisfied.

$\endgroup$
2
  • $\begingroup$ Thank you for that observation. Do you know of any good sufficient conditions or references that discuss this question? $\endgroup$
    – S. Carnahan
    Commented Mar 18, 2018 at 15:59
  • $\begingroup$ @S.Carnahan For very special representations there might be something you can say, but in this level of generality I don’t know of anything. Regarding references, I think Feit’s book on representations of finite groups goes into more detail about this kind of thing than most other books I know. $\endgroup$ Commented Mar 18, 2018 at 19:12

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .