All Questions
152,891
questions
113
votes
3
answers
12k
views
Is St. Petersburg a good place for the 2022 Int. Congress of Mathematicians
There might be just enough time to pick another location, but I am curious what mathematicians think. Will Ukrainian mathematicians be able to attend a conference in Russia if Russia no longer ...
113
votes
11
answers
17k
views
On mathematical arguments against Quantum computing
Quantum computing is a very active and rapidly expanding field of research. Many companies and research institutes are spending a lot on this futuristic and potentially game-changing technology. Some ...
113
votes
15
answers
54k
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 ...
113
votes
1
answer
10k
views
What happened to Suren Arakelov? [closed]
I heard that Professor Suren Arakelov got mental disorder and ceased research. However, a brief search on the Russian wikipedia page showed he was placed in a psychiatric hospital because of political ...
113
votes
2
answers
12k
views
How would you solve this tantalizing Halmos problem?
$1-ab$ invertible $\implies$ $1-ba$ invertible has a slick power series "proof" as below, where Halmos asks for an explanation of why this tantalizing derivation succeeds. Do you know one?
Geometric ...
112
votes
25
answers
36k
views
Examples of math hoaxes/interesting jokes published on April Fool's day?
What are examples of math hoaxes/interesting jokes published on April Fool's day?
For a start P=NP.
Added 2023-04-01 Anything new in 2023?
112
votes
19
answers
41k
views
What is the definition of "canonical"?
I just received a referee report criticizing that I would too often use the word "canonical". I have a certain understanding of what "canonical" should stand for, but the report ...
111
votes
2
answers
15k
views
Does every non-empty set admit a group structure (in ZF)?
It is easy to see that in ZFC, any non-empty set $S$ admits a group structure: for finite $S$ identify $S$ with a cyclic group, and for infinite $S$, the set of finite subsets of $S$ with the binary ...
111
votes
7
answers
8k
views
Is the set $ AA+A $ always at least as large as $ A+A $?
Let $A$ be a finite set of real numbers. Is it always the case that $|AA+A| \geq |A+A|$?
My first instinct is that this is obviously true, and there is a one-line proof which I am foolishly ...
111
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
34
answers
84k
views
Why do we teach calculus students the derivative as a limit?
I'm not teaching calculus right now, but I talk to someone who does, and the question that came up is why emphasize the $h \to 0$ definition of a derivative to calculus students?
Something a teacher ...
110
votes
4
answers
13k
views
Is there a sheaf theoretical characterization of a differentiable manifold?
I'm going through the crisis of being unhappy with the textbook definition of a differentiable manifold. I'm wondering whether there is a sheaf-theoretic approach which will make me happier. In a ...
109
votes
89
answers
29k
views
Tweetable Mathematics
Update: Please restrict your answers to "tweets" that give more than just the statement of the result, and give also the essence (or a useful hint) of the argument/novelty.
I am looking for ...
109
votes
29
answers
62k
views
Open problems with monetary rewards
Since the old days, many mathematicians have been attaching monetary rewards to problems they admit are difficult. Their reasons could be to draw other mathematicians' attention, to express their ...
109
votes
19
answers
37k
views
Why were matrix determinants once such a big deal?
I have been told that the study of matrix determinants once comprised the bulk of linear algebra. Today, few textbooks spend more than a few pages to define it and use it to compute a matrix inverse. ...
109
votes
10
answers
23k
views
Set theories without "junk" theorems?
Clearly I first need to formally define what I mean by "junk" theorem. In the usual construction of natural numbers in set theory, a side-effect of that construction is that we get such theorems as $...
109
votes
6
answers
15k
views
When can a connection Induce a Riemannian metric for which it is the Levi-Civita connection?
As we all know, for a Riemannian manifold $(M,g)$, there exists a unique torsion-free connection $\nabla_g$, the Levi-Civita connection, that is compatible with the metric.
I was wondering if one can ...
108
votes
20
answers
18k
views
Mathematical habits of thought and action which would be of use to non-mathematicians
Once again I come to MO for help with something I'm writing for the public.
Which habits of mathematicians -- aspects of the way we approach problems, the way we argue, the way we function as a ...
108
votes
27
answers
40k
views
Why should one still teach Riemann integration?
In the introduction to chapter VIII of Dieudonné's Foundations of Modern Analysis (Volume 1 of his 13-volume Treatise on Analysis), he makes the following argument:
Finally, the reader will ...
108
votes
11
answers
12k
views
Examples of notably long or difficult proofs that only improve upon existing results by a small amount
I was recently reading Bui, Conrey and Young's 2011 paper "More than 41% of the zeros of the zeta function are on the critical line", in which they improve the lower bound on the proportion of zeros ...
108
votes
11
answers
12k
views
Why do Groups and Abelian Groups feel so different?
Groups are naturally "the symmetries of an object". To me, the group axioms are just a way of codifying what the symmetries of an object can be so we can study it abstractly.
However, this heuristic ...
108
votes
9
answers
35k
views
How do you not forget old math?
I am trying to not forget my old math. I finished my PhD in real algebraic geometry a few years ago and then switched to the industry for financial reasons. Now I get the feeling that I want to do a ...
108
votes
15
answers
10k
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),...
107
votes
32
answers
14k
views
The half-life of a theorem, or Arnold's principle at work
Suppose you prove a theorem, and then sleep well at night knowing that future generations will remember your name in conjunction with the great advance in human wisdom. In fact, sadly, it seems that ...
107
votes
10
answers
28k
views
What is the oldest open problem in mathematics?
What is the oldest open problem in mathematics? By old, I am referring to the date the problem was stated.
Browsing Wikipedia list of open problems, it seems that the Goldbach conjecture (1742, every ...
107
votes
8
answers
15k
views
What do heat kernels have to do with the Riemann-Roch theorem and the Gauss-Bonnet theorem?
I know the following facts. (Don't assume I know much more than the following facts.)
The Atiyah-Singer index theorem generalizes both the Riemann-Roch theorem and the Gauss-Bonnet theorem.
The ...
107
votes
6
answers
18k
views
How small can a sum of a few roots of unity be?
Let $n$ be a large natural number, and let $z_1, \ldots, z_{10}$ be (say) ten $n^{th}$ roots of unity: $z_1^n = \ldots = z_{10}^n = 1$. Suppose that the sum $S = z_1+\ldots+z_{10}$ is non-zero. How ...
106
votes
36
answers
20k
views
Interesting examples of vacuous / void entities
I included this footnote in a paper in which I mentioned that the number of partitions of the empty set is 1 (every member of any partition is a non-empty set, and of course every member of the empty ...
106
votes
32
answers
14k
views
Special rational numbers that appear as answers to natural questions
Motivation:
Many interesting irrational numbers (or numbers believed to be irrational) appear as answers to natural questions in mathematics. Famous examples are $e$, $\pi$, $\log 2$, $\zeta(3)$ etc. ...
106
votes
26
answers
14k
views
Fields of mathematics that were dormant for a long time until someone revitalized them
I thought that the closed question here could be modified to a very interesting question (at least as far as big-list type questions go).
Can people name examples of fields of mathematics that were ...
106
votes
15
answers
35k
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 ...
106
votes
9
answers
35k
views
solving $f(f(x))=g(x)$
This question is of course inspired by the question How to solve f(f(x))=cosx
and Joel David Hamkins' answer, which somehow gives a formal trick for solving equations of the form $f(f(x))=g(x)$ on a ...
106
votes
10
answers
14k
views
Analogues of P vs. NP in the history of mathematics
Recently I wrote a blog post entitled "The Scientific Case for P≠NP". The argument I tried to articulate there is that there seems to be an "invisible electric fence" separating the problems in P ...
106
votes
7
answers
20k
views
What is the field with one element?
I've heard of this many times, but I don't know anything about it.
What I do know is that it is supposed to solve the problem of the fact that the final object in the category of schemes is one-...
106
votes
2
answers
32k
views
What is the definition of the function T used in Atiyah's attempted proof of the Riemann Hypothesis?
In Michael Atiyah's paper purportedly proving the Riemann hypothesis, he relies heavily on the properties of a certain function $T(s)$, known as the Todd function. My question is, what is the ...
106
votes
0
answers
16k
views
A proof of $\dim(R[T])=\dim(R)+1$ without prime ideals?
Please read this first before answering. This question is only concerned with a proof of the dimension formula using the Coquand-Lombardi characterization below. If you post something that doesn't ...
105
votes
5
answers
9k
views
integral of a "sin-omial" coefficients=binomial
I find the following averaged-integral amusing and intriguing, to say the least. Is there any proof?
For any pair of integers $n\geq k\geq0$, we have
$$\frac1{\pi}\int_0^{\pi}\frac{\sin^n(x)}{\...
104
votes
11
answers
40k
views
What is the exterior derivative intuitively?
Actually I have several related questions, not worth opening different threads:
What is the exterior derivative intuitively? What is its geometric meaning?
A possible answer I know is, that it is ...
104
votes
6
answers
19k
views
Why does the Riemann zeta function have non-trivial zeros?
This is a very basic question of course, and exposes my serious ignorance of analytic number theory, but what I am looking for is a good intuitive explanation rather than a formal proof (though a ...
104
votes
10
answers
17k
views
"Understanding" $\mathrm{Gal}(\bar{\mathbb{Q}}/\mathbb{Q})$
I have heard people say that a major goal of number theory is to understand the absolute Galois group of the rational numbers $G = \mathrm{Gal}(\bar{\mathbb{Q}}/\mathbb{Q})$. What do people mean when ...
104
votes
3
answers
9k
views
Has the Lie group E8 really been detected experimentally?
A few months ago there were several math talks about how the Lie group E8 had been detected in some physics experiment. I recently looked up the original paper where this was announced,
"Quantum ...
103
votes
17
answers
15k
views
Theorems that are essentially impossible to guess by empirical observation
There are many mathematical statements that, despite being supported by a massive amount of data, are currently unproven. A well-known example is the Goldbach conjecture, which has been shown to hold ...
103
votes
15
answers
12k
views
Why are matrices ubiquitous but hypermatrices rare?
I am puzzled by the amazing utility and therefore ubiquity of
two-dimensional matrices in comparison to the relative
paucity of multidimensional arrays of numbers, hypermatrices.
Of course ...
103
votes
19
answers
11k
views
When are two proofs of the same theorem really different proofs
Many well-known theorems have lots of "different" proofs. Often new proofs of a theorem arise surprisingly from other branches of mathematics than the theorem itself.
When are two proofs really the ...
103
votes
13
answers
36k
views
How misleading is it to regard $\frac{dy}{dx}$ as a fraction?
I am teaching Calc I, for the first time, and I haven't seriously revisited the subject in quite some time. An interesting pedagogy question came up: How misleading is it to regard $\frac{dy}{dx}$ as ...
103
votes
12
answers
31k
views
Where are mathematics jobs advertised if not on mathjobs (e.g. in Europe and elsewhere)?
My impression is that in the US, there is a canonical place for finding math jobs, namely mathjobs.org. For those of us who live and apply for jobs elsewhere, life is more complicated, and searching ...
103
votes
5
answers
16k
views
Independent evidence for the classification of topological 4-manifolds?
Is there any evidence for the classification of topological 4-manifolds, aside from Freedman's 1982 paper "The topology of four-dimensional manifolds", Journal of Differential Geometry 17(3) 357–453? ...
103
votes
23
answers
35k
views
eBook readers for mathematics
For a while I have been eying stand-alone eBook readers that use "electronic ink" displays, the most popular ones seem to be the Amazon Kindle readers.
My criteria are as follows: It should be able ...
102
votes
61
answers
38k
views
Which mathematicians have influenced you the most? [closed]
There are mathematicians whose creativity, insight and taste have the power of driving anyone into a world of beautiful ideas, which can inspire the desire, even the need for doing mathematics, or can ...
102
votes
8
answers
10k
views
When should a result be made into a paper?
I recently posted a short (6 page) note on arXiv, and have more or less decided that I should not submit it to a journal. I could have tacked it onto the end of a previous paper, but I thought it ...