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 + ---*

Splitting criteria for a definite 4-manifold with infinite cyclic fundamental group

Smooth structures on four-manifolds with finite cyclic fundamental groups

Thick isotopy property and the mapping class groups of Heegaard splittings

Algebraic criteria for stable diffeomorphism of spin 4-manifolds

$4$-manifolds with boundary and fundamental group $\mathbb{Z}$

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

Exotic definite four-manifolds with non-cyclic fundamental group

Homotopy classification of 4-manifolds with finite abelian 2-generator fundamental groups

Splitting submanifolds in rational homogeneous spaces of Picard number one

On splitting complete manifolds via infinity harmonic functions

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

Integral invariants for framed 3-manifolds associated to trivalent graphs possibly with self-loops

Bordism and resolution of singularities

Exotic definite four-manifolds with non-trivial fundamental group

On the Holonomic Rank Problem

Topological monodromy kernels for fundamental groups of discriminant complements

Cohomological splitting over rationally connected bases

Invariant splitting principles for the Lipshitz--Ozsváth--Thurston correspondence

On the geography of symplectic 4-manifolds with divisible canonical class

A Splitting Theorem for the Seiberg-Witten Invariant of a Homology S^1 × S^3

Diagrammatic criteria for strong irreducibility of Heegaard splittings and finiteness of Goeritz groups