# Questions tagged [haar-measure]

Everything the deals with properties and definitions of Haar measure, as well as related fields when the question relies heavily on the notion of haar measure - group harmonic analysis, group ergodic theory etc.

**12**

votes

**1**answer

355 views

### Are Hausdorff measures on the real line Haar measures for some locally compact topology?

For $0\leq d\leq 1$, let $\lambda_d$ be the $d$-dimensional Hausdorff measure on $\mathbb{R}$. Note that it is translation-invariant. Does there exist a locally compact topology $\mathscr{T}_d$ on $\...

**1**

vote

**0**answers

43 views

### Does the pushforward of the Haar measure of a semisimple compact Lie group along a character determine the character?

Let $G$ be a connected compact semisimple Lie group.
Let $V$ be a faithful representation of $G$,
with character $\chi \colon G \to \mathbb{C}$.
Let $\mu_G$ be the normalized left Haar measure. (So $\...

**3**

votes

**1**answer

124 views

### Invariant integration on principal bundles

Let $G$ be a sufficiently nice topological or Lie group (e.g. compact), and let $H$ be a closed subgroup. This data determines a principal $H$ bundle $G \rightarrow G/H$ defined by the projection $g \...

**1**

vote

**0**answers

105 views

### Do we have $K \cap P = (K \cap M)(K \cap N)$?

Let $G$ be a connected, reductive group over a $p$-adic field $k$, let $P$ be a parabolic subgroup with Levi $M$ and radical $N$. Let $K$ be a maximal open compact subgroup of $G$ in good position ...

**2**

votes

**0**answers

57 views

### Volume of a double class of a parahoric subgroup

Let $F$ be a non-archimedean local field with residue field $F_q$. Let $G$ be the group of $F$-rational points of a connected reductive group defined and split over $F$. Fix a maximal split torus $T$ ...

**1**

vote

**1**answer

172 views

### Definition of Haar integral in Bushnell and Henniart

In Bushnell and Henniart's The Local Langland's Conjecture for GL(2) they define a right Haar integral on a locally profinite group $G$ as being a non-zero linear functional
$$
I: C^{\infty}_{c}(G) \...

**0**

votes

**1**answer

77 views

### Measure on group invariant under group action on metric space

This is a question very similar to I recently asked on mathexchange, but different enough to get its own entry in MO.
The setting is still the same. I consider the metric space $\mathbb{R}$ and the ...

**6**

votes

**0**answers

63 views

### Are invertible measures strictly dense?

Let $L_1(\mathbb T)$ be considered as a closed ideal of $M(\mathbb T)$, the Banach algebra of measures on the circle. Then $M(\mathbb T)$ can be identified with the multiplier algebra of $L_1(\mathbb ...

**3**

votes

**1**answer

54 views

### Convergence of some object depending on functions with compact support

Let $G$ be a locally compact group with unimodular Haar measure $\mu$. We consider the Hilbert space $\mathscr{H}:= L_{\mu}^2(G)$ together with the unitary representation $\pi : G \to U(\mathscr{H})$ ...

**5**

votes

**1**answer

269 views

### Haar measure on $\mathrm{SL}_3(\mathbb{Z}) \backslash \mathrm{SL}_3(\mathbb{R}) / \mathrm{SO}_3(\mathbb{R})$

The bi-invariant Haar measure on the quotient $\mathrm{SL}_2(\mathbb{Z}) \backslash \mathrm{SL}_2(\mathbb{R}) / \mathrm{SO}_2(\mathbb{R})$ represents the moduli space of rank two real lattices modulo ...

**2**

votes

**0**answers

84 views

### Is this concrete set generically Haar-null?

This question is related to this problem on MO about generically Haar-null sets in locally compact Polish groups but is more concrete.
First we recall the definition of a generically Haar-null set in ...

**5**

votes

**0**answers

149 views

### On generically Haar-null sets in the real line

First some definitions.
For a Polish space $X$ by $P(X)$ we denote the space of all $\sigma$-additive Borel probability measures on $X$. The space $P(X)$ carries a Polish topology generated by the ...

**5**

votes

**0**answers

104 views

### Volumes of Hecke operators

Let $G=GL(2, F)$ and $K$ a maximal compact subgroup. Unramified Hecke operators are defined by the action of the double cosets
$$T(n) = \bigcup_{\substack{ad=n, a>0 \\ a|d}} K \left( \begin{array}{...

**5**

votes

**1**answer

249 views

### Haar Measure Integral

I am a physicist and I am wondering whether the following integral over Haar measure （edit: say $U$ is unitary, orthogonal or symplectic matrix)
\begin{align}
\int dU \: \exp\left( \mathrm{tr}(UX) + \...

**6**

votes

**1**answer

203 views

### About taking an expectation over orthogonal matrices

Say $Q$ is a random variable which is sampling orthogonal matrices in $m$ dimensions using the Haar measure on $O(m)$. Let $A$ and $B$ be some (fixed) subset of rows and columns of $Q$ such that $\...

**7**

votes

**1**answer

210 views

### Extending the product measure on $2^\omega$

Consider the standard completed product measure $P$ on $\Omega=\{0,1\}^\omega$ corresponding to an i.i.d. sequence of fair coin-flips.
Given $n\in\omega$, let $\rho_n$ be the bijection of $\Omega$ ...

**10**

votes

**0**answers

227 views

### Haar measure on $PGL(2,\mathbb{Q}_p)$, the local Jacquet-Langlands correspondence, and Ihara's theorem

Goal. I would like to calculate the product of the formal dimension of a discrete series representation of $GL(2,\mathbb{Q}_p)$ with trivial central character (so, an irreducible unitary ...

**2**

votes

**2**answers

424 views

### Simple Proof that a Reductive Group is Unimodular?

Let $G$ be a connected, reductive group over a local field $k$ of characteristic zero. I thought of a simple proof that $G(k)$ is unimodular, but I realize it is almost certainly wrong: $G(k)$ is ...

**3**

votes

**1**answer

184 views

### Invariant measureable function is constant

I'm wondering whether the action of $\mathbb{Q}/\mathbb{Z}$ on $S^1$ by multiplication is ergodic.
Note that this question is equivalent to each one of the following two statements
Is every ...

**2**

votes

**1**answer

112 views

### How does a Haar measure on $N$ arise from root subgroups?

Let $G$ be a connected, reductive group, split over a local field $F$. Let $B = TU$ be a Borel subgroup defined over $F$ with maximal torus $T$ and unipotent radical $U$. Let $P$ be a parabolic ...

**2**

votes

**0**answers

115 views

### How can this argument calculating the Haar measure on a parabolic subgroup be generalized to the non-split case?

Let $\mathbf G$ be a connected, reductive group over a local field $F$. Assume there is a maximal torus $\mathbf T$ which is split over $F$. Let $\mathbf P$ be a parabolic subgroup of $\mathbf G$ ...

**3**

votes

**1**answer

90 views

### Measure on orbits of $N$ under conjugation by $H$

Let $G$ be a locally compact topological group with closed subgroups $H, N$ and $H$ normalizing $N$. Then $H$ acts continuously on $N$ by conjugation. If it will help, assume that $N$ is nilpotent, ...

**1**

vote

**1**answer

279 views

### Integral over Haar measure

$\mathcal{H}$ is a $d$-dimensional complex vector space. $\mathcal{E}$ maps matrix on $\mathcal{H}^{\otimes m+k}$ to matrix on $\mathcal{H}^{\otimes m}$ through
$$\mathcal{E}(X)=EXE^{+},$$
where $m,k$ ...

**3**

votes

**0**answers

248 views

### Conditional distributions of uniformly distributed random orthonormal matrices

Let $U, U'\in R^{d\times k} (d>k)$ be two independent uniformly distributed random orthonormal matrices. In specific, let $S$ be the set of all $d\times k$ orthonormal matrices. Here 'uniform' is ...

**7**

votes

**1**answer

293 views

### Frobenius norm of the principal submatrix of a uniformly distributed random orthonormal matrix

Suppose that we have a uniformly distributed $d\times d$ random orthonormal matrix $\mathbf{X}$. Here "uniform" is defined in the sense of Haar measure, i.e., the distribution does not change up to ...

**1**

vote

**0**answers

87 views

### Proof/reference for a variant of Pontryagin duality

Let $X,X'$ be locally compact abelian groups with a non-degenerate quadratic form
$\left<\bullet ,\bullet \right>\colon X\times X' \to \mu_{l}$,
where $l$ is a prime, and $\mu_l$ the group of $...

**6**

votes

**2**answers

558 views

### Haar measure on the Grassmannian space

The grassmannian space $G(n,m)$ may be identified with the quotient space $O(n)/(O(m)\times O(n-m)$. As such, it is endowed with a natural invariant probability measure which I call "Haar measure on $...

**1**

vote

**1**answer

169 views

### Haar measure, can image of modular function be any subgroup of $(0,\infty)$?

It is easy to find examples of locally compact second countable Hausdorff topological groups $G$ whose modular function $\Delta$ has image $\{1\}$ or $(0,\infty)$. Are there groups $G$ of this kind ...

**3**

votes

**1**answer

61 views

### Criterion for convergence of sums for non-continuous functions

The following question came up when thinking about equidistribution of Satake parameters of elliptic curves. Let $G$ be a compact Lie group with Haar measure $\mathrm{d} x$. Recall that a sequence $\{...

**4**

votes

**1**answer

186 views

### On the eigenvalues' distribution of random unitary

Fix an integer $d$, let $\mathbb{U}_d$ be the $d\times d$ unitary group.
For any $U\in \mathbb{U}_d$, define $\Omega(U)$ be the length of the smallest arc containing all the eigenvalues of $U$ on the ...

**1**

vote

**1**answer

161 views

### $p$-adic Dirac measure as a weak limit

The standard Dirac delta is a generalised function (or measure, or distribution...) $\delta(x)$ which can be seen as a weak limit functions $\delta_n(x)$ spiked at the the origin, in the sense that:
$...

**1**

vote

**0**answers

77 views

### Majorizing inequality on spectral norm of product of a random and a deterministic low-rank projection

Let $P$ be a rank $k$ uniformly randomly oriented projection matrix in ${\mathbb R}^d$ -- this is constructed as $R^T(RR^T)^{-1}R$ where $R$ is a $k\times d, k<d$ random matrix with i.i.d. 0-mean ...

**1**

vote

**1**answer

157 views

### Some question on haar measure for sumsets of closed subsets of profinite groups

Let $H$ be a profinite group with the haar measure $\mu_H$. Let $H_1$ and $H_2$ be closed subgroups of $H$. $H_1$ and $H_2$ have their own haar measures $\mu_{H_1}$ and $\mu_{H_2}$ respectively.
...

**2**

votes

**1**answer

215 views

### Averages of vector inner products over the Haar measure

Consider arbitrary unit vectors $w,x,y,z \in \mathbb{C}^d$. Is there an explicit formula for what this average is?
$$
\int \mathrm{Tr}( \psi \psi^* \, \, w x^* \,\, \psi \psi^* \,\, y z^*) d\psi
$$
...

**2**

votes

**1**answer

169 views

### Subgroups of finite non-zero Haar measure of abelian locally compact groups

Is it true that every subgroup of finite non-zero Haar measure of an abelian locally compact group should be open and compact? This is obviously true for the case of discrete abelian groups. Thanks.

**3**

votes

**1**answer

95 views

### Characterization of $L^1(\text{SL}(3,\mathbb{R}))$ [closed]

Is there a characterisation of the integrable functions on SL($3,\mathbb{R}$) or an explicit expression for the Haar measure?

**6**

votes

**1**answer

178 views

### Cartan integral formula for a p-adic group?

Let $G$ denote a reductive group over a local field $F$. Suppose that $G$ is split over $F$ and fix a maximal (split) torus $A$. Let $A^+$ denote a Weyl chamber in $A$ and let $K$ be a suitable ...

**0**

votes

**1**answer

305 views

### Change of variable for integration with respect to Haar measure

I know how to estimate the integral* (see the update)
\begin{gather}
\int f(Ub)d\mu(U), \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ [2]
\end{gather}
where $f:S^{n-1}(\...

**3**

votes

**1**answer

120 views

### Is the sumset of two Haar positive closed subsets of a Polish group non-meager?

A famous Steinhaus theorem says that if measurable subsets $A,B$ of a locally compact topological group $G$ have positive Haar measure, then the difference $AA^{-1}$ is a neighborhood of the unit and ...

**2**

votes

**1**answer

305 views

### The Tensor product of algebra group

Let G is a locally compact group. Is the following true?
The tensor product of $L^1(G)$ with $L^1(G)$ is $L^1(G \times G)$.

**5**

votes

**1**answer

304 views

### Why is it possible to normalize the Haar measure on the quotient?

I just asked a question which is related to the one I'm about to ask, but I realized my question can be reduced to the following: let $G$ be a locally compact abelian group with Haar measure $\mu$, ...

**7**

votes

**1**answer

945 views

### explicit integrals over a Lie group

I am looking for families of invariant integrals $\int_G dg f(g)$ (where $dg$ is a Haar measure) over a semisimple Lie group that can be evaluated in closed form, together with references where I can ...

**5**

votes

**0**answers

342 views

### Concentration of measure for uniform distribution on Stiefel manifolds

This is my first post on MO, so I hope the question is suitable. I am looking at the uniform distribution on the Stiefel manifold, but more specifically, at the uniform distribution on the ...

**1**

vote

**1**answer

179 views

### Structure of locally compact non discrete topological division algebras without the use of Haar measure

There is a well-known structure theorem for locally compact non discrete topological division algebras, see here
https://math.stackexchange.com/q/1160086/187521
(I repost it here because I think it ...

**2**

votes

**1**answer

245 views

### An expectation of the product of random unitaries

I want to find the answer of
$$\int dU \ U^m X \ U^{\dagger m}$$
Where $m\in\mathbb{N}$ and $U$'s are unitary matrices in $U(n)$ and $dU$ is a normalized Haar measure. $X$ is a given self-adjoint ...

**6**

votes

**1**answer

548 views

### Some calculus in the orthogonal group $O(n)$

How can one compute each of the following matrices, explicitly:
$$\int_{O(n)} e^{g}dg$$ or
$$\int_{O(n)} g^{n}dg \;\;\;\;n\in \mathbb{N} \;\;n>1$$
What is the explicite entries of the resulting ...

**4**

votes

**1**answer

189 views

### If $ F(x,\bullet) \in {L^{\infty}}(G,B) $ for all $ x \in G $, then is $ x \mapsto F(x,\bullet) $ strongly measurable?

Let $ (X,\Sigma,\mu) $ be a $ \sigma $-finite measure space and $ B $ a Banach space. A function $ f: X \to B $ is said to be strongly $ \mu $-measurable iff it is the almost-everywhere pointwise ...

**10**

votes

**0**answers

229 views

### Status of the analog of the Haar measure on quantum groups

In (Masuda, Nakagami, Woronowicz)'s paper, in the introduction, the authors mentioned the deficiency common to both their and (Kusterman, Vaes)'s approach regarding the Haar state (or Haar measure ...

**4**

votes

**1**answer

285 views

### When does convolution preserve the `size' of a function?

For a positive function $f$ and positive measures $\mu, \nu$, does
$$\mu\ast f\leq \nu\ast f \Rightarrow \|\mu\|\leq \|\nu\|?$$
More details: Let $G$ be a locally compact group, $C(G)$ be the space ...

**3**

votes

**0**answers

450 views

### Justification of the convolution operation of $L^1(G)$ functions where $G$ is a LCA group (measurability)

Suppose $G$ is a locally compact abelian Hausdorff group (LCA), and $\lambda$ is the Haar measure on it. We all know the convolution of two $L^1(\lambda)$ functions $f$ and $g$ on $G$ is defined as
$$...