Alex Gavrilov's user avatar
Alex Gavrilov's user avatar
Alex Gavrilov's user avatar
Alex Gavrilov
  • Member for 13 years, 5 months
  • Last seen this week
  • Russia
35 votes
3 answers
1k views

Incorrect information in an old article about the Kervaire invariant

24 votes
2 answers
2k views

Is the Invariant Subspace Problem arithmetic?

20 votes
1 answer
802 views

Proof assistant, Cura te ipsum

18 votes
2 answers
1k views

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

17 votes
2 answers
3k views

The Riemann hypothesis as a problem in analysis

17 votes
2 answers
3k views

Is the Duflo polynomial conjecture open?

16 votes
1 answer
3k views

A theorem of M. Artin

16 votes
0 answers
463 views

What is the logical complexity of the Hodge conjecture?

15 votes
4 answers
1k views

The disjunction property in Peano Arithmetic?

15 votes
0 answers
659 views

Is it possible to prove Mordell's conjecture geometrically?

13 votes
2 answers
843 views

Is $\pi_2$ algebraic?

11 votes
1 answer
350 views

A special case of the integer Hodge conjecture

10 votes
2 answers
469 views

Geometric description of a certain sphere bundle

10 votes
1 answer
389 views

conditions for long geodesics without self-intersections

10 votes
1 answer
233 views

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

9 votes
1 answer
345 views

Extending a holomorphic vector bundle: a reference request

9 votes
0 answers
686 views

Andrei Suslin's works

9 votes
1 answer
272 views

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

9 votes
1 answer
2k views

The generalization of Brouwer's fixed point theorem?

8 votes
0 answers
830 views

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

8 votes
1 answer
655 views

Extending the tangent bundle of a submanifold

8 votes
0 answers
134 views

Is this invariant of an exotic 4-sphere trivial?

7 votes
2 answers
230 views

Isometric embedding of the modular surface

7 votes
0 answers
243 views

The geometric meaning of the sign in the functional equation

7 votes
1 answer
391 views

A lift of the second Chern class

7 votes
1 answer
673 views

Examples of Maass forms with eigenvalue 1/4

7 votes
2 answers
1k views

Are all the theorems true?

7 votes
0 answers
633 views

The Gysin map for a singular hypersurface

6 votes
0 answers
552 views

How to prove a $\Pi_2$ statement properly?

6 votes
2 answers
599 views

Are undecidable consequences of Con recursively enumerable?