bio  website  math.princeton.edu/~wsawin 

location  Princeton, NJ  
age  20  
visits  member for  2 years, 10 months 
seen  1 hour ago  
stats  profile views  17,890 
I am a graduate student at Princeton studying arithmetic algebraic geometry.
1h

comment 
function field analogy and global/absolute geometry
Not Weil zeta function? 
21h

comment 
Can assignment solve stable marriage?
Why are these inequalities strict? 
Jul 18 
answered  Is there a truly general voting impossibility theorem that applies to real elections? 
Jul 18 
comment 
generalization Abhyankar's lemma
@FrancescoPolizzi yes, sorry for my mistake. 
Jul 18 
awarded  Revival 
Jul 17 
comment 
generalization Abhyankar's lemma
@FrancoPolizzi It's in SGA 1 XII.5.2. 
Jul 15 
awarded  Nice Answer 
Jul 15 
comment 
On the conductor of the Groessencharacter of a CM elliptic curve
Yes, you can see this very easily by multiplying the Grossencharacter with a quadratic character $\mathbb A_L^\times \to \mu_2$. 
Jul 14 
answered  On the conductor of the Groessencharacter of a CM elliptic curve 
Jul 14 
comment 
Formal group law is a group object in …?
@QiaochuYuan Yes, I forgot to say that the constant terms of the power series all vanish. 
Jul 14 
comment 
Classification (and automorphisms) of torsionfree modules/sheaves
@MatthiasWendt well, in the case you have a $Quot$ scheme to parametrize them, you need to take the action of $GL_2(R[X,Y])$ on the Quot scheme and look at the stabilizer. If $GL_2$ is infinitedimensional and the Quot scheme is finitedimensional then this is a finite codimension subgroup and so can't be any nice matrix group like upper triangular matrices. 
Jul 13 
answered  Does a lisse $\ell$adic sheaf give rise to an affine group scheme? 
Jul 13 
comment 
Formal group law is a group object in …?
The category whose objects are natural numbers and such that the morphisms from $n$ to $m$ are the $m$tuples of formal power series in $n$ variables, with composition given by composition of power series. 
Jul 13 
comment 
Classification (and automorphisms) of torsionfree modules/sheaves
Doesn't your doubledual argument show that the automorphism group maps injectively to the automorphism group of the double dual? In this case that is $R^\times$, and clearly the map is an isomorphism. 
Jul 13 
awarded  Nice Question 
Jul 13 
comment 
What is the lowestweight noncyclotomic Galois representation in $\overline{\mathcal M}_{g,n}$?
@LaurentBerger thanks for the tip! 
Jul 13 
comment 
What is the lowestweight noncyclotomic Galois representation in $\overline{\mathcal M}_{g,n}$?
@NAME_IN_CAPS is that the moduli space of curves, or abelian varieties? For $g>3$ they're substantially different. I think only the second one is directly connected to automorphic forms. But I may be wrong? 
Jul 13 
comment 
Incomplete Kloosterman sum
@GHfromMO It is now! 
Jul 13 
comment 
Goldbachtype problem: the valuation of irreducible elements of a subgroup of $\mathbb{Q}_{> 0}$
No, I don't have an example for 5. Yes, that is the purpose. e.g. if the even number is 2, I need twin primes. 
Jul 13 
answered  Goldbachtype problem: the valuation of irreducible elements of a subgroup of $\mathbb{Q}_{> 0}$ 