Skip to main content

Stack Exchange

Will Sawin

New York, NY, USA

http://williamsawin.com

I am an associate professor at Columbia University.

top accounts reputation activity subscriptions
Top Questions
225 votes

A game on Noetherian rings

ac.commutative-algebra combinatorial-game-theory asked Apr 6, 2012 at 3:24
mathoverflow.net

59 votes

Grothendieck's Period Conjecture and the missing p-adic Hodge Theories

nt.number-theory tannakian-category p-adic-hodge-theory asked Mar 15, 2015 at 21:18
mathoverflow.net

58 votes

What is the geometry of an undecidable diophantine equation?

ag.algebraic-geometry nt.number-theory lo.logic diophantine-equations asked Dec 4, 2012 at 18:20
mathoverflow.net

30 votes

Enriques surfaces over $\mathbb Z$

ag.algebraic-geometry nt.number-theory algebraic-surfaces k3-surfaces asked Mar 27, 2015 at 22:19
mathoverflow.net

29 votes

A modern perspective on the relationship between Drinfeld modules and shtukas

ag.algebraic-geometry nt.number-theory finite-fields shimura-varieties asked Aug 24, 2017 at 16:54
mathoverflow.net

28 votes

How many polynomial Morse functions on the sphere?

gn.general-topology co.combinatorics polynomials asked Mar 29, 2013 at 21:18
mathoverflow.net

27 votes

Why do the adjoint representations of three exceptional groups have the same first eight moments?

co.combinatorics rt.representation-theory lie-groups lie-algebras integer-sequences asked Feb 20, 2016 at 15:10
mathoverflow.net

26 votes

Successes of machine learning in formal theorem proving

history automated-theorem-proving machine-learning asked Feb 10, 2022 at 21:25
proofassistants.stackexchange.com

26 votes

When (or why) is a six-functor formalism enough?

ag.algebraic-geometry ct.category-theory etale-cohomology sheaf-cohomology asked Mar 11, 2023 at 16:11
mathoverflow.net

24 votes

What do Hecke eigensheaves actually look like?

ag.algebraic-geometry nt.number-theory langlands-conjectures geometric-rep-theory geometric-langlands asked Apr 20, 2016 at 6:58
mathoverflow.net

1 2 3 4 5 … 10

Top Answers
129
5/8 bound in group theory
mathoverflow.net

108
"The Egg:" Bizarre behavior of the roots of a family of polynomials.
math.stackexchange.com

79
Fibonacci series captures Euler $e=2.718\dots$
mathoverflow.net

77
Why is differential Galois theory not widely used?
mathoverflow.net

72
What is precisely still missing in Connes' approach to RH?
mathoverflow.net

57
Czelakowski's claimed proof of the Twin Prime Conjecture
mathoverflow.net

48
Arithmetic Morse theory?
mathoverflow.net

46
Understanding a quip from Gian-Carlo Rota
mathoverflow.net

46
What is the difference between elementary and non-elementary proofs of the Prime Number Theorem?
mathoverflow.net

42
How and when do I learn so much mathematics?
mathoverflow.net

42
Smooth vs regular vs non-singular
mathoverflow.net

42
Global character of ABC/Szpiro inequalities
mathoverflow.net

41
Why study Higher Sheaf Cohomology?
mathoverflow.net

39
Cases where the number field case and the function field (with positive characteristic) are different
mathoverflow.net

39
Consequences of Kirti Joshi's new preprint about p-adic Teichmüller theory on the validity of IUT and on the ABC conjecture
mathoverflow.net

37
Modern results that are widely known, yet which at the time were ignored, not accepted or criticized
mathoverflow.net

36
Over which fields are symmetric matrices diagonalizable ?
mathoverflow.net

36
Number of elements of "$\mathrm{SL}_n(\mathbb{F}_p^\times)$" mod $p$
mathoverflow.net

35
Injective ring homomorphism from $\mathbb{Z}_p[[x,y]]$ to $\mathbb{Z}_p[[x]]$
mathoverflow.net

34
Theorems that are essentially impossible to guess by empirical observation
mathoverflow.net

32
Why is game theory formulated in terms of equilibrium instead of winning strategies?
mathoverflow.net

31
Theorems with many distinct proofs
mathoverflow.net

31
Pressure to defend the relevance of one's area of mathematics
mathoverflow.net

31
What are possible applications of deep learning to research mathematics?
mathoverflow.net

31
Forced conjugation of elements in finite groups
math.stackexchange.com

31
Finite verification for theorems due to Busy Beaver numbers
mathoverflow.net

30
The "stubborn" solutions to sums of three cubes
mathoverflow.net

30
Taylor's theorem and the symmetric group
mathoverflow.net

30
Does $\mathrm{SO}(3)$ act faithfully on a countable set?
mathoverflow.net

30
How are motives related to anabelian geometry and Galois-Teichmuller theory?
mathoverflow.net

1 2 3 4 5 … 10