7
votes
0answers
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
1answer
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
1answer
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
0answers
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
3answers
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
1answer
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
2answers
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
0answers
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
0answers
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
2answers
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
1answer
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
0answers
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 ...