nLab transvection

Idea

Transvection is a name for a number of concepts of involutive transformations in algebra and geometry which use shift in a direction of a fixed vector, along geodesic line (say, through another fixed point) or alike. They leave some nondegenerate hypersurface (in some contexts, hyperplane) fixed. In the geometry of symmetric spaces, one defines transvections using a parallel transport along geodesic lines; at any point these transvections induce Killing vectors, or equivalently, elements of the tangent Lie triple system.

Warning: In the usual Euclidean geometry transvection is sometimes also used as a name for shear mapping, cf. wikipedia shear mapping.

For vector spaces

Definition. For a left vector space VV over a skewfield FF, a transvection is a left FF-linear map t:VVt:V\to V such that the map vt(v)vv\mapsto t(v)-v has 1-dimensional image (called the center of tt) and this image is a subset of the fixed space of VV (the set of fixed points of tt, i.e. the kernel of vt(v)vv\mapsto t(v)-v).

For finite dimensional vector spaces over a (commutative) field, tGL(V)t\in GL(V) is a transvection if it is either the identity or dim(Im(tId))=1dim(Im(t-Id))=1 and det(t)=1det(t) = 1. For any sGL(V)s\in GL(V) the image Im(sId)Im(s-Id) is also called the residual space of ss and res(s)=dim(Im(sId))res(s) = dim(Im(s-Id)) the residue of ss. Residue is 00 iff s=Ids=Id; residue of a product is smaller or equal the sum of residues. The fixed space and the residue space of ss are both fixed by ss and their dimensions add to the dimension of VV; both spaces for s 1s^{-1} are equal to those of ss.

In the geometry of symplectic vector spaces (of positive dimension 2\geq 2 over a commutative field) special role is played by the transvections within the symplectic group. The fixed points of a transvection tSp(V)t\in Sp(V) are precisely those points vVv\in V for which ω(v,t(v))=0\omega(v,t(v))=0.

Theorem. Sp(V)Sp(V) is generated by symplectic transvections (a result of Jean Dieudonne for fields other than 𝔽 2\mathbb{F}_2 and of D. Callan for 𝔽 2\mathbb{F}_2). This is theorem 2.1.9 in

  • O. T. O’Meara, Lectures on symplectic groups, Amer. Math. Soc. Mathematical Monographs 16 (1978)

There are similar generation results for alternating spaces (i.e. when the form ω\omega is possibly degenerate, hence not symplectic) of U. Spengler and H. Wolff. For the symplectic groups over commutative rings the validity of the generation result depends on the ring, cf.

  • Yu. I. Merzlyakov, Linear groups, J. Soviet Math. 1 (1973) 571–593

The study of transvections is often more complicated in the characteristic 2 case.

There is a natural projection from the general linear to the projective general linear group (quotienting out by the subgroup of diagonal matrices). A projective transvection is an element of PGL(V)PGL(V) which is an image (under this natural projection) of a transvection in GL(V)GL(V).

In symmetric spaces

For transvections defined via geodesics in a symmetric space, the relation to Killing vectors and the infinitesimal transvections see

  • J.-H. Eschenburg, Lecture notes on symmetric spaces, 24 pages, pdf

The reflections define the Coxeter quandle what motivates the definition of transvections in the quandle context. The operations R aR b 1R_a R_b^{-1} (where R a:xxaR_a: x\mapsto x\triangleright a) for a,ba,b in a quandle XX form the transvection group Transv(X)Transv(X) which is a normal subgroup of the inner automorphism group of a quandle. For Coxeter quandle, their quotient is a cyclic group (result of D. Joyce, JPAA 1982).

There are also quandles which are secretly entirely defined in terms of transvections; these are the transvection quandles, also called symplectic quandles; the operation is defined in terms of an alternative form on the underlying RR-module:

  • Esteban Adam Navas, Sam Nelson, On symplectic quandles, Osaka J. Math. 45:4 (2008) 973–985 MR2493966 euclid

Other literature

Transvections in other contexts

  • J.I Hall, Graphs, geometry, 3-transpositions, and symplectic-transvection groups, Proc. London Math. Soc. 58 (1989) 89–111 (3)

  • Hans Cuypers, Symplectic geometries, transvection groups, and modules, J. Combin. Theory A 65:1, January 1994, 39–59 doi

  • Hans Cuypers. Anja Steinbach, Linear transvection groups, pdf; Linear transvection groups and embedded polar spaces, Invent. math. 137, 169–198 (1999) doi

  • P.J Cameron, J.I Hall, Some groups generated by transvection subgroups, J. Algebra 140 (1991) 184–209

  • F. Timmesfeld, Groups generated by k-transvections, Invent. Math. 100 (1990) 167–206

category: geometry, algebra

Last revised on December 8, 2023 at 22:29:36. See the history of this page for a list of all contributions to it.