152
votes
7answers
67k views
Philosophy behind Mochizuki’s work on the ABC conjecture
Mochizuki has recently announced a proof of the ABC conjecture. It is far too early to judge its correctness, but it builds on many years of work by him. Can someone briefly explai …
3
votes
0answers
100 views
What is the meaning of the cospecialization map?
This question comes from the same place as my other one. In reading SGA 4 1/2, but not SGA4 itself (at least, not the obvious sections xv + xvi), one can learn about the "cospecia …
128
votes
59answers
66k views
Proofs without words [closed]
Can you give examples of proofs without words? In particular, can you give examples of proofs without words for non-trivial results?
(One could ask if this is of interest to mathe …
7
votes
2answers
402 views
Intuition behind the spectral density of random matrices
Hi,
I have read that the spectral density of an NxN random matrix consisting of iid random variables with zero mean and unit variance converges as N goes to infinity to the unifor …
0
votes
1answer
69 views
Generalization of join of simplicial complexes
The join of two abstract simplicial complexes $K$ and $L$, denoted $K\star L$ is defined as a simplicial complex on the base set $V(K)\dot{\cup} V(L)$ whose simplices are disjoint …
6
votes
4answers
594 views
Coboundaries and Gluing in Cech Cohomology - Intuition?
I'm trying to develop an intuition for Cech cohomology geometrically, but am currently failing. A lot of people seem to say that the groups $H^n$ measure obstructions to gluing loc …
1
vote
1answer
98 views
Schonhage–Strassen algorithm
Hi!
After brief intro to Fourier series, CFT, DFT and their basic properties I enjoyed implementing forward and backward FFT algorithm in complex numbers. I was happy to, at least …
13
votes
6answers
657 views
Understanding Adjointness of Sheaves in Algebraic Geometry
Pushforward and pullback are very basic operations in algebraic geometry, as is the adjointness between them. I worked out a very careful of adjointness of sheaves (below) when I w …
53
votes
35answers
11k views
The phenomena of eventual counterexamples
Define an "eventual counterexample" to be
$P(a) = T $ for $a < n$
$P(n) = F$
$n$ is sufficiently large for $P(n) = T\ \ \forall n \in \mathbb{N}$ to be a 'reasonable' conjectu …
44
votes
53answers
14k views
Colloquial catchy statements encoding serious mathematics
As the title says, please share colloquial statements that encode (in a non-rigorous way, of course) some nontrivial mathematical fact (or heuristic). Instead of giving examples h …
59
votes
21answers
14k views
What is convolution intuitively?
If random variable $X$ has a probability distribution of $f(x)$ and random variable $Y$ has a probability distribution $g(x)$ then $(f*g)(x)$, the convolution of $f$ and $g$, is th …
42
votes
22answers
17k 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 …
37
votes
25answers
4k views
Proof synopsis collection
I hate to keep going with the big lists, but the question about one-sentence summaries of topics/areas spurred this question...and I just can't help myself!
Definition (Fraleig …
41
votes
29answers
8k 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 …
68
votes
15answers
9k views
How do I make the conceptual transition from multivariable calculus to differential forms?
One way to define the algebra of differential forms $\Omega(M)$ on a smooth manifold $M$ (as explained by John Baez's week287) is as the exterior algebra of the dual of the module …

