Canadian Mathematical Society www.cms.math.ca
Search results

Search: All articles in the CJM digital archive with keyword heights

 Expand all        Collapse all Results 1 - 1 of 1

1. CJM 2007 (vol 59 pp. 1284)

Fukshansky, Lenny
 On Effective Witt Decomposition and the Cartan--Dieudonn{Ã© Theorem Let $K$ be a number field, and let $F$ be a symmetric bilinear form in $2N$ variables over $K$. Let $Z$ be a subspace of $K^N$. A classical theorem of Witt states that the bilinear space $(Z,F)$ can be decomposed into an orthogonal sum of hyperbolic planes and singular and anisotropic components. We prove the existence of such a decomposition of small height, where all bounds on height are explicit in terms of heights of $F$ and $Z$. We also prove a special version of Siegel's lemma for a bilinear space, which provides a small-height orthogonal decomposition into one-dimensional subspaces. Finally, we prove an effective version of the Cartan--Dieudonn{\'e} theorem. Namely, we show that every isometry $\sigma$ of a regular bilinear space $(Z,F)$ can be represented as a product of reflections of bounded heights with an explicit bound on heights in terms of heights of $F$, $Z$, and $\sigma$. Keywords:quadratic form, heightsCategories:11E12, 15A63, 11G50

© Canadian Mathematical Society, 2013 : http://www.cms.math.ca/