**5**

votes

**1**answer

205 views

### A variant of Freiling's Axiom of Symmetry and a weak form of the Continuum Hypothesis in models where all sets of reals are Lebesgue measurable

Consider the following variant of Freiling's Axiom of Symmetry, $\mathsf{AS}$, which will be denoted $A_{< 2^{\aleph_0}}$:
given any function $f$ from $\mathbb{R}$ into the families of of subsets ...

**2**

votes

**0**answers

34 views

### Pro-V topology on a free group

Let $W=G_p*G_q$, where $G_p$ and $G_q$ are pseudovarieties of
all finite $p$-groups and all finite $q$-groups respectively, with $p$ and $q$ fixed prime numbers. The pro-$W$ topology on a group $G$ is ...

**29**

votes

**5**answers

1k views

### Surfaces filled densely by a geodesic

Which smooth, closed surfaces $S \subset \mathbb{R}^3$ have no
single geodesic $\gamma$ that fills $S$ densely?
Say a geodesic $\gamma$ "fills $S$ densely" if the closure of the set of points
...

**2**

votes

**1**answer

81 views

### On attempting a proof for $r > 1$, if $M = {2^r}{b^2}$ is an even almost perfect number which is not a power of two

(Preamble: I first thought that this question might be more appropriate for MSE. However, I posted it here nonetheless in the hope that someone with that brilliant idea can help with answering my ...

**3**

votes

**0**answers

531 views

### Automorphisms of the L-function associated to an elliptic $\mathbb{Q}$-curve

Edited after Noam Elkies' comment: From what I understand (very few actually), there exist elliptic curves defined over some number fields $\mathbb{K}$ Galois over $\mathbb{Q}$ which are isogenous to ...

**1**

vote

**1**answer

360 views

### If $N = qn^2$ is an odd perfect number, is it possible to have $q + 1 = \sigma(n)$?

The title says it all.
Question
If $N = qn^2$ is an odd perfect number with Euler prime $q$, is it possible to have $q + 1 = \sigma(n)$?
Heuristic
From the Descartes spoof, with quasi-Euler ...

**12**

votes

**1**answer

486 views

### A maximal element, where Schur gives a minimal element

Let me recall a result due to I. Schur, which I learnt from F. Goldberg's answer to my MO question Hadamard-like inequalites for positive definite symmetric matrices. If $H$ is a subgroup of $\frak ...

**30**

votes

**9**answers

9k views

### What are some open problems in algebraic geometry?

What are the open big problems in algebraic geometry and vector bundles?
More specifically, I would like to know what are interesting problems related to moduli spaces of vector bundles over ...

**17**

votes

**4**answers

1k views

### Splitting Pythagorean triples

Can one partition the set of positive integers into finitely many Pythagorean-triple-free subsets? If so, what is the smallest number of such subsets? Taking a wild guess, I would
be least surprised ...

**41**

votes

**3**answers

2k views

### Shortest closed curve to inspect a sphere

Let $S$ be a sphere in $\mathbb{R}^3$. Let $C$ be a closed curve in $\mathbb{R}^3$ disjoint from and
exterior to $S$
which has the property that every point $x$ on $S$ is visible to some point $y$ of ...

**20**

votes

**2**answers

2k views

### Is it possible to dissect a disk into congruent pieces, so that a neighborhood of the origin is contained within a single piece?

Problem: is it possible to dissect the interior of a circle into a finite number of congruent pieces (mirror images are fine) such that some neighbourhood of the origin is contained in just one of ...

**1**

vote

**1**answer

142 views

### On even almost perfect numbers other than powers of two

(Note: This question is an improved version of and has been cross-posted from this MSE post.)
Let $\sigma(x)$ denote the sum of the divisors of $x$. If $\sigma(x) = 2x - 1$, then we call $x$ an ...

**9**

votes

**4**answers

1k views

### problems from the scottish book

Which of the problems from the Scottish Book (pdf of English version) by Stefan Banach are still open? I know that one of the problems was solved by Per Enflo for which he got a live goose from ...

**25**

votes

**1**answer

610 views

### A long-lasting conjecture of Pólya & Szegő

There is a conjecture by Pólya & Szegő (~1950) which is as follows:
"Of all $n$-gons of a fixed area, the regular $n$-gon minimizes the first Dirichlet eigenvalue."
Surprisingly, this is still ...

**53**

votes

**8**answers

8k views

### Is there a complex structure on the 6-sphere?

I don't know who first asked this question, but it's a question that I think many differential and complex geometers have tried to answer because it sounds so simple and fundamental. There are even a ...

**14**

votes

**1**answer

578 views

### Is it true that every f.g. infinite simple group has exponential growth?

Is it true that every finitely generated infinite simple group has
exponential (word-)growth?
Remark: As Mark Sapir has pointed out, the question whether
every finitely generated group of ...

**10**

votes

**1**answer

835 views

### What polynomials biject from $\mathbb{N}^{2}$ to $\mathbb{N}$?

Perhaps there are none with integral coefficients; so let us admit rational coefficients. The map $(x, y) \mapsto x + \frac{1}{2}(x + y)(x + y + 1)$ is well known, and swapping $x$ and $y$ in the ...

**9**

votes

**1**answer

667 views

### Some Questions on the Collatz conjecture

The set of all positive whole numbers is denoted by $\mathbb{N}_+$.
Let $f\colon\ \mathbb{N}_+\to\mathbb{N}_+:n\mapsto
\begin{cases}\frac{n}{2}&\text{$n$ even}\\3n+1&\text{$n$ ...

**20**

votes

**3**answers

1k views

### Periodic Automorphism Towers

In Scott's classic textbook on Group Theory, he asks:
Suppose that $G$ is a finite group. Is the sequence of isomorphism types
of the groups $Aut^{(n)}(G)$ for $n \in \mathbb{N}$ eventually periodic?
...

**20**

votes

**2**answers

1k views

### In a Banach algebra, do ab and ba have almost the same exponential spectrum?

Let $A$ be a complex Banach algebra with identity 1. Define the exponential spectrum $e(x)$ of an element $x\in A$ by $$e(x)= \{\lambda\in\mathbb{C}: x-\lambda1 \notin G_1(A)\},$$ where $G_1(A)$ is ...

**17**

votes

**2**answers

952 views

### Determine or estimate the number of maximal triangle-free graphs on $n$ vertices

Among the collections of the open problems of Paul Erdős on the website of
Professor Fan Chung, there is one called "number of triangle-free graphs".
...

**13**

votes

**2**answers

653 views

### Torsion-freeness of two groups with 2 generators and 3 relators and Kaplansky Zero Divisor Conjecture

Let $G_1$ and $G_2$ be the groups with the following presentations:
$$G_1=\langle a,b \;|\; (ab)^2=a^{-1}ba^{-1}, (a^{-1}ba^{-1})^2=b^{-2}a, (ba^{-1})^2=a^{-2}b^2 \rangle,$$
$$G_2=\langle a,b \;|\; ...

**13**

votes

**0**answers

524 views

### Second duals of Grothendieck spaces

The classical example of a Grothendieck space is $\ell_\infty$. It is also known that its even duals $\ell_\infty^{**}$, $\ell_\infty^{(4)}$, $\dots$ are Grothendieck spaces.
(See, e.g., this note ...

**43**

votes

**2**answers

1k views

### Local structure of rational varieties

I've been asked this question by a colleague who's not an algebraic geometer; we both feel that the answer should be "no", but I don't have a clue how to prove it.
Here's the question:
let $X$ be a ...

**2**

votes

**1**answer

225 views

### A generalization of Frankl's conjecture?

Would it be reasonable to conjecture what follows : there is a real constant $c > 1/2$ such that, for every natural number $n$, if $X_{1}, \ldots , X_{n}$ is a union-stable family of distinct ...

**14**

votes

**3**answers

618 views

### Open problems in Hopf algebras

I couldn't find a list of open problems in Hopf algebras. So my question is the following:
In the theory of Hopf algebras, what are the (big) open problems?
Any kind of problem/question will be ...

**11**

votes

**3**answers

1k views

### level sets of multivariate polynomials

Let $p:\mathbb R^n \rightarrow \mathbb R$ be a polynomial of degree at most $d$. Restrict $p$ to the unit cube $Q=[0,1]^n\subset\mathbb R^n$. We assume that $p$ has mean value zero on the unit cube ...

**1**

vote

**0**answers

19 views

### The complexity of Max-K interval selection

I came up with the following problem, but do not know how to analyze it.
Let $S$ be an ordered set of integers with size $n$ (i.e., $S=\{1,2,...,n\}$). An interval $INV(a,b)$ covers the elements in ...

**1**

vote

**2**answers

260 views

### Looking for (information about) long diamonds

I was given an open problem as a birthday present recently. While I can probably handle spoilers at this point, what I really want are literature and other references. Also acceptable would be ...

**0**

votes

**0**answers

43 views

### If $N = {q^k}{n^2}$ is an odd perfect number given in Eulerian form, is $n^2$ solitary?

(Note: A similar question was asked in MSE two months ago.)
Let $\sigma(x)$ be the sum of the divisors of the natural number $x$, and denote the abundancy index $\sigma(x)/x$ by $I(x)$.
Here is my ...

**9**

votes

**1**answer

343 views

### A strengthening of Frankl's union-closed sets conjecture?

A Frankl family is a nonempty finite family $\mathcal F$ of nonempty finite sets such that $A,B\in\mathcal F\implies A\cup B\in\mathcal F.$ Define $d_\mathcal F(x)=|\{A\in\mathcal F:x\in A\}|$ and ...

**381**

votes

**1**answer

29k views

### Polynomial bijection from $\mathbb Q\times\mathbb Q$ to $\mathbb Q$?

Is there any polynomial $f(x,y)\in{\mathbb Q}[x,y]{}\ $ such that $f:\mathbb{Q}\times\mathbb{Q} \rightarrow\mathbb{Q}$ is a bijection?

**37**

votes

**3**answers

3k views

### Difficult examples for Frankl's union-closed conjecture

Frankl's well-known union-closed conjecture states that if F is a finite family of sets that is closed under taking unions (that is, if A and B belong to the family then so does $A\cup B$), then there ...

**29**

votes

**8**answers

6k views

### What are some important but still unsolved problems in mathematical logic?

In the past, First order logic and its completeness and whether arithmetic is complete was a major unsolved issues in logic . All of these problems were solved by Godel. Later on, independence of ...

**5**

votes

**0**answers

83 views

### Does every model of $I\Delta_0$ has an end extension to a model of $I\Delta_0+\Omega_1$?

Does every model of $I\Delta_0$ has an end extension to a model of $I\Delta_0+\Omega_1$?
In End extensions of models of linearly bounded arithmetic paper the author said this problem is open. I ...

**6**

votes

**1**answer

727 views

### Reconstruction Conjecture: Group theoretic formulation

As we read from wiki, informally, the reconstruction conjecture in graph theory says that graphs are determined uniquely by their subgraphs.
Is there a group-theoretic formulation of this ...

**12**

votes

**1**answer

757 views

### On cubic reciprocity for $x^3+y^3+z^3 = 996$?

I. The Diophantine equation,
$$x^3+y^3+z^3 = 3w^3\tag1$$
with $x\geq y \geq z$ and $w=1$ has only two known solutions, namely $1,1,1$ and $4,4,-5$. Are there larger ones? As Noam Elkies points out ...

**-4**

votes

**2**answers

141 views

### Diagonal argument for even perfect numbers

Following this, let's define the notion of perfect sequence as follows:
$(u_{i})_{i}$ is a perfect sequence if and only if it is the sequence of divisors of an even perfect number in increasing order ...

**7**

votes

**1**answer

308 views

### What are some open problems regarding elliptic curves in finite fields?

I accept that my question seems so vague and broad, and I already looked into some similar questions in MO. But I would like to learn specifically about some open problems and conjectures regarding ...

**1**

vote

**0**answers

37 views

### On a conjecture about Riemannian metric with positive sectional curvature [duplicate]

What is the last status of the following conjecture? Is it still open? What partial or similar results are known up to now?
Conjecture: $S^2\times S^2$ admits a Riemannian metric with positive ...

**18**

votes

**3**answers

631 views

### All compact surfaces $S\subseteq \mathbb{R}^3$ are rigid?

Recently I've come across a lecture in differential geometry by Fernando Codá (in portuguese!) in which he stated that the following problem is (at least, up to 2014) open:
Given ...

**8**

votes

**4**answers

1k views

### Is the Manickam-Miklós-Singhi Conjecture solved? [closed]

This arXiv paper is claimed to contain a proof for the MMS conjecture. But it seems that this manuscript is not yet peer reviewed by other mathematicians. I personally tried to follow the paper, but ...

**31**

votes

**2**answers

1k views

### Example of a compact Kähler manifold with non-finitely generated canonical ring?

A celebrated recent theorem of Birkar-Cascini-Hacon-McKernan and Siu says that the canonical ring $R(X)=\oplus_{m\geq 0}H^0(X,mK_X)$ of any smooth algebraic variety $X$ over $\mathbb{C}$ is a finitely ...

**-6**

votes

**3**answers

188 views

### Collecting sufficient conditions for Sorli's conjecture on odd perfect numbers [closed]

Sorli's conjecture predicts that, for an odd perfect number $N$ given in the Eulerian form $N = {q^k}{n^2}$ (where $q$ is prime with $\gcd(q, n) = 1$ and $q \equiv k \equiv 1 \pmod 4$), the condition ...

**17**

votes

**0**answers

850 views

### Milnor's cartography problem

Let $\Omega$ be a round disc of radius $\alpha<\pi/2$ on the unit sphere $\mathbb{S}^2$.
It is easy to construct a $(1,\tfrac{\alpha}{\sin\alpha})$-bi-Lipschitz map from $\Omega$ to the plane.
Is ...

**36**

votes

**5**answers

3k views

### Factorials in Pascals Triangle

Hi,
I asked this question of Keith Conrad, and he suggested that I try posting here. One of my students observed that the only instances of factorials in the interior of Pascal's triangle are ...

**10**

votes

**2**answers

1k views

### Midpoint geodesic polygon / Birkhoff curve shortening

I would like to know under what conditions the process
of creating a midpoint piecewise geodesic polygon converges
on a surface $S \subset \mathbb{R}^3$.
$S$ may be assumed smooth, closed, and ...

**8**

votes

**3**answers

920 views

### Birkhoff conjecture about integrable billiards

There is a conjecture by Birkhoff which claims that for a simple closed $C^2$ plane curve $C$, if the billiard ball map is integrable then the curve is an ellipse.
Integrability here might be ...

**12**

votes

**10**answers

3k views

### Not especially famous, long-open problems which higher mathematics beginners can understand

This is a pair to
Not especially famous, long-open problems which anyone can understand
So this time I'm asking for open questions so easy to state for students of subjects such as undergraduate ...

**5**

votes

**2**answers

609 views

### When is the norm of all positive operators on an ordered Banach space determined by their values on the positive cone?

I'm trying to investigate the interplay between the norm and cone of positive elements in ordered Banach spaces. In particular, I would like a nice characterization of when the norm of a positive ...