bio | website | dictionary.reference.com/… |
---|---|---|
location | Paris | |
age | 28 | |
visits | member for | 4 years |
seen | yesterday | |
stats | profile views | 806 |
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? |