bio  website  math.uga.edu/~pete 

location  Athens, GA  
age  38  
visits  member for  5 years, 1 month 
seen  2 days ago  
stats  profile views  26,502 
Primary research interests: number theory, arithmetic geometry, Galois cohomology
Secondary research interests: field theory, commutative algebra, general topology, model theory, and various combinations thereof
I also have an enduring interest in mathematical exposition.
1d

awarded  Good Answer 
Nov 5 
awarded  Good Answer 
Nov 4 
awarded  Popular Question 
Nov 1 
awarded  Nice Question 
Nov 1 
comment 
Is there a proof of Warning's Second Theorem using padic cohomology?
Thanks, ACL. When I get the chance, perhaps I'll contact you and ask/say a bit more. 
Oct 31 
revised 
Is there a proof of Warning's Second Theorem using padic cohomology?
added 508 characters in body 
Oct 31 
comment 
Is there a proof of Warning's Second Theorem using padic cohomology?
My feeling on this is as follows: Warning's Second Theorem is an "Archimedean" inequality, not a $p$adic congruence. It is known that it does not follow from the strongest possible $p$adic congruence (AxKatz). Thus I find it counterintuitive that it could come out this way. So if you could show me such a proof even in the smooth homogeneous case, I would be quite interested. 
Oct 31 
revised 
Is there a proof of Warning's Second Theorem using padic cohomology?
deleted 9 characters in body 
Oct 31 
asked  Is there a proof of Warning's Second Theorem using padic cohomology? 
Oct 26 
awarded  Yearling 
Oct 18 
awarded  Guru 
Oct 16 
awarded  Popular Question 
Oct 15 
awarded  Stellar Question 
Oct 7 
awarded  Good Answer 
Oct 6 
comment 
If all balls at $x$ and $y$ are isometric is there an isometry sending $x$ to $y$?
For my part, I found this answer to be elegant and easy to understand. While thinking about it, I got a "modeltheoretic flash": it reminds me of issues of "local isomorphism" which arise in that subject. I wonder if one can make a real connection there... 
Oct 6 
comment 
Minimal model of a nonsingular complex projective surface defined over $\overline{\mathbb Q}$
Hartshorne, Theorem V.5.7, proves Castelnuovo's Criterion over any algebraically closed field. 
Oct 6 
revised 
Minimal model of a nonsingular complex projective surface defined over $\overline{\mathbb Q}$
added 632 characters in body 
Oct 6 
answered  Minimal model of a nonsingular complex projective surface defined over $\overline{\mathbb Q}$ 
Oct 3 
awarded  Famous Question 
Sep 30 
awarded  Explainer 