16

2

Let $K$ be a finite extension of the $p$-adic numbers. Suppose that $V$ and $W$ are two (finite dimensional, $p$-adic) continuous representations of $G_K$. Suppose that $V \otimes W$ is crystalline. Is $V$ crystalline up to twist by a character of $G_K$?

flag
2 
Is the zero-dimensional representation crystalline? If so....(Sorry for this.) – Pete L. Clark Apr 29 2010 at 18:37
Idea - we (i.e., not me) know the combinatorics of how tensoring two filtered phi modules affect the Hodge and Newton polygons, and we know the Hodge and Newton polygons of characters. So I think a proof or counterexample could be constructed by thinking about these pictures. – Hunter Brooks Apr 29 2010 at 18:39
3 
@Hunter: the problem is that V and W might not even be Hodge-Tate! Consider for example a random 1-dimensional non-Hodge-Tate V and let W be its dual! – Kevin Buzzard Apr 29 2010 at 19:40
1 
@FC: presumably you can do the ell-adic case? If V tensor W is unramified, is V a twist of an unramified rep? I am wondering whether you might want to start by looking at Sen operators and twisting so that V and W have integral Hodge-Tate weights at least. – Kevin Buzzard Apr 29 2010 at 19:44
1 
@FC: if you just want to know the answer, it's "yes", and I know this because I asked Berger. He didn't tell me why though. – Kevin Buzzard Apr 30 2010 at 0:05
show 2 more comments

1 Answer

17

I'm indeed pretty sure that the answer is "yes". I'd prefer not to post the idea of the proof here because I asked one of my PhD students to write it down with all the details.

link|flag
2 
Just out of curiosity, had you already asked your student to do this before the question came up on MO? – Ben Webster May 1 2010 at 19:55
9 
I pretty sure Berger had already given his student this problem. I'm guessing this is not simply a coincidence, however, because I asked Colmez and Fontaine the same question in IHP in March (in the context of a conversation during a coffee break in the middle of a conference), I forget if I asked Berger also. So I still claim to be 0-for-4 for my MO questions. (I was actually going to sent my previous question to BC in an email, but posted it on MO instead. The result was that I got the same response, except minus all the vowels.) – Lavender Honey May 1 2010 at 21:16
5 
I asked my student to do this in December of 2009. As far as I can remember, it was Barry Mazur who asked me this question when I was at Harvard (so that was at least 5 or 6 years ago). If I remember correctly, he wanted to know what "Sym^2 V crystalline" implied about V. Between then and now, a couple more people asked me the more general question about V \otimes W (I unfortunately don't remember their names). In both cases, I told them the method which I thought would solve the problem, and didn't hear back from them. – Laurent Berger May 2 2010 at 8:40

Your Answer

Get an OpenID
or

Not the answer you're looking for? Browse other questions tagged or ask your own question.