bio  website  math.princeton.edu/~wsawin 

location  Princeton, NJ  
age  21  
visits  member for  3 years, 4 months 
seen  2 hours ago  
stats  profile views  20,304 
I am a graduate student at Princeton studying arithmetic algebraic geometry.
2d

comment 
Elliptic curves and connected components
and this is essentially the same as the continuity argument that Steven sketched, which is also valid. 
Jan 27 
revised 
Constructive proof of “Projective implies proper”
added 682 characters in body 
Jan 26 
comment 
Some calculus in the orthogonal group $O(n)$
Why do the complex eigenvalues average out to 0? 
Jan 25 
revised 
Tannakian fundamental group of two explicit tensor categories
deleted 2274 characters in body 
Jan 25 
revised 
Tannakian fundamental group of two explicit tensor categories
added 3074 characters in body 
Jan 25 
comment 
Tannakian fundamental group of two explicit tensor categories
It's because of Goursat's Lemma. because $PGL_n$ is a simple group, if you have $k$ maps to $PGL_n$ then the induced map to $\left(PGL_n\right)^k$ is surjective. My claim is more that the group is so large that it's not very helpful to describe it. 
Jan 24 
answered  Tannakian fundamental group of two explicit tensor categories 
Jan 19 
comment 
Does the minima of a sequence of convex convergent functions converge?
@AlexRavsky fixed. 
Jan 19 
revised 
Does the minima of a sequence of convex convergent functions converge?
deleted 47 characters in body 
Jan 15 
answered  Hilbert polynomial for any invertible sheaf 
Jan 13 
answered  Elementary Proof of the Uniqueness of Smooth Structures on R 
Jan 8 
asked  Can the method of small moments prove a bound on the norms of random trilinear forms? 
Dec 26 
awarded  Good Answer 
Dec 26 
revised 
Number of elements of “$\mathrm{SL}_n(\mathbb{F}_p^\times)$” mod $p$
added 1 character in body 
Dec 26 
awarded  Nice Answer 
Dec 26 
answered  Number of elements of “$\mathrm{SL}_n(\mathbb{F}_p^\times)$” mod $p$ 
Dec 24 
comment 
Moments of random special unitary matrices
You can view it as the trace of a $k$cycle in $S_k$ acting on the invariant subspace of $V^{\otimes k}$. 
Dec 23 
comment 
The uniform boundedness of rational torsion for traceless abelian surfaces over a function field
this kind of work might be helpful. I think it essentially says that you can't obtain unbounded torsion with bounded gonality from covers of a single curve: math.polytechnique.fr/~cadoret/Gonality.pdf 
Dec 22 
comment 
The letters of the word “ART”
@AliTaghavi Aren't such $X$ closed subsets of $\mathbb R^2$, hence locally compact? 
Dec 21 
answered  The letters of the word “ART” 