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

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

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

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

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

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

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

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

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.