a7fabe1b9de9d55c.tex
1: \begin{abstract}
2: Consider an arbitrary field $K$ and
3: a finite-dimensional vector space $X$ over $K$ equipped with a, possibly degenerate,
4: symplectic form $\omega$. Given a spanning subset $S$ of $X$,
5: for each $k$ in $K$ and each vector $s$ in $S$, consider the symplectic transvection
6: mapping a vector $x$ to $x+k\omega(x,s)s$. The group generated by
7: these transvections has been extensively studied, and its orbit structure is
8: known. In this paper, we obtain corresponding results for the orbits of the
9: dual action on $X^\ast$. As for the non-dual case, the analysis gets harder
10: when the field contains only two elements. For that field, the dual transvection group is equivalent to a game known as the lit-only sigma game, played on a graph. Our results provide a complete solution to the reachability problem of that game, previously solved only for some special cases.
11: \end{abstract}
12: