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

Equivariant cohomological rigidity for four-dimensional Hamiltonian $\mathbf{S^1}$-manifolds

Equivariant cohomology of a complexity-one four-manifold is determined by combinatorial data

Circle Action and Some Vanishing Results on Manifolds

Equivariant formality in complex-oriented theories

Revisit Hamiltonian $S^1$-manifolds of dimension 6 with 4 fixed points

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

Hamiltonian $S^1$-manifolds which are like a coadjoint orbit of $G_2$

Classification of Hamiltonian $S^1$-actions on compact symplectic orbifolds with isolated cyclic singular points in dimension four

On a symplectic generalization of a Hirzebruch problem

Hopf Cyclic Cohomology and Hodge Theory for Proper Actions

Finite group actions on 4-manifolds and equivariant bundles

Periodic symplectic and Hamiltonian diffeomorphisms on irrational ruled surfaces

Equivariant formality of Hamiltonian transversely symplectic foliations

Cohomological Rigidity of Manifolds with Torus Actions: I

SEMI-FREE HAMILTONIAN CIRCLE ACTIONS ON 6-DIMENSIONAL SYMPLECTIC MANIFOLDS

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

Formal Frobenius Manifold Structure on Equivariant Cohomology

Algebraic criteria for stable diffeomorphism of spin 4-manifolds

Equivariant Seiberg-Witten theory

On equivariantly formal 2-torus manifolds

Homologically Trivial Group Actions on 4-Manifolds