4,789 reputation
11734
bio website perso.ens-lyon.fr/…
location Lyon, France
age 37
visits member for 4 years, 6 months
seen Oct 25 at 17:56
I am a number theorist working in Lyon (France).

Jul
26
comment Linear map with two “incompatible” representations
Very nice, thank you!
Jul
24
comment If $G$ is compact, $H \leq G$ open, $V$ an irreducible $H$-rep, is $\text{Ind}_H^G$ semisimple?
The continuity of the action does not imply that V is finite diml.
Jul
13
comment is there a p-adic implicit function theorem?
See page 73 of the latest edition of Serre's book.
Jul
13
comment Power series defined by Witt vectors / Teichmüller representatives of p-adics
... "Quiconque s’est intéressé aux corps locaux sait bien qu’une extension très ramifiée du corps $Q_p$ des nombres $p$-adiques ressemble à s’y méprendre à un corps de séries formelles à coefficients dans son corps résiduel. C’est sans doute Marc Krasner qui a tenté le premier de formuler ce phénomène abondamment utilisé depuis en théorie de Hodge p-adique [...]" (Fontaine, Bourbaki 1057).
Jul
13
comment Power series defined by Witt vectors / Teichmüller representatives of p-adics
If you take $K$ to be ramified and play the same game, then as you increase the ramification, your two fields are "more and more isomorphic". This observation of Krasner is the basis for the theory of the "field of norms" and more recently the theory of "perfectoid spaces". Here is what Fontaine says about this in his recent Bourbaki exposé...
Jul
13
comment What is the lowest-weight non-cyclotomic Galois representation in $\overline{\mathcal M}_{g,n}$?
I think that Gaëtan Chenevier is thinking about these things as well, you could ask him directly.
May
2
comment How to correct an error in a submitted paper?
Same here - I recently had a paper rejected on the basis of three reports, one of which was a very angry report which was not based on the version of the paper that I'd sent to the journal. My paper, however, stayed rejected after this was pointed out :-(
Feb
6
comment Status of local Langlands conjecture over positive characteristic
Laumon pas Laumont!
Nov
26
comment maximal abelian extension of quadratic extension of $\mathbb Q_p$
You can always take $f(T)=\pi T + T^q$ where $\pi$ is a uniformizer and $q$ is the cardinality of the residue field. Any power series satisfying the conditions that you wrote will do.
Oct
16
comment De Rham cohomology of formal groups
@Jon Beardsley: thank you!
Oct
1
comment $(\varphi, \Gamma)$-modules of finite height
"Since representations that aren't of finite height do exist": take a semistable noncrystalline representation.
Sep
10
comment Why does $H^i(X_{ét},\mathbb{Q}_p)$ have a Hodge-Tate structure?
As Keerthi pointed out, it's after you tensor by Cp that the powers of the cyclo char appear. But a statement like that is true for any Galois repn V by Sen's theory. What is specific to the étale cohomology is that it's integer powers of the cyclo char that appear. This is where you use the geometric input. As to why this is so...
Aug
27
comment $(\varphi, \Gamma)$-module of dimension 2 modulo $p$
"Finite height" does mean that in some basis, there are no denominators. This does not imply the same property holds in your favorite basis :)
Jul
9
comment Cyclotomic extension of p-adic fields
Oh ok, thank you for the clarification!
Jul
9
comment Cyclotomic extension of p-adic fields
@Larsson: "Typical"? :-( See math.u-psud.fr/~biblio/pub/2000/abs/ppo2000_24.html for the preprint version of Fontaine's paper, and see mathoverflow.net/questions/96257/… concerning the availability of Asterisque.
Jul
8
comment Cyclotomic extension of p-adic fields
What do you mean "what can be said"? If you add the $p^n$-th roots of $1$ for all $n$, (and not just the $p$-th roots as in your question) you get an extension whose Galois group is an open subgroup of $Z_p^\times$, and whose residue field is a finite extension of $F_p$. These extensions are used a lot in $p$-adic Hodge theory, so I suggest you look at papers in that area, eg Fontaine's "Arithmétique des représentations galoisiennes $p$-adiques". There's a lot of info about the ramification of that extension, for example.
Jul
5
comment Does there exist a non-square number which is the quadratic residue of every prime?
On the other hand, 16 is an 8th power modulo every prime!
Jul
4
comment Omitting primes from a Hecke algebra
@Kevin: "So knowing a Galois representation mod 2 does not tell you what the crystalline Frobenius eigenvalues are mod 2". I'm not sure exactly what you mean, but if ell=p, then the mod p Galois repn carries very little information about the Galois repn and the crystalline Frobenius.
Jun
24
comment Is there a known example of a curve X of genus > 1 over Q such that we know the number of points of X over the n-th cyclotomic field, for every n?
Concerning solvable points on projective curves: there are some results of Ciperiani and Wiles "Solvable points on genus one curves" and of Pal as well "Solvable points on projective algebraic curves", "Solvable points on genus one curves over local fields" and "Curves which do not become semi-stable after any solvable extension".
Jun
7
comment Roadmap to reach Arithmetic Geometry for a Physics Major
Take a look at the book "From Number Theory to Physics". Exerpt from the blurb : "The 14 chapters of this book are extended, self-contained versions of expository lecture courses given at a school on "Number Theory and Physics" held at Les Houches for mathematicians and physicists. Most go as far as recent developments in the field. Some adapt an original pedagogical viewpoint."