Frequent Questions
18,061 questions
147
votes
15
answers
22k
views
Is a free alternative to MathSciNet possible?
How could a free (i.e. free content) alternative for MathSciNet and Zentralblatt be created?
Comments
Some mathematicians have stopped writing reviews for MathSciNet because they feel their output ...
135
votes
43
answers
38k
views
What are the most attractive Turing undecidable problems in mathematics?
What are the most attractive Turing undecidable problems in mathematics?
There are thousands of examples, so please post here only the most attractive, best examples. Some examples already appear on ...
128
votes
13
answers
24k
views
Checkmate in $\omega$ moves?
Is there a chess position with a finite number of pieces on the infinite chess board $\mathbb{Z}^2$ such that White to move has a forced win, but Black can stave off mate for at least $n$ moves for ...
- 5,492
127
votes
63
answers
27k
views
Counterexamples in algebra?
This is certainly related to "What are your favorite instructional counterexamples?", but I thought I would ask a more focused question. We've all seen Counterexamples in analysis and ...
127
votes
4
answers
32k
views
Slick proof?: A vector space has the same dimension as its dual if and only if it is finite dimensional
A very important theorem in linear algebra that is rarely taught is:
A vector space has the same dimension as its dual if and only if it is finite dimensional.
I have seen a total of one proof of ...
123
votes
18
answers
14k
views
How do you decide whether a question in abstract algebra is worth studying?
Dear MO-community, I am not sure how mature my view on this is and I might say some things that are controversial. I welcome contradicting views. In any case, I find it important to clarify this in my ...
123
votes
35
answers
18k
views
Rediscovery of lost mathematics
Archimedes (ca. 287-212BC) described what are now known as the 13
Archimedean solids
in a lost work, later mentioned by Pappus.
But it awaited Kepler (1619) for the 13 semiregular polyhedra to be
...
122
votes
5
answers
27k
views
Is the series $\sum_n|\sin n|^n/n$ convergent?
Problem. Is the series $$\sum_{n=1}^\infty\frac{|\sin(n)|^n}n$$convergent?
(The problem was posed on 22.06.2017 by Ph D students of H.Steinhaus Center of Wroclaw Polytechnica. The promised prize for ...
- 4,535
118
votes
15
answers
58k
views
Top specialized journals
In geometry/topology, there are (at least) three specialized journals that end up publishing a large fraction of the best papers in the subject -- Geometry and Topology, JDG, and GAFA.
What journals ...
117
votes
22
answers
39k
views
What's the "best" proof of quadratic reciprocity?
For my purposes, you may want to interpret "best" as "clearest and easiest to understand for undergrads in a first number theory course," but don't feel too constrained.
112
votes
6
answers
10k
views
Counterexamples in algebraic topology?
In this thread
Books you would like to read (if somebody would just write them...),
I expressed my desire for a book with the title "(Counter)examples in Algebraic Topology".
My reason for doing so ...
110
votes
15
answers
11k
views
Are there any good websites for hosting discussions of mathematical papers?
I was wondering if there are any websites out there which
systematically provide space for the discussion of mathematics articles (particularly those on the arXiv, though not necessarily just those),...
106
votes
15
answers
37k
views
Most striking applications of category theory?
What are the most striking applications of category theory? I'm trying to motivate deeper study of category theory and I have only come across the following significant examples:
Joyal's ...
99
votes
7
answers
20k
views
Can we cover the unit square by these rectangles?
The following question was a research exercise (i.e. an open problem) in R. Graham, D.E. Knuth, and O. Patashnik, "Concrete Mathematics", 1988, chapter 1.
It is easy to show that
$$\sum_{1 \...
- 5,502
92
votes
11
answers
15k
views
What are possible applications of deep learning to research mathematics?
With no doubt everyone here has heard of deep learning, even if they don't know what it is or what it is good for. I myself am a former mathematician turned data scientist who is quite interested in ...
89
votes
9
answers
13k
views
Why should I believe the Mordell Conjecture?
It was Faltings who first proved in 1983 the Mordell conjecture, that a curve of genus 2 or more over a number field has only finitely many rational points.
I am interested to know why Mordell and ...
- 2,827
87
votes
15
answers
37k
views
The importance of EGA and SGA for "students of today"
That fact that EGA and SGA have played mayor roles is uncontroversial. But they contain many volumes/chapters and going through them would take a lot of time, especially if you do not speak French.
...
82
votes
5
answers
6k
views
How do the compact Hausdorff topologies sit in the lattice of all topologies on a set?
This question is about the space of all topologies on a
fixed set X. We may order the topologies by refinement, so
that τ ≤ σ just in case every τ open set is open in σ.
...
- 236k
79
votes
5
answers
5k
views
Can the Lawvere fixed point theorem be used to prove the Brouwer fixed point theorem?
The Lawvere fixed point theorem asserts that if $X, Y$ are objects in a category with finite products such that the exponential $Y^X$ exists, and if $f : X \to Y^X$ is a morphism which is surjective ...
- 118k
79
votes
6
answers
4k
views
Does every polyomino tile R^n for some n?
This is a question posed by Adam Chalcraft. I am posting it here because I think it deserves wider circulation, and because maybe someone already knows the answer.
A polyomino is usually defined to ...
- 82.7k
78
votes
7
answers
8k
views
Example of a manifold which is not a homogeneous space of any Lie group
Every manifold that I ever met in a differential geometry class was a homogeneous space: spheres, tori, Grassmannians, flag manifolds, Stiefel manifolds, etc. What is an example of a connected smooth ...
- 8,559
78
votes
9
answers
26k
views
Irreducibility of polynomials in two variables
Let $k$ be a field. I am interested in sufficient criteria for $f \in k[x,y]$ to be irreducible. An example is Theorem A of this paper (Brindza and Pintér, On the irreducibility of some polynomials in ...
- 30.5k
77
votes
8
answers
12k
views
Succinctly naming big numbers: ZFC versus Busy-Beaver
Years ago, I wrote an essay called Who Can Name the Bigger Number?, which posed the following challenge:
You have fifteen seconds. Using standard math notation, English words, or both, name a single ...
- 9,833
75
votes
13
answers
13k
views
What precisely Is "Categorification"?
(And what's it good for.)
Related MO questions (with some very nice answers): examples-of-categorification; can-we-categorify-the-equation $(1-t)(1+t+t^2+\dots)=1$?; categorification-request.
- 24.7k
74
votes
15
answers
18k
views
$f(f(x))=\exp(x)-1$ and other functions "just in the middle" between linear and exponential
The question is about the function $f(x)$ so that $f(f(x))=\exp (x)-1$.
The question is open ended and it was discussed quite recently in the comment thread in Aaronson's blog here http://...
- 24.7k
69
votes
28
answers
12k
views
Examples of seemingly elementary problems that are hard to solve?
I'm looking for a list of problems such that
a) any undergraduate student who took multivariable calculus and linear algebra can understand the statements, (Edit: the definition of understanding here ...
69
votes
4
answers
14k
views
Is a "non-analytic" proof of Dirichlet's theorem on primes known or possible?
It is well-known that one can prove certain special cases of Dirichlet's theorem by exhibiting an integer polynomial $p(x)$ with the properties that the prime divisors of $\{ p(n) | n \in \mathbb{Z} \}...
- 118k
68
votes
4
answers
12k
views
Nelson's program to show inconsistency of ZF
At the end of the paper Division by three by Peter G. Doyle and John H. Conway, the authors say:
Not that we believe there really are any such things as infinite sets, or that the Zermelo-Fraenkel ...
- 25.5k
68
votes
4
answers
9k
views
explicit big linearly independent sets
In the following, I use the word "explicit" in the following sense: No choices of bases (of vector spaces or field extensions), non-principal ultrafilters or alike which exist only by Zorn's Lemma (or ...
- 63.1k
67
votes
39
answers
9k
views
Results true in a dimension and false for higher dimensions
Some theorems are true in vector spaces or in manifolds for a given dimension $n$ but become false in higher dimensions.
Here are two examples:
A positive polynomial not reaching its infimum. ...
64
votes
4
answers
8k
views
What is the current status of the Kaplansky zero-divisor conjecture for group rings?
Let $K$ be a field and $G$ a group. The so called zero-divisor conjecture for group rings asserts that the group ring $K[G]$ is a domain if and only if $G$ is a torsion-free group.
A couple of good ...
- 1,065
64
votes
6
answers
5k
views
Shortest closed curve to inspect a sphere
Let $S$ be a sphere in $\mathbb{R}^3$. Let $C$ be a closed curve in $\mathbb{R}^3$ disjoint from and
exterior to $S$
which has the property that every point $x$ on $S$ is visible to some point $y$ of $...
- 151k
62
votes
1
answer
14k
views
Is the Green-Tao theorem true for primes within a given arithmetic progression?
Ben Green and Terrence Tao proved that there are arbitrary length arithmetic progressions among the primes.
Now, consider an arithmetic progression with starting term $a$ and common difference $d$. ...
- 3,699
61
votes
2
answers
9k
views
Are spectra really the same as cohomology theories?
Let $E \to F$ be a morphism of cohomology theories defined on finite CW complexes. Then by Brown representability, $E, F$ are represented by spectra, and the map $E \to F$ comes from a map of spectra. ...
- 25.6k
60
votes
8
answers
10k
views
Why should we believe in the axiom of regularity?
Today I started reading Maddy's Believing the axioms. As I knew beforehand, it includes some discussion of ZFC axioms. However, I really hoped for a more extensive discussion of axiom of foundation/...
- 28.2k
58
votes
43
answers
11k
views
What are some mathematical sculptures?
Either intentionally or unintentionally.
Include location and sculptor, if known.
57
votes
2
answers
7k
views
What arithmetic information is contained in the algebraic K-theory of the integers
I'm always looking for applications of homotopy theory to other fields, mostly as a way to make my talks more interesting or to motivate the field to non-specialists. It seems like most talks about ...
- 30.3k
55
votes
4
answers
4k
views
An interesting integral expression for $\pi^n$?
I came on the following multiple integral while renormalizing elliptic multiple zeta values:
$$\int_0^1\cdots \int_0^1\int_1^\infty {{1}\over{t_n(t_{n-1}+t_n)\cdots (t_1+\cdots+t_n)}} dt_n\cdots dt_1.$...
- 1,307
54
votes
7
answers
15k
views
Why are local systems and representations of the fundamental group equivalent
My question: Let X be a sufficiently 'nice' topological space. Then there is an equivalence between representations of the fundamental group of X and local systems on X, i.e. sheaves on X locally ...
- 1,197
54
votes
5
answers
15k
views
The unification of Mathematics via Topos Theory
In her paper The unification of Mathematics via Topos Theory, Olivia Caramello says "one can generate a huge number of new results in any mathematical field without any creative effort". Is ...
- 1,190
53
votes
6
answers
4k
views
Are all zeros of $\Gamma(s) \pm \Gamma(1-s)$ on a line with real part = $\frac12$ ?
The function $\Gamma(s)$ does not have zeros, but $\Gamma(s)\pm \Gamma(1-s)$ does.
Ignoring the real solutions for now and assuming $s \in \mathbb{C}$ then:
$\Gamma(s)-\Gamma(1-s)$ yields zeros at:
...
- 4,169
53
votes
4
answers
24k
views
When is $L^2(X)$ separable?
I have never studied any measure theory, so apologise in advance, if my question is easy:
Let $X$ be a measure space. How can I decide whether $L^2(X)$ is separable?
In reality, I am interested in ...
- 12.4k
52
votes
11
answers
25k
views
Does the exponential function have a (compositional) square root?
(asked by Nathaniel Hellerstein on the Q&A board at JMM)
Is there a "half-exponential" function $h(x)$ such that $h(h(x))=e^x$? Is it unique? Is it analytic?
Related question: Is there an ...
- 1,119
51
votes
1
answer
6k
views
Unconditional nonexistence for the heat equation with rapidly growing data?
Consider the initial value problem
$$ \partial_t u = \partial_{xx} u$$
$$ u(0,x) = u_0(x)$$
for the heat equation in one dimension, where $u_0: {\bf R} \to {\bf R}$ is a smooth initial datum and $u: [...
- 114k
50
votes
0
answers
12k
views
Atiyah's paper on complex structures on $S^6$
M. Atiyah has posted a preprint on arXiv on the non-existence of complex structure on the sphere $S^6$.
https://arxiv.org/abs/1610.09366
It relies on the topological $K$-theory $KR$ and in ...
- 9,870
48
votes
6
answers
4k
views
Why the "W" in CGWH (compactly generated weakly Hausdorff spaces)?
In his 1967 paper A convenient category of topological spaces,
Norman Steenrod introduced the category CGH of compactly generated Hausdorff spaces
as a good replacement of the category Top topological ...
- 43.2k
47
votes
3
answers
7k
views
Clearing misconceptions: Defining "is a model of ZFC" in ZFC
There is often a lot of confusion surrounding the differences between relativizing individual formulas to models and the expression of "is a model of" through coding the satisfaction relation with ...
- 2,762
46
votes
4
answers
8k
views
Why could Mertens not prove the prime number theorem?
We know that
$$
\sum_{n \le x}\frac{1}{n\ln n} = \ln\ln x + c_1 + O(1/x)
$$
where $c_1$ is a constant. Again Mertens' theorem says that the primes $p$ satisfy
$$
\sum_{p \le x}\frac{1}{p} = \ln\ln ...
- 5,470
46
votes
8
answers
12k
views
What are some proofs of Godel's Theorem which are *essentially different* from the original proof?
I am looking for examples of proofs of Godel's (First) Incompleteness Theorem which are essentially different from (Rosser's improvement of) Godel's original proof.
This is partly inspired by ...
44
votes
7
answers
22k
views
How do you show that $S^{\infty}$ is contractible?
Here I mean the version with all but finitely many components zero.
- 10.5k