We define the notion of strong spectral invariance for a dense Fréchet subalgebra A of a Banach algebra B. We show that if A is strongly spectral invariant in a C*-algebra B, and G is a compactly generated polynomial growth Type R Lie group, not necessarily connected, then the smooth crossed product G ⋊ A is spectral invariant in the C*-crossed product G ⋊ B. Examples of such groups are given by finitely generated polynomial growth discrete groups, compact or connected nilpotent Lie groups, the group of Euclidean motions on the plane, the Mautner group, or any closed subgroup of one of these. Our theorem gives the spectral invariance of G ⋊ A if A is the set of C∞-vectors for the action of G on B, or if B = C0 (M), and A is a set of G-differentiable Schwartz functions [Formula: see text] on M. This gives many examples of spectral invariant dense subalgebras for the C*-algebras associated with dynamical systems. We also obtain relevant results about exact sequences, subalgebras, tensoring by smooth compact operators, and strong spectral invariance in L1 (G, B).
Twisted group $C^*$-algebras corresponding to nilpotent discrete groups.