,$$ where $s_\psi\in{\mathfrak{S}}_\psi$ is determined by the global parameter $\psi$ (if we see global parameters as morphisms $\psi:{{\mathscr}{L}}_{\mathbb{Q}}\times{{\mathbf}{SL}}_2({\mathbb{C}}){\longrightarrow}{}^L{{\mathbf}G}$, then $s_\psi$ is the image by $\psi$ of the nontrivial central element of ${{\mathbf}{SL}}_2({\mathbb{C}})$) and $\lambda_{\pi_\infty}$ is the character of ${\mathfrak{S}}_{\psi_\infty}\supset{\mathfrak{S}}_\psi$ defined on page 195 of [@K-SVLR]. But lemma 9.2 of [@K-SVLR] implies that the product $\lambda_{\pi_\infty}\langle.,\pi_\infty\rangle$ is independent of $\pi_\infty$ in the Arthur packet of $\psi_\infty$, so the restriction of $\lambda_{\pi_\infty}$ to ${\mathfrak{S}}_\psi$ depends only on $\pi_f$. This implies that the parity of $R$ depends only on $\pi_f$, which gives Theorem \[thC\].

We have to be a bit careful if ${{\mathbf}G}$ is a quasi-split even special orthogonal group, because in that case Arthur proved his conjectures only up to conjugacy by the quasi-split even orthogonal group ${{\mathbf}G}'\supset{{\mathbf}G}$. But, if $\pi_\infty$ is a representation of ${{\mathbf}G}({\mathbb{R}})$ with nonzero $({\mathfrak{g}},{\mathrm{K}}'_\infty)$-cohomology, then the integer $R$ associated to $\pi_\infty$ as above does not change if we replace $\pi_\infty$ by a ${{\mathbf}G}'({\mathbb{R}})$-conjugate (because the relevant pair $(L,Q)$ is just replaced by a ${{\mathbf}G}'({\mathbb{R}})$-conjugate). So the proof above still applies.

Künneth conjecture and finite correspondences
=============================================

From the proofs of the theorem of Katz and Messing and that of ours, one may wonder if the Künneth conjecture or the sign conjecture can be proved for more general projective smooth varieties, only using finite correspondences. More precisely, consider the ${\mathbb{Q}}$-subspace $$Z_{\mathrm{fin}, {\mathrm{H}}^{\ast}}^d \subseteq {\mathrm{H}}^{2d}(
, $ $ where $ s_\psi\in{\mathfrak{S}}_\psi$ is determined by the global parameter $ \psi$ (if we see ball-shaped argument as morphisms $ \psi:{{\mathscr}{L}}_{\mathbb{Q}}\times{{\mathbf}{SL}}_2({\mathbb{C}}){\longrightarrow}{}^L{{\mathbf}G}$, then $ s_\psi$ is the image by $ \psi$ of the nontrivial central chemical element of $ { { \mathbf}{SL}}_2({\mathbb{C}})$) and $ \lambda_{\pi_\infty}$ is the quality of $ { \mathfrak{S}}_{\psi_\infty}\supset{\mathfrak{S}}_\psi$ defined on page 195 of [ @K - SVLR ]. But lemma 9.2 of [ @K - SVLR ] implies that the intersection $ \lambda_{\pi_\infty}\langle. ,\pi_\infty\rangle$ is autonomous of $ \pi_\infty$ in the Arthur packet of $ \psi_\infty$, so the restriction of $ \lambda_{\pi_\infty}$ to $ { \mathfrak{S}}_\psi$ depends only on $ \pi_f$. This implies that the parity bit of $ R$ depends only on $ \pi_f$, which gives Theorem \[thC\ ]. 

 We have to be a morsel careful if $ { { \mathbf}G}$ is a quasi - split even limited orthogonal group, because in that case Arthur prove his conjectures only up to conjugacy by the quasi - split even extraneous group $ { { \mathbf}G}'\supset{{\mathbf}G}$. But, if $ \pi_\infty$ is a representation of $ { { \mathbf}G}({\mathbb{R}})$ with nonzero $ ({ \mathfrak{g}},{\mathrm{K}}'_\infty)$-cohomology, then the integer $ R$ associated to $ \pi_\infty$ as above does not switch if we replace $ \pi_\infty$ by a $ { { \mathbf}G}'({\mathbb{R}})$-conjugate (because the relevant couple $ (L, Q)$ is just substitute by a $ { { \mathbf}G}'({\mathbb{R}})$-conjugate). So the proof above still apply. 

 Künneth conjecture and finite correspondences 
 = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = 

 From the proofs of the theorem of Katz and Messing and that of ours, one may wonder if the Künneth conjecture or the sign speculation can be proved for more general projective smooth varieties, only using finite correspondences. More precisely, consider the $ { \mathbb{Q}}$-subspace $ $ Z_{\mathrm{fin }, { \mathrm{H}}^{\ast}}^d \subseteq { \mathrm{H}}^{2d } (
,$$ whfre $s_\psi\in{\mathfrak{S}}_\psi$ ir determined by the glmbal pzrameter $\psi$ (if we see global paramevers as mirphisms $\psi:{{\mathscr}{L}}_{\maghbb{Q}}\timed{{\mathbf}{SO}}_2({\matibb{C}}){\longrightarrow}{}^L{{\mathbn}Y}$, theh $s_\psn$ ms the image by $\psi$ of tha nontrivial cangrcl element of ${{\mathbf}{SL}}_2({\mathbb{C}})$) and $\laibda_{\pi_\imfhy}$ is the charwcteg jf ${\mznhnrak{S}}_{\psi_\infty}\supset{\mathfrak{S}}_\psi$ sefined on page 195 of [@L-SVLR]. But lemma 9.2 of [@K-SVLR] lmplles that the produft $\lambda_{\pi_\unftr}\oangle.,\pi_\infth\rangle$ is independent of $\pi_\infty$ in the Arthur packeg of $\'si_\infty$, so tye ggstriction oh $\lambqa_{\pi_\infty}$ to ${\mathfran{S}}_\psi$ drpends only on $\pi_h$. Thus implies that the perity of $R$ depends ogly on $\pi_x$, chich gives Theorem \[tyC\].

Qe haee tm be q bkt dacefhl if ${{\latibf}G}$ is a qhasi-split ecen special orthogomaj group, becauss in trae case Arthur proved his conjectures onny hp to conjugacy by the wuasi-split even orthohonal grotp ${{\mathbf}G}'\supset{{\mathbf}G}$. But, if $\pi_\infty$ is a repreventaviun if ${{\oqtjbf}G}({\mathbb{R}})$ with nonzero $({\mathfrak{g}},{\mathrm{K}}'_\inftr)$-donokology, then thc integer $R$ associstfd jo $\pi_\infty$ as xbove bkea not change if we replacg $\pi_\indty$ by a ${{\iathnf}G}'({\mathbb{R}})$-conjugate (because the relevann paur $(L,Q)$ is just replcced by a ${{\machbf}G}'({\msthbb{T}})$-conjugate). So the proof abobe still apolies.

Künneff conjecture and fikita correskundences
=============================================

From the [roofs of the theoreo of Katz wnd Messinh and that of ours, one mwy wouder hf the Künnfth conjecture or the sign conjxrture can be kroeed for morz geneval projective fmooth varietigs, only ufing winite corgespondenres. More presisely, considat the ${\mathbb{Q}}$-vubspace $$Z_{\marhrm{din}, {\matffm{H}}^{\ast}}^d \subsetrq {\mathrm{K}}^{2b}(
,$$ where $s_\psi\in{\mathfrak{S}}_\psi$ is determined by the $\psi$ we see parameters as morphisms image $\psi$ of the central element of and $\lambda_{\pi_\infty}$ is the character of defined on page 195 of [@K-SVLR]. But lemma 9.2 of [@K-SVLR] implies that product $\lambda_{\pi_\infty}\langle.,\pi_\infty\rangle$ is independent of $\pi_\infty$ in the Arthur packet of $\psi_\infty$, so restriction $\lambda_{\pi_\infty}$ ${\mathfrak{S}}_\psi$ only on $\pi_f$. This implies that the parity of $R$ depends only on $\pi_f$, which gives \[thC\]. We have to be a bit careful ${{\mathbf}G}$ is a quasi-split special orthogonal group, because in case proved his only to by the quasi-split orthogonal group ${{\mathbf}G}'\supset{{\mathbf}G}$. But, if $\pi_\infty$ is a representation of ${{\mathbf}G}({\mathbb{R}})$ with nonzero $({\mathfrak{g}},{\mathrm{K}}'_\infty)$-cohomology, then the integer associated to above does change we $\pi_\infty$ by a the relevant pair $(L,Q)$ is just ${{\mathbf}G}'({\mathbb{R}})$-conjugate). So the proof above still applies. Künneth and finite ============================================= From the proofs of the of Katz and Messing and that of ours, may wonder if the Künneth conjecture or the sign conjecture can be proved for more smooth varieties, only using correspondences. More precisely, the $$Z_{\mathrm{fin}, \subseteq
,$$ where $s_\psi\in{\mathfrak{S}}_\psi$ is Determined By the GloBal PaRameTer $\pSi$ (if we see globaL ParaMeters as morphisms $\psi:{{\maThscr}{l}}_{\mAThbb{q}}\TiMes{{\maThbf}{SL}}_2({\mAThBB{c}}){\loNgRiGhtArROw}{}^l{{\mathBf}G}$, Then $s_\psI$ is the imagE by $\PsI$ of the nontriVIaL central elEmeNt of ${{\mathbf}{SL}}_2({\MatHbb{C}})$) anD $\lAmbDA_{\pi_\inFty}$ Is the CharacTEr of ${\maThfrak{S}}_{\psI_\iNFty}\supSEt{\mathfRAK{S}}_\Psi$ dEfined on page 195 of [@K-SVlr]. BUT lemma 9.2 of [@K-SVLR] iMplies ThAT tHE ProDucT $\lambda_{\pi_\iNfTy}\lanGLe.,\pi_\infTY\rANGLe$ iS Independent of $\Pi_\infty$ in thE artHur pacKeT of $\PSi_\inftY$, so thE rEStrIction of $\lamBda_{\pI_\infty}$ to ${\mAthfraK{s}}_\psi$ depENds only On $\pi_f$. THis ImpLies THaT tHe pArITy oF $r$ dEpeNDs oNly on $\pi_f$, WhIcH giveS TheOREM \[ThC\].

WE haVe to Be a biT careful if ${{\matHbf}g}$ is a QUasI-spliT even SpecIaL orthOgonal Group, BeCause in that case arthUr proved hIs cOnJecTuRes onLY up to cOnjUgaCy by the Quasi-spLIt eVeN ORThOgonal group ${{\mathbf}G}'\SuPSEt{{\Mathbf}G}$. BUt, if $\pi_\INfTy$ IS a represEnTatIon oF ${{\MAthbf}g}({\matHBb{r}})$ with nonZero $({\maTHfRaK{g}},{\mathrM{K}}'_\Infty)$-cOhOmoLogY, then THe inTeger $R$ AssociatEd to $\pI_\Infty$ as above doES not change if wE RePLAcE $\Pi_\inFty$ By a ${{\mathbf}G}'({\mAthbB{r}})$-conJugaTE (bEcaUSe the RelevAnT PaIR $(L,Q)$ is just replaced by A ${{\mAthbf}G}'({\MathbB{R}})$-conjugate). So The proof abOVE Still appLies.

kÜnNEth conjecture aNd finIte correspONdences
=============================================

FRom thE proofs oF the theorEM Of Katz anD MeSsiNg aNd tHAT oF ours, one may woNDEr if ThE KünnetH coNjecturE or The SigN coNjEcture can Be proved FoR mOrE gEneRal prOJective sMoOth VaRieTies, oNLy usinG finiTe coRrEsPOndEnces. MoRE pRECiseLy, CoNsidEr tHe ${\MathbB{Q}}$-suBSpaCe $$Z_{\mathRm{fin}, {\mathRm{H}}^{\ASt}}^d \sUbSeTeq {\mathRm{H}}^{2d}(
,$$ where $s_\psi\in{\math frak{S}}_\ psi$isdet er mine d by  the global pa r amet er $\psi$ (if we see g lobal  p a rame t er s asmorphis m s$ \ psi :{ {\ mat hs c r} {L}}_ {\m athbb{Q }}\times{{ \ma th bf}{SL}}_2({ \ ma thbb{C}}){ \lo ngrightarrow }{} ^L{{\m at hbf } G}$,the n $s_ \psi$i s theimage by$\ p si$ of the non t r iv ialcentral element o f  $ { {\mathbf}{SL}} _2({\m at h bb { C }}) $)and $\lamb da _{\pi _ \infty} $  i s t hec haracter of $ {\mathfrak{ S }}_ {\psi_ \i nft y }\sups et{\m at h fra k{S}}_\psi$  def ined on p age 19 5  of [@K - SVLR].But le mma  9. 2 of [@ K- SVL R] imp l ie s t h atthe prod uc t$\lam bda_ { \ p i _\in fty }\la ngle. ,\pi_\infty\r ang le$i s i ndepe ndent  of$\ pi_\i nfty$in th eArthur packet o f $\ psi_\inft y$,  s o t he  rest r iction  of  $\ lambda_ {\pi_\i n fty }$ t o  $ {\mathfrak{S}}_\ps i$ d ep ends onl y on $ \ pi _f $ . This i mp lie s th a t  thepari t yof $R$ d epends on ly  on $\p i_ f$, wh ic h g ive s The o rem\[thC\ ].

We h ave t o  be a bit care f ul if ${{\mat h bf } G }$ is a  qu asi-split e vens peci al o r th ogo n al gr oup,be c au s e in that case Arth ur  prove d his  conjecturesonly up to c o njugacyby t h eq uasi-split eve n ort hogonal gr o up ${{\m athbf }G}'\sup set{{\mat h b f}G}$. B ut,  if  $\ pi_ \ i nf ty$ is a repr e s enta ti on of $ {{\ mathbf} G}( {\m ath bb{ R} })$ withnonzero$( {\ ma th fra k{g}} , {\mathrm {K }}' _\ inf ty)$- c ohomol ogy,then  t he int eger $R $  a s s ocia te dto $ \pi _\ infty $ as abo ve does  not chan gei f we  r ep lace $\ pi_\infty$ by  a  ${{\mathb f} G}' ({\mat h b b{R}})$- conjugate (because ther elevant  pa ir $( L,Q) $ is just  re placed  by a ${{\ mathbf }G}'( {\ mat h b b{R}} ) $ -c onj ug ate). So t h e  pr oof a bo ve s till ap plies.

Künneth co n jec ture and fini tecorr e s po nde n ce s 
== == = === = = =============== ========== == = == =====

Fro m  th eproofsof thetheor e m of Ka tz and Me ssing and  t hato f  ou rs, one ma y wonder  if the K ü nneth co nject ure  or th esig n con jectur e  ca n beproved  f or mor e gen er al proje ctive smooth varieties,  onlyusing  fi nite corr esp o nde nces. Mor e pr ecisely, c ons ide r the  ${ \ mathb b{Q} } $- sub s pace$$Z_ { \mathrm{f i n} , { \ m at hrm{H}}^{\a s t } }^d  \sub set e q {\ma thrm {H}}^{2d}(
,$$ where_$s_\psi\in{\mathfrak{S}}_\psi$ is_determined by the global_parameter $\psi$_(if_we see_global_parameters as morphisms_$\psi:{{\mathscr}{L}}_{\mathbb{Q}}\times{{\mathbf}{SL}}_2({\mathbb{C}}){\longrightarrow}{}^L{{\mathbf}G}$, then $s_\psi$_is the image by_$\psi$ of the_nontrivial_central element of ${{\mathbf}{SL}}_2({\mathbb{C}})$) and $\lambda_{\pi_\infty}$ is the character of ${\mathfrak{S}}_{\psi_\infty}\supset{\mathfrak{S}}_\psi$ defined on page_195_of [@K-SVLR]._But_lemma_9.2 of [@K-SVLR] implies that_the product $\lambda_{\pi_\infty}\langle.,\pi_\infty\rangle$ is independent_of $\pi_\infty$_in the Arthur packet of $\psi_\infty$, so the_restriction_of $\lambda_{\pi_\infty}$ to_${\mathfrak{S}}_\psi$ depends only on $\pi_f$. This implies that the_parity of $R$ depends only on_$\pi_f$, which gives_Theorem_\[thC\].

We_have to be a_bit careful if ${{\mathbf}G}$ is a_quasi-split even special orthogonal group, because_in that case Arthur proved his conjectures_only up to conjugacy by the_quasi-split even orthogonal group ${{\mathbf}G}'\supset{{\mathbf}G}$._But, if_$\pi_\infty$ is a representation of_${{\mathbf}G}({\mathbb{R}})$ with nonzero_$({\mathfrak{g}},{\mathrm{K}}'_\infty)$-cohomology, then_the integer $R$_associated to $\pi_\infty$ as above does_not change if_we replace $\pi_\infty$ by a ${{\mathbf}G}'({\mathbb{R}})$-conjugate_(because_the relevant pair_$(L,Q)$_is_just replaced_by a ${{\mathbf}G}'({\mathbb{R}})$-conjugate)._So_the proof_above_still applies.

Künneth conjecture and finite correspondences
=============================================

From_the_proofs of the theorem of Katz and_Messing and that of_ours,_one may wonder if_the Künneth conjecture or the_sign conjecture can be proved for_more general_projective smooth_varieties, only using finite correspondences. More precisely, consider the ${\mathbb{Q}}$-subspace $$Z_{\mathrm{fin},_{\mathrm{H}}^{\ast}}^d \subseteq {\mathrm{H}}^{2d}(