zebruch class, with $\theta(fh)=[fh]$ the relative fundamental class.

Moreover, these characteristic classes commute with the corresponding orientations $\theta$ of a smooth morphism (as already explained before). So we only have to show that

-   the corresponding Grothendieck transformation $$\ga_{c\ell}=:\La_y^{mot}: \bM(\m V/X  \xrightarrow{f}  Y) \to \bK(X  \xrightarrow{f}  Y)$$ from Corollary \[twisting\] vanishes on the subgroup $\mathbb {BL}(\m V/  X \xrightarrow{f}  Y)$, and

-   the relation $\ga_{T^*_y}=\tau\circ \La_y^{mot}$ up to the renormalization by the multiplication with $(1+y)^i$ on $\bH^i(-)\otimes \bQ[y]$.

\(i) : Let us identify the vector bundle $T^*_{fh}$ for the smooth morphism $fh: V\to Y$ with the corresponding locally free sheaf $\Omega^1_{fh}$ of sections given by the relative one-forms, so that $$\Lambda_y^{mot}([V \xrightarrow{h}  X]) := \sum_{p \geq 0} h_*([\Omega^p_{fh}]
\bullet \m O_{fh}) \cdot y^p\:.$$ Note that by the definition of relative perfectness, $D^b_{id-perf}(V)=D^b_{fh-perf}(V)$ for the smooth morphism $fh$, so that $$\bullet \m O_{fh}: \bK(V \xrightarrow{id_V}  V)=K_0(D^b_{id-perf}(V))
\xrightarrow{\sim}
K_0(D^b_{fh-perf}(V))=\bK(V \xrightarrow{fh}  X)\:,$$ with $h_*(\;-\; \bullet \m O_{fh})$ induced by the total direct image $$Rh_*: D^b_{id-perf}(V)= D^b_{fh-perf}(V)\to D^b_{f-perf}(X)\:.$$

Consider now a blow-up diagram $$\begin{CD}
E @> i'>> Bl_{S}X' \\
@V q' VV  @VV q
zebruch class, with $ \theta(fh)=[fh]$ the relative fundamental class. 

 furthermore, these characteristic class commute with the corresponding orientation $ \theta$ of a fluent morphism (as already explained ahead). indeed we only suffer to show that 

 -    the corresponding Grothendieck transformation $ $ \ga_{c\ell}=:\La_y^{mot }: \bM(\m V / X   \xrightarrow{f }   Y) \to \bK(X   \xrightarrow{f }   Y)$$ from Corollary \[twisting\ ] vanishes on the subgroup $ \mathbb { BL}(\m V/   X \xrightarrow{f }   Y)$, and 

 -    the relation back $ \ga_{T^*_y}=\tau\circ \La_y^{mot}$ up to the renormalization by the multiplication with $ (1+y)^i$ on $ \bH^i(-)\otimes \bQ[y]$. 

 \(i): Let us name the vector bundle $ T^*_{fh}$ for the smooth morphism $ fh: V\to Y$ with the comparable locally free bundle $ \Omega^1_{fh}$ of section given by the relative one - forms, so that $ $ \Lambda_y^{mot}([V \xrightarrow{h }   X ]): = \sum_{p \geq 0 } h_*([\Omega^p_{fh } ] 
 \bullet \m O_{fh }) \cdot y^p\:.$$ notice that by the definition of relative perfectness, $ D^b_{id - perf}(V)=D^b_{fh - perf}(V)$ for the smooth morphism $ fh$, so that $ $ \bullet \m O_{fh }: \bK(V \xrightarrow{id_V }   V)=K_0(D^b_{id - perf}(V) ) 
 \xrightarrow{\sim } 
 K_0(D^b_{fh - perf}(V))=\bK(V \xrightarrow{fh }   X)\:,$$ with $ h_*(\;-\; \bullet \m O_{fh})$ induced by the total direct persona $ $ Rh _ *: D^b_{id - perf}(V)= D^b_{fh - perf}(V)\to D^b_{f - perf}(X)\:.$$ 

 Consider now a blow - up diagram $ $ \begin{CD } 
 E @ > i' > > Bl_{S}X' \\ 
 @V q' VV   @VV q
zebguch class, with $\theta(fh)=[fm]$ the relative foneamentel clasa.

Moreovef, these characteristic classxs cimmutt with the correspovding orivntations $\theua$ of a smooth moclhism (as alrezfy erpoained before). Xo we only have to show dhxt

-   the corresponding Grothendieck twansforkahion $$\ga_{c\ell}=:\La_y^{iot}: \nI(\m V/S  \xrightarrow{f}  Y) \to \bK(X  \xrightadrow{f}  J)$$ from Corollary \[ywisting\] vanishes on the skbgrlup $\mathbb {BL}(\m V/  D \xrightarriw{f}  T)$, and

-   the felation $\ga_{T^*_y}=\tau\circ \Lz_y^{mot}$ up to the renormalization by tke multiplixarioj with $(1+y)^i$ on $\bH^i(-)\onimes \bQ[y]$.

\(i) : Lcn us idantify yhe vector buncle $T^*_{fy}$ for the smooth morpiism $fh: V\to Y$ with tre corres[ouding locally free shwad $\Omeca^1_{fh}$ of rwctkona jivsn by hhe relative kne-forms, so that $$\Lambda_y^{mot}([V \xtidytarrow{h}  X]) := \aum_{p \gqq 0} h_*([\Omega^p_{fh}]
\bullet \m O_{fh}) \cdot y^p\:.$$ Note thdt gy the definition of reoative perfectness, $D^b_{ld-perf}(V)=D^b_{sh-perf}(V)$ for the smooth morphism $fh$, so that $$\bullet \m O_{fi}: \cK(V \xvighgqrgow{id_V}  V)=K_0(D^b_{id-perf}(V))
\xrightarrow{\sim}
K_0(D^b_{fh-perf}(V))=\bK(D \xtinhtarrow{fh}  X)\:,$$ wibh $h_*(\;-\; \bullet \m O_{fh})$ onfuvgd by the totau direef jmage $$Rh_*: D^b_{id-perf}(V)= D^b_{fh-petf}(V)\to E^b_{f-perf}(X)\:.$$

Cjnsicer now a blow-up diagram $$\betin{CD}
E @> i'>> Bl_{F}Z' \\
@V q' VV  @VV q
zebruch class, with $\theta(fh)=[fh]$ the relative fundamental these classes commute the corresponding orientations (as explained before). So only have to that - the corresponding Grothendieck transformation \bM(\m V/X \xrightarrow{f} Y) \to \bK(X \xrightarrow{f} Y)$$ from Corollary \[twisting\] vanishes on subgroup $\mathbb {BL}(\m V/ X \xrightarrow{f} Y)$, and - the relation $\ga_{T^*_y}=\tau\circ \La_y^{mot}$ to renormalization the with $(1+y)^i$ on $\bH^i(-)\otimes \bQ[y]$. \(i) : Let us identify the vector bundle $T^*_{fh}$ for the morphism $fh: V\to Y$ with the corresponding locally sheaf $\Omega^1_{fh}$ of sections by the relative one-forms, so $$\Lambda_y^{mot}([V X]) := \geq h_*([\Omega^p_{fh}] \m O_{fh}) \cdot Note that by the definition of relative perfectness, $D^b_{id-perf}(V)=D^b_{fh-perf}(V)$ for the smooth morphism $fh$, so that $$\bullet O_{fh}: \bK(V \xrightarrow{\sim} K_0(D^b_{fh-perf}(V))=\bK(V X)\:,$$ $h_*(\;-\; \m O_{fh})$ induced total direct image $$Rh_*: D^b_{id-perf}(V)= D^b_{fh-perf}(V)\to a blow-up diagram $$\begin{CD} E @> i'>> Bl_{S}X' @V q' @VV q
zebruch class, with $\theta(fh)=[fh]$ The relativE fundAmeNtaL cLass.

moreOver, these charaCTeriStic classes commute with The coRrESponDInG orieNtationS $\ThETA$ of A sMoOth MoRPhIsm (as AlrEady expLained befoRe). SO wE only have to sHOw That

-   the corResPonding GrothEndIeck trAnSfoRMatioN $$\ga_{C\ell}=:\LA_y^{mot}: \bm(\M V/X  \xriGhtarrow{f}  y) \tO \BK(X  \xriGHtarrow{F}  y)$$ FrOm CoRollary \[twisting\] vaNIsHEs on the subgrouP $\mathbB {Bl}(\M V/  x \XRigHtaRrow{f}  Y)$, and

-   tHe RelatIOn $\ga_{T^*_y}=\tAU\cIRC \la_y^{MOt}$ up to the renoRmalization BY thE multiPlIcaTIon witH $(1+y)^i$ on $\BH^I(-)\OtiMes \bQ[y]$.

\(i) : Let uS ideNtify the vEctor bUNdle $T^*_{fh}$ FOr the smOoth moRphIsm $Fh: V\tO y$ wItH thE cORreSPoNdiNG loCally freE sHeAf $\OmeGa^1_{fh}$ OF SECtioNs gIven By the Relative one-foRms, So thAT $$\LaMbda_y^{Mot}([V \xRighTaRrow{h}  x]) := \sum_{p \gEq 0} h_*([\OmEgA^p_{fh}]
\bullet \m O_{fh}) \cDot y^P\:.$$ Note that By tHe DefInItion OF relatIve PerFectnesS, $D^b_{id-peRF}(V)=D^B_{fH-PERf}(v)$ for the smooth morphIsM $FH$, sO that $$\bulLet \m O_{fH}: \BK(v \xRIghtarroW{iD_V}  V)=k_0(D^b_{iD-PErf}(V))
\xRighTArRow{\sim}
K_0(D^B_{fh-perF}(v))=\bk(V \XrightaRrOw{fh}  X)\:,$$ wItH $h_*(\;-\; \bUllEt \m O_{fH})$ InduCed by tHe total dIrect IMage $$Rh_*: D^b_{id-perf}(v)= d^b_{fh-perf}(V)\to D^b_{F-PeRF}(x)\:.$$

CONsidEr nOw a blow-up diAgraM $$\BegiN{CD}
E @> I'>> bl_{s}X' \\
@V Q' vV  @VV q
zebruch class, with $\thet a(fh)=[fh] $ the  re lat iv e fu ndam ental class.
M oreo ver, these characteris tic c la s sesc om mutewith th e  c o r res po nd ing  o r ie ntati ons  $\thet a$ of a sm oot hmorphism (as al ready expl ain ed before).Sowe onl yhav e  to s how  that 

-  t he cor respondin gG rothen d ieck tr a n sf orma tion $$\ga_{c\ell } =: \ La_y^{mot}: \b M(\m V /X  \ x r igh tar row{f}  Y)  \ to \b K (X  \xr i gh t a r row { f}  Y)$$ from  Corollary\ [tw isting \]  va n isheson th es ubg roup $\math bb { BL}(\m V/   X \x r ightarr o w{f}  Y )$, an d
-  the re la tio n$ \ga _ {T ^*_ y }=\ tau\circ  \ La _y^{m ot}$ u p to t hereno rmali zation by the  mu ltip l ica tionwith$(1+ y) ^i$ o n $\bH ^i(-) \o times \bQ[y]$.
\(i ) : Let u s i de nti fy  thev ectorbun dle  $T^*_{ fh}$ fo r  th es m o ot h morphism $fh: V\ to Y $with the  corre s po nd i ng local ly  fr ee s h e af $\ Omeg a ^1 _{fh}$ o f sect i on sgiven b ythe re la tiv e o ne-fo r ms,so tha t $$\Lam bda_y ^ {mot}([V \xrig h tarrow{h}  X] )  : = \s u m_{p  \g eq 0} h_*([ \Ome g a^p_ {fh} ] 
\ bul l et \m  O_{f h} )  \ c dot y^p\:.$$ Note t ha t by t he de finition of r elative pe r f e ctness,$D^b _ {i d -perf}(V)=D^b_ {fh-p erf}(V)$ f o r the sm oothmorphism  $fh$, so t hat $$\b ull et\mO_{ f h }:  \bK(V \xrigh t a rrow {i d_V}  V )=K _0(D^b_ {id -pe rf} (V) )\xrightar row{\sim }K_ 0( D^ b_{ fh-pe r f}(V))=\ bK (V\x rig htarr o w{fh} X)\: ,$$wi th $h_ *(\;-\; \b u l let\m  O _{fh })$  i nduce d by the  totaldirect im age $$Rh _* :D^b_{id -perf}(V)= D^ b_ {fh-perf}( V) \to  D^b_{ f - perf}(X) \:.$$

Consider now a b l ow-up d iag ram $ $\be gin{CD}
E  @>  i'>>Bl_ { S}X' \ \
@V q ' VV @ VVq 
zebruch class,_with $\theta(fh)=[fh]$_the relative fundamental class.

Moreover,_these characteristic_classes_commute with_the_corresponding orientations $\theta$_of a smooth_morphism (as already explained_before). So we_only_have to show that

-   the corresponding Grothendieck transformation $$\ga_{c\ell}=:\La_y^{mot}: \bM(\m V/X _\xrightarrow{f}_ Y)_\to_\bK(X_ \xrightarrow{f}  Y)$$ from_Corollary \[twisting\] vanishes on the_subgroup $\mathbb_{BL}(\m V/  X \xrightarrow{f}  Y)$, and

-__ the relation_$\ga_{T^*_y}=\tau\circ \La_y^{mot}$ up to the renormalization by the multiplication_with $(1+y)^i$ on $\bH^i(-)\otimes \bQ[y]$.

\(i) :_Let us identify_the_vector_bundle $T^*_{fh}$ for the_smooth morphism $fh: V\to Y$ with_the corresponding locally free sheaf $\Omega^1_{fh}$_of sections given by the relative one-forms,_so that $$\Lambda_y^{mot}([V \xrightarrow{h}  X])_:= \sum_{p \geq 0} h_*([\Omega^p_{fh}]
\bullet_\m O_{fh})_\cdot y^p\:.$$ Note that by_the definition of_relative perfectness,_$D^b_{id-perf}(V)=D^b_{fh-perf}(V)$ for the_smooth morphism $fh$, so that $$\bullet_\m O_{fh}: \bK(V_\xrightarrow{id_V}  V)=K_0(D^b_{id-perf}(V))
\xrightarrow{\sim}
K_0(D^b_{fh-perf}(V))=\bK(V \xrightarrow{fh}  X)\:,$$_with_$h_*(\;-\; \bullet \m_O_{fh})$_induced_by the_total direct image_$$Rh_*:_D^b_{id-perf}(V)= D^b_{fh-perf}(V)\to_D^b_{f-perf}(X)\:.$$

Consider_now a blow-up diagram $$\begin{CD}
E @>_i'>>_Bl_{S}X' \\
@V q' VV  @VV q