410 reputation
516
bio website dictionary.reference.com/…
location Paris
age 28
visits member for 4 years
seen yesterday
I am a Ph.D. Candidate at the Graduate School and University Center of the City University of New York. My research focus is Motivic Integration. I'm also around UPMC this year.

Jan
1
awarded  Yearling
Dec
28
accepted formally étale morphisms which are also universally closed
Dec
23
answered Integration on Compact Semirings
Dec
21
comment formally étale morphisms which are also universally closed
yes, you are right on both counts. the premise of the question is more or less wrong with regards to formally étale morphisms. and, for étale morphisms, the best one can say is finite étale covers. but of course one can study finite pro-étale covers or finite formally étale covers.
Dec
14
comment formally étale morphisms which are also universally closed
yes, it the second case f is finite etale. I guess not much can be said if I relax noetherian condition.
Dec
13
asked formally étale morphisms which are also universally closed
Nov
23
awarded  Civic Duty
Nov
19
comment algebraic multivariate power series over a field
Sure, my pleasure. I can think of another proof in the univariant case. I believe it should follow from cell-decomposition for definable subassignments in the language of Denef-Pas over $\mathbb{Q}[[X]]$, but this model-theoretic. Even though this is neither here nor there, I would like to know how to prove the multivariant case model-theoretically.
Nov
19
awarded  Vox Populi
Nov
19
awarded  Enthusiast
Nov
17
revised algebraic multivariate power series over a field
added 14 characters in body
Nov
17
revised algebraic multivariate power series over a field
edited body
Nov
17
answered algebraic multivariate power series over a field
Nov
15
comment algebraic multivariate power series over a field
It is a direct consequence of Artin's approximation theorem.
Nov
11
revised Are the Kahler Identities for a Holomorphic Vector Bundle Actually Interesting?
fixed minor typo
Nov
11
suggested suggested edit on Are the Kahler Identities for a Holomorphic Vector Bundle Actually Interesting?
Nov
8
comment Birational map of non-singular projective curves
I forgot that Silverman assumes the underlying field is perfect. This might be important because smoothness and regularity agree over a perfect field, but in general, smoothness is a stronger condition than regularity. I am certain that if you replace non-singular with smooth, then the statement is true over any field. But, if you require your curves just to be regular, then it might be the case that you have to assume the underlying field is perfect.
Nov
8
comment Birational map of non-singular projective curves
Or, for the geometric statement, see corollary 2.4.1 of the same chapter and section of that book.
Nov
8
comment Birational map of non-singular projective curves
Yes. See Chapter 2, Section 2 (in particular, Theorem 2.4(b)) of The Arithmetic of Elliptic Curves, by J. Silverman.
Nov
6
suggested suggested edit on Can this informal argument (for the fact that almost all reals in the unit interval are irrational) be saved?