User Alex Gavrilov

35 votes

3 answers

1k views

Incorrect information in an old article about the Kervaire invariant

asked Jan 10, 2020 at 11:14

24 votes

2 answers

2k views

Is the Invariant Subspace Problem arithmetic?

asked Jun 4, 2014 at 16:29

20 votes

1 answer

835 views

Proof assistant, Cura te ipsum

asked Jan 24, 2018 at 8:52

18 votes

0 answers

496 views

What is the logical complexity of the Hodge conjecture?

asked Jan 2, 2018 at 11:07

18 votes

2 answers

1k views

What is the generator of $\pi_9(S^2)$?

asked May 27, 2019 at 14:55

18 votes

2 answers

3k views

Is the Duflo polynomial conjecture open?

asked Jul 16, 2014 at 9:03

17 votes

2 answers

3k views

The Riemann hypothesis as a problem in analysis

asked Aug 2, 2018 at 8:50

16 votes

1 answer

3k views

A theorem of M. Artin

asked Jul 20, 2017 at 10:35

15 votes

0 answers

670 views

Is it possible to prove Mordell's conjecture geometrically?

asked Mar 31, 2014 at 8:56

14 votes

4 answers

1k views

The disjunction property in Peano Arithmetic?

asked Apr 27, 2011 at 12:49

13 votes

2 answers

852 views

Is $\pi_2$ algebraic?

asked Jun 2, 2014 at 11:07

11 votes

1 answer

353 views

A special case of the integer Hodge conjecture

asked Jun 22, 2014 at 3:34

10 votes

2 answers

480 views

Geometric description of a certain sphere bundle

asked Aug 19, 2018 at 9:58

10 votes

1 answer

446 views

conditions for long geodesics without self-intersections

asked Jan 23, 2019 at 5:36

10 votes

1 answer

238 views

Is there a proof of the Hawking bound for the efficiency of a black holes merger?

asked May 2, 2019 at 13:00

9 votes

1 answer

373 views

Extending a holomorphic vector bundle: a reference request

asked Jul 16, 2020 at 4:38

9 votes

0 answers

718 views

Andrei Suslin's works

asked Jul 12, 2018 at 13:02

9 votes

1 answer

284 views

A homeomorphism with a prescribed action on the fundamental group - decidable or not?

asked Aug 8, 2017 at 11:41

9 votes

1 answer

2k views

The generalization of Brouwer's fixed point theorem?

asked Mar 28, 2011 at 4:05

8 votes

0 answers

833 views

Is there a generalization of Brouwer's fixed point theorem?

asked Mar 31, 2011 at 8:51

8 votes

1 answer

688 views

Extending the tangent bundle of a submanifold

asked Sep 5, 2016 at 6:02

8 votes

0 answers

135 views

Is this invariant of an exotic 4-sphere trivial?

asked Jan 26, 2020 at 11:20

7 votes

2 answers

232 views

Isometric embedding of the modular surface

asked Jul 2, 2020 at 9:23

7 votes

0 answers

248 views

The geometric meaning of the sign in the functional equation

asked Apr 15, 2018 at 7:10

7 votes

1 answer

409 views

A lift of the second Chern class

asked Nov 29, 2015 at 7:10

7 votes

1 answer

729 views

Examples of Maass forms with eigenvalue 1/4

asked Apr 22, 2014 at 14:26

7 votes

2 answers

1k views

Are all the theorems true?

asked Aug 1, 2012 at 17:49

7 votes

0 answers

648 views

The Gysin map for a singular hypersurface

asked Aug 9, 2012 at 10:05

6 votes

0 answers

587 views

How to prove a $\Pi_2$ statement properly?

asked Oct 30, 2012 at 11:41

6 votes

2 answers

603 views

Are undecidable consequences of Con recursively enumerable?

asked May 2, 2011 at 10:05

Stack Exchange Network

70 Questions

Incorrect information in an old article about the Kervaire invariant

Is the Invariant Subspace Problem arithmetic?

Proof assistant, Cura te ipsum

What is the logical complexity of the Hodge conjecture?

What is the generator of $\pi_9(S^2)$?

Is the Duflo polynomial conjecture open?

The Riemann hypothesis as a problem in analysis

A theorem of M. Artin

Is it possible to prove Mordell's conjecture geometrically?

The disjunction property in Peano Arithmetic?

Is $\pi_2$ algebraic?

A special case of the integer Hodge conjecture

Geometric description of a certain sphere bundle

conditions for long geodesics without self-intersections

Is there a proof of the Hawking bound for the efficiency of a black holes merger?

Extending a holomorphic vector bundle: a reference request

Andrei Suslin's works

A homeomorphism with a prescribed action on the fundamental group - decidable or not?

The generalization of Brouwer's fixed point theorem?

Is there a generalization of Brouwer's fixed point theorem?

Extending the tangent bundle of a submanifold

Is this invariant of an exotic 4-sphere trivial?

Isometric embedding of the modular surface

The geometric meaning of the sign in the functional equation

A lift of the second Chern class

Examples of Maass forms with eigenvalue 1/4

Are all the theorems true?

The Gysin map for a singular hypersurface

How to prove a $\Pi_2$ statement properly?

Are undecidable consequences of Con recursively enumerable?