Complex group rings and group C*-algebras of group extensions
Extracted source text · arXiv 1811.06424
\documentclass{scrartcl}
%
\title{Complex group rings of group extensions}
%\title{On units, zero-divisors and idempotents in complex group rings of group extensions}
%\title{Units in complex group rings \\ of group extensions}
\author{Stefan Wagner}
\date{\today}
% TODO remove after drafting
%\usepackage{fixme}
%\synctex=1
%\usepackage{diagbox}
\KOMAoptions{parskip=half, paper=a4, abstract=on}
%\usepackage[latin1]{inputenc}
\usepackage[T1]{fontenc}
\usepackage{lmodern}
%\usepackage{microtype} % comment out if compilation is too slow
\usepackage[english]{babel}
\usepackage{hyperref}
\usepackage{amsmath, amsthm, amssymb, bbm, mathtools, nicefrac}
\usepackage{tablists,enumitem}
\usepackage{xspace}
\usepackage{xifthen}
%\usepackage[backend=bibtex8,bibstyle=numeric-comp,citestyle=numeric-comp,firstinits=true, doi = false,url = false,sorting=none]{biblatex}
\usepackage{enumerate}
%\usepackage{showlabels}
%\renewcommand{\showlabelfont}{\scriptsize}
\usepackage{fixme}
\usepackage[new]{old-arrows}
\synctex=1
\usepackage{slashed}
\hypersetup{colorlinks=true,
linkcolor = blue,
citecolor = blue,
urlcolor = blue
}
\addtokomafont{disposition}{\rmfamily}
\theoremstyle{plain}
\newtheorem{thm}{Theorem}[section]
\newtheorem{prop}[thm]{Proposition}
\newtheorem{lemma}[thm]{Lemma}
\newtheorem{cor}[thm]{Corollary}
\newtheorem{conj}[thm]{Conjecture}
\theoremstyle{definition}
\newtheorem{defn}[thm]{Definition}
\newtheorem{rmk}[thm]{Remark}
\newtheorem{expl}[thm]{Example}
\newtheorem{ax}{Axiom}
\newtheorem{prob}{Problem}
%%%% common mathematical abbreviations
\newcommand*{\N}{\mathbb N} % natural numbers
\newcommand*{\Z}{\mathbb Z} % integers
\newcommand*{\R}{\mathbb R} % real numbers
\newcommand*{\C}{\mathbb C} % complex numbers
\newcommand*{\one}{\mathbbm 1} % unit of an algebra
\newcommand*{\tensor}{\otimes} % tensor product
\newcommand*{\bigtensor}{\bigotimes}
\newcommand*{\acts}{\,.\,}
\DeclarePairedDelimiter{\abs}{\lvert}{\rvert} % absolute value
%\newcommand*{\bigabs}[1]{\abs[\big]{#1}} % obsolete
\DeclarePairedDelimiter{\scal}{\langle}{\rangle} % scalar product
\DeclarePairedDelimiter{\norm}{\lVert}{\rVert} % norm
\DeclareMathOperator{\lin}{lin} % linear span
\DeclareMathOperator{\Tr}{Tr} % unnormalized trace
\DeclareMathOperator{\id}{id} % identity operator
\DeclareMathOperator{\Id}{Id} % identity operator
%%%% abbreviations in text
\newcommand{\cf}{\mbox{cf.}\xspace} % confer
\newcommand{\eg}{\mbox{e.\,g.}\xspace} % exempli gratia
\newcommand*{\etc}{\mbox{etc.}\xspace} % et cetera
\newcommand*{\ie}{\mbox{i.\,e.}\xspace} % id est
\newcommand*{\lhs}{\mbox{l.\,h.\,s.}\xspace} % left hand side
\newcommand*{\rhs}{\mbox{r.\,h.\,s.}\xspace} % right hand side
\newcommand{\wilog}{\mbox{w.\,l.\,o.\,g.}\xspace} % without loss of generality
\newcommand{\wrt}{\mbox{w.\,r.\,t.}\xspace} % with respect to
\newcommand*{\ndash}{\nobreakdash-}
\newcommand*{\fat}{\mathbf}
%%%% special abbreviations
\newcommand*{\alg}{\mathcal} % style for algebras
\newcommand*{\hilb}{\mathcal} % style for Hilbert spaces
\newcommand*{\aA}{\alg A} % 1st standard algebra A
\newcommand*{\aB}{\alg B} % 2nd standard algebra B
\newcommand*{\aC}{\alg C} % 2nd standard algebra B
\newcommand*{\aG}{\alg G} % standard quantum group
\newcommand*{\hH}{\hilb H} % standard Hilbert space
\newcommand*{\Star}{$^*$\ndash}
\newcommand*{\End}{\mathcal B}
\DeclareMathOperator{\Ad}{Ad} % adjunction
\DeclareMathOperator{\Aut}{Aut}
\DeclareMathOperator{\Inn}{Inn}
\DeclareMathOperator{\Out}{Out}
\DeclareMathOperator{\U}{\mathcal U}
\DeclareMathOperator{\M}{M}
\DeclareMathOperator{\SL}{SL}
\DeclareMathOperator{\SU}{SU}
\DeclareMathOperator{\GL}{GL}
\DeclareMathOperator{\Pic}{Pic}
\DeclareMathOperator{\dom}{Dom}
\DeclareMathOperator{\Ext}{Ext}
\DeclareMathOperator{\Diffeom}{Diff}
\DeclareMathOperator{\Homeom}{Hom}
\DeclareMathOperator{\Homeo}{Homeo}
\DeclareMathOperator{\tr}{tr}
\DeclareMathOperator{\Cov}{Cov}
\begin{document}
\author{
Johan \"Oinert \thanks{
Blekinge Tekniska H\"ogskola,
\href{mailto:johan.oinert@bth.se}{\nolinkurl{johan.oinert@bth.se}}
} \and
Stefan Wagner \thanks{
Blekinge Tekniska H\"ogskola,
\href{mailto:stefan.wagner@bth.se}{\nolinkurl{stefan.wagner@bth.se}}
}
}
\sloppy
\maketitle
%\listoffixmes
\begin{abstract}
\noindent
Let $N$ and $H$ be groups, and let $G$ be an extension of $H$ by $N$. In this article we describe the structure of the complex group ring of $G$ in terms of data associated with $N$ and $H$. In particular, we present conditions on the building blocks $N$ and $H$ guaranteeing that $G$ satisfies the
%unit,
zero-divisor and idempotent conjectures.
Moreover, for central extensions involving amenable groups
we present conditions on the building blocks
guaranteeing that the Kaplansky-Kadison conjecture holds
for the reduced group C\Star algebra of $G$.
\vspace*{0,5cm}
\noindent
Keywords: Complex group ring, group extension, crossed product, crossed system, torsion-freeness,
%unit conjecture,
zero-divisor conjecture, idempotent conjecture, group C\Star algebra, Kadison-Kaplansky conjecture.
\noindent
MSC2010: 16S35, 20C07, 20E22
%, 17A60
\end{abstract}
% New introduction
\section{Introduction}
Group rings first appeared implicitly in 1854 in an article by A. Cayley \cite{Cayley1854} and explicitly in 1897 in an article by T.~Molien \cite{Mol97}.
They are very interesting algebraic structures whose importance became apparent after the work of e.g. R.~Brauer, E.~Noether, G.~Frobenius, H.~Maschke and I.~Schur in the beginning of the last century.
With a few exceptions, the first articles on group rings of infinite groups appeared in the early 1950s. A key person
%frontfigur för inriktningen
in that line of research was I.~Kaplansky, known for his many deep contributions to ring theory and operator algebra.
In his famous talk, given at a conference that was held on June 6-8, 1956 at Shelter Island, Rhode Island, New York, he proposed twelve problems in the theory of rings. One of those problems was the following (see \eg \cite{Kap56,Kap70}).
\begin{prob}\label{probZ}
(Kaplansky, 1956). Let $K$ be a field and let $G$ be a torsion-free group. Is $K[G]$ a domain?
\end{prob}
Many of the problems in Kaplansky's list have been solved, and it has been shown that Problem~\ref{probZ} has an affirmative answer for several important classes of groups (see e.g. \cite{Bro1976,Cli1980,Far1976,For1973,Li77}). However, for a general group $G$, the answer to the problem remains unknown. Nowadays the problem is known as the \emph{zero-divisor problem}\footnote{The so-called \emph{Kaplansky zero-divisor conjecture} asserts that the answer to Problem~\ref{probZ} is affirmative.}.
On September 3-6, 1968, a major Soviet Union symposium\footnote{The First All-Union (All-USSR)
Symposium on the Theory of Rings and Modules, September 3-6, 1968 (Chisinau, Moldova)} on rings and modules was held in Chisinau, Moldova. In that meeting, D. M. Smirnov and A. A. Bovdi asked whether an integral group ring of a torsion-free group can have units which are not scalar multiples of group elements \cite{DniesterNotebook}. This problem, in a more general form,
was reproduced in \cite{Kap70}
and is nowadays known as the \emph{unit problem}\footnote{The so-called \emph{Kaplansky unit conjecture} asserts that the answer to Problem~\ref{probU} is affirmative.}.
\begin{prob}\label{probU}
Let $K$ be a field and let $G$ be a torsion-free group. Is every unit in $K[G]$ trivial, i.e. a scalar multiple of a group element?
%, of the form $k\delta_g$ for some $g\in G$ and non-zero $k\in K$.
\end{prob}
It
%Problem~\ref{probU}
has been answered affirmatively for special classes of groups (see \eg \cite{CrPa2013,Pa77}), but the general problem remains open.
Another problem, which is closely related to the above problems, is the following.
\begin{prob}\label{probI}
Let $K$ be a field and let $G$ be a torsion-free group. Is every idempotent in $K[G]$ trivial, i.e. either $0$ or $\one$?
\end{prob}
This problem is known as the \emph{idempotent problem}\footnote{The so-called \emph{idempotent conjecture} asserts that the answer to Problem~\ref{probI} is affirmative.}. In the 1970s, using algebraic methods as well as analytical methods, a lot of progress (see e.g. \cite{Bur1970,For1973b} and also \cite{Hig2001,Mar1986,Min2002,Pus2002}) was made on Problem~\ref{probI}.
Nevertheless, for a general group $G$, the answer to Problem~\ref{probI} remains unknown. However, in the last two decades Problem~\ref{probI} has regained interest, mainly due to its intimate connection with the Baum-Connes conjecture in operator algebras (see \eg \cite{Val2002}) via the so-called Kadison-Kaplansky conjecture for reduced group C\Star algebras.
There is a mutual hierarchy between Problems \ref{probZ}, \ref{probU} and \ref{probI}.
Indeed, it is easy to see that an affirmative answer to Problem~\ref{probZ} yields that Problem~\ref{probI} has an affirmative answer.
Moreover, using a result of D. S. Passman's (see \cite[Lemma 1.2]{Pa77})
we conclude that an affirmative answer to Problem~\ref{probU} yields an affirmative answer to Problem~\ref{probZ}.
For a thorough account of the development on the above problems (mainly) during the 1970s, we refer the reader to \cite{Pa77}.
In this article we shall restrict our attention to complex group rings, i.e. the case when $K=\C$.
Our aim is to contribute to Kaplansky's conjectures by reaching a better understanding of the structure of the complex group ring of a group extension. More concretely, let $N$ and $H$ be two groups. Furthermore, let $G$ be an extension of $N$ by $H$. Our main objective is to investigate the structure of $\C[G]$ in terms of data associated with the building blocks $N$ and $H$. This article is organized as follows.
In Section~\ref{sec:PrelNot} we record the most important preliminaries and notation.
In particular, we discuss crossed products and crossed systems.
In Section~\ref{sec:repcrosprod} we represent $\C[G]$ as a crossed product of the complex group ring $\C[N]$ and $H$, where the respective crossed system is associated with the factor system of the underlying group extension (see Theorem~\ref{thm:iso}). Although this might be well-known to experts (cf. \cite[p.4]{NVO2004}), we have not found such a statement explicitly discussed in the literature\footnote{A topological discussion involving Banach \Star algebras may be found in \cite{Bus70}.}. Moreover, as an application, we show that if $\C[N]$ is a domain and $H$ is Abelian and torsion-free, then $G$ satisfies Kaplansky's
zero-divisor conjecture
%unit conjecture
(see Theorem~\ref{thm:kap1} and Corollary~\ref{cor:kap1}). We conclude with
%a bouquet of examples.
several examples.
%The aim of
In Section~\ref{sec:repglobsec} we consider central extensions, i.e. $N$ is central in $G$, from an alternative C\Star algebraic perspective. To this end, we use a group-adapted version of the Dauns-Hofmann Theorem (\cf \cite{DaHo68,Ho72}) to represent the group C\Star algebra $C^*(G)$ as a C\Star algebra of global continuous sections of a C\Star algebraic bundle over the dual group $\hat{N}$. In this way we are able to show, under some technical assumptions, that if $C^*(H)$ contains no non-trivial idempotent, then the same assertion holds for $C^*(G)$ (see Lemma~\ref{lem:kap2} and Corollary~\ref{cor:kap2}).
\section{Preliminaries and notation}\label{sec:PrelNot}
Our study revolves around the structure of complex group rings of group extensions. Consequently, we blend tools from algebraic representation theory and the theory of group extensions. In this preliminary section we provide the most important definitions and notation which are repeatedly used in this article. In general, given a group $G$, we shall always write $e_G$, or simply $1$ or $e$, for its identity element.
\subsection*{Group extensions and factor systems}
Let $1 \longrightarrow N {\longhookrightarrow} G \stackrel{q}{\longrightarrow}H \longrightarrow 1$ be a short exact sequence of groups. We first revise a description of the extension $G$ in terms of data associated with $N$ and $H$. For this purpose, let $\sigma:H\rightarrow G$ be a section of $q$, which is \emph{normalized} in the sense that $\sigma(e_H)=e_G$. Then the map $N\times H\rightarrow G$, $(n,h)\mapsto n\sigma(h)$ is a bijection and may be turned into an isomorphism of groups by endowing $N\times H$ with the multiplication
\begin{align}
(n,h)(n',h')=(nS(h)(n')\omega(h,h'),hh'),\label{eq:grpmulti}
\end{align}
where $S:=C_N\circ\sigma:H\rightarrow \Aut(N)$ with $C_N:G\rightarrow \Aut(N)$, $C_N(g)=gng^{-1}$ and
\begin{align*}
\omega:H\times H\rightarrow N, \quad (h,h')\mapsto \sigma(h)\sigma(h')\sigma(hh')^{-1}.
\end{align*}
The pair $(S,\omega)$ is called a \emph{factor system} for $N$ and $H$ and we write $N\times_{(S,\omega)} H$ for the set $N\times H$ endowed with the group multiplication defined in Equation~(\ref{eq:grpmulti}). We also recall that the maps $S$ and $\omega$ satisfy the relations
\begin{align}
\label{eq:actcond}
S(h)S(h')&=C_N(\omega(h,h'))S(hh'),
\\
\label{eq:cyclecond}
\omega(h,h')\omega(hh',h'')&=S(h)(\omega(h',h''))\omega(h,h'h'')
\end{align}
for all $h,h',h''\in H$.
%\quad \text{that is} \quad \delta_S=C_N\circ\omega,
For a detailed background on group extensions and factor systems we refer the reader to \cite[Chap. IV]{Mac67}.
\subsection*{Crossed products and crossed systems}
Let $H$ be a group and $R=\bigoplus_{h\in H} R_h$ a unital $H$-graded ring, \ie, $R_h R_{h'}\subseteq R_{hh'}$ for all $h,h'\in G$.
We write $R^\times$ for the group of invertible elements of $R$ and
\begin{align*}
R^{\times}_{\text{h}}:=\bigcup_{h\in H}\left(R^\times\bigcap R_h\right)
\end{align*}
for its subgroup of homogeneous units.
If $R^\times\bigcap R_h\neq\emptyset$ for all $h\in H$, that is, if each homogeneous component $R_h,h\in H$, contains an invertible element, then $R$ is called an $(R_e,H)$-\emph{crossed product}. %In this situation, given an element $u_g\in R^\times\bigcap R_g$, we have $R_g=R_e\cdot u_g=u_g\cdot R_e$ for all $g\in G$.
Given a unital ring $R_0$ and a group $H$, a $(R_0,H)$-\emph{crossed system} is a pair $(\bar{S},\bar{\omega})$ consisting of two maps $\bar{S}:H\rightarrow\Aut(R_0)$ and $\bar{\omega}:H\times H\rightarrow R_0^\times$ satisfying the normalization conditions $\bar{S}(e)=\id_{R_0}$, $\bar{\omega}(h,e)=\bar{\omega}(e,h)=1_{R_0}$, and
\begin{align}
%\label{eq:normalcond}
%\bar{S}(e)=\id_{R_0}, \quad &\bar{\omega}(g,e)=\bar{\omega}%(e,g)=1_{R_0},
%\\
\label{eq:coactcond}
\bar{S}(h)\bar{S}(h')&=C_{R_0}(\bar{\omega}(h,h'))\bar{S}(hh'),
\\
\label{eq:algcyclecond}
\bar{\omega}(h,h')\bar{\omega}(hh',h'')&=\bar{S}(h)(\bar{\omega}(h',h''))\bar{\omega}(h,h'h'')
\end{align}
for all $h,h',h''\in G$, where $C_{R_0}:R_0^\times\rightarrow\Aut(R_0)$, $C_{R_0}(r)(s):=rsr^{-1}$ denotes the canonical conjugation action. It is not hard to check that each crossed product gives rise to a crossed system and vice versa. For details we refer the reader to \cite{NVO2004}.
\subsection*{Complex group rings}
The \emph{complex group ring} $\mathbb{C}[G]$ of a group $G$ is the space of all functions $f:G\to\mathbb{C}$ with finite support endowed with the usual convolution product of functions which we shall denote by $\star$. Each element in $\mathbb{C}[G]$ can be uniquely written as a sum $\sum_{g\in G}f_g \delta_g$ with only finitely many non-zero coefficients $f_g \in \C$ and the Dirac functions
\begin{align*}
\delta_g:G\to\mathbb{C}, \quad \delta_g(h)=\begin{cases}
1 \quad \text{for} \,\,\, g=h\\
0 \quad \text{else}.
\end{cases}
\end{align*}
Moreover, given elements $f=\sum_{g\in G}f_g \delta_g$ and $f'=\sum_{g\in G}f'_g \delta_g$ in $\mathbb{C}[G]$, we have %$(f\star f')(h):=\sum_{g\in G}f_{g}f'_{g^{-1}h}$
\begin{align*}
(f\star f')(h)=\sum_{g\in G}f_{g}f'_{g^{-1}h} %\quad \text{for all} \,\,\, h\in G.
\end{align*}
for all $h\in G$. In particular, $\mathbb{C}[G]$ is unital with multiplicative identity element $\delta_e$ and $G$-graded with respect to the natural decomposition $\C[G]=\bigoplus_{g\in G}\C\cdot\delta_g$. Since each $\delta_g$, $g\in G$, is invertible, $\mathbb{C}[G]$ is, in fact, a $(\C,G)$-crossed product.
%\begin{align*}
%\C[G]=\bigoplus_{g\in G}\C[G]_g \quad \text{with} \quad \C[G]_g:=\C\cdot\delta_g
%\end{align*}
The complex group ring $\mathbb{C}[G]$ also has a natural involution defined by
\begin{align*}
^*:\C[G] \rightarrow \C[G], \quad f=\sum_{g\in G} f_g \delta_g \mapsto f^*:=\sum_{g\in G}\bar{f_g} \delta_{g^{-1}}
\end{align*}
and may be equipped with several appropriate norms. Interesting to us is the 1-norm $\Vert\cdot\Vert_1:\mathbb{C}[G]\to[0,\infty)$ defined by $\Vert f\Vert_1:=\sum_{g\in G} \vert f_g \vert$ turning $\C[G]$ into a normed \Star algebra. The corresponding universal enveloping C\Star algebra is the full group C\Star algebra $C^*(G)$.
%For $f=\sum_{g\in G}f_g \delta_g$ and $f'=\sum_{h\in G}f'_h \delta_h$ elements in $\mathbb{C}[G]$, we have
%\begin{align*}
% (f\star f')(h):=\sum_{g\in G}f_gf'_{g^{-1}h} \quad \text{for all} \,\,\, h\in G.
%\end{align*}
%\begin{conj}[Kaplansky]\label{KadisonKaplanskyConj}
%Let $G$ be a torsion-free group. The complex group ring $\C[G]$ has no non-trivial idempotent.
%\end{conj}
\section{Representation via crossed products}\label{sec:repcrosprod}
Throughout this section, let $1 \longrightarrow N {\longrightarrow} G \stackrel{q}{\longrightarrow}H \longrightarrow 1$ be a fixed short exact sequence of discrete groups. Furthermore, let $\sigma:H\rightarrow G$ be a fixed section of $q$ and $(S,\omega)$ the corresponding factor system for $N$ and $H$.
We wish to give a description of the complex group ring $\C[G]$ in terms of data associated with the groups $N$ and $H$. In fact, since $N$ is a normal subgroup of $G$, we may also consider $\C[G]$ as an $H$-graded ring
\begin{align*}
\C[G]=\bigoplus_{h\in H}\C[N]_h
\end{align*}
with homogeneous components $\C[N]_h:=\C[N]\star\delta_{\sigma(h)}$. In this representation of $\C[G]$, each element can be uniquely written as a sum $\sum_{h\in H}f_h \star \delta_{\sigma(h)}$
%\begin{align}\label{eq:H-rep}
%\sum_{h\in H}f_h \star \delta_{\sigma(h)}
%\end{align}
with only finitely many non-zero coefficients $f_h \in \C[N]$. Moreover, each homogeneous component contains an invertible element and therefore $\C[G]$ is, in fact, a $(\C[N],H)$-\emph{crossed product}. % or, equivalently, a \emph{cleft extension} of $\C[N]$ by $H$.
We now provide a $(\C[N],H)$-\emph{crossed system} for the $(\C[N],H)$-\emph{crossed product} $\C[G]$ which is based on the factor system $(S,\omega)$. To this end, we first introduce the map
\begin{align}\label{eq:algsec}
\bar{\sigma}:H\rightarrow \C[G]^\times, \quad \bar{\sigma}(h):=\delta_{\sigma(h)},
\end{align}
where $\C[G]^\times$ denotes the group of invertible elements of $\C[G]$. We then define
\begin{align}\label{eq:algact}
\bar{S}:=C_{\C[G]}\circ\bar{\sigma}:H\rightarrow\Aut(\C[N]),
%\quad \bar{S}(h)(f):=\delta_{\sigma(h)} \star f \star \delta_{\sigma(h)^{-1}},
\end{align}
where $C_{\C[G]}:\C[G]^\times\rightarrow\Aut(\C[G])$ denotes the canonical conjugation action, and
\begin{align}\label{eq:algcycle}
\bar{\omega}:H\times H \to \C[N], \quad \bar{\omega}(h,h'):=\bar{\sigma}(h)\star\bar{\sigma}(h')\star\bar{\sigma}(hh')^{-1}=\delta_{\omega(h,h')}.
\end{align}
%It is easily checked that $\bar{S}(h).f:=\delta_{\sigma(h)} \star f \star \delta_{\sigma(h)^{-1}}$ for all $h\in H$ and $f\in\C[N]$ and that $\bar{\omega}(h,h')=\delta_{\omega(h,h')}$ for all $h,h'\in H$.
\begin{lemma}\label{lem:algfacsys}
The pair $(\bar{S},\bar{\omega})$ is a $(\C[N],H)$-\emph{crossed system}. %for the $(\C[N],H)$-\emph{crossed product} $\C[G]$
%, that is, $(\bar{S},\bar{\omega})$ satisfies the normalization conditions $\bar{S}(e)=\id_{R_0}$, $\bar{\omega}(g,e)=\bar{\omega}(e,g)=1_{R_0}$, and the Equations~(\ref{eq:coactcond}) and (\ref{eq:algcyclecond}).
%\begin{align}
%\label{eq:coactcond}
%\bar{S}(h)\bar{S}(h')&=C_{\C[N]^\times}(\bar{\omega}(h,h'))\bar{S}(hh'),
%\\
%\label{eq:algcyclecond}
%\bar{\omega}(h,h')\star\bar{\omega}(hh',h'')&=\bar{S}(h)(\bar{\omega}(h',h''))\star\bar{\omega}(h,h'h'')
%\end{align}
%for all $h,h',h''\in H$.
\end{lemma}
\begin{proof}
First of all, it is easily seen that $\bar{S}(e)=\id_{\C[N]}$ and $\bar{\omega}(g,e)=\bar{\omega}(e,g)=\delta_e$ holds for all $g\in G$. Next,
we establish Equation~(\ref{eq:coactcond}). To this end, let $h,h'\in H$ and $f\in\C[N]$. Then a few moments thought show that
\begin{align*}
\bar{S}(h)\bar{S}(h')(f)
&=\delta_{\sigma(h)}\star\delta_{\sigma(h')} \star f \star \delta_{\sigma(h')^{-1}}\star\delta_{\sigma(h)^{-1}}
\\
&=\delta_{\sigma(h)\sigma(h')} \star f \star \delta_{\sigma(h')^{-1}\sigma(h)^{-1}}
=\delta_{\omega(h,h')\sigma(hh')} \star f \star \delta_{\sigma(hh')^{-1}\omega(h,h')^{-1}}
\\
&=\delta_{\omega(h,h')}\star\delta_{\sigma(hh')} \star f \star \delta_{\sigma(hh')^{-1}}\star\delta_{\omega(h,h')^{-1}}
=C_{\C[N]^\times}(\bar{\omega}(h,h'))\bar{S}(hh')(f).
\end{align*}
To verify Equation~(\ref{eq:algcyclecond}), we first choose $h,h',h''\in H$. Then a short computation yields
\begin{align*}
\bar{S}(h)(\bar{\omega}(h',h''))\star\bar{\omega}(h,h'h'')&=\delta_{\sigma(h)}\star\delta_{\omega(h',h'')}\star\delta_{\sigma(h)^{-1}}\star\delta_{\omega(h,h'h'')}
\\
&=\delta_{\sigma(h)\omega(h',h'')\sigma(h)^{-1}\omega(h,h'h'')}=\delta_{S(h)(\omega(h',h''))\omega(h,h'h'')}.
\end{align*}
On the other hand, it is straightforwardly checked that
\begin{align*}
\bar{\omega}(h,h') \star \bar{\omega}(hh',h'')=\delta_{\omega(h,h')}\star\delta_{\omega(hh',h'')}=\delta_{\omega(h,h')\omega(hh',h'')}.
\end{align*}
Therefore, Equation~(\ref{eq:algcyclecond}) is a consequence of the classical cocycle Equation~(\ref{eq:cyclecond}).
\end{proof}
Next, we write $\C[N]\times_{(S,\omega)} H$ for the vector space $\bigoplus_{h\in H}\C[N]d_h$ with basis $(d_h)_{h\in H}$ endowed with the multiplication $\bullet$ given on homogeneous elements by
\begin{align}
fd_h \bullet f'd_{h'}:=f \star \bar{S}(h)(f') \star \bar{\omega}(h,h') d_{hh'},\label{eq:algmulti}
\end{align}
where $f,f'\in\C[N]$ and $h,h'\in H$. It follows from Lemma~\ref{lem:algfacsys} that $\C[N]\times_{(S,\omega)} H$
%\begin{align*}
%\left(\C[N]\times_{(S,\omega)} H,m_{(S,\omega)}\right)
%\end{align*}
is a well-defined associative algebra with multiplicative identity element $d_e$. Moreover, a few moments thought show that $\C[N]\times_{(S,\omega)} H$ carries the structure of a $(\C[N],H)$-crossed product. A short calculation involving the algebraic equations from Lemma~\ref{lem:algfacsys} now yields the following result:
\begin{thm}\label{thm:iso}
Using the representation $\C[G]=\bigoplus_{h\in H}\C[N]_h$, the map
\begin{align*}
\Phi: \C[G] \rightarrow \C[N]\times_{(S,\omega)} H, \quad f=\sum_{h\in H}f_h \star \delta_{\sigma(h)} \mapsto \sum_{h\in H} f_h d_h,
\end{align*}
is an isomorphism of $(\C[N],H)$-crossed products.
\end{thm}
We have just seen that the factor system $(S,\omega)$ gives rise to a $(\C[N],H)$-crossed product that is isomorphic to $\C[G]$. Conversely, keeping in mind that $N\subseteq \C[N]^\times$ via $n\mapsto\delta_n$ we have the following result:
\begin{cor}
Suppose that $(\bar{S},\bar{\omega})$ is an abstract $(\C[N],H)$-crossed system. Then the corresponding $(\C[N],H)$-crossed product $\C[N]\times_{(\bar{S},\bar{\omega})} H$ is isomorphic to $\C[G]$ for some extension $G$ of $N$ by $H$ if $\bar{S}(H)(N)\subseteq N$ and $\emph{Im}(\bar{\omega})\subseteq N$. In this case, the factor system $(S,\omega)$ corresponding to $G$ is defined by $S(h):=\bar{S}(h)_{\mid N}$, $h\in H$, and $\omega:=\omega^{\mid N}$.
%$(\bar{S},\bar{\omega})$ takes values in the subgroup of homogeneous units
%\begin{align*}
%\bar{S}(H)(\C[N])\subseteq\C[N] \quad \text{and} \quad \emph{Im}(\omega)\subseteq\C[N]^\times_h.
%\end{align*}
\end{cor}
We now continue with investigating the structure of the algebraic crossed product $\C[N]\times_{(S,\omega)} H$. Our main goal is to provide conditions on the building blocks $N$ and $H$ guaranteeing that $\C[G]$ satisfies Kaplansky's
zero-divisor conjecture.
%unit conjecture.
However, we first need some preparation. In fact, we start with the following observation:
\begin{lemma}\label{lem:inv}
Let $f\in \C[N]^\times$ and $h\in H$. Then $f d_h$ is invertible in $\C[N]\times_{(S,\omega)} H$ with
\begin{align*}
(f d_h)^{-1}=\bar{\omega}(h^{-1},h)^{-1}\star\bar{S}(h^{-1})(f^{-1})d_{h^{-1}}.
\end{align*}
\end{lemma}
\begin{proof}
A straightforward computation shows that
\begin{align*}
(f d_h)^{-1} \bullet f d_h &= \left(\bar{\omega}(h^{-1},h)^{-1}\star\bar{S}(h^{-1})(f^{-1})\right)d_{h^{-1}} \bullet f d_h
\\
&=\bar{\omega}(h^{-1},h)^{-1}\star\bar{S}(h^{-1})(f^{-1}) \star \bar{S}(h^{-1})(f)\star\omega(h^{-1},h) d_{e_H}
\\
&=\bar{\omega}(h^{-1},h)^{-1}\star\bar{S}(h^{-1})(f^{-1}\star f)\star\omega(h^{-1},h) d_{e_H}
\\
&=\bar{\omega}(h^{-1},h)^{-1}\star\omega(h^{-1},h) d_{e_H} = d_{e_H}.
\qedhere
\end{align*}
\end{proof}
\begin{lemma}\label{lem:conj}
Let $K$ be a normal subgroup of $H$. Then the subalgebra
\begin{align*}
\C[N]\times_{(S,\omega)} K:=\bigoplus_{k\in K}\C[N]d_k
\end{align*}
of $\C[N]\times_{(S,\omega)} H$ is invariant under conjugation. That is, we have
\begin{align*}
f d_h \bullet f' d_k \bullet f'' d_{h^{-1}} \in \C[N]\times_{(S,\omega)} K
\end{align*}
for all $h\in H$, $k\in K$, and $f,f',f''\in \C[N]$.
\end{lemma}
\begin{proof}
Since the multiplication $\bullet$ is associative, a short calculation yields
\begin{align*}
f d_h \bullet f' d_k \bullet f'' d_{h^{-1}}&=\left(f \star \bar{S}(h)(f') \star \bar{\omega}(h,k)\right) d_{hh'}\bullet f'' d_{h^{-1}}
\\
&=f \star \bar{S}(h)(f') \star \bar{\omega}(h,k) \star \bar{S}(hk)(f'')\star\bar{\omega}(hk,h^{-1}) d_{hkh^{-1}}
\end{align*}
for all $h\in H$, $k\in K$, and $f,f',f''\in \C[N]$.
\end{proof}
We are now ready to state and prove our main theorem. In the proof, given an element $f=\sum_{h\in H} f_h d_h\in\C[N]\times_{(S,\omega)} H$, we write $\text{supp}(f):=\{h\in H:f_h\neq 0\}$ for the corresponding support.
\begin{thm}\label{thm:kap1}%$N$ satisfies Kaplansky's zero-divisor conjecture, that is,
Suppose that $\C[N]$ is a domain and that $H$ is Abelian and torsion-free. Then each unit of $\C[N]\times_{(S,\omega)} H$ is homogeneous.
%graded.
\end{thm}
\begin{proof}
For a concise presentation we divide the proof into several steps:
\begin{itemize}
\item[1.]
Let $f=\sum_{h\in H} f_h d_h\in\C[N]\times_{(S,\omega)} H$ be a unit with inverse $f^{-1}=\sum_{h\in H} (f^{-1})_h d_h$. Since the sets $\text{supp}(f)$ and $\text{supp}(f^{-1})$ are finite, they generate a free subgroup $F$ of $H$. Hence, $f$ is a unit in the subalgebra $\C[N]\times_{(S,\omega)} F$ and we may therefore \wilog assume that $H=\mathbb{Z}^n$ for some $n\in\mathbb{N}$.
\item[2.]
We now prove by induction on $m\in\{0,\ldots,n\}$ that the subalgebra $\C[N]\times_{(S,\omega)} \mathbb{Z}^m$, where we identify $\mathbb{Z}^m=\mathbb{Z}^m\times\{0\}^{n-m}$, has no zero-divisors. By assumption, this holds trivially for $m=0$.
Let $e_1,\ldots,e_n$ be the canonical basis of $\mathbb{Z}^n$ and $d^k_n:=d_{k\cdot e_n}$ for $k\in\mathbb{Z}$. Furthermore, let $0\neq f,g\in\C[N]\times_{(S,\omega)} \mathbb{Z}^n$. Since it is easily checked that
\begin{align*}
d_{x+k\cdot e_n}=\bar\omega(x,k\cdot e_n)^{-1} d_x \bullet d^k_n
\end{align*}
holds for all $x\in\mathbb{Z}^{n-1}$ and $k\in\mathbb{Z}$, we may write $f$ as a finite sum $\sum^{k_1}_{k=k_0}f_k \bullet d^k_n$ with $f_k\in\C[N]\times_{(S,\omega)} \mathbb{Z}^{n-1}$ and $f_{k_0},f_{k_1}\neq 0$. Likewise, we may write $g$ as a finite sum $\sum^{l_1}_{l=l_0}g_l \bullet d^l_n$ with $g_l\in\C[N]\times_{(S,\omega)} \mathbb{Z}^{n-1}$ and $g_{l_0},f_{l_1}\neq 0$. Then the lowest degree term of the product $f\bullet g$ with respect to $d_n:=d_{e_n}=d^1_n$ is
\begin{align*}
&f_{k_0} \bullet d^{k_0}_n \bullet g_{l_0} \bullet d^{l_0}_n=f_{k_0} \bullet d^{k_0}_n \bullet g_{l_0} \bullet \bar{\omega}(-k_0\cdot e_n,k_0\cdot e_n)^{-1}d^{-k_0}_n \bullet d^{k_0}_n \bullet d^{l_0}_n
\\
&=f_{k_0} \bullet d^{k_0}_n \bullet g_{l_0} \bullet \bar{\omega}(-k_0\cdot e_n,k_0\cdot e_n)^{-1}d^{-k_0}_n \bullet \bar{\omega}(k_0\cdot e_n,l_0\cdot e_n) d^{k_0+l_0}_n
\end{align*}
because conjugation with $d^{k_0}_n$ preserves the subalgebra $\C[N]\times_{(S,\omega)} \mathbb{Z}^{n-1}$, that is, $d^{k_0}_n \bullet g_{l_0} \bullet \bar{\omega}(-k_0\cdot e_n,k_0\cdot e_n)^{-1}d^{-k_0}_n \in \C[N]\times_{(S,\omega)} \mathbb{Z}^{n-1}$ (\cf Lemma~\ref{lem:conj}). Moreover, the induction hypothesis implies that
\begin{align}\label{eq:coeff}
f_{k_0} \bullet d^{k_0}_n \bullet g_{l_0} \bullet \bar{\omega}(-k_0\cdot e_n,k_0\cdot e_n)^{-1}d^{-k_0}_n \bullet \bar{\omega}(k_0\cdot e_n,l_0\cdot e_n)\neq 0,
\end{align}
which in turn proves that $f \bullet g \neq 0$, \ie, $\C[N]\times_{(S,\omega)} \mathbb{Z}^n$ is a domain.
\item[3.]
We now show that all units of $\C[N]\times_{(S,\omega)} \mathbb{Z}^n$ are homogeneous. To this end, let $f \in \C[N]\times_{(S,\omega)} \mathbb{Z}^m$ be a unit and $g:=f^{-1}$. Since $\C[N]\times_{(S,\omega)} \mathbb{Z}^{n-1}$ has no zero-divisors, Equation~(\ref{eq:coeff}) implies that $k_0+l_0=0$. Moreover, the same argument applied to the highest order term yields $k_1+l_1=0$. We conclude that $k_0=k_1$ and that $l_0=l_1$ and the assertion therefore follows by induction. \qedhere
\end{itemize}
\end{proof}
\begin{rmk}
Given a domain $R_0$, an Abelian and torsion-free group $H$, and an abstract $(R_0,H)$-crossed system $(\bar{S},\bar{\omega})$, we point out that with little effort the arguments and the result of the previous theorem extends to the $(R_0,H)$-crossed product $R_0\times_{(\bar{S},\bar{\omega})} H$, that is, $R_0\times_{(\bar{S},\bar{\omega})} H$ is also a domain and each unit is homogeneous.
\end{rmk}
Using Theorem~\ref{thm:iso} and techniques similar to those used in the proof of
Theorem~\ref{thm:kap1}, we obtain the following result:
%Blending Theorem~\ref{thm:iso} and Theorem~\ref{thm:kap1}, we immediately obtain the following result:
\begin{cor}\label{cor:kap1}
Suppose that $N$ satisfies Kaplansky's zero-divisor conjecture and that $H$ is Abelian and torsion-free. Then $G$ satisfies Kaplansky's
% unit conjecture.
zero-divisor conjecture.
In particular, $G$ satisfies
%Kaplansky's zero-divisor and
the idempotent conjecture.
\end{cor}
\begin{expl}\label{ex:hei}
The discrete \emph{Heisenberg group} $H_3$ is abstractly defined as the group generated by elements $a$ and $b$ such that the commutator $c = aba^{-1}b^{-1}$ is central. It can be realized as the multiplicative group of upper-triangular matrices
\begin{align*}
H_3:=\left\{\left(\begin{matrix}
1 & a & c\\
0 & 1 & b\\
0 & 0 & 1\end{matrix}\right):\,a,b,c\in\mathbb{Z}\right\}.
\end{align*}
Moreover, a short computation shows that $H_3$ is isomorphic (as a group) to the semidirect product $\mathbb{Z}^2\rtimes_S\mathbb{Z}$, where the semidirect product is defined by the group homomorphism
\begin{align*}
S:\mathbb{Z}\rightarrow\Aut(\mathbb{Z}^2), \quad S(k).(m,n):=(m,km+n).
\end{align*}
Consequently, Corollary~\ref{thm:iso} implies that the complex group ring $\C[H_3]$ is as a $\mathbb{Z}^2$-crossed product isomorphic to $\C[\mathbb{Z}^2]\times_{\bar{S}} \mathbb{Z}$. Since $\C[\mathbb{Z}^2]$ is a domain and $\mathbb{Z}$ Abelian and torsion-free, it follows from Corollary~\ref{thm:kap1} that the Heisenberg group $H_3$ satisfies Kaplansky's zero-divisor conjecture.
% unit conjecture.
In particular, it has no non-trivial idempotents.
\end{expl}
\begin{rmk}
The purpose of this remark is to illustrate how to obtain families of groups that satisfies the conditions of Corollary~\ref{cor:kap1}. We start with recalling some basic facts from the theory of group extensions.
\begin{itemize}
\item[1.]
Let $N$ be a group that satisfies Kaplansky's zero-divisor conjecture and $H$ a group that is Abelian and torsion-free. Furthermore, let $s:H\to\Out(N)$ be a group homomorphism, where $\Out(N)$ denotes the group of all outer automorphisms of $N$, and $\Ext(H,N)_s$ the set of equivalences of extensions of $N$ by $H$ that induce the group homomorphism $s$. Then it is a classical fact that $\Ext(H,N)_s$ is non-empty if and only if a certain cohomology class attached to $s$ vanishes in the third group cohomology $\text{H}^3_{\text{gr}}(H,Z(N))_s$, where $Z(N)$ denotes the center of $N$. If this is this case, then $\Ext(H,N)_s$ is parametrized by the second group cohomology $\text{H}^2_{\text{gr}}(H,Z(N))_s$. In particular, Corollary~\ref{cor:kap1} now implies that each of the corresponding extensions satisfies Kaplansky's zero-divisor conjecture.
%unit conjecture.
\item[2.]
In the situation of Example~\ref{ex:hei}, the set $\Ext(\mathbb{Z},\mathbb{Z}^2)_s$ consists of a single element, where $s:=q\circ S$ and $q:\Aut(\mathbb{Z}^2)\to\Out(\mathbb{Z}^2)$ denotes the canonical projection map. Indeed, it is a well-known fact that $\text{H}^n_{\text{gr}}(\mathbb{Z},\mathbb{Z}^2)_s=0$ for all $n>1$.
\item[3.]
It is also possible to realize $H_3$ as a central group extension of $\mathbb{Z}$ by $\mathbb{Z}^2$ with respect to the group 2-cocycle $\omega:\mathbb{Z}^2\times\mathbb{Z}^2\to\mathbb{C}$ defined by
\begin{align*}
\omega\left((k,k'),(l,l')\right):=k+l'.
\end{align*}
Moreover, the set $\Ext(\mathbb{Z}^2,\mathbb{Z})$ is parametrized by $\text{H}^2_{\text{gr}}(\mathbb{Z}^2,\mathbb{Z})\cong\mathbb{Z}$. That is, we obtain an infinite family of groups which satisfy Kaplansky's zero-divisor conjecture.
%unit conjecture.
\end{itemize}
\end{rmk}
\subsubsection*{The involution on $\C[G]$}
The map $\Phi$ from Theorem~\ref{thm:kap1} may also be used to turn $\C[N]\times_{(S,\omega)} H$ into a \Star algebra. In fact, if $^*:\C[N]\times_{(S,\omega)} H \rightarrow \C[N]\times_{(S,\omega)} H$ denotes the involutive map given on homogeneous elements by
\begin{align}\label{eq:alginv}
(f d_h)^*:= \bar{\omega}(h^{-1},h)^{-1}\star\bar{S}(h^{-1})(f^*)d_{h^{-1}},
\end{align}
where $f\in\C[N]$ and $h\in H$, then it is easily checked that $\Phi$ maps the element
\begin{align*}
(f \star \delta_{\sigma(h)})^*=\delta_{\sigma(h)}^*\star f^*=\delta_{\sigma(h)^{-1}} \star f^*&=\bar{\omega}(h^{-1},h)^{-1} \star \delta_{\sigma(h^{-1})} \star f^*
\\
&=\bar{\omega}(h^{-1},h)^{-1}\star\delta_{\sigma(h^{-1})} \star f^* \star \delta_{\sigma(h^{-1})^{-1}}\star\delta_{\sigma(h^{-1})}
\\
&=\bar{\omega}(h^{-1},h)^{-1}\star\bar{S}(h^{-1})(f^*)\star\delta_{\sigma(h^{-1})}
\end{align*}
to $(f d_h)^*$, that is, $\Phi$ is an \Star isomorphism. We continue with a characterization of self-adjoint idempotents in $\C[N]\times_{(S,\omega)} H$:
\begin{lemma}
Let $f=\sum_{h\in H} f_h d_h\in \C[N]\times_{(S,\omega)} H$ be a self-adjoint idempotent. That is, we have $f=f^*=f^2$. Then the following relations hold:
\begin{itemize}
\item[1.] We have $f_h=\sum_{k\in H}f_k\star\bar{S}(k)(f_{k^{-1}h})\star\bar{\omega}(k,k^{-1}h)$ for all $h\in H$.
\item[2.] We have $f_{h^{-1}}=\omega(h^{-1},h)^{-1}\star\bar{S}(h^{-1})(f_h^*)$ for all $h\in H$.
\end{itemize}
In particular, if $e_H$ denotes the identity element of $H$, then we have that
\begin{align}
f_{e_H}=\sum_{k\in H}f_k\star\bar{S}(k)(f_{k^{-1}})\star\bar{\omega}(k,k^{-1}) \quad \text{and} \quad f_{e_H}=f^*_{e_H}.
\end{align}
\end{lemma}
\begin{proof}
We begin by equating
\begin{align*}
f^2=\sum_{h,k\in H} f_h d_h \bullet f_k d_k&=\sum_{h,k\in H}f_h\star\bar{S}(h)(f_k)\star\bar{\omega}(h,k) d_{hk}
\\
&=\sum_{h\in H}\left(\sum_{k\in H} f_k\star\bar{S}(k)(f_{k^{-1}h})\star\bar{\omega}(k,k^{-1}h)\right)d_k.
\end{align*}
Therefore, the first assertion immediately follows by comparing the coefficients of the basis $(d_h)_{h\in H}$. The remaining assertions directly follow from Equation~\ref{eq:alginv} and by evaluating the previous formulas at $h=e_H$, respectively.
\end{proof}
\begin{rmk}
In the following we regard $\C[G]$ as a dense subset of the full group C\Star algebra $C^*(G)$. Then it is not hard to check that the section map $\bar{\sigma}$ in (\ref{eq:algsec}) actually takes values in the unitary group $U(C^*(G))$. In particular, we get induced maps
\begin{align*}
\bar{S}:H\rightarrow\Aut(C^*(N)) \quad \text{and} \quad \bar{\omega}:H\times H\rightarrow U(C^*(N)).
\end{align*}
with $\bar{S}(H)(\C[N])\subseteq\C[N]$ and $\text{Im}(\omega)\subseteq\C[N]$.
A few moments thought show that the multiplication and the involution are continuous for the following $\ell^1$-norm:
\begin{align*}
\Vert\sum_{h\in H} f_h d_h\Vert_1:=\sum_{h\in H} \Vert f_h\Vert_{C^*(N)}.
\end{align*}
We write $C^*(\C[N]\times_{(S,\omega)} H)$ for the corresponding enveloping C\Star algebra and point out that if $H$ is amenable, then $C^*(G)$ is isomorphic to $C^*(\C[N]\times_{(S,\omega)} H)$. Indeed, the assertion follows from \cite[Prop. 4.2]{Ex96}, since both algebras are topologically graded and generate isomorphic Fell bundles.%(see \eg \cite[Def. 3.4]{Ex96}).
\end{rmk}
\section{Representation via global sections}\label{sec:repglobsec}
Let $Z$ and $H$ be torsion-free and countable discrete groups with $Z$ Abelian. Furthermore, let $G$ be a central extension of $Z$ by $H$. Our goal is to study the structure of $\C[G]$ or, more precisely, of the group C\Star algebra $C^*(G)$ in terms of data associated with $Z$ and $H$. For technical reasons, we additionally assume that $H$ is amenable. In this situation, $G$ is amenable as well and it therefore follows from~\cite[Thm. 1.2]{PaRa92} that $C^*(G)$ is isomorphic to the C\Star algebra $\Gamma(E)$ of global continuous sections of a C\Star algebraic bundle $q:E\to \hat{Z}$, where $\hat{Z}$ denotes the dual group of $Z$ endowed with its natural topology turning it into a compact Haussdorf space. In addition, its fibre $E_\varepsilon:=q^{-1}(\{\varepsilon\})$ at the trivial character $\varepsilon\in\hat{Z}$ is \Star isomorphic to $C^*(H)$. The proof of the next statement is very much inspired by the proof of \cite[Thm. 2.17]{EckRa18}.
\begin{lemma}\label{lem:kap2}
Let $Z$ and $H$ be torsion-free and countable discrete groups with $Z$ Abelian. Furthermore, suppose that $H$ is amenable and let $G$ be a central extension of $Z$ by $H$. If $C^*(H)$ contains no non-trivial projections, then the same is true for $C^*(G)$.
\end{lemma}
\begin{proof}
Let $p$ be a projection in $C^*(G)$. We write $s_p$ for the corresponding continuous global section in $\Gamma(E)$. By assumption, we may \wilog assume that $s_p(\varepsilon)=0\in E_\varepsilon$. %\cong C^*(H)$.
%\begin{align*}
%s_p(\varepsilon)=0\in E_\varepsilon \cong C^*(H).
%\end{align*}
Since $Z$ is torsion-free, $\hat{Z}$ is connected and therefore the function
\begin{align*}
f_p:\hat{Z} \to \mathbb{R}, \quad f_p(\chi):=\Vert s_p(\chi)\Vert_\chi,
\end{align*}
where $\Vert\cdot\Vert_\chi$ denotes the C\Star norm of $E_\chi:=q^{-1}(\{\chi\})$, is a continuous $\{0,1\}$-valued function on a connected space with $f_p(\varepsilon)=0$. We conclude that $f_p$ must be 0 everywhere which in turn implies that $s_p\equiv0$. That is, we have $p=0$.
\end{proof}
\begin{cor}\label{cor:kap2}
Let $Z$ and $H$ be torsion-free and countable discrete groups with $Z$ Abelian. Furthermore, suppose that $H$ is amenable and let $G$ be a central extension of $Z$ by $H$. If $H$ satisfies the Kadison-Kaplansky conjecture, then so does the group $G$. %In particular, $G$ satisfies Kaplansky's idempotent conjecture.
\end{cor}
\begin{rmk}
\begin{itemize}
\item[1.]
Since every idempotent in a C\Star algebra is similar to a projection, the conclusion of Lemma~\ref{lem:kap2} still holds in the more general context of idempotents.
\item[2.]
We would also like to emphasize that the conclusion of Lemma~\ref{lem:kap2} is not new. In fact, since $G$ is amenable, the surjectivity of the assembly map in the Baum-Connes conjecture implies that $G$ satisfies the Kadison-Kaplansky conjecture (\cf \cite{Hig2001}).
\end{itemize}
\end{rmk}
\begin{expl}
It is also possible to realize the group $H_3$ from Example~\ref{ex:hei} as a central group extension of $\mathbb{Z}$ by $\mathbb{Z}^2$ with respect to the group 2-cocycle $\omega:\mathbb{Z}^2\times\mathbb{Z}^2\to\mathbb{C}$ defined by $\omega\left((k,k'),(l,l')\right):=k+l'$. In particular, it follows from Corollary~\ref{cor:kap2} that $H_3$ satisfies the Kadison-Kaplansky conjecture.
\end{expl}
\section*{Acknowledgement}
The second named author would like to express his greatest gratitude to
\emph{Carl Tryggers Stiftelse f\"or Vetenskaplig Forskning} for supporting this research and to Blekinge Tekniska H\"ogskola (BTH) for providing an excellent research environment.
%\printbibliography
%\bibliographystyle{abbrv}
%\bibliography{short,GR}
\begin{thebibliography}{AA}
\bibitem{DniesterNotebook}
\emph{Dniester notebook: unsolved problems in the theory of rings and modules},
translated from the 1993 Russian edition by Murray R. Bremner and Mikhail V. Kochetov and edited by V. T. Filippov, V. K. Kharchenko and I. P. Shestakov.
Lect. Notes Pure Appl. Math. \textbf{246},
Non-associative algebra and its applications, 461--516, Chapman \& Hall/CRC, Boca Raton, FL, (2006).
%Dniester notebook: unsolved problems in the theory of rings and modules. First All-Union
%Symposium on the Theory of Rings and Modules (Kishinev, 1968) (Russian). Redakc.-Izdat.
%Otdel Akad. Nauk Moldav. SSR, Kishinev, 1969
\bibitem{Bro1976}
K. A. Brown,
On zero divisors in group rings,
\emph{Bull. London Math. Soc.} \textbf{8}(3) (1976), 251--256.
\bibitem{Bur1970}
R. G. Burns,
Central idempotents in group rings,
\emph{Canad. Math. Bull.} \textbf{13} (1970), 527--528.
\bibitem{Bus70}
R. C. Busby and A. H. Smith,
Representations of twisted group algebras,
\emph{Trans. Amer. Math. Soc.} \textbf{149} (1970), 503--537.
\bibitem{Cayley1854}
A. Cayley,
VII. on the theory of groups, as depending on the symbolic equation $\theta^n=1$, \emph{Phil. Mag.} \textbf{7}(42) (1854), 40--47.
\bibitem{Cli1980}
G. H. Cliff,
Zero divisors and idempotents in group rings,
\emph{Canad. J. Math.} \textbf{32}(3) (1980), 596--602.
\bibitem{CrPa2013}
D. A. Craven and P. Pappas,
On the unit conjecture for supersoluble group algebras,
\emph{J. Algebra} \textbf{394} (2013), 310--356.
\bibitem{DaHo68}
J. Dauns and K. H. Hofmann,
\emph{Representation of rings by sections},
Memoirs of the American Mathematical Society, No. 83 American Mathematical Society, Providence, R.I. (1968), xii+180 pp.
\bibitem{EckRa18}
C. Eckhardt and S. Raum,
C\Star superrigidity of 2-step nilpotent groups,
preprint, arXiv:1801.06974v1, Jan. 2018.
\bibitem{Ex96}
R. Exel,
Amenability for Fell bundles,
\emph{J. Reine Angew. Math.} \textbf{492} (1997), 41--73.
\bibitem{Far1976}
D. R. Farkas and R. L. Snider,
$K_0$ and Noetherian group rings,
\emph{J. Algebra} \textbf{42}(1) (1976), 192--198.
\bibitem{For1973}
E. Formanek,
The zero divisor question for supersolvable groups,
\emph{Bull. Austral. Math. Soc.} \textbf{9} (1973), 69--71.
\bibitem{For1973b}
E. Formanek,
Idempotents in Noetherian group rings.
\emph{Canad. J. Math.} \textbf{25} (1973), 366--369.
\bibitem{Hig2001}
N. Higson and G. Kasparov,
$E$-theory and $KK$-theory for groups which act properly and isometrically on Hilbert space,
\emph{Invent. Math.} \textbf{144}(1) (2001), 23--74.
\bibitem{Ho72}
K. H. Hofmann,
Representations of algebras by continuous sections,
\emph{Bull. Amer. Math. Soc.} \textbf{78} (1972), 291--373.
\bibitem{Kap56}
I. Kaplansky,
Problems in the theory of rings,
Report of a conference on linear algebras, June, 1956, pp. 1--3. National Academy of Sciences-National Research Council, Washington, Publ. \textbf{502} (1957), v+60 pp.
\bibitem{Kap70}
I. Kaplansky,
''Problems in the theory of rings'' revisited,
\emph{Amer. Math. Monthly} \textbf{77} (1970), 445--454.
\bibitem{Lic1981}
A. I. Lichtman,
The zero divisor problem for a class of torsion-free groups.
\emph{Proc. Amer. Math. Soc.} \textbf{82}(2) (1981), 188--190.
\bibitem{Li77}
P. A. Linnell,
Zero divisors and idempotents in group rings,
\emph{Math. Proc. Cambridge Philos. Soc.} \textbf{81}(3) (1977), 365--368.
\bibitem{Mac67}
S. MacLane,
\emph{Homology}, Reprint of the first edition. Die Grundlehren der mathematischen Wissenschaften, Band 114. Springer-Verlag, Berlin-New York, (1967), x+422 pp.
\bibitem{Mal48}
A. I. Malcev,
On the embedding of group algebras in division algebras,
\emph{Doklady Akad. Nauk SSSR (N.S.)} \textbf{60} (1948), 1499--1501.
\bibitem{Mar1986}
Z. Marciniak,
Cyclic homology and idempotents in group rings,
Transformation groups, Pozna\'{n} 1985, 253--257,
Lecture Notes in Math. 1217, Springer, Berlin, (1986).
\bibitem{Min2002}
I. Mineyev and G. Yu,
The Baum-Connes conjecture for hyperbolic groups,
\emph{Invent. Math.} \textbf{149}(1) (2002), 97--122.
\bibitem{NVO2004}
C. N\v{a}st\v{a}sescu and F. Van Oystaeyen,
\emph{Methods of graded rings},
Lecture Notes in Mathematics, 1836. Springer-Verlag, Berlin (2004), xiv+304 pp.
\bibitem{Mol97}
T. Molien,
\"{U}ber die Invarianten der linearen Substitutionsgruppen,
\emph{Sitzungsber. der K\"{o}nigl. Preuss. Akad. d. Wiss.} \textbf{52} (1897), 1152--1156.
\bibitem{PaRa92}
J. A. Packer and I. Raeburn,
On the structure of twisted group C\Star algebras,
\emph{Trans. Amer. Math. Soc.} \textbf{334}(2) (1992), 685--718.
\bibitem{Pa77}
D. S. Passman,
\emph{The algebraic structure of group rings},
Pure and Applied Mathematics,
Wiley-Interscience [John Wiley \& Sons], New York-London-Sydney (1977).
\bibitem{Pus2002}
M. Puschnigg,
The Kadison-Kaplansky conjecture for word-hyperbolic groups,
\emph{Invent. Math.} \textbf{149}(1) (2002), 153--194.
\bibitem{Val2002}
A. Valette,
\emph{Introduction to the Baum-Connes conjecture},
From notes taken by Indira Chatterji. With an appendix by Guido Mislin. Lectures in Mathematics ETH Z\"{u}rich. Birkh\"{a}user Verlag, Basel, (2002), x+104 pp.
\end{thebibliography}
\end{document}