4,567 reputation
11533
bio website perso.ens-lyon.fr/…
location Lyon, France
age 37
visits member for 3 years, 11 months
seen Apr 11 at 7:03
I am a number theorist working in Lyon (France).

May
8
revised Where to find Asterisque online?
added 153 characters in body
May
8
answered Where to find Asterisque online?
Apr
30
awarded  Yearling
Mar
17
comment What are p-adic period rings?
These are very good examples! Another example is that these rings of periods can be used to define the $H^1_f$ groups "at p".
Mar
14
comment are the smooth vectors of a Frechet space dense?
Of course, this all depends on what you precisely mean by "smooth". It's a theorem of Schneider and Teitelbaum that if you have a unitary irreducible representation of a p-adic Lie group on a p-adic Banach space, then the locally analytic vectors are dense.
Mar
14
answered are the smooth vectors of a Frechet space dense?
Mar
1
comment What is the first interesting theorem in (insert subject here)?
@Marcos : "I don't understand why he didn't prove it generally". Presumably because the definition of a group was only given in the mid-19th century.
Mar
1
awarded  Nice Answer
Feb
29
comment What is the “positive part” of the unit ball in $M_n(R)$ ?
The answer for $n=3$ is given in $\S 4.1$ of arxiv.org/abs/0911.5436. In $\S 4.4$ of ibid, there's a discussion of some properties of the convex hull of $SO(n)$ for larger $n$.
Feb
27
comment Proof that the Pontryagin dual of a topological group is a topological group
Take a look at Lefschetz' book "Algebraic topology", the beginning has a lot of detailed background on topological groups and Pontryagin duality. It's a little old fashioned, but I found it very useful.
Feb
10
comment What is the name for a finite-group representation that is the sum of all the irreducibles (once)?
"It should also be the socle of the regular representation" -> Of course, this is a silly comment, it is not the socle!
Feb
8
comment What is the name for a finite-group representation that is the sum of all the irreducibles (once)?
It should also be the socle of the regular representation.
Jan
3
awarded  Enlightened
Jan
3
awarded  Nice Answer
Dec
20
answered Can a p-adic representation and its twist by a non-crystalline character both have nontrivial $D_{cris}$?
Dec
16
comment Titles composed entirely of math symbols
I wanted to publish a paper called "B-pairs and (φ,Γ)-modules" but the editors made me change it on the ground that they did not want too many math symbols in a title.
Dec
7
accepted Banach-Mazur applied to a Hilbert space
Dec
6
comment Banach-Mazur applied to a Hilbert space
Thank you! I'll try to convince myself why this works.
Dec
6
comment Banach-Mazur applied to a Hilbert space
For some reason, it's much easier to realize $\ell^1(R)$ as a subspace of $C^0([0;1],R)$.
Dec
6
comment Banach-Mazur applied to a Hilbert space
Thank you! I was hoping for an easier answer, but of course now that I think about it, a sequence of functions which form a Hilbert basis really amounts to the coordinates of a continuous surjective map to the weak unit ball, so the answer is bound to be complicated.