User Daniel Litt

125 votes

4 answers

8k views

What do the stable homotopy groups of spheres say about the combinatorics of finite sets?

asked Sep 27, 2011 at 18:18

61 votes

11 answers

11k views

Geometric proof of the Vandermonde determinant?

asked Jun 23, 2010 at 16:01

60 votes

1 answer

3k views

Eisenstein's last theorem

asked Jul 31 at 17:28

56 votes

0 answers

3k views

Uniformization over finite fields?

asked May 9, 2017 at 19:51

55 votes

6 answers

13k views

What is the etymology of the term "perverse sheaf"?

asked Jun 29, 2010 at 21:13

43 votes

10 answers

7k views

What is the shortest program for which halting is unknown?

asked Jun 29, 2010 at 18:31

29 votes

2 answers

2k views

Making $\mathbb{Q}$-cohomology integral

asked Oct 22, 2014 at 1:53

27 votes

1 answer

2k views

Strong group ring isomorphisms

asked Apr 4, 2011 at 21:01

24 votes

1 answer

887 views

Universal homotheties for elliptic curves

asked Apr 22, 2019 at 16:10

22 votes

1 answer

1k views

Is there a motivic Cauchy integral formula?

asked Jun 3, 2015 at 22:13

20 votes

1 answer

907 views

Semisimplicity for tensor products of representations of finite groups

asked May 27, 2020 at 20:32

20 votes

0 answers

1k views

Reference request: deforming a G-local system to a variation of Hodge structure

asked Jan 6, 2022 at 19:59

19 votes

0 answers

1k views

Mumford-Tate conjecture for mixed Tate motives

asked Dec 29, 2020 at 17:18

18 votes

0 answers

2k views

Cycles in algebraic de Rham cohomology

asked Sep 2, 2022 at 14:26

18 votes

0 answers

864 views

Are these local systems on $\mathscr{M}_{g,1}$ motivic?

asked Nov 13, 2019 at 16:17

17 votes

3 answers

1k views

Varieties with an ample vector bundle mapping to their tangent bundle

asked Aug 9, 2015 at 1:56

17 votes

0 answers

1k views

Symmetries of local systems on the punctured sphere

asked May 8, 2023 at 19:40

16 votes

0 answers

1k views

Finiteness for motivic local systems

asked Dec 2, 2022 at 19:11

16 votes

2 answers

2k views

Structure theorems for Turing-decidable languages?

asked Jul 21, 2010 at 17:56

15 votes

3 answers

3k views

Noncombinatorial proofs of Ramsey's Theorem?

asked Jun 24, 2010 at 20:52

14 votes

1 answer

1k views

Do varieties with ample canonical bundle have finite automorphism group in small characteristic?

asked Dec 20, 2013 at 23:21

12 votes

1 answer

939 views

Which Steiner systems come from algebraic geometry?

asked Jun 23, 2010 at 21:02

12 votes

1 answer

895 views

Analytic Torsion in the Derived Category

asked Mar 14, 2011 at 20:30

12 votes

4 answers

453 views

What properties should a good definition of (weak) $n$-category satisfy?

asked Dec 19, 2010 at 23:29

11 votes

2 answers

808 views

What is the depth of the "provability hierarchy"?

asked Oct 29, 2010 at 22:18

9 votes

1 answer

1k views

Modern Proof of the Theorem of the Base

asked Jul 31, 2012 at 21:14

9 votes

0 answers

417 views

Geometrizing the Third Cohomology of a Complex Lie Group

asked Jan 24, 2013 at 0:26

8 votes

1 answer

683 views

Etale Cohomology of Punctured Spectra of Local Rings

asked May 8, 2013 at 23:13

8 votes

1 answer

1k views

Semisimplicity of Frobenius on integral Tate module

asked Jun 30, 2016 at 22:59

8 votes

4 answers

680 views

What is the relationship between "translation" and time complexity?

asked Jul 17, 2010 at 22:20

Stack Exchange Network

38 Questions

What do the stable homotopy groups of spheres say about the combinatorics of finite sets?

Geometric proof of the Vandermonde determinant?

Eisenstein's last theorem

Uniformization over finite fields?

What is the etymology of the term "perverse sheaf"?

What is the shortest program for which halting is unknown?

Making $\mathbb{Q}$-cohomology integral

Strong group ring isomorphisms

Universal homotheties for elliptic curves

Is there a motivic Cauchy integral formula?

Semisimplicity for tensor products of representations of finite groups

Reference request: deforming a G-local system to a variation of Hodge structure

Mumford-Tate conjecture for mixed Tate motives

Cycles in algebraic de Rham cohomology

Are these local systems on $\mathscr{M}_{g,1}$ motivic?

Varieties with an ample vector bundle mapping to their tangent bundle

Symmetries of local systems on the punctured sphere

Finiteness for motivic local systems

Structure theorems for Turing-decidable languages?

Noncombinatorial proofs of Ramsey's Theorem?

Do varieties with ample canonical bundle have finite automorphism group in small characteristic?

Which Steiner systems come from algebraic geometry?

Analytic Torsion in the Derived Category

What properties should a good definition of (weak) $n$-category satisfy?

What is the depth of the "provability hierarchy"?

Modern Proof of the Theorem of the Base

Geometrizing the Third Cohomology of a Complex Lie Group

Etale Cohomology of Punctured Spectra of Local Rings

Semisimplicity of Frobenius on integral Tate module

What is the relationship between "translation" and time complexity?