TRANSFORMATION GROUPS OF CERTAIN FLAT AFFINE MANIFOLDS SALDARRIAGA, O.*, AND FLOREZ,´ A.* Abstract. In this paper we characterize the group of affine transformations of a flat affine simply connected manifold whose developing map is a diffeomorphism. This is proved by making use of some simple facts about homeomorphisms of Rn preserving open connected sets. We show some examples where the characterization is useful. Keywords: Flat affine manifolds, Flat affine Lie groups, Group of affine transformations, Etale´ affine representations, Left symmetric products. ∗ Instituto de Matem´aticas, Universidad de Antioquia, Medell´ın-Colombia e-mails: [email protected], walexander.fl[email protected] 1. Introduction In what follows M is a connected real n-dimensional manifold without boundary and ∇ a linear connection on M. The torsion and curvature tensors of a connection ∇ are defined as T∇(X,Y )= ∇X Y −∇Y X − [X,Y ] K∇(X,Y ) = [∇X , ∇Y ] −∇[X,Y ] for any X,Y ∈ X(M), where X(M) denotes the space of smooth vector fields on M. If the curvature and torsion tensors of ∇ are both null, the connection is called flat affine and the pair (M, ∇) is called a flat affine manifold. An affine transformation of (M, ∇) is a diffeomorphism F of M verifying the system of differential equations F∗∇X Y = ∇F∗X F∗Y , for all X,Y ∈ X(M). The group of affine transformations Aff (M , ∇) is the set of diffeomorphisms of M preserving ∇. This set endowed with the open-compact topology and composition is a Lie group (see [KoNo] page 229). n ∂ arXiv:2011.02577v2 [math.GR] 6 Apr 2021 The usual connection ∇0 in Rn is defined, in local coordinates, by ∇0 Y = X(f ) when X i ∂xi Xi=1 n ∂ Y = f . The group Aff (Rn , ∇0 ) agrees with the group of classical affine transformations i ∂xi Xi=1 Aff (Rn ), that is, diffeomorphisms of Rn obtained as a composition of a linear transformatioans map defined by w 7→ T (w)+ v (by linear transformation we mean a linear isomorphism). We will also use the matrix notation [A v′] with A the matrix of the linear transformation and v′ the coordinate vector of the translation under some basis. An infinitesimal affine transformation of (M, ∇) is a smooth vector field X on M whose local 1-parameter groups φt are local affine transformations of (M, ∇). We will denote by a(M, ∇) the real vector space of infinitesimal affine transformations of (M, ∇). An element X of X(M) Date: April 8, 2021. 2010 Mathematics Subject Classification. Primary: 57S20, 54H15; Secondary: 53C07, 17D25 Partially Supported by CODI, Universidad de Antioquia. Project Number 2015-7654. 1 2 SALDARRIAGA, O.*, AND FLOREZ,´ A.* belongs to aff (M , ∇) if and only if it verifies LX ◦∇Y −∇Y ◦LX = ∇[X,Y ], for all Y ∈ X(M), where LX denotes the Lie derivative. If the connection is flat affine, the previous equation gives that X ∈ a(M, ∇) if and only if ∇∇Y Z X = ∇Y ∇Z X, for all Y,Z ∈ X(M). (1) The vector subspace aff (M , ∇) of a(M, ∇) whose elements are complete, with the usual bracket of vector fields, is the Lie algebra of the group Aff (M , ∇) (see [KoNo]). In this paper we use a simple fact about groups of homeomorphisms to determine complete infinitesimal affine transformations in some particular open sets of Rn. Let p : M → M denote the universal covering map of a real n-dimensional flat affine connected manifold (M, ∇). The pullback ∇ of ∇ by p is a flat affine structure on M and p is an affine map. c Moreover, the group π (M) of deck transformations acts on M by affine transformations. There 1 b c exists an affine immersion D :(M, ∇) −→ (Rn, ∇0), called the developing map of (M, ∇), and a c group homomorphism A : Aff (M , ∇) −→ Aff (Rn , ∇0 ) so that the following diagram commutes c b c b M D / Rn (2) Fc A(F ) M D / Rn. The map D is called the developing mapc and it was introduced by Ehresman (see [Ehr]). In particular for every γ ∈ π1(M), we have D ◦ γ = h(γ) ◦ D with h(γ) := A(γ). The map h is also a group homomorphism called the holonomy representation of (M, ∇). If M = G is an n-dimensional Lie group, a connection ∇ is called left invariant if left multi- plications, i.e., maps Lg of G, with g ∈ G, defined by Lg(h) = gh, are affine transformations. Left invariant connections are usually denoted as ∇+. A Lie group G endowed of a flat affine and left invariant connection ∇+ is called a flat affine Lie group. It is known that (G, ∇+) is a flat affine Lie group if and only if there exists a homomorphism ρ : G → Aff (Rn ) whose corresponding action leaves an open orbit with discrete isotropy, see [Kos] and [Med]. Such rep- resentations are called affine ´etale representations. The open orbit turns outb to be the image of the developing map D : G → Rn and D is a covering map of O. Having a left invariant linear connection ∇+ on a Lie group G is equivalent to have a bilinear product on g =Lie(G) given by + + b + + X · Y =(∇X+ Y )ǫ, where ǫ denotes the neutral element of G and X ,Y are the left invariant vector fields on G determined respectively by X and Y . When the bilinear product is given, + + + + the connection is defined by ∇X+ Y = (X · Y ) forcing the conditions ∇fX+ Y = f∇X+ Y + + + + + and ∇X+ fY = X (f)Y f∇X+ Y . That ∇ is torsion free is equivalent to have [X,Y ]= X · Y − Y · X (3) and the connection is flat if and only if [X,Y ] · Z = X · (Y · Z) − Y · (X · Z). Finally, the connection ∇+ is flat affine if and only if the bilinear product is left symmetric, that is, (X · Y ) · Z − (Y · X·)Z = X · (Y · Z) − Y · (X · Z). In this case, the algebra (g, ·) is called a left symmetric a algebra (see [Med]). It is also known that the Lie algebra g =Lie(G) is endowed of an associative product compatible with the Lie bracket if and only if the left invariant connection ∇+ is bi-invariant. That is, right TRANSFORMATION GROUPS OF CERTAIN FLAT AFFINE MANIFOLDS 3 multiplication on G, i.e., maps defined by Rg(h) = hg, for any g and h in G, are also affine transformations of G relative to ∇+ (see [Med]). 2. Transformations preserving connected open sets In this section we show that, for connected open sets of Rn, a classical affine transformation preserves the open set if and only if it preserves its boundary. We present some examples where the result is useful. Lemma 1. If O is an open set of Rn with boundary ∂O then {T ∈ Aff (Rn ) | T (O)= O}⊆{T ∈ Aff (Rn ) | T (∂O)= ∂O}. Proof. First notice that A = {T ∈ Aff (Rn ) | T (O) = O} and {T ∈ Aff (Rn ) | T (∂O) = ∂O} are groups. Now, take T ∈ Aff (Rn ) so that T (O) = O and let x ∈ ∂O. Choose a convergent sequence (xn) ⊆ O with x = lim xn. Hence T (x) = lim T (xn) and therefore T (x) ∈ O. n→∞ n→∞ However T (x) ∈/ O, otherwise since T −1 ∈ A, we would have that x = T −1 ◦ T (x) ∈ O. It follows that T (∂O) ⊆ ∂O. As T −1 ∈A, the previous argument shows that T −1(∂O) ⊆ ∂O and by applying T , the other inclusion follows. Lemma 2. If O is a connected open set of Rn, then we have {T ∈ Aff (Rn ) | T (O)= O} = {T ∈ Aff (Rn ) | T (∂O)= ∂O, T (p) ∈ O for some p ∈ O} . Proof. The first inclusion follows from the previous lemma. For the other inclusion, let T ∈ B = {T ∈ Aff (Rn ) | T (∂O)= ∂O, T (p) ∈ O for some p ∈ O} and let q ∈ O. Since O is connected, it is path connected, so there exists a continuous path s from q to p totally contained in O. Hence T ◦ s is a continuous path from T (q) to T (p) and we claim that T (q) ∈ O. Otherwise, as T (p) ∈ O there should exists a point q′ on the path s so that T (q′) ∈ ∂O. But since T −1 preserves ∂O, we would have that q′ ∈ ∂O contradicting the choice of s. This proves that T (O) ⊆ O. A similar argument considering a continuous path from q to T (p), shows that T −1(q) ∈ O whenever q ∈ O. That is, T −1(O) ⊆ O. By applying T , we get that O ⊆ T (O) Remark 1. The previous lemmas hold true for homeomorphisms of Rn. Now we present two examples. First recall that an affine frame on the affine space Rn is a −−→ −−→ n set of n + 1 points p0,p1, ··· ,pn so that the vectors p0p1,..., p0pn form a linear basis of R seen as a vector space. n Example 1. Let p0,p1, ··· ,pn be an affine frame on the n-dimensional affine space R and n i consider the manifold Mi = R \{p0,...,pi−1} endowed with the connection ∇ given by the 0 −−→ restriction to Mi of the usual connection ∇ . Also set vk = p0pk, for k =0,...n and consider n the basis β = {v1,...,vn} of R . 1 n By the previous lemma, the group Aff (M1 , ∇ ) is given by affine transformations of R fixing n the point p0. Hence, seen as transformations of R , they are determined by the linear part. That 1 n is, Aff (M1 , ∇ ) is locally isomorphic to GL(R ).