Enlightened - Badge - MathOverflow

Enlightened

First to answer and accepted with score of 10 or more. This badge can be awarded multiple times.

Awarded 11702 times.

Surreal Numbers, Proving $x1=x$

Awarded May 5, 2018 at 18:23

Joel David Hamkins

225k42 gold badges733 silver badges1.3k bronze badges

Congruences Ramanujan-style

Awarded May 5, 2018 at 13:55

Lucia

43.3k6 gold badges192 silver badges217 bronze badges

Arithmetic motivations for modularity in higher rank

Awarded May 4, 2018 at 18:35

Will Sawin

137k9 gold badges298 silver badges525 bronze badges

Instructions for using Coxeter 3.0 software

Awarded May 3, 2018 at 22:27

David Vogan

5415 silver badges5 bronze badges

Relations of axioms of choice

Awarded May 3, 2018 at 22:27

Joel David Hamkins

225k42 gold badges733 silver badges1.3k bronze badges

An equivariant map from sphere to a Lie group of lower dimension which is not null homotopic?

Awarded May 2, 2018 at 13:51

Mark Grant

35k8 gold badges90 silver badges191 bronze badges

Commutative algebra counterexample

Awarded May 2, 2018 at 7:45

Eric Wofsey

30.7k2 gold badges112 silver badges150 bronze badges

Are classes still "larger" than sets without the axiom of choice?

Awarded May 1, 2018 at 5:41

Joel David Hamkins

225k42 gold badges733 silver badges1.3k bronze badges

The continuity of Injectivity radius

Awarded May 1, 2018 at 4:11

Anton Petrunin

43.7k11 gold badges130 silver badges287 bronze badges

$\mathbb{E}[X^4]=1$, $X,Y$ iid, what's the best upper bound of $\mathbb{E}[(X-Y)^4]$?

Awarded Apr 30, 2018 at 4:05

Iosif Pinelis

118k7 gold badges99 silver badges207 bronze badges

Let $f \in \mathbb{Z}[x]$. Does $\bar{f}$ have as many roots in $\mathbb{F}_p$ as $f$ has in $\mathbb{C}$ for infinitely many primes $p$?

Awarded Apr 29, 2018 at 6:13

Igor Rivin

95.6k11 gold badges147 silver badges357 bronze badges

Why Use Hypercohomology When Defining the de Rham Cohomology of a Smooth Scheme over $k$?

Awarded Apr 28, 2018 at 10:22

Donu Arapura

34.2k2 gold badges91 silver badges158 bronze badges

Natural bijection between Dyck paths and tilting modules

Awarded Apr 27, 2018 at 21:31

Christian Stump

3,2411 gold badge19 silver badges29 bronze badges

Club-guessing at $\omega_2$

Awarded Apr 27, 2018 at 20:03

saf

1,15610 silver badges12 bronze badges

Is the strong operator topology metrizable?

Awarded Apr 26, 2018 at 13:28

Tomasz Kania

11.3k2 gold badges38 silver badges72 bronze badges

Can we find two positive integers $n$ and $m$ ($n,m>1$) such that $n^\pi = m$?

Awarded Apr 26, 2018 at 2:45

Felipe Voloch

30.2k6 gold badges82 silver badges151 bronze badges

3D models of the unfoldings of the hypercube?

Awarded Apr 25, 2018 at 5:09

Mark McClure

1,89813 silver badges17 bronze badges

Embedding the $\ 2^n+1$-point metric 1-space

Awarded Apr 24, 2018 at 20:27

Fedor Petrov

103k9 gold badges248 silver badges426 bronze badges

Koszul duality and modules over the Chevalley complex

Awarded Apr 24, 2018 at 5:45

Leonid Positselski

15.2k1 gold badge55 silver badges94 bronze badges

What is the smallest Lipschitz constant of a Lipschitz retraction of $\ell_\infty([0,1])$ onto $C[0,1]$?

Awarded Apr 23, 2018 at 20:09

Tomasz Kania

11.3k2 gold badges38 silver badges72 bronze badges

Idempotent ring spectrum

Awarded Apr 23, 2018 at 12:21

Tyler Lawson

51.5k9 gold badges184 silver badges244 bronze badges

minimal surfaces

Awarded Apr 22, 2018 at 20:19

Rbega

2,2793 gold badges18 silver badges20 bronze badges

Splitting of tangent bundle

Awarded Apr 22, 2018 at 14:44

Mark Grant

35k8 gold badges90 silver badges191 bronze badges

Simple proof for $\sum_{i=1}^n a^{\gcd(i,n)} $ is divisible by $n$

Awarded Apr 22, 2018 at 8:45

Fedor Petrov

103k9 gold badges248 silver badges426 bronze badges

Surjective group homomorphism from $\text{Sym}(X)$ onto $\mathbb{Z}$

Awarded Apr 21, 2018 at 23:55

Taras Banakh

40.9k3 gold badges69 silver badges175 bronze badges

Polynomials dense with primes

Awarded Apr 21, 2018 at 23:55

Greg Martin

12.7k1 gold badge48 silver badges70 bronze badges

Counting primitive lattice points

Awarded Apr 21, 2018 at 16:08

Luca Ghidelli

1,3741 gold badge9 silver badges16 bronze badges

A game on integers

Awarded Apr 21, 2018 at 11:13

Joel David Hamkins

225k42 gold badges733 silver badges1.3k bronze badges

Can There be a 1 dimensional Banach-Tarski paradox in the absence of choice

Awarded Apr 21, 2018 at 9:47

Will Sawin

137k9 gold badges298 silver badges525 bronze badges

English translation of paper: Sur les variétés riemanniennes à groupe d'holonomie G2 ou Spin(7)

Awarded Apr 20, 2018 at 19:47

Robert Bryant

106k8 gold badges335 silver badges442 bronze badges

Points of abelian varieties over purely transcendental extensions

Awarded Apr 20, 2018 at 17:47

R. van Dobben de Bruyn

27.3k3 gold badges86 silver badges139 bronze badges

Subdirect product of perfect groups

Awarded Apr 20, 2018 at 17:47

Keith Kearnes

12.1k2 gold badges45 silver badges73 bronze badges

Showing an Ext^2 element is zero

Awarded Apr 20, 2018 at 17:47

Sasha

37.3k2 gold badges54 silver badges101 bronze badges

What "metatheory" did early set theory/logic researchers use to prove semantic results?

Awarded Apr 20, 2018 at 12:48

Peter LeFanu Lumsdaine

19.2k2 gold badges69 silver badges119 bronze badges

Product of Frattini Groups

Awarded Apr 18, 2018 at 23:46

YCor

60.4k5 gold badges177 silver badges274 bronze badges

In Szemerédi's Regularity Lemma, how many blocks are in the partition?

Awarded Apr 18, 2018 at 23:46

Mark Lewko

11.8k1 gold badge50 silver badges76 bronze badges

Cohomology of $ko,tmf,MSpin,MString$ with coefficients $\mathbb{Z}/p$ for odd primes $p$

Awarded Apr 18, 2018 at 1:45

Mark Behrens

2662 silver badges2 bronze badges

Is there an "analytical" version of Tao's uncertainty principle?

Awarded Apr 17, 2018 at 22:15

Will Sawin

137k9 gold badges298 silver badges525 bronze badges

Intersection Cohomology and $L^2$ cohomology

Awarded Apr 17, 2018 at 18:02

Simon Pepin Lehalleur

1,57614 silver badges16 bronze badges

Arranging squares without overlap

Awarded Apr 17, 2018 at 18:02

j.c.

13.5k3 gold badges51 silver badges89 bronze badges

Automorphisms of power set lattice mod finite

Awarded Apr 17, 2018 at 11:19

YCor

60.4k5 gold badges177 silver badges274 bronze badges

Different definitions of category

Awarded Apr 17, 2018 at 9:47

Peter LeFanu Lumsdaine

19.2k2 gold badges69 silver badges119 bronze badges

Who was the first to capitalize Real?

Awarded Apr 16, 2018 at 17:44

Carlo Beenakker

178k17 gold badges423 silver badges617 bronze badges

Is this a proper application of the Lowenheim-Skolem Theorem to a proper class?

Awarded Apr 16, 2018 at 17:44

Andrés E. Caicedo

32.2k5 gold badges130 silver badges234 bronze badges

Is an ∞-topos of local homotopy dimension $\leq n$ of homotopy dimension $\leq n$?

Awarded Apr 16, 2018 at 9:35

Jacob Lurie

17.6k4 gold badges74 silver badges77 bronze badges

Historically, which came first: the Lie algebras or their classification?

Awarded Apr 15, 2018 at 23:09

Francois Ziegler

29.5k6 gold badges112 silver badges169 bronze badges

Natural examples of Reverse Mathematics outside classical analysis?

Awarded Apr 15, 2018 at 20:07

Henry Towsner

7,13526 silver badges34 bronze badges

Who wins two player sudoku?

Awarded Apr 15, 2018 at 9:51

Joel David Hamkins

225k42 gold badges733 silver badges1.3k bronze badges

Longest path through hypercube corners

Awarded Apr 15, 2018 at 6:16

MTyson

1,5831 gold badge12 silver badges18 bronze badges

One point compactification of $(\mathbb{C}^{\ast})^n$

Awarded Apr 15, 2018 at 5:24

Tyler Lawson

51.5k9 gold badges184 silver badges244 bronze badges

How many homotopy types of lens spaces L(p,q) if the given integer p is not prime?

Awarded Apr 15, 2018 at 3:02

Greg Martin

12.7k1 gold badge48 silver badges70 bronze badges

Are (semi)simple Lie groups some sort of "homotopy quotient groups" of their maximal tori?

Awarded Apr 13, 2018 at 11:58

Charles Rezk

26.7k2 gold badges96 silver badges160 bronze badges

Number of irreducible polynomials of degree $r$ in $F_2[x]$

Awarded Apr 12, 2018 at 20:10

kodlu

10.1k2 gold badges34 silver badges53 bronze badges

Riemannian submersions from complex hyperbolic space into the hyperbolic space

Awarded Apr 12, 2018 at 4:03

Robert Bryant

106k8 gold badges335 silver badges442 bronze badges

Current status of Grothendieck's homotopy hypothesis and Whitehead's algebraic homotopy programme

Awarded Apr 11, 2018 at 21:14

Simon Henry

40.2k5 gold badges103 silver badges198 bronze badges

The Borel construction of equivariant cobordism

Awarded Apr 11, 2018 at 19:43

Neil Strickland

55k7 gold badges140 silver badges254 bronze badges

Is there a sensible notion of a winding number of a closed curve in $\mathbb{R}^n$, $n\geq 3$, with respect to a point not lying on it?

Awarded Apr 11, 2018 at 19:17

Piotr Hajlasz

27.3k5 gold badges82 silver badges176 bronze badges

How to prove the sum of n squared binomial probabilities does not increase as n increases

Awarded Apr 11, 2018 at 15:51

Fedor Petrov

103k9 gold badges248 silver badges426 bronze badges

Group of units of a ring spectrum vs of its connective cover

Awarded Apr 11, 2018 at 15:51

Tyler Lawson

51.5k9 gold badges184 silver badges244 bronze badges

Injective von Neumann algebra

Awarded Apr 11, 2018 at 11:25

Jesse Peterson

4,59431 silver badges32 bronze badges

Prev 1

…

79 80

82 83

…

196 Next