User Kevin Buzzard

139 votes

28 answers

19k views

Which mathematical definitions should be formalised in Lean?

asked Sep 21, 2018 at 10:34

135 votes

6 answers

23k views

what mistakes did the Italian algebraic geometers actually make?

asked Mar 26, 2010 at 13:26

107 votes

9 answers

36k views

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

asked Mar 9, 2010 at 15:40

86 votes

8 answers

13k views

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

asked Feb 9, 2010 at 12:28

68 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

64 votes

8 answers

6k views

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

asked May 7, 2019 at 15:01

59 votes

8 answers

8k views

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

asked Jul 15, 2019 at 17:10

54 votes

2 answers

5k views

Automatically solving olympiad geometry problems

asked Aug 3, 2019 at 17:23

53 votes

6 answers

8k 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

16k 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

37 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

31 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

5k 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

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

asked Jun 30, 2010 at 10:36

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

22 votes

2 answers

2k views

unboundedness of number of integral points on elliptic curves?

asked Dec 29, 2010 at 14:50

22 votes

3 answers

3k views

Which rings are subrings of matrix rings?

asked Oct 29, 2009 at 15:14

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

22 votes

1 answer

778 views

Low-level proof of identity related to Weierstrass P-function

asked Apr 14 at 0:33

21 votes

2 answers

2k views

Naive question about constructing constructible sheaves.

asked Feb 1, 2011 at 23:47

20 votes

2 answers

699 views

Can something finite over $\mathbb{C}(q)$ be a modular form?

asked Jul 21, 2016 at 19:07

20 votes

3 answers

2k views

Computing (on a computer) the first few (non-trivial) zeros of the zeta function of a number field.

asked Apr 30, 2011 at 17:21

19 votes

2 answers

2k views

Clifford theory: behaviour of a very general irreducible representation under restriction to a finite index subgroup.

asked Mar 16, 2011 at 20:12

Stack Exchange Network

65 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.

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

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

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?

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

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

unboundedness of number of integral points on elliptic curves?

Which rings are subrings of matrix rings?

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?

Low-level proof of identity related to Weierstrass P-function

Naive question about constructing constructible sheaves.

Can something finite over $\mathbb{C}(q)$ be a modular form?

Computing (on a computer) the first few (non-trivial) zeros of the zeta function of a number field.

Clifford theory: behaviour of a very general irreducible representation under restriction to a finite index subgroup.