Questions tagged [big-picture]
Questions designed to get an overview of a specific subject or body of results or to understand the relations among similar definitions, techniques or concepts appearing in different sub-fields of mathematics. While such questions by their very nature sometimes cannot be made very narrow and focused, it can be helpful to keep in mind that the design of MathOverflow does not make it a good fit for questions that are too broad.
369
questions
392
votes
23
answers
65k
views
Thinking and Explaining
How big a gap is there between how you think about mathematics and what you say to others? Do you say what you're thinking? Please give either personal examples of how your thoughts and words differ, ...
249
votes
29
answers
163k
views
Intuitive crutches for higher dimensional thinking
I once heard a joke (not a great one I'll admit...) about higher dimensional thinking that went as follows-
An engineer, a physicist, and a mathematician are discussing how to visualise four ...
230
votes
89
answers
44k
views
Your favorite surprising connections in mathematics
There are certain things in mathematics that have caused me a pleasant surprise -- when some part of mathematics is brought to bear in a fundamental way on another, where the connection between the ...
220
votes
140
answers
48k
views
Fundamental Examples
It is not unusual that a single example or a very few shape an entire mathematical discipline. Can you give examples for such examples? (One example, or few, per post, please)
I'd love to learn about ...
181
votes
60
answers
42k
views
Examples of eventual counterexamples
Define an "eventual counterexample" to be
$P(a) = T $ for $a < n$
$P(n) = F$
$n$ is sufficiently large for $P(a) = T\ \ \forall a \in \mathbb{N}$ to be a 'reasonable' conjecture to ...
170
votes
36
answers
35k
views
Proposals for polymath projects
Background
Polymath projects are a form of open Internet collaboration aimed towards a major mathematical goal, usually to settle a major mathematical problem. This is a concept introduced in 2009 by ...
163
votes
46
answers
31k
views
Every mathematician has only a few tricks
In Gian-Carlo Rota's "Ten lessons I wish I had been taught" he has a section, "Every mathematician has only a few tricks", where he asserts that even mathematicians like Hilbert ...
158
votes
14
answers
39k
views
What is an integrable system?
What is an integrable system, and what is the significance of such systems? (Maybe it is easier to explain what a non-integrable system is.) In particular, is there a dichotomy between "...
154
votes
26
answers
43k
views
What recent discoveries have amateur mathematicians made?
E.T. Bell called Fermat the Prince of Amateurs. One hundred years ago Ramanujan amazed the mathematical world. In between were many important amateurs and mathematicians off the beaten path, but what ...
153
votes
4
answers
11k
views
Analytic tools in algebraic geometry
This is not a very precise question, but I hope it will get some good answers.
As someone with a background in smooth manifold theory, I have experienced algebraic geometry as a beautiful but foreign ...
152
votes
52
answers
23k
views
Experimental mathematics leading to major advances
I would like to ask about examples where experimentation by computers has led to major mathematical advances.
A new look
Now as the question is five years old and there are certainly more examples of ...
138
votes
17
answers
22k
views
What makes four dimensions special?
Do you know properties which distinguish four-dimensional spaces among the others?
What makes four-dimensional topological manifolds special?
What makes four-dimensional differentiable manifolds ...
127
votes
13
answers
29k
views
Why are modular forms interesting?
Well, I'm aware that this question may seem very naive to the several experts on this topic that populate this site: feel free to add the "soft question" tag if you want... So, knowing nothing about ...
124
votes
23
answers
35k
views
Collection of equivalent forms of Riemann Hypothesis
This forum brings together a broad enough base of mathematicians to collect a "big list" of equivalent forms of the Riemann Hypothesis...just for fun. Also, perhaps, this collection could include ...
121
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 ...
120
votes
9
answers
13k
views
Breakthroughs in mathematics in 2021
This is somehow a general (and naive) question, but as specialized mathematicians we usually miss important results outside our area of research.
So, generally speaking, which have been important ...
114
votes
32
answers
20k
views
What notions are used but not clearly defined in modern mathematics?
"Everyone knows what a curve is, until he has studied enough mathematics to become confused through the countless number of possible exceptions."
Felix Klein
What notions are used but not ...
100
votes
10
answers
15k
views
Why do Bernoulli numbers arise everywhere?
I have seen Bernoulli numbers many times, and sometimes very surprisingly. They appear in my textbook on complex analysis, in algebraic topology, and of course, number theory. Things like the criteria ...
97
votes
50
answers
42k
views
Theorems that are 'obvious' but hard to prove
There are several well-known mathematical statements that are 'obvious' but false (such as the negation of the Banach--Tarski theorem). There are plenty more that are 'obvious' and true. One would ...
95
votes
36
answers
16k
views
The concept of duality
I have been thinking for sometime about asking this question, but because I did not want to have two "big-list" questions open at the same time, I did not ask this one. Now its time has come....
95
votes
16
answers
17k
views
Why is it a good idea to study a ring by studying its modules?
This is related to another question of mine. Suppose you met someone who was well-acquainted with the basic properties of rings, but who had never heard of a module. You tell him that modules ...
90
votes
24
answers
21k
views
Examples of major theorems with very hard proofs that have not dramatically improved over time
This question complement a previous MO question: Examples of theorems with proofs that have dramatically improved over time.
I am looking for a list of
Major theorems in mathematics whose proofs are ...
84
votes
9
answers
10k
views
What's wrong with the surreals?
Of all the constructions of the reals, the construction via the surreals seems the most elegant to me.
It seems to immediately capture the total ordering and precision of Dedekind cuts at a ...
83
votes
4
answers
13k
views
How to find ICM talks?
I am very interested in reading some and skimming through the list of invited talks at the International Congress of Mathematicians. Since the proceedings contain talks supposedly by top experts in ...
82
votes
15
answers
9k
views
Theorems that impeded progress
It may be that certain theorems, when proved true, counterintuitively retard
progress in certain domains. Lloyd Trefethen provides two examples:
Faber's Theorem on polynomial interpolation: ...
82
votes
6
answers
15k
views
What is a cohomology theory (seriously)?
This question has bugged me for a long time. Is there a unifying concept behind everything that is called a "cohomology theory"?
I know that there exist generalized cohomology theories, Weil ...
78
votes
12
answers
12k
views
Is there a high-concept explanation for why characteristic 2 is special?
The structure of the multiplicative groups of $\mathbb{Z}/p\mathbb{Z}$ or of $\mathbb{Z}_p$ is the same for odd primes, but not for $2.$ Quadratic reciprocity has a uniform statement for odd primes, ...
78
votes
9
answers
11k
views
Breakthroughs in mathematics in 2023
At the end of 2021, Johnny Cage asked about breakthroughs in 2021 in different mathematical disciplines. A similar question has been asked at the end of 2022, so it looks like Johnny Cage originated a ...
78
votes
9
answers
13k
views
What is the significance of non-commutative geometry in mathematics?
This is a question that has been winding around my head for a long time and I have not found a convincing answer. The title says everything, but I am going to enrich my question by little more ...
77
votes
15
answers
13k
views
Each mathematician has only a few tricks
The question "Every mathematician has only a few tricks" originally had approximately the title of my question here, but originally admitted an interpretation asking for a small collection ...
75
votes
13
answers
12k
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.
74
votes
7
answers
8k
views
How does "modern" number theory contribute to further understanding of $\mathbb{N}$?
I hope this question is appropriate for MO. It comes from a genuine desire to understand the big picture and ground my own studies "morally".
I'm a graduate student with interest in number theory. I ...
73
votes
13
answers
6k
views
Why is Set, and not Rel, so ubiquitous in mathematics?
The concept of relation in the history of mathematics, either consciously or not, has always been important: think of order relations or equivalence relations.
Why was there the necessity of singling ...
72
votes
13
answers
10k
views
The use of computers leading to major mathematical advances II
I would like to ask about recent examples, mainly after 2015, where experimentation by computers or other use of computers has led to major mathematical advances.
This is a continuation of a question ...
71
votes
13
answers
19k
views
Logic in mathematics and philosophy
What are the relations between logic as an area of (modern) philosophy and mathematical logic.
The world "modern" refers to 20th century and later, and I am curious mainly about the second ...
70
votes
9
answers
6k
views
How does one find out what's happening in contemporary mathematics research?
How does one find out what's happening in contemporary mathematics research?
EDIT: I should have mentioned that I am looking for open access online sources. It so happens that I have been outside ...
69
votes
6
answers
24k
views
What is a cumulant really?
A cumulant is defined via the cumulant generating function
$$ g(t)\stackrel{\tiny def}{=} \sum_{n=1}^\infty \kappa_n \frac{t^n}{n!},$$
where
$$
g(t)\stackrel{\tiny def}{=} \log E(e^{tX}).
$$
Cumulants ...
68
votes
5
answers
17k
views
Mathematics of path integral: state of the art
I was told that one of the most efficient tools (e.g. in terms of computations relevant to physics, but also in terms of guessing heuristically mathematical facts) that physicists use is the so called ...
67
votes
3
answers
11k
views
Nonconvexity and discretization
Edit: Here's a more down-to-earth, and somewhat weakened, but I believe still nontrivial, version of the main theorem.
Prototypical nonconvex spaces are $\ell^p$-spaces for $0<p<1$, say $\ell^p(\...
66
votes
4
answers
5k
views
Why did Voevodsky consider categories "posets in the next dimension", and groupoids the correct generalisation of sets?
Earlier today, I stumbled upon this article written by V. Voevodsky about the "philosophy" behind the Univalent Foundations program. I had read it before around the time of his passing, and one ...
63
votes
16
answers
8k
views
What is the high-concept explanation on why real numbers are useful in number theory?
The utopian situation in mathematics would be that the statement and the proof of every result would live "in the same world", at the same level of mathematical complexity (in a broad sense), unless ...
62
votes
22
answers
18k
views
What's a groupoid? What's a good example of a groupoid? [closed]
Or more specifically, why do people get so excited about them? And what's your favorite easy example of one, which illustrates why I should care (and is not a group)?
62
votes
14
answers
8k
views
What advantage humans have over computers in mathematics?
Now that AlphaGo has just beaten Lee Sedol in Go and Deep Blue has beaten Garry Kasparov in chess in 1997, I wonder what advantage humans have over computers in mathematics?
More specifically, are ...
62
votes
4
answers
5k
views
What do theta functions have to do with quadratic reciprocity?
The theta function is the analytic function $\theta:U\to\mathbb{C}$ defined on the (open) right half-plane $U\subset\mathbb{C}$ by $\theta(\tau)=\sum_{n\in\mathbb{Z}}e^{-\pi n^2 \tau}$. It has the ...
61
votes
11
answers
7k
views
Why certain diophantine equations are interesting (and others are not) ?
It is quite clear why certain differential equations, among the jungle of possible diff equations that is possible to conceive, are studied: some come from physical problems, or from "spontaneous" ...
61
votes
3
answers
5k
views
Atiyah-Singer theorem-a big picture
So far I made several attempts to really learn Atiyah-Singer theorem. In order
to really understand this result a rather broad background is required: you need
to know analysis (pseudodifferential ...
60
votes
8
answers
13k
views
Sheaf cohomology and injective resolutions
In defining sheaf cohomology (say in Hartshorne), a common approach seems to be defining the cohomology functors as derived functors. Is there any conceptual reason for injective resolution to come ...
56
votes
12
answers
14k
views
Why is it useful to study vector bundles?
I have this question coming from an earlier Qiaochu's post. Some answers there, especially David Lehavi's one, were drawing the analogy bundles and varieties versus modules and rings. So I am just ...
55
votes
30
answers
7k
views
What are examples of good toy models in mathematics?
This post is community wiki.
A comment on another question reminded me of this old post of Terence Tao's about toy models. I really like the idea of using toy models of a difficult object to ...
55
votes
14
answers
10k
views
Does any research mathematics involve solving functional equations?
This is a somewhat frivolous question, so I won't mind if it gets closed. One of the categories of Olympiad-style problems (e.g. at the IMO) is solving various functional equations, such as those ...