##  [Picard Scheme](/picard-scheme-0) 

 Definition

The relative Picard scheme Pic_{X/S} (when representable) is the scheme (or group scheme) representing the sheaf that assigns to an S-scheme T the group of isomorphism classes of line bundles on X_T modulo pullback from T; it organizes families of line bundles and their algebraic equivalence classes and often decomposes into components such as Pic^0 and the Néron–Severi lattice.

 

 

 

 

 

 





## Principle

Principle

The Picard scheme encodes the deformation and family behavior of line bundles in an algebro-geometric family: it is the algebro-geometric moduli space that turns the Picard functor into a representable group object when representability hypotheses hold (properness, flatness, cohomological conditions).

 

 

 

 

 





## Demonstration

Demonstration

For a smooth proper family of curves f: X→S, the relative Picard scheme exists and its connected component Pic^0_{X/S} is an abelian scheme; when S is a point and X is a smooth projective curve, Pic^0(X) is the Jacobian variety parameterizing degree-zero line bundles.

 

 

 

 

## Misapplication

Misapplication

Assuming a Picard scheme exists without verifying representability hypotheses (e.g., for non-proper or singular families), or conflating the Picard scheme with the Picard stack or the abstract Picard group of a single variety without the scheme structure and family behavior.

 

 

 

 

 





## Consequence

Consequence

When it exists, the Picard scheme provides a geometric group object controlling line bundle variation, enables construction of duals (e.g., Jacobians), supplies tools for studying heights and Néron–Severi groups, and links to Abel–Jacobi and regulator constructions.

 

 

 

 

## Reversal

Reversal

The dual viewpoint emphasizes the Brauer group or moduli of Azumaya algebras, or one may pass to the Picard stack which remembers automorphisms of line bundles; these are conceptually ‘reversed’ or complementary parametrizations of twisted or higher-degree data.

 

 

 

 

 





## Boundary

Boundary

Representability requires hypotheses (proper, flat morphisms, cohomology and base-change conditions); outside these hypotheses one must work with the Picard functor as an fppf/étale sheaf or with the Picard stack. Over nonreduced bases or in positive characteristic pathologies occur, and connectedness/abelian scheme properties may fail.

 

 

 

 

 





## Semantic Tension

Semantic Tension

Tension exists between the Picard scheme, the Picard variety (its largest reduced connected projective subgroup), and the Picard stack; mathematicians sometimes conflate the functor of points, a representing scheme, and classical Picard groups, producing ambiguity about representability, connectedness, or stacky automorphisms.

 

 

 

 

 





## Synthesis

Synthesis

The Picard scheme, when it exists, is the representable geometric object parametrizing families of line bundles (modulo pullback) on a family X→S; it is a group scheme organizing algebraic equivalence and deformation information, with Pic^0 capturing the abelian variety part and other components recording discrete Néron–Severi data.