The trace of the local \(\mathbb{A}^1\)-degree
type: Item
instance of: scholarly article
title: The trace of the local \(\mathbb{A}^1\)-degree
zbMATH Open document ID: 1456.14027
author: Thomas Brazelton
author: Robert Burklund
author: Stephen McKean
author: Michael Montoro
author: Morgan Opie
published in: Homology, Homotopy and Applications
publication date: 2020-12-10T00:00:00Z
full work available at URL: https://arxiv.org/abs/1912.04788
review text: The theory of \(\mathbb{A}^1\)-enumerative geometry is a relatively young topic, defined as an application of the \(\mathbb{A}^1\)-homotopy theory of \textit{F. Morel} and \textit{V. Voevodsky} [Publ. Math., Inst. Hautes Étud. Sci. 90, 45--143 (1999; Zbl 0983.14007)] to enumerative geometry over arbitrary base fields \(\kappa\); see [\textit{B. Williams} and \textit{K. Wickelgren}, in: Handbook of homotopy theory. Boca Raton, FL: CRC Press. 42 p. (2020; Zbl 1473.14041)]. In this short article, the authors study the local \(\mathbb{A}^1\)-degree, a foundational tool in \(\mathbb{A}^1\)-enumerative geometry. Analogous to the classical Brouwer degree of a continuous map \(\mathbb{R}^n\to \mathbb{R}^n\) with an isolated zero at the origin taking values in the integers, the local \(\mathbb{A}^1\)-degree is an invariant of a map \(f\colon\mathbb{A}^n_\kappa\to \mathbb{A}^n_\kappa\) at an isolated zero \(p\) taking values in the Grothendieck--Witt group \(\mathrm{GW}(\kappa)\) of the field \(\kappa\). The main theorem [Theorem 1.3] states that if the map \(\kappa\to\kappa(p)\) from the residue field of \(p\) is separable and of finite degree, then the local \(\mathbb{A}^1\)-degree of \(f\) can be computed as the image of the local \(\mathbb{A}^1\)-degree of the base change of \(f\) over \(\kappa(p)\) under the natural transfer map of Grothendieck-Witt groups. This result is somewhat inspired by Morel's original work in defining the local \(\mathbb{A}^1\)-degree [\textit{F. Morel}, in: Proceedings of the international congress of mathematicians (ICM), Madrid, Spain, August 22--30, 2006. Volume II: Invited lectures. Zürich: European Mathematical Society (EMS). 1035--1059 (2006; Zbl 1097.14014)] and more recent work by \textit{J. L. Kass} and \textit{K. Wickelgren} [Duke Math. J. 168, No. 3, 429--469 (2019; Zbl 1412.14014)]. The authors also obtain a corollary of Theorem 1.3, generalising a statement of Kass and Wickelgren [loc. cit.] relating the local \(\mathbb{A}^1\)-degre…
reviewed by: Jack Morgan Davies
Mathematics Subject Classification ID: 14F42
Mathematics Subject Classification ID: 55M25
Mathematics Subject Classification ID: 55P42
zbMATH DE Number: 7283640
zbMATH Keywords: motivic
zbMATH Keywords: homotopy
zbMATH Keywords: enumerative
zbMATH Keywords: geometry
zbMATH Keywords: trace
zbMATH Keywords: degree
MaRDI profile type: MaRDI publication profile
arXiv ID: 1912.04788
DOI: 10.4310/HHA.2021.V23.N1.A13
description: scientific article