All Questions
8,725 questions
394
votes
115
answers
110k
views
Not especially famous, long-open problems which anyone can understand
Question: I'm asking for a big list of not especially famous, long open problems that anyone can understand. Community wiki, so one problem per answer, please.
Motivation: I plan to use this list in ...
263
votes
29
answers
89k
views
Mathematical games interesting to both you and a 5+-year-old child
Background: My daughter is 6 years old now, once I wanted to think on some math (about some Young diagrams), but she wanted to play with me...
How to make both of us to do what they want ? I guess ...
231
votes
4
answers
16k
views
Is $\mathbb R^3$ the square of some topological space?
The other day, I was idly considering when a topological space has a square root. That is, what spaces are homeomorphic to $X \times X$ for some space $X$. $\mathbb{R}$ is not such a space: If $X \...
- 5,275
176
votes
7
answers
19k
views
Proofs of Bott periodicity
K-theory sits in an intersection of a whole bunch of different fields, which has resulted in a huge variety of proof techniques for its basic results. For instance, here's a scattering of proofs of ...
- 6,308
158
votes
8
answers
7k
views
Resources for mathematics advising.
This question is possibly ill-advised. (If it is not right for this site I will delete it.)
I, suddenly, have students.
It is very clear to me that there is nothing in my education that has ...
154
votes
7
answers
85k
views
Where to buy premium white chalk in the U.S., like they have at RIMS? [closed]
While not a research-level math question, I'm sure this is a question of interest to many research-level mathematicians, whose expertise I seek.
At RIMS (in Kyoto) in 2005, they had the best white ...
152
votes
13
answers
22k
views
Why is the fundamental group of a compact Riemann surface not free ?
Consider a compact Riemann surface $X$ of genus $g$.
It is well-known that its fundamental group $\pi_1(X)$ is the free group on the generators $a_1,b_1,...,a_g,b_g$ divided out by the normal ...
- 47.5k
150
votes
31
answers
70k
views
What are the most misleading alternate definitions in taught mathematics?
I suppose this question can be interpreted in two ways. It is often the case that two or more equivalent (but not necessarily semantically equivalent) definitions of the same idea/object are used in ...
149
votes
7
answers
23k
views
Homotopy groups of Lie groups
Several times I've heard the claim that any Lie group $G$ has trivial second fundamental group $\pi_2(G)$, but I have never actually come across a proof of this fact. Is there a nice argument, ...
- 4,014
147
votes
21
answers
23k
views
Are there examples of non-orientable manifolds in nature?
Whilst browsing through Marcel Berger's book "A Panoramic View of Riemannian Geometry" and thinking about the Klein bottle, I came across the sentence:
"The unorientable surfaces are never discussed ...
144
votes
24
answers
19k
views
Occurrences of (co)homology in other disciplines and/or nature
I am curious if the setup for (co)homology theory appears outside the realm of pure mathematics. The idea of a family of groups linked by a series of arrows such that the composition of consecutive ...
141
votes
0
answers
13k
views
Grothendieck-Teichmüller conjecture
(1) In "Esquisse d'un programme", Grothendieck conjectures
Grothendieck-Teichmüller conjecture: the morphism
$$
G_{\mathbb{Q}} \longrightarrow Aut(\widehat{T})
$$
is an isomorphism.
Here $...
- 7,527
140
votes
7
answers
34k
views
Is the boundary $\partial S$ analogous to a derivative?
Without prethought, I mentioned in class once that the reason the symbol $\partial$
is used to represent the boundary operator in topology is
that its behavior is akin to a derivative.
But after ...
- 151k
128
votes
12
answers
12k
views
Spectral sequences: opening the black box slowly with an example
My friend and I are attempting to learn about spectral sequences at the moment, and we've noticed a common theme in books about spectral sequences: no one seems to like talking about differentials.
...
- 13.5k
123
votes
25
answers
18k
views
"Mathematics talk" for five year olds
I am trying to prepare a "mathematics talk" for five year olds from my daughter's elementary school. I have given many mathematics talks in my life but this one feels
very tough to prepare. Could the ...
122
votes
7
answers
15k
views
Topology and the 2016 Nobel Prize in Physics
I was very happy to learn that the work which led to the award of the 2016 Nobel Prize in Physics (shared between David J. Thouless, F. Duncan M. Haldane and J. Michael Kosterlitz) uses Topology. In ...
119
votes
6
answers
10k
views
What properties make $[0,1]$ a good candidate for defining fundamental groups?
The title essentially says it all. Consider the category $\mathfrak{Top}_2$ of triples $(J,e_0,e_1)$ where $J$ is a topological space, and $e_i \in J$. There is an obvious generalization of the ...
- 5,759
114
votes
34
answers
86k
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 ...
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 ...
109
votes
28
answers
41k
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 ...
106
votes
4
answers
13k
views
What is the mistake in the proof of the Homotopy hypothesis by Kapranov and Voevodsky?
In 1991, Kapranov and Voevodsky published a proof of a now famously false result, roughly saying that the homotopy category of spaces is equivalent to the homotopy category of strict infinity ...
- 42.4k
104
votes
10
answers
24k
views
Motivation for algebraic K-theory?
I'm looking for a big-picture treatment of algebraic K-theory and why it's important. I've seen various abstract definitions (Quillen's plus and Q constructions, some spectral constructions like ...
103
votes
13
answers
37k
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 ...
98
votes
10
answers
14k
views
equivalence of Grothendieck-style versus Cech-style sheaf cohomology
Given a topological space $X$, we can define the sheaf cohomology of $X$ in
I. the Grothendieck style (as the right derived functor of the global sections functor $\Gamma(X,-)$)
or
II. the Čech ...
- 1,871
97
votes
19
answers
38k
views
Collecting proofs that finite multiplicative subgroups of fields are cyclic
I teach elementary number theory and discrete mathematics to students who come with no abstract algebra. I have found proving the key theorem that finite multiplicative subgroups of fields are cyclic ...
96
votes
4
answers
10k
views
Which manifolds are homeomorphic to simplicial complexes?
This question is only motivated by curiosity; I don't know a lot about manifold topology.
Suppose $M$ is a compact topological manifold of dimension $n$. I'll assume $n$ is large, say $n\geq 4$. The ...
- 27.2k
93
votes
20
answers
10k
views
Short papers for undergraduate course on reading scholarly math
(I know this is perhaps only tangentially related to mathematics research, but I'm hoping it is worthy of consideration as a community wiki question.)
Today, I was reminded of the existence of this ...
93
votes
9
answers
37k
views
Is Mac Lane still the best place to learn category theory?
For a student embarking on a study of algebraic topology, requiring a knowledge of basic category theory, with a long-term view toward higher/stable/derived category theory, ...
Is Mac Lane still ...
93
votes
3
answers
11k
views
What is homology anyway?
Disclaimer: I don't feel qualified to ask this question and yet it's been troubling me for some time now and I lost my patience and decided to ask to get some kind of answer. If there are any stupid ...
- 7,799
90
votes
5
answers
7k
views
Algorithm or theory of diagram chasing
One of the standard parts of homological algebra is "diagram chasing", or equivalent arguments with universal properties in abelian categories. Is there a rigorous theory of diagram chasing, and ...
- 56.6k
89
votes
5
answers
16k
views
Why higher category theory?
This is a soft question.
I am an undergrad and is currently seriously considering the field of math I am going into in grad school. (perhaps a little bit late, but it's better late then never.) I ...
87
votes
11
answers
14k
views
What is Quantization ?
I would like to know what quantization is, I mean I would like to have some elementary examples, some soft nontechnical definition, some explanation about what do mathematicians quantize?, can we ...
87
votes
2
answers
4k
views
History of $\frac d{dt}\tan^{-1}(t)=\frac 1{1+t^2}$
Let $\theta = \tan^{-1}(t)$. Nowadays it is taught:
1º that
$$
\frac{d\theta}{dt} = \frac 1{dt\,/\,d\theta} = \frac 1{1+t^2},
\tag1
$$
2º that, via the fundamental theorem of calculus, this is ...
- 31.5k
86
votes
44
answers
21k
views
Demystifying complex numbers
At the end of this month I start teaching complex analysis to
2nd year undergraduates, mostly from engineering but some from
science and maths. The main applications for them in future
studies are ...
86
votes
16
answers
9k
views
Teaching homology via everyday examples
What stories, puzzles, games, paradoxes, toys, etc from everyday life are better understood after learning homology theory?
To be more precise, I am teaching a short course on homology, from ...
86
votes
4
answers
15k
views
Etale cohomology -- Why study it?
I know (at least I think I know) that some of the main motivating problems in the development of etale cohomology were the Weil conjectures. I'd like to know what other problems one can solve using ...
- 2,799
85
votes
23
answers
11k
views
Solving algebraic problems with topology
Often, topologists reduce a problem which is - in some sense - of geometric nature, into an algebraic question that is then (partiallly) solved to give back some understanding of the original problem.
...
84
votes
12
answers
21k
views
Is Euclid dead?
Apparently Euclid died about 2,300 years ago (actually 2,288 to be more precise), but the title of the question refers to the rallying cry of Dieudonné, "A bas Euclide! Mort aux triangles!" (...
83
votes
7
answers
7k
views
Computational complexity of computing homotopy groups of spheres
At various times I've heard the statement that computing the group structure of $\pi_k S^n$ is algorithmic. But I've never come across a reference claiming this.
Is there a precise algorithm ...
- 44.4k
83
votes
0
answers
3k
views
Which finite abelian groups aren't homotopy groups of spheres?
Someone asked me if all finite abelian groups arise as homotopy groups of spheres. I strongly doubted it, and I bet ten bucks that $\mathbb{Z}_5$ is not $\pi_k(S^n)$ for any $n,k$. But I don't know ...
- 22.3k
82
votes
12
answers
15k
views
Compelling evidence that two basepoints are better than one
This question is inspired by an answer of Tim Porter.
Ronnie Brown pioneered a framework for homotopy theory in which one may consider multiple basepoints. These ideas are accessibly presented in his ...
- 22.1k
80
votes
10
answers
11k
views
What are the uses of the homotopy groups of spheres?
Pete Clark threw down the challenge in his comment to my answer on Why the heck are the homotopy groups of the sphere so damn complicated?:
Have the homotopy groups of spheres ever been applied to ...
- 26.8k
80
votes
15
answers
15k
views
Why torsion is important in (co)homology ?
I've once been told that "torsion in homology and cohomology is regarded by topologists as a very deep and important phenomenon". I presume an analogous statement could be said in the context of ...
80
votes
7
answers
20k
views
Teaching statements for math jobs?
What is the purpose of the "teaching statement" or "statement of teaching philosophy" when applying for jobs, specifically math postdocs? I am applying for jobs, and I need to write one of these ...
80
votes
7
answers
12k
views
Cubical vs. simplicial singular homology
Singular homology is usually defined via singular simplices, but Serre in his thesis uses singular cubes, which he claims are better adapted to the study of fibre spaces. This young man (25 years old ...
- 47.5k
80
votes
2
answers
7k
views
Vladimir Voevodsky's works
Vladimir Voevodsky has made several contributions in abstract algebraic geometry, focused on the homotopy theory of schemes, algebraic K-theory, and interrelations between algebraic geometry, and ...
80
votes
1
answer
3k
views
Topological cobordisms between smooth manifolds
Wall has calculated enough about the cobordism ring of oriented smooth manifolds that we know that two oriented smooth manifolds are oriented cobordant if and only if they have the same Stiefel--...
- 18.2k
78
votes
1
answer
5k
views
The topology of Arithmetic Progressions of primes
The primary motivation for this question is the following: I would like to extract some topological statistics which capture how arithmetic progressions of prime numbers "fit together" in a manner ...
- 15.5k
76
votes
9
answers
15k
views
understanding Steenrod squares
There is a function on $\mathbb{Z}/2\mathbb{Z}$-cohomology called Steenrod squaring: $Sq^i:H^k(X,\mathbb{Z}/2\mathbb{Z}) \to H^{k+i}(X,\mathbb{Z}/2\mathbb{Z})$. (Coefficient group suppressed from ...
- 6,069
74
votes
51
answers
28k
views
An example of a beautiful proof that would be accessible at the high school level?
The background of my question comes from an observation that what we teach in schools does not always reflect what we practice. Beauty is part of what drives mathematicians, but we rarely talk about ...