bio  website  perso.univstetienne.fr/… 

location  SaintEtienne, France  
age  32  
visits  member for  3 years 
seen  3 hours ago  
stats  profile views  1,426 
I am currently a Maître de Conférences in SaintÉtienne, in France. I am particularly interested in Number Theory and Arithmetic Geometry.
41m

awarded  Good Answer 
3h

revised 
What is the most useful nonexisting object of your field?
added 10 characters in body 
3h

comment 
What is the most useful nonexisting object of your field?
Ah, yes, that is what I meant... 
18h

awarded  Explainer 
1d

awarded  Nice Answer 
2d

answered  What is the most useful nonexisting object of your field? 
Sep 25 
comment 
Is there an analog of the Birch/SwinnertonDyer conjecture for abelian varieties in higher dimensions?
In your question, you ask about Abelian Varieties and on that direction Joe Slverman's answer is indeed very complete (and accepted, as I see). But "most" of BSD has been generalized to more general varieties, without the need of any group structure, mainly by Bloch and Kato. So I wonder whether you are intentionally focusing on Abelian Varieties or if you were interested in generalizations to any sort of higher domensional gadhets. 
Sep 23 
comment 
Adelic open image for modular forms?
@David: as far as I understand, you are looking for a generalization both in the weight and in letting the coefficient field be bigger than $\mathbb{Q}$. Why not just sticking to $k\geq 2$ but $E_f=\mathbb{Q}$? 
Sep 18 
comment 
Letter from Grothendieck to Tate on “crystals”
I finally gave up my project since the version I had of the letter is quite unreadable. That being said, I rechecked the link tonight and it works on my PC...very strange. If you still have troubles, you can contact me be email and I'll send you my pdf. 
Sep 16 
reviewed  Approve suggested edit on Decomposition of symmetric homogeneous polynomials 
Sep 10 
comment 
Canonical presentation of promodules over prorings
Ah, I forgot your condition that $M_{i+1}\otimes _{A_{i+1}}A_i\cong M_i$  indeed it does not hold in my "counterexample". 
Sep 10 
comment 
Canonical presentation of promodules over prorings
@Martin: Actually, I do not see why you say that the $\alpha_j$'s are surjective. The counterexample I had in mind to $\alpha_h$ being an isomorphism comes from Iwasawa theory, but in general in that case one has neither surjectivity nor injectivity. Jence I wonder if it fits  therefore, to start with, I am trying (without success) to understand why in your setting should surjectivity be clear. 
Sep 10 
comment 
Canonical presentation of promodules over prorings
A part from the geometric motivation, why do you introduce the category $\mathcal{M}$? I feel you are asking whether you can recover the $j$th piece of a projective system from its projective limit, under thw assumption that transition maps at level of ring are onto. Is that right? 
Sep 9 
awarded  Citizen Patrol 
Sep 7 
comment 
Pseudonyms of famous mathematicians
Yes, it is indeed. 
Sep 4 
comment 
explicit uniformizer for the false Tate extension
As for Q1 I was still thinking about it. As a first approach I tried to pin down a uniformizer $\varpi$ of $K$ such that $M\subseteq L_{\varpi,p^n}$ (in LubinTate's notation). My second step would be to understand how does $\mathrm{Gal}(K/\mathbb{Q}_p)$ act on $G_{\varpi,p^n}$ in order to identify the stable $\mathbb{Z}/p^n\mathbb{Z}$lines with respect to this action, since $\mathrm{Gal}(M/K)$ would be one of those. But I am stuck on the first point... 
Sep 4 
revised 
Can a sum of roots of unity be an integer?
edited tags 
Sep 4 
revised 
explicit uniformizer for the false Tate extension
added 3 characters in body 
Sep 3 
answered  explicit uniformizer for the false Tate extension 
Sep 1 
comment 
Are there some other notions of “curvature” which measure how space curves?
Extremely nice and enlighting answer. Do you have some reference where the whole story is treated the way you present it, or does it come out of your experience (and then: why don't you turn it into a "reference"?). 