Coherent functors, with application to torsion in the Picard group

DOI10.1090/S0002-9947-97-01616-4MaRDI QIDQ5690982zbMATH OpenOpenAlexFDO

Authors David B. Jaffe

Publication date 9 January 1997

Published in Transactions of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/alg-geom/9410009

zbMATH Keywords

torsionrepresentable functorcoherent functorPicard group of a scheme of finite type over a finite field

Mathematics Subject Classification ID

Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Special properties of functors (faithful, full, etc.) (18A22) Picard groups (14C22) Picard schemes, higher Jacobians (14K30)

Abstract: Let A be a commutative noetherian ring. Call a functor <<commutative A-algebras>> --> <<sets>> coherent if it can be built up (via iterated finite limits) from functors of the form B mapsto M tensor_A B, where M is a f.g. A-module. When such a functor F in fact takes its values in <<abelian groups>>, we show that there are only finitely many prime numbers p such that _p F(A) is infinite, and that none of these primes are invertible in A. This (and related statements) yield information about torsion in Pic(A). For example, if A is of finite type over Z, we prove that the torsion in Pic(A) is supported at a finite set of primes, and if _p Pic(A) is infinite, then the prime p is not invertible in A. These results use the (already known) fact that if such an A is normal, then Pic(A) is finitely generated. We obtain a parallel result for a reduced scheme X of finite type over Z. We show that the groups which can occur as the Picard group of a scheme of finite type over a finite field all have the form (finitely generated) + sum_{n=1}^infty F, where F is a finite p-group. Hard copy is available from the author. E-mail to jaffe@cpthree.unl.edu.

Recommendations

• Publication:3470592
• Pic is a contracted functor
• scientific article; zbMATH DE number 589396
• On the Picard group: Torsion and the kernel induced by a faithfully flat map

Cited in

(6)

• Half-exact coherent functors over Dedekind domains
• Coherent functors
• scientific article; zbMATH DE number 4137944 (Why is no real title available?)
• On the Picard group: Torsion and the kernel induced by a faithfully flat map
• On the \(p\)-torsion of the Tate-Shafarevich group of abelian varieties over higher dimensional bases over finite fields
• Cohomology and base change for algebraic stacks

This page was built for publication: Coherent functors, with application to torsion in the Picard group

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