e2e2e8df6517d40c.tex
1: \begin{abstract} 
2: Given  a group $G,$ a field $\kappa $ and a factor set  $\sigma $  of some partial projective $\kappa$-representation of $G,$   we consider a topological partial dynamical system $(\Omega_\sigma, G, \hat{\theta}),$ in which  $\Omega_\sigma $  is a compact totally disconnected Hausdorff space and $\sigma $ is a twist for $\hat{\theta},$ such that $\kpar ^{\sigma} G$
3: can be seen as a crossed product of the form     
4: ${\mathscr L}(\Omega_\sigma )  \rtimes_{({\hat{\theta}}, \sigma)} G,$ where ${\mathscr L}(\Omega_\sigma )$ stands for the $\kappa $-algebra of the locally constant functions $\Omega_\sigma \to \kappa .$ 
5: The space $\Omega_\sigma $ is homeomorphic  with the spectrum of a unital commutative subalgebra  of $\kpar ^{\sigma} G$ generated by idempotents. We describe $\Omega_\sigma $ as a subspace of the  Bernoulli space $2^G$ and study when the spectral partial action   $\hat{\theta}$ is topologically free, which is a property related to important information on the ideals of   $\kpar ^{\sigma} G.$   We also show how to generate arbitrary idempotent factor sets of  $G$ and give a condition on them which guarantees the topological freeness of $\hat{\theta}$. 
6: Furthermore, inspired by the semigroup $\mathcal{S}(G)$ defined by R. Exel to control partial actions and partial representations of $G$ 
7: and its relation to the partial group algebra  $\kpar G,$ we characterize the twisted partial group algebra $\kpar ^{\sigma} G$ as an algebra generated by a $\kappa$-cancellative inverse semigroup, the latter being defined using elements of $\Omega_\sigma .$   If $\Omega_\sigma $ is discrete, we prove that $\kpar ^{\sigma} G$ is a product of matrix algebras over twisted subgroup algebras, extending a known  result  for $\kpar G$ with finite $G.$ For the infinite dihedral group \(D_{\infty}\) we describe how to obtain all partial factor sets of \(D_{\infty}\), up to equivalence.
8:    % Lost pages of the Hitchhiker's Guide to the Galaxy.
9: \end{abstract}
10: