Reduced Whitehead groups of prime exponent algebras over p-adic curves

DOI10.25537/DM.2021V26.337-413MaRDI QIDQ2663182zbMATH OpenFDO

Authors Nivedita Bhaskhar

Publication date 16 April 2021

Published in Documenta Mathematica (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1808.09021

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

\(\mathrm{SK}_1\)function fields of \(p\)-adic curvespatchingreduced Whitehead groupsTannaka-Artin problem

Mathematics Subject Classification ID

Arithmetic theory of algebraic function fields (11R58) Algebraic functions and function fields in algebraic geometry (14H05) Arithmetic ground fields for curves (14H25) Finite-dimensional division rings (16K20) Brauer groups (algebraic aspects) (16K50)

Abstract: Let F be the function field of a curve over a p-adic field. Let D/F be a central division algebra of prime exponent $ell$ which is different from p. Assume that F contains a primitive ${ell}^2$-th root of unity. Then the group $S{K}_1(D):=S{L}_1(D)/[D^{\ast },D^{\ast }]$ is trivial.

Review text

Given a central simple algebra \(A\) over a field \(F\), the set of elements of reduced norm 1 is a multiplicative group, denoted by \(\operatorname{SL}_1(A)\). Since every (multiplicative) commutator \(aba^{-1}b^{-1}\) is of reduced norm 1, the multiplicative subgroup \([A^\times,A^\times]\) of \(A^\times\) generated by commutators is a subgroup of \(\operatorname{SL}_1(A)\). Tanaka and Artin raised the question (in 1943) of whether \(\operatorname{SL}_1(A)=[A^\times,A^\times]\). \textit{V. P. Platonov} showed [Proc. int. Congr. Math. Vol. 1, 311--317 (1980; Zbl 0425.16018)] that the answer is negative in general (with an example of \(A\) a biquaternion algebra over \(F=\mathbb{Q}_p(\!(x)\!)(\!(y)\!)\)) and that for fields of cohomological dimension 2 the answer is positive. This leaves the case of cohomological dimension 3 particularly interesting, and \textit{A. Suslin} [Transl., Ser. 2, Am. Math. Soc. 219, 125--147 (2006; Zbl 1238.12005)] conjectured that the answer is positive for algebras of degree \(\ell^2\) where \(\ell\) is a prime integer, based on Rost's result showing that this is indeed true when \(\ell=2\). The goal of this paper is to prove Suslin's conjecture for the special case of \(F\) being the function field of a curve over a \(p\)-adic field, with the additional assumptions that \(F\) contains primitive \(\ell^2\)th roots of unity and \(\ell\neq p\). The author relies on patching techniques developed by Harbater, Hartmann, and Krashen [\textit{D. Harbater} et al., Invent. Math. 178, No. 2, 231--263 (2009; Zbl 1259.12003); Comment. Math. Helv. 89, No. 1, 215--253 (2014; Zbl 1332.11046)].

Recommendations

• scientific article; zbMATH DE number 1366621
• Cyclic algebras over p-adic curves.
• scientific article; zbMATH DE number 3979281
• On triviality of the reduced Whitehead group over Henselian fields
• The group \(SK_1\) for simple algebras.

Cites work

• K-COHOMOLOGY OF SEVERI-BRAUER VARIETIES AND THE NORM RESIDUE HOMOMORPHISM
• \(SK_1\) of division algebras and Galois cohomology revisited
• Algebraic approximation of structures over complete local rings
• Applications of patching to quadratic forms and central simple algebras
• Cyclic algebras over p-adic curves.
• Division algebras over Henselian fields.
• Generic element in \(SK_ 1\) for simple algebras
• scientific article; zbMATH DE number 3661526 (Why is no real title available?)
• scientific article; zbMATH DE number 17329 (Why is no real title available?)
• scientific article; zbMATH DE number 3479043 (Why is no real title available?)
• scientific article; zbMATH DE number 1201676 (Why is no real title available?)
• scientific article; zbMATH DE number 1282790 (Why is no real title available?)
• scientific article; zbMATH DE number 1047205 (Why is no real title available?)
• scientific article; zbMATH DE number 1059854 (Why is no real title available?)
• Integral closure of ideals, rings, and modules
• Invariants of algebraic groups
• Local-global principles for Galois cohomology
• Local-global principles for torsors over arithmetic curves
• Local–global principle for reduced norms over function fields of -adic curves
• On the Commutator Group of a Simple Algebra
• Patching over fields
• The group \(SK_1\) for simple algebras.
• THE TANNAKA-ARTIN PROBLEM AND REDUCEDK-THEORY
• Über die multiplikative Gruppe einer $\mathfrak{p}$-adischen Divisionsalgebra

Cited in

(6)

• On triviality of the reduced Whitehead group over Henselian fields
• scientific article; zbMATH DE number 3979281 (Why is no real title available?)
• scientific article; zbMATH DE number 1366621 (Why is no real title available?)
• scientific article; zbMATH DE number 561972 (Why is no real title available?)
• When do reduced Whitehead groups of Iwasawa algebras vanish? A reduction step
• On the exponent of a certain quotient of Whitehead groups of division algebras

This page was built for publication: Reduced Whitehead groups of prime exponent algebras over \(p\)-adic curves

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2663182)