Effective Structure Theorems for Symplectic Spaces via Height
Given a 2k-dimensional symplectic space (Z,F) in N variables 1 < 2k ≤ N, over a global field K, we prove the existence of a symplectic basis for (Z,F) of bounded height. This can be viewed as a version of Siegel's lemma for a symplectic space. As corollaries of our main result, we prove the existence of a small-height decomposition of (Z,F) into hyperbolic planes, as well as the existence of two generating flags of totally isotropic subspaces. These present analogues of known results for quadratic spaces. A distinctive feature of our argument is that it works simultanesouly for essentially any field with a product formula, algebraically closed or not. In fact, we prove an even more general version of these statements, where canonical height is replaced with twisted height. All bounds on height are explicit.
© American Mathematical Society
Fukshansky, Lenny. "Effective Structure Theorems for Symplectic Spaces via Height." Quadratic Forms- Algebra, Arithmetic, and Geometry. Ed. Ricardo Baeza, Wai Kiu Chan, Detlev W. Hoffmann and Rainer Schulze-Pillot. Contemporary Mathematics 493 (2009): 117-130.