Nested Witt vectors and their \(q\)-deformation
type: Item
instance of: scholarly article
title: Nested Witt vectors and their \(q\)-deformation
zbMATH Open document ID: 1119.13018
author: Young-Tak Oh
published in: Journal of Algebra
publication date: 2007-04-11T00:00:00Z
review text: Let \(N\subset {\mathbb N}\) be a truncation set, i. e. a subset of \({\mathbb N}\) containing every divisor of each of its elements. Let \(Ring\) be the category of commutative rings not necessarily unital and \(gh_N:Ring\rightarrow Ring\) the \(N\)-nested ghost ring functor associating to each ring \(A\) the ring whose underlying set equals \(A^N\) and whose operation are defined componentwise. If \(f:A\rightarrow B\) is a morphism of Ring then \(gh_N(f)\) is given by \((x_n)_{n\in N}\rightarrow (f(x_n))_{n\in N}\). The ring of \(N\)-nested Witt vectors \(W_N:Ring\rightarrow Ring\) is a functor characterized by the following properties: i) \(W_N(A)=A^N\) as a set, ii) for a morphism \(f:A\rightarrow B\) of Ring, \(W_N(f):W_N(A)\rightarrow W_N(B)\) is given by \((x_n)_{n\in N}\rightarrow (f(x_n))_{n\in N}\), iii) the map \(W_N(A)\rightarrow gh_N(A)\) given by \((x_n)_{n\in N}\rightarrow (\Sigma_{d|n} dx_d^{n/d})_{n\in N}\) is a ring morphism [see \textit{R. Auer}, J. Algebra 252, 293--299 (2002; Zbl 1011.13013)]. The \(q\)-deformation of \(N\)-nested Witt vector \(W_N^q:Ring\rightarrow Ring\) is a functor characterized by the similar conditions of i),ii) and by iii') the map \(W_N^q(A)\rightarrow gh_N(A)\) given by \((x_n)_{n\in N}\rightarrow (\Sigma_{d|n} dq^{(n/d) -1}x_d^{n/d})_{n\in N}\) is a ring morphism. Here it gives necessary and sufficient conditions to have \(W_N^q(A)\) strictly isomorphic with \(W_N^r(A)\) for some \(q,r\in {\mathbb N}\). The \(q\)-deformed \(N\)-nested necklace ring is a functor \(Nr_N^q:Ring\rightarrow Ring\) characterized by the similar conditions of i),ii) and by iii'') the map \(Nr_N^q(A)\rightarrow gh_N(A)\) given by \((x_n)_{n\in N}\rightarrow (\Sigma_{d|n} dq^{(n/d) -1}x_d)_{n\in N}\) is a ring morphism. If \(N,M\) are coprime truncated sets then \(NM\) is still a truncated set and there exists a functorial isomorphism \(W_N^q\cdot W_M^q\cong W_{NM}^q\), \(Nr_N^q\cdot Nr_M^q\cong Nr_{NM}^q\).
Mathematics Subject Classification ID: 13F20
Mathematics Subject Classification ID: 13K05
Mathematics Subject Classification ID: 19A22
zbMATH DE Number: 5141738
zbMATH Keywords: Witt vectors
zbMATH Keywords: necklace ring
zbMATH Keywords: Möbius inversion function
MaRDI profile type: Publication
full work available at URL: j.jalgebra.2006.09.026
OpenAlex ID: W2018596938
cites work: Q5556565
cites work: A class of residue systems \(\pmod r\) and related arithmetical functions. I: A generalization of Möbius inversion. II: Higher dimensional analogues
cites work: The Burnside ring of profinite groups and the Witt vector construction
cites work: The Burnside ring of the infinite cyclic group and its relations to the necklace algebra, \(\lambda\)-rings, and the universal ring of Witt vectors
cites work: Q3901604
cites work: Q5287502
cites work: Formal group-theoretic generalizations of the necklace algebra, including a \(q\)-deformation
cites work: Witt vectors and the algebra of necklaces
cites work: Generalized Burnside--Grothendieck ring functor and aperiodic ring functor associated with profinite groups
cites work: Necklace rings and logarithmic functions
cites work: \(q\)-deformation of Witt-Burnside rings
cites work: A functorial property of nested Witt vectors
cites work: Lambda-rings, binomial domains, and vector bundles over cp(∞)
DOI: 10.1016/J.JALGEBRA.2006.09.026
description: scientific article; zbMATH DE number 5141738