# Relative Property (T) for Nilpotent Subgroups

## TL;DR

The paper proves that relative Property (T) for the abelianization of a nilpotent normal subgroup implies the same property for the subgroup itself, extending known results through a new theorem involving group actions and central subgroups.

## Contribution

It introduces a new theorem linking relative Property (T) for quotient groups to the subgroup, generalizing previous results by weakening the assumptions on the subgroup's center.

## Key findings

- Relative Property (T) for abelianization implies for the subgroup.
- Theorem connecting relative Property (T) of quotients to subgroups.
- Weaker conditions on central subgroups still ensure Property (T).

## Abstract

We show that relative Property (T) for the abelianization of a nilpotent normal subgroup implies relative Property (T) for the subgroup itself. This and other results are a consequence of a theorem of independent interest, which states that if $H$ is a closed subgroup of a locally compact group $G$, and $A$ is a closed subgroup of the center of $H$, such that $A$ is normal in $G$, and $(G/A, H/A)$ has relative Property (T), then $(G, H^{(1)})$ has relative Property (T), where $H^{(1)}$ is the closure of the commutator subgroup of $H$. In fact, the assumption that $A$ is in the center of $H$ can be replaced with the weaker assumption that $A$ is abelian and every $H$-invariant finite measure on the unitary dual of $A$ is supported on the set of fixed points.