Geometric Picard Group

• Geometric Picard Group is the group of isomorphism classes of line bundles modulo algebraic equivalence on varieties or stacks, reflecting both algebraic and topological structures.
• It plays a key role in moduli theory, synthetic algebraic geometry, and arithmetic geometry, with computations based on étale cohomology and tensor power techniques.
• Computational methods combine cohomological invariants, gerbe structures, and explicit divisor class generators to derive ranks, torsion phenomena, and motivic equivalences.

A geometric Picard group is the group of isomorphism classes of line bundles—equivalently, Cartier divisors modulo algebraic equivalence—on an algebraic variety or stack after base change to an algebraic closure. This group encodes the algebraic and topological structure of the underlying object and plays a central role in moduli theory, synthetic algebraic geometry, motivic categories, and arithmetic geometry. Its computation, properties, and classification are subject to deep structural theorems connecting cohomological, stack-theoretic, and motivic perspectives.

1. Definitions and Fundamental Structures

Let $X$ be a scheme or stack over a field $K$, and $\bar K$ a separable closure. The geometric Picard group is defined as

$$\mathrm{Pic}(X_{\bar K}) = \{\text{isomorphism classes of line bundles on } X_{\bar K}\} = \mathrm{Div}(X_{\bar K}) / \sim_{\mathrm{alg}},$$

where divisors are taken modulo algebraic equivalence. For K3 surfaces, $\text{Pic}(X_{\bar K})$ is a free $\mathbb{Z}$-module of rank $1 \leq \rho(X_{\bar K}) \leq 20$, equipped with a bilinear intersection form of signature $(1, \rho-1)$ (Elsenhans et al., 2010, Elsenhans et al., 2010). More generally, for projective $n$-space, $\mathrm{Pic}(\mathbb{P}^n) \cong \mathbb{Z}$, with Serre's twisting sheaf $\mathcal{O}(1)$ as a generator (Cherubini et al., 2024).

The geometric Picard group is always functorial in finite étale morphisms and reflects the global structure after extension of scalars.

2. Synthetic and Stack-Theoretic Computation

In synthetic algebraic geometry, within homotopy type theory (HoTT) and univalence, the Picard group is computed via explicit type-theoretic models. For projective $n$-space, one constructs

$$\mathbb{P}^n \simeq (R^{n+1} \setminus \{0\}) / R^\times,$$

and defines line bundles as maps $L: \mathbb{P}^n \rightarrow K_R$, with $K_R$ the delooping of the unit group $R^\times$. Serre's twisting bundles $\mathcal{O}(d)$ are defined by explicit tensor powers, and one proves

$\mathrm{Pic}(\mathbb{P}^n) \simeq \mathbb{Z},$

with every line bundle uniquely expressed as a tensor power of $\mathcal{O}(1)$ (Cherubini et al., 2024).

For moduli stacks such as the stack $\mathcal{H}_{r,g,n}$ of $n$-pointed smooth cyclic covers of the projective line, the geometric Picard group is computed via quotient-stack presentations and equivariant Chow groups. The main theorem provides (Landi, 2023): $$\mathrm{Pic}(\mathcal{H}_{r,g,n}) \cong \mathbb{Z}^k \oplus \begin{cases} \mathbb{Z}/2r(r d - 1)\mathbb{Z}, & d \text{ even} \ \mathbb{Z}/r(r d - 1)\mathbb{Z}, & d \text{ odd} \end{cases}$$ with explicit geometric generators arising from boundary divisor classes and ramification loci.

Moduli stacks of Jacobians, such as the universal compactified Jacobian $\overline{\mathrm{Jac}}_{d,g}$, have Picard group decompositions controlled by tautological classes and boundary divisor classes, with connecting exact sequences and gerbe structure determining torsion phenomena (Melo et al., 2010).

3. Cohomological and Motivic Interpretations

In cohomological terms, the geometric Picard group often embeds as a direct summand of étale cohomology via the first Chern class: $$c_1: \mathrm{Pic}(X_{\bar K}) \hookrightarrow H^2_{\mathrm{et}}(X_{\bar K}, \mathbb{Z}_\ell(1)).$$ This facilitates the analysis of rank and intersection properties using Frobenius eigenvalues and Galois module structure, especially for K3 surfaces, where one can compute $\rho(X_{\bar K})$ via point counting and discriminant analysis (Elsenhans et al., 2010, Elsenhans et al., 2010).

For the motivic category $\mathrm{DM}_{gm}(k; \mathbb{Z}/2)$, the geometric Picard subgroup generated by affine quadrics is described via reduced motives and determinant classes. Vishik's results yield canonical injections

$$\mathrm{Pic}_{qua}/T \hookrightarrow \bigoplus_{[N] \in N(k)} \mathbb{Z} \cdot \det(N)$$

where $N(k)$ runs over indecomposable anisotropic summands, and relations correspond precisely to isomorphisms in classical Chow motives (Vishik, 2018). The Grothendieck–Witt ring embeds into the Picard group via classes $[e_q]$ of quadratic forms.

4. Computational Techniques and Algorithms

For K3 surfaces over $\mathbb{Q}$, new methods establish Picard rank one using either reduction at a single prime or, refined, using two primes together with Galois module analysis. The main criteria involve verifying:

1. The rank bound from Frobenius eigenvalues.
2. Absence of liftable "extra" line bundles via obstruction analysis in deformation theory.

An explicit algorithm, relying on point counting and Artin–Tate formula discriminant computations, concludes $\rho(S_{\overline{\mathbb{Q}}}) = 1$ if admissible submodules intersect trivially in dimension $2$ or have incompatible discriminants (Elsenhans et al., 2010, Elsenhans et al., 2010).

5. Torsion, Exact Sequences, and Gerbe Structures

Gerbe rigidification plays a fundamental role in the geometric Picard group of moduli stacks. For the universal Jacobian stack, the presence of a finite $\mu_r$-band gerbe introduces torsion dictated by the order $r = \gcd(d+1-g, 2g-2)$, leading to exact sequences: $$0 \to \mathrm{Pic}(\mathcal{J}_{d,g}) \overset{v^*}{\to} \mathrm{Pic}(\mathrm{Jac}_{d,g}) \overset{\mathrm{res}}{\to} \mathrm{Hom}(\mathbb{G}_m, \mathbb{G}_m) \cong \mathbb{Z} \overset{\mathrm{obs}}{\to} \mathrm{Br}(\mathcal{J}_{d,g})$$ and corresponding torsion quotients (Melo et al., 2010). The existence, or failure, of generalized Poincaré bundles is characterized precisely by this obstruction.

6. Generators, Relations, and Explicit Presentations

Explicit descriptions of generators and relations are central in geometric Picard group calculations. For moduli stacks, generators correspond to boundary-divisor loci, ramification divisors, and Hodge classes, with relations imposed by geometric collision and ramification constraints (Landi, 2023). In the motivic setting, determinants of summands and quadratic form equivalence generate relations vital for motivic equivalence classification (Vishik, 2018).

For projective spaces, the relation

$\mathrm{Pic}(\mathbb{P}^n) \cong \mathbb{Z}$

is realized via Serre's twisting sheaves, with uniqueness up to tensor power and cocycle classification in affine covers (Cherubini et al., 2024).

7. Connections with Classical, Synthetic, and Motivic Theory

The geometric Picard group serves as a unifying invariant across classical algebraic geometry, synthetic approaches, and motivic homotopy theory. Synthetic proofs often replace matrix patching arguments with high-level fixed-point and truncation methods, leveraging the homotopy-theoretic structure and univalence. Classical divisor class groups and Chow groups of coarse moduli schemes correspond directly under pull-back to stack-theoretic Picard groups, with gerbe and boundary phenomena marking the precise distinctions.

In summary, geometric Picard group theory encapsulates the topological and arithmetic structure of algebraic and stack-theoretic objects, enabling a granular understanding of line bundle classification, cohomological invariants, and motivic equivalence, as demonstrated across foundational results in synthetic, cohomological, and computational contexts (Cherubini et al., 2024, Elsenhans et al., 2010, Elsenhans et al., 2010, Melo et al., 2010, Vishik, 2018, Landi, 2023).