2,396 reputation
1029
bio website perso.univ-st-etienne.fr/…
location Saint-Etienne, France
age 32
visits member for 3 years
seen 3 hours ago

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 non-existing object of your field?
added 10 characters in body
3h
comment What is the most useful non-existing 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 non-existing object of your field?
Sep
25
comment Is there an analog of the Birch/Swinnerton-Dyer 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 re-checked the link tonight and it works on my PC...very strange. If you still have troubles, you can contact me be e-mail 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 pro-modules over pro-rings
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 pro-modules over pro-rings
@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 pro-modules over pro-rings
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 Lubin-Tate'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"?).