Coherent functors, with application to torsion in the Picard group

DOI10.1090/S0002-9947-97-01616-4zbMATH Open0869.14004arXivalg-geom/9410009OpenAlexW1729169308MaRDI QIDQ5690982FDOQ5690982

Authors: David B. Jaffe 

Publication date: 9 January 1997

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

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.

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

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

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)

Cited In (6)

• Half-exact coherent functors over Dedekind domains
• Coherent functors
• Title not available (Why is that?)
• 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)