{"id":"arxiv/2604.15928","url":"https://arxiv.org/abs/2604.15928","tags":["math.KT","math.NT"],"score":0,"title":"Sums of two symbols in $K_2(F)/2K_2(F)$ in characteristic two","domain":"math.KT","source":"arxiv","authors":["Demba Barry","Adam Chapman","Ahmed Laghribi"],"reviews":0,"subject":"math.KT","summary":"In this paper, study sums $A=\\{a,b\\}_2+\\{c,d\\}_2$ of two symbols in $K_2(F)/2K_2(F)$ when $\\operatorname{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 \\equiv B$. We use this lemma to prove that $\\{a,b,c,d\\}_2 \\in K_4(F)/2K_4(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 $K_2(F)/4K_2(F)$. We also bound the symbol length of $C$ in $K_2(F)/2^m K_2(F)$ from above when $C$ is the sum of up to four symbols in $K_2(F)/2^{m+1}K_2(F)$.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-04-17","reactions":{}}