MathOverflow

Enlightened

 Enlightened
First to answer and accepted with score of 10 or more. This badge can be awarded multiple times.
Awarded 11701 times.
Counterexample showing that G-invariant de Rham cohomology different from cohomology of G-invariant sub-complex?
Awarded Mar 11, 2018 at 18:58
On the $L^1$-norm of certain exponential sums
Awarded Mar 11, 2018 at 15:20
Where do models of false theories exist?
Awarded Mar 10, 2018 at 1:00
What fails when using call/cc as realizer of the Peirce formula
Awarded Mar 9, 2018 at 23:29
Proof assistant for working in weaker foundations?
Awarded Mar 9, 2018 at 16:40
Is it possible to completely embed complete Heyting Algebras into upsets of a poset?
Awarded Mar 8, 2018 at 23:57
How does Schlessinger's criterion sit with Grothendieck Existence (aka GFGA)?
Awarded Mar 8, 2018 at 22:45
All fiber bundles over $S^2$ extendable to $\mathbb{C}P^\infty$?
Awarded Mar 8, 2018 at 22:45
Does the axiom schema of Replacement follow from the abstract notion of the iterative conception of sets?
Awarded Mar 8, 2018 at 15:33
Are algebraically isomorphic $C^*$-algebras $*$-isomorphic?
Awarded Mar 8, 2018 at 13:56
Can every $\mathcal{L}_{\omega_1,\omega}$ formula be expressed as a type? What about canonical forms?
Awarded Mar 8, 2018 at 8:04
Does there exist a nonsingular graph for which the determinant of its adjacency matrix remains the same upon deleting a vertex?
Awarded Mar 7, 2018 at 23:46
Minimum enclosing rectangle of a convex polygon has a collinear side
Awarded Mar 6, 2018 at 22:50
When $\lambda$-commutativity implies commutativity?
Awarded Mar 6, 2018 at 16:17
What is this property exhibited by some logical systems?
Awarded Mar 6, 2018 at 11:10
The j-function and Pell equations
Awarded Mar 6, 2018 at 10:55
Primes of the form $x^2 + y^2 + 1$
Awarded Mar 4, 2018 at 8:19
Relating two different approaches to the Atiyah-Hirzebruch Spectral Sequence
Awarded Mar 3, 2018 at 6:37
Hausdorff dimension of the boundary of an open set in the Euclidean space - lower bound
Awarded Mar 2, 2018 at 12:49
Explicit formulas for invariants of binary quintic forms
Awarded Mar 2, 2018 at 11:11
Automorphisms of the Lie algebras $\mathfrak{sl}(2,R)$ and $\mathfrak{su}(2)$
Awarded Mar 2, 2018 at 2:56
Did Hilbert laugh?
Awarded Mar 1, 2018 at 21:01
Picard group of a finite type $\mathbb{Z}$-algebra
Awarded Feb 28, 2018 at 22:12
A question on closed geodesics
Awarded Feb 28, 2018 at 19:54
Is a field that never embeds twice in another field necessarily a prime field?
Awarded Feb 28, 2018 at 9:16
Hodge-Tate representations
Awarded Feb 28, 2018 at 6:16
Matrix exponential, containing a thermal state
Awarded Feb 27, 2018 at 22:42
Does anyone recognize these polynomials? Need to compute a riemann lebesgue type limit
Awarded Feb 27, 2018 at 10:10
What fraction of n-point sets in the unit ball have diameter smaller than 1?
Awarded Feb 27, 2018 at 1:37
What do you call $C$ if $[D,C] = D^\vee \otimes C$ for all $D$?
Awarded Feb 25, 2018 at 22:17
The square root of Wilson's theorem when $p\equiv 1 \mod 4$
Awarded Feb 25, 2018 at 18:59
Two motivic complexes, compared
Awarded Feb 25, 2018 at 6:43
Separable bidual but nonseparable third dual
Awarded Feb 24, 2018 at 17:02
reference for "X compact <=> C_b(X) separable" (X metric space)
Awarded Feb 23, 2018 at 16:03
Why aren't proceedings from ICM 2014 on mathscinet?
Awarded Feb 22, 2018 at 21:13
Derived completion of complexes
Awarded Feb 22, 2018 at 9:26
What is known about ideal and divisibility lattices of GCD domains and their generalizations?
Awarded Feb 21, 2018 at 21:27
Is the maximum domain to which a Dirichlet series can be continued always a halfplane?
Awarded Feb 21, 2018 at 9:39
Axioms for constructive Euclidean geometry
Awarded Feb 21, 2018 at 9:39
$Ind_H^G 1_H-1_G$ as direct sum of monomials
Awarded Feb 21, 2018 at 0:48
On an exercise from Weibel's book on homological algebra
Awarded Feb 20, 2018 at 21:52
Does Chabauty-Coleman method give an algorithm for finding rational points?
Awarded Feb 20, 2018 at 21:11
A name for PDE systems which are neither under- nor overdetermined?
Awarded Feb 20, 2018 at 21:11
D-modules and Algebraic Solutions of PDEs
Awarded Feb 20, 2018 at 20:03
Tate-Shafarevich group over number fields
Awarded Feb 20, 2018 at 11:10
Haar measure on $\mathrm{SL}_3(\mathbb{Z}) \backslash \mathrm{SL}_3(\mathbb{R}) / \mathrm{SO}_3(\mathbb{R})$
Awarded Feb 20, 2018 at 7:33
What is this quotient of the triangle 2-3-7 group?
Awarded Feb 19, 2018 at 22:18
Pull-back of algebraic cycles
Awarded Feb 19, 2018 at 1:24
Absolute Hodge cycles
Awarded Feb 18, 2018 at 10:33
Examples of injective morphisms which are not universally injective
Awarded Feb 18, 2018 at 1:10
Largest $A\subset \mathbb{F}_2^n$ such that no two $a\neq b$ in $A$ add to an element of $A.$
Awarded Feb 17, 2018 at 22:46
pull back of an ample line bundle under a blow up
Awarded Feb 17, 2018 at 22:46
For which rings R is SL_n(R) generated by its n-1 fundamental copies of SL_2(R)?
Awarded Feb 17, 2018 at 19:26
Computing a polynomial product over roots of unity
Awarded Feb 16, 2018 at 22:44
Trivial product of two matrices?
Awarded Feb 16, 2018 at 22:44
Taking a proper class as a model for Set Theory
Awarded Feb 16, 2018 at 16:59
Decomposition of positive definite matrices.
Awarded Feb 16, 2018 at 14:27
Does the forgetful functor from presentable $\infty$-categories to $\infty$-categories preserve filtered colimits?
Awarded Feb 16, 2018 at 13:11
The geometry of $\mathbb{R}^n$
Awarded Feb 16, 2018 at 7:54
What is known about the relationship between Fermat's last theorem and Peano Arithmetic?
Awarded Feb 16, 2018 at 7:54
1
…
81 82
83
84 85
…
196