**-1**

votes

**0**answers

38 views

### Alternative Geometries [migrated]

In our world, the distance between two points (in 2d) is defined as $\sqrt{(\Delta x)^2 + (\Delta y)^2}$. Suppose that in an alternative geometry, it was defined as $\sqrt[p]{|\Delta x|^p + |\Delta ...

**11**

votes

**2**answers

316 views

### Quotient rule, differential operator on a localization is well-defined, underlying geometry?

Using the quotient rule, we obtain that the notion of differential operator on a localization is well-defined:$$\mathcal{D}_A(B_f) \cong \mathcal{D}_A(B)_f.$$Here, $B$ is a commutative $A$-algebra, ...

**216**

votes

**68**answers

102k 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 ...

**5**

votes

**1**answer

200 views

### Importance of Ornstein's isomorphism theorem

"Perhaps the most important parts of the Ornstein theory are criteria for determining whether or not a shift or flow is Bernoulli (a Bernoulli shift, $B_{ct}$ , or $B_{t}^{\infty}$) because it allows ...

**0**

votes

**1**answer

801 views

### Can one expect the existence of a relevant approach for a proof of the Riemann hypothesis using Mochizuki's theory? [closed]

Next month at Oxford university, there will have the first workshop outside Asia on the Inter-Universal Teichmuller theory of Shinichi Mochizuki: ...

**8**

votes

**1**answer

221 views

### Intuitive reasons for the existence of modular parametrizations

Whenever I encounter anything about modular parametrizations, I have a feeling it is something very unnatural: you have some kind of moduli space and all of a sudden it parametrizes an object ...

**20**

votes

**2**answers

1k views

### Lemma 1 from Beilinson's “Coherent Sheaves on $\mathbb{P}^n$ and Problems of Linear Algebra”, intuition?

Consider Lemma 1 from Beilinson's paper "Coherent Sheaves on $\mathbb{P}^n$ and Problems of Linear Algebra", as follows.
Let $\mathcal{C}$ and $\mathcal{D}$ be triangulated categories, $F: ...

**18**

votes

**2**answers

698 views

### how do you visualize characteristic class?

For cohomology, there are some equivalent definitions when the object we consider is sufficiently nice. Since I mainly work with algebraic variety, I will restrict the objects I am considering to be ...

**20**

votes

**1**answer

654 views

### What motivated Rademacher's contour along the Ford circles?

Apologies if this question isn't suitable for MathOverflow; I posted it on MSE here but it didn't get a response and it felt like it was on the cusp of being suitable for here.
After Ramanujan and ...

**38**

votes

**8**answers

11k views

### What is the exterior derivative intuitively?

Hi,
actually I have several related questions, not worth opening different threads:
What is the of the exterior derivative intuitively? What is its geometric meaning?
A possible answer I know is, ...

**3**

votes

**1**answer

61 views

### mapping class group relations

The question I want to ask is vague in a sense. We have examples of mapping class relations, e.g. lantern relation, chain relations, etc. For instance the latern relation on a disk with three boundary ...

**4**

votes

**4**answers

414 views

### What is the motivation and purpose of the Floretion group?

When searching through the Oeis, I came across something called a floretion. Based on the context, it seems to be some sort of algebraic structure. I googled it and found nothing that explained their ...

**5**

votes

**0**answers

124 views

### Making the conceptual leap from locales to Grothendieck topologies?

I find the definition for locales and sheaves on locales to be straightforward, but I'm stumbling over the idea of a Grothendieck topology. Is there a nice way to see roughly how the latter ...

**38**

votes

**6**answers

4k 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 ...

**31**

votes

**14**answers

7k 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 ...

**29**

votes

**6**answers

5k 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 ...

**23**

votes

**3**answers

2k views

### Intuition behind the ricci flow

I hope you don't shoot me for this question.
I try to understand among other things the Ricci flow. However I have no idea of the intuition behind the definition. So my questions is:
What is the ...

**24**

votes

**5**answers

5k views

### Physicist's request for intuition on covariant derivatives and Lie derivatives

A friend of mine is studying physics, and asks the following question which, I am sure, others could respond to better:
What is the difference between the covariant derivative of $X$ along the curve ...

**95**

votes

**25**answers

41k 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 ...

**1**

vote

**0**answers

108 views

### Importance and intuition of global sections in sheaf cohomology

I am trying to understand why global sections of a sheaf are "important" or interesting objects of study. Perhaps I have too weak of a background to appreciate it (and that is certainly an acceptable ...

**11**

votes

**5**answers

2k views

### Understanding moment maps and Lie brackets

I'm trying to learn about moment maps in symplectic topology (suppose our Lie group is $G$ with Lie algebra $\mathfrak g$, acting on the symplectic manifold $(M,\omega)$ by symplectomorphisms). I'm ...

**8**

votes

**1**answer

339 views

### Grothendieck - sheaves as meter sticks

I'm trying to read parts of McLarty's Grothendieck on Simplicity and Generality. In the article, I read Grothendieck thought of sheaves over some topological space as meter sticks measuring it.
...

**10**

votes

**3**answers

507 views

### Self-Similar Graphs

Many fractals can be generated using and infinite sequence of graphs. For example, Sierpinski's Gasket could be generated by the following sequence of graphs.
Many definitions of fractal dimensions ...

**60**

votes

**32**answers

11k 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 ...

**14**

votes

**1**answer

425 views

### Intuition behind the Morse inequalities?

Forgive me if this is sort of a vague question, but can someone supply me with their intuition behind the Morse inequalities?

**15**

votes

**1**answer

1k views

### Why is there a $\sqrt{5}$ in Hurwitz's Theorem?

Hurwitz's theorem is an extension of Minkowski's Theorem and deals with rational approximations to irrational numbers. The theorem states:
For every irrational number $\alpha$, there are infinitely ...

**3**

votes

**0**answers

87 views

### Lie group cohomology with coefficients in Lie algebra

I'm looking for a reference, and basic results, about Lie algebra as modules over a Lie group (with the adjoint representation), from the point of view of cohomology. Links with the Lie algebra ...

**17**

votes

**5**answers

1k views

### How to explain the concentration-of-measure phenomenon intuitively?

One way to phrase the
"concentration-of-measure"
phenomenon is that,
for a Euclidean sphere $S^d$ in $d$ dimensions, for large $d$,
"most of the mass is close to the equator, for any equator."1
...

**11**

votes

**3**answers

700 views

### Why does the bitxor function appear in Nim?

I am conducting research in Combinatorial Game Theory (CGT). Although I have done a considerable amount of reading, I do not completely understand why the bit-xor function also known as the nim-sum ...

**12**

votes

**1**answer

687 views

### How can we interpret the eigenvalues and eigenvectors of Euclidean Distance Matrices?

I asked this question in Math Stack Exchange earlier here: http://math.stackexchange.com/questions/1199380/what-is-the-intuition-behind-how-can-we-interpret-the-eigenvalues-and-eigenvec and since I ...

**26**

votes

**9**answers

6k views

### Intuition and/or visualisation of Ito integral/Ito's lemma

Riemann-sums can e.g. be very intuitively visualized by rectangles that approximate the area under the curve.
See e.g. Wikipedia:Riemann sum
The Ito integral has due to the unbounded total variation ...

**16**

votes

**1**answer

2k views

### Why do people use “formal calculation” to describe informal calculations?

Many times, I see the word formal being used to describe a calculation that is not rigorous. I would think that such calculations should rather be termed informal than formal. What is the explanation ...

**92**

votes

**42**answers

18k 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 ...

**0**

votes

**1**answer

435 views

### What is the meaning of non-Hausdorff spaces in algebraic geometry [closed]

At the beginning I should warn everybody reading this post: I don't know much about algebraic geometry so specialists in this subject may see my question as ignorant.
As far I understood one on the ...

**59**

votes

**8**answers

11k views

### Should the formula for the inverse of a 2x2 matrix be obvious?

As every MO user knows, and can easily prove, the inverse of the matrix $\begin{pmatrix} a & b \\\ c & d \end{pmatrix}$ is $\frac{1}{ad - bc} \begin{pmatrix} d & -b \\\ -c & a ...

**2**

votes

**6**answers

3k views

### Proofs by induction [closed]

Background
I'm interested in the issue of "explanatory" mathematical proofs and would like to try to find out what intuitions mathematicians have about induction, because there seems to be some ...

**1**

vote

**0**answers

240 views

### What does the Riemann–Stieltjes integral measure? [closed]

The Riemann–Stieltjes integral is a generalization of the Riemann integral, and has a definition based on a sum analogous to the Riemann sum:
$$ S(P,f,g) =\sum_{k=1}^{n} f(x_k)\Delta g(x_k) $$
where ...

**26**

votes

**6**answers

6k 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 ...

**25**

votes

**13**answers

6k views

### Geometric imagination of differential forms

In order to explain to non-experts what a vector field is, one usually describes an assignment of an arrow to each point of space. And this works quite well also when moving to manifolds, where a ...

**5**

votes

**2**answers

314 views

### Choice of fibrations is like a choice of a basis of a module

In some notes on derived stacks, in describing categories of fibrant objects, the author drops this parenthetical:
(Grothendieck said in his famous letter to Quillen that the choice of
$\mathscr ...

**0**

votes

**3**answers

1k views

### Intuitions/connections/examples for “eigen-*”

There are many concepts in mathematics that begin with the German word "eigen": eigenvector, eigenvalue, eigenspace, eigenstate, eigenfunction, eigensystem etc. (to name just the most important (?) ...

**2**

votes

**1**answer

272 views

### Yang-Mills Functional and Energy

I have a question about the meaning of Yang-Mills Functional.
It is stated everywhere that the Yang-Mills Functional is a measure of energy. But the formal definition of the Yang-Mills Functional is:
...

**1**

vote

**0**answers

244 views

### Intuitive Approach to Sheaf and Cech Cohomology [closed]

Sheaf and Cech cohomology $H^*(X,\mathcal{F})$ (which give the same result when applied to good enough topological spaces) are a useful generalisation of the concepts of de Rham and Dolbeault ...

**7**

votes

**1**answer

397 views

### Intuitive Aproach to Dolbeault Cohomology [closed]

(Duplicated from math.stackexchange)
I would like to understand an intuitive approach to the definitions of Dolbeault Cohomology (using $\partial$ and $\bar{\partial}$) similar to the one given here. ...

**8**

votes

**1**answer

432 views

### Basic examples of induction on scales arguments

An important ingredient in recent progress on Euclidean harmonic analysis has been that of "inductions on scales". A few examples are the papers of Wolff, Tao, and Bourgain and Guth.
Here is a ...

**1**

vote

**0**answers

148 views

### Intuition for hereditary torsion theories

I'm looking for intuition and references for the definition of a hereditary torsion theory and two facts found here. First, the definition and facts:
Definition. A torsion theory $(\mathcal ...

**8**

votes

**9**answers

1k views

### Examples where adding complexity made a problem simpler

I can think of a few situations in math where a problem becomes easier or an object becomes simpler when some complexity is added. Examples:
$S^n$ is never contractible, but $S^{\infty}$ is.
The ...

**9**

votes

**1**answer

1k views

### why isn't the mobius band an algebraic line bundle?

When I hear the phrase "line bundle" the first thing that pops into my head is a mobius band. But this is a bad picture from an algebraic point of view since any line bundle on an affine variety is ...

**92**

votes

**16**answers

12k 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 ...

**78**

votes

**9**answers

7k views

### Why are flat morphisms “flat?”

Of course "flatness" is a word that evokes a very particular geometric picture, and it seems to me like there should be a reason why this word is used, but nothing I can find gives me a reason!
Is ...