 by Lemma \[Localy-triv\], is a locally trivial fiber bundle. Since $\mathrm{Path}(P_y, 1_y)$ is contractible, using the long exact sequence in homotopy, we find that $\pi_1(\mathcal{L})\cong \pi_2(P_y)$. Since $\mathcal{G}(A_S)$ is transitive, $P_y$ and $P_x$ are diffeomorphic.

Of course, if $\pi_2(P_x)$ were assumed to be trivial, then condition (H0) would follow automatically. Since $P_x$ is 1-connected, by the Hurewicz theorem, the hypothesis that $H^2(P_x)= 0$ is equivalent to $\pi_2(P_x)$ being finite. We show that this is enough to ensure triviality of the holonomy groups.

\[lemma-Getzler2\] The holonomy group of the foliated manifold $(\mathcal{X}, \mathcal{F})$ is trivial at any point $a\in \mathcal{Y}$.

Let $a\in \mathcal{Y}$ and let $\Gamma$ be the holonomy group at $a$. Let $\mathcal{T}$ be a transversal of $(\mathcal{X}, \mathcal{F})$ through $a$. Since $\Gamma$ is finite, $\mathcal{T}$ can be chosen small enough so that the holonomy transformations $\mathrm{hol}_{u}$ define an action of $\Gamma$ on $\mathcal{T}$. Denote by $\mathcal{T}_{\mathcal{Y}}:= \mathcal{T}\cap \mathcal{Y}$. Since the holonomy of $(\mathcal{Y}, \mathcal{F}_{\mathcal{Y}})$ is trivial, by making $\mathcal{T}$ smaller, we may assume:

1.  the action of $\Gamma$ on $\mathcal{T}_{\mathcal{Y}}$ is trivial.

Note also that the submersion $\sigma: \mathcal{T}\to M$ satisfies:

1.  $\sigma$ is $\Gamma$-invariant.

2.  $\sigma^{-1}(\sigma(a))\subset \mathcal{T}_{\mathcal{Y}}$.

For C2, just note that, for $a'\in \mathcal{T}$, since $a'$ and $\mathrm{hol}_{u}(a')$ are in the same leaf (i.e.cot
by Lemma \[Localy - triv\ ], is a locally trivial fiber bundle. Since $ \mathrm{Path}(P_y, 1_y)$ is contractible, using the retentive accurate sequence in homotopy, we find that $ \pi_1(\mathcal{L})\cong \pi_2(P_y)$. Since $ \mathcal{G}(A_S)$ is transitive, $ P_y$ and $ P_x$ are diffeomorphic. 

 Of naturally, if $ \pi_2(P_x)$ were assumed to be superficial, then condition (H0) would follow mechanically. Since $ P_x$ is 1 - plug in, by the Hurewicz theorem, the hypothesis that $ H^2(P_x)= 0 $ is equivalent to $ \pi_2(P_x)$ being finite. We show that this is enough to ensure technicality of the holonomy groups. 

 \[lemma - Getzler2\ ] The holonomy group of the foliated manifold paper $ (\mathcal{X }, \mathcal{F})$ is trivial at any point $ a\in \mathcal{Y}$. 

 Let $ a\in \mathcal{Y}$ and let $ \Gamma$ be the holonomy group at $ a$. Let $ \mathcal{T}$ be a transversal of $ (\mathcal{X }, \mathcal{F})$ through $ a$. Since $ \Gamma$ is finite, $ \mathcal{T}$ can be chosen small enough so that the holonomy transformations $ \mathrm{hol}_{u}$ specify an action of $ \Gamma$ on $ \mathcal{T}$. Denote by $ \mathcal{T}_{\mathcal{Y}}:= \mathcal{T}\cap \mathcal{Y}$. Since the holonomy of $ (\mathcal{Y }, \mathcal{F}_{\mathcal{Y}})$ is trivial, by making $ \mathcal{T}$ small, we may assume: 

 1.   the action of $ \Gamma$ on $ \mathcal{T}_{\mathcal{Y}}$ is trivial. 

 Note besides that the submersion $ \sigma: \mathcal{T}\to M$ satisfies: 

 1.   $ \sigma$ is $ \Gamma$-invariant. 

 2.   $ \sigma^{-1}(\sigma(a))\subset \mathcal{T}_{\mathcal{Y}}$. 

 For C2, precisely note that, for $ a'\in \mathcal{T}$, since $ a'$ and $ \mathrm{hol}_{u}(a')$ are in the same leaf (i.e.cot
 by Lemma \[Localy-triv\], is a lucally trivial yuber bnndle. Sjnce $\matfrm{Path}(P_y, 1_y)$ is contractible, nsint the long exact sequence iv homotopj, we find thau $\pi_1(\mathcal{L})\cong \'j_2(P_y)$. Singz $\matggal{G}(A_V)$ is transitive, $P_y$ and $P_x$ are diffeomor[hkc.

Lf course, if $\pi_2(P_x)$ were assumed to bq trivisl, then conditiog (H0) ejuld follow automatically. Since $P_x$ is 1-donnecttd, by the Hurewicz theorem, the hypothesis thwt $H^2(O_x)= 0$ is equivalent ho $\pi_2(P_x)$ beibg fybite. We show that this is enough tk ensure triviality of the holovomy yroups.

\[lemma-Terzlft2\] The holonony grjup of the foliated kanifolc $(\mathcal{X}, \matmcal{F})$ is trivial at any point $a\in \mathcal{Y}$.

Let $a\yn \mathcan{Y}$ and let $\Gamma$ be tye hononoky gfiup at $a$. Lst $\matjcam{T}$ be a trznsversal od $(\mathcal{X}, \mathcal{F})$ trgpugh $a$. Since $\Gamma$ if finite, $\mathcal{T}$ can be chosen small etoufh so that the holonomy transformations $\mathtm{hol}_{u}$ defyne an action of $\Gamma$ on $\mathcal{T}$. Denote by $\mathwal{T}_{\metfcao{Y}}:= \oqtjcal{T}\cap \mathcal{Y}$. Since the holonomy of $(\mathcwm{Y}, \msthcal{F}_{\mathcal{N}})$ is trivial, by malijg $\iathcal{T}$ smaluer, we mag assume:

1.  the actiln of $\Gwmma$ in $\mathcaj{T}_{\mayhcal{Y}}$ is trivial.

Note also rhat the subiwrsion $\sigma: \mathccl{T}\to M$ satirfiex:

1.  $\sibma$ is $\Gamma$-invariant.

2.  $\rigmz^{-1}(\sigma(a))\subsft \mathcam{G}_{\mathcal{Y}}$.

For C2, jjst nmte that, for $a'\in \mathcal{T}$, fince $a'$ aid $\machrm{hol}_{u}(x')$ arg in thq same leav (i.e.cot
by Lemma \[Localy-triv\], is a locally trivial Since 1_y)$ is using the long find $\pi_1(\mathcal{L})\cong \pi_2(P_y)$. Since is transitive, $P_y$ $P_x$ are diffeomorphic. Of course, if were assumed to be trivial, then condition (H0) would follow automatically. Since $P_x$ 1-connected, by the Hurewicz theorem, the hypothesis that $H^2(P_x)= 0$ is equivalent to being We that is enough to ensure triviality of the holonomy groups. \[lemma-Getzler2\] The holonomy group of the foliated $(\mathcal{X}, \mathcal{F})$ is trivial at any point $a\in Let $a\in \mathcal{Y}$ and $\Gamma$ be the holonomy group $a$. $\mathcal{T}$ be transversal $(\mathcal{X}, through $a$. Since is finite, $\mathcal{T}$ can be chosen small enough so that the holonomy transformations $\mathrm{hol}_{u}$ define an action $\Gamma$ on by $\mathcal{T}_{\mathcal{Y}}:= \mathcal{Y}$. the of $(\mathcal{Y}, \mathcal{F}_{\mathcal{Y}})$ by making $\mathcal{T}$ smaller, we may action of $\Gamma$ on $\mathcal{T}_{\mathcal{Y}}$ is trivial. Note that the $\sigma: \mathcal{T}\to M$ satisfies: 1. $\sigma$ $\Gamma$-invariant. 2. $\sigma^{-1}(\sigma(a))\subset \mathcal{T}_{\mathcal{Y}}$. For C2, just note for $a'\in \mathcal{T}$, since $a'$ and $\mathrm{hol}_{u}(a')$ are in the same leaf (i.e.cot
 by Lemma \[Localy-triv\], is a localLy trivial fIber bUndLe. SInCe $\maThrm{path}(P_y, 1_y)$ is contrACtibLe, using the long exact seqUence In HOmotOPy, We finD that $\pi_1(\MAtHCAl{L})\CoNg \Pi_2(P_Y)$. SINcE $\mathCal{g}(A_S)$ is trAnsitive, $P_y$ And $p_x$ Are diffeomorPHiC.

Of course, iF $\pi_2(p_x)$ were assumeD to Be trivIaL, thEN condItiOn (H0) woUld folLOw autoMatically. siNCe $P_x$ is 1-COnnecteD, BY tHe HuRewicz theorem, the hYPoTHesis that $H^2(P_x)= 0$ is EquivaLeNT tO $\PI_2(P_x)$ BeiNg finite. We ShOw thaT This is eNOuGH TO enSUre triviality Of the holonoMY grOups.

\[leMmA-GeTZler2\] ThE holoNoMY grOup of the folIateD manifold $(\MathcaL{x}, \mathcaL{f})$ is trivIal at aNy pOinT $a\in \MAtHcAl{Y}$.

leT $A\in \MAtHcaL{y}$ anD let $\GammA$ bE tHe holOnomY GROUp at $A$. LeT $\matHcal{T}$ Be a transversaL of $(\MathCAl{X}, \MathcAl{F})$ thRougH $a$. since $\gamma$ iS finiTe, $\Mathcal{T}$ can be chOsen Small enouGh sO tHat ThE holoNOmy traNsfOrmAtions $\mAthrm{hoL}_{U}$ deFiNE AN aCtion of $\Gamma$ on $\mathCaL{t}$. deNote by $\maThcal{T}_{\MAtHcAL{Y}}:= \mathcaL{T}\Cap \MathCAL{Y}$. SinCe thE HoLonomy of $(\MathcaL{y}, \mAtHcal{F}_{\maThCal{Y}})$ is TrIviAl, bY makiNG $\matHcal{T}$ sMaller, we May asSUme:

1.  the action of $\gAmma$ on $\mathcal{t}_{\MaTHCaL{y}}$ is tRivIal.

Note also That THe suBmerSIoN $\siGMa: \matHcal{T}\To m$ SaTIsfies:

1.  $\sigma$ is $\Gamma$-iNvAriant.

2.  $\Sigma^{-1}(\Sigma(a))\subset \mAthcal{T}_{\matHCAL{Y}}$.

For C2, juSt noTE tHAt, for $a'\in \mathcaL{T}$, sinCe $a'$ and $\mathRM{hol}_{u}(a')$ arE in thE same leaF (i.e.cot
 by Lemma \[Localy-triv\],  is a loca lly t riv ial  f iber  bun dle. Since $\m a thrm {Path}(P_y, 1_y)$ is c ontra ct i ble, us ing t he long ex a c t s eq ue nce  i n  h omoto py,  we fin d that $\p i_1 (\ mathcal{L})\ c on g \pi_2(P_ y)$ . Since $\ma thc al{G}( A_ S)$ is tr ans itive , $P_y $  and $ P_x$ aredi f feomor p hic.

O f co urse , if $\pi_2(P_x)$ we r e assumed to b e triv ia l ,t h encon dition (H0 )would followa ut o m a tic a lly. Since $P _x$ is 1-co n nec ted, b ythe Hurewi cz th eo r em,  the hypoth esis  that $H^ 2(P_x) =  0$ ise quivale nt to$\p i_2 (P_x ) $be ing  f i nit e .Wes how  that th is  i s eno ught o e nsur e t rivi ality  of the holon omy  gro u ps. 

\[l emma- Getz le r2\]The ho lonom ygroup of the fo liat ed manifo ld$( \ma th cal{X } , \mat hca l{F })$ istrivial atan y p oi nt $a\in \mathcal{ Y} $ . 
Let $a\i n \mat h ca l{ Y }$ and l et  $\ Gamm a $  be t he h o lo nomy gro up at$ a$ .Let $\m at hcal{T }$  be  atrans v ersa l of $ (\mathca l{X}, \mathcal{F})$t hrough $a$. S i nc e $\ G amma $ i s finite, $ \mat h cal{ T}$c an  be chose n sma ll en o ugh so that the hol on omy tr ansfo rmations $\ma thrm{hol}_ { u } $ define  ana ct i on of $\Gamma$  on $ \mathcal{T } $. Denot e by$\mathca l{T}_{\ma t h cal{Y}}: = \ mat hca l{T } \ ca p \mathcal{Y} $ .  Sin ce  the ho lon omy of$(\ mat hca l{Y },  \mathcal {F}_{\ma th ca l{ Y} })$  is t r ivial, b ymak in g $ \math c al{T}$  smal ler,  w em ayassume: 
1 .  the  a ct ionof$\ Gamma $ on $\m athcal{ T}_{\math cal { Y}}$  i strivial .

Note alsoth at the sub me rsi on $\s i g ma: \mat hcal{T}\to M$ satisfies : 

1.  $ \si gma$is $ \Gamma$-i nva riant. 

2 .   $\si gma^{- 1}(\s ig ma( a ) )\sub s e t\ma th cal{T}_{\m a t hca l{Y}} $. 

Fo r C2, j ust note that, for $a' \in \mathcal{ T}$ , si n c e$a' $  a n d $ \m a thr m { hol}_{u}(a')$ a re in thesa m eleaf (i.e. c ot
 by_Lemma \[Localy-triv\],_is a locally trivial_fiber bundle._Since_$\mathrm{Path}(P_y, 1_y)$_is_contractible, using the_long exact sequence_in homotopy, we find_that $\pi_1(\mathcal{L})\cong \pi_2(P_y)$._Since_$\mathcal{G}(A_S)$ is transitive, $P_y$ and $P_x$ are diffeomorphic.

Of course, if $\pi_2(P_x)$ were assumed to_be_trivial, then_condition_(H0)_would follow automatically. Since $P_x$_is 1-connected, by the Hurewicz_theorem, the_hypothesis that $H^2(P_x)= 0$ is equivalent to $\pi_2(P_x)$_being_finite. We show_that this is enough to ensure triviality of the_holonomy groups.

\[lemma-Getzler2\] The holonomy group of_the foliated manifold_$(\mathcal{X},_\mathcal{F})$_is trivial at any_point $a\in \mathcal{Y}$.

Let $a\in \mathcal{Y}$ and_let $\Gamma$ be the holonomy group_at $a$. Let $\mathcal{T}$ be a transversal_of $(\mathcal{X}, \mathcal{F})$ through $a$. Since_$\Gamma$ is finite, $\mathcal{T}$ can_be chosen_small enough so that the_holonomy transformations $\mathrm{hol}_{u}$_define an_action of $\Gamma$_on $\mathcal{T}$. Denote by $\mathcal{T}_{\mathcal{Y}}:= \mathcal{T}\cap_\mathcal{Y}$. Since the_holonomy of $(\mathcal{Y}, \mathcal{F}_{\mathcal{Y}})$ is trivial,_by_making $\mathcal{T}$ smaller,_we_may_assume:

1. _the action of_$\Gamma$_on $\mathcal{T}_{\mathcal{Y}}$_is_trivial.

Note also that the submersion $\sigma:_\mathcal{T}\to_M$ satisfies:

1.  $\sigma$ is $\Gamma$-invariant.

2. _$\sigma^{-1}(\sigma(a))\subset \mathcal{T}_{\mathcal{Y}}$.

For C2, just_note_that, for $a'\in \mathcal{T}$,_since $a'$ and $\mathrm{hol}_{u}(a')$ are_in the same leaf (i.e.cot