G$-cells, there are only finitely many conjugacy classes of finite subgroups of $G$ that occur as isotropy groups of points of $X$. In particular, the isotropy groups of $X$ have bounded order. Since $G$ is discrete, Corollary 2.7 of [@luck-oliver:completion] thus provides a hermitian $G$-vector bundle $\zeta$ over $X$ such that for every point $x\in X$, the fiber $\zeta_x$ is a multiple of the regular representation of the isotropy group $G_x$. In particular, the $G_x$-action on $\zeta_x$ is faithful, and hence $\operatorname{Sym}(\zeta_x)$ is a complete complex $G_x$-universe, compare [@schwede:global Rk.6.3.22]. So the bundle $\zeta$ is ample.

\[prop:ample bundle\] Let $G$ be a discrete group and $X$ a finite proper $G$-CW-complex. Then the map ${\langle -\rangle}: \operatorname{Vect}_G(X){\longrightarrow}{\mathbf{ku}}_G{\llbracket X\rrbracket}$ defined in is additive.

The sum in the group ${\mathbf{ku}}_G{\llbracket X\rrbracket}$ is defined by addition via a fiberwise pinch map. We will relate the pinch sum to a different binary operation, the ‘bundle sum’, by an Eckmann-Hilton argument.

Proposition \[prop:universal bundle\] (ii) provides an ample hermitian $G$-vector bundle $\zeta$ over $X$. We let $\mu=u\zeta$ denote the underlying euclidean vector bundle. Because $\zeta$ embeds into $(u\zeta)_{\mathbb C}=\mu_{\mathbb C}$, the hermitian $G$-vector bundle $\mu_{\mathbb C}$ is also ample. By adding a trivial complex line bundle to $\zeta$, if necessary, we can moreover assume that there exists a $G$-equivariant linear isometric embedding $j:X\times \underline{{\mathbb R}}{\longrightarrow}\mu=u\zeta$ of the trivial ${\mathbb R}$-line bundle over $X$. The embedding $j$ parameterizes a trivial 1-dimensional summand in $\mu$, and hence a pinch map $p:S^\mu{\longrightarrow}S^\mu\vee_X S^\mu$. The ‘pinch sum’
G$-cells, there are only finitely many conjugacy classes of finite subgroups of $ G$ that happen as isotropy group of points of $ X$. In particular, the isotropy group of $ X$ have bound order. Since $ G$ is discrete, Corollary 2.7 of [ @luck - oliver: completion ] thus put up a hermitian $ G$-vector pile $ \zeta$ over $ X$ such that for every point $ x\in X$, the roughage $ \zeta_x$ is a multiple of the regular representation of the isotropy group $ G_x$. In finical, the $ G_x$-action on $ \zeta_x$ is faithful, and hence $ \operatorname{Sym}(\zeta_x)$ is a arrant complex $ G_x$-universe, compare [ @schwede: global Rk.6.3.22 ]. therefore the bundle $ \zeta$ is ample. 

 \[prop: ample bundle\ ] Let $ G$ be a discrete group and $ X$ a finite proper $ G$-CW - complex. Then the map $ { \langle -\rangle }: \operatorname{Vect}_G(X){\longrightarrow}{\mathbf{ku}}_G{\llbracket X\rrbracket}$ defined in is additive. 

 The kernel in the group $ { \mathbf{ku}}_G{\llbracket X\rrbracket}$ is defined by addition via a fiberwise pinch function. We will relate the pinch kernel to a different binary process, the ‘ bundle sum ’, by an Eckmann - Hilton argument. 

 Proposition \[prop: universal bundle\ ] (ii) provides an ample hermitian $ G$-vector bundle $ \zeta$ over $ X$. We lease $ \mu = u\zeta$ denote the underlying euclidean vector bundle. Because $ \zeta$ embeds into $ (u\zeta)_{\mathbb C}=\mu_{\mathbb C}$, the hermitian $ G$-vector bundle $ \mu_{\mathbb C}$ is also ample. By adding a trivial complex line bundle to $ \zeta$, if necessary, we can moreover assume that there exists a $ G$-equivariant linear isometric embedding $ j: X\times \underline{{\mathbb R}}{\longrightarrow}\mu = u\zeta$ of the fiddling $ { \mathbb R}$-line bundle over $ X$. The embedding $ j$ parameterizes a superficial 1 - dimensional summand in $ \mu$, and therefore a apprehension map $ p: S^\mu{\longrightarrow}S^\mu\vee_X S^\mu$. The ‘ pinch kernel ’
G$-cepls, there are only finittly many conjugaci xlassev of fjnite sucgroups of $G$ that occur as idorropy groups of points of $X$. In partibular, the isouropy groups of $X$ have bomuded kvder. Vmnce $G$ is discrgte, Corollarf 2.7 of [@luck-olivar:zolpletion] thus provides a hermitian $D$-vector bkndle $\zeta$ ovet $X$ slcr thzn nor every point $x\in X$, the fiber $\aeta_x$ iv a multiple pf the regular representatlon lf the isotropy grlup $G_x$. In pqrtisylar, the $G_x$-aztion on $\zttc_x$ is faithrul, and hence $\operatorname{Sym}(\zega_x)$ ix a complejz colklex $G_x$-univecse, coipare [@schwedc:blobal Rk.6.3.22]. So yhe bundle $\zets$ iv anple.

\[prop:ample bundle\] Net $G$ be a discretg group ang $R$ a finite proper $G$-CW-xonplex. Thet thd mao ${\lznjle -\ranglf}: \o'eratorname{Bect}_G(X){\longrughtarrow}{\mathbf{ku}}_G{\lkbwqcket X\rrbraciet}$ desiged in is additive.

The sum in the group ${\katgbf{ku}}_G{\llbracket X\rrbracjet}$ is defined by addltion via a fiberwise pinch map. We will relate the pinch sgm to x dnnnerevr hinary operation, the ‘bundle sum’, by an Eckmann-Rjluon argument.

Propofition \[prop:inlvrtsal bundle\] (ii) provibss an ample hermitiaj $G$-vectjr bubdle $\zeta$ ovet $X$. We let $\mu=u\zeta$ denote tye underlyiny eyclidean vector buudle. Because $\zets$ embrds into $(u\zeta)_{\mathbb C}=\mb_{\mathbg C}$, the herlitian $G$-vsztor bundle $\mu_{\maghbn C}$ is also ample. By adding a trivial romplzx line cundke to $\seta$, if nefessavf, we can moreover wssumg that there exidts a $G$-equivariant linear isomevcic embedding $j:F\tikes \undexline{{\msthbb R}}{\longridhtarrow}\mu=u\zetc$ of the trivkal ${\mathbb R}$-line uundle over $V$. The embeddith $j$ parametecizes a twiviql 1-dumensiovxl summand in $\ku$, and heuee a pincy map $p:S^\mu{\longrighbarrod}A^\mu\vee_X S^\mu$. The ‘pibch sum’
G$-cells, there are only finitely many conjugacy finite of $G$ occur as isotropy In the isotropy groups $X$ have bounded Since $G$ is discrete, Corollary 2.7 [@luck-oliver:completion] thus provides a hermitian $G$-vector bundle $\zeta$ over $X$ such that for point $x\in X$, the fiber $\zeta_x$ is a multiple of the regular representation the group In the $G_x$-action on $\zeta_x$ is faithful, and hence $\operatorname{Sym}(\zeta_x)$ is a complete complex $G_x$-universe, compare [@schwede:global So the bundle $\zeta$ is ample. \[prop:ample bundle\] $G$ be a discrete and $X$ a finite proper Then map ${\langle \operatorname{Vect}_G(X){\longrightarrow}{\mathbf{ku}}_G{\llbracket defined is additive. The in the group ${\mathbf{ku}}_G{\llbracket X\rrbracket}$ is defined by addition via a fiberwise pinch map. We will relate pinch sum different binary the sum’, an Eckmann-Hilton argument. bundle\] (ii) provides an ample hermitian over $X$. We let $\mu=u\zeta$ denote the underlying vector bundle. $\zeta$ embeds into $(u\zeta)_{\mathbb C}=\mu_{\mathbb C}$, hermitian $G$-vector bundle $\mu_{\mathbb C}$ is also ample. adding a trivial complex line bundle to $\zeta$, if necessary, we can moreover assume that a $G$-equivariant linear isometric $j:X\times \underline{{\mathbb R}}{\longrightarrow}\mu=u\zeta$ the ${\mathbb bundle $X$. The $j$ parameterizes a trivial 1-dimensional summand in $\mu$, and hence a map $p:S^\mu{\longrightarrow}S^\mu\vee_X S^\mu$. The ‘pinch sum’
G$-cells, there are only finitelY many conjuGacy cLasSes Of FiniTe suBgroups of $G$ that OCcur As isotropy groups of poinTs of $X$. in PArtiCUlAr, the IsotropY GrOUPs oF $X$ HaVe bOuNDeD ordeR. SiNce $G$ is dIscrete, CorOllArY 2.7 of [@luck-oliveR:CoMpletion] thUs pRovides a hermItiAn $G$-vecToR buNDle $\zeTa$ oVer $X$ sUch thaT For eveRy point $x\iN X$, THe fibeR $\Zeta_x$ is A MUlTiplE of the regular reprESeNTation of the isoTropy gRoUP $G_X$. iN paRtiCular, the $G_x$-AcTion oN $\Zeta_x$ is FAiTHFUl, aND hence $\operatoRname{Sym}(\zetA_X)$ is A complEtE coMPlex $G_x$-UniveRsE, ComPare [@schwede:GlobAl Rk.6.3.22]. So the Bundle $\ZEta$ is amPLe.

\[prop:aMple buNdlE\] LeT $G$ be A DiScRetE gROup ANd $x$ a fINitE proper $G$-cW-CoMplex. then THE MAp ${\laNglE -\ranGle}: \opEratorname{VecT}_G(X){\LongRIghTarroW}{\mathBf{ku}}_g{\lLbracKet X\rrBrackEt}$ Defined in is addiTive.

the sum in tHe gRoUp ${\mAtHbf{ku}}_g{\LlbracKet x\rrBracket}$ Is definED by AdDITIoN via a fiberwise pincH mAP. we Will relaTe the pINcH sUM to a diffErEnt BinaRY OperaTion, THe ‘Bundle suM’, by an ECKmAnN-Hilton ArGument.

prOpoSitIon \[prOP:uniVersal Bundle\] (ii) ProviDEs an ample hermiTIan $G$-vector bunDLe $\ZETa$ OVer $X$. we lEt $\mu=u\zeta$ deNote THe unDerlYInG euCLideaN vectOr BUnDLe. Because $\zeta$ embeds InTo $(u\zetA)_{\mathBb C}=\mu_{\mathbb C}$, tHe hermitiaN $g$-VEctor bunDle $\mU_{\MaTHbb C}$ is also amplE. By adDing a triviAL complex Line bUndle to $\zEta$, if neceSSAry, we can MorEovEr aSsuME ThAt there exists A $g$-EquiVaRiant liNeaR isometRic EmbEddIng $J:X\Times \undeRline{{\matHbB R}}{\LoNgRigHtarrOW}\mu=u\zeta$ Of The TrIviAl ${\matHBb R}$-linE bundLe ovEr $x$. THE emBedding $J$ PaRAMeteRiZeS a trIviAl 1-DimenSionAL suMmand in $\Mu$, and hencE a pINch mAp $P:S^\Mu{\longrIghtarrow}S^\mu\vEe_x S^\mu$. The ‘pinCh Sum’
G$-cells, there are only f initely ma ny co nju gac yclas sesof finite subg r oups  of $G$ that occur asisotr op y  gro u ps  of p oints o f  $ X $ . I npa rti cu l ar , the  is otropygroups of$X$  h ave boundedo rd er. Since$G$  is discrete , C orolla ry  2. 7  of [ @lu ck-ol iver:c o mpleti on] thuspr o videsa  hermit i a n$G$- vector bundle $\z e ta $  over $X$ such  thatfo r  e v e rypoi nt $x\in X $,  thef iber $\ z et a _ x $ i s  a multiple o f the regul a r r eprese nt ati o n of t he is ot r opy  group $G_x $. I n particu lar, t h e $G_x$ - actionon $\z eta _x$  isf ai th ful ,a ndh en ce$ \op eratorna me {S ym}(\ zeta _ x ) $  isa c ompl ete c omplex $G_x$- uni vers e , c ompar e [@s chwe de :glob al Rk. 6.3.2 2] . So the bundle  $\z eta$ is a mpl e. 

\ [p rop:a m ple bu ndl e\]  Let $G $ be ad isc re t e gr oup and $X$ a fini te p ro per $G$- CW-com p le x. Then the  m ap${\l a n gle - \ran g le }: \oper atorna m e{ Ve ct}_G(X ){ \longr ig hta rro w}{\m a thbf {ku}}_ G{\llbra cketX \rrbracket}$ d e fined in is a d di t i ve . 

Th e s um in the g roup ${\m athb f {k u}} _ G{\ll brack et X\ r rbracket}$ is defin ed  by ad ditio n via a fiber wise pinch m a p. We wi ll r e la t e the pinch su m toa differen t  binaryopera tion, th e ‘bundle s um’, byanEck man n-H i l to n argument.
P r opos it ion \[p rop :univer sal  bu ndl e\]  ( ii) provi des an a mp le  h er mit ian $ G $-vector  b und le  $\ zeta$ over $ X$. W e le t$\ m u=u \zeta$d en o t e th eun derl yin geucli dean vec tor bun dle. Beca use $\ze ta $embedsinto $(u\zeta )_ {\mathbb C }= \mu _{\mat h b b C}$, t he hermitian $G$-vector bundle$\m u_{\m athb b C}$ isals o ampl e.B y addi ng a t rivia lcom p l ex li n e  b und le  to $\zeta $ ,  if  nece ss ary,  we can  moreover assume t h atthere existsa $ G$-e q u iv ari a nt lin ea r  is o m etric embedding  $j:X\time s\ un derline{{\ m ath bb  R}}{\l ongrigh tarro w }\mu=u\ zeta$ ofthe trivi al  ${\ m a thb b R}$-line  bundleover $X$. The e m be dding  $j $ para me ter izesa triv i al1-dim ension al  summa nd in  $ \mu$, an d hence a pinch map $p: S^\mu{ \long rig htarrow}S ^\m u \ve e_X S^\mu $. T he ‘pinchsum ’
G$-cells, there_are only_finitely many conjugacy classes_of finite_subgroups_of $G$_that_occur as isotropy_groups of points_of $X$. In particular,_the isotropy groups_of_$X$ have bounded order. Since $G$ is discrete, Corollary 2.7 of [@luck-oliver:completion] thus provides_a_hermitian $G$-vector_bundle_$\zeta$_over $X$ such that for_every point $x\in X$, the_fiber $\zeta_x$_is a multiple of the regular representation of_the_isotropy group $G_x$._In particular, the $G_x$-action on $\zeta_x$ is faithful, and_hence $\operatorname{Sym}(\zeta_x)$ is a complete complex_$G_x$-universe, compare [@schwede:global_Rk.6.3.22]._So_the bundle $\zeta$ is_ample.

\[prop:ample bundle\] Let $G$ be a_discrete group and $X$ a finite_proper $G$-CW-complex. Then the map ${\langle -\rangle}:_\operatorname{Vect}_G(X){\longrightarrow}{\mathbf{ku}}_G{\llbracket X\rrbracket}$ defined in is additive.

The_sum in the group ${\mathbf{ku}}_G{\llbracket_X\rrbracket}$ is_defined by addition via a_fiberwise pinch map._We will_relate the pinch_sum to a different binary operation,_the ‘bundle sum’,_by an Eckmann-Hilton argument.

Proposition \[prop:universal bundle\]_(ii)_provides an ample_hermitian_$G$-vector_bundle $\zeta$_over $X$. We_let_$\mu=u\zeta$ denote_the_underlying euclidean vector bundle. Because $\zeta$_embeds_into $(u\zeta)_{\mathbb C}=\mu_{\mathbb C}$, the hermitian $G$-vector_bundle $\mu_{\mathbb C}$ is_also_ample. By adding a_trivial complex line bundle to_$\zeta$, if necessary, we can moreover_assume that_there exists_a $G$-equivariant linear isometric embedding $j:X\times \underline{{\mathbb R}}{\longrightarrow}\mu=u\zeta$ of the trivial_${\mathbb R}$-line bundle over $X$. The_embedding $j$ parameterizes a_trivial 1-dimensional_summand_in $\mu$, and_hence_a pinch_map $p:S^\mu{\longrightarrow}S^\mu\vee_X S^\mu$. The ‘pinch sum’