**143**

votes

**79**answers

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

**25**

votes

**1**answer

1k views

### Important open questions in the field of Tropical geometry

What are some of the important unanswered questions in the field of tropical geometry?

**43**

votes

**1**answer

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

**15**

votes

**3**answers

2k views

### How to Tackle the Smooth Poincare Conjecture

The last remaining problem in this whole "everything is a sphere" business, is the Smooth Poincare Conjecture in dimension 4: If $X\simeq_\text{homo.eq.} S^4$ then $X\approx_\text{diffeo} S^4$. ...

**17**

votes

**1**answer

769 views

### Does smooth and proper over $\mathbb Z$ imply rational?

Does smooth and proper over $\mathbb Z$ imply rational?
I think someone told me that this is a standard conjecture. Is it a widely held? held at all? Did someone in particular make this conjecture? ...

**45**

votes

**2**answers

2k views

### vector balancing problem

I believe the solution posted to the arXiv on June 17 by Marcus, Spielman, and Srivastava is correct.
This problem may be hard, so I don't expect an off-the-cuff solution. But can anyone suggest ...

**1**

vote

**0**answers

157 views

### Entropy of Bernoulli walks on semi-groups.

Consider the Fibonacci semi-group $<L,R|LRR=RLL>$ with a Bernoulli walk $P(R)=p, P(L)=1-p$. Is the entropy $H(p)$ an unimodal function with maximum at p=0.5? Is this true for all finitely ...

**15**

votes

**0**answers

2k views

### Open problems/questions in representation theory and around ?

What are open problems in representation theory ?
What are the sources (books/papers/sites) discussing this ?
Any kinds of problems/questions are welcome - big/small, vague/concrete.
Some estimation ...

**15**

votes

**0**answers

423 views

### Avoidable words

Let $u(x_1,...,x_n)$ be a word, $k\in \mathbb{N}$. We say that $u$ is $k$-avoidable if there exists an infinite word in $k$ letters $\{a_1,...,a_k\}$ which does not contain values of $u$ (i.e. words ...

**3**

votes

**0**answers

157 views

### What is the status of the subadditivity problem for analytic capacity?

Hi,
Here is another question that concerns analytic capacity. For a compact set $K$ in the plane, define the analytic capacity of $K$ by
$$\gamma(K):=\sup|f'(\infty)|,$$
where the supremum is taken ...

**15**

votes

**2**answers

770 views

### Minimal graphs with a prescribed number of spanning trees

As its long ago since Erdős died and mathoverflow is the second best alternative to him (for discussing personal problems), I'd like to start a fruitful discussion about the following problem ...

**11**

votes

**2**answers

653 views

### Interesting result on the Euler-Maschroni constant - what is the background?

Today I entered the following expression in maple:
$$a_i = H_{10^i} - ln(10^i) - \gamma$$
Here $H_j$ equals $\sum_{k=1}^{j} 1/k$ and $\gamma$ is the Euler-Mascheroni constant.
When I computed $a_n$ ...

**4**

votes

**1**answer

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

**25**

votes

**0**answers

1k views

### Is S^2 x S^4 a complex manifold?

As observed by Calabi a long time ago, the manifold $S^2\times S^4$ admits an almost-complex structure (obtained by embedding it in $\mathbb{R}^7$ and using the octonionic product), which however is ...

**1**

vote

**0**answers

395 views

### Reference Request - Jakob Weisblat's “The Search for the Odd Perfect Number” [closed]

Hi All!
I am currently trying to locate an online copy of Jakob Weisblat's paper titled "The Search for the Odd Perfect Number". I could only get hold of the abstract:
"A perfect number is a number ...

**29**

votes

**1**answer

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

**8**

votes

**1**answer

364 views

### Die-rolling Hamiltonian cycles

Let $R$ be a rectangular region of the integer lattice $\mathbb{Z}^2$,
each of whose unit squares is labeled with a number
in $\lbrace 1, 2, 3, 4, 5, 6 \rbrace$.
Say that such a labeled $R$ is ...

**12**

votes

**2**answers

596 views

### Are acyclic subcomplexes of finite contractible 2-complexes contractible?

Let $Y$ be a contractible finite simplicial 2-complex.
Let $X$ be an acyclic subcomplex of $Y$ (i.e. $X$ connected, $H_1(X)=0$, $H_2(X)=0$).
Is $X$ contractible? (Equivalently, is $\pi_1(X)$ ...

**-1**

votes

**1**answer

606 views

### Question Re: Arian Berdellima's Papers On Odd Perfect Numbers [closed]

Hi everyone.
I'd like to refer you to two papers by Arian Berdellima on odd perfect numbers:
More Properties About Odd Perfect Numbers
http://mpra.ub.uni-muenchen.de/31587/1/MPRA_paper_31587.pdf
...

**18**

votes

**0**answers

680 views

### Given a lattice L with n elements, are there finite groups H < G such that L $\cong$ the lattice of subgroups between H and G?

If there is no restriction on $n$, this is a famous open problem. I'm wondering if any recent work has been done for small $n>6$. I believe the question is answered (positively) for $n=6$ by ...

**4**

votes

**0**answers

740 views

### Has n^2*|sin(n)| limit? [closed]

Is there any sub-sequence $n_k$ of natural numbers such as $\lim(n_k^2|\sin(n_k)|) = 0$ ? when $k$ tends to infinity.
In other words, does $\lim(n^2|\sin(n)|)$ exist (equal to infinity)? or there is ...

**7**

votes

**1**answer

258 views

### Algorithmic decidability of equality in the ring of periods

Suppose two elements of the ring of periods are given by their systems of polynomial inequalities with rational coefficients. Is there a known algorithm deciding their equality? Is it known if their ...

**9**

votes

**0**answers

750 views

### 3-piece dissection of square to equilateral triangle?

At a workshop it was suggested that it likely remains an open problem
whether or not there is a 3- or 2 -piece
dissection
of a square to an equilateral triangle.
Can anyone confirm that this is ...

**2**

votes

**0**answers

163 views

### What is the maximal density vertex subset of the 8-connected grid with induced vertex degrees $\leq 4$?

Let $G$ be the infinite graph defined by
8-connection
of $\mathbb{Z}^2$.
What is the maximal density vertex subset whose induced subgraph has maximum degree $\leq 4$? More precisely, what is the ...

**3**

votes

**0**answers

361 views

### Compact surfaces smoothly immerse in: $\mathbb{R}^4$ or $\mathbb{R}^5$?

I wonder if someone can clarify whether it is known
that
every closed, orientable surface (2-manifold) has a
smooth isometric immersion in $\mathbb{R}^4$?
This topic has been discussed rather ...

**13**

votes

**2**answers

538 views

### What is known about Ulam's problem of metric spaces with isometric squares?

Background
In the book Problems in Modern Mathematics, S. Ulam asks the following question:
Suppose $A$ and $B$ are metric spaces, such that $A^2$ and $B^2$ equipped with the 2-metric $d((x_1, ...

**5**

votes

**1**answer

721 views

### Convergence speed of Jacobi eigenvalue algorithm for parallel ordering(Brent-Luk) ?

Is there estimate for convergence of the Jacobi eigenvalue algorithm for Hermitian matrices for "parallel ordring" (Brent-Luk ordering (see comment below)) ?
For example for 4 4 matrices parallel ...

**8**

votes

**2**answers

442 views

### Exact consistency-strength of “all projective sets are Ramsey”

I wonder if the exact consistency strength of
"All projective sets have the Ramsey property"
is still open.
In Solovay's model, all sets have the Ramsey property, so the consistency strength of this ...

**4**

votes

**1**answer

487 views

### What is the degree of a symmetric boolean function?

(previous title " Zero sum of binomials coefficients - a stronger version ")
This is a stronger version of another question.
Is there an $N\in \mathbb N$ and a sequence of non-constant functions $ ...

**17**

votes

**0**answers

857 views

### When is a compact topological 4-manifold a CW complex?

Freedman's $E_8$-manifold is nontriangulable, as proved on page (xvi) of the Akbulut-McCarthy 1990 Princeton Mathematical Notes "Casson's invariant for oriented homology 3-spheres".
Kirby showed that ...

**10**

votes

**1**answer

1k views

### Is there a smooth $4$-manifold homeomorphic but not diffemorphic to $CP^2$? [closed]

Is there a smooth $4$-manifold homeomorphic but not diffemorphic to $CP^2$? Are there known non-smooth examples homeomorphic $CP^2$?

**3**

votes

**0**answers

1k views

### Open problems in “Algebraic geometry by robin hartshorne”

Hi,
Is there a list of which of the open problems in algebraic geometry by robin hartshorne are still open ?
(I searched the internet and didn't find one)
Thanks from advanced,
Matan Fattal

**10**

votes

**0**answers

484 views

### Once differentiable, piecewise degree three polynomials on triangulated planar domains

Here is an easily described, but very difficult, problem that I
(and a number of other people) really would like to see solved during
our life times. The basic problem is to compute the dimension of ...

**14**

votes

**1**answer

576 views

### Totally rational polytopes

Define a convex polytope in $\mathbb{R}^d$ as
totally rational (my terminology)
if its vertex coordinates are rational, its edge lengths
are rational, its two-dimensional face areas are rational, ...

**15**

votes

**1**answer

437 views

### Convex bodies with constant maximal section function in odd dimensions

In 1970 or so, Klee asked if a convex body in $\mathbb R^n$ ($n\ge 3$) whose maximal sections by hyperplanes in all directions have the same volume must be a ball. The counterexample in $\mathbb R^4$ ...

**29**

votes

**0**answers

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

**15**

votes

**1**answer

910 views

### Axiom of choice and bases of vector spaces over a fixed field

Let $k$ be a field. In 1984 Andreas Blass proved that the axiom "for every extension $K|k$, every vector space over $K$ has a basis" implies the axiom of choice. He also raised the question
Does ...

**7**

votes

**1**answer

374 views

### A toy model for the t-section problem

Let $S(x)$ be the area of the yellow curvilinear triangle. I'd like to find a graph for which $S(x)=H(x)$ where $H $ is some prescribed function (small, smooth, vanishing near the endpoints to any ...

**47**

votes

**21**answers

14k views

### Open problems with monetary rewards

Since the old days, many mathematicians have been used to attaching monetary rewards to problems they admit are difficult. Their reasons could be to draw other mathematicians' attention, to express ...

**29**

votes

**8**answers

4k views

### Series whose convergence is not known

For most of the mathematical concepts I learn, it has more or less always been possible to find (at least google and find) unsolved problems pertaining to that specific concept. Keeping a bag of ...

**11**

votes

**4**answers

9k views

### The Ramanujan Problems.

I originally thought of asking this question at the Mathematics Stackexchange, but then I decided that I'd have a better chance of a good discussion here.
In the Wikipedia page on Ramanujan, there is ...

**20**

votes

**1**answer

814 views

### Majorization and Schur Polynomials

Let me first define the majorization order (or dominance order) on partitions as $\lambda \succeq \mu$ iff $$\sum _{i=1}^{k}\lambda_i \geq \sum_{i=1}^{k}\mu_i$$ for all $1\le k\le l-1$ and ...

**34**

votes

**4**answers

2k views

### The maximum of a polynomial on the unit circle

Encouraged by the progress made in a recently posted MO problem, here is a "conceptually related" problem originating from a 2003 joint paper of Sergei Konyagin and myself.
Suppose we are given $n$ ...

**11**

votes

**3**answers

2k views

### Zero divisor conjecture for finite fields

I believe that the most attractive "zero-divisor" conjecture is the existence of non-trivial zero-divisors in a group ring $\mathbb{C}[G]$ for a torsion free group $G$. For the sake of knowledge let ...

**13**

votes

**3**answers

1k views

### Meromorphic 1-form and Picard's theorem

Let $D$ be the open unit disk in the complex plane and $U_1,U_2,\,\ldots\,,U_n$ be an open cover of the puntured disk $D^*= D\setminus\{0\}$. Suppose on each open set $U_j$ there is an injective ...

**3**

votes

**0**answers

552 views

### Fixed point theorem for convex, closed multivalued mapping

There is well-known fixed point theorem theorem for multivalued l.s.c. maps, based on Michael selection theorem:
Suppose, that $X$ is compact, convex and metrizable in locally convex Hausdorff ...

**7**

votes

**1**answer

391 views

### Symplectic structures on a homotopy complex projective space

For $n>2$, there are infinitely many differentiable structures on the homotopy type of $\mathbb{C}P^n$. I want to know which differentiable structures support a symplectic form.
My question is as ...

**4**

votes

**1**answer

771 views

### Unsolved problems concerning Artinian Rings and Artinian Modules

I am preparing a write-up on Topics on Artinian Rings and Modules for a project. I hope to mention some unsolved problems in the domain of these objects along the way. Till now, I have been able to ...

**23**

votes

**4**answers

1k views

### Trees in groups of exponential growth

Question: Let $G$ be a finitely generated group with exponential growth.
Is there a finite generating set $S \subset G$, such that the associated Cayley graph $Cay(G,S)$ contains a binary tree?
...

**4**

votes

**1**answer

355 views

### A question concerning products of finite cyclic groups

Let $m_1,\ldots, m_n$ be pairwise coprime natural numbers $\geq 1$. We consider the product $$G(m_1,\ldots,m_n) := \prod_{i=1}^{n} \mathbb{Z} / m_i \mathbb{Z}.$$ We define $M(n)$ as the set $n$-tuple ...