Grup afí

En matemàtiques, el grup afí o grup afí general (o, fins i tot, grup general afí) de qualsevol espai afí sobre un cos K és el grup de totes transformacions afins invertibles de l'espai en ell mateix. El grup afí d'un espai afí A s'acostuma a escriure com Aff(A).

El grup afí és un grup de Lie si K és el cos dels reals o el dels complexos o el dels quaternions.

Relació amb el grup lineal general

Construcció a partir del grup lineal general

Donat un espai vectorial V, té un espai afí subjacent A obtingut si "s'oblida" l'origen, amb V actuant per translacions, i el grup afí d'A es pot descriure com el producte semidirecte de V per GL(V), el grup lineal general de V:

$\mathrm{Aff}(V)=V⋊\mathrm{GL}(V)$

L'acció de GL(V) sobre V és l'acció natural natural (les transformacions lineals són automorfismes), de tal manera que es defineix així un producte semidirecte.

En termes matricials, hom pot escriure:

$\mathrm{Aff}(n,K)=K^n⋊\mathrm{GL}(n,K)$

on l'acció natual de Plantilla:Nowrap sobre Kⁿ és la multiplicació matricial d'un vector.

Estabilitzador d'un punt

Donat el grup afí d'un espai afí $(A,p)$A, l'estabilitzador d'un punt p és isomorf al grup lineal general de la mateixa dimensió (de tal manera que l'estabilitzador d'un punt de Plantilla:Nowrap és isomorf a Plantilla:Nowrap); formalment, és el grup lineal general de l'espai vectorial Plantilla:Nowrap: cal recordar que si hom fixa un punt, l'espai afí esdevé un espai vectorial.

Tots aquests subgrups són conjugats, on la conjugació ve donada per la translació de p a q (que está definida de manera única); tanmateix, cap subgrup particular és una elecció natural, ja que cap punt és especial.

Representació matricial

Si es representa el grup afí com a producte semidirecte de V per GL(V), llavors per la construcció del producte semidirecte, els elements són parells Plantilla:Nowrap, on v és un vector de V, i M és una transformació lineal de GL(V), i la multiplicació és donada per:

$(M,v)\cdot (N,w)=(MN,v+Mw).$

Això es pot representar com una matriu per blocs de dimensió Plantilla:Nowrap:

$\left(\begin{array}{cc}M& v\\ 0& 1\end{array}\right)$

on M és una matriu Plantilla:Nowrap sobre K, v és un vector columna Plantilla:Nowrap vector de columna, 0 és una fila Plantilla:Nowrap fila de zeros, i 1 és la matriu identitat Plantilla:Nowrap.

Formalment, Aff(V) és isomorf a un subgrup de $\mathrm{GL}(V\oplus K)$, amb V immers com el pla afí $\{(v,1)|v\in V\}$ o, cosa que és el mateix, l'estabilitzador d'aquest pla afí. La formulació matricial anterior és la (transposada de) la realització d'aquest subgrup, on els blocs Plantilla:Nowrap i Plantilla:Nowrap corresponen a la descomposició en suma directa $V\oplus K$.

Una representació semblant és qualsevol matriu de dimensió Plantilla:Nowrap on la suma de les entrades de cada columna és 1. La semblança P que permet passar del tipus anterior a aquest tipus és la matriu identitat de dimensió Plantilla:Nowrap amb la fila inferior substituïda per una fila de tot uns.

Cadascuna d'aquestes dues classes de matrius és tancada per multiplicació de matrius.

L'exemple més senzill pot ser el cas Plantilla:Nowrap, és a dir, les matrius triangulars superiors Plantilla:Nowrap que representen el grup afí en dimensió 1. És un grup de Lie no abelià amb dos paràmetres, amb dos generadors A, B subjectes a la condició Plantilla:Nowrap, on

$A=\left(\begin{array}{cc}1& 0\\ 0& 0\end{array}\right),B=\left(\begin{array}{cc}0& 1\\ 0& 0\end{array}\right),$

tals que

$e^{aA+bB}=\left(\begin{array}{cc}{e}^a& \frac{b}{a}(e^a-1)\\ 0& 1\end{array}\right).$

Taula de caràcters de Aff(F_p)

El grup afí del cos finit de p elements (p primer), simbolitzat per Aff(F_p), té ordre p(p-1). Com que

$\left(\begin{array}{cc}c& d\\ 0& 1\end{array}\right)\left(\begin{array}{cc}a& b\\ 0& 1\end{array}\right){\left(\begin{array}{cc}c& d\\ 0& 1\end{array}\right)}^{-1}=\left(\begin{array}{cc}a& (1-a)d+bc\\ 0& 1\end{array}\right),$

es té que Aff(F_p) té p classes de conjugació:

$C_{id}=\left\{\left(\begin{array}{cc}1& 0\\ 0& 1\end{array}\right)\right\},$

$C_1=\left\{\left(\begin{array}{cc}1& b\\ 0& 1\end{array}\right)\right|b\in {𝐅}_p^{*}\}$ i

$\{C_a=\left\{\left(\begin{array}{cc}a& b\\ 0& 1\end{array}\right)\right|b\in {𝐅}_p\}|a\in {𝐅}_p\setminus \{0,1\}\}$.

Llavors es té que Aff(F_p) té p representacions irreductibles. Pel que s'ha vist en l'apartat anterior (Representació matricial), existeixen p-1 representacions unidimensionals, definides per l'homomorfisme

$\begin{array}{cccc}{\rho }_k:& \mathrm{Aff}({𝐅}_p)& \to & {ℂ}^{*}\\ & \left(\begin{array}{cc}a& b\\ 0& 1\end{array}\right)& \mapsto & \exp \left(\frac{2ijk\pi }{p-1}\right)\end{array}$

amb Plantilla:Nowrap, Plantilla:Nowrap i Plantilla:Nowrap, on g és un generador del grup ${𝐅}_p^{*}$. Si llavors es compara amb l'ordre de ${𝐅}_p$, llavors es té que $p(p-1)=p-1+{\chi }_p^2$ i, per tant, ${\chi }_p=p-1$ és la dimensió de la darrera representació irreductible. Finalment, emprant l'ortogonalitat de les representacions irreductibles, es pot completar la taula de caràcters de $\mathrm{Aff}({𝐅}_p)$:

$\begin{array}{ccccccc}& C_{id}& C_1& C_g& C_{g^2}& \dots & C_{g^{p-2}}\\ {\chi }_1& 1& 1& e^{\frac{2\pi i}{p-1}}& e^{\frac{4\pi i}{p-1}}& \dots & e^{\frac{2\pi (p-2)i}{p-1}}\\ {\chi }_2& 1& 1& e^{\frac{4\pi i}{p-1}}& e^{\frac{8\pi i}{p-1}}& \dots & e^{\frac{4\pi (p-2)i}{p-1}}\\ {\chi }_3& 1& 1& e^{\frac{6\pi i}{p-1}}& e^{\frac{12\pi i}{p-1}}& \dots & e^{\frac{6\pi (p-2)i}{p-1}}\\ \dots & \dots & \dots & \dots & \dots & \dots & \dots \\ {\chi }_{p-1}& 1& 1& 1& 1& \dots & 1\\ {\chi }_p& p-1& -1& 0& 0& \dots & 0\end{array}$

Grup afí planar

Segons Rafael Artzy, "La part lineal de tota afinitat [del pla afí real] es pot transformar en una de les formes canòniques següents mitjançant una transformació de coordenades seguida per una homotècia des de l'origen:

1. $x\mapsto ax+by,y\mapsto -bx+ay,a,b\ne 0,a^2+b^2=1,$
2. $x\mapsto x+by,y\mapsto y,b\ne 0,$
3. $x\mapsto ax,y\mapsto y/a,a\ne 0,$ on els coeficients a, b, c i d són nombres reals."

El cas (1) correspon a transformacions de semblança que generen un subgrup de semblances. La geometria euclidiana correspon al subgrup de congruències. Es caracteritza per l'angle o la distància euclidiana, coneptes que són invariables sota el subgrup de rotacions.

El cas (2) correspon a les transformacions de cisallament. Una aplicació important és l'espai i temps absolut on les transformacions de Galileu relacionen marcs de referència. Generen el que es coneix com a grup de Galileu.

El cas (3) correspon a una rotació hiperbòlica o contracció. Aquestes transformacions generen un subgrup del grup afí planar, conegut com el grup de Lorentz del pla. La geometria associada amb aquest grup es caracteritza per l'angle hiperbòlic, el qual és una mesura que és invariable sota el subgrup de rotacions hiperbòliques.

Utilitzant la representació matricial anterior del grup afí en el pla, la matriu M és una matriu real Plantilla:Nowrap. En conseqüència, una matriu M no singular ha de tenir una forma d'entre tres de possibles, que corresponen a la tricotomia d'Artzy.

Altres grups afins

Cas general

Donat un subgrup qualsevol $G<\mathrm{GL}(V)$ del grup lineal general, es pot construir un grup afí, sovint simbolitzat per $\mathrm{Aff}(G)$, com el producte semidirecte $\mathrm{Aff}(G):=V⋊G$.$G<\mathrm{GL}(V)$$\mathrm{Aff}(G)$$\mathrm{Aff}(G):=V⋊G$

Més en general, donat un grup G qualsevol i una representació de G en un espai vectorial V, $\rho :G\to \mathrm{GL}(V)$, es té un grup afí associat $V{⋊}_{\rho }G$: es pot dir que el grup afí obtingut així és "una extensió de grup per una representació vectorial", i com s'ha vist abans, es té la successió exacta curta:

$1\to V\to V{⋊}_{\rho }G\to G\to 1.$

Grup afí especial

El subconjunt de totes les transformacions afins invertibles que conserven una forma de volum fixa, o en termes del producte semidirecte, el conjunt de tots els elements Plantilla:Nowrap amb M de determinant 1, és un subgrup conegut com el grup afí especial.

Subgrup projectiu

Si hom està familiaritzat amb els conceptes de projectivitat i de grup projectiu en geometria projectiva, el grup afí es pot descriure de manera senzilla. Per exemple, Günter Ewald va escriure:

El conjunt $𝔓$ de totes les col·lineacions de Pⁿ és un grup que es pot anomenar el grup projectiu de Pⁿ. Si s'estableix una relació entre Pⁿ i l'espai afí Aⁿ declarant que un hiperplà ω sigui un hiperplà a l'infinit, hom obté el grup afí $𝔄$ de Aⁿ com el subgrup de $𝔓$ que consisteix en tots els elements de $𝔓$ que deixen ω fix:

$𝔄\subset 𝔓$

Grup de Poincaré

El grup de Poincaré és el grup afí del grup de Lorentz $\mathrm{O}(1,3)$: ${𝐑}^{1,3}⋊\mathrm{O}(1,3)$. Aquest és un exemple rellevant en relativitat.