All Questions
Tagged with gr.group-theory fa.functional-analysis
102 questions
8
votes
1
answer
353
views
$E_n(\ell^\infty)=SL_n(\ell^\infty)$?
Let $R$ be a commutative unital ring $R$ with unit element $1$.
For $n\in \mathbb{N}=\{1,2,3,\cdots\}$, let $SL_n(R)$ be the group of all $n\times n$ matrices with entries from $R$ having ...
- 81
4
votes
1
answer
212
views
Kernels of representations of $C^*(G)$
Let G be a discrete group. I am interested in the following: let $\pi$ and $\rho$ be two representations of $G$. Denote by $C^*Ker\pi$ and $C^* Ker \rho$ the kernels of the corresponding ...
- 631
2
votes
0
answers
224
views
Inner amenability
There is a well-known result of Rosenblatt that if $G$ is non-amenable discrete group acting on the space $X$ and a stabilizer of each point $x\in X$ is amenable then the action of $G$ on itself is ...
- 631
2
votes
1
answer
172
views
Ideals of $L^1(G)$ and normal subgroups of $G$
Let $G$ be a locally compact group. Is there any correspondence between closed two-sided ideals of $L^1(G)$ and closed normal subgroups of $G$? (Especially, is there any correspondence between finite ...
- 565
4
votes
0
answers
114
views
Coming up with a represenation for sum of functions in the Fourier algebra
This is my first overflow question, so let me apologize in advance if this belongs on http://math.stackexchange.com.
Let $G$ be a discrete group.
Let $\lambda:G\to B(\ell^{2}(G))$ be the left ...
- 161
5
votes
0
answers
208
views
A metric on $Homeo([0,1])$
One can define a metric on the set $Homeo([0,1])$ by setting $dist(f,g) =$ measure of support of $f^{-1}g$, that is the measure of the set of points $x$ where $f(x)\ne g(x)$. Was this metric studied ...
user6976
3
votes
0
answers
237
views
Orthogonality relations for unitary representations of infinite (finitely generated) groups
Let $G$ be a group, and consider the matrix elements of finite dimensional irreducible unitary representations of $G$ over $\mathbb{C}$ as functions $f:G\to \mathbb{C}$. If $G$ is finite, any two ...
- 333
4
votes
1
answer
495
views
Weil's Haar measure construction from below
Weil's construction of a Haar measure on a locally compact group rests on approximating a function from above by sums of translates of another function.
I would need to know something similar for an ...
user1688
1
vote
2
answers
289
views
Any analysis on phase of eigenvalue of unitary matrix?
I understand that there are invariant Haar measure for eigenvalues of unitary matrix. I further understand that absolute value of eigenvalues of unitary matrix is 1. But, I could not find any analysis ...
- 11
8
votes
2
answers
1k
views
What does the unique mean on weakly almost periodic functions look like?
There is a unique invariant mean $m$ on WAP functions on any discrete group (see definitions below, theorem of ?). However, the proofs I found are fairly non-explicit on how to obtain this invariant ...
- 4,432
7
votes
2
answers
469
views
Invertibility of group Laplacian in $\ell^1$
Let $G$ be a discrete group and let $S$ be a generating set for $G$; assume that $S$ is symmetric (i.e., $g\in S$ iff $g^{-1}\in S$). Let $L=L_S=\frac{1}{|S|}(\sum_{g\in S} g-1)$ be an element of the ...
- 231
3
votes
1
answer
298
views
Averaging measurable functions over amenable group actions
Let $G$ be an amenable group acting on a space $X$.
Amenability means there is a $G$-invariant mean on $L^\infty(G,{\mathbf R})$.
Given a bounded function $f\colon X\to {\mathbf R}$ one can use the ...
- 10.4k
21
votes
1
answer
2k
views
Almost commuting unitary matrices
Suppose that $A_1,\dots, A_k$ are unitary matrices such that any two of them can be approximated by commuting unitary matrices. i.e. for any $i$ and $j$, there are unitary matrices $A_i'$ and $A_j'$ ...
- 901
20
votes
2
answers
870
views
C$^*$-algebras isomorphic after tensoring with $M_n(\mathbb C)$
In 1977, Joan Plastiras gave a striking example of two non $*$-isomorphic C$^*$-algebras $\mathcal A$ and $\mathcal B$ such that $$\mathcal A \otimes M_2(\mathbb C) \simeq \mathcal B\otimes M_2(\...
- 3,984
1
vote
0
answers
203
views
How generic are Cayley graphs of non-Abelian groups with logarithmic girth?
Given a non-Abelian group $G$ I want to choose a symmetric generating set $S \subset G$ such that $Cay(G,S)$ has girth logarithmic in the size of the set. I want to know,
For which $G$ can the ...
- 1,893
13
votes
0
answers
474
views
Does anybody know if the Fourier algebra of SL(3,Z) has an approximate identity?
(Note to those who like to tidy LaTeX, or ${\rm \LaTeX}$: I kindly request that you don't put any LaTeX in the title of this question, nor change the bolds below to blackboard bold.)$\newcommand{\FA}{{...
- 25.8k
5
votes
0
answers
148
views
Groups of operators between local unitaries and full unitaries
Consider the group $U(d_1) \otimes U(d_2)$ of "local unitary" operators acting on the complex space $\mathbb{C}^{d_1} \otimes \mathbb{C}^{d_2}$ (i.e., $U(d_1) \otimes U(d_2)$ is the group of unitary ...
- 6,351
0
votes
2
answers
225
views
Isomorphism theorem for subfactors?
It's about the existence of a generalization of the first isomorphism theorem for groups, for subfactors :
Let $(N \subset M)$ and $(N' \subset M')$ be irreducible inclusions of hyperfinite $II_1$ ...
5
votes
1
answer
1k
views
Is every distribution a linear combination of Dirac deltas?
My question is whether Dirac-type distributions over an Abelian group define a basis of the Schwartz-Bruhat space $\mathcal{S}(G)^\times$ of tempered distributions on $G$, so that any distribution $f\...
9
votes
3
answers
654
views
measure with given push-forwards
Let $X,Y$ be locally compact spaces (in my specific case, they are locally compact groups). Suppose that we are given a measure $\mu$ on $X$ and a finite number of quotient maps $p_1,\ldots,p_n:Y\...
12
votes
0
answers
284
views
Star-shaped Folner sequence
Fix a (finite) generating set $S$ for $\Gamma$ (discrete) amenable. Given a Følner sequence (i.e. a sequence of finite sets $F_n$ whose boundary $\partial F_n$ in the Cayley graph of $S$ is such that $...
- 4,432
4
votes
0
answers
297
views
Which orbits of a separable representation of the infinite unitary group are closed?
Consider a separable irreducible unitary representation of $U(\mathcal{H})$ in the Hilbert space $V$. Assume that $\mathcal{H}$ is separable. My question is the following:
Is it true that all ...
- 965
4
votes
2
answers
562
views
Are the groups $C( \mathbb{R} ; U(n) )$ isomorphic?
Let $C(\mathbb{R};{U}(n))$ denote the topological group of continuous functions $\mathbb{R}\to {U}(n)$ with pointwise multiplication and compact-open topology. My question is:
Are these groups ...
- 1,411
5
votes
0
answers
241
views
Find a lower bound for a pre-invariant $Fol(L(F_m), X_m)$
In the paper of Bannon and Ravichandran, A Folner invariant for type $\rm{II}_1$ factors, they defined an invariant $Fol(M)$ for a separable type $\rm{II}_1$ factor $M$, especially for the free group ...
- 1,528
0
votes
1
answer
305
views
Embedding a semigroup into a divisible semigroup
The following is motivated by the fact that I'd like to have a way, much better if canonical, to isometrically embed a normed group into a normed divisible group. But semigroups are a much more ...
- 10.5k
3
votes
0
answers
301
views
What information about a locally compact group $G$ is encoded in $C_r^\ast(G)$ which is not in $L^1(G)$?
Let $G$ be a locally compact group and let $ C_r^\ast(G) $ denote its reduced group $C^\ast$-algebra. Many features of a $G$ can be realized from $L^1(G)$ or $C_r^\ast(G)$. For example, $G$ is ...
user23860
1
vote
1
answer
387
views
All and the only algebraically closed fields s.t. any regular n-by-n matrix has a k-th root for every k
The title has it all. I'm looking for a proof/disproof of the fact that an algebraically closed field, say $\mathbb K$, has characteristic zero iff the following property (R) holds: For all $n,k \in \...
- 10.5k
23
votes
2
answers
7k
views
What is a Gaussian measure?
Let $X$ be a topological affine space. A Gaussian measure on $X$ is characterized by the property that its finite-dimensional projections are multivariate Gaussian distributions.
Is there a direct ...
- 8,512
8
votes
2
answers
647
views
Baum-Connes-like "conjecture" for $l^p$-spaces
Let $G$ be a (discrete) group. For the Baum-Connes conjecture, one looks at the reduced group $C^{\star}$-algebra: Look at the Hilbert space $l^2(G)$ and the representation of $G$ on this Hilbert ...
- 976
6
votes
1
answer
751
views
left- and right- Folner sets
Given an amenable group, it is a standard trick to turn a left-invariant mean ( i.e. a continuous positive normalised linear functional $m:\ell_\infty(G) \to \mathbb{R}$ such that $\forall g \in G, m \...
- 4,432
7
votes
2
answers
530
views
The kernel of all invariant means
Let $G$ be a discrete group which is amenable (i.e. it admits an left-invariant mean, i.e. a continuous positive normalised linear functional $m:\ell^\infty(G) \to \mathbb{R}$ such that $\forall g \in ...
- 4,432
1
vote
0
answers
125
views
Isomorphisms of group extensions arising from antisymmetric forms
Let $V,W$ be topological vector spaces and fix continuous antisymmetric bilinear forms $\omega_1:V\times V\to \mathbb{R}$, $\omega_2:W\times W\to\mathbb{R}$. Since $\omega_1$ is a 2-cocycle (in fact ...
- 1,411
18
votes
1
answer
996
views
Existance of certain almost invariant functions related to amenability and piece-wise transformations
We would like very much to know the answer to the following question:
Let $\|\cdot\|$ be any norm on $\mathbb{Z}^d$ and let $W(\mathbb{Z}^d)$ be the group of all bijections of $\mathbb{Z}^d$ such ...
4
votes
3
answers
464
views
What classes of functions are closed under all rescalings?
Let us denote by the symbol $\mathcal{G}$, a group of functions $f: \mathbb{R} \rightarrow \mathbb{R}$ (with the composition operation) that is additionally closed under all affine change of variables ...
- 81
2
votes
4
answers
411
views
A Fractional Linear Transformation Class Property
Let $\mathcal{S}$ be the class of Fractional Linear Transformations (or FLT's) consisting of $f: [-1,0] \rightarrow [-1,0]$ such that $f(x) = \frac{ax+b}{cx+d}$ where
$a,b,c,d \in R$, and $f'(x)>0$...
- 81
10
votes
0
answers
509
views
Lacunary hyperbolic groups and weak amenability
In the paper called Lacunary Hyperbolic group, Y. Ol'shanskii, D. Osin and M. Sapir define and characterize the lacunary hyperbolic groups, which contains the hyperbolic groups but also Tarski's ...
- 195
2
votes
1
answer
2k
views
Invariant functionals on C(R) and amenable groups
Since there seems to be no progress in this interesting question, I took the liberty to reformulate it in a way, that is easier to understand. Moreover, my answer shows that the question is related to ...
- 385
5
votes
1
answer
540
views
Cosets of groups of functions
Let's consider an interval $I\subseteq\mathbb R$, and let $\mathcal F(I)$ be the set of bijective functions $f:I\to I$ so that the graph of $f$ is a analytic curve in $I\times I$.
The set $\mathcal ...
- 4,312
23
votes
4
answers
2k
views
Are almost commuting hermitian matrices close to commuting matrices (in the 2-norm)?
I consider on $M_n(\mathbb C)$ the normalized $2$-norm, i.e. the norm given by $\|A\|_2 = \sqrt{\mathrm{Tr}(A^* A)/n}$.
My question is whether a $k$-uple of hermitian matrices that are almost ...
- 9,486
9
votes
2
answers
928
views
Property (T) for pseudogroups
Let $H$ be a Hilbert space, $S(H)$ be the inverse semigroup (pseudogroup) of linear maps between (closed) subspaces of $H$ preserving the dot product (the operation is composition of partial maps). ...
user6976
7
votes
4
answers
2k
views
Invariant means on the integers
Let $A\subseteq\mathbb Z$, as usual we define the lower Beurling density $d^{-}(A)=\lim\inf_{n\rightarrow\infty}\frac{|A\cap[-n,n]|}{2n+1}$ and the upper Beurling density $d^+(A)=\lim\sup_{n\...
- 6,034
4
votes
1
answer
688
views
Subgroups of U(M_n)
can any subgroup of the unitary group of full matrix alg $M_d(\mathbb{C})$ be approximated on finite
sets by a finite subgroup?
i.e. is the following True or false?
Let $n, d$ be positive integers ...
- 155
6
votes
0
answers
295
views
Is there an idempotent measure on the free LD system?
This is a follow up question to MO question "Idempotent measures on the free binary system?".
Let $(A,*)$ be the free binary operation on one generator which satisfies the left self distributive law:
...
- 3,547
13
votes
1
answer
736
views
Idempotent measures on the free binary system?
Let $(S,*)$ be the free (non associative) binary system on one generator (so $S$ is just the set of terms in $*$ and $1$). There is an extension of $*$ to the space $P(S)$ of finitely additive ...
- 3,547
13
votes
1
answer
404
views
Self map of unitary group
Let $H$ be a Hilbert space and let $u_1 \in U(H)$ be a unitary operator on $H$. Consider the self-map $w: U(H) \to U(H)$ which is given by
$$w(v) := v^2 u_1 v^{-1}.$$
Since $U(H)$ is connected, there ...
- 25.5k
4
votes
2
answers
452
views
Is every bounded representation of Z unitarisable when all sets are measurable?
For the purpose of this question, a group is amenable iff there exists a Følner sequence.
Dixmier unitarisability problem asks whether a (countable discrete) group G is amenable iff every bounded ...
- 3,897
22
votes
13
answers
7k
views
Is there a "crash-course" book on Abelian varieties (e.g., an introduction for physicists)?
Hello,
In our (rather applied) theoretical physics research, we have encountered an important class of problems, which seem to require an understanding of Abelian functions (unfortunately, this ...
- 649
2
votes
2
answers
528
views
Characterizations of amenable groups which use the space $\ell_1(G)$ and convolution
Let $G$ be a discrete group.
Do you know characterizations of amenable groups which use the space $\ell_1(G)$ and convolution?
I only know Johnson's theorem:
A group is amenable if and only if the ...
4
votes
1
answer
221
views
existence of charaterization of amenable groups by complementation?
Recall that we say that a closed space $F$ of a Banach space $E$ is complemented if there exists a contractive projection $P$ from $E$ onto $F$.
Do you know a charaterization of discrete amenable ...
- 1,222
2
votes
2
answers
1k
views
description of functions of conditionally negative type on a group
Recall that a kernel conditionaly of negative type on a set $X$ is a map $\psi:X\times X\rightarrow\mathbb{R}$ with the following properties:
1) $\psi(x,x)=0$
2) $\psi(y,x)=\psi(x,y)$
3) for any ...
- 1,222