30,538 reputation
362140
bio website math.tsukuba.ac.jp/~carnahan
location 筑波市, Japan
age
visits member for 5 years, 9 months
seen Jul 3 at 0:29
I think this is a neat project.

Jul
3
answered Model over DVR for smooth projective curves
Jun
11
awarded  Nice Answer
Jun
9
awarded  Nice Question
Jun
2
revised paper by Nakata on 2-adic Galois representations
Updated information
May
13
awarded  Nice Answer
May
6
awarded  Nice Answer
Apr
30
awarded  Favorite Question
Mar
26
awarded  Good Answer
Mar
21
comment $\mathcal{M}_{g,n}$ a scheme for $n \gg 0$?
Bjorn's comment under JSE's answer addresses the representability question. The absence of automorphisms automatically yields an algebraic space, but the coarse moduli space is known to be a quasi-projective variety, so you get a scheme.
Mar
21
comment $\mathcal{M}_{g,n}$ a scheme for $n \gg 0$?
This is covered in mathoverflow.net/questions/11253/… . See in particular JSE's answer.
Mar
18
awarded  Nice Answer
Mar
6
comment Maryam Mirzakhani's works
In general, if you want to know about a Fields Medalist's (pre-medal) work, the Laudationes is a good place to start, and is available at the IMU website.
Mar
6
comment When an elliptic curve is a quotient of $\mathbb{G}_a$?
The exponential function doesn't converge on the whole Lie algebra. Even after restriction, I think surjectivity would require base change to some period ring.
Mar
5
comment When an elliptic curve is a quotient of $\mathbb{G}_a$?
There is a $\mathbb{G}_m$-uniformization of $p$-adic analytic elliptic curves with bad reduction. However, the exponential function isn't $p$-adically entire, so lifting to an additive uniformization seems difficult.
Mar
3
comment Definition of internal field objects
This might be the discussion you remember: mathoverflow.net/questions/3003/…
Mar
2
reviewed Close Embedding rational simple algebras in the real quaternions
Feb
25
comment Automorphisms of a quotient variety
For your example, don't you need your automorphism of $\mathbb{A}^n$ to commute with the action of $k^\ast$?
Feb
20
comment Artin approximation of a diagram
Could you make the statement of your question more precise?
Feb
20
comment Axioms for sheaf cohomology
You should ask Tyler. It would be unfair for me to delete his contribution without his consent.
Feb
19
awarded  Nice Answer