4,657 reputation
11633
bio website perso.ens-lyon.fr/…
location Lyon, France
age 37
visits member for 4 years, 2 months
seen 21 hours ago
I am a number theorist working in Lyon (France).

Jul
12
awarded  Nice Answer
Jul
11
comment Incidences of rigorous proofs used in legal proceedings
Our students (at the ENS de Lyon) like AC very much when they hear about it, to the point that they feel that they need it in order to choose one element from a set of two.
Jul
11
answered Incidences of rigorous proofs used in legal proceedings
Jun
25
answered What's the name for the analogue of divided power algebras for x^i/i?
May
27
revised 1-dimensional semi-stable Galois representations with coefficients
added 724 characters in body
May
27
answered 1-dimensional semi-stable Galois representations with coefficients
May
8
comment Where to find Asterisque online?
@quid: yes you're right. In my defense, the "Astérisque" style of 10 years ago looks very much like the "brochure" style of today.
May
8
comment Where to find Asterisque online?
The Bourbaki seminars that are available on Numdam are the versions that the authors hand out before their talk. They're not the final versions that are published in Asterisque.
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.