Bayer-Fluckiger et al.'s conjecture on totally decomposable orthogonal involutions

From papers

Let FF be a field of characteristic not two, and let (A,σ)(A,\sigma) be a central simple algebra with orthogonal involution of degree 2n2^n over FF. An orthogonal involution is totally decomposable if it is a tensor product of involutions on quaternion algebras. For a field extension K/FK/F, write (A,σ)K(A,\sigma)_K for the scalar extension, and call (A,σ)(A,\sigma) hyperbolic when its scalar extension is hyperbolic. A field extension K/FK/F is a splitting field of AA when AKA_K is split, and an involution on a split algebra is adjoint to a Pfister form when it is the adjoint involution of such a form.

Bayer-Fluckiger et al.'s conjecture. The following statements are equivalent:

  1. (A,σ)(A,\sigma) is totally decomposable.
  2. For every field extension K/FK/F, (A,σ)K(A,\sigma)_K is either anisotropic or hyperbolic.
  3. For every splitting field KK of AA, (A,σ)K(A,\sigma)_K is adjoint to a Pfister form.

The conjecture concerns characterizations of totally decomposable orthogonal involutions through their behavior after field extensions and over splitting fields. The source states that its characteristic-two analogue is settled in the paper, but gives no resolution here for the conjecture in characteristic different from two.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

Amir Hossein Nokhodkar, “Separable extensions of orthogonal involutions in characteristic two”, arXiv:1704.06887 (2017).

Solutions 0

No solutions have been posted yet.