**21**

votes

**4**answers

2k views

### Open problems in Birational Geometry, after BCHM

Rencently a breakthrough was made in the context of the Minimal Model Program by the work of Birkar-Cascini-Hacon-McKernan. They proved that the canonical ring of a smooth or mildly singular ...

**8**

votes

**1**answer

714 views

### Transcendentality of all irrationals in the Cantor set

Hi, I am a student researcher trying to prove that all irrationals within the Cantor set are transcendental. This is grounded, intuitively, in Cantor set members' being non-normal; since algebraic ...

**46**

votes

**1**answer

2k views

### A function whose fixed points are the primes

If $a(n) = (\text{largest proper divisor of } n)$, let $f:\mathbb{N} \setminus \{ 0,1\} \to \mathbb{N}$ be defined by $f(n) = n+a(n)-1$. For instance, $f(100)=100+50-1=149$. Clearly the fixed points ...

**14**

votes

**2**answers

799 views

### Why Donaldson's Four-Six Conjecture?

Simon Donaldson apparently made the following conjecture: Two closed symplectic 4-manifolds $(X_1,\omega_1)$ and $(X_2,\omega_2)$ are diffeomorphic if and only if $(X_1\times ...

**2**

votes

**2**answers

317 views

### If all real conjugacy classes are strongly real, then all real irreps are “strongly real”(symmetric), true ?

Question Is true that if all real conjugacy classes of a finite group are strongly real, then all its real irreducible representations (irreps) are "strongly real"(symmetric) ? And vice verse ?
...

**7**

votes

**1**answer

629 views

### approximate uncertainty principle for finite abelian groups

Edit: we cannot find such an example. It would imply a negative solution to the KS${}_2$ conjecture which has now been proven by Marcus, Spielman, and Srivastava in this paper.
In fact, their ...

**5**

votes

**1**answer

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

**7**

votes

**0**answers

241 views

### Why would dim primitive irrep divide size of some conjugacy class ?

From Isaacs et.al. 2005
Conjecture C. Let χ be a primitive
irreducible character of an arbitrary
ﬁnite group G. Then χ(1) divides |
clG(g)| for some element g ∈ G.
Here, of course, we ...

**10**

votes

**3**answers

411 views

### Kaplansky's 6th conjecture: dim(Irrep) | dim(algebra) - for semi-simple Hopf algebras

Let $H$ be a semisimple Hopf algebra. One of the Kaplansky's conjectures states that the dimension of any irreducible $H$-module divides the dimension of $H$.
In which cases the conjecture is known ...

**11**

votes

**1**answer

482 views

### Are Galois groups of Q with restricted ramification supposed to be finitely generated?

Fix a finite set $S$ of places of $\mathbb Q$. Let $G_{\mathbb Q,S}$ be the Galois group of the maximal extension of $\mathbb Q$ unramified outside S$. I believe that it is an open question whether ...

**19**

votes

**0**answers

449 views

### The oriented homeomorphism problem for Haken 3-manifolds

Haken famously described an algorithm to solve the homeomorphism problem for the 3-manifolds that bear his name (fleshed out by many others, including Hemion and Matveev who fixed some gaps). But ...

**7**

votes

**0**answers

222 views

### Is $Q_n(x)=\sigma_{n+1}(x)/\sigma_n(x)$ logarithmically convex on $\mathbf{R}$?

In 1975 J. van de Lune considered the monotony properties of the canonical Riemann Upper and Lower sums for $\int_0^1 t^xdt$, with $x>0$.
Writing $\sigma_n(x) := 1^x+2^x+\cdots+n^x$ these sums are
...

**5**

votes

**2**answers

339 views

### Measures of full Hausdorff dimension for self-affine sets

Consider the iterated function system $T_{1}(x)=(\beta x,\tau y)$, $T_{2}(x,y)=(\beta x+(1-\beta),\tau y+ (1-\tau))$ for $\beta\in(1/2,1)$ and $\tau\in (0,1/2)$ with self affine set ...

**7**

votes

**3**answers

877 views

### Kronecker's Jugendtraum for real quadratic fields?

Kronecker's Jugendtraum (or Hilbert's 12'th problem) is to find abelian extensions of arbitrary number fields by adjoining `special' values of transcendental functions. The Kronecker-Weber theorem was ...

**10**

votes

**1**answer

752 views

### The Class Number One Problem for Real Quadratic Fields

An approach to the Gauß class number one problem for imaginary quadratic fields is to determine the integral points on the modular curve $Y_{nonsplit}(n)$ for a suitable $n$. Here follows a quick ...

**3**

votes

**2**answers

426 views

### S-matrix conjecture: status?

Is the $S$-matrix conjecture still open? I mean the one listed as Problem 7 in this survey.

**9**

votes

**1**answer

528 views

### Minimizing the excursion of a sum of unit vectors

I have $n$ unit-length vectors $v_i$ in $\mathbb{R}^3$, whose
sum is zero:
$$ v_1 + v_2 + \cdots + v_n = 0 \; .$$
Now I form the closed polygon $P$ in space by placing them head to tail.
So the ...

**1**

vote

**0**answers

229 views

### Sums of Strongly z-ideals

In the rings of continuous functions,i.e.$(C(X))$ an ideal $I$ is called strongly $z$-ideal if it is an intersection of some maximal ideals of $C(X)$. i.e. $$I=\cap_{\alpha \in A} ...

**1**

vote

**1**answer

529 views

### A question concerns prime numbers

I have arrived to this conjecture in my work, I am not sure that is true or false. So I would appreciate if someone give a counterexample or prove it.
My question: Let n be a non-prime such that n-1 ...

**2**

votes

**0**answers

316 views

### weak hopf conjecture

Hi:
I am thinking of the following problem which is related to weak Hopf conjecture:
Let $E$ be the total space of a vector bundle over a compact nonnegatively curved manifold $B$. Let k=the rank ...

**16**

votes

**0**answers

418 views

### Actions on ℍⁿ generated by torsion elements

Let $n$ be a large integer.
I am looking for a cocompact properly discontinuous isometric action on $n$-dimensional Lobachevky space which is generated by elements of finite order.
Or equivalently, ...

**7**

votes

**1**answer

240 views

### Sparse ramsey theory

It is known that for any graph H and all $k∈N$, there exists a graph $G$ such that any $k$-coloring of the edges of $G$ yields a monochromatic copy of H and ω(G)=ω(H) (the two graphs have the same ...

**42**

votes

**30**answers

5k views

### Fundamental problems whose solution seems completely out of reach [closed]

In many areas of mathematics there are fundamental problems that are embarrasingly natural or simple to state, but whose solution seem so out of reach that they are barely mentioned in the literature ...

**8**

votes

**1**answer

278 views

### Maximal class of simple graphs of order $n$ with mutually distinct numbers of spanning trees

This problem in some ways related to this post.
Let $A_n$ be the set of all integers $x$ such that there exist a connected simple graph of order $n$ having precisely $x$ spanning trees. Study the ...

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

**16**

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

**18**

votes

**1**answer

874 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

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

**17**

votes

**0**answers

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

**4**

votes

**0**answers

169 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

815 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

667 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

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

**30**

votes

**1**answer

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

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

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

**8**

votes

**1**answer

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

**13**

votes

**2**answers

664 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

635 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

754 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

806 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

274 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

934 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

164 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

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

**14**

votes

**2**answers

561 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

804 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

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