2026/04/17 by Demba Barry, Adam Chapman, Ahmed Laghribi · 2 voices
Mathematics · #math.KT #math.NT
In this paper, study sums A=\a,b\2+\c,d\2 of two symbols in K2(F)/2K2(F) when char(F)=2. We first prove a chain lemma that connects A to B=\α,β\2+\γ,δ\2 by a finite sequence of small steps when A ≡ B. We use this lemma to prove that \a,b,c,d\2 ∈ K4(F)/2K4(F) is a well-defined invariant of A, and that this invariant is trivial if and only if A is congruent to a single symbol in K2(F)/4K2(F). We also bound the symbol length of C in K2(F)/2m K2(F) from above when C is the sum of up to four symbols in K2(F)/2m+1K2(F).