beta}|}} C\end{pmatrix}},\end{aligned}$$ $$\begin{aligned}
{\alpha}{\begin{pmatrix}
a&b&U_1&0&w\\ 
c&d&U_2&-w&0\\ 
X_1&X_2&D&\I_{p,q} U_1^t&\I_{p,q} U_2^t\\ 
0&z&X_1^t\I_{p,q}&-a&-c\\
-z&0&X_2^t\I_{p,q}&-b&-d\end{pmatrix}} 
&:=& {\begin{pmatrix}
\frac{a+d}2&-w&\frac12U&\frac12V\\
z&-\frac{a+d}2&-\frac12Y^t\I_{p,q}&\frac12X^t\I_{p,q}\\ 
X_1&-\I_{p,q} U_2^t&D+\frac{d-a}2\I_n&-c\I_n\\
X_2&\I_{p,q} U_1^t&-b\I_n&D+\frac{a-d}2\I_n\end{pmatrix}}.\end{aligned}$$

\[lem1\] The map $i:Q\to\tilde P$ is an injective Lie group homomorphism, ${\alpha}:\g\to\tg$ is linear, and the pair $(i,{\alpha})$ satisfies the conditions (1)–(3) from \[3.2\].

Hence the pair $(i,{\alpha})$ gives rise to an extension functor from Cartan geometries of type $(G,Q)$ to Cartan geometries of type $(\tilde G,\tilde P)$.

The map $i$ is obviously well defined, i.e. the image of an element of $Q\subset PO(p+2,q+2)$ does not depend on the representative matrix. Further, $i$ is smooth and injective and a direct computation shows this is a homomorphism of Lie groups. The map ${\alpha}$ is linear and the compatibility of the pair $(i,{\alpha})$ follows as follows: (1) involves a little tedious but very straightforward checking, (2) is an easy exercise, (3) follows from $\g/\q\cong\
beta}| } } C\end{pmatrix}},\end{aligned}$$ $ $ \begin{aligned } 
 { \alpha}{\begin{pmatrix } 
 a&b&U_1&0&w\\ 
 c&d&U_2&-w&0\\ 
 X_1&X_2&D&\I_{p, q } U_1^t&\I_{p, q } U_2^t\\ 
 0&z&X_1^t\I_{p, q}&-a&-c\\ 
 -z&0&X_2^t\I_{p, q}&-b&-d\end{pmatrix } } 
 &: = & { \begin{pmatrix } 
 \frac{a+d}2&-w&\frac12U&\frac12V\\ 
 z&-\frac{a+d}2&-\frac12Y^t\I_{p, q}&\frac12X^t\I_{p, q}\\ 
 X_1&-\I_{p, q } U_2^t&D+\frac{d - a}2\I_n&-c\I_n\\ 
 X_2&\I_{p, q } U_1^t&-b\I_n&D+\frac{a - d}2\I_n\end{pmatrix}}.\end{aligned}$$ 

 \[lem1\ ] The map $ i: Q\to\tilde P$ is an injective Lie group homomorphism, $ { \alpha}:\g\to\tg$ is linear, and the pair $ (i,{\alpha})$ satisfies the condition (1)–(3) from \[3.2\ ]. 

 therefore the pair $ (i,{\alpha})$ gives upgrade to an reference functor from Cartan geometries of type $ (G, Q)$ to Cartan geometry of type $ (\tilde G,\tilde P)$. 

 The map $ i$ is obviously well defined, i.e.   the persona of an element of $ Q\subset PO(p+2,q+2)$ does not depend on the representative matrix. far, $ i$ is smooth and injective and a direct calculation indicate this is a homomorphism of Lie groups. The map $ { \alpha}$ is linear and the compatibility of the pair $ (i,{\alpha})$ follows as succeed: (1) involves a little long-winded but very straightforward checking, (2) is an easy exercise, (3) follows from $ \g/\q\cong\
betw}|}} C\end{pmatrix}},\end{aligned}$$ $$\negin{aligned}
{\alphc}{\vegin{pkatrix}
z&b&U_1&0&w\\ 
c&d&U_2&-d&0\\ 
X_1&X_2&D&\I_{p,q} U_1^t&\I_{p,q} U_2^t\\ 
0&z&X_1^t\I_{p,q}&-a&-c\\
-z&0&X_2^v\I_{p,q}&-v&-d\end{kiatrix}} 
&:=& {\begin{pmatrkx}
\frac{a+d}2&-w&\vrac12U&\frax12V\\
z&-\fcac{a+d}2&-\frac12Y^t\I_{p,q}&\fred12X^t\I_{p,q}\\ 
W_1&-\N_{p,q} U_2^f&F+\frae{d-e}2\I_n&-c\I_n\\
X_2&\I_{p,q} U_1^t&-b\I_k&D+\frac{a-d}2\I_n\etd{pmatrix}}.\end{alhgveb}$$

\[lem1\] The map $i:Q\to\tilde P$ is an injeceive Lir hroup homomorprism, ${\wlphz}:\g\to\tg$ is linear, and the pair $(i,{\alpga})$ sativfies the concitions (1)–(3) from \[3.2\].

Hence the palr $(i,{\wlpha})$ gives rise tl an extensuon synctor from Zartan geometries of tipe $(G,Q)$ to Cartan geometries of thpe $(\tnlde G,\tilde P)$.

Rhe kap $i$ is obtiouslj well defined, i.e. the hmage og an element on $Q\suuset PO(p+2,q+2)$ does not depend on the representajive matrif. Yurther, $i$ is smooth abd injewtiva ana a airtct ckmputahioi shows thia is a homonorphism of Lie groipf. The map ${\alphz}$ is lynqar and the compatibility of the pair $(i,{\dlpga})$ follows as follows: (1) unvolves a little tedlous but dery straightforward checking, (2) is an easy exercisa, (3) fomuoww nrom $\t/\q\fong\
beta}|}} C\end{pmatrix}},\end{aligned}$$ $$\begin{aligned} {\alpha}{\begin{pmatrix} a&b&U_1&0&w\\ c&d&U_2&-w&0\\ X_1&X_2&D&\I_{p,q} 0&z&X_1^t\I_{p,q}&-a&-c\\ &:=& {\begin{pmatrix} z&-\frac{a+d}2&-\frac12Y^t\I_{p,q}&\frac12X^t\I_{p,q}\\ X_1&-\I_{p,q} U_2^t&D+\frac{d-a}2\I_n&-c\I_n\\ $i:Q\to\tilde is an injective group homomorphism, ${\alpha}:\g\to\tg$ linear, and the pair $(i,{\alpha})$ satisfies conditions (1)–(3) from \[3.2\]. Hence the pair $(i,{\alpha})$ gives rise to an extension from Cartan geometries of type $(G,Q)$ to Cartan geometries of type $(\tilde G,\tilde The $i$ obviously defined, i.e. the image of an element of $Q\subset PO(p+2,q+2)$ does not depend on the representative Further, $i$ is smooth and injective and a computation shows this is homomorphism of Lie groups. The ${\alpha}$ linear and compatibility the $(i,{\alpha})$ follows as (1) involves a little tedious but very straightforward checking, (2) is an easy exercise, (3) follows from
beta}|}} C\end{pmatrix}},\end{aligned}$$ $$\Begin{alignEd}
{\alpHa}{\bEgiN{pMatrIx}
a&b&u_1&0&w\\ 
c&d&U_2&-w&0\\ 
X_1&X_2&D&\I_{p,q} U_1^t&\i_{P,q} U_2^t\\ 
0&Z&X_1^t\I_{p,q}&-a&-c\\
-z&0&X_2^t\I_{p,q}&-b&-d\end{pmaTrix}} 
&:=& {\bEgIN{pmaTRiX}
\frac{A+d}2&-w&\frac12u&\FrAC12v\\
z&-\fRaC{a+D}2&-\frAc12y^T\I_{P,q}&\fraC12X^t\i_{p,q}\\ 
X_1&-\I_{p,q} u_2^t&D+\frac{d-a}2\I_N&-c\I_N\\
X_2&\i_{p,q} U_1^t&-b\I_n&D+\fraC{A-d}2\i_n\end{pmatrIx}}.\eNd{aligned}$$

\[lem1\] the Map $i:Q\tO\tIldE p$ is an InjEctivE Lie grOUp homoMorphism, ${\aLpHA}:\g\to\tg$ IS linear, AND tHe paIr $(i,{\alpha})$ satisfies THe COnditions (1)–(3) from \[3.2\].

HEnce thE pAIr $(I,{\ALphA})$ giVes rise to aN eXtensIOn functOR fROM carTAn geometries oF type $(G,Q)$ to CaRTan GeometRiEs oF Type $(\tiLde G,\tIlDE P)$.

THe map $i$ is obvIousLy well defIned, i.e. THe image OF an elemEnt of $Q\SubSet pO(p+2,q+2)$ DOeS nOt dEpENd oN ThE rePResEntative MaTrIx. FurTher, $I$ IS SMootH anD injEctivE and a direct coMpuTatiON shOws thIs is a HomoMoRphisM of Lie GroupS. THe map ${\alpha}$ is linEar aNd the compAtiBiLitY oF the pAIr $(i,{\alpHa})$ fOllOws as foLlows: (1) inVOlvEs A LITtLe tedious but very stRaIGHtForward cHeckinG, (2) Is An EAsy exercIsE, (3) foLlowS FRom $\g/\q\Cong\
beta}|}} C\end{pmatrix}},\ end{aligne d}$$$$\ beg in {ali gned }
{\alpha}{\be g in{p matrix}
a&b&U_1&0&w\\
c&d& U_ 2 &-w& 0 \\  
X_1 &X_2&D& \ I_ { p ,q}  U _1 ^t& \I _ {p ,q} U _2^ t\\ 
0& z&X_1^t\I_ {p, q} &-a&-c\\
-z& 0 &X _2^t\I_{p, q}& -b&-d\end{pm atr ix}} &: =&{ \begi n{p matri x}
\fr a c{a+d} 2&-w&\fra c1 2 U&\fra c 12V\\
z & - \f rac{ a+d}2&-\frac12Y^t \ I_ { p,q}&\frac12X^ t\I_{p ,q } \\ X_1 &-\ I_{p,q} U_ 2^ t&D+\ f rac{d-a } 2\ I _ n &-c \ I_n\\
X_2&\I_ {p,q} U_1^t & -b\ I_n&D+ \f rac { a-d}2\ I_n\e nd { pma trix}}.\end {ali gned}$$
\[lem1 \ ] The m a p $i:Q\ to\til deP$is a n  i nj ect iv e  Li e  g rou p  ho momorphi sm ,${\al pha} : \ g \ to\t g$is l inear , and the pai r $ (i,{ \ alp ha})$  sati sfie sthe c onditi ons ( 1) –(3) from \[3.2 \].
Hence th e p ai r $ (i ,{\al p ha})$giv esrise to  an ext e nsi on f u nc tor from Cartan ge om e t ri es of ty pe $(G , Q) $t o Cartan  g eom etri e s  of t ype$ (\ tilde G, \tilde P) $. 

The m ap  $i$ i sobv iou sly w e ll d efined , i.e. t he im a ge of an eleme n t of $Q\subse t  P O ( p+ 2 ,q+2 )$does not de pend on t he r e pr ese n tativ e mat ri x .F urther, $i$ is smoo th  and i nject ive and a dir ect comput a t i on shows  thi s  i s  a homomorphis m ofLie groups .  The map  ${\a lpha}$ i s lineara n d the co mpa tib ili tyo f  t he pair $(i,{ \ a lpha }) $ follo wsas foll ows : ( 1)inv ol ves a lit tle tedi ou sbu tver y str a ightforw ar d c he cki ng, ( 2 ) is a n eas y ex er ci s e,(3) fol l ow s from  $ \g /\q\ con g\ 
beta}|}} C\end{pmatrix}},\end{aligned}$$_$$\begin{aligned}
{\alpha}{\begin{pmatrix}
a&b&U_1&0&w\\ 
c&d&U_2&-w&0\\_
X_1&X_2&D&\I_{p,q} U_1^t&\I_{p,q} U_2^t\\ 
0&z&X_1^t\I_{p,q}&-a&-c\\
-z&0&X_2^t\I_{p,q}&-b&-d\end{pmatrix}}_
&:=& {\begin{pmatrix}
\frac{a+d}2&-w&\frac12U&\frac12V\\
z&-\frac{a+d}2&-\frac12Y^t\I_{p,q}&\frac12X^t\I_{p,q}\\_
X_1&-\I_{p,q}_U_2^t&D+\frac{d-a}2\I_n&-c\I_n\\
X_2&\I_{p,q} U_1^t&-b\I_n&D+\frac{a-d}2\I_n\end{pmatrix}}.\end{aligned}$$

\[lem1\]_The_map $i:Q\to\tilde P$_is an injective_Lie group homomorphism, ${\alpha}:\g\to\tg$_is linear, and_the_pair $(i,{\alpha})$ satisfies the conditions (1)–(3) from \[3.2\].

Hence the pair $(i,{\alpha})$ gives rise to_an_extension functor_from_Cartan_geometries of type $(G,Q)$ to_Cartan geometries of type $(\tilde_G,\tilde P)$.

The_map $i$ is obviously well defined, i.e. the image_of_an element of_$Q\subset PO(p+2,q+2)$ does not depend on the representative matrix._Further, $i$ is smooth and injective_and a direct_computation_shows_this is a homomorphism_of Lie groups. The map ${\alpha}$_is linear and the compatibility of_the pair $(i,{\alpha})$ follows as follows: (1)_involves a little tedious but very_straightforward checking, (2) is an_easy exercise,_(3) follows from $\g/\q\cong\