bio  website  perso.univstetienne.fr/… 

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

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"?). 
Sep 1 
reviewed  Edit suggested edit on An interesting double coset in the theory of automorphic forms 
Sep 1 
reviewed  Approve suggested edit on Failure of Fredholm property of elliptic PDE systems 
Aug 30 
reviewed  Approve suggested edit on Coloring summands of given npartition with given weights of colors 
Aug 29 
answered  Ideal classes fixed by the Galois group 
Aug 20 
reviewed  Approve suggested edit on Publishing problem 
Aug 17 
awarded  Custodian 
Aug 17 
reviewed  Approve suggested edit on Periodic Orbit property 
Jul 17 
comment 
How frequently is 3 a cubic residue mod primes in an arithmetic progression?
Nice, but I do not understand why you chek that $2$, rather than $3$, be a cubic nonresidue. 
Jul 9 
reviewed  Approve suggested edit on Pullback map in homology 