<p>We construct an explicit Cartan–Dieudonné decomposition for orthogonal group elements of binary quadratic forms over non-archimedean local fields of characteristic zero, expressing each group element as a product of reflections defined by vectors. A key feature of our construction is its stability: we establish quantitative control on how the reflection matrices vary under small perturbations of the underlying vectors. Using this decomposition, we establish an effective result for the equivalence of binary quadratic forms over number fields. Specifically, let <i>K</i> be a number field and <i>S</i> a finite set of non-archimedean places of <i>K</i>. Given two <i>K</i>-equivalent binary quadratic forms integrally equivalent at every prime in <i>S</i>, we provide an explicit search bound for finding a <i>K</i>-equivalence that are integral at all primes in <i>S</i>.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Constructive and stable cartan–dieudonné and applications to binary quadratic forms over number fields

  • Ze Fan,
  • Han Li

摘要

We construct an explicit Cartan–Dieudonné decomposition for orthogonal group elements of binary quadratic forms over non-archimedean local fields of characteristic zero, expressing each group element as a product of reflections defined by vectors. A key feature of our construction is its stability: we establish quantitative control on how the reflection matrices vary under small perturbations of the underlying vectors. Using this decomposition, we establish an effective result for the equivalence of binary quadratic forms over number fields. Specifically, let K be a number field and S a finite set of non-archimedean places of K. Given two K-equivalent binary quadratic forms integrally equivalent at every prime in S, we provide an explicit search bound for finding a K-equivalence that are integral at all primes in S.