$C^*$-rigidity of the Heisenberg group

Ingrid Beltita,Daniel Beltita

2024-09-30

Abstract:We prove that the Heisenberg groups can be distinguished from the other connected and simply connected Lie groups via their group $C^*$-algebras. The main step of the proof is a characterization of the nilpotent Lie groups among the solvable Lie groups solely in terms of topological properties of their coadjoint orbits.

Operator Algebras,Representation Theory

What problem does this paper attempt to address?

$C^{1,α}$-rectifiability in low codimension in Heisenberg groups

Kennedy Obinna Idu,Francesco Paolo Maiale

2023-09-05

Abstract:A natural notion of higher order rectifiability is introduced for subsets of Heisenberg groups $\mathbb{H}^n$ in terms of covering a set almost everywhere by a countable union of $(\mathbf{C}_H^{1,\alpha},\mathbb{H})$-regular surfaces, for some $0 < \alpha \leq 1$. We prove that a sufficient condition for $C^{1,\alpha}$-rectifiability of low-codimensional subsets in Heisenberg groups is the almost everywhere existence of suitable approximate tangent paraboloids.

Metric Geometry,Differential Geometry
Strict comparison for $C^*$-algebras arising from Almost finite groupoids

Pere Ara,Christian Bönicke,Joan Bosa,Kang Li

DOI: https://doi.org/10.48550/arXiv.2002.12221

2020-03-04

Abstract:In this paper we show that for an almost finite minimal ample groupoid $G$, its reduced $\mathrm{C}^*$-algebra $C_r^*(G)$ has real rank zero and strict comparison even though $C_r^*(G)$ may not be nuclear in general. Moreover, if we further assume $G$ being also second countable and non-elementary, then its Cuntz semigroup ${\rm Cu}(C_r^*(G))$ is almost divisible and ${\rm Cu}(C_r^*(G))$ and ${\rm Cu}(C_r^*(G)\otimes \mathcal{Z})$ are canonically order-isomorphic, where $\mathcal{Z}$ denotes the Jiang-Su algebra.

Operator Algebras
The $C^*$-algebra of the group $N_{7}.$

Ghofrane Kardi

2024-10-08

Abstract:In this paper, the $C^*$-algebra of the seven-dimensional un-decomposable nilpotent Lie group is characterized explicitly for the first time(see \cite{chin}). Furthermore, the topology of its spectrum is described as a preparation for the analysis of its $C^*$-algebra. Then, the operator-valued Fourier transform is employed to translate the given C*-algebra into the algebra of bounded operator fields through its spectrum. We find the conditions satisfied by the image of the goal to characterize them by these conditions, namely the "norm controlled dual limit" (NCDL)-conditions (see \cite{Lud-Reg}). The methods used for the nilpotent Lie groups are different for each. We consider the co-adjoint orbits and for our case, we use the Kirillov theory.

Operator Algebras,Rings and Algebras
Strict comparison in reduced group $C^*$-algebras

Tattwamasi Amrutam,David Gao,Srivatsav Kunnawalkam Elayavalli,Gregory Patchell

2024-12-09

Abstract:We prove that for every $n\geq 2$, the reduced group $C^*$-algebras of the countable free groups $C^*_r(\mathbb{F}_n)$ have strict comparison. Our method works in a general setting: for $G$ in a large family of non-amenable groups, including hyperbolic groups, free products, mapping class groups, right-angled Artin groups etc., we have $C^*_r(G)$ have strict comparison. This work also has several applications in the theory of $C^*$-algebras including: resolving Leonel Robert's selflessness problem for $C^*_r(G)$; uniqueness of embeddings of the Jiang-Su algebra $\mathcal{Z}$ up to approximate unitary equivalence into $C^*_r(G)$; full computations of the Cuntz semigroup of $C^*_r(G)$ and future directions in the $C^*$-classification program.

Operator Algebras,Functional Analysis,Group Theory,Logic
Amenability for unitary groups of C*-algebras

Vadim Alekseev,Max Schmidt,Andreas Thom

2024-12-01

Abstract:In this note we state a conjecture that characterizes unital C*-algebras for which the unitary group is amenable as a topological group in the norm topology. We prove the conjecture for simple, separable, stably finite, unital, $\mathcal Z$-stable, UCT C*-algebras with torsionfree K_0 using the progress on the Elliott classification program for nuclear C*-algebras as well as Pestov's study of amenability of gauge groups. Based on work of Kirchberg, we provide a counterexample to a question of Ng, who proposed a different characterization in earlier work.

Operator Algebras,Group Theory
On the regular representation of solvable Lie groups with open coadjoint quasi-orbits

Ingrid Beltita,Daniel Beltita

2024-05-14

Abstract:We obtain a Lie theoretic intrinsic characterization of the connected and simply connected solvable Lie groups whose regular representation is a factor representation. When this is the case, the corresponding von Neumann algebras are isomorphic to the hyperfinite II$_\infty$ factor, and every Casimir function is constant. We thus obtain a family of geometric models for the standard representation of that factor. Finally, we show that the regular representation of any connected and simply connected solvable Lie group with open coadjoint orbits is always of type I, though the group needs not be of type I, and include some relevant examples.

Representation Theory
Ergodic quasi-isometries and the cohomology of nilpotent Lie groups

Gioacchino Antonelli,Robert Young

2024-05-29

Abstract:We give a simplified and self-contained proof of the following result due to Shalom, Sauer, and Gotfredsen-Kyed: two quasi-isometric simply connected nilpotent Lie groups $G$ and $H$ have isomorphic cohomology algebras. Our proof is based on considering maps which induce an ergodic measure on the space of functions from $G$ to $H$ ($\textit{ergodic maps}$), and we show that, given an ergodic quasi-isometry, one can construct an explicit isomorphism from $H^*(H)$ to $H^*(G)$. Specifically, when $\psi$ is an ergodic quasi-isometry, the pullback $\psi^*\omega$ of a differential form $\omega$ has a well-defined $\textit{amenable average}$ $\overline{\psi^*}\omega$, and we show that $\overline{\psi^*}$ is the desired isomorphism. A key observation in our proof is that quasi-isometries of nilpotent groups are coarsely volume-preserving, so the amenable average of the pullback of the volume form is always nonzero.

Group Theory,Metric Geometry
Rigidity results for $L^p$-operator algebras and applications

Yemon Choi,Eusebio Gardella,Hannes Thiel

2024-05-22

Abstract:For $p\in [1,\infty)$, we show that every unital $L^p$-operator algebra contains a unique maximal $C^*$-subalgebra, which is always abelian if $p\neq 2$. Using this, we canonically associate to every unital $L^p$-operator algebra $A$ an étale groupoid $\mathcal{G}_A$, which in many cases of interest is a complete invariant for $A$. By identifying this groupoid for large classes of examples, we obtain a number of rigidity results that display a stark contrast with the case $p=2$; the most striking one being that of crossed products by topologically free actions.

Operator Algebras
Anti-Classification Results for Rigidity Conditions in Abelian and Nilpotent Groups

Gianluca Paolini,Saharon Shelah

2023-12-05

Abstract:Relying on the techniques and ideas from our recent paper [13], we prove several anti-classification results for various rigidity conditions in countable abelian and nilpotent groups. We prove three main theorems: (1) the rigid abelian groups are complete co-analytic in the space of countable torsion-free abelian groups ($\mathrm{TFAB}_\omega$); (2) the Hopfian groups are complete co-analytic in $\mathrm{TFAB}_\omega$; (3) the co-Hopfian groups are complete co-analytic in the space of countable $2$-nilpotent groups. In combination with our result from [13, S5], which shows that the endo-rigid abelian groups are complete co-analytic in $\mathrm{TFAB}_\omega$, this shows that four major notions of rigidity from (abelian) group theory are as complex as possible as co-analytic problems. Further, the second and third theorem above solve two open questions of Thomas from [18], who asked this for the space of all countable groups. We leave open the question of whether the co-Hopfian mixed abelian groups are complete co-analytic in the space of countable abelian groups, but we reduce the problem to a concrete question on profinite groups, showing that if $G$ is a countable co-Hopfian abelian reduced group, then, for every prime number $p$, the torsion subgroup $\mathrm{Tor}_p(G)$ of $G$ is finite and $G$ embeds in the profinite group $ \prod_{p \in \mathbb{P}} \mathrm{Tor}_p(G)$.

Logic,Group Theory
Rigidity of quantum algebras

Akaki Tikaradze

2023-04-17

Abstract:Given an associative $\mathbb{C}$-algebra $A$, we call $A$ strongly rigid if for any pair of finite subgroups of its automorphism groups $G, H,$ such that $A^G\cong A^H$, then $G$ and $H$ must be isomorphic. In this paper we show that a large class of filtered quantizations are strongly rigid. We also prove several other rigidity type results for various quantum algebras. For example, we show that given two non-isomorphic complex semi-simple Lie algebras $\mathfrak{g}_1, \mathfrak{g}_2$ of equal dimension, there are no injective $\mathbb{C}$-algebra homomorphisms between their enveloping algebras. We also show that any finite subgroup of automorphisms of a central reduction of a finite $W$-algebra $W_{\chi}(\mathfrak{g}, e)$ must be isomorphic to a subgroup of $Aut(\mathfrak{g}(e)).$ We solve the inverse Galois problem for a wide class of rational Cherednik algebras that includes all (simple) classical generalized Weyl algebras, and also for quantum tori. Finally, we show that the Picard group of an $n$-dimensional quantum torus $A_q$ (with $q$ not a root of unity) is isomorphic to the group of outer automorphisms of $A_q$, generalizing a result by Berest, Ramados and Tang.

Quantum Algebra,Representation Theory
Rigidity results for group von Neumann algebras with diffuse center

Ionuţ Chifan,Adriana Fernández Quero,Hui Tan

2024-10-15

Abstract:We introduce the first examples of groups $G$ with infinite center which in a natural sense are completely recognizable from their von Neumann algebras, $\mathcal{L}(G)$. Specifically, assume that $G=A\times W$, where $A$ is an infinite abelian group and $W$ is an ICC wreath-like product group [CIOS22a; AMCOS23] with property (T) and trivial abelianization. Then whenever $H$ is an \emph{arbitrary} group such that $\mathcal{L}(G)$ is $\ast$-isomorphic to $\mathcal L(H)$ it must be the case that $H= B \times H_0$ where $B$ is infinite abelian and $H_0$ is isomorphic to $W$. Moreover, we completely describe the $\ast$-isomorphism between $\mathcal L(G)$ and $\mathcal L(H)$. This yields new applications to the classification of group C$^*$-algebras, including examples of non-amenable groups which are recoverable from their reduced C$^*$-algebras but not from their von Neumann algebras.

Operator Algebras
Regularity and completeness of half-Lie groups

Martin Bauer,Philipp Harms,Peter W. Michor

2023-12-07

Abstract:Half Lie groups exist only in infinite dimensions: They are smooth manifolds and topological groups such that right translations are smooth, but left translations are merely required to be continuous. The main examples are groups of $H^s$ or $C^k$ diffeomorphisms and semidirect products of a Lie group with kernel an infinite dimensional representation space. Here, we investigate mainly Banach half-Lie groups, the groups of their $C^k$-elements, extensions, and right invariant strong Riemannian metrics on them: surprisingly the full Hopf--Rinow theorem holds, which is wrong in general even for Hilbert manifolds.

Differential Geometry
When amenable groups have real rank zero $C^*$-algebras

Iason Moutzouris

2023-10-02

Abstract:We investigate when discrete, amenable groups have $C^*$-algebras of real rank zero. While it is known that this happens when the group is locally finite, the converse in an open problem. We show that if $C^*(G)$ has real rank zero, then all normal subgroups of $G$ that are elementary amenable and have finite Hirsch length must be locally finite.

Operator Algebras,Group Theory
Square-integrable representations and the coadjoint action of solvable Lie groups

Ingrid Beltita,Daniel Beltita

DOI: https://doi.org/10.1515/forum-2024-0025

2024-05-12

Abstract:We characterize the square-integrable representations of (connected, simply connected) solvable Lie groups in terms of the generalized orbits of the coadjoint action. We prove that the normal representations corresponding, via the Pukánszky correspondence, to open coadjoint orbits are type I, not necessarily square-integrable representations. We show that the quasi-equivalence classes of type I square-integrable representations are in bijection with the simply connected open coadjoint orbits, and the existence of an open coadjoint orbit guarantees the existence of a compact open subset of the space of primitive ideals of the group. When the nilradical has codimension 1, we prove that the isolated points of the primitive ideal space are always of type I. This is not always true for codimension greater than 2, as shown by specific examples of solvable Lie groups that have dense, but not locally closed, coadjoint orbits.

Representation Theory,Operator Algebras
C 1,α -rectifiability in low codimension in Heisenberg groups

Kennedy Obinna Idu,Francesco Paolo Maiale

DOI: https://doi.org/10.1515/agms-2023-0105

2024-01-01

Analysis and Geometry in Metric Spaces

Abstract:Abstract A natural higher-order notion of C 1 , α {C}^{1,\alpha } -rectifiability, 0 < α ≤ 1 0\lt \alpha \le 1 , is introduced for subsets of the Heisenberg groups H n {{\mathbb{H}}}^{n} in terms of covering a set almost everywhere with a countable union of ( C H 1 , α , H ) \left({{\bf{C}}}_{H}^{1,\alpha },{\mathbb{H}}) -regular surfaces. Using this, we prove a geometric characterization of C 1 , α {C}^{1,\alpha } -rectifiable sets of low codimension in Heisenberg groups H n {{\mathbb{H}}}^{n} in terms of an almost everywhere existence of suitable approximate tangent paraboloids.

mathematics
Rigidity for von Neumann algebras of graph product groups II. Superrigidity results

Ionut Chifan,Michael Davis,Daniel Drimbe

2023-04-12

Abstract:In \cite{CDD22} we investigated the structure of $\ast$-isomorphisms between von Neumann algebras $L(\Gamma)$ associated with graph product groups $\Gamma$ of flower-shaped graphs and property (T) wreath-like product vertex groups as in \cite{CIOS21}. In this follow-up we continue the structural study of these algebras by establishing that these graph product groups $\Gamma$ are entirely recognizable from the category of all von Neumann algebras arising from an arbitrary non-trivial graph product group with infinite vertex groups. A sharper $C^*$-algebraic version of this statement is also obtained. In the process of proving these results we also extend the main $W^*$-superrigidity result from \cite{CIOS21} to direct products of property (T) wreath-like product groups.

Operator Algebras,Group Theory
Restricted Cohomology of Heisenberg Lie Algebras

Yong Yang

2024-07-13

Abstract:The Heisenberg Lie algebras over an algebraically closed field F of characteristic p > 0 always admit a family of restricted Lie algebras. We use the ordinary 1- and 2-cohomology spaces with adjoint coefficients to compute the restricted 1- and 2-cohomology spaces of these restricted Heisenberg Lie algebras. We describe the infinitesimal restricted deformations of the restricted Lie algebras.

Representation Theory
Covariant projective representations of Hilbert-Lie groups

Karl-Hermann Neeb,Francesco G. Russo

2024-02-21

Abstract:Hilbert--Lie groups are Lie groups whose Lie algebra is a real Hilbert space whose scalar product is invariant under the adjoint action. These infinite-dimensional Lie groups are the closest relatives to compact Lie groups. Here we study unitary representations of these groups from various perspectives. First, we address norm-continuous, also called bounded, representations: they are well-known for simple groups, but the general picture is more complicated. Our first main result is a characterization of the discrete decomposability of all bounded representations in terms of boundedness of the set of coroots. We also show that bounded representations of type II and III exist if the set of coroots is unbounded. Second, we use covariance with respect to a one-parameter group of automorphisms to implement some regularity. Here we develop some perturbation theory based on half Lie groups that reduces matters to the case where a ``maximal torus'' is fixed, so that compatible weight decompositions can be studied. Third, we extend the context to projective representations which are covariant for a one-parameter group of automorphisms. Here important families of representations arise from ``bounded extremal weights'', and for these the corresponding central extensions can be determined explicitly, together with all one-parameter groups for which a covariant extension exists.

Mathematical Physics,Differential Geometry,Functional Analysis,Representation Theory
Local rigidity of parabolic algebraic actions

Zhenqi Jenny Wang

DOI: https://doi.org/10.48550/arXiv.1908.10496

2019-08-27

Dynamical Systems

Abstract:We show $C^\infty$ local rigidity for a broad class of abelian unipotent algebraic actions on homogeneous spaces of semisimple Lie groups. The method of proof is a combination of KAM type iteration scheme and representation theory. This is the first time in literature (strong) local rigidity for parabolic actions is addressed.

$C^*$-rigidity of the Heisenberg group

$C^{1,α}$-rectifiability in low codimension in Heisenberg groups

Strict comparison for $C^*$-algebras arising from Almost finite groupoids

The $C^*$-algebra of the group $N_{7}.$

Strict comparison in reduced group $C^*$-algebras

Amenability for unitary groups of C*-algebras

On the regular representation of solvable Lie groups with open coadjoint quasi-orbits

Ergodic quasi-isometries and the cohomology of nilpotent Lie groups

Rigidity results for $L^p$-operator algebras and applications

Anti-Classification Results for Rigidity Conditions in Abelian and Nilpotent Groups

Rigidity of quantum algebras

Rigidity results for group von Neumann algebras with diffuse center

Regularity and completeness of half-Lie groups

When amenable groups have real rank zero $C^*$-algebras

Square-integrable representations and the coadjoint action of solvable Lie groups

C 1,α -rectifiability in low codimension in Heisenberg groups

Rigidity for von Neumann algebras of graph product groups II. Superrigidity results

Restricted Cohomology of Heisenberg Lie Algebras

Covariant projective representations of Hilbert-Lie groups

Local rigidity of parabolic algebraic actions