# All Questions

**7**

votes

**0**answers

178 views

+150

### Non Commutative Hyperspaces

Let $X$ be a compact metric space. Recall that the hyperspace $2^{X}$ is the set of all non empty compact subsets of $X$ with the Hausdorff metric. Assume that $\mathcal{C}$ is the category of all ...

**22**

votes

**1**answer

1k views

+50

### There are n horses. At a time only k horse can run in the single race. How many minimum races are required to find the top m fastest horses?

There are n horses. At a time only k horse can run in the single race. How many minimum races are required to find the top m fastest horses? Please explain your answer. (There is no timer.)
This was ...

**8**

votes

**1**answer

233 views

+50

### Fast checking that overdetermined polynomial system does not have a solution

As a result of some inductive procedure for each $n$ I have a system of about $n^2$ polynomial equations with $n$ variables with integer coefficients, which can be precisely computed. As the system is ...

**2**

votes

**0**answers

165 views

+50

### Sequences and pseudocharacter in compact spaces

Is there a consistent example of a compact Hausdorff space $X$ on which the following holds?
i) there is a $Y \in {[X]}^{\aleph_1}$ such that $\psi (Y) = \aleph_1$; and
ii) there is no non-trivial ...

**27**

votes

**3**answers

2k views

+100

### For which Millennium Problems does undecidable -> true?

Bounty This question having gone unanswered for (more than) one year, and in the light-hearted spirit of this week Dick Lipton and Ken Regan Gödel's Lost Letter weblog "Multiple-Credit ...

**8**

votes

**1**answer

228 views

+100

### How to flow submanifolds?

Motivation
We want a consistent way of perturbing a submanifold away from itself. For $0$-dimensional submanifolds, this is the same data as a nowhere-vanishing vector field: we may flow the points ...

**6**

votes

**2**answers

330 views

+50

### Is the class of inverse semigroups globally determined?

This question is a follow-up to this one I asked on math.stackexchange. I've decided to ask here because I believe this is a research-level question. I'm sorry if I'm wrong -- I'm not a researcher ...

**9**

votes

**0**answers

132 views

+150

### Cohomological Proof of Serre Relations for a Symmetrizable Kac-Moody Algebra

In 'Infinite Dimensional Lie Algebras, 3rd edition', Kac mentions at the top of p. 170 that 'a simple cohomological proof of Theorem 9.11 was found by O. Mathieu (unpublished)'.
Does anyone know how ...

**14**

votes

**0**answers

373 views

+200

### Explicit path in the unitary group of a $C^*$-algebra

For $G$ a discrete group, there is a canonical inclusion $g\mapsto u_g$ of $G$ into the unitary group of the reduced $C^*$-algebra $C^*_r(G)$. Denote by $[u_g]$ the class of $u_g$ in the (topological) ...

**11**

votes

**2**answers

800 views

+300

### Elliptic Curves with CM and Class Field Theory

Let $K$ be an imaginary quadratic field with Hilbert class field $H$, and let $E$ be an elliptic curve defined over $H$ with complex multiplication by the ring of integers $O_K$ of $K$. It is known ...

**6**

votes

**1**answer

133 views

+100

### On the convexity of certain integrals involving Bessel functions

Let $n\geq 0$ be an integer and let $J_n=J_n(r)$ denote the usual Bessel function (of the first kind) of order $n$ i.e. one of the solutions to Bessel's differential equation
...

**2**

votes

**0**answers

73 views

+50

### projective modules over noncommutative tori

It is a theorem of Rieffel that for any simple noncommutative tori ($\mathcal{A}$) of dimension $n$, every projective module over it is isomorphic to direct sum of $\mathcal{S}(M)$, Schwartz class ...