---
title: Relative Effective Cartier Divisors
url: https://www.emergentmind.com/topics/relative-effective-cartier-divisors
type: topic
---

# Relative Effective Cartier Divisors

Searching arXiv for recent and foundational papers on relative Cartier divisors, effective Cartier divisors, and related divisor-theoretic frameworks.
Relative effective Cartier divisors appear in several technically distinct frameworks. For a commutative ring extension \(A\subset B\), the established relative object is the group \(I(A,B)\) of invertible \(A\)-submodules of \(B\), which the literature identifies as the group of relative Cartier divisors; when \(A\) is a domain with fraction field \(K\), \(I(A,K)\) recovers the usual Cartier divisor group [1507.06910]. In deformation theory, one studies an effective divisor \(D\subset X\) and asks whether \(D\), or some multiple \(nD\), lifts as an effective Cartier divisor along a first-order deformation of \(X\) [2011.07452]. In arithmetic effectivity, Cartier divisors on a geometrically integral projective variety over a number field are encoded by presentations that make local Weil functions effectively computable, even when the divisor is defined only after passage to a finite extension [2510.18284]. Taken together, these viewpoints show that “relative effective Cartier divisors” do not denote a single universal construction, but rather a family of divisor-theoretic formalisms organized around invertible submodules, pullback data, deformation along a base, and effective computation.

## 1. Ring extensions and the basic relative divisor group

For a commutative ring extension \(i:A\subset B\), the paper "Relative Cartier Divisors and Laurent Polynomial Extensions" defines
\[
I(A,B)=\{\text{invertible \(A\)-submodules of }B\}
\]
under multiplication, and states that an invertible \(A\)-submodule is also said to be a relative Cartier divisor [1507.06910]. The definition is multiplicative: the \(A\)-submodules of \(B\) form a monoid under multiplication with identity \(A\), and \(L_1\subset B\) is invertible if \(L_1L_2=A\) for some \(L_2\). This is the basic ring-theoretic relative divisor group.

The same source gives a sheaf-theoretic interpretation. Writing \(f:\operatorname{Spec}B\to \operatorname{Spec}A\), the group \(I(A,B)\) is described by a Zariski-cohomological formula of the form
\[
I(A,B)=H^0_{\mathrm{Zar}}\!\left(\operatorname{Spec}A,\ f_*\mathcal O_B/\mathcal O_A\right),
\]
stated more precisely there using the quotient sheaf of units [1507.06910]. This realizes relative Cartier divisors as global sections of a quotient measuring the difference between the structure sheaf of the base and its direct image from the extension.

A fundamental structural sequence relates units, relative Cartier divisors, and Picard groups:
\[
1 \to U(A) \to U(B) \to I(A,B) \to \operatorname{Pic}A \to \operatorname{Pic}B. \tag{3.3}
\]
This exact sequence is the basic interface between divisor theory and line bundles in the relative setting [1507.06910]. A plausible implication is that \(I(A,B)\) should be viewed as the divisor-theoretic correction term that measures how far units and line bundles fail to descend across the extension.

The same ring-extension formalism already contains the ordinary Cartier divisor group as a special case. When \(A\) is a domain with fraction field \(K\), the identification \(I(A,K)\) with the usual Cartier divisor group gives a direct relative-to-absolute bridge [1507.06910]. This point is conceptually important: the relative theory is not merely analogous to ordinary divisor theory, but extends it.

## 2. Bass contraction and Laurent polynomial extensions

A central structural result is that the functor \(I\) behaves as a Bass contracted functor on ring extensions. For a functor \(F\) on ring extensions, the contraction \(LF\) is defined as the cokernel of
\[
F(f[t])\times F(f[1/t])\longrightarrow F(f[t,1/t]),
\]
and one has the associated sequence
\[
1\to F(f)\to F(f[t])\times F(f[1/t])\to F(f[t,1/t])\to LF(f)\to 1.
\]
A functor is contracted if this sequence is naturally split exact [1507.06910].

For the relative Cartier divisor functor \(I\), the main theorem states that \(I\) is contracted and that
\[
LI(A,B)=H^0_{et}(\operatorname{Spec}A,\ (f_*\mathbb Z)/\mathbb Z).
\]
In particular,
\[
I(A[t,1/t],B[t,1/t])=I(A,B)\oplus NI(A,B)\oplus NI(A,B)\oplus LI(A,B),
\]
and the invariance
\[
LI(A,B)=LI(A[t],B[t])=LI(A[t,1/t],B[t,1/t])
\]
also holds [1507.06910]. The same paper proves the vanishing statements
\[
NLI=LLI=0.
\]

This decomposition isolates the genuinely new contribution created by Laurent polynomial extension. The paper interprets the quotient sheaf \((f_*\mathbb Z)/\mathbb Z\) as measuring the defect of the map on connected components or idempotent structure, and identifies its global étale sections with \(LI(A,B)\) [1507.06910]. The result is therefore not only formal: it exhibits relative Cartier divisors as controlled by an étale-cohomological invariant.

The étale topology is essential in this description. The same source explicitly notes that the corresponding Zariski analogue fails in general, whereas one does have
\[
LI(A,B)=H^0_{nis}(\operatorname{Spec}A,\ (f_*\mathbb Z)/\mathbb Z).
\]
On a henselian local base,
\[
LI(A,B)=H^0(\operatorname{Spec}B,\mathbb Z)/\mathbb Z,
\]
which identifies the stalkwise content of the sheaf-theoretic description [1507.06910]. This gives the relative divisor group a cohomological structure that is sensitive to connectedness rather than merely local principal generation.

Several consequences sharpen the structure theory. The paper states that \(LI(A,B)\) is always torsion-free; if \(A\) is pseudo-geometric and finite-dimensional, then \(LI(A,B)\) is free abelian; if \(A\) is connected, then \(LI(A,B)=0\) iff \(B\) is connected and \(L\operatorname{Pic}(A)\to L\operatorname{Pic}(B)\) is injective; and if \(B/A\) is finite and connected, then \(LI(A,B)=0\) [1507.06910]. It also relates vanishing to seminormality and anodality: \(NI(A,B)=0\) is equivalent to \(A\) being seminormal in \(B\), and if \(LI(A,B)=0\), then \(A\subset B\) is anodal [1507.06910].

## 3. Scheme-theoretic relative Picard groups and relative \(K\)-theory

A scheme-theoretic formulation is given by the relative Picard group \(\mathrm{Pic}(f)\) of a morphism \(f:X\to S\). Bass defines \(\mathrm{Pic}(f)\) as the abelian group generated by symbols
\[
[L_1,a,L_2],
\]
where \(L_1,L_2\) are line bundles on \(S\) and
\[
a:f^*L_1 \xrightarrow{\;\sim\;} f^*L_2
\]
is an isomorphism, subject to additivity, composition, and triviality when \(a\) comes from the base [1604.05951]. There is a natural exact sequence
\[
\mathcal O_S(S)^\times \longrightarrow \mathcal O_X(X)^\times \longrightarrow \mathrm{Pic}(f)\longrightarrow \mathrm{Pic}(S)\longrightarrow \mathrm{Pic}(X). \tag{0.1}
\]

The key identification occurs for faithful affine morphisms, meaning affine \(f:X\to S\) such that
\[
\mathcal O_S \hookrightarrow f_*\mathcal O_X
\]
is injective [1604.05951]. In the affine case \(f:\operatorname{Spec}(B)\to\operatorname{Spec}(A)\), this is exactly the condition \(A\subseteq B\). For such \(f\), the paper recalls that
\[
I(f)\cong H^0\bigl(S,f_*\mathcal O_X/\mathcal O_S\bigr),
\]
and deduces
\[
\mathrm{Pic}(f)\cong I(f).
\]
Lemma 1.2 there gives an explicit isomorphism
\[
p:I(f)\xrightarrow{\sim}\mathrm{Pic}(f),
\]
sending an invertible submodule \(L\subseteq B\) to the class \([L,i,\mathcal O_S]\), where \(i:f^*L\cong \mathcal O_X\) [1604.05951]. In this form, a relative Cartier divisor is literally a line subbundle of \(f_*\mathcal O_X\) compatible with the \(S\)-structure.

The same paper embeds relative Cartier divisors into relative \(K\)-theory. For a ring map \(f:A\to B\), the relative Grothendieck group \(K_0(f)\) is defined via triples \([P_1,a,P_2]\), and one has the exact sequence
\[
K_1(A)\longrightarrow K_1(B)\longrightarrow K_0(f)\longrightarrow K_0(A)\longrightarrow K_0(B). \tag{2.1}
\]
The \(\lambda\)-operations make \(\mathbb Z\oplus K_0(f)\) into a special \(\lambda\)-ring with positive structure, and the top two stages of the \(\gamma\)-filtration satisfy
\[
F^1=K_0(f), \qquad F^2=SK_0(f):=\ker\bigl(\det:K_0(f)\to\mathrm{Pic}(f)\bigr),
\]
with
\[
\mathrm{Pic}(f)=F^1/F^2.
\]
Equivalently, relative Cartier divisors are the top quotient for the \(\gamma\)-filtration on relative \(K_0\) [1604.05951].

This identification becomes sharper in special cases. For subintegral extensions \(A\subseteq B\), Proposition 2.5 states
\[
K_0(f)\cong \mathrm{Pic}(f),\qquad K_n(f)=0\ \text{for all } n<0,
\]
together with an exact sequence
\[
1\to B^\times/A^\times \to K_0(f)\to K_0(A)\to K_0(B)\to 0.
\]
A plausible implication is that under subintegrality, the entire relative \(K_0\) group is governed by relative Cartier divisors [1604.05951].

## 4. Effectivity in families: deformation and local obstruction

In deformation theory, the phrase “effective Cartier divisor” appears in a different relative sense. The paper "Local topological obstruction for divisors" studies a smooth projective family
\[
T:X\to B
\]
with \(B\) a complex manifold, base point \(o\in B\), central fiber \(X=T^{-1}(o)\), and an effective divisor \(D\subseteq X\). The problem is to determine, for a tangent direction \(t\in T_oB\), when \(D\) deforms along the first-order deformation \(X_t\), when the class \([D]\in H^2(X,\mathbb Z)\) deforms as a Hodge class, and how the two obstructions compare [2011.07452].

The paper refines the classical obstruction theory by replacing the global group \(H^2(X,\mathcal O_X)\) with a local cohomology group supported on \(D\). Writing \(U:=X\setminus D\) and \(j:U\hookrightarrow X\), one has the exact sequence
\[
0\to \mathcal O_X \to j_*\mathcal O_U \to \mathcal H_D(\mathcal O_X)\to 0,
\]
and, for locally free \(F\),
\[
H^q_D(X,F)\cong H^{q-1}(X,\mathcal H_D(F)).
\]
Choosing local equations \(f_i\) for \(D\), the forms
\[
\frac{df_i}{f_i}
\]
glue to a global section
\[
\{D\}\in H^0(\mathcal H_D(\Omega^1_X)),
\]
whose image is the usual cohomology class \([D]\) [2011.07452].

The paper defines contraction maps
\[
\{D\}:T_X\to \mathcal H_D(\mathcal O_X), \qquad \{D\}':N_{D|X}\to \mathcal H_D(\mathcal O_X),
\]
inducing
\[
T_D:H^1(X,T_X)\to H^1(X,\mathcal H_D(\mathcal O_X))\cong H^3_D(X,\mathcal O_X),
\]
\[
T'_D:H^1(X,N_{D|X})\to H^1(X,\mathcal H_D(\mathcal O_X))\cong H^3_D(X,\mathcal O_X),
\]
and the natural map
\[
p_D:H^3_D(X,\mathcal O_X)\to H^2(X,\mathcal O_X).
\]
For \(t\in H^1(X,T_X)\),
\[
t\smile [D] \;=\; p_D\bigl(T_D(t)\bigr)\in H^2(X,\mathcal O_X).
\]
Thus \(T_D\) is a local refinement of the ordinary Hodge-theoretic obstruction [2011.07452].

The main theorem states that for every tangent vector \(t\in T_oB\),
\[
T_D\bigl(KS(t)\bigr)=0
\quad\Longleftrightarrow\quad
\exists n>0\text{ such that }nD\text{ lifts to }X_t
\]
as an effective Cartier divisor [2011.07452]. This is a genuinely relative effective Cartier divisor statement: vanishing of a local topological obstruction is equivalent to lifting some positive multiple of the divisor along the infinitesimal base direction. The same paper defines the geometric obstruction map
\[
\operatorname{Ob}_D:H^1(X,T_X)\to H^1(X,N_{D|X}),
\]
describes saturation by the criterion
\[
D \text{ is saturated} \iff \operatorname{Im}(\operatorname{Ob}_D\circ KS)\cap \ker(T'_D)=0,
\]
and proves that there are first-order deformations \(X_t\) for which \([D]\) deforms as a Hodge class but \(D\) does not lift as an effective Cartier divisor [2011.07452]. This removes a common oversimplification: deformation of the cohomology class does not in general coincide with deformation of the divisor itself.

## 5. Effective calculation via presentations of Cartier divisors

A different meaning of effectivity arises in arithmetic geometry. The paper "Effective calculation of local Weil functions via presentations of Cartier divisors" works with a geometrically integral projective variety \(X/K\), a Cartier divisor \(D\) on \(X\), and a finite extension \(F/K\) over which \(D\) is defined. It does not develop a new theory of Cartier divisors in a relative scheme-theoretic sense; rather, it uses presentations of \(D\) to make local Weil functions effectively computable [2510.18284].

The key preparatory lemma is that the line bundle of \(D\) can be written as
\[
\mathcal{O}_{X_F}(D) \simeq L \otimes M^{-1},
\]
with \(L\) and \(M\) globally generated over \(F\). The proof is effective in spirit: take a very ample line bundle \(L\), then for \(m_0\gg 0\) one may choose
\[
M \simeq L^{\otimes m_0} \otimes \mathcal{O}_{X_F}(D),
\]
for example with \(m_0=\operatorname{reg}_L(\mathcal{O}_{X_F}(D))\), the Castelnuovo–Mumford regularity [2510.18284]. A presentation of \(D\) is then data
\[
\mathcal{D}=(s_D; L,\mathbf{s}; M,\mathbf{t}),
\]
where \(s_D\) is a meromorphic section of \(\mathcal O_{X_F}(D)\), and
\[
\mathbf{s}=(s_0,\dots,s_k), \qquad \mathbf{t}=(t_0,\dots,t_\ell)
\]
are global generating sections of \(L\) and \(M\), respectively.

From such a presentation, the paper defines the local Weil function at a place \(v\in M_K\) by
\[
\lambda_{\mathcal{D}}(x;|\cdot|_v) = \max_i \min_j \log \left| \frac{s_i}{t_j s_D}(x) \right|_v
\]
for \(x\in X\setminus \operatorname{supp}(D)\) [2510.18284]. Special cases make the formalism explicit. If \(s\in F(X)^\times\) and \(D=\operatorname{div}(s)\), then
\[
\lambda_s(x)=-\log |s(x)|_v,
\]
with additivity
\[
\lambda_{ss'}=\lambda_s+\lambda_{s'}, \qquad \lambda_{s^{-1}}=-\lambda_s.
\]
If \(D_1,D_2\) have presentations \(\mathcal D_1,\mathcal D_2\), then the induced presentation of \(D_1+D_2\) satisfies
\[
\lambda_{\mathcal{D}_1+\mathcal{D}_2}(x)=\lambda_{\mathcal{D}_1}(x)+\lambda_{\mathcal{D}_2}(x).
\]
For a degree \(d\) hypersurface in \(\mathbb P^n_K\) defined by a homogeneous form \(s_D\), a natural presentation using \(\mathcal O(d)\) and \(\mathcal O\) yields an explicit projective-space formula involving degree-\(d\) monomials [2510.18284].

The main theorem states that if \(\mathcal D_1\) and \(\mathcal D_2\) are two presentations of the same Cartier divisor \(D\), then for each place \(v\in M_K\) there exists an effectively computable constant \(\mathrm O(1)\) such that
\[
\bigl|\lambda_{\mathcal D_1}(\cdot;v)-\lambda_{\mathcal D_2}(\cdot;v)\bigr|\le \mathrm O(1).
\]
The proof forms the difference presentation
\[
\mathcal{D}=\mathcal{D}_1-\mathcal{D}_2
=
(s_{1D}s_{2D}^{-1};\, L_1\otimes M_2,\ \mathbf{s}_1\mathbf{t}_2;\ M_1\otimes L_2,\ \mathbf{t}_1\mathbf{s}_2),
\]
reduces to bounding expressions
\[
\max_k \min_\ell \log \left| \frac{s_k}{t_\ell}(\cdot)\right|_v,
\]
and then uses a projective embedding, affine charts \(U_i=\{x_i\neq 0\}\), bounded subsets
\[
E_i=\{x\in X(\overline K): |x_i|_v=\max_j |x_j|_v\},
\]
polynomial descriptions on refinements \(U_{i\ell}\), and an effective Hilbert Nullstellensatz producing relations
\[
\sum_\ell g_\ell h_\ell =1
\]
with effective bounds [2510.18284]. In this sense, the paper provides an algorithmic presentation of Cartier divisors defined over finite extensions, rather than a general theory of relative effective Cartier divisors.

## 6. Singular surfaces, almost Cartier divisors, and limits of effectivity

On singular surfaces, divisor theory requires further refinement. The paper "Divisors class groups of singular surfaces" works with generalized divisors as fractional ideal sheaves on schemes satisfying \(G_1\) and \(S_2\). A generalized divisor is a coherent \(\mathcal O_X\)-submodule
\[
I\subset K_X
\]
that is nondegenerate and reflexive; it is principal if generated by a single nonzero-divisor, Cartier if locally principal everywhere, and almost Cartier if locally principal off a subset of codimension at least \(2\) [1301.3222]. The corresponding class groups are
\[
\operatorname{Pic}X = \operatorname{Cart}X/\{\text{principal}\},\qquad
\operatorname{APic}X = \operatorname{ACart}X/\{\text{principal}\}.
\]
A divisor is effective if
\[
I \subset \mathcal O_X,
\]
and then determines a codimension-one subscheme \(Y\subset X\) without embedded components [1301.3222].

For a normalization \(\pi:S\to X\) with conductor subscheme \(L\subset X\) and inverse image \(\Gamma=\pi^{-1}(L)\subset S\), the local description of almost Cartier divisors is
\[
\varphi:\operatorname{APic}X \xrightarrow{\ \sim\ } \operatorname{Cart}\Gamma/\pi\,\operatorname{Cart}L
\]
under the smoothness and conductor hypotheses stated there [1301.3222]. Globally, one has exact sequences
\[
\operatorname{Pic}X \longrightarrow \operatorname{Pic}S \longrightarrow \operatorname{Pic}\Gamma/\pi\,\operatorname{Pic}L
\]
and, when \(S\) is smooth,
\[
\operatorname{APic}X \longrightarrow \operatorname{Pic}S\oplus \operatorname{Cart}\Gamma/\pi\,\operatorname{Cart}L \longrightarrow \operatorname{Pic}\Gamma/\pi\,\operatorname{Pic}L \longrightarrow 0.
\]
These formulas show that on singular surfaces, Cartier-type data is controlled by normalization together with conductor geometry [1301.3222].

A nearby but logically distinct issue is positivity. The paper "A question on effective strictly nef divisors" asks whether every effective strictly nef Cartier divisor on a projective variety is big and shows that the answer is negative in every dimension \(n\ge 3\) [2306.06985]. The counterexample in the appendix constructs an effective prime divisor
\[
Y=\mathbb P(V)\subset \mathbb P(W)=X
\]
that is strictly nef but not big, with
\[
Y^3=c_1(\mathcal O_{\mathbb P(W)}(1))^3=c_1(\mathcal O_{\mathbb P(V)}(1))^2=0
\]
[2306.06985]. This is relevant because “effective Cartier divisor” does not by itself impose positivity properties such as bigness, even in projective geometry.

These adjacent theories delimit the scope of the subject. Relative Cartier divisors in the sense of invertible submodules, effective Cartier divisors in deformation problems, and effective computation for Cartier divisors over finite extensions are all robust frameworks, but they address different structural questions. A plausible implication is that any encyclopedia-level treatment must keep these meanings separate: relative divisor theory is cohomological and functorial, deformation-theoretic effectivity is controlled by local obstruction groups, and computational effectivity is achieved by explicit presentations rather than by enlarging the abstract definition of relative Cartier divisor.

Source: https://www.emergentmind.com/topics/relative-effective-cartier-divisors