Related papers: On Heisenberg groups

Finite $p$-groups of nilpotency class 2 are treated from the perspective of central extensions. Given finite abelian groups $G,A$, we derive an explicit formula for cocycles representing elements of $H^2(G,A)$, compute $H^2(G,A)$, and…

We show that every nilpotent group of class at most two may be embedded in a central extension of abelian groups with bilinear cocycle. The embedding is shown to depend only on the base group. Some refinements are obtained by considering…

We compute the two-cocycles (or multipliers) of the free nilpotent groups of class $2$ and rank $n$ and give conditions for simplicity of the corresponding twisted group $C^*$-algebras. These groups are representation groups for…

The Heisenberg group, here denoted $H$, is the group of all $3\times 3$ upper unitriangular matrices with entries in the ring $\mathbb{Z}$ of integers. A.G. Myasnikov posed the question of whether or not the universal theory of $H$, in the…

We present a structural description of finite nilpotent groups of class at most $2$ using a specified number of subdirect and central products of $2$-generated such groups. As a corollary, we show that all of these groups are isomorphic to…

We give an algorithm that decides whether a single equation in a group that is virtually a class $2$ nilpotent group with a virtually cyclic commutator subgroup, such as the Heisenberg group, admits a solution. This generalises the work of…

Given a finite subgroup G of SL(2,C) we define an additive 2-category H^G whose Grothendieck group is isomorphic to an integral form of the Heisenberg algebra. We construct an action of H^G on derived categories of coherent sheaves on…

A combing is a set of normal forms for a finitely generated group. This article investigates the language-theoretic and geometric properties of combings for nilpotent and polycyclic groups. It is shown that a finitely generated class 2…

In this article we describe the 2-cocycles, Schur multiplier and representation group of discrete Heisenberg groups over the unital rings of order $p^2$. We describe all projective representations of Heisenberg groups with entries from the…

Let G be a group which is topologically a CW-complex, BG a classifying space for G, and A a discrete abelian group. To a central extension of G by A, one can associate a cohomology class in $H^2(BG,A)$. We show this association is…

We introduce extensions of the multidimensional Heisenberg group $\mathbb{H}^n$ by two-parameter groups of dilations, and then classify the extended groups up to isomorphism, by employing Lie algebra techniques. We show that the groups are…

Is every locally compact abelian group which admits a Heisenberg central extension isomorphic to the product of a locally compact abelian group and its Pontryagin dual? An affirmative answer is obtained for all the commonly occurring types…

Let $W$ be a Coxeter group whose proper parabolic subgroups are finite. According to Theorem~1.12 of [1], if the module of a finite $W$-digraph $\Gamma$ is isomorphic to the module of a $W$-graph over $Q$, then $\Gamma$ is acyclic. We…

A finite group $G$ is of central type (in the non-classical sense) if it admits a non-degenerate cohomology class $[c]\in H^2(G,\C^*)$ ($G$ acts trivially on $\C^*$). Groups of central type play a fundamental role in the classification of…

If $G$ and $H$ are finitely generated residually nilpotent groups, then $G$ and $H$ are in the same nilpotent genus if they have the same lower central quotients (up to isomorphism). A stronger condition is that $H$ is para-$G$ if there…

In [5], the notion of polynomial cocycles is used to give an expression for the second cohomology of T-groups with coefficients in a torsion-free nilpotent module. We make this expression concrete in the case of a T-group G of nilpotency…

A cocycle category H(X,Y) is defined for objects X and Y in a model category, and it is shown that the set of morphisms [X,Y] is isomorphic to the set of path components of H(X,Y) provided the ambient model category is right proper and…

We show that if a H\"{o}lder continuous linear cocycle over a hyperbolic system is measurably conjugate to a cocycle taking values in a unipotent group, then the cocycle is H\"older continuously conjugate to a cocycle taking values in a…

Let ${\cal N}_c$ be the variety of nilpotent groups of class at most $c\ \ (c\geq 2)$ and $G=Z_r\oplus Z_s $ be the direct sum of two finite cyclic groups. It is shown that if the greatest common divisor of $r$ and $s$ is not one, then $G$…

Given a C*-algebra $A$, a discrete abelian group $X$ and a homomorphism $\Theta: X\to$ Out$A$ defining the dual action group $\Gamma\subset$ aut$A$, the paper contains results on existence and characterization of Hilbert $\{A,\Gamma\}$,…