26,127 reputation
23997
bio website math.princeton.edu/~wsawin
location Princeton, NJ
age 20
visits member for 2 years, 10 months
seen 1 hour ago

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 torsion-free 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 infinite-dimensional and the Quot scheme is finite-dimensional 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 torsion-free modules/sheaves
Doesn't your double-dual 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 lowest-weight non-cyclotomic Galois representation in $\overline{\mathcal M}_{g,n}$?
@LaurentBerger thanks for the tip!
Jul
13
comment What is the lowest-weight non-cyclotomic 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 Goldbach-type 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 Goldbach-type problem: the valuation of irreducible elements of a subgroup of $\mathbb{Q}_{> 0}$