Transfer functors on \(k\)-algebras
type: Item
instance of: scholarly article
title: Transfer functors on \(k\)-algebras
zbMATH Open document ID: 1086.19001
author: C. Weibel
published in: Journal of Pure and Applied Algebra
publication date: 2005-10-28T00:00:00Z
review text: The notion of a presheaf with transfer plays a crucial role in Voevodsky's construction of a triangulated category \(DM(k)\) of motives over a field \(k\) and a functor from the category of smooth schemes over \(k\) to \(DM(k)\). In this paper the author introduces the notion of a transfer functor \(F\) from normal algebras over a field \(k\). The first ingredient is the category \({\mathcal C}or_k\) whose objects are normal \(k\)-algebras of finite type over \(k\) and morphisms are \(\mathbb Z\)-linear combinations of elementary correspondences from an algebra \(A\) to an algebra \(B\). An elementary correspondence is a prime ideal \(P\) in \(A\otimes _kB\) such that \(P\cap B = 0\) and the inclusion \(B\subset A\otimes_k B/P\) is finite. If \(\text{char\,} k = 0\) then \({\mathcal C}or_k(A,B)\) is the group of finite correspondences from \(A\) to \(B\). When \(A\) and \(B\) are smooth then \({\mathcal C}or_k(A,B)\) coincides with the group \({\mathcal C}or_k(\text{Spec}\,B,\text{Spec\,}A)\) of finite correspondences considered by \textit{V. Voevodsky} [``Triangulated categories of motives over a field'', Ann. Math. Stud. 143, 188--238 (2000; Zbl 1019.14009)]. A transfer functor is an additive functor from \({\mathcal C}or_k\) to abelian groups. Among several examples of transfer functors, like the etale cohomology \(H^*_{\text{et}}(\text{Spec\,}A,{\mathcal F})\), where \(\mathcal F\) is an etale sheaf with transfers, and the Picard group, a remarkable one is given by a Hecke functor. This is defined as a contravariant additive functor \(M\) from the category \({\mathcal C}or_G\), \(G\) a group, to abelian groups. Here \({\mathcal C}or_G\) denotes the category of finite \(G\)-sets and equivariant multivalued functions. The interesting case is when \(G ={\mathcal G}al(\overline k/k)\): then \({\mathcal C}or_G\) is a subcategory of \({\mathcal C}or_k\) and the restriction of any transfer functor to \({\mathcal C}or_G\) is a Hecke functor. Conversely any Hecke functor…
Mathematics Subject Classification ID: 19E15
Mathematics Subject Classification ID: 14F42
Mathematics Subject Classification ID: 18E30
zbMATH DE Number: 2220571
reviewed by: Claudio Pedrini
MaRDI profile type: MaRDI publication profile
full work available at URL: j.jpaa.2004.12.016
OpenAlex ID: W2015113421
cites work: Q5605289
cites work: Q4274969
cites work: Cohomology of finite groups of Lie type. I
cites work: Q4097455
cites work: Axiomatic representation threory for finite groups
cites work: A remark on Mackey-functors
cites work: On Induced Representations of Groups
cites work: Q3739243
cites work: Q5485722
cites work: Q3871006
cites work: Hecke operators in cohomology of groups
cites work: Hecke actions on Picard groups
cites work: On integrals attached to automorphic forms
cites work: Q5625265
cites work: Singular homology of abstract algebraic varieties
cites work: Q4513077
cites work: A note on normality and the module of differentials
cites work: Q4513080
cites work: KV-Theory of Categories
cites work: On G-functors. II: Hecke operators and G-functors
DOI: 10.1016/J.JPAA.2004.12.016
Recommended article: Q3150819
Recommended article: On multiplicative transfer
Recommended article: Alcahestic subalgebras of the alchemic algebra and a correspondence of simple modules
Recommended article: \(K\)-theory of the Weil transfer functor
Recommended article: Weil transfer of algebraic cycles.
description: scientific article; zbMATH DE number 2220571