bio | website | perso.ens-lyon.fr/… |
---|---|---|
location | Lyon, France | |
age | 37 | |
visits | member for | 4 years, 2 months |
seen | 21 hours ago | |
stats | profile views | 2,849 |
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. |