Reputation
4,054
Next privilege 5,000 Rep.
Approve tag wiki edits
Badges
13 41
Impact
~53k people reached

  • 0 posts edited
  • 0 helpful flags
  • 287 votes cast
5h
reviewed Close Understanding Strong Normalization for Identity Types in Martin-Löf Intensional Type Theory
5h
reviewed Leave Open Non-regular languages fulfilling the Pumping Lemma
5h
reviewed Reject Is there an image for you that epitomizes mathematics?
18h
accepted Resolution of singularities in étale cohomology
Apr
25
revised A suspected typo, and Deligne's image of the general fiber swallowing the special
Corrected an important but obvious error.
Apr
25
asked A suspected typo, and Deligne's image of the general fiber swallowing the special
Apr
17
revised Resolution of singularities in étale cohomology
Summarizing what I see in the answer and other sources.
Apr
17
awarded  Nice Question
Apr
17
revised What is known about the reverse mathematics of algebraic number fields?
A correction based on a comment.
Apr
17
comment What is known about the reverse mathematics of algebraic number fields?
@KConrad Certainly you are right about that.
Apr
10
awarded  Yearling
Apr
10
revised Resolution of singularities in étale cohomology
Absorbing the current comment and answer.
Apr
9
awarded  Quorum
Apr
9
awarded  Nice Question
Apr
9
revised Resolution of singularities in étale cohomology
Adding Milne's motivation.
Apr
8
asked Resolution of singularities in étale cohomology
Apr
4
comment How can we formalize the naturality of certain characteristic subgroups?
@GabeCunningham This answer not quite true about the center. The center is given as a functor on the category of groups and surjective group homomorphism (not just isomorphisms).
Mar
30
revised Etale cohomology of $\mathrm{Spec}(k\{X,Y\})\backslash\langle0,0\rangle$
Incorporated a comment.
Mar
29
comment A Kunneth formula for the etale cohomology of the product of ('simple') varieties over not (necessarily) algebraically closed field
Has there been further progress on this, over the past 4 years?
Mar
29
comment Etale cohomology of $\mathrm{Spec}(k\{X,Y\})\backslash\langle0,0\rangle$
Detailed correction to the comment. You meant to say Artin's affine theorem shows $H^i(\mathbb{A}^1,\mathbb{Z}/n\mathbb{Z})$ vanishes for $i>2$ and the Kummer sequence gives both $i=1$ and $i=2$. And Artin gives this argument in Grothendieck Topologies pp. 105-106, except he does not refer to an affine theorem, he just gives the result for curves and says it is known from dimension theory in Galois cohomology.