---
title: Bondal–Thomsen Generators in Toric Geometry
url: https://www.emergentmind.com/topics/bondal-thomsen-generators
type: topic
---

# Bondal–Thomsen Generators in Toric Geometry

Bondal–Thomsen generators are torus-equivariant line bundles on a toric variety that arise as direct summands of the pushforward of the structure sheaf under the toric “Frobenius” endomorphism, or, equivalently in recent combinatorial formulations, as line bundles indexed by lattice points of a half-open zonotope or by strata of a periodic toric hyperplane arrangement. In the smooth toric setting they form the stabilized Thomsen collection \(T(X)\), and more generally the generalized Thomsen collection \(T(X,D)\) attached to a torus-invariant \(\mathbb{Q}\)-divisor \(D\); in class-group language they are indexed by the Bondal–Thomsen set \(\Theta_X\); and in the Cox category of a smooth projective toric variety they appear as Cox lifts \(\mathcal{O}_{Cox}(-d)\) forming a \(G\)-invariant full strong exceptional collection [2506.23531] [2507.14356] [2512.19112].

## 1. Frobenius origin and the basic indexing formulas

Let \(N\) be a free abelian group of rank \(n\), \(M=\operatorname{Hom}(N,\mathbb{Z})\), and \(X_\Sigma\) the toric variety associated to a fan \(\Sigma\). For each ray \(\rho\in\Sigma(1)\) with primitive generator \(v_\rho\in N\), there is a torus-invariant prime divisor \(D_\rho\). For any integer \(m\ge 1\), multiplication by \(m\) on the monoid \(\sigma^\vee\cap M\) defines a finite morphism
\[
[m]:X_\Sigma\to X_\Sigma
\]
which restricts on the open torus \(T\cong \operatorname{Spec}k[M]\) to the character map \(\chi^u\mapsto \chi^{mu}\) [2506.23531].

For a smooth toric variety \(X\) and any line bundle \(\mathcal{L}\), Thomsen’s decomposition gives
\[
[m]_{*}\mathcal{L}=\bigoplus_{\mathcal{L}'\in \operatorname{Pic}X}\mathcal{L}'^{\oplus\,m(\mathcal{L}',\mathcal{L})},
\]
where \(m(\mathcal{L}',\mathcal{L})\) is the number of integer points \((l_\rho)\in\{0,1,\dots,m-1\}^{\Sigma(1)}\) such that the divisor \(\sum_\rho l_\rho D_\rho\) represents \(\mathcal{L}-m\mathcal{L}'\) in \(\operatorname{Pic}X\) [2506.23531]. For \(D=\sum c_\rho D_\rho\) a torus-invariant \(\mathbb{Q}\)-divisor and \(m\) sufficiently divisible so that \(mD\) is integral, a line bundle \(\mathcal{O}_X(\sum a_\rho D_\rho)\) is a direct summand of \([m]_*\mathcal{O}_X(mD)\) if and only if there exists \(u\in \frac1mM\) such that
\[
a_\rho=\left\lfloor \langle u,v_\rho\rangle+c_\rho\right\rfloor
\]
for all \(\rho\in\Sigma(1)\) [2506.23531].

This yields the generalized Thomsen collection
\[
T(X,D)=\left\{\mathcal{O}_X(D_u)\ \middle|\ D_u=\sum_{\rho\in\Sigma(1)}\left\lfloor \langle u,v_\rho\rangle+c_\rho\right\rfloor D_\rho,\ u\in V^*\right\},
\]
and for \(D=0\) the stabilized set
\[
T(X)=\left\{\mathcal{O}_X\!\left(\sum_{\rho}\lfloor \langle u,v_\rho\rangle\rfloor D_\rho\right)\middle|\,u\in M\otimes\mathbb{Q}\right\}
\]
recovers the usual Thomsen collection [2506.23531]. In the notation used for the Cox category, the same indexing is often written as
\[
-d_\theta:=\sum_{\rho\in\Sigma(1)}\lfloor -\langle \theta,v_\rho\rangle\rfloor D_\rho,\qquad \theta\in M_\mathbb{R},
\]
with corresponding objects \(\mathcal{O}_{Cox}(-d_\theta)\) [2512.19112].

## 2. Oriented toric hyperplane arrangements and half-open zonotopes

A combinatorial model for Bondal–Thomsen generators begins with a finite ordered set \(A=\{v_1,\dots,v_k\}\subset \mathbb{R}^n\) and the linear map
\[
\varphi:\mathbb{R}^n\to\mathbb{R}^k,\qquad \varphi(u)_j=\langle u,v_j\rangle.
\]
Let \(\pi:\mathbb{R}^k\to \mathbb{R}^k/\operatorname{im}(\varphi)\) be the cokernel projection. Passing to the quotient \(\mathbb{R}^n/\varphi^{-1}(\mathbb{Z}^k)\), one obtains maps
\[
h_j:\mathbb{R}^n/\varphi^{-1}(\mathbb{Z}^k)\to \mathbb{R}/\mathbb{Z}
\]
induced by \(u\mapsto \langle u,v_j\rangle\), and the oriented toric hyperplane arrangement is the collection of codimension-one subtori \(h_j^{-1}(0)\) [2507.14356].

The orientation is encoded by the ceiling-based slicing
\[
\Phi:\mathbb{R}^n\to\mathbb{Z}^k,\qquad \Phi(u)_j=\big\lceil \langle u,v_j\rangle\big\rceil.
\]
For each \(c\in \mathbb{Z}^k\), the sets \(S_c=\Phi^{-1}(c)\) descend to a partition of \(\mathbb{R}^n/\varphi^{-1}(\mathbb{Z}^k)\) into \(\Phi\)-strata. If \(S\) is a stratum, the indices of the hyperplanes containing it are recorded by
\[
J_S:=\{j\in\{1,\dots,k\}:S\subseteq h_j^{-1}(0)\}.
\]
The associated half-open zonotope is
\[
Z:=\pi([0,1)^k),
\]
whose closure \(\overline Z=\pi([0,1]^k)\) is a lattice polytope with respect to \(\pi(\mathbb{Z}^k)\) [2507.14356].

The central statement is that \(\pi\circ \Phi\) induces a bijection between \(\Phi\)-strata and the lattice points of \(Z\). If \(p=\pi(\Phi(S))\in Z\) is the point corresponding to \(S\), and \(F_p\) is the minimal face of \(Z\) containing \(p\), then \(F_p\) is determined by
\[
F_S:=\{x\in [0,1)^k\mid x_j=0\text{ for all }j\in J_S\},
\qquad F_p=\pi(F_S).
\]
The dimension relation is
\[
\dim F_p+\dim S
=
k-|J_S|+\dim\!\big(\ker\varphi\cap \operatorname{span}(S-u)\big)
\]
for any lift \(S\subset \mathbb{R}^n\) of the stratum and any \(u\in S\); when \(A\) contains a lattice basis of \(\mathbb{Z}^n\), so that \(\ker\varphi=0\), this simplifies to
\[
\dim F_p+\dim S=k-|J_S|.
\]
The correspondence \(J_S\mapsto F_p\) is inclusion-reversing [2507.14356].

## 3. Class groups, effective cones, and the toric meaning of the strata

For a semiprojective toric variety \(X=X_\Sigma\) with simplicial fan \(\Sigma\), character lattice \(M\), and primitive ray generators \(u_\rho\), the combinatorial construction is realized by the group homomorphism
\[
\varphi:M\longrightarrow \bigoplus_{\rho\in\Sigma(1)}\mathbb{Z}\cdot D_\rho,\qquad
m\longmapsto \big(\langle m,u_\rho\rangle\big)_\rho,
\]
whose cokernel identifies with \(\operatorname{Cl}(X)\). The half-open zonotope in class-group space is
\[
Z_X=\pi([0,1)^{|\Sigma(1)|})\subset \operatorname{Cl}(X)\otimes \mathbb{R},
\]
and the Bondal–Thomsen collection is defined as
\[
\Theta_X:=\{d\in \operatorname{Cl}(X)\mid \text{image of }d\text{ lies in }-Z_X\}.
\]
The associated torus-equivariant line bundles are \(\mathcal{O}_X(-d)\) with \(-d\in \Theta_X\) [2507.14356].

In this formulation, the lattice points of \(Z_X\) are the class-group parameters for the generators, and the \(\Phi\)-strata give a Bondal stratification. If \(\tau\) is the minimal face of \(\operatorname{Eff}(X)\) containing the image of \(d\in -\Theta_X\), and \(S_d\) is the corresponding \(\Phi\)-stratum, then in the semiprojective setting
\[
\dim \tau+\dim S_d
=
k-\lvert J_{S_d}\rvert,
\qquad k=\lvert \Sigma(1)\rvert.
\]
Moreover, \(\tau\) is naturally identified with the effective cone of a \(\dim(S_d)\)-dimensional toric variety \(Y\), and the face of the zonotope supporting \(-d\) is the zonotope \(Z_Y\) of the lower-dimensional toric variety obtained by quotienting out the rays indexed by \(J_{S_d}\) [2507.14356].

The effective cone \(\operatorname{Eff}(X)\) is the support of the GKZ or secondary fan \(\Sigma_{GKZ}(X)\), so the zonotope stratification sits directly inside toric birational geometry. A further consequence is a vanishing statement for adjacent chambers: if \(X'\) corresponds to a chamber adjacent to a face \(\tau\) in \(\Sigma_{GKZ}(X)\), then for all \(d\in -\Theta_X\) whose image does not lie in \(\tau\),
\[
(R\pi_*)\,\mathcal{O}_{X'}(-d)=0,
\]
where \(\pi\) is induced by viewing the fan of \(X'\) as a refinement of a generalized fan for \(Y\) [2507.14356]. The discussion around this result explicitly speculates that, at the level of Cox categories, the dimension of the minimal face containing a generator should control semiorthogonality.

## 4. Generation results and generalized Thomsen collections

Bondal claimed that for a smooth proper toric variety \(X\), the Thomsen collection \(T(X)\) generates \(D_c^b(X)\), and this claim has now been proved in full generality. The generalization developed for a torus-invariant \(\mathbb{Q}\)-divisor \(D\) defines \(T(X,D)\) as the stabilized set of direct summands of \([m]_*\mathcal{O}_X(mD)\) for \(m\) sufficiently divisible, and the main theorem states: for a smooth toric variety \(X\) over an algebraically closed field and any torus-invariant \(\mathbb{Q}\)-divisor \(D\) on \(X\), the generalized Thomsen collection \(T(X,D)\) generates \(D_c^b(X)\); the case \(D=0\) recovers Bondal’s original claim [2506.23531].

A key structural point is that the generalized collection admits an \(m\)-independent description by floor functions. If \(D=\sum c_\rho D_\rho\), then
\[
\mathcal{O}_X(D_u)\in T(X,D)
\quad\Longleftrightarrow\quad
D_u=\sum_{\rho\in\Sigma(1)}\left\lfloor \langle u,v_\rho\rangle+c_\rho\right\rfloor D_\rho
\]
for some \(u\in V^*\); if \(D\) is integral, then \(T(X,D)\) is \(T(X)\) tensored by \(\mathcal{O}_X(D)\), so generation by \(T(X,D)\) is equivalent to generation by \(T(X)\) [2506.23531].

The proof is organized through the notion of a generating system \((W,W^+,X,\{W_i\},\{Z_i\})\), where \(W\) is a real vector space, the \(W_i\) are half-spaces, and the \(Z_i\) are disjoint subsets of torus-invariant prime divisors. For each \(w\in W^+\), one defines a torus-invariant effective divisor
\[
D_w=\sum_{i:\,w\in W_i}\ \sum_{D\in Z_i} D.
\]
The associated generation theorem shows
\[
\mathcal{O}_X\in \left\langle \mathcal{O}_X(-D_{[w]})\mid [w]\in W^+/\mathbb{R}_{>0}\right\rangle\subset D_c^b(X),
\]
and the proof proceeds by slicing in \(\dim W\), reducing to a two-dimensional “peeling” argument using the toric Koszul exact sequence
\[
0\to \mathcal{O}_X(-D-E)\to \mathcal{O}_X(-D)\oplus \mathcal{O}_X(-E)\to \mathcal{O}_X\to 0
\]
for torus-invariant effective divisors \(D\) and \(E\) with no common components [2506.23531].

This framework is combined with Orlov’s blow-up decomposition, the projective bundle theorem, toric weak factorization, and localization. The same work also gives a stacky interpretation: \(T(X,D)\) can be viewed as the pushforward along the coarse moduli map of a Thomsen collection on a toric root stack obtained by taking roots along the torus-invariant divisors with \(mD\) integral [2506.23531]. The article’s emphasis, however, is that the generation proof itself does not require stacks.

## 5. Cox category, symmetry, and strong exceptionality

For a smooth projective toric variety \(X\), the Cox ring is
\[
S=k[x_\rho\mid \rho\in \Sigma(1)],
\qquad \deg(x_\rho)=[D_\rho]\in \operatorname{Cl}(X).
\]
The secondary fan \(\Sigma_{GKZ}(X)\) has maximal chambers \(\Gamma_1,\dots,\Gamma_r\), each corresponding to a projective toric birational model \(X_i\) with simplicial fan \(\Sigma_i\). Choosing the associated smooth toric Deligne–Mumford stacks \(\mathcal{E}_i\) and a common smooth toric DM stack \(\widetilde{\mathcal{E}}\) with proper birational stacky refinements \(\pi_i:\widetilde{\mathcal{E}}\to \mathcal{E}_i\), the Cox category \(D_{Cox}(X)\) is defined as the triangulated hull of the fully faithful subcategories \(\pi_i^*D(\mathcal{E}_i)\) inside \(D(\widetilde{\mathcal{E}})\). There is a natural fully faithful functor \(D^b(\operatorname{Coh}X)\to D_{Cox}(X)\) [2512.19112].

If \(d\in \operatorname{Cl}(X)\) lies in a chamber \(\Gamma_i\), its Cox lift is
\[
\mathcal{O}_{Cox}(d):=\pi_i^*(\mathcal{O}_{\mathcal{E}_i}(d)),
\]
independent of \(i\) as long as \(d\) lies in the nef cone of \(\Gamma_i\). In this language, the Bondal–Thomsen objects are
\[
\mathcal{O}_{Cox}(-d_\theta),
\qquad
-d_\theta=\sum_{\rho\in\Sigma(1)}\lfloor -\langle \theta,v_\rho\rangle\rfloor D_\rho,
\]
and the main theorem of the geometric Merkurjev–Panin study states that if \(G\subset \operatorname{Aut}(N)\) is the group of lattice automorphisms that permute the rays \(\Sigma(1)\), then the Bondal–Thomsen collection \(\Theta\) forms a \(G\)-invariant full strong exceptional collection in \(D_{Cox}(X)\). More generally, if \(X\) is semiprojective and normal, then
\[
T:=\bigoplus_{-d\in \Theta}\mathcal{O}_{Cox}(-d)
\]
is a \(G\)-invariant tilting bundle in \(D_{Cox}(X)\) [2512.19112].

The invariance mechanism is explicit. The group \(G\) acts on the secondary fan, hence on chambers and the corresponding stacks, and induces a strict action
\[
g\cdot \pi_i^*E=\pi_{g(i)}^*(\phi_{g*}E),
\qquad
g\cdot \mathcal{O}_{Cox}(-d_\theta)=\mathcal{O}_{Cox}(-d_{g_*\theta}).
\]
Morphisms are controlled by the closed section polytope
\[
P_\theta:=\{k\in M_\mathbb{R}\mid \langle k,v_\rho\rangle\le \lceil \langle \theta,v_\rho\rangle\rceil \text{ for all }\rho\},
\]
and
\[
\operatorname{Hom}_{D_{Cox}(X)}(\mathcal{O}_{Cox}(-d_\theta),\mathcal{O}_{Cox}(-d_{\theta'}))\neq 0
\]
if and only if \((\theta'+M)\cap P_\theta\neq \varnothing\), with the dimension of the Hom space equal to the number of lattice points in that intersection [2512.19112]. Ordering the Bondal–Thomsen objects by the effective partial order yields strong exceptionality. A useful monotonicity statement is that if such a Hom space is nonzero, then a corresponding “depth set” \(J_\theta\subset \Sigma(1)\) is contained in \(J_{\theta'}\), which supports semi-orthogonal decompositions by “dimension” and “depth” of strata [2512.19112]. This is closely aligned with the face-poset picture of the zonotope construction.

## 6. Examples, scope, and limitations

Several standard examples make the combinatorics explicit. For projective space,
\[
T(\mathbb{P}^n)=\{\mathcal{O}_{\mathbb{P}^n}(d)\mid d\in\{-n,-n+1,\dots,0\}\},
\]
and in the Cox-category formulation this is the Beilinson collection \(\{\mathcal{O}(-i)\mid 0\le i\le n\}\), which is \(G\)-invariant for \(G\cong S_{n+1}\) permuting the rays [2506.23531] [2512.19112]. For \(\mathbb{P}^1\), the Thomsen collection stabilizes to
\[
T(\mathbb{P}^1)=\{\mathcal{O}_{\mathbb{P}^1},\mathcal{O}_{\mathbb{P}^1}(-1)\},
\]
and these two line bundles generate \(D_c^b(\mathbb{P}^1)\) [2506.23531].

For Hirzebruch surfaces, the behavior depends on the perspective. On \(\mathbb{F}_a\), the Thomsen bundles obtained from the floor-function formula generate \(D_c^b(\mathbb{F}_a)\), and in \(\operatorname{Pic}\mathbb{F}_a\) the resulting finite set is generated by
\[
\{\mathcal{O},\mathcal{O}(-F),\mathcal{O}(-S),\mathcal{O}(-S-F)\}
\]
where \(S\) is the minimal section and \(F\) is a fiber class [2506.23531]. For the specific Hirzebruch surface \(\mathbb{F}_2\), the arrangement–zonotope dictionary gives five strata—three of dimension two, one of dimension one, and one of dimension zero—and these correspond bijectively to the five lattice points of \(Z\); the associated five class-group elements in \(-Z_X\) determine the five Bondal–Thomsen generators \(\mathcal{O}_X(-d)\), and
\[
\dim F_p+\dim S=4-|J_S|
\]
because \(\ker\varphi=0\) [2507.14356].

For the weighted blow-up of \(\mathbb{F}_2\) at a torus fixed point, the same formalism yields eight strata—six of dimension two, one of dimension one, and one of dimension zero. In the zonotope there are six lattice points on a three-dimensional face, one on a two-dimensional face, and one at a vertex; these eight class-group elements determine the eight Bondal–Thomsen generators, and
\[
\dim F_p+\dim S=5-|J_S|
\]
again because \(\ker\varphi=0\) [2507.14356]. For permutohedral varieties, the Cox-category study records that \(\Theta\) has \(6\) elements for \(X_3\) and \(44\) elements for \(X_4\), with the \(G\)-action respecting decompositions by “dimension” and “depth” of strata [2512.19112].

The formalism has explicit hypotheses and limits. The clean identification of strata with subsets of the standard torus requires \(\Sigma(1)\) to contain a lattice basis, and semiprojectivity guarantees \(\ker\varphi=0\); when \(\Sigma\) has no smooth cone, one works on a finite cover of the usual torus \(M_\mathbb{R}/M\) [2507.14356]. The simplicial assumption is used to streamline the link to the secondary fan and effective cones [2507.14356]. On the homological side, generalized Thomsen collections always generate \(D_c^b(X)\) for smooth toric \(X\), but in general they need not be exceptional or full exceptional collections; the emphasis of the generation theorem is generation rather than exceptionality [2506.23531]. The combinatorial framework also leaves open further questions: one work explicitly notes that extending the dimension correspondence to resolutions of toric subvarieties requires further control beyond the combinatorics of \(Z_X\) [2507.14356], while another remarks that its proof does not track generation length and poses questions about purely hyperplane-arrangement reformulations and affine-hyperplane generalizations [2506.23531].

Taken together, these developments present Bondal–Thomsen generators as a single toric-homological object with three mutually reinforcing descriptions: Frobenius summands of \([m]_*\mathcal{O}_X\), lattice points of a half-open zonotope paired with strata of an oriented toric hyperplane arrangement, and Cox-category line bundles carrying functorial symmetry under lattice automorphisms. The resulting dictionary is simultaneously combinatorial, birational, and categorical.

Source: https://www.emergentmind.com/topics/bondal-thomsen-generators