---
title: Decomposable Threefold Scrolls
url: https://www.emergentmind.com/topics/decomposable-threefold-scrolls
type: topic
---

# Decomposable Threefold Scrolls

Searching arXiv for recent and foundational papers on decomposable threefold scrolls and related scroll geometry.
Decomposable threefold scrolls are three-dimensional scrolls whose defining vector bundle splits as a direct sum of line bundles. Two settings dominate the recent literature. In the classical rational-normal-scroll setting, a smooth threefold scroll is \(S_{m,n,k}\subset \mathbb P^{g-1}\) with \(m,n,k\ge 1\), naturally isomorphic to \(\mathbb P\!\big(\mathcal O_{\mathbb P^1}(m)\oplus \mathcal O_{\mathbb P^1}(n)\oplus \mathcal O_{\mathbb P^1}(k)\big)\). In the surface-base setting, the central models are threefolds of the form \(X=\mathbb P_{\mathbb F_a}(\mathcal O_{\mathbb F_a}\oplus \mathcal O_{\mathbb F_a}(0,-b))\), polarized by a tautological-type divisor \(h=\xi+C_0+cF\). Across these settings, decomposability governs projective embeddings, Hilbert-scheme behavior, the geometry of canonical curves lying on scrolls, and the structure of Ulrich bundles and their moduli [1502.07556] [2507.10423].

## 1. Geometric models and basic invariants

A rational normal scroll \(S=S_{m_1,\dots,m_d}\subset \mathbb P^N\) has dimension \(d\), satisfies \(N=e+d-1\) with \(e=m_1+\cdots+m_d\), and is swept out by a family of \((d-1)\)-planes called fibers. It is smooth exactly when all \(m_i>0\). In the smooth case one has
\[
S \cong \mathbb P(E), \qquad E=\mathcal O_{\mathbb P^1}(m_1)\oplus \cdots \oplus \mathcal O_{\mathbb P^1}(m_d),
\]
so smooth rational normal scrolls are decomposable in the standard sense. For \(d=3\), this specializes to
\[
S=S_{m,n,k}\subset \mathbb P^{g-1}, \qquad m\le n\le k,\qquad m,n,k\ge 1,
\]
with \(\operatorname{Pic}(S)=\mathbb ZH\oplus \mathbb ZF\) and canonical class
\[
K_S=-3H+(e-2)F.
\]
This is the ambient geometry used in the study of canonical models of curves on threefold scrolls [1502.07556].

For decomposable threefold scrolls over a Hirzebruch surface, the base is
\[
\mathbb F_a=\mathbb P_{\mathbb P^1}\big(\mathcal O_{\mathbb P^1}\oplus \mathcal O_{\mathbb P^1}(-a)\big),
\]
with numerical generators \(C_-\) and \(f\) satisfying
\[
C_-^2=-a,\qquad f^2=0,\qquad C_-\cdot f=1.
\]
The scroll is
\[
X=\mathbb P_{\mathbb F_a}(\mathcal E_a), \qquad \mathcal E_a=\mathcal O_{\mathbb F_a}\oplus \mathcal O_{\mathbb F_a}(0,-b),
\]
with projection \(\varphi:X\to \mathbb F_a\), tautological class \(\xi\), and pulled-back classes
\[
C_0=\varphi^*(C_-),\qquad F=\varphi^*(f).
\]
The polarization used throughout the Ulrich-bundle theory is
\[
h=\xi+C_0+cF,
\]
and it is very ample exactly when
\[
c\ge a+b+1.
\]
Under this condition, \(X\) embeds as a smooth nondegenerate threefold scroll with
\[
n=h^0(X,h)-1=4c-2a-2b+3,\qquad d=h^3=3(2c-a-b),\qquad g=2c-a-b-1,
\]
and
\[
\omega_X\simeq -2\xi-2C_0-(a+b+2)F.
\]
Its intersection theory is controlled by
\[
\xi^2=-b\,\xi F,\qquad C_0^2=-a\,C_0F,\qquad F^2=0,\qquad \xi C_0F=1.
\]
A further structural feature is the second scroll presentation
\[
\mathbb P_{\mathbb F_a}\big(\mathcal O\oplus \mathcal O(0,-b)\big)\cong \mathbb P_{\mathbb F_b}\big(\mathcal O\oplus \mathcal O(0,-a)\big),
\]
which exchanges the two surface parameters and plays a direct role in the Ulrich classification [2507.10423].

## 2. Decomposability through bundle splitting on Hirzebruch surfaces

In the Hilbert-scheme literature, decomposability is expressed in terms of splitting of the rank-two bundle on the base. Over \(F_1\), the relevant scrolls are
\[
X=\mathbb P(\mathcal E)\xrightarrow{p}F_1,\qquad L=\mathcal O_{\mathbb P(\mathcal E)}(1),
\]
where
\[
c_1(\mathcal E)=3C_0+bf,\qquad c_2(\mathcal E)=k,
\]
and \(\mathcal E\) fits into
\[
0\to A\to \mathcal E\to B\to 0,
\]
with
\[
A=2C_0+(2b-k-2)f,\qquad B=C_0+(k-b+2)f.
\]
The splitting threshold is explicit: if
\[
b\le k<3b-3,
\]
then every such extension splits, so
\[
\mathcal E\cong A\oplus B.
\]
If
\[
k\ge 3b-3,
\]
then the general extension is indecomposable. In that setting, “decomposable threefold scrolls” means precisely the split case \(\mathbb P(A\oplus B)\to F_1\) [1110.5464].

For \(F_e\) with \(e\ge 2\), the analogous construction uses
\[
X_e=\mathbb P(E_e),
\]
where
\[
c_1(E_e)\equiv 3C_e+bf,\qquad c_2(E_e)=k,
\]
and
\[
0\to A_e\to E_e\to B_e\to 0,
\]
with
\[
A_e\equiv 2C_e+(2b-k-2e)f,\qquad B_e\equiv C_e+(k-b+2e)f.
\]
The extension space is
\[
\operatorname{Ext}^1(B_e,A_e)\cong H^1(A_e-B_e),
\]
and the decomposition range is again numerical:
\[
b-e<k<\frac{3b+2-5e}{2}\quad \Longrightarrow\quad E_e\simeq A_e\oplus B_e.
\]
Outside that range, the split bundle persists as a limit, but the general member may be indecomposable or simple depending on \(k\) [1406.0956].

These splitting criteria show that decomposable threefold scrolls sit at a sharp boundary between explicit projective-bundle models and extension-theoretic families. In the \(F_1\) and \(F_e\) theories, decomposable objects are not merely special examples: they are the closed, split loci around which the surrounding indecomposable families are organized.

## 3. Hilbert-scheme behavior and flat degenerations

For scrolls over \(F_1\), once \(\mathcal E\) is very ample and
\[
5<b<k\le 4b-8,
\]
the embedding
\[
X=\mathbb P(\mathcal E)\subset \mathbb P^n
\]
has
\[
d=L^3=6b-k-9,\qquad n=4b-k-2,
\]
with
\[
H^i(X,L)=0\quad (i\ge 1).
\]
The normal bundle is unobstructed:
\[
H^i(X,N_{X/\mathbb P^n})=0,\qquad i\ge 1,
\]
and there exists an irreducible component of \(\mathrm{Hilb}(\mathbb P^n)\) containing \([X]\) that is generically smooth of expected dimension
\[
n(n+1)+3k-2b-2.
\]
Moreover, the general point of that component still parametrizes a scroll \(X=\mathbb P(\mathcal E)\) over \(F_1\) with the same numerical data and the same extension format \(0\to A\to \mathcal E\to B\to 0\) [1110.5464].

For \(e>1\), the Hilbert picture becomes subtler. Under
\[
b\ge 3e+1,\qquad b-e<k<2b-4e,
\]
the tautological embedding
\[
\Phi_e:\mathbb P(E_e)\hookrightarrow \mathbb P^{n_e}
\]
produces a smooth nondegenerate threefold \(X_e\subset \mathbb P^{n_e}\) with
\[
n_e=4b-ke-6e+4,\qquad d=6b-9e-k,
\]
and again
\[
H^i(X_e,\mathcal O_{X_e}(1))=0,\qquad i\ge 1.
\]
The corresponding Hilbert component is irreducible, generically smooth, and of expected dimension
\[
n_e(n_e+1)+3k-2b+3e-5.
\]
However, unlike the cases \(e=0,1\), the family of the original scrolls \(X_e\) does not fill the whole component. Its general point is a parity-adjusted candidate scroll \(X_\epsilon\), with \(\epsilon\in\{0,1\}\) and \(\epsilon\equiv e\pmod 2\), obtained from modified numerical data
\[
b_\epsilon=b-\frac{3(e-\epsilon)}{2},\qquad k_\epsilon=k.
\]
The identification of the component proceeds through a flat embedded degeneration
\[
X_\epsilon \rightsquigarrow X_e
\]
passing through decomposable scrolls
\[
D_\epsilon=\mathbb P(A_\epsilon\oplus B_\epsilon),\qquad D_e=\mathbb P(A_e\oplus B_e).
\]
In this way, decomposable scrolls function as the bridge between distinct strata of the same Hilbert component [1406.0956].

A central consequence is that decomposable threefold scrolls are deformation-theoretically significant even when the general point of the component is not decomposable. They encode the accessible boundary geometry of the component and make possible explicit degenerations between different projective-bundle models.

## 4. Ulrich bundles, minimal complexity, and wildness

For the decomposable family
\[
X=\mathbb P_{\mathbb F_a}\big(\mathcal O\oplus \mathcal O(0,-b)\big)
\]
with very ample
\[
h=\xi+C_0+cF,\qquad c\ge a+b+1,
\]
the Ulrich theory is unusually explicit. The complete classification of \(h\)-Ulrich line bundles yields
\[
uc_h(X)=1.
\]
If \(a,b\neq 0\), there are exactly two Ulrich line bundles,
\[
N=\mathcal O_a(2,0,2c-a-1),\qquad N^U=\mathcal O_a(0,2,2c-b-1).
\]
If \(a=0\), \(b>0\), there are exactly four,
\[
N,\;N^U,\;L=\mathcal O_0(1,0,3c-b-1),\qquad L^U=\mathcal O_0(1,2,c-1).
\]
If \(a=b=0\), there are exactly six, adding
\[
M=\mathcal O_0(2,1,c-1),\qquad M^U=\mathcal O_0(0,1,3c-1).
\]
The same theory identifies two involutions on the Ulrich set: the usual Ulrich duality \(U\mapsto U^\vee(K_X+4h)\), and a second involution induced by the double scroll structure \(X_{a,b}\cong X_{b,a}\) [2507.10423].

Rank-two Ulrich bundles are constructed as extensions of these line bundles. Typical sequences are
\[
0\to N^U\to F_N\to N\to 0,\qquad 0\to L^U\to F_L\to L\to 0,
\]
with explicitly computed extension dimensions, Chern classes, and deformation spaces. In the \(a=0\) regime, the component built from \(L\) and \(L^U\) is generically smooth, rational, and has dimension
\[
4(2c-b)-3;
\]
its general point is a slope-stable, special rank-two \(h\)-Ulrich bundle with
\[
h^0(U\otimes U^\vee)=1,\qquad h^2(U\otimes U^\vee)=h^3(U\otimes U^\vee)=0.
\]
For the component built from \(N\) and \(N^U\), the behavior depends on \(a\) and \(b\): in low-parameter cases it is generically smooth of dimension \(5\), while in other cases it may degenerate to a single polystable \(S\)-equivalence class [2507.10423].

Higher-rank wildness is established in two stages. One result shows that if
\[
0\le a\le b\le 1,\qquad c\ge a+b+1,
\]
then for every \(r\ge 1\) there is a generically smooth moduli component \(\mathcal M(r)\) of rank-\(r\) \(h\)-Ulrich bundles with
\[
\dim \mathcal M(r)=
\begin{cases}
r^2-1,& r\text{ odd},\\
r^2+1,& r\text{ even},
\end{cases}
\]
whose general point is slope-stable of slope
\[
\mu(U_r)=4(2c-b-a)-2.
\]
Consequently, \((X,h)\) is geometrically \(h\)-Ulrich wild in that low-\((a,b)\) range [2507.10423]. A later result sharpens the moduli picture for the same decomposable family. When \(a=0\), \(b\ge 0\), \(c\ge b+1\), and \(r\ge 1\), the moduli space of rank-\(r\) \(h\)-Ulrich bundles with specified Chern classes contains a component \(\mathcal M(r)\) that is nonempty, generically smooth, unirational for \(r\ge 3\), rational for \(r=2\), and whose general point is slope-stable. Its dimension is
\[
\dim \mathcal M(r)=
\begin{cases}
(r^2-1)(2c-b-1),& r\text{ odd},\\
r^2(2c-b-1)+1,& r\text{ even},
\end{cases}
\]
and one has
\[
Ur(X)=\mathbb N^*.
\]
When \(a\ge 1\) and the stated numerical hypotheses hold, the same family remains geometrically \(h\)-Ulrich wild and still satisfies \(Ur(X)=\mathbb N^*\), although the modular behavior is obstructed and the emphasis shifts from smooth components to the existence of indecomposable Ulrich bundles in all ranks [2606.05827].

A useful contrast comes from the broader family of threefold scrolls \(X_e=\mathbb P(\mathcal E_e)\) over \(\mathbb F_e\) defined by uniform very ample rank-two bundles \(\mathcal E_e\). There, for \(e>0\), no Ulrich line bundles exist with respect to the tautological polarization \(\xi\), and
\[
\operatorname{uc}_\xi(X_e)=2,
\]
whereas
\[
\operatorname{uc}_\xi(X_0)=1.
\]
This contrast isolates a decomposability threshold in Ulrich theory: in the decomposable surface-base family, line bundles already realize minimal complexity, while in the broader unbalanced uniform family the first genuinely Ulrich objects are rank-two bundles [2303.00676].

## 5. Canonical curves on smooth threefold scrolls

The geometry of decomposable threefold scrolls over \(\mathbb P^1\) appears naturally in the study of canonical models of singular curves. Let \(C\) be an integral projective curve with dualizing sheaf \(\omega_C\), and let \(\widehat C=\operatorname{Proj}(\bigoplus_{n\ge 0}\omega^n)\) be the blowup along \(\omega\). The canonical model \(C'\subset \mathbb P^{g-1}\) is defined via the complete linear system induced by \(H^0(\omega)\). In the threefold-scroll setting, the relevant assumption is that \(C'\) lies on a smooth rational normal threefold scroll
\[
S=S_{m,n,k}\subset \mathbb P^{g-1}
\]
as a local complete intersection [1502.07556].

If \(X\subset S\) is an l.c.i. curve of \((u,v)\)-type, with
\[
c_1(E)=uH+vF,
\]
and if \(\ell=X\cdot F\) denotes the generic number of points cut by a fiber, then
\[
2p_a(X)-2=(u-3)\deg(X)+\ell(v+N-4).
\]
For a canonical model \(C'\), substituting
\[
\deg(C')=2g-2-\eta,\qquad p_a(C')=g-\eta-\mu,\qquad N=g-1
\]
yields numerical relations between the scroll data \((u,v,\ell)\) and the singularity invariants \(\eta,\mu\). The resulting classification is organized by \(\ell\). Among its consequences: \(\ell=1\) forces \(C'\cong\mathbb P^1\); \(\ell=2\) is the borderline case where nearly Gorenstein and Kunz conditions are read off from \(v\); \(\ell=3\) gives
\[
v=-(g-5)-\frac{\eta+2\mu}{3};
\]
and \(\ell=4\) is the tetragonal range, with two possible formulas for \(v\) and further restrictions.

For rational monomial curves with one singular point, the semigroup-theoretic description becomes exact. If
\[
C=(1:t^{a_1}:\cdots:t^{a_n})\subset \mathbb P^n
\]
is such a curve, then its canonical model lies on a threefold scroll but not on a surface scroll if and only if
\[
\operatorname{gon}(C)=4.
\]
The proof uses the semigroup of values of the singular point and the criterion that a rational monomial curve lies on a \(d\)-fold scroll exactly when its exponent set can be partitioned into \(d\) subsets, each reorderable into an arithmetic progression with the same common difference. This result is the threefold analogue of the surface-scroll characterization of trigonal curves and shows that decomposable threefold scrolls detect tetragonality even for non-Gorenstein rational monomial curves [1502.07556].

## 6. Rigidity under triple-solid structures

A different perspective comes from smooth threefolds \(Y\) that are simultaneously scrolls and finite triple covers of \(\mathbb P^3\). If
\[
\phi:Y\to \mathbb P^3
\]
has degree \(3\) and
\[
\pi:Y=\mathbb P_X(E)\to X
\]
is a scroll over a smooth surface with
\[
H=\mathcal O_{\mathbb P_X(E)}(1)=\phi^*\mathcal O_{\mathbb P^3}(1),
\]
then the basic numerical identity is
\[
3=H^3=c_1(E)^2-c_2(E).
\]
The “obvious case” is
\[
Y=\mathbb P^2\times \mathbb P^1,\qquad H=\mathcal O(1,1),
\]
viewed as a scroll over \(\mathbb P^2\), for which
\[
E\simeq \mathcal O_{\mathbb P^2}(1)^{\oplus 2}.
\]
Outside this case, the geometry becomes highly restrictive: \(Y\) and the base surface \(X\) are regular, the ramification divisor is very ample, and \(K_X+\det E\) is ample and spanned [2310.13987].

The decisive decomposability statement is that if
\[
0\to M\to E\to N\to 0
\]
with \(M\) and \(N\) ample line bundles, then one is forced back to the obvious case. Thus, in every non-obvious triple-solid scroll, the bundle \(E\) must be indecomposable. Additional rigidity results sharpen this conclusion: if \(Y\) is a Fano threefold, then necessarily
\[
Y=\mathbb P^2\times \mathbb P^1;
\]
and if the base surface is \(\mathbb P^2\), then, under the paper’s generality assumptions on the induced triple plane, the same Segre product is again the only possibility. In this context, decomposable threefold scrolls do not form a broad class; they survive only as the exceptional Segre model [2310.13987].

Taken together, these results show that decomposable threefold scrolls occupy two markedly different positions in current research. In scroll geometry over \(\mathbb P^1\) and over Hirzebruch surfaces they provide explicit, calculable ambient spaces, often with rich Ulrich-bundle theory and transparent deformation behavior. Under stronger auxiliary structures, such as triple-solid morphisms, decomposability becomes severely restricted and can collapse to a unique rigid example.

Source: https://www.emergentmind.com/topics/decomposable-threefold-scrolls