Impact
~53k
people reached
 0 posts edited
 0 helpful flags
 287 votes cast
5h

reviewed  Close Understanding Strong Normalization for Identity Types in MartinLöf Intensional Type Theory 
5h

reviewed  Leave Open Nonregular 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. 105106, 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. 