MathOverflow

Popular Question

 Popular Question
Question with 1,000 views. This badge can be awarded multiple times.

earned this badge 43 times.
Clausen–Scholze's Theorem 9.1 of Analytic.pdf, in view of light condensed sets, AKA is the Liquid Tensor Experiment easier now?
Awarded Mar 22 at 6:06
A Nisnevich cover which is not Zariski
Awarded Jan 28 at 6:05
An example of a non-paracompact tvs (over the reals, say)
Awarded Nov 3, 2023 at 16:20
Cancellation and splitting theorems for vector bundles etc over schemes
Awarded Jun 12, 2023 at 12:26
Why strong limit cardinals in the definition of condensed sets?
Awarded Mar 22, 2023 at 19:27
Example of a topos that violates countable choice
Awarded Dec 3, 2022 at 13:33
A version of Lusternik–Schnirelmann category for good open covers
Awarded Oct 17, 2022 at 10:35
Existence of internal toposes/inner models in a topos
Awarded Jul 28, 2022 at 15:27
Continuum-many independent vectors over Q in R as a Q-vector space
Awarded Jul 11, 2022 at 17:40
The exceptional isomorphism between PGL(3,2) and PSL(2,7): geometric origin?
Awarded May 25, 2022 at 15:57
Possible contemporary improvement to bounded gaps between primes?
Awarded Mar 24, 2022 at 21:21
Proper class forcing vs forcing with a set of conditions bigger than one's model
Awarded Jan 3, 2022 at 15:25
On locally convex (and compactly generated) topological vector spaces
Awarded Oct 7, 2021 at 5:28
Why is this "the first elliptic curve in nature"?
Awarded May 20, 2020 at 17:20
I'll admit it: I don't understand the definition of the Easton product.
Awarded Apr 29, 2020 at 20:57
On a question motivating Lurie's treatment of formal moduli problems
Awarded Mar 22, 2020 at 14:30
Next steps on formal proof of classification of finite simple groups
Awarded Oct 31, 2019 at 15:05
Exactly how is 'the diagonal is representable' used for algebraic stacks...
Awarded Jun 7, 2019 at 22:45
What do we mean by contractible for simplicial objects in a category?
Awarded Feb 5, 2019 at 8:55
What about stacks of categories in algebraic geometry? II
Awarded Jan 21, 2018 at 7:34
Russell and Whitehead's types: ramified and unramified
Awarded Jan 5, 2018 at 17:31
In Diff, are the surjective submersions precisely the local-section-admitting maps?
Awarded Oct 4, 2017 at 12:52
At what point does number theory stop playing with finite rings?
Awarded Mar 19, 2017 at 0:56
Induced map on path manifolds: is it a submersion?
Awarded Jun 2, 2016 at 0:14
Characterising categories of vector spaces
Awarded Nov 7, 2015 at 4:09
How much of the ATLAS of finite groups is independently checked and/or computer verified?
Awarded Aug 26, 2015 at 4:40
Equivalents to Comptes Rendus
Awarded Aug 21, 2015 at 13:58
What is the reverse mathematical strength of the fundamental theorem of algebra?
Awarded Jun 30, 2015 at 16:13
Where are the second- (and third-)generation proofs of the classification of finite simple groups up to?
Awarded Jun 11, 2015 at 9:30
Who needs Replacement anyway?
Awarded Jun 9, 2015 at 3:36
Central extension of the algebraic loop group
Awarded Apr 14, 2015 at 18:48
Request: A Serre fibration that is not a Dold fibration
Awarded Mar 23, 2015 at 10:35
How many proofs of the Weil conjectures are there?
Awarded Sep 15, 2014 at 5:28
What about stacks of categories in algebraic geometry?
Awarded Aug 8, 2014 at 1:26
Proof strength of Calculus of (Inductive) Constructions
Awarded Mar 17, 2014 at 6:26
What is the generic poset used in forcing, really?
Awarded Aug 1, 2013 at 4:23
Separable and algebraic closures?
Awarded Mar 8, 2013 at 12:20
How constructive is Doyle-Conway's 'Division by three'?
Awarded Nov 8, 2012 at 15:35
What is the wild fundamental group?
Awarded Oct 14, 2012 at 22:05
Fast turn-around times
Awarded Mar 10, 2012 at 20:05
How true are theorems proved by Coq?
Awarded Feb 5, 2012 at 16:20
A bestiary of topologies on Sch
Awarded Oct 3, 2011 at 8:05
Stacks in modern number theory/arithmetic geometry
Awarded Jun 15, 2011 at 18:50

Others with this badge