User Kevin Buzzard

136 votes

28 answers

17k views

Which mathematical definitions should be formalised in Lean?

asked Sep 21, 2018 at 10:34

133 votes

6 answers

22k views

what mistakes did the Italian algebraic geometers actually make?

asked Mar 26, 2010 at 13:26

106 votes

9 answers

35k views

solving $f(f(x))=g(x)$

asked Mar 9, 2010 at 15:40

85 votes

8 answers

12k views

What are the local Langlands conjectures nowadays, for connected reductive groups over a $p$-adic field?

asked Feb 9, 2010 at 12:28

67 votes

7 answers

5k views

Open project: Let's compute the Fourier expansion of a non-solvable algebraic Maass form.

asked May 5, 2010 at 14:30

59 votes

8 answers

7k views

Cauchy reals and Dedekind reals satisfy "the same mathematical theorems"

asked Jul 15, 2019 at 17:10

57 votes

8 answers

6k views

Two (probably) equal real numbers which are not proved to be equal?

asked May 7, 2019 at 15:01

52 votes

2 answers

5k views

Automatically solving olympiad geometry problems

asked Aug 3, 2019 at 17:23

51 votes

6 answers

7k views

Why is the standard definition of cocycle the one that _always_ comes up??

asked Nov 27, 2009 at 13:00

50 votes

13 answers

6k views

Erratum for Cassels-Froehlich

asked Jan 11, 2010 at 15:20

47 votes

35 answers

15k views

Ingenuity in mathematics

asked Sep 28, 2010 at 16:29

44 votes

4 answers

3k views

Are there motives which do not, or should not, show up in the cohomology of any Shimura variety?

asked Sep 21, 2010 at 10:52

36 votes

1 answer

1k views

Real manifolds in a theorem prover?

asked Jul 17, 2019 at 22:51

34 votes

2 answers

3k views

The work of E. Artin and F. K. Schmidt on (what are now called) the Weil conjectures.

asked Feb 8, 2010 at 9:38

30 votes

2 answers

2k views

Overview of automorphic representations for $SL(2)/{\mathbf{Q}}$?

asked Nov 28, 2009 at 16:10

29 votes

6 answers

4k views

Infinitely many primes of the form $2^n+c$ as $n$ varies?

asked Nov 13, 2009 at 7:46

29 votes

5 answers

2k views

Does $S_4$ inject into $SL(2,R)$ for some commutative ring $R$?

asked Nov 29, 2010 at 19:21

27 votes

2 answers

2k views

How to explicitly compute lifting of points from an elliptic curve to a modular curve?

asked Feb 13, 2011 at 10:03

26 votes

2 answers

2k views

Are there any Hecke operators acting on an elliptic curve with additive reduction that I don't know about?

asked Apr 10, 2010 at 21:03

25 votes

2 answers

2k views

Proving non-existence of solutions to $3^n-2^m=t$ without using congruences

asked Jun 30, 2010 at 10:36

22 votes

2 answers

2k views

unboundedness of number of integral points on elliptic curves?

asked Dec 29, 2010 at 14:50

22 votes

4 answers

4k views

Special values of $p$-adic $L$-functions.

asked Jan 28, 2010 at 21:45

22 votes

5 answers

2k views

are quotients by equivalence relations "better" than surjections?

asked Dec 7, 2018 at 21:09

22 votes

4 answers

2k views

How badly can strong multiplicity one fail in the theory of automorphic representations?

asked Sep 6, 2011 at 16:00

21 votes

1 answer

2k views

Naive question about constructing constructible sheaves.

asked Feb 1, 2011 at 23:47

20 votes

3 answers

3k views

Which rings are subrings of matrix rings?

asked Oct 29, 2009 at 15:14

19 votes

1 answer

1k views

Are Q-curves now known to be modular?

asked Nov 3, 2009 at 12:22

19 votes

1 answer

1k views

constants in Gamma factors in functional equation for zeta functions.

asked Feb 4, 2010 at 20:51

19 votes

2 answers

2k views

Uniqueness of local Langlands correspondence for connected reductive groups over real/complex field.

asked Jul 9, 2010 at 11:17

19 votes

6 answers

2k views

weight 4 eigenforms with rational coefficients---is it reasonable to expect they all come from Calabi-Yaus?

asked Apr 19, 2010 at 18:32

Stack Exchange Network

63 Questions

Which mathematical definitions should be formalised in Lean?

what mistakes did the Italian algebraic geometers actually make?

solving $f(f(x))=g(x)$

What are the local Langlands conjectures nowadays, for connected reductive groups over a $p$-adic field?

Open project: Let's compute the Fourier expansion of a non-solvable algebraic Maass form.

Cauchy reals and Dedekind reals satisfy "the same mathematical theorems"

Two (probably) equal real numbers which are not proved to be equal?

Automatically solving olympiad geometry problems

Why is the standard definition of cocycle the one that _always_ comes up??

Erratum for Cassels-Froehlich

Ingenuity in mathematics

Are there motives which do not, or should not, show up in the cohomology of any Shimura variety?

Real manifolds in a theorem prover?

The work of E. Artin and F. K. Schmidt on (what are now called) the Weil conjectures.

Overview of automorphic representations for $SL(2)/{\mathbf{Q}}$?

Infinitely many primes of the form $2^n+c$ as $n$ varies?

Does $S_4$ inject into $SL(2,R)$ for some commutative ring $R$?

How to explicitly compute lifting of points from an elliptic curve to a modular curve?

Are there any Hecke operators acting on an elliptic curve with additive reduction that I don't know about?

Proving non-existence of solutions to $3^n-2^m=t$ without using congruences

unboundedness of number of integral points on elliptic curves?

Special values of $p$-adic $L$-functions.

are quotients by equivalence relations "better" than surjections?

How badly can strong multiplicity one fail in the theory of automorphic representations?

Naive question about constructing constructible sheaves.

Which rings are subrings of matrix rings?

Are Q-curves now known to be modular?

constants in Gamma factors in functional equation for zeta functions.

Uniqueness of local Langlands correspondence for connected reductive groups over real/complex field.

weight 4 eigenforms with rational coefficients---is it reasonable to expect they all come from Calabi-Yaus?