0
votes
1answer
20 views
Group action on the real line
Hi,
I was wondering about the following question:
if you have a faithful action of a group G on the real line R by orientation-preserving homeomorphisms, it is easy to construct …
10
votes
3answers
374 views
Does every Frobenius algebra in a monoidal *-category give a Q-system?
Suppose that C is a fusion C*-cateogry and that A is an irreducible Frobenius algebra object in C, is there always a Frobenius algebra A' isomorphic to A such that A' is a Longo Q- …
1
vote
0answers
14 views
Effective Chebotarev without Artin’s conjecture
Iwaniec and Kowalski, in their famous book Analytic Number Theory states a strong form
of the effective Chebotarev density theorem page 143, and prove it assuming both GRH for Arti …
12
votes
2answers
110 views
Order type of the smallest set containing the identity function and closed under exponentiation
Let $E$ be the smallest set of functions $\mathbb{N}^+\to\mathbb{N}^+$ containing the identity function $n \mapsto n$ and closed under exponentiation $(f,g) \mapsto \left(n \mapst …
3
votes
0answers
23 views
Do operations generate well-ordered sets only?
I've read @TauMu's question about the set of functions $\mathbb N\rightarrow\mathbb N$ generated from the identity map by repeatedly applying exponentia …
6
votes
1answer
46 views
How many triangulations of the genus $g$ surface on $n$ vertices?
By "a triangulation of $X$", I mean a simplicial complex whose geometric realization is homeomorphic to $X$. Tutte showed that the number of combinatorially distinct triangulations …
4
votes
1answer
127 views
From universal measurability to measurability
Let $(\Omega,\Sigma)$ be a measurable space and $K$ be a compact
metrizable space endowed with its Borel $\sigma$-algebra
$\mathcal{B}(K)$. Let $A\subseteq\Omega\times K$ be …
2
votes
2answers
169 views
Help with this system of Diophantine equations
A couple hours ago, I'd posted a Diophantine equation question, but realized that I'd committed a rather preposterous blunder deriving it.
This is the actual question which I'm tr …
0
votes
1answer
29 views
Eigenvalues of Symmetric Tridiagonal Matrices
Suppose I have the symmetric tridiagonal matrix:
$ \begin{pmatrix}
a & b_{1} & 0 & ... & 0 \\
b_{1} & a & b_{2} & & ... \\
0 & b_{2} & a …
0
votes
0answers
12 views
Lagrange multiplier with multi constraints
I have an equation as below,
min $w^HRw$ subject to $w^HR_aw=J_a$, $w^HR_bw=J_b$
If there is only one constraint such as $w^HR_aw=J_a$ in above expression, it is easy to convert …
12
votes
1answer
242 views
Are there interesting semisimple algebras in non-semisimple categories?
Are there any interesting examples of semisimple algebras in nonsemisimple categories which don't "come from" a semisimple algebra in a semisimple category? That is, if you want t …
26
votes
3answers
1k views
How do the compact Hausdorff topologies sit in the lattice of all topologies on a set?
This question is about the space of all topologies on a
fixed set X. We may order the topologies by refinement, so
that τ ≤ σ just in case every τ open set is open …
5
votes
2answers
62 views
Integer lattice points on a hypersphere
Is the following statement true?
For every integer $n\ge2$ and every integer $k\ge0$ there exists a hypersphere in $\mathbb{R}^n$ (circle, sphere etc) containing exactly $k$ i …
0
votes
0answers
31 views
Rate of growth of an explicit integral
Let $$J_1=\int_0^1\frac{1}{\sqrt{1-t_2}}dt_2,$$
$$J_2=\int_0^1 \int_0^{t_2}\frac{1}{\sqrt{1-t_2}}(\frac{1}{\sqrt{1-t_3}}+\frac{1}{\sqrt{t_2-t_3}})dt_3dt_2,$$
$J_3=\int_0^1 \int_0^{ …
1
vote
0answers
14 views
Homotopy left-exactness of a left derived functor
Let
$$
F: \mathcal{C} \leftrightarrows \mathcal{D} :G
$$
be a Quillen adjunction between model categories. Consider the corresponding adjunction of total derived functors
$$
\mathb …

