Abstract:We extend our family rigidity and vanishing theorems in [LiuMaZ] to the Spin c case.In particular, we prove a ^-theory version of the main results of [H], [Liul, Theorem B] for a family of almost complex manifolds.0. Introduction.Let M, B be two compact smooth manifolds, and TT : M -» B be a smooth fibration with compact fibre X.Let TX be the relative tangent bundle.Assume that a compact Lie group G acts fiberwise on M, that is, the action preserves each fiber of TT.Let P be a family of G-equivariant elliptic operators along the fiber X.Then the family index of P, Ind(P), is a well-defined element in K(B) (cf.[AS]) and is a virtual G-representation (cf.[LiuMal]).We denote by (Ind(P)) G £ K(B) the G-invariant part of Ind(P).A family of elliptic operator P is said to be rigid on the equivariant Chern character level with respect to this G-action, if the equivariant Chern character ch 5 (Ind(P)) G H*(B) is independent of g G G. If ch^(Ind(P)) is identically zero for any p, then we say P has vanishing property on the equivariant Chern character level.More generally, we say that P is rigid on the equivariant K-theory level, if Ind(P) = (Ind(P)) G .If this index is identically zero in KG(B), then we say that P has vanishing property on the equivariant K-theory level.To study rigidity and vanishing, we only need to restrict to the case where G = S 1 .From now on we assume G = S 1 .As was remarked in [LiuMaZ], the rigidity and vanishing properties on the Ktheory level are more subtle than that on the Chern character level.The reason is that the Chern character can kill the torsion elements involved in the index bundle.In [LiuMaZ], we proved several rigidity and vanishing theorems on the equivariant If-theory level for elliptic genera.In this paper, we apply the method in [LiuMaZ] to prove rigidity and vanishing theorems on the equivariant if-theory level for Spin c manifolds, as well as for almost complex manifolds.To prove the main results of this paper, to be stated in Section 2.1, we will introduce some shift operators on certain vector bundles over the fixed point set of the circle action, and compare the index bundles after the shift operation.Then we get a recursive relation of these index bundles which will in turn lead us to the final result (cf.[LiuMaZ]).Let us state some of our main results in this paper more explicitly.As was remarked in [LiuMaZ], our method is inspired by the ideas of Taubes [T] and Bott-Taubes [BT].For a complex (resp.real) vector bundle E over M, let / n ,x Sym t (E) = l + tE + t 2 Sym 2 E + • • •, ^'i, A t {E) = l + tE + t 2 A 2 E + ---*

The Kervaire-Milnor invariant in the stable classification of spin 4-manifolds

Algebraic criteria for stable diffeomorphism of spin 4-manifolds

$Spin^c$ Manifolds and Rigidity Theorems in $K$-Theory

The mod 2 Seiberg-Witten invariants of spin structures and spin families

Geometric approach to stable homotopy groups of spheres II. The Kervaire invariant

Real spin bordism and orientations of topological $\mathrm{K}$-theory

Invariants of surfaces in smooth 4-manifolds from link homology

Seiberg-Witten Floer K-theory and cyclic group actions on spin four-manifolds with boundary

Intersection Forms of Spin 4-Manifolds and the Pin(2)-Equivariant Mahowald Invariant

On Manolescu's $κ$-invariants of rational homology 3-spheres

KSp-characteristic classes determine Spin$^h$ cobordism

On the Last Kervaire Invariant Problem

Milnor's invariants for knots and links in closed orientable 3-manifolds

Combed Trisection Diagrams and Non-Semisimple 4-Manifold Invariants

Foliated manifolds, algebraic K-theory, and a secondary invariant

Pin(2)–equivariant KO–theory and Intersection Forms of Spin 4–Manifolds

Characteristic cohomotopy classes for families of 4-manifolds

Stable equivalence relations on 4-manifolds

Symplectic actions of groups of order 4 on K3$^{[2]}$-type manifolds, and standard involutions on Nikulin-type orbifolds

Gromov-Witten invariants in complex and Morava-local $K$-theories

Invariants of Vanishing Brauer Classes