3
votes
1answer
109 views

Reference to definition of matrix log with domain SO(3) which is Borel measurable

I was trying to set up an inverse to matrix exponential $\exp:\mathrm{Skew}(3\times 3)\to SO(3)$ that "covers" the biggest possible domain and is Borel measurable. I was wondering if there is a ...
1
vote
0answers
83 views

Finding density of Haar measure relative to the Liouville volume measure on $\frac{G^{\mathbb{C}}}{P}$

Let $G$ be a connected compact Lie group and $G^{\mathbb{C}}$ be the complexification of the Lie group $G$ then we know that by polar decomposition we can write $G^{\mathbb{C}}\cong G\times ...
2
votes
0answers
61 views

Packing symmetric matrices in spectral norm, and defining measures on symmetric matrices

I'm trying to upper bound the $\epsilon$-packing number of $\Theta=\{A\in\mathbb{S}^{d}:\; a\preceq A \preceq b\}$ (where $\mathbb{S}$ are symmetric $d\times d$ matrices) for some $a\leq b$ with ...
5
votes
4answers
708 views

Is a measurable homomorphism on a Lie group smooth?

Let $G$ be a Lie group, and let $\mathcal B(G)$ its Borel $\sigma$-algebra. Suppose that $f : G \to G$ is a Borel-measurable homomorphism. Is $f$ smooth? Edit: My original question said "measurable ...
3
votes
3answers
323 views

Support of an infinitely divisible measure.

Hello, if $G$ is a compact Lie group. Let $\mu$ be an infinitely divisible measure on $G$, such that $e$, the neutral element of $G$, is in the support of $\mu$. Is that true that the support of ...
3
votes
2answers
322 views

Sample from a delta-ball in the orthogonal group O(n)

An answer to another question derived a formula for the volume of a delta-ball in $O(n)$. I am wondering if there is a (constructive) way to draw samples uniformly at random from such a region. For ...
2
votes
2answers
270 views

What is the normalization factor for $GL_n( \mathbb{Q}_p) // GL_n( \mathbb{\mathbb{Z}_p})$?

Consider $G = GL_n( \mathbb{Q}_p)$ and $K = GL_n( \mathbb{Z}_p)$, or more favorable replace $ \mathbb{Q}_p$ by a non archimedean field and $\mathbb{Z}_p$ by the ring of integers. Note that the space ...
10
votes
2answers
2k views

Volume of fundamental domain and Haar measure

In my research, I do need to know the Haar measure. I have spent some time on this subject, understanding theoretical part of the Haar measure, i.e existence and uniqueness, Haar measure on quotient. ...
11
votes
7answers
2k views

Cheap, non-constructive, free group generating rotations for Banach-Tarski

Stan Wagon's exposition of Banach-Tarski (for example) includes a beautiful explicit construction of two 2-sphere rotations which generate a free subgroup of the rotation group. For teaching purposes ...
15
votes
2answers
777 views

Borel set plus a closed set = Borel

Hi, Let $R$ be equipped with the usual Borel structure. Let $F$ be a Borel subset and $E$ be a closed subset of $R$. Then $F+E=(f+e: f\in F, e \in E \)$ is Borel? If yes, is it true for any locally ...
2
votes
3answers
333 views

Lower bound on the volume of a delta-ball in the orthogonal group O(n) of the type f(n)*delta^{n(n-1)/2}

Is there a lower bound on the volume of a delta-ball in the orthogonal group O(n) of the type f(n) * delta^{n(n-1)/2}? For which f(n)? How can it be proven? n(n-1)/2 is the number of degrees of ...
6
votes
1answer
684 views

What is the volume of a \delta-ball in the orthogonal group O(n)? Is there a (simple) lower bound?

The volume in the orthogonal group is measured by the Haar measure, which is the up to scaling unique measure that is invariant under the group operation. I consider the usual metric that is induced ...