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

6
votes
1answer
1k views

When are technical assumptions critical? [closed]

Apart from their technical statement and proof, a usual presentation of theorems is by leading up to them with a definite motivation or intuition, for example putting the results in the wider context ...
5
votes
1answer
514 views

What is the intuition behind the proof of the algebraic version of Cartan's theorem A?

I am trying to understand the idea behind the proof of GAGA. A crucial step is the following: Theorem: Let $X=\mathbb{P}^r_{\mathbb{C}}$ (either as a variety or as an analytic space), and let ...
12
votes
2answers
2k views

Why should the anabelian geometry conjectures be true?

I had probed friends of mine about Grothendieck's motivation for making the anabelian geometry conjectures, and they gave me the following explanation: If $X$ is a hyperbolic curve over some field ...
5
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 ...
23
votes
6answers
4k views

What does Mellin inversion “really mean”?

Given a function $f: \mathbb{R}^+ \rightarrow \mathbb{C}$ satisfying suitable conditions (exponential decay at infinity, continuous, and bounded variation) is good enough, its Mellin transform is ...
44
votes
5answers
3k views

Is there an intuitive reason for Zariski's main theorem?

Zariski's main theorem has many guises, and so I will give you the freedom to pick the one that you find to be most intuitive. For the sake of completeness, I will put here one version: Zariski's ...
25
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 ...
22
votes
7answers
2k views

What is a coalgebra intuitively?

How to think about coalgebras? Are there geometric interpretations of coalgebras? If I think of algebras and modules as spaces and vectorbundles, what are coalgebras and comodules? What basic ...
1
vote
0answers
283 views

Relationship between R-transform and free convolution of random matrices?

I've been using the R-transform to calculate the free convolution of the eigenvalue spectra of two random matrices and I am trying to understand how it works, and in particular how it relates to ...
7
votes
2answers
490 views

Intuition behind the age grading in quantum cohomology of orbifolds

Let $\mathscr{X}$ be a smooth DM-stack with projective coarse moduli space. I am interested in the orbifold cohomology ring $H^\mathrm{orb}(\mathscr{X})$, as defined by Chen-Ruan (for orbifolds) and ...
22
votes
3answers
1k views

Help motivating log-structures

I'm currently reading a thesis that uses log-structures. I should mention that this is my first encounter with them, and the thesis (as well as my expertise) is scheme-theoretic (in fact ...
0
votes
0answers
200 views

Weight filtration of MHSs

This is probably a very stupid question, but could someone explain to me where the weight filtration of mixed Hodge structures come from and why we actually need it? If the Hodge-to-de Rham spectral ...
23
votes
1answer
1k views

Tomita-Takesaki versus Frobenius: where is the similarity?

I've often heard Alain Connes say that the modular flow of Tomita-Takesaki theory should be thought of as a characteristic zero analog of the Frobenius endomorphism. ... can anyone justify this ...
6
votes
4answers
758 views

How to solve Ax=b incrementally ?

Hi, everyone. What I am struggling is the following problem. I have a linear matrix equation $Ax=b$, where $A$ is a known $n \times n$ large sparse real matrix, $x$ and $b$ are known $n \times 1$ ...
23
votes
4answers
2k views

Overview of the interplay of Harmonic Analysis and Number Theory

I'm kind of disappointed that the question here was never sharpened. The Laplacian $\Delta$ on the upper half-plane is $-y^{2}(\partial^{2}/\partial x^{2}+\partial^{2}/\partial y^{2}))$. Suppose $D$ ...
26
votes
8answers
3k 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 ...
27
votes
13answers
3k views

Surprising and Useful Physical Intuition for Mathematical Objects

I believe I.M. Gelfand said that when beginning to learn a new subject, one should learn it like a physicist. In this spirit, what are some helpful and surprising physical intuitions accompanying ...
24
votes
4answers
1k views

Algebraic P vs. NP

I recently attended a lecture where the speaker mentioned that what he was talking about was connected to the algebraic version of the $P$ vs. $NP$ problem. Could someone explain what that means in a ...
43
votes
29answers
9k 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 ...
5
votes
2answers
652 views

Geometric interpretation of $BN$-pairs

My question is relative to a geometric interpretation of the $BN$-pairs that arise in Tits' theory of buildings. Here is a definition that comes from an article by G. Stroth (Nonspherical spheres). ...
52
votes
9answers
5k 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 ...
4
votes
3answers
1k views

Is there a way to graphically imagine smash product of two topological spaces?

Recently I've been reading "Topology" by Klaus Janich. I find this book very entertaining as it contains lots of graphical illustrations that appeal to my "geometrical" imagination. In paragraph 3.6 ...
11
votes
1answer
1k views

Intuition for the Hardy space $H^1$ on $R^n$

Hello, the standard intuition for Lebesgue spaces $L^p(\mathbb R^n)$ for $p \in \[1,\infty\]$ are measurable functions with certain decay properties at infinity or at the singularities. In ...
0
votes
2answers
102 views

Removing a hypersurface when applying the Representation theorem to prove Positivstellensatz with uniform denominators

Let $f$ and $g$ be positive definite forms in the polynomial ring ${\mathbb{R}}[x_0,\ldots, x_n]$ such that $\deg(g)$ divides $\deg(f)$. A generalization of a theorem by Reznick is that $g^N f$ is a ...
13
votes
1answer
724 views

A synopsis of Adyan’s solution to the general Burnside problem?

Where can I find a high-level overview of Adyan’s original proof of the existence of finitely generated infinite groups with finite exponent? Additionally: If possible, would an expert ...
16
votes
11answers
4k 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 ...
40
votes
11answers
3k views

How to introduce notions of flat, projective and free modules?

In the coming spring semester I will be teaching for the first time an introductory (graduate) course in Commutative Algebra. As many people know, I have been plugging away for a while at this ...
9
votes
1answer
1k views

Wick rotation and the Riemann zeta function

The goal of this question is to conceptualize in some way the fact that the Riemann zeta function $\zeta(s)$, and other zeta functions like it, have analytic continuations. Background I have by now ...
48
votes
11answers
3k 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" ...
5
votes
3answers
713 views

Intuition for rational functions

I asked this on mathematics stack exchange and did not receive answer . I hope it is good manners to ask here. Thank you very much. Let $X$ be integral scheme and $\mathcal K$ sheaf of rationnal ...
44
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 (Fraleigh): A proof synopsis ...
6
votes
2answers
547 views

Would a supersymmetric theory of von Neumann algebras be useful?

While looking over the first chapter of 1) Quantum Fields and Strings: A Course For Mathematicians (P. Deligne, P. Etingof, D.S. Freed, L. Jeffrey, D. Kazhdan, J. Morgan, D.R. Morrison and E. Witten, ...
8
votes
3answers
1k views

Singularities of pairs

In the next days I have to give a talk in which I need to explain some of the usual singularities of pairs that one meets when dealing with the minimal model program: KLT, DLT and LC pairs. In ...
11
votes
5answers
2k views

Intuition behind Alexander duality

I was wondering if anyone could offer some intuition for why Alexander duality holds. Of course, the proof is easy enough to check, and it is also easy to work out many examples by hand. However, I ...
5
votes
3answers
956 views

The localization of a regular local ring is regular

I've heard, as I'm sure many have, that the theorem that the localization of a regular local ring at any prime ideal is regular is one of the first major applications of homological methods to pure ...
3
votes
3answers
1k views

Intuition behind the notion of distance between curves

Let $(M,g)$ be a Riemannian manifold and let $p$ and $q$ be two points on it and define $d(p,q)$ as the length of the minimizing geodesic between them. Now given two rectifiable paths $\gamma_1$ and ...
5
votes
2answers
569 views

Canonical geometric examples

The proofs without words post has some great entries. I'm interested in a similar concept: examples where a problem in math or physics is accompanied by a geometric figure that illuminates some key ...
3
votes
1answer
377 views

Intuition on Log-Concave Sequences

A sequence $(a_n)$ is said to be log-concave provided $a_i^2 \geq a_{i-1}a_{i+1}$ for all $i$. What sorts of intuition can one have about log-concave sequences? In particular, what kind of "picture" ...
42
votes
5answers
6k views

What is sheaf cohomology intuitively?

What is sheaf cohomology intuitively? For local systems it is ordinary cohomology with twisted coefficients. But what if the sheaf in question is far from being constant? Can one still understand ...
13
votes
0answers
286 views

Why, and how badly, does the proof of “no percolation at the critical point in half-spaces” fail for full spaces?

The proof by Barsky et. al. that there is no percolation in half-spaces proceeds by a dynamic renormalization argument. The proof couples critical percolation in the half-space $\mathbb{H}^d$ with a ...
5
votes
7answers
1k views

Intuition on finite homotopy groups

As I have been studying algebraic topology, something that I found puzzling was the existence of finite homotopy groups. For instance, $\pi_{4}(S^{2})\cong\pi_{5}(S^{4})\cong\mathbb{Z}/2\mathbb{Z}$. I ...
8
votes
3answers
1k views

What is a twisted D-Module intuitively?

When I think about $\mathcal{D}$-Modules, I find it very often useful to envison them as vectorbundles endowed with a rule that decides whether a given section is flat. Or alternatively a notion of ...
26
votes
6answers
3k views

How is representation theory used in modular/automorphic forms?

There is certainly an abundance of advanced books on Galois representations and automorphic forms. What I'm wondering is more simple: What is the basic connection between modular forms and ...
2
votes
1answer
593 views

Taylor expansion to show that for Stratonovich stochastic calculus the chain rule takes the form of the classical one

As nobody seems to be able to give any kind of answer to that problem over there at math.stackexchange I post this question here: How can I show with a heuristic argument based on a Taylor expansion ...
1
vote
1answer
683 views

Hilbert Schmidt operators

I don't know much about the theory of Hilbert spaces but a research project has me working with them a little bit. In particular requiring an operator to be Hilbert-Schmidt is a recurring condition. ...
38
votes
7answers
3k views

Demystifying the Caratheodory Approach to Measurability

Nowadays, the usual way to extend a measure on an algebra of sets to a measure on a $\sigma$-algebra, the Caratheodory approach, is by using the outer measure $m^* $ and then taking the family of all ...
-9
votes
1answer
1k views

Parabolas everywhere!

There a books about the Pythagorean theorem, about the exponential function and even about the gamma constant. I haven't seen any decent book about parabolas yet... Think about it: they form the ...
14
votes
3answers
976 views

What is a reasonable finitary analogue of the statement that harmonic functions are smooth?

In my answer to this question on MU, I suggested that the OP think about the difference between real-differentiable and complex-differentiable functions by using a sort of finitary analogue. One way ...
10
votes
0answers
666 views

Seeing stacks in the Calculus of Functors

Recently I was told (by an algebraic geometer) that when algebraic geometers look at the Calculus of Functors, they think of stacks. When I look at the Calculus of Functors, I see a categorification ...
6
votes
5answers
1k views

The unprecedented success of the “intersection” operator

You might think that the title is an overstatement of a well-known fact but it is the best title I can come up with for the wonders the intersection operator does in some fields of math. ...