---
title: Ulrich Wildness in Algebraic Geometry
url: https://www.emergentmind.com/topics/ulrich-wildness
type: topic
---

# Ulrich Wildness in Algebraic Geometry

Searching arXiv for recent papers on Ulrich wildness and related Ulrich bundle representation type.
Ulrich wildness is the condition that a polarized variety \((X,H)\) support families of pairwise non-isomorphic indecomposable \(H\)-Ulrich bundles of arbitrarily large dimension; in relative form, the same phenomenon is formulated for relatively Ulrich bundles over a base. The notion measures the complexity of the Ulrich category rather than merely the existence of Ulrich bundles, and recent work places it at the intersection of ACM theory, linear resolutions, deformation theory, extension constructions, and representation theory via generalized Clifford algebras [2507.10423][2604.01611].

## 1. Definitions, cohomological criteria, and complexity invariants

Let \((X,H)\) be a polarized smooth projective variety of dimension \(n\). A vector bundle \(E\) on \(X\) is \(\mathcal O_X(H)\)-Ulrich if
\[
H^i\!\left(X,E(-jH)\right)=0 \quad \text{for all } 0\le i\le n,\; 1\le j\le n.
\]
For threefolds this becomes the vanishing of \(H^i(X,E(-H))\), \(H^i(X,E(-2H))\), and \(H^i(X,E(-3H))\) for all \(0\le i\le 3\). Equivalent formulations used in the literature are that \(E\) is ACM and has a linear minimal free resolution over the ambient projective space, or that its pushforward under a general linear projection has a trivial resolution. The Hilbert polynomial is extremal:
\[
P_E(t)=\chi(E(tH))=r\cdot \deg(X)\cdot \binom{t+n}{n},
\]
and in particular \(h^0(X,E)=r\cdot \deg(X)\) for rank \(r\) [2507.10423][2606.05827].

Ulrich bundles are Gieseker semistable and slope-semistable; in the formulations cited here, stability and slope-stability coincide for Ulrich bundles, and instability is governed by extensions of lower-rank Ulrich bundles. The Ulrich dual
\[
U^U:=U^\vee\!\left(K_X+(n+1)H\right)
\]
is again Ulrich and has the same rank. These basic properties make Ulrich bundles suitable for deformation-theoretic and moduli-theoretic analysis [2507.10423].

Two numerical invariants organize the subject. The set of Ulrich ranks is
\[
Ur(X):=\Big\{r\in\mathbb N^*\mid \exists\ \text{indecomposable } \mathcal O_X(H)\text{-Ulrich bundle of rank }r\Big\},
\]
and the Ulrich complexity is
\[
uc_H(X):=\min Ur(X).
\]
Thus \(uc_H(X)=1\) means that \(X\) carries an Ulrich line bundle. In the examples discussed below, this minimal complexity occurs for decomposable threefold scrolls over Hirzebruch surfaces and for relative hyperplanes, whereas higher-degree relative hypersurfaces exhibit explicit rank-one obstructions [2507.10423][2604.01611].

## 2. Wildness as a representation-type condition

Ulrich wildness is modeled on the finite/tame/wild trichotomy for representations of algebras and ACM categories. In the geometric formulation adopted in recent papers, a smooth projective variety \(Y\subset \mathbb P^N\) is geometrically \(\mathcal O_Y(H)\)-Ulrich wild if it supports \(p\)-dimensional families of pairwise non-isomorphic indecomposable \(\mathcal O_Y(H)\)-Ulrich bundles for arbitrarily large \(p\). Equivalently, for every \(p\in\mathbb N\) there exists a family of dimension \(p\) of such bundles. This is stronger than the statement that infinitely many Ulrich bundles exist: it asserts unbounded moduli-theoretic complexity [2606.05827][2507.10423].

Two recurrent diagnostics certify wildness. The first is the existence of moduli components whose dimensions grow without bound with the rank. The second is the presence of indecomposable families with self-extension spaces growing without bound, for example bundles \(E_N\) with
\[
\dim \operatorname{Ext}^1(E_N,E_N)\to\infty.
\]
Stability is especially useful because stable bundles are indecomposable, so smooth or generically smooth moduli components of stable Ulrich bundles immediately produce wildness when their dimensions are unbounded [2205.13193][2604.01611].

The main settings treated in the cited works can be summarized as follows.

| Setting | Mechanism | Wildness output |
|---|---|---|
| Relative hypersurfaces \(Y_f\subset \mathbb P(E)\) | Equivalence with linear representations of generalized Clifford algebras | Families \(\{E_N\}\) with \(\dim \operatorname{Ext}^1_{Y_f}(E_N,E_N)\to\infty\) [2604.01611] |
| Decomposable threefold scrolls over \(\mathbb F_a\) | Generically smooth moduli components or alternating extensions | Geometrically \(h\)-Ulrich wild, often with \(Ur(X)=\mathbb N^*\) [2606.05827][2507.10423] |
| Del Pezzo threefolds and the \(2\)-Veronese \(\mathbb P^3\) | Smooth moduli of stable Ulrich bundles in arbitrarily large rank | Ulrich wildness from unbounded families of stable bundles [2205.13193] |

This framework shows that Ulrich wildness is not a single construction but a class of mechanisms: deformation growth, extension growth, and representation-theoretic parametrization all lead to the same representation-type conclusion.

## 3. Relative hypersurfaces, generalized Clifford algebras, and relative wildness

For a smooth connected projective scheme \(X\) over an algebraically closed field, a locally free sheaf \(E\) of rank \(n+1\), and the Grothendieck projective bundle \(\pi:\mathbb P(E)\to X\), a relative hypersurface \(Y_f\subset \mathbb P(E)\) of degree \(d\) is the zero locus of a section of \(\mathcal O_{\mathbb P(E)}(d)\otimes \pi^*L\). When \(L\simeq \mathcal O_X\), the defining datum is a section \(f\in H^0(X,\operatorname{Sym}^d E^\vee)\). A vector bundle \(F\) on \(Y_f\) is relatively Ulrich with respect to \(\pi|_{Y_f}\) if it is globally generated and
\[
R^i(\pi|_{Y_f})_*F(-j)=0 \quad \text{for all } i\ge 0,\; 1\le j\le n-1.
\]
By base change, this is equivalent to requiring that every fiber \(F_x\) be an Ulrich bundle on the fiber hypersurface \((Y_f)_x\subset \mathbb P^n\). Such bundles are characterized by a linear presentation on the ambient projective bundle:
\[
0\to \mathcal O_{\mathbb P(E)}(-1)^{\oplus rd}\to \mathcal O_{\mathbb P(E)}^{\oplus rd}\to i_*F\to 0.
\]
Conversely, any rank-\(r\) bundle on \(Y_f\) admitting such a linear presentation is relatively Ulrich [2604.01611].

The associated generalized Clifford algebra is
\[
C_f:=T^\bullet(E)\big/\langle v^{\otimes d}-f(v)\cdot 1: v\in E(U),\ U\subset X\text{ open}\rangle.
\]
A representation of \(C_f\) is an \(\mathcal O_X\)-algebra morphism \(\rho:C_f\to \operatorname{End}_{\mathcal O_X}(F)\) for a locally free sheaf \(F\), and one has the divisibility constraint \(d\mid \operatorname{rank}(F)\). The crucial bridge is the linearization map
\[
\alpha:\mathcal O_{\mathbb P(E)}(-1)^{\oplus dr}\to \mathcal O_{\mathbb P(E)}^{\oplus dr},
\]
constructed from the degree-\(1\) part of the representation. It satisfies
\[
\alpha^d=\tilde f\cdot \operatorname{id},
\]
so it is a globalized matrix-factorization-type object encoding the hypersurface equation. From \(\alpha\), one obtains the linear resolution above; conversely, a relatively Ulrich bundle with such a resolution canonically determines a representation of \(C_f\). The result is a functorial equivalence of categories between linear Clifford representations of \(C_f\) and relatively Ulrich bundles on \(Y_f\), generalizing the absolute Ulrich–Clifford correspondence of Coskun–Kulkarni–Mustopa [2604.01611].

This algebraic description yields a relative wildness theorem. Under the hypotheses that \(\pi:Y_f\to X\) is flat and projective, \(\pi_*\mathcal O_{Y_f}\simeq \mathcal O_X\) for \(n\ge 2\), there exists a relatively simple Ulrich bundle \(F\) with \(\pi_*\operatorname{End}(F)\simeq \mathcal O_X\), and \(\operatorname{Vect}(X)\) has wild representation type, the category of relatively Ulrich bundles on \(Y_f\) has wild representation type. The key construction is the exact fully faithful tensor functor
\[
G\longmapsto E_G:=F\otimes \pi^*G,
\]
which preserves indecomposability and injects
\[
\operatorname{Ext}^1_X(G,G)\hookrightarrow \operatorname{Ext}^1_{Y_f}(E_G,E_G).
\]
Hence one obtains families \(\{E_N\}\) of indecomposable relatively Ulrich bundles with
\[
\dim \operatorname{Ext}^1_{Y_f}(E_N,E_N)\to\infty \quad \text{as } N\to\infty.
\]
At the rank-one end, the same paper isolates a sharp dichotomy: \(\mathcal O_{Y_f}\) is relatively Ulrich if and only if \(d=1\). Thus relative hyperplanes have minimal Ulrich complexity one, whereas degree \(d\ge 2\) hypersurfaces exhibit a homological obstruction that forces the use of matrix factorizations or generalized Clifford algebras rather than trivial geometric line bundles [2604.01611].

## 4. Decomposable threefold scrolls over Hirzebruch surfaces

A second major class of wild examples is furnished by decomposable threefold scrolls over Hirzebruch surfaces. Let \(\mathbb F_a\) be the Hirzebruch surface, let
\[
E_a^b:=\mathcal O_{\mathbb F_a}\oplus \mathcal O_{\mathbb F_a}(0,-b),
\]
and consider
\[
\pi:X:=\mathbb P_{\mathbb F_a}(E_a^b)\to \mathbb F_a,
\qquad
h:=\mathcal O_a(1,1,c)=\xi+C_0+cF.
\]
The polarization \(h\) is very ample if and only if \(c\ge a+b+1\), the degree is
\[
\deg(X)=h^3=3(2c-a-b),
\]
and the canonical class is
\[
\omega_X\simeq \mathcal O_a(-2,-2,-(a+b+2)).
\]
For any \(h\)-Ulrich bundle \(E\) of rank \(r\), the slope is
\[
\mu_H(E)=4(2c-a-b)-2.
\]
These explicit intersection-theoretic formulas make the scroll case especially tractable for moduli calculations and extension constructions [2606.05827][2507.10423].

One outcome is that the Ulrich complexity can be minimal. On the scrolls considered in [2507.10423], one has \(uc_h(X)=1\), with complete classifications of \(h\)-Ulrich line bundles in several regimes. For example, when \(a,b\neq 0\), the only \(h\)-Ulrich line bundles are
\[
N=\mathcal O_a(2,0,2c-a-1),
\qquad
N^U=\mathcal O_a(0,2,2c-b-1),
\]
and additional line bundles \(L,L^U,M,M^U\) appear when \(a=0\) or \(a=b=0\). These line bundles serve as building blocks for higher-rank constructions via nontrivial extensions [2507.10423].

The wildness mechanisms split into two regimes. In the inherited case \(a=0\), the paper “Ulrich wildness of some decomposable threefold scrolls over \(\mathbb F_a\)” proves that for any \(r\ge 1\) the moduli space of rank-\(r\) \(h\)-Ulrich bundles with explicit Chern classes contains a generically smooth component \(\mathcal M(r)\), rational for \(r=2\) and unirational for \(r\ge 3\), 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}
\]
Since these dimensions are unbounded, \(X\) is geometrically \(h\)-Ulrich wild, with \(Ur(X)=\mathbb N^*\) and no slope-stable Ulrich rank gaps. In the obstructed case \(a\ge 1\), generically smooth moduli components may fail because of \(\operatorname{Ext}^2\)-obstructions, yet wildness survives: alternating extensions produce arbitrarily large families of indecomposable, pairwise non-isomorphic Ulrich bundles in every rank [2606.05827].

A closely related construction in [2507.10423] treats the range \(0\le a\le b\le 1\). Starting from \(\mathscr N_1=N^U\) and \(\mathscr N_2=N\), one defines a sequence \(G_r\) by alternating nonsplit extensions
\[
0\to G_{r-1}\to G_r\to \mathscr N_{\epsilon_r}\to 0,
\qquad
\epsilon_r=
\begin{cases}
1,& r\ \text{odd},\\
2,& r\ \text{even}.
\end{cases}
\]
Ulrichness persists at every step, the Chern classes are computed explicitly, and there exists a generically smooth moduli component \(\mathcal M(r)\) whose general member \(U_r\) is slope-stable and Ulrich. The dimensions are
\[
\dim \mathcal M(r)=
\begin{cases}
r^2-1,& r\ \text{odd},\\
r^2+1,& r\ \text{even}.
\end{cases}
\]
This again yields geometric \(h\)-Ulrich wildness and establishes \(Ur(X)=\mathbb N^*\). In the special case \(a=b=0\), additional rank-\(2\) families arise from instanton monads on \(\mathbb P^1\times\mathbb P^1\times\mathbb P^1\), providing Ulrich bundles that are neither extension-type nor pull-backs [2507.10423].

## 5. Del Pezzo threefolds, the \(2\)-Veronese \(\mathbb P^3\), and smooth stable moduli

Ulrich wildness also appears on smooth Fano threefolds through stable moduli spaces. For any smooth Fano threefold \(X\) of index two, the paper “Ulrich bundles on Del Pezzo threefolds” proves that for every integer \(r\ge 2\), the moduli space of stable Ulrich bundles of rank \(r\) and determinant \(\mathcal O_X(r)\) is smooth of dimension \(r^2+1\). For the index-four case, namely \(\mathbb P^3\) embedded by the \(2\)-Veronese, the same statement holds for every even \(r\ge 2\), while no odd-rank Ulrich bundles exist. In both cases the unbounded growth of these smooth stable moduli spaces implies Ulrich wildness [2205.13193].

The proof strategy is deformation-theoretic. For a stable Ulrich bundle \(E\), smoothness of the moduli at \([E]\) follows from the vanishing of \(\operatorname{Ext}^2(E,E)\), while the dimension is computed from \(\chi(\operatorname{End}(E))\). The same paper also develops a preliminary existence criterion for Ulrich bundles on smooth projective threefolds in terms of curves with specified numerical and cohomological properties. In Serre-type form, an Ulrich bundle \(E\) of rank \(r\) and determinant \(\mathcal O_X(D)\) is related to an exact sequence
\[
0\to W\otimes \mathcal O_X\to E\to \mathcal J_{C/X}(D)\to 0,
\]
where \(C\subset X\) is a smooth curve and \(W\subset \operatorname{Ext}^1_X(\mathcal J_{C/X}(D),\mathcal O_X)\) has dimension \(r-1\). For Fano threefolds this criterion specializes to explicit numerical conditions involving the index and degree [2205.13193].

The Fano examples clarify a central point in the theory. Wildness need not depend on a visible supply of Ulrich line bundles or on a direct extension tower from line bundles; it can instead be detected through smooth, high-dimensional moduli of stable higher-rank bundles. This complements the scroll and relative-hypersurface constructions, where extension theory and representation theory are more explicit.

## 6. Obstructions, minimality phenomena, and current directions

A persistent theme in the subject is that wildness coexists with sharp low-rank obstructions. For relative hypersurfaces \(Y_f\subset \mathbb P(E)\), \(\mathcal O_{Y_f}\) is relatively Ulrich if and only if \(d=1\). For \(d\ge 2\), fiberwise cohomology and Serre duality produce nonvanishing in degree \(n-1\), so trivial line bundles cannot satisfy the Ulrich vanishing window. This is precisely the point at which matrix factorizations and generalized Clifford algebras enter: they replace “purely geometric” rank-one candidates by homologically nontrivial constructions [2604.01611].

On decomposable threefold scrolls, the analogous obstruction is modular rather than rank-one. In the obstructed regime \(a\ge 1\), the pairs \(N\) and \(N^U\) develop higher \(\operatorname{Ext}\)-obstructions, preventing the kind of generically smooth components available when \(a=0\). Nonetheless, alternating extension arguments still yield indecomposable families in all ranks, so wildness persists even when smooth moduli geometry breaks down. By contrast, [2507.10423] does not claim Ulrich wildness for the general regime \(a,b>1\); there the high-rank structure and positivity of moduli dimensions remain delicate [2606.05827][2507.10423].

These results suggest a stratified picture of Ulrich wildness. At one extreme lie varieties of minimal Ulrich complexity, where line bundles generate extension towers and moduli components. At another lie higher-degree or obstructed situations, where wildness is visible only after passing to matrix-factorization, Clifford-algebra, or deformation-theoretic machinery. The explicit open directions recorded in the recent literature include sharpening existence and classification results for relatively Ulrich bundles in higher degree and rank, analyzing stability conditions and moduli through irreducible generalized Clifford representations, relaxing hypotheses such as \(\pi_*\operatorname{End}(F)\simeq \mathcal O_X\) in relative wildness theorems, and understanding the larger-\((a,b)\) scroll regimes where wildness is not yet asserted [2604.01611][2507.10423].

In this sense, Ulrich wildness functions as a unifying invariant across several domains: it detects unbounded complexity in Ulrich categories, organizes the geometry of moduli spaces, and links cohomological linearity to representation-theoretic growth.

Source: https://www.emergentmind.com/topics/ulrich-wildness