# All Questions

11,686
questions

**829**

votes

**257**answers

227k views

### Examples of common false beliefs in mathematics

The first thing to say is that this is not the same as the question about interesting mathematical mistakes. I am interested about the type of false beliefs that many intelligent people have while ...

**42**

votes

**5**answers

4k views

### Finding a 1-form adapted to a smooth flow

Let $M$ be a smooth compact manifold, and let $X$ be a smooth vector field of $M$ that is nowhere vanishing, thus one can think of the pair $(M,X)$ as a smooth flow with no fixed points. Let us say ...

**119**

votes

**63**answers

26k views

### Important formulas in combinatorics

Motivation:
The poster for the conference celebrating Noga Alon's 60th birthday, fifteen formulas describing some of Alon's work are presented. (See this post, for the poster, and cash prizes offered ...

**319**

votes

**106**answers

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

**10**

votes

**3**answers

2k views

### Limit cycles as closed geodesics (in negatively or positively curved space)

EDIT: Here is a related post which concern quadratic vector fields rather than Van der Pol equation. In this linked post we see that the convexity of limit cycle play a crucial role. On ...

**194**

votes

**13**answers

28k views

### Is there an introduction to probability theory from a structuralist/categorical perspective?

The title really is the question, but allow me to explain.
I am a pure mathematician working outside of probability theory, but the concepts and techniques of probability theory (in the sense of ...

**79**

votes

**5**answers

7k views

### When is $A$ isomorphic to $A^3$?

This is totally elementary, but I have no idea how to solve it: let $A$ be an abelian group such that $A$ is isomorphic to $A^3$. is then $A$ isomorphic to $A^2$? probably no, but how construct a ...

**12**

votes

**2**answers

2k views

### Generalization of a theorem of Øystein Ore in group theory

Theorem (Øystein Ore, 1938): A finite group $G$ is cyclic iff its lattice of subgroups $\mathcal{L}(G)$ is distributive.
Proof: see below.
Let $(H \subset G)$ be an inclusion of finite groups and ...

**290**

votes

**44**answers

88k views

### Widely accepted mathematical results that were later shown to be wrong?

Are there any examples in the history of mathematics of a mathematical proof that was initially reviewed and widely accepted as valid, only to be disproved a significant amount of time later, possibly ...

**101**

votes

**5**answers

9k views

### What do epimorphisms of (commutative) rings look like?

(Background: In any category, an epimorphism is a morphism $f:X\to Y$ which is "surjective" in the following sense: for any two morphisms $g,h:Y\to Z$, if $g\circ f=h\circ f$, then $g=h$. Roughly, "...

**30**

votes

**6**answers

5k views

### An algebra of “integrals”

When discussing divergent integrals with people, I got curious about the following:
Is there an $\mathbb{R}$-algebra $A$ together with a map (could be defined on just a subspace)
$$\int_0^{\infty}: ...

**188**

votes

**42**answers

69k views

### Most interesting mathematics mistake?

Some mistakes in mathematics made by extremely smart and famous people can eventually lead to interesting developments and theorems, e.g. Poincaré's 3d sphere characterization or the search to prove ...

**41**

votes

**3**answers

3k views

### How to constructively/combinatorially prove Schur-Weyl duality?

How is Schur-Weyl duality (specifically, the fact that the actions of the group ring $\mathbb{K}\left[ S_{n}\right] $ and the monoid ring
$\mathbb{K}\left[ \left( \operatorname*{End}V,\cdot\...

**18**

votes

**2**answers

2k views

### Non weakly-group-theoretical integral fusion category

Is there an integral fusion category of rank $7$, FPdim $210$ and type $(1,5,5,5,6,7,7)$ with the following fusion rules (or the little $\color{purple}{\text{variation}}$ below)?
$$\small{\begin{...

**327**

votes

**21**answers

48k views

### Thinking and Explaining

How big a gap is there between how you think about mathematics and what you say to others? Do you say what you're thinking? Please give either personal examples of how your thoughts and words differ, ...

**247**

votes

**33**answers

29k views

### Which journals publish expository work?

I wonder if anyone else has noticed that the market for expository papers in mathematics is very narrow (more so than it used to be, perhaps).
Are there any journals which publish expository work, ...

**71**

votes

**12**answers

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

**45**

votes

**8**answers

6k views

### Does the formal power series solution to $f(f(x))= \sin( x) $ converge?

I have spent some time using gp-pari. There is, of course, a formal power series solution to
$ f(f(x)) = \sin x.$ It is displayed below, identified by the symbol $g$ because I am not entirely sure ...

**32**

votes

**1**answer

3k views

### Why is there a connection between enumerative geometry and nonlinear waves?

Recently I encountered in a class the fact that there is a generating function of Gromov--Witten invariants that satisfies the Korteweg--de Vries hierarchy. Let me state the fact more precisely. ...

**31**

votes

**2**answers

3k views

### Similarities between Post's Problem and Cohen's Forcing

Remark: I have since learned that G.H. Moore addresses this question in the third reference listed at the end of this post, beginning on p. 157 in which he cites a letter from Kreisel to Gödel dated 4/...

**30**

votes

**2**answers

1k views

### Are the Sierpiński cardinal $\acute{\mathfrak n}$ and its measure modification $\acute{\mathfrak m}$ equal to some known small uncountable cardinals?

This question was motivated by an answer to this question of Dominic van der Zypen.
It relates to the following classical theorem of Sierpiński.
Theorem (Sierpiński, 1921). For any countable partition ...

**40**

votes

**2**answers

7k views

### Is this Riemann zeta function product equal to the Fourier transform of the von Mangoldt function?

Mathematica knows that:
$$\log(n) = \lim\limits_{s \rightarrow 1} \zeta(s)\left(1 - \frac{1}{n^{(s - 1)}}\right)\;\;\;\;\;\;\;\;\;\;\;\; (1)$$
The von Mangoldt function should then be:
$$\Lambda(n)=...

**30**

votes

**1**answer

7k views

### Infinite tensor products

Let $A$ be a commutative ring and $M_i, i \in I$ be a infinite family of $A$-modules. Define their tensor product $\bigotimes_{i \in I} M_i$ to be a representing object of the functor of multilinear ...

**31**

votes

**5**answers

9k views

### Do sets with positive Lebesgue measure have same cardinality as R?

I have been thinking about which kind of wild non-measurable functions you can define. This led me to the question:
Is it possible to prove in ZFC, that if a (Edit: measurabel) set $A\subset \mathbb{...

**8**

votes

**0**answers

4k views

### Is the conjecture A+B=C following correct?

Is the conjecture on A+B=C following correct ?
Conjecture: Let $A, B, C$ be three positive integer numbers such that $A+B=C$ with $\gcd(A, B, C) = 1$. By Fundamental theorem of arithmetic we write:
$...

**15**

votes

**1**answer

2k views

### The cyclic subfactors theory: a quantum arithmetic?

Context: First recall some results:
- Actions of finite groups on the hyperfinite type $II_{1}$ factor $R$ (Jones 1980).
- A Galois correspondence for depth 2 irreducible subfactors (Izumi-Longo-...

**14**

votes

**3**answers

1k views

### Bound the error in estimating a relative totient function

Let $n=p_1^{e_1}\cdots p_k^{e_k}$ be an integer with $k$ prime factors. We know that the number of integers less than $n$ and coprime to it is
$$\Phi(n)=n-\sum_i\frac n{p_i}+\sum_{i \lt j}\frac n{...

**182**

votes

**48**answers

64k views

### Ways to prove the fundamental theorem of algebra

This seems to be a favorite question everywhere, including Princeton quals. How many ways are there?
Please give a new way in each answer, and if possible give reference. I start by giving two:
...

**155**

votes

**7**answers

13k views

### Does $\mathrm{Aut}(\mathrm{Aut}(…\mathrm{Aut}(G)…))$ stabilize?

Purely for fun, I was playing around with iteratively applying $\DeclareMathOperator{\Aut}{Aut}\Aut$ to a group $G$; that is, studying groups of the form
$$ {\Aut}^n(G):= \Aut(\Aut(...\Aut(G)...)) $$
...

**90**

votes

**5**answers

13k views

### How small can a sum of a few roots of unity be?

Let $n$ be a large natural number, and let $z_1, \ldots, z_{10}$ be (say) ten $n^{th}$ roots of unity: $z_1^n = \ldots = z_{10}^n = 1$. Suppose that the sum $S = z_1+\ldots+z_{10}$ is non-zero. How ...

**38**

votes

**2**answers

7k views

### Does the curvature determine the metric?

Hello,
I ask myself, whether the curvature determines the metric.
Concretely: Given a compact Riemannian manifold $M$, are there two metrics $g_1$ and $g_2$, which are not everywhere flat, such that ...

**63**

votes

**6**answers

67k views

### Eigenvalues of matrix sums

Is there a relationship between the eigenvalues of individual matrices and the eigenvalues of their sum? What about the special case when the matrices are Hermitian and positive definite?
I am ...

**22**

votes

**7**answers

5k views

### Asymptotic density of k-almost primes

Let $\pi_k(x)=|\{n\le x:n=p_1p_2\cdots p_k\}|$ be the counting function for the k-almost primes, generalizing $\pi(x)=\pi_1(x)$. A result of Landau is
$$\pi_k(x)\sim\frac{x(\log\log x)^{k-1}}{(k-1)!\...

**31**

votes

**3**answers

9k views

### About Goldbach's conjecture

let's consider a composite natural number $n$ greater or equal to $4$. Goldbach's conjecture is equivalent to the following statement: "there is at least one natural number $r$ such as $(n-r)$ and $(n+...

**18**

votes

**7**answers

9k views

### Lower bound for sum of binomial coefficients?

Hi! I'm new here. It would be awesome if someone knows a good answer.
Is there a good lower bound for the tail of sums of binomial coefficients? I'm particularly interested in the simplest case $\...

**40**

votes

**2**answers

4k views

### What is known about the sum x^{n^2}/n?

It follows from a general theorem of Honda that the formal group with the logarithm
$$
x+x^{2^s}/2+x^{3^s}/3+x^{4^s}/4+\cdots
$$
has integer coefficients. I became interested in it because its $p$-...

**11**

votes

**2**answers

1k views

### Elliptic operators corresponds to non vanishing vector fields

Added, June 19, 2019: The main motivation of this post is to associate an index to differential operator associated to a dynamical system such that the index has an interesting ...

**20**

votes

**3**answers

1k views

### Hecke equidistribution

For a prime $p\equiv 1\pmod{4}$, we can write $p=a^2+b^2=N(a+bi)$. Therefore
$$
a+bi=p^{1/2}e^{i\varphi}
$$
where $\varphi\in [0,2\pi]$. I know that Hecke proved that $\varphi$ is equidistributed. I ...

**15**

votes

**0**answers

790 views

### “Special” meanders

One of the open problems in combinatorics is enumeration of meanders.
Here on MO I only could find them under the heading not-especially-famous-long-open-problems-which-anyone-can-understand.
Since ...

**2**

votes

**0**answers

364 views

### Lifting a quadratic system to a non-vanishing vector field on $S^{3}$ or $T^{1} S^{2}$

Let $P:S^{3}\to S^{2}$ be the Hopf fibration. For a vector field $X$ on $S^{2}$ there is a non-vanishing vector field $\tilde{X}$ on $S^{3}$ such that $DP(\tilde{X})=X$. It is constructed in ...

**272**

votes

**34**answers

70k views

### Why is a topology made up of 'open' sets? [closed]

I'm ashamed to admit it, but I don't think I've ever been able to genuinely motivate the definition of a topological space in an undergraduate course. Clearly, the definition distills the essence of ...

**134**

votes

**69**answers

173k views

### Mathematical “urban legends”

When I was a young and impressionable graduate student at Princeton, we scared each other with the story of a Final Public Oral, where Jack Milnor was dragged in against his will to sit on a committee,...

**211**

votes

**67**answers

102k views

### Awfully sophisticated proof for simple facts [closed]

It is sometimes the case that one can produce proofs of simple facts that are of disproportionate sophistication which, however, do not involve any circularity. For example, (I think) I gave an ...

**189**

votes

**15**answers

47k views

### Why worry about the axiom of choice?

As I understand it, it has been proven that the axiom of choice is independent of the other axioms of set theory. Yet I still see people fuss about whether or not theorem X depends on it, and I don't ...

**131**

votes

**2**answers

50k views

### Estimating the size of solutions of a diophantine equation

A. Is there natural numbers $a,b,c$ such that $\frac{a}{b+c} + \frac{b}{a+c} + \frac{c}{a+b}$ is equal to an odd natural number ?
(I do not know any such numbers).
B. Suppose that $\frac{a}{b+c} + \...

**83**

votes

**11**answers

63k views

### Sum of 'the first k' binomial coefficients for fixed n

I am interested in the function $$f(N,k)=\sum_{i=0}^{k} {N \choose i}$$ for fixed $N$ and $0 \leq k \leq N $. Obviously it equals 1 for $k = 0$ and $2^{N}$ for $k = N$, but are there any other ...

**58**

votes

**6**answers

7k views

### Kahler differentials and Ordinary Differentials

What's the relationship between Kahler differentials and ordinary differential forms?

**69**

votes

**10**answers

8k views

### Riemannian surfaces with an explicit distance function?

I'm looking for explicit examples of Riemannian surfaces (two-dimensional Riemannian manifolds $(M,g)$) for which the distance function d(x,y) can be given explicitly in terms of local coordinates of ...

**40**

votes

**2**answers

4k views

### What interesting/nontrivial results in Algebraic geometry require the existence of universes?

Brian Conrad indicated a while ago that many of the results proven in AG using universes can be proven without them by being very careful (link). I'm wondering if there are any results in AG that ...

**38**

votes

**3**answers

16k views

### Which integers can be expressed as a sum of three cubes in infinitely many ways?

For fixed $n \in \mathbb{N}$ consider integer solutions to
$$x^3+y^3+z^3=n \qquad (1) $$
If $n$ is a cube or twice a cube, identities exist.
Elkies suggests no other polynomial identities are known.
...