Multiplicative SK invariants for \(G\)-manifolds with boundary (Q1429195)

Let \(G\) be a finite abelian group and \(M\) a \(G\)-manifold where the action is assumed to be smooth. An invariant \(T(M)\in\mathbb Z\) is called a \(G\)-\(SK\) invariant provided it is invariant under equivariant cuttings and pastings, and is said to be multiplicative if it satisfies \(T(M\times N)=T(M)\times T(N)\). In this paper, the author characterizes this sort of invariants in the case when they are defined by a homogeneous space \(G/H\). An example is the equivariant Euler characteristic defined as \(\chi^H(M)=\chi(M^H)\). Let us denote by \({\mathcal M}_m^G(\partial)\) the set of \(G\)-manifolds with boundary; two elements \(M\) and \(N\) are called \(G\)-\(SK\) equivalent if there exists a third one \(P\in{\mathcal M}_m^G(\partial)\) such that \(M+P\) can be obtained from \(N+P\) by a finite sequence of \(G\)-\(SK\) processes. The quotient set is an abelian semigroup whose Grothendieck group is denoted by \(SK_m^G(\partial)\), thus we obtain the graded \(SK_*\)-module \(SK_m^G(\partial)=\bigoplus_{m\geq 0}SK_m^G(\partial)\) where \(SK_*\) is a polynomial ring of closed manifolds whose generator is \(\alpha\), represented by the projective plane \(\mathbb R P^2\) as in [\textit{C. Kosniowski}, Actions of finite abelian groups, Research Notes in Mathematics. 18. Pitman (1978; Zbl 0373.57018)]. A multiplicative invariant \(T\) induces a ring homomorphism \(T:SK_*^G(\partial)\mapsto\mathbb Z\). On the other hand, an invariant \(T\) is said to be of type \(G/H\) whenever \(T(G/H)\neq 0\) but \(T(G/K)=0\) if \(K\) is a proper subgroup of \(H\). The equivariant Euler characteristic \(\chi^H\) is an invariant of type \(G/H\). The main theorem of this paper is the following: Theorem. Let \(T\) be a nontrivial multiplicative invariant of type \(G/H\) with \(H\neq\{1\}\). Then it is uniquely determined by a class of integers \({\mathcal V}=\{a\}\cup\{\gamma_i\leq i\leq t_H\}\) and has a form \[ T(M)=\sum_{\sigma\in St[H]}a^{\dim( M_\sigma)} \gamma_\sigma\chi(M_\sigma). \] In this theorem \(t_K\) is the number of nontrivial irreducible representations of the subgroup \(K\) and \(a=T(D^1)\).