Skip to main content
Alex Gavrilov's user avatar
Alex Gavrilov's user avatar
Alex Gavrilov's user avatar
Alex Gavrilov
  • Member for 13 years, 8 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
813 views

Proof assistant, Cura te ipsum

18 votes
2 answers
1k views

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

18 votes
2 answers
3k views

Is the Duflo polynomial conjecture open?

17 votes
2 answers
3k views

The Riemann hypothesis as a problem in analysis

16 votes
0 answers
464 views

What is the logical complexity of the Hodge conjecture?

16 votes
1 answer
3k views

A theorem of M. Artin

15 votes
0 answers
662 views

Is it possible to prove Mordell's conjecture geometrically?

14 votes
4 answers
1k views

The disjunction property in Peano Arithmetic?

13 votes
2 answers
844 views

Is $\pi_2$ algebraic?

11 votes
1 answer
350 views

A special case of the integer Hodge conjecture

10 votes
2 answers
472 views

Geometric description of a certain sphere bundle

10 votes
1 answer
406 views

conditions for long geodesics without self-intersections

10 votes
1 answer
235 views

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

9 votes
1 answer
350 views

Extending a holomorphic vector bundle: a reference request

9 votes
0 answers
698 views

Andrei Suslin's works

9 votes
1 answer
273 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
671 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
246 views

The geometric meaning of the sign in the functional equation

7 votes
1 answer
395 views

A lift of the second Chern class

7 votes
1 answer
696 views

Examples of Maass forms with eigenvalue 1/4

7 votes
2 answers
1k views

Are all the theorems true?

7 votes
0 answers
640 views

The Gysin map for a singular hypersurface

6 votes
0 answers
562 views

How to prove a $\Pi_2$ statement properly?

6 votes
2 answers
601 views

Are undecidable consequences of Con recursively enumerable?