Questions asking for the intuition behind some definition, conjecture, proof etc. In other words, questions designed to improve or to acquire understanding on a conceptual or intuitive level, as opposed to on a technical or formal level. When asking such a question it can be helpful to include a ...

learn more… | top users | synonyms

82
votes
38answers
14k 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(n) = T\ \ \forall n \in \mathbb{N}$ to be a 'reasonable' conjecture to make. where ...
175
votes
63answers
88k views

Proofs without words

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 mathematicians, and I ...
172
votes
7answers
83k 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 explain the philosophy ...
78
votes
15answers
9k views

What is torsion in differential geometry intuitively?

Hi, given a connection on the tangent space of a manifold, one can define its torsion: $$T(X,Y):=\triangledown_X Y - \triangledown_Y X - [X,Y]$$ What is the geometric picture behind this ...
54
votes
9answers
6k 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 ...
50
votes
15answers
6k views

What's a nice argument that shows the volume of the unit ball in $\mathbb R^n$ approaches 0?

Before you close for "homework problem", please note the tags. Last week, I gave my calculus 1 class the assignment to calculate the $n$-volume of the $n$-ball. They had finished up talking about ...
93
votes
16answers
13k 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 of derivations on ...
22
votes
10answers
6k views

What is (co)homology, and how does a beginner gain intuition about it?

This question comes along with a lot of associated sub-questions, most of which would probably be answered by a sufficiently good introductory text. So a perfectly acceptable answer to this question ...
48
votes
11answers
4k views

How should one think about non-Hausdorff topologies?

In most basic courses on general topology, one studies mainly Hausdorff spaces and finds that they fit quite well with our geometric intuition and generally, things work "as they should" ...
29
votes
8answers
4k views

What is a Lagrangian submanifold intuitively?

What are good ways to think about Lagrangian submanifolds? Why should one care about them? More generally: same questions about (co)isotropic ones. Answers from a classical mechanics point of view ...
26
votes
13answers
5k views

Examples of using physical intuition to solve math problems

For the purposes of this question let a "physical intuition" be an intuition that is derived from your everyday experience of physical reality. Your intuitions about how the spin of a ball affects ...
11
votes
2answers
5k views

Truth of the Poisson summation formula

The Poisson summation says, roughly, that summing a smooth $L^1$-function of a real variable at integral points is the same as summing its Fourier transform at integral points(after suitable ...
54
votes
11answers
10k views

“Philosophical” meaning of the Yoneda Lemma

The Yoneda Lemma is a simple result of category theory, and its proof is very straightforward. Yet I feel like I do not truly understand what it is about; I have seen a few comments here mentioning ...
44
votes
15answers
11k views

Most 'unintuitive' application of the Axiom of Choice?

It is well-known that the axiom of choice is equivalent to many other assumptions, such as the well-ordering principle, Tychonoff's theorem, and the fact that every vector space has a basis. Even ...
36
votes
9answers
7k views

Intuition for Group Cohomology

I'm beginning to learn cohomology for cyclic groups in preparation for use in the proofs of global class field theory (using ideal-theoretic arguments). I've seen the proof of the long exact sequence ...
79
votes
25answers
22k 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 the probability ...
47
votes
52answers
16k 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 here I added them as ...
22
votes
11answers
15k views

Why is the gradient normal?

This is a somewhat long discussion so bear with me. There is a theorem that I have always been curious about from an intuitive standpoint. This is an issue that has been glossed over in most ...
41
votes
4answers
6k views

Zagier's one-sentence proof of Fermat's theorem.

Zagier has a very short proof ( MR1041893) for the fact that every prime number $p$ of the form $4k+1$ is the sum of two squares. The proof defines an involution of the set $S= \lbrace (x,y,z) \in ...
26
votes
3answers
4k views

What is the “intuition” behind “brave new algebra”?

Y.I. Manin mentions in a recent interview the need for a “codification of efficient new intuitive tools, such as … the “brave new algebra” of homotopy theorists”. This makes me puzzle, because I ...
29
votes
6answers
2k views

Why do Littlewood-Richardson coefficients describe the cohomology of the Grassmannian?

I'm looking for a "conceptual" explanation to the question in the title. The standard proofs that I've seen go as follows: use the Schubert cell decomposition to get a basis for cohomology and show ...
22
votes
6answers
5k views

Intuition for Integral Transforms

It is well known that the operations of differentiation and integration are reduced to multiplication and division after being transformed by an integral transform (like e.g. Fourier or Laplace ...
28
votes
3answers
4k views

Why are planar graphs so exceptional?

As compared to classes of graphs embeddable in other surfaces. Some ways in which they're exceptional: Mac Lane's and Whitney's criteria are algebraic characterizations of planar graphs. (Well, ...
26
votes
2answers
2k views

Intuition for coends

Let $D$ be a co-complete category and $C$ be a small category. For a functor $F:C^{op}\times C \to D$ one defines the co-end $$ \int^{c\in C} F(c,c) $$ as the co-equalizer of $$ \coprod_{c\to ...
25
votes
6answers
3k views

Intuition for the last step in Serre's proof of the three-squares theorem

Serre's A Course in Arithmetic gives essentially the following proof of the three-squares theorem, which says that an integer a is the sum of three squares if and only if it is not of the form 4^m (8n ...
18
votes
5answers
3k views

Particle Physics and Representations of Groups

This question is asked from a point of complete ignorance of physics and the standard model. Every so often I hear that particles correspond to representations of certain Lie groups. For a person ...
7
votes
4answers
826 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 local sections to get ...
24
votes
7answers
2k views

What examples of distributions should I keep in mind?

I'm learning a bit about the theory of distributions. What examples of distributions will help me develop good intuition? Definitions: Let $U$ be an open subset of $\mathbb{R}^n$. Write ...
26
votes
2answers
2k views

A geometric characterization for arithmetic genus

Let $X$ be a smooth projective variety over $\mathbb{C}$. The following information is all equivalent (any of these numbers can be computed by a linear equation from any of the others): the ...
10
votes
3answers
532 views

What is the intuition behind the definition of cuspidal representations?

Let $\mathbb{G}$ be a reductive group defined over a number field $K$, let $Z$ be its center, and let $\mathbb{A}:=\mathbb{A}_K$ be the ring of adeles of $K$. Reasonably, we care about the ...
7
votes
6answers
3k views

What is a complex inner product space “really”?

This is an extended re-post of a question that I have asked on MSE not a long time ago. But anyway, it seems more appropriate for MO. To begin with, in a real inner product space we have a geometric ...
5
votes
1answer
1k views

Self-intersection and the normal bundle

Let $X/k$ be a surface nonsingular and proper over an algebraically closed field $k$. Let $C \subset X$ be a nonsingular curve. Then it is clear that the self-intersection $(C \cdot C)_X$ is ...
4
votes
3answers
2k views

Intuitive Example of a Jacobson Radical

Can anyone explain what a Jacobson radical is using an intuitive example? I can't quite understand Wikipedia's explanation.
3
votes
1answer
166 views

Compositional inversion and generating functions in algebraic geometry

The exponential generating function of the graded dimension of the cohomology ring of the moduli space of n-pointed curves of genus zero satisfying the associativity equations of physics (the WDVV ...
6
votes
2answers
435 views

Can we define an “empirically generic” real number?

Summary: My question, in a nutshell, is how we should intuitively imagine a generic real number (as opposed to a random one), and whether we can construct numbers which empirically behave like generic ...
6
votes
3answers
1k views

Whenever I read “centraliser of maximal split torus”, I think of…

Inspired by this question I'd like to ask something more specific: In the theory of connected reductive groups over fields, one often reads about the centraliser of a maximal split torus. Here is ...