 function. The case of a tensor-valued distribution function, even though it is the less trivial part, is treated in appendix \[AppGTtensor\]. We then infer what should be the transformation rule of the Liouville and collision operators, and in order to complete the consistency test, we check that the perturbed expressions of the Liouville and collision operators do indeed transform following these rules.

Coordinates on the manifold
---------------------------

We need to specify how the functional dependence of the quantities appearing in the Boltzmann equation (and in the Einstein equation) is obtained. If we consider a scalar function $f:{\cal M}\mapsto {\mathbb{R}}$ on the space-time manifold ${\cal M}$, then the choice of a coordinates system [^1] $c:{\mathbb{R}}^4 \mapsto {\cal M}$ does not affect the geometrical meaning of this function, but it affects its functional form $f \circ c:{\mathbb{R}}^4 \mapsto {\mathbb{R}}$, where $\circ$ designates the composition rule, in the sense that for another coordinates system $\tilde c:{\mathbb{R}}^4 \mapsto {\cal M}$, then $f\circ \tilde c \neq f \circ c$. The confusion only arises from the fact that we often refer to $f \circ c$ as $f$ only. A distribution function $f$ (that we take as a scalar-valued for simplicity here) is a function on the tangent bundle $T {\cal M}$ of the manifold and can be regarded as a function on manifold ${\cal M}$ describing the space-time and on the tangent space ${\mathbb{R}}^4$ (more precisely a restriction to the mass shell ${\mathbb{R}}^3$) of each point. It is thus a function $$f: (T{\cal M})\mapsto {\mathbb{R}}\,.$$ Again the particular choice of coordinates on the tangent space does not affect the geometrical meaning of the function but its functional form. Once a choice $c$ of coordinates on the manifold ${\cal M}$ has been made, there is a natural basis, called canonical basis, that is made of the partial derivatives with respect to the coordinates. This leads to a natural coordinates system $Tc$ for the tangent space at each point. Thus $(c,Tc) : {\mathbb{R}}^4 \times {\mathbb{R}}^3 \mapsto T{\cal M}$, is a coordinates system for the tangent bundle. In order to simplify the notation we will note $(c
function. The case of a tensor - valued distribution function, even though it is the less fiddling character, is treated in appendix   \[AppGTtensor\ ]. We then infer what should be the transformation rule of the Liouville and collision operator, and in order to complete the consistency examination, we discipline that the perturbed expression of the Liouville and collision operators do indeed transform keep up these rules. 

 Coordinates on the manifold 
 --------------------------- 

 We want to intend how the functional dependence of the quantities appearing in the Boltzmann equation (and in the Einstein equality) is obtained. If we consider a scalar function $ f:{\cal M}\mapsto { \mathbb{R}}$ on the distance - time manifold $ { \cal M}$, then the choice of a coordinate system [ ^1 ] $ c:{\mathbb{R}}^4 \mapsto { \cal M}$ does not feign the geometrical meaning of this routine, but it affects its functional form $ f \circ c:{\mathbb{R}}^4 \mapsto { \mathbb{R}}$, where $ \circ$ delegate the composition rule, in the sense that for another coordinates system $ \tilde c:{\mathbb{R}}^4 \mapsto { \cal M}$, then $ f\circ \tilde c \neq f \circ c$. The confusion merely arises from the fact that we often refer to $ f \circ c$ as $ f$ only. A distribution function $ f$ (that we take as a scalar - valued for simplicity here) is a function on the tangent bundle $ T { \cal M}$ of the manifold paper and can be see as a function on manifold $ { \cal M}$ identify the quad - time and on the tangent space $ { \mathbb{R}}^4 $ (more precisely a restriction to the bulk shell $ { \mathbb{R}}^3 $) of each point. It is thus a function $ $ f: (T{\cal M})\mapsto { \mathbb{R}}\,.$$ Again the especial choice of coordinates on the tangent space does not affect the geometrical meaning of the function but its running form. Once a choice $ c$ of coordinates on the manifold $ { \cal M}$ has been made, there is a natural basis, call canonical basis, that is made of the partial derivatives with deference to the coordinates. This leads to a natural coordinates system $ Tc$ for the tangent space at each point. Thus $ (deoxycytidine monophosphate, Tc): { \mathbb{R}}^4 \times { \mathbb{R}}^3 \mapsto T{\cal M}$, is a coordinates system for the tangent bundle. In order to simplify the note we will note $ (c
 fujction. The case of a tenror-valued distrnvution functjon, even though it is the less triviel pqrt, iw treated in appendix \[AopGTtensog\]. We then inftr what should be the trakfforjwtiou cule of the Liooville and cmllision operadofs, and in order to complete the consiftency yedt, we check thwt tnq pednuvbed expressions of the Liouvills and cmllision operstors do indeed transform volllwing these rules.

Clordinates in trw manifold
---------------------------

We need to skeeify how thg functional dependence of the qjanticies appearunt ij the Boltzmenn eqlation (and in the Einvtein eauation) is obtsinxd. Id we consider a scalac function $f:{\cal M}\mapfto {\mathbt{R}}$ on the space-time mqnifond ${\cdl M}$, rhev tge cgoice lf e coordinatss system [^1] $x:{\mathbb{R}}^4 \mapsto {\cal M}$ eoes not affedt the gqometrical meaning of this function, but it affects its functional form $f \circ c:{\mathbb{R}}^4 \mapsto {\mwthbb{R}}$, where $\circ$ designates the composition rule, in tie seuwe thxr vor another coordinates system $\tilde c:{\mathbb{R}}^4 \jakstp {\cal M}$, then $f\girc \tilde c \neq f \clrv c$. The confuskon only zrises from the faft that we odten refew to $f \circ c$ as $f$ only. A distrubution funcnion $f$ (that we take as a scalar-vauued for ximplicity here) is a fuuction on the tanhent bundmd $T {\cal M}$ of the makifmld and can be regarded as a functiin ou manifoud ${\csl M}$ dqscribing hhe sidce-time and on the tanggnt spdce ${\mathbb{G}}^4$ (more precisely a restriction vp the mass snenl ${\kathbb{R}}^3$) jf eagh point. It is ehus a functiou $$f: (T{\cal M})\maprto {\mathbb{G}}\,.$$ Again tie particulaw choice of cmlrdinates on the tandent spaxe does vot affect the geometribaj meqning of the functlon bot its functional fotn. Once a choicr $c$ of clocdinaeas on the matifoud ${\zsl M}$ fas been mabe, thete is a natural basiv, camled canonical basos, that is made of the partial cerivatives with rtspect to the vootdinates. This leads to a naturam coordinwtef system $Tc$ sor bhe jangent spaee at each point. Thus $(c,Tc) : {\mathbb{R}}^4 \times {\mathbb{R}}^3 \mapsto T{\cql M}$, is a coordinatgs xystem for vhe taggent bungle. In order to simpoify the notation we will note $(c
function. The case of a tensor-valued distribution though is the trivial part, is then what should be transformation rule of Liouville and collision operators, and in to complete the consistency test, we check that the perturbed expressions of the and collision operators do indeed transform following these rules. Coordinates on the manifold We to how functional dependence of the quantities appearing in the Boltzmann equation (and in the Einstein equation) is If we consider a scalar function $f:{\cal M}\mapsto on the space-time manifold M}$, then the choice of coordinates [^1] $c:{\mathbb{R}}^4 {\cal does affect the geometrical of this function, but it affects its functional form $f \circ c:{\mathbb{R}}^4 \mapsto {\mathbb{R}}$, where $\circ$ designates composition rule, sense that another system c:{\mathbb{R}}^4 \mapsto {\cal $f\circ \tilde c \neq f \circ only arises from the fact that we often to $f c$ as $f$ only. A distribution $f$ (that we take as a scalar-valued for here) is a function on the tangent bundle $T {\cal M}$ of the manifold and regarded as a function manifold ${\cal M}$ the and the space ${\mathbb{R}}^4$ precisely a restriction to the mass shell ${\mathbb{R}}^3$) of each point. is thus a function $$f: (T{\cal M})\mapsto {\mathbb{R}}\,.$$ Again the of on the tangent does not affect the meaning the function but its Once choice on manifold M}$ has been made, is a natural basis, called basis, that is made respect to the coordinates. This leads to a coordinates system $Tc$ for the tangent space each point. Thus $(c,Tc) : {\mathbb{R}}^4 \times {\mathbb{R}}^3 \mapsto T{\cal M}$, is coordinates system tangent bundle. In order to simplify the notation will note $(c
 function. The case of a tensor-vAlued distrIbutiOn fUncTiOn, evEn thOugh it is the lesS TrivIal part, is treated in appeNdix \[APpgttenSOr\]. we theN infer wHAt SHOulD bE tHe tRaNSfOrmatIon Rule of tHe LiouvillE anD cOllision operAToRs, and in ordEr tO complete the ConSistenCy TesT, We cheCk tHat thE pertuRBed expRessions oF tHE LiouvILle and cOLLiSion Operators do indeed TRaNSform following These rUlES.

COORdiNatEs on the manIfOld
---------------------------

We NEed to spECiFY HOw tHE functional dePendence of tHE quAntitiEs AppEAring iN the BOlTZmaNn equation (aNd in The EinsteIn equaTIon) is obTAined. If We consIdeR a sCalaR FuNcTioN $f:{\CAl M}\MApSto {\MAthBb{R}}$ on the SpAcE-time ManiFOLD ${\Cal M}$, TheN the ChoicE of a coordinatEs sYsteM [^1] $C:{\maThbb{R}}^4 \MapstO {\cal m}$ dOes noT affecT the gEoMetrical meaning Of thIs functioN, buT iT afFeCts itS FunctiOnaL foRm $f \circ C:{\mathbb{r}}^4 \MapStO {\MAThBb{R}}$, where $\circ$ designAtES ThE composiTion ruLE, iN tHE sense thAt For AnotHER coorDinaTEs System $\tiLde c:{\maTHbB{R}}^4 \Mapsto {\cAl m}$, then $f\CiRc \tIldE c \neq F \Circ C$. The coNfusion oNly arISes from the fact THat we often refER tO $F \CiRC c$ as $F$ onLy. A distribuTion FUnctIon $f$ (THaT we TAke as A scalAr-VAlUEd for simplicity here) Is A functIon on The tangent bunDle $T {\cal M}$ of THE Manifold And cAN bE Regarded as a funCtion On manifold ${\CAl M}$ descrIbing The space-Time and on THE tangent SpaCe ${\mAthBb{R}}^4$ (MORe Precisely a resTRIctiOn To the maSs sHell ${\matHbb{r}}^3$) of EacH poInT. It is thus A functioN $$f: (t{\cAl m})\mApsTo {\matHBb{R}}\,.$$ Again ThE paRtIcuLar chOIce of cOordiNateS oN tHE taNgent spACe DOEs noT aFfEct tHe gEoMetriCal mEAniNg of the Function bUt iTS funCtIoNal form. once a choice $c$ oF cOordinates On The ManifoLD ${\Cal M}$ has bEen made, there is a natural bASis, callEd cAnoniCal bAsis, that iS maDe of thE paRTial deRivatiVes wiTh ResPECt to tHE CoOrdInAtes. This leADS to A natuRaL cooRdinateS system $Tc$ for the tanGEnt Space at each poInt. thus $(C,tC) : {\mAthBB{R}}^4 \TImeS {\mAThbB{r}}^3 \Mapsto T{\cal M}$, is a cOordinates SySTeM for the tanGEnt BuNdle. In oRder to sImpliFY the notAtion we wiLl note $(c
 function. The case of a t ensor-valu ed di str ibu ti on f unct ion, even thou g h it  is the less trivial p art,is trea t ed  in a ppendix \[ A p pGT te ns or\ ]. We  then  in fer wha t should b e t he  transformat i on  rule of t heLiouville an d c ollisi on  op e rator s,and i n orde r  to co mplete th ec onsist e ncy tes t ,  w e ch eck that the pert u rb e d expressionsof the  L i ou v i lle  an d collisio nopera t ors doi nd e e d  tr a nsform follow ing these r u les .

Coo rd ina t es onthe m an i fol d
--------- ---- --------- -----We need to spec ify ho w t hefunc t io na l d ep e nde n ce  of the  quantit ie sappea ring i n theBol tzma nn eq uation (and i n t he E i nst ein e quati on)is  obta ined.If we  c onsider a scala r fu nction $f :{\ ca l M }\ mapst o  {\mat hbb {R} }$ on t he spac e -ti me m a ni fold ${\cal M}$, t he n th e choice  of ac oo rd i nates sy st em[^1] $ c:{\m athb b {R }}^4 \ma psto { \ ca lM}$ doe snot af fe ctthe  geom e tric al mea ning ofthisf unction, but i t  affects itsf un c t io n al f orm  $f \circ c :{\m a thbb {R}} ^ 4\ma p sto { \math bb { R} } $, where $\circ$ de si gnates  thecomposition r ule, in th e s ense tha t fo r  a n other coordina tes s ystem $\ti l de c:{\m athbb {R}}^4 \ mapsto {\ c a l M}$, t hen  $f \ci rc\ t il de c \neq f \ c i rc c $.  The co nfu sion on lyari ses  fr om  the fact  that we  o ft en  r efe r to$ f \circc$  as  $ f$only. A dist ribut ionfu nc t ion  $f$ (t h at w e ta ke  a s asca la r-val uedf orsimplic ity here)  is a fu nc ti on on t he tangent bu nd le $T {\ca lM}$  of th e manifold  and can be regarded as a funct ion  on m anif old ${\ca l M }$ des cri b ing th e spac e-tim eand o n the t an gen tspace ${\m a t hbb {R}}^ 4$  (mo re prec isely a restrictio n  to  the mass she ll${\m a t hb b{R } }^ 3 $)of eac h point. It is th us a funct io n  $ $f: (T{\ca l  M} )\ mapsto{\mathb b{R}} \ ,.$$ Ag ain the p articular  c hoic e ofcoordinate s on the  tangents paced oe s not  af fect t he  ge ometr ical m e ani ng of  the f un ctionbut i ts  functio nal form. Once a choice  $c$ o f coo rdi nates onthe man ifold ${\ calM}$ has be enmad e, th ere is anatu r al  ba s is, c alle d  canonica l  b asi s ,  t hat is made o f  th e par tia l  deriv ativ es with respect t o  the coordinat es.T h islea d s to  a  natural coord ina te s system $ Tc $ for the t angent s pa c e ateach p oint.Thus $( c , Tc )  : {\m athb b{R }}^4 \tim es{\ m athbb{R }} ^3 \mapst o T{ \c al M}$ , is a coor d i nates system for  thet a ngent bun dle.In  ordert o si mplify the  notation w e will  not e $(c 
 function._The case_of a tensor-valued distribution_function, even_though_it is_the_less trivial part,_is treated in_appendix \[AppGTtensor\]. We then infer_what should be_the_transformation rule of the Liouville and collision operators, and in order to complete the_consistency_test, we_check_that_the perturbed expressions of the_Liouville and collision operators do_indeed transform_following these rules.

Coordinates on the manifold
---------------------------

We need to_specify_how the functional_dependence of the quantities appearing in the Boltzmann equation_(and in the Einstein equation) is_obtained. If we_consider_a_scalar function $f:{\cal M}\mapsto_{\mathbb{R}}$ on the space-time manifold ${\cal_M}$, then the choice of a_coordinates system [^1] $c:{\mathbb{R}}^4 \mapsto {\cal M}$_does not affect the geometrical meaning_of this function, but it_affects its_functional form $f \circ c:{\mathbb{R}}^4_\mapsto {\mathbb{R}}$, where_$\circ$ designates_the composition rule,_in the sense that for another_coordinates system $\tilde_c:{\mathbb{R}}^4 \mapsto {\cal M}$, then $f\circ_\tilde_c \neq f_\circ_c$._The confusion_only arises from_the_fact that_we_often refer to $f \circ c$_as_$f$ only. A distribution function $f$ (that_we take as a_scalar-valued_for simplicity here) is_a function on the tangent_bundle $T {\cal M}$ of the_manifold and_can be_regarded as a function on manifold ${\cal M}$ describing the space-time_and on the tangent space ${\mathbb{R}}^4$_(more precisely a restriction_to the_mass_shell ${\mathbb{R}}^3$) of_each_point. It_is thus a function $$f: (T{\cal M})\mapsto_{\mathbb{R}}\,.$$ Again_the particular choice of coordinates on_the tangent space does_not_affect the geometrical meaning of the_function but its functional form. Once_a choice $c$ of coordinates_on_the_manifold ${\cal M}$ has been_made, there is a natural basis,_called canonical basis,_that is made of the partial derivatives_with_respect to the coordinates. This leads_to_a natural coordinates system $Tc$ for_the_tangent_space at each point. Thus_$(c,Tc) : {\mathbb{R}}^4 \times {\mathbb{R}}^3 \mapsto_T{\cal M}$, is a coordinates system for the tangent_bundle. In order_to simplify the notation we_will_note_$(c