---
title: Framed Logarithmic Picard Space
url: https://www.emergentmind.com/topics/framed-logarithmic-picard-space
type: topic
---

# Framed Logarithmic Picard Space

Searching arXiv for the cited papers and closely related work on logarithmic Picard groups and framed logarithmic moduli.
A Framed Logarithmic Picard Space is, in the sense most directly associated with the logarithmic Picard theory of families of logarithmic curves, a representable logarithmic algebraic space obtained by choosing a “framing”—a polyhedral subdivision $\Sigma$ of the tropical Picard cone $\tau$ or of the tropical Picard group $\operatorname{Tro}(\Gamma/S)$—and pulling back the canonical tropicalization map
$$
\operatorname{Log}(X/S)\to \operatorname{Tro}(\Gamma/S).
$$
Concretely,
$$
\operatorname{FrLogPic}(X/S,\Sigma):=\operatorname{Log}(X/S)\times_{\operatorname{Tro}(\Gamma/S)}\Sigma,
$$
and this object is a $\operatorname{Pic}^{[0]}(X/S)$-torsor over $\Sigma_S$, representing a logarithmic modification of the logarithmic Picard group determined by the chosen polyhedral data [1807.11364]. The phrase also appears in later literature with adjacent meanings: as a rigidified subfunctor of the logarithmic Picard functor for aligned degenerations, as a framed moduli of invertible logarithmic coherent sheaves before passage to the logarithmic Picard quotient, and as the rank-one sector of framed logarithmic connection moduli on pointed Riemann surfaces [1507.00506][2604.05053][2504.00931]. These usages are related by the common theme of rigidifying boundary, characteristic, or tropical data, but they are not identical moduli problems.

## 1. Logarithmic Picard theory for families of curves

Let $\pi:X\to S$ be a logarithmic curve, meaning an integral, saturated, logarithmically smooth morphism of relative dimension $1$. The underlying logarithmic formalism begins with a logarithmic structure on a scheme $Y$, given by a sharp homomorphism of sheaves of monoids $\varepsilon:M_Y\to O_Y$, with characteristic monoid $\overline M_Y:=M_Y/M_Y^*$ [1807.11364]. For a logarithmic curve one has the fundamental exact sequence
$$
0\to O_X^*\to M_X^{gp}\to \overline M_X^{gp}\to 0,
$$
which relates ordinary units, the groupification of the log structure, and the characteristic sheaf.

A logarithmic line bundle on $X/S$ is a torsor under the logarithmic multiplicative group $G(S)=\Gamma(S,M_S^{gp})$, pulled back to $X$, subject to the bounded monodromy condition in geometric fibers. Bounded monodromy is the additional constraint that makes deformation theory and descent behave as expected; tropical-geometrically, a class has bounded monodromy if and only if its monodromy around every loop is bounded by the length of that loop [1807.11364].

The logarithmic Picard stack is the stack of $G$-torsors on $X$ with bounded monodromy in the strict étale topology on $S$, and its sheaf of isomorphism classes is denoted $\operatorname{Log}(X/S)$. This sheaf is a commutative group object with finite diagonal, has a logarithmically smooth cover by a log scheme, is logarithmically smooth with proper components, and contains $\operatorname{Pic}^{[0]}(X/S)$ as a subgroup. Here $\operatorname{Pic}^{[0]}(X/S)$ is the multidegree-$0$ Jacobian component [1807.11364].

## 2. Exact sequences and tropicalization

Pushing forward the basic logarithmic exact sequence yields, for any $T\to S$,
$$
0\to R^1\pi_*O_{X_T}^*\to R^1\pi_*\pi^*M_T^{gp}\to R^1\pi_*\pi^*\overline M_T^{gp}\to 0.
$$
After identifying $R^1\pi_*O_X^*=\operatorname{Pic}(X/S)$, one obtains an exact sequence
$$
0\to \operatorname{Pic}(X/S)\to R^1\pi_*\pi^*G\to \operatorname{Hom}(H_1(\Gamma),\overline M_S^{gp})\to 0,
$$
where $\Gamma$ is the dual tropical graph of the geometric fiber. After imposing bounded monodromy and degree $0$, this sharpens to the principal exact sequence
$$
0\to \operatorname{Pic}^{[0]}(X/S)\to \operatorname{Log}^0(X/S)\to \operatorname{Tro}(X/S)\to 0.
$$
Equivalently, the tropical Picard group is the quotient of the logarithmic Picard group by the algebraic Jacobian:
$$
\operatorname{Pic}^{trop}(X/S)\cong \operatorname{Pic}^{log}(X/S)/\operatorname{Jac}(X/S),
$$
with $\operatorname{Jac}(X/S)=\operatorname{Pic}^{[0]}(X/S)$ [1807.11364].

The tropicalization of a logarithmic curve $X/S$ is a family of tropical curves $\Gamma=\overline X$ over $S$, fiberwise given by the dual graph $\Gamma_s$ with edge lengths determined by smoothing parameters $\delta_e\in\overline M_{S,s}$. On $\Gamma$ one has sheaves $\operatorname{PL}$ of piecewise linear functions and $\operatorname{L}$ of balanced linear, or harmonic, functions, fitting into
$$
0\to \operatorname{L}\to \operatorname{PL}\to V\to 0,
$$
where $V$ is the sheaf of tropical divisors supported on vertices. This is the tropical counterpart of
$$
0\to O_X^*\to M_X^{gp}\to \overline M_X^{gp}\to 0
$$
under tropicalization [1807.11364].

For a compact tropical curve, the tropical Jacobian is
$$
\operatorname{Tro}(\Gamma)=\operatorname{Hom}(H_1(\Gamma),\overline M^{gp})^{\dagger}/H_1(\Gamma),
$$
where the dagger denotes bounded monodromy. Over a geometric point $s\in S$ this specializes to
$$
\operatorname{Tro}(X_s/s)=\operatorname{Hom}(H_1(\Gamma_s),\overline M_{S,s}^{gp})^{\dagger}/H_1(\Gamma_s).
$$
Over a $1$-parameter valuation this recovers the classical tropical Jacobian $ \mathbf{R}^b/L$ via $H^1(\Gamma,\mathbf{R})/H^1(\Gamma,\mathbf{Z})$ [1807.11364].

## 3. Logarithmic Jacobians, properness, and non-representability

The degree-$0$ component $\operatorname{Log}^0(X/S)$ is the logarithmic Jacobian. Fiberwise it is an extension of the semi-abelian $\operatorname{Pic}^{[0]}(X/S)$ by a tropical torus with bounded monodromy, and globally it satisfies the axioms of a logarithmic abelian variety in the sense of Kajiwara–Kato–Nakayama [1807.11364]. Its diagonal is finite, and it admits logarithmically smooth covers.

Properness is logarithmic rather than algebraic in the ordinary sense. The stack of logarithmic line bundles and the sheaves $\operatorname{Log}^d(X/S)$ satisfy the valuative criterion for properness, and each degree component $\operatorname{Log}^d$ is proper over $S$. Over the moduli of stable curves, this yields a proper family of logarithmic abelian varieties over the Deligne–Mumford compactification [1807.11364].

A central structural point is that $\operatorname{Log}(X/S)$ does not possess an underlying algebraic stack. The obstruction lies already in the basic building block $G(S)=\Gamma(S,M_S^{gp})$, which is not representable. This is not a defect of the theory but an intrinsic feature of the logarithmic compactification: the logarithmic Jacobian is proper and logarithmically smooth, yet genuinely logarithmic [1807.11364].

This distinction is frequently blurred. A common source of confusion is to identify the non-representable logarithmic Picard group with its representable modifications. The former is the canonical logarithmic object; the latter arise only after a choice of framing or subdivision.

## 4. Framings by tropical subdivisions

Representability is recovered by passing to logarithmic modifications and tropical subdivisions. A logarithmic modification $Y\to X$ is étale-locally the base change of a proper toric modification, while root stacks are Kummer extensions of the characteristic monoid. Together with étale morphisms they generate the full logarithmic étale topology, and the logarithmic Picard group is stable under such modifications and satisfies descent in this topology [1807.11364].

The tropical Jacobian is prorepresentable. More precisely, $\operatorname{Hom}(H_1(\Gamma),\operatorname{PL})^{\dagger}$ is dual to a saturated convex cone $\tau$ inside $\operatorname{Hom}(\overline M_S^{gp},\mathbf{Z})\times H^1(\Gamma)$. Subdivisions of $\operatorname{Tro}(\Gamma/S)$ by cone spaces correspond to $H_1(\Gamma)$-equivariant subdivisions of $\tau$. These subdivisions rigidify monodromy bounds and piecewise linear data; algebraically, they correspond to toroidal compactifications of $\operatorname{Pic}^{[0]}(X/S)$ [1807.11364].

This is the setting in which the Framed Logarithmic Picard Space is defined:
$$
\operatorname{FrLogPic}(X/S,\Sigma):=\operatorname{Log}(X/S)\times_{\operatorname{Tro}(\Gamma/S)}\Sigma.
$$
The framing fixes three kinds of data. First, it fixes a cone complex structure on $\tau$, namely an $H_1(\Gamma)$-equivariant decomposition by rational polyhedral cones. Second, it fixes local orientations and multidegree labels encoded in the sheaf $V$ via
$$
0\to \operatorname{L}\to \operatorname{PL}\to V\to 0,
$$
specifying which divisors are realized in each cone. Third, it fixes edge-length regimes via saturated local charts, using the universality of $\mathbf{A}^1$ and $\mathbf{P}^1$ fibers for comparisons of sections of $\overline M^{gp}$ [1807.11364].

Étale-locally on $S$, after choosing a chart for $\overline M_S$ and controlling the dual graph, the framed space is covered by charts corresponding to cones of $\Sigma$. Each cone prescribes inequalities
$$
m_e\delta_e\le \mu_e\le n_e\delta_e
$$
expressing bounded monodromy, together with linear equalities among slopes coming from balancing at vertices. Characteristic monoids are then refined by adding saturated comparisons of sections, producing logarithmic modifications represented by $\mathbf{A}^1$ or $\mathbf{P}^1$ over $X$ and strict étale pullbacks [1807.11364].

The universal property is that $\operatorname{FrLogPic}(X/S,\Sigma)$ is the initial logarithmic space over $S$ receiving the tropicalization map and factoring through the chosen subdivision $\Sigma$. Given a subdivision $Z\to \operatorname{Tro}(\Gamma/S)$ representable by a cone space, the pullback
$$
\operatorname{Log}(X/S)_Z:=\operatorname{Log}(X/S)\times_{\operatorname{Tro}(\Gamma/S)} Z
$$
is representable by a logarithmic algebraic space over $S$, is a torsor under $\operatorname{Pic}^{[0]}(X/S)$ over $Z_S$, and inherits properness. In favorable situations it is even representable by a logarithmic scheme [1807.11364].

## 5. Examples and local models

The basic examples show how the framed object interpolates between the classical Jacobian and genuinely tropical-logarithmic behavior [1807.11364].

| Curve type | Tropical datum | Framed consequence |
|---|---|---|
| Smooth fibers, no loops | $H_1(\Gamma)=0$ | $\operatorname{Tro}(\Gamma/S)=0$ and the framing is trivial |
| Two components, two nodes | $H_1(\Gamma_s)\cong \mathbf{Z}$ | $\operatorname{Log}^0$ is an extension by a logarithmic “circle” |
| Genus-$2$ banana curve | $H_1(\Gamma)\cong \mathbf{Z}^2$ | a subdivision gives toroidal charts compactifying $\operatorname{Pic}^{[0]}$ |

For a smooth curve, if $X/S$ has smooth fibers and $\Gamma$ has no loops, then $H_1(\Gamma)=0$, hence $\operatorname{Tro}(\Gamma/S)=0$ and $\operatorname{Log}(X/S)\cong \operatorname{Pic}(X/S)$. In degree $0$, $\operatorname{Log}^0(X/S)\cong \operatorname{Pic}^{[0]}(X/S)$, so any framing is trivial and the framed space is just the Jacobian.

For two smooth components joined at two nodes, the dual graph has two vertices and two edges of lengths $\delta_1,\delta_2\in \overline M_{S,s}$. Then $H_1(\Gamma_s)\cong \mathbf{Z}$ and
$$
\operatorname{Tro}(X_s/s)\cong \operatorname{Hom}(\mathbf{Z},\overline M_{S,s}^{gp})^{\dagger}/\mathbf{Z}\cong \overline M_{S,s}^{gp,\dagger}/(\delta_1+\delta_2),
$$
a “circle” object in the logarithmic sense. Over a $1$-parameter valuation it becomes $\mathbf{R}/(\delta_1+\delta_2)$, and the exact sequence
$$
0\to \operatorname{Pic}^{[0]}(X/S)\to \operatorname{Log}^0(X/S)\to \operatorname{Tro}(X/S)\to 0
$$
exhibits the logarithmic Jacobian as an extension of the algebraic Jacobian by this tropical circle. Choosing a framing on the segment $[0,\delta_1+\delta_2]$ by subdividing it into rational intervals yields a representable Framed Logarithmic Picard Space whose charts rigidify the slope and divisor data.

For the genus-$2$ banana curve, with two vertices joined by three edges $e_1,e_2,e_3$, one has $H_1(\Gamma)\cong \mathbf{Z}^2$ and positive definite intersection pairing matrix
$$
A=\begin{bmatrix}
\delta_1+\delta_2 & -\delta_2\\
-\delta_2 & \delta_2+\delta_3
\end{bmatrix}.
$$
Over a $1$-parameter valuation the tropical Jacobian is a real $2$-torus. The subdivision of a fundamental domain records balanced tropical divisors on quasistable models, and a chosen framing produces a representable Framed Logarithmic Picard Space capturing the combinatorics of all subdivisions of $\Gamma$ compatible with the monodromy bounds; algebraically this yields toroidal charts compactifying $\operatorname{Pic}^{[0]}(X/S)$ [1807.11364].

The heuristic colimit picture is that, in the logarithmic category,
$$
\operatorname{Log}^0(X/S)\simeq \operatorname{colim}\{\text{toroidal compactifications of }\operatorname{Pic}^{[0]}(X/S)\},
$$
so the unframed logarithmic Jacobian is assembled by gluing all framed modifications arising from all subdivisions.

## 6. Related formulations and terminological extensions

The phrase “Framed Logarithmic Picard Space” is used in several adjacent contexts. The literature therefore suggests a terminological distinction between the subdivision-based object of logarithmic curve theory and later framed moduli spaces that retain additional representatives before quotienting.

In Bellardini’s study of aligned degenerations, the relevant object is the subfunctor $\operatorname{Pic}^{\log,[0]}_{C/S}\subset \operatorname{Pic}^{\log}_{C/S}$, where a log line bundle is equipped with a framing that trivializes its characteristic part along the log structure. Under log cohomological flatness, and in particular for aligned log semistable curves over a regular base, this functor is representable by a smooth algebraic space. Its maximal separated quotient is canonically identified with $\operatorname{Pic}_{C/S}/E$, and for regular $C$ this is the Néron model of $\operatorname{Pic}^0_{C_U/U}$ [1507.00506].

The chip-firing perspective gives another precursor. For a logarithmically smooth curve over the standard log point,
$$
\operatorname{Pic}^{log}(X)=H^1(X_{\mathrm{\acute et}},M_X^{gp})
$$
is the quotient of $\operatorname{Pic}(X)$ by the subgroup generated by the line bundles $L_v$ corresponding to vertices of the dual graph, i.e. by lifted chip-firing relations. A framed variant is proposed by choosing preferred representatives of multidegree classes and fixing gluing data, thereby rigidifying the residual ambiguity coming from chip-firing and the torus factor $(k^\times)^{b_1(\Gamma)}$ [1611.10233].

A more recent reformulation appears in the theory of logarithmic coherent sheaves. For a proper, vertical, saturated, log smooth family of curves $\pi:C\to S$, the moduli stack $M_1(C/S)$ of invertible logarithmic coherent sheaves is a sheaf in the big full log étale topology, and there is a canonical morphism
$$
\varpi:M_1(C/S)\to \operatorname{LogPic}(C/S).
$$
This morphism is initial among maps from $M_1(C/S)$ to Noetherian descending logarithmic algebraic spaces. Two framed objects map to the same point of $\operatorname{LogPic}(C/S)$ precisely when their ratio is pulled back from the Artin fan, equivalently when they differ by chip-firing. In this formulation, $M_1(C/S)$ is the framed object and $\operatorname{LogPic}(C/S)$ is the categorical quotient [2604.05053].

In the analytic theory of framed logarithmic connections on a pointed compact Riemann surface, the phrase is used differently again. In rank one, the framed logarithmic connection moduli reduces to a Picard-type space of line bundles with logarithmic connections and framings at the marked points. For $r=1$,
$$
MF_C^{r=1}(d)\cong \operatorname{Pic}^d(X)\times H^0(X,K_X(D)),
$$
up to the global residue constraint, and if residues are fixed with $\sum_i v_i=-d$, the space of connections is a torsor over $H^0(X,K_X)$. In this rank-one case the canonical $2$-form is identically zero; in higher rank, framings rigidify the boundary gauge action and convert the natural Poisson structures of logarithmic or parabolic moduli into holomorphic symplectic structures [2504.00931][2103.12121].

A further, still different, usage arises for logarithmic connections with fixed determinant connection and central residues. There the framed object is the moduli $M'_{lc}(n,L)$ over $U_L(n,d)$, identified with an $\Omega^1_{U_L(n,d)}$-torsor and with the torsor $C(\Theta)$ associated to the Atiyah sequence of the ample generator $\Theta$. Its Picard group is $\mathbf{Z}$, generated by the pullback of $\Theta$, and its natural compactification adds a hyperplane-at-infinity class [1912.01288]. In the context of logarithmic Picard algebroids and meromorphic line bundles, an order-framing $\rho\in H^1(D,\mathbf{Z})$ together with prescribed residues along $D$ yields another notion of framed logarithmic Picard space, now adapted to mixed Hodge theory and the prequantization problem [1712.10125].

Across these variants, the unifying pattern is rigidification: a framing fixes some combination of multidegree, characteristic, residue, gluing, or tropical subdivision data so that a non-representable or less separated logarithmic Picard object acquires a representable, chartwise, or symplectic avatar. The subdivision-based Framed Logarithmic Picard Space of logarithmic curve theory remains the most direct sense of the term when the ambient problem is the tropicalization and representable modification of the logarithmic Picard group itself [1807.11364].

Source: https://www.emergentmind.com/topics/framed-logarithmic-picard-space