Standard norm varieties for Milnor symbols mod p

DOI10.2140/AKT.2016.1.457MaRDI QIDQ738874zbMATH OpenOpenAlexFDO

Authors Dinh Huu Nguyen

Publication date 16 August 2016

Published in Annals of \(K\)-Theory (Search for Journal in Brave)

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

zbMATH Keywords

\(p\)-generic splitting varieties\(p\)-generic splitting varietyalgebraic geometrygeneric splitting varietiesgeneric splitting varietyMilnor \(K\)-theoryMilnor symbolsnorm varietiesnorm varietystandard norm varietiesstandard norm variety

Mathematics Subject Classification ID

Forms and linear algebraic groups (11Exx) Motivic cohomology; motivic homotopy theory (14F42) Higher symbols, Milnor (K)-theory (19D45)

Abstract: We prove that the standard norm varieties for Milnor symbols mod p of length n are birationally isomorphic to Pfister quadrics when p = 2, to Severi-Brauer varieties when p > 2, n = 2, and to varieties defined by reduced norms of cyclic algebras when p > 2, n = 3. In the case p = 2 and the case p > 2, n = 2, the results imply that the standard norm varieties for two equal Milnor symbols mod p are birationally isomorphic, and we conjecture this in general.

Review text

This is a very interesting paper on the topic with a clear introduction (\S1). \S2 gives an overview on the general construction of splitting varieties and norm varieties (originally due to Rost and Voevodsky) for Milnor symbols. This uses étale coverings and resolution of singularities whence the groundfield \(k\) is supposed to be of \(\text{char\,}k=0\). The longest \S3 treats the case \(p=2\) for all \(n\). By ``beautiful computations with quadratic forms and induction on \(n\) it is shown that the standard norm varieties are birationally isomorphic to quadrics defined by so-called ``Pfister neighbors (Theorem 3.7) and depend only on the Milnor symbol \(\text{mod\,}2\) (Corollary 3.13). \S4 is on the case \(p>2\) for \(n=2\). Here the standard norm variety \(X(a,b)\) of a symbol \(\{a,b\}\) is birationally isomorphic to the Severi-Brauer variety \(\text{SB}(A)\) of the cyclic algebra \(A= (a,b,\zeta_p)_k\) (Theorem 4.1), and depends again only on \(\{a,b\}\) and \(p\) (Corollary 4.2). The computations are easier in this case, they use Galois descent. \S5 is on the case \(p>2\) for \(n=3\). Here \(X(a,b,c)\) is birationally isomorphic to \(Z(Nrd_{A/k}- c)\), where \(A= (a,b,\zeta_p)_k\). This completes a paper by \textit{N. A. Karpenko} and \textit{A. S. Merkurjev} [Ann. Sci. Éc. Norm. Supér. (4) 46, No. 1, 175--214 (2013; Zbl 1275.14006)].

Recommendations

• Norm varieties
• scientific article; zbMATH DE number 1182562
• The exponential homomorphisms for the Milnor K-groups and an explicit reciprocity law
• On properties of the \(n\)-dimensional norm residue symbol in higher local class field theory
• Motives of projective homogeneous varieties
• Newton transformations and the motivic Milnor fiber of a plane curve
• Codimension two determinantal varieties with isolated singularities
• An application of bivariant theory to Milnor classes
• Motivic Milnor fibers of plane curve singularities
• A remark about the norm-residue homomorphism \(h: K_*F/2\rightarrow H^*(F,\mathbb{Z}/2)\)

Cited in

(2)

• On standard norm varieties
• Geometric criteria for 𝔸¹-connectedness and applications to norm varieties

This page was built for publication: Standard norm varieties for Milnor symbols \(\mathrm{mod} p\)

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