---
title: Rank 2 Schwarzenberger Bundles
url: https://www.emergentmind.com/topics/rank-2-schwarzenberger-bundles
type: topic
---

# Rank 2 Schwarzenberger Bundles

Rank 2 Schwarzenberger bundles are rank-2 vector bundles obtained, in their classical form, by pushing forward line bundles along a finite double cover of the projective plane branched over a smooth conic. On \(\PP^2\), this construction produces explicit families with computable resolutions, Chern classes, splitting types, and stability properties, and it also underlies a substantial body of work on co-Higgs bundles, jumping loci, and Steiner-bundle classifications. In later developments, the term “Schwarzenberger bundle” is extended from \(\PP^2\) to Grassmannians and then to arbitrary smooth projective varieties via short exact Steiner-type resolutions and extremal jumping-pair geometry [1104.1490] [1208.0571] [1306.0746].

## 1. Classical constructions on \(\PP^2\)

The basic geometric input is a smooth conic \(C\subset \PP^2\) and the associated double cover
\[
\phi:Q\simeq \PP^1\times \PP^1 \longrightarrow \PP^2
\]
branched exactly over \(C\). If \(L=\mathcal O_{\PP^1\times\PP^1}(a,b)\), then the direct image
\[
E_{a,b}:=\phi_*L
\]
is a rank-2 vector bundle on \(\PP^2\) [1104.1490]. In this two-parameter classical notation, one has a minimal free resolution
\[
0 \to \mathcal O_{\PP^2}(-b-1)^{\oplus(a-b)}
\xrightarrow{M}
\mathcal O_{\PP^2}(-b)^{\oplus(a-b+2)}
\to E_{a,b}\to 0,
\]
valid whenever \(a\ge b\ge 0\) [1104.1490].

A one-parameter normalization used in co-Higgs theory fixes a smooth conic \(C_\rho=\{\rho=0\}\) and defines
\[
V_k^\rho=f^\rho_*\mathcal O_{\PP^1\times\PP^1}(0,k),
\]
where
\[
f^\rho:\PP^1\times\PP^1\to \PP^2
\]
is the associated double cover branched along \(C_\rho\) [2509.03773]. In this convention,
\[
c_1(V_k^\rho)=(k-1)H,\qquad c_2(V_k^\rho)=\tfrac{k(k-1)}2\,H^2,
\]
and the low-degree identifications are
\[
V_0^\rho\cong \mathcal O\oplus\mathcal O(-1),\qquad
V_1^\rho\cong \mathcal O\oplus\mathcal O,\qquad
V_2^\rho\cong T_{\PP^2}
\]
[2509.03773].

A different one-parameter normalization in the co-Higgs literature sets
\[
V_k=f_*L_k,\qquad L_k:=\mathcal O(k,k),
\]
with the same branched double-cover geometry; in that convention,
\[
c_1(V_k)=(k-1)H,\qquad c_2(V_k)=\tfrac12\,k(k-1)\,H^2,
\]
while
\[
V_0\simeq \mathcal O(-1)\oplus\mathcal O(-1),\qquad
V_1\simeq \mathcal O\oplus\mathcal O,\qquad
V_2\simeq T_{\CP^2}(-1)
\]
[1309.7014]. The coexistence of these formulas suggests that the literature uses different indexing and twisting conventions for the same underlying plane geometry.

## 2. Chern data, resolutions, and stability

For the classical family \(E_{a,b}=\phi_*\mathcal O(a,b)\), Grothendieck–Riemann–Roch or the explicit resolution gives
\[
c_1(E_{a,b})=(a+b)H,\qquad c_2(E_{a,b})=ab
\]
[1104.1490]. The slope is
\[
\mu(E)=\tfrac{a+b}{2},
\]
and the stability criterion is explicit:
\[
E_{a,b}\text{ is stable iff }a>b,\qquad
E_{a,b}\text{ is semistable iff }a=b.
\]
Moreover, the only decomposable case is \(a=b\), in which case
\[
E_{a,a}\simeq \mathcal O(a)\oplus \mathcal O(a)
\]
[1104.1490].

In the \(V_k^\rho=f^\rho_*\mathcal O(0,k)\) normalization, the degree is \(k-1\), the rank is \(2\), and hence
\[
\mu(V_k^\rho)=\frac{k-1}{2}.
\]
The bundle splits for \(k=0,1\), while for \(k\ge 2\) it is indecomposable and Mumford–Takemoto stable [2509.03773]. Rigidity also exhibits a sharp transition: for \(k=0,1,2\),
\[
H^1(\End(V_k^\rho))=0,
\]
so the bundle is rigid, whereas for \(k\ge 3\),
\[
h^1(\End_0(V_k^\rho))=k^2-4
\]
[2509.03773].

In the \(V_k=f_*\mathcal O(k,k)\) normalization, the same Chern classes appear, but the low-degree identifications shift accordingly. Here the bundles are indecomposable for \(k\ge 2\), and slope-stable for \(k\ge 3\) [1309.7014]. This matches the special case \(V_2\simeq T_{\CP^2}(-1)\), which is the tangent bundle up to twist.

A useful corrective to a common conflation is provided by the theory of uniform bundles. On \(\PP^2\), the only indecomposable uniform rank-2 bundle, up to twist, is the tangent bundle, while the classical Schwarzenberger bundles \(E_{a,b}\) do not appear in this list because they are not uniform on every line: their splitting type jumps on the tangent lines to the branch conic [1104.1490].

## 3. Co-Higgs bundles of Schwarzenberger type

A co-Higgs bundle on a complex manifold \(X\) is a pair \((V,\Phi)\) with \(V\) holomorphic and
\[
\Phi\in H^0(X,\End V\otimes T_X)
\]
satisfying the integrability condition
\[
\Phi\wedge \Phi=0
\]
[1309.7014]. For Schwarzenberger bundles on \(\PP^2\), Rayan constructs a natural \(\mathcal O(1)\)-valued endomorphism
\[
\phi_k\in H^0(\PP^2,\End V_k(1))
\]
coming from the tautological section on the total space of \(\mathcal O(1)\), with determinant
\[
\det \phi_k=Q,
\]
where \(Q\) is the branch conic [1309.7014]. If
\[
C\in H^0(\PP^2,T_{\PP^2}(-1)),
\]
then
\[
\Phi_k:=\phi_k\otimes C\in H^0(\PP^2,\End V_k\otimes T_{\PP^2})
\]
is integrable, since \(\phi_k\wedge \phi_k=0\) and \(C\wedge C=0\) [1309.7014].

Banerjee’s classification sharpens this structure for trace-free fields. For \(k\neq 3\), if
\[
\phi\in H^0(\End_0(V_k^\rho)\otimes T_{\PP^2})
\]
is trace-free and integrable, then there exist unique, up to scalars,
\[
\phi_0\in H^0(\End_0(V_k^\rho)\otimes \mathcal O(1)),\qquad
C\in H^0(T_{\PP^2}(-1))
\]
such that
\[
\phi=\phi_0\otimes C.
\]
Moreover, once this pure-tensor form holds, the integrability condition is automatic [2509.03773]. This gives a concrete classification of trace-free co-Higgs fields on \(V_k^\rho\) for all \(k\neq 3\).

The case \(k=3\) is exceptional. Banerjee’s analysis excludes it precisely because non-pure-tensor co-Higgs fields appear there, and the image of the determinant morphism acquires more intricate geometry [2509.03773].

## 4. Moduli, deformation theory, and the determinant morphism

Allowing the branch conic to vary produces a family
\[
\mathcal M_k:=\{(V_k^Q,\Phi_k^Q)\mid Q\in |\mathcal O(2)|\setminus \Delta_{\mathrm{sing}}\}
\]
of co-Higgs bundles on \(\CP^2\). For each \(k\ge 0\), this family is \(8\)-dimensional [1309.7014]. It admits two fibrations: one over the projective plane of choices
\[
[C]\in \PP H^0(T(-1))=\CP^2,
\]
and one over the open locus of nonsingular conics
\[
[Q]\in \CP^5\setminus \Delta,
\]
with fibres copies of the complement of the zero-section in an \(\mathcal O(-1)\)-bundle [1309.7014].

The first-order deformation theory is governed by the hypercohomology of the two-term complex
\[
\End V_k\to (\End V_k)\otimes T.
\]
Rayan’s explicit computations give
\[
\dim H^0(\End V_k\otimes T)=3\ \text{for}\ k>3,\qquad
\dim H^0(\End V_3\otimes T)=8,
\]
show that the higher obstruction group \(H^2\) vanishes on these families, and conclude that
\[
\dim T_{(V_k,\Phi_k)}\mathcal M_k=8.
\]
Thus \(\mathcal M_k\) is smooth of the expected dimension, and any small deformation of a nonzero co-Higgs Schwarzenberger bundle remains of Schwarzenberger type; this is the “Schwarzenberger-rigidity” statement [1309.7014].

For rank \(2\), the determinant extends to the co-Higgs setting as
\[
\det:H^0(\End_0(E)\otimes T_{\PP^2})\to H^0(\det(E)\otimes \Sym^2T_{\PP^2}).
\]
If \(\phi=\phi_0\otimes C\), then
\[
\det(\phi)=\det(\phi_0)\otimes \Sym^2(C)
\]
[2509.03773]. Writing
\[
\mathcal M_k=\mathcal M_{\PP^2}(V_k^\rho,T_{\PP^2})
\]
for the moduli of stable, trace-free co-Higgs bundles of Schwarzenberger type, Banerjee computes the image of
\[
\det:\mathcal M_k\to H^0(\mathcal O(k-1)\otimes \Sym^2T_{\PP^2})
\]
explicitly for all \(k\neq 3\) [2509.03773].

For \(k=0\),
\[
\Im(\det|_{\mathcal M_0})
\cong
\bigl(H^0(\mathcal O(2))^\times\times H^0(T_{\PP^2}(-1))^\times\bigr)/\CC^\times
\;\sqcup\;\{0\},
\]
with
\[
\alpha\cdot(q,C)=(\alpha^2q,\alpha^{-1}C).
\]
For \(k=1\), the image is the union of the same quotient, an extra copy of
\[
H^0(T_{\PP^2})/\{\pm 1\},
\]
and \(\{0\}\). For \(k=2\), the image is again the same quotient as for \(k=0\), together with \(\{0\}\). For \(k>3\),
\[
\Im(\det|_{\mathcal M_k})
\cong
\bigl(H^0(T_{\PP^2}(-1))^\times/\{\pm1\}\bigr)\sqcup \{0\}
\]
[2509.03773]. In each case, \(\{0\}\) records the trivial Higgs field.

## 5. Steiner-bundle and jumping-locus characterizations

Rank 2 Schwarzenberger bundles admit an abstract reformulation as special Steiner bundles. On the Grassmannian
\[
G(k,n)=G(k+1,V^*),
\]
let \(U\) be the universal subbundle. Given a triple \((X,L,M)\) with \(L\in \mathrm{Pic}\,X\) and \(M\) a globally generated rank-2 bundle on \(X\) satisfying
\[
h^0(M)=n+1,
\]
the associated Schwarzenberger bundle \(F\) is defined by the exact sequence
\[
0\to H^0(L)\otimes U \xrightarrow{\alpha} H^0(L\otimes M)\otimes \mathcal O \to F\to 0,
\]
provided the restriction map
\[
H^0(L)\otimes \Gamma \to H^0(L\otimes M)
\]
is injective for every \(\Gamma\in G(k,n)\) [1208.0571]. In rank \(2\), the numerical condition is
\[
\dim H^0(L\otimes M)-(k+1)\dim H^0(L)=2.
\]

This leads to a classification theorem. A reduced rank-2 Steiner bundle \(F\) on \(G(k,n)\) has maximal-dimensional jumping locus if and only if
\[
s:=\dim S=k+2,
\]
and in that case \(F\) is exactly the Schwarzenberger bundle associated to
\[
(\PP^{k+1},\mathcal O_{\PP^{k+1}}(1),E^*(-1)).
\]
Equivalently, any reduced rank-2 Steiner bundle with \(s=k+2\) is Schwarzenberger, and no other reduced rank-2 Steiner bundles occur with maximal jumping locus [1208.0571].

An analogous theorem holds on a smooth projective variety \(X\). If \(F_0\) is a vector bundle such that \((F_0,\mathcal O_X)\) is a strongly exceptional pair and \(F_0^\vee\) is globally generated, then a \((Z,\psi,L)\)-Schwarzenberger bundle is defined by
\[
0\to H^0(L)\otimes F_0
\to H^0(L\otimes \psi^*U^\vee)\otimes \mathcal O_X
\to E\to 0.
\]
For rank \(2\), if \(E\) is a reduced \((F_0,\mathcal O_X)\)-Steiner bundle and the classifying map
\[
\sigma:X\to G(f_0-1,H^0(F_0^\vee))
\]
is generically finite, then \(E\) is Schwarzenberger if and only if its jumping-pair locus achieves the maximal possible dimension allowed by the general bound [1306.0746]. In this sense, rank 2 Schwarzenberger bundles are exactly the extremal rank-2 Steiner bundles detected by maximal jumping geometry.

## 6. Secant geometry, Hermite reciprocity, and open directions

A further rank-2 incarnation appears in the incidence-theoretic construction studied by Raicu and Sam. Let
\[
E=E_2(n)=\pi_{1*}(\pi_2^*\mathcal O_{\PP^1}(n+1))
\]
on
\[
\PP^2=\mathrm{Proj}\,\mathrm{Sym}^\bullet(D^2U)\simeq \mathrm{Hilb}^2(\PP^1),
\]
with \(n>2\). Then \(E\) is a rank-2 bundle with
\[
\det E=\mathcal O_{\PP^2}(n)
\]
and Steiner presentation
\[
0\to \Sym^{n-1}U\otimes \mathcal O_{\PP^2}(-1)
\xrightarrow{\alpha}
\Sym^{n+1}U\otimes \mathcal O_{\PP^2}
\to E\to 0
\]
[2106.04495]. Its Chern classes are
\[
c_1(E)=nH,\qquad c_2(E)=\binom{n}{2}H^2.
\]

This family has several distinctive properties. The restriction to a line \(L\simeq \PP^1\) splits as
\[
E|_L\simeq \mathcal O_{\PP^1}(a)\oplus \mathcal O_{\PP^1}(b),\qquad a+b=n,
\]
and \(E\) is a supernatural bundle in the sense of Eisenbud–Schreyer [2106.04495]. The projective bundle \(\PP(E)\) carries a natural birational morphism
\[
\psi:\PP(E)\to \Sigma_1\subset \PP^n,
\]
where \(\Sigma_1\) is the first secant variety of the rational normal curve; this morphism resolves the singularities of \(\Sigma_1\), and the secant variety is normal, Cohen–Macaulay, and has rational singularities [2106.04495].

The same rank-2 bundle also encodes Hermite reciprocity. There is a unique, up to scale, global section of
\[
\Sym^2E\otimes \mathcal O_{\PP^2}(-n+1),
\]
and this section induces the \(SL_2\)-equivariant isomorphism
\[
\Sym^2(\Sym^{n-1}U)\simeq \Sym^{n-1}(\Sym^2U)
\]
[2106.04495]. This connects rank 2 Schwarzenberger bundles to classical invariant theory as well as to secant-variety geometry.

Current open directions recorded in the recent co-Higgs literature include the exceptional case \(k=3\), where non-pure-tensor co-Higgs fields appear; higher-dimensional analogues on \(\PP^n\); and a spectral construction using the two-sheeted cover \(f^\rho\), with the aim of obtaining an integrable-system picture similar to the Hitchin fibration for curves [2509.03773]. These questions extend the role of rank 2 Schwarzenberger bundles from explicit examples on \(\PP^2\) to a broader interface between vector bundles, moduli, generalized geometry, and projective secant constructions.

Source: https://www.emergentmind.com/topics/rank-2-schwarzenberger-bundles