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.
Definition. For a left vector space $V$ over a skewfield $F$, a transvection is a left $F$-linear map $t:V\to V$ such that the map $v\mapsto t(v)-v$ has 1-dimensional image (called the center of $t$) and this image is a subset of the fixed space of $V$ (the set of fixed points of $t$, i.e. the kernel if $v\mapsto t(v)-v$).
For finite dimensional vector spaces over a (commutative) field, $t\in GL(V)$ is a transvection f it is either the identity or $dim(Im(t-Id))=1$ and $det(t) = 1$. For any $s\in GL(V)$ the image $Im(s-Id)$ is also called the residual space of $s$ and $res(s) = dim(Im(s-Id))$ the residue of $s$. Residue is $0$ iff $s=Id$; residue of a product is smaller or equal the sum of residues. The fixed space and the residue space of $s$ are both fixed by $s$ and their dimensions add to the dimension of $V$; both spaces for $s^{-1}$ are equal to those of $s$.
In the geometry of symplectic vector spaces (of positive dimension $\geq 2$ over a commutative field) special role is played by the transvections within the symplectic group. The fixed points of a transvection $t\in Sp(V)$ are precisely those points $v\in V$ for which $\omega(v,t(v))=0$.
Theorem. $Sp(V)$ is generated by symplectic transvections (a result of Jean Dieudonne for fields other than $\mathbb{F}_2$ and of D. Callan for $\mathbb{F}_2$). This is theorem 2.1.9 in
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.
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)$ which is an image (under this natural projection) of a transvection in $GL(V)$.
For transvections defined via geodesics in a symmetric space, the relation to Killing vectors and the infinitesimal transvections see
The reflections define the Coxeter quandle what motivates the definition of transvections in the quandle context. The operations $R_a R_b^{-1}$ (where $R_a: x\mapsto x\triangleright a$) for $a,b$ in a quandle $X$ form the transvection group $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 whcih 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 $R$-module:
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
Last revised on September 22, 2022 at 05:23:27. See the history of this page for a list of all contributions to it.