Injectivity and surjectivity of the Dress map

DOI10.1016/J.JPAA.2016.05.013MaRDI QIDQ2630018zbMATH OpenOpenAlexWikidataFDO

Authors Ricardo G. Rojas-Echenique

Publication date 8 July 2016

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

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

zbMATH Keywords

Burnside ringDrees mapGrothendieck-Witt ringstable equivariant homotopy categorystable motivic homotopy category

Mathematics Subject Classification ID

Algebraic theory of quadratic forms; Witt groups and rings (11E81) Separable extensions, Galois theory (12F10) Motivic cohomology; motivic homotopy theory (14F42) Frobenius induction, Burnside and representation rings (19A22) (K)-theory of forms (19G99) Equivariant homotopy theory in algebraic topology (55P91)

Abstract: For a nontrivial finite Galois extension $L/k$ (where the characteristic of $k$ is different from 2) with Galois group $G$, we prove that the Dress map $h_{L/k}:A(G)oGW(k)$ is injective if and only if $L=k(sqrtalpha)$ where $alpha$ is not a sum of squares in $k^{i}mes$. Furthermore, we prove that $h_{L/k}$ is surjective if and only if $k$ is quadratically closed in $L$. As a consequence, we give strong necessary conditions for faithfulness of the Heller-Ormsby functor $c_{L/k}^{\ast }:ext{SH}_{G}oext{SH}_k$, as well as strong necessary conditions for fullness of $c_{L/k}^{\ast }$.

Review text

Let \(k\) be a field of characteristic not \(2\), and let \(L/k\) be a finite Galois extension with Galois group \(G\). \textit{J. Heller} and \textit{K. Ormsby} [Trans. Am. Math. Soc. 368, No. 11, 8047--8077 (2016; Zbl 1346.14049)] constructed a strong symmetric monoidal triangulated functor \(c_{L/k}^*: \text{SH}_G\to \text{SH}_k\) from the stable \(G\)-equivariant homotopy category to the stable motivic homotopy category over \(k\). The unit objects in these categories are the Burnside ring \(A(G)\) and the Grothendieck-Witt ring \(GW(k)\), repectively. The functor \(c_{L/k}^*\) induces a homomorphism between the endomorphism rings of these unit functors, and Heller and Ormsby [loc. cit.] show that this homomorphism is in fact the map \(h_{L/k}: A(G)\to GW(k)\) as defined by \textit{A. W. M. Dress} [Notes on the theory of representations of finite groups. Part I: The Burnside ring of a finite group and some AGN-applications. Universität Bielefeld, Fakultät für Mathematik (1971; Zbl 0241.20042)]. The first theorem in the present paper states that \(h_{L/k}\) is injective if and only if \(L=k\) or \(L=k(\sqrt{\alpha})\) with \(\alpha\) not a sum of squares in \(k\). As a corollary, one obtains that for \(c_{L/k}^*\) to be faithful, \(L/k\) must be of that shape. The second theorem states that \(h_{L/k}\) is surjective if and only if \(k\) is quadratically closed in \(L\), which therefore becomes a necessary condition for \(c_{L/k}^*\) to be full. As a consequence, one readily recovers the result by Heller and Ormsby [loc. cit.] that \(h_{L/k}\) is an isomorphism if and only if either \(k\) is quadratically closed and \(L=k\), or \(k\) is Euclidean and \(L=k(\sqrt{-1})\).

Recommendations

• scientific article; zbMATH DE number 7467860
• The Galois group of a stable homotopy theory
• The stable Galois correspondence for real closed fields
• Motivic homotopical Galois extensions
• The homogeneous spectrum of Milnor-Witt K-theory
• Base change functors in the \(\mathbb{A}^1\)-stable homotopy category
• The six operations in equivariant motivic homotopy theory
• cdh descent in equivariant homotopy \(K\)-theory
• Motivic homotopy theory of group scheme actions
• Equivariant cycles and cancellation for motivic cohomology

Cites work

• Galois equivariance and stable motivic homotopy theory
• scientific article; zbMATH DE number 2132158 (Why is no real title available?)
• scientific article; zbMATH DE number 3380869 (Why is no real title available?)

Cited in

(1)

• scientific article; zbMATH DE number 7467860 (Why is no real title available?)

This page was built for publication: Injectivity and surjectivity of the Dress map

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