Acyclic toric sheaves

Andreas Hochenegger; Frederik Witt; Klaus Altmann

arxiv: 2505.22333 · v2 · submitted 2025-05-28 · 🧮 math.AG

Acyclic toric sheaves

Klaus Altmann , Andreas Hochenegger , Frederik Witt This is my paper

Pith reviewed 2026-05-19 13:06 UTC · model grok-4.3

classification 🧮 math.AG

keywords toric varietiesreflexive sheavesacyclicityWeil decorationstorus linearisationcohomology vanishingalgebraic geometry

0 comments

The pith

An explicit condition using Weil decorations ensures acyclicity for torus-linearised reflexive sheaves on smooth projective toric varieties.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper establishes an explicit sufficient condition, expressed through Weil decorations, that guarantees acyclicity for torus-linearised reflexive sheaves on smooth projective toric varieties. This generalizes an earlier result by Perlman and Smith to a combinatorial setting. A reader would care because acyclicity of sheaves simplifies the computation of their cohomology groups, which appear throughout questions about vector bundles and resolutions on toric varieties. The condition turns a global vanishing statement into a local check on the decoration data attached to the torus action.

Core claim

Let E be a torus-linearised reflexive sheaf over a smooth projective toric variety. If the Weil decorations of E satisfy an explicit sufficient condition, then E is acyclic. This extends the theorem of Perlman and Smith by supplying a concrete criterion in terms of these decorations.

What carries the argument

Weil decorations, the combinatorial data recording how the torus acts on the reflexive sheaf and serving as the criterion for cohomology vanishing.

If this is right

Acyclicity becomes verifiable by inspecting the Weil decorations rather than computing cohomology groups.
The criterion applies uniformly to all reflexive sheaves that carry a torus linearisation on any smooth projective toric variety.
Families of acyclic sheaves can be built by choosing decorations that obey the stated condition.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The decoration approach could be adapted to produce acyclicity criteria for sheaves on toric varieties that are not necessarily projective or smooth.
One could implement the Weil decoration check in computational packages for toric geometry to test acyclicity on large examples.
The result may link to questions about the structure of derived categories of toric varieties where acyclic sheaves generate resolutions.

Load-bearing premise

The sheaf must be torus-linearised and reflexive on a smooth projective toric variety for the Weil decoration condition to be sufficient for acyclicity.

What would settle it

Take a concrete smooth projective toric variety such as projective space, construct an explicit torus-linearised reflexive sheaf whose Weil decorations meet the given condition, and compute its cohomology groups directly; non-vanishing in positive degrees would disprove the claim.

read the original abstract

Let $\mathcal E$ be a torus-linearised reflexive sheaf over a smooth projective toric variety. Generalising a theorem of Perlman and Smith, we prove an explicit sufficient condition for $\mathcal E$ to be acyclic via Weil decorations.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

This paper gives an explicit Weil-decoration test as a sufficient condition for acyclicity of torus-linearized reflexive sheaves on smooth projective toric varieties, generalizing Perlman-Smith.

read the letter

The main point is that this paper generalizes the Perlman-Smith theorem to give an explicit sufficient condition, based on Weil decorations, for torus-linearized reflexive sheaves on smooth projective toric varieties to be acyclic. The authors do a solid job making the condition practical and tied to the toric geometry setup. Reflexive sheaves are a natural next step from locally free ones, and the Weil decoration seems to provide a combinatorial handle that fits the toric context well. This could be handy for checking vanishing cohomology in concrete examples without heavy computation. On the soft spots, the result is only sufficient, not if and only if, so there could be acyclic sheaves that don't meet the decoration test. The assumptions are standard for the field—torus-linearized, reflexive, on smooth projective toric varieties—but that limits how far the result travels. Since the full proof isn't in the abstract, it's hard to verify every step, but the overall logic looks consistent and not circular. No major gaps jump out from the description. This work is aimed at people in toric algebraic geometry who deal with sheaves and their cohomology. Readers who already know the Perlman-Smith result and want to extend it to reflexive cases will get the most out of it. It has enough new content to be worth citing in related papers on vanishing theorems or toric sheaves. I think it deserves a serious referee. The generalization is clear and the setting is well-chosen. I'd recommend sending it out for peer review rather than desk rejecting it.

Referee Report

0 major / 2 minor

Summary. The manuscript claims that for any torus-linearised reflexive sheaf E on a smooth projective toric variety X, an explicit sufficient condition phrased in terms of Weil decorations guarantees that E is acyclic; this is presented as a direct generalisation of a theorem of Perlman and Smith.

Significance. If the stated sufficient condition is correctly proved, the result supplies a concrete, checkable criterion for vanishing of cohomology that could be applied to a range of torus-equivariant reflexive sheaves on toric varieties, extending the Perlman-Smith case and potentially simplifying computations of global sections or higher cohomology in toric geometry.

minor comments (2)

The abstract refers to 'Weil decorations' without a forward reference to the section where this notion is defined; a brief parenthetical pointer would improve readability.
The statement of the main theorem should explicitly record the precise hypotheses on the toric variety (smooth, projective) and on the sheaf (reflexive, torus-linearised) so that the generalisation of Perlman-Smith is immediately visible.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript, accurate summary of the main result, and recognition of its potential significance in toric geometry. The recommendation for minor revision is noted. However, the report contains no specific major comments to address point by point.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper states an explicit sufficient condition via Weil decorations that guarantees acyclicity for torus-linearised reflexive sheaves on smooth projective toric varieties, presented as a direct generalisation of the cited Perlman-Smith theorem. The hypotheses are standard (torus-linearisation, reflexivity, smooth projective toric base) and the sufficiency claim is derived from these without reducing to self-definition, fitted inputs renamed as predictions, or load-bearing self-citations. The derivation chain remains self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Only the abstract is available, so no free parameters, axioms, or invented entities can be identified from the text.

pith-pipeline@v0.9.0 · 5545 in / 1002 out tokens · 27337 ms · 2026-05-19T13:06:42.353566+00:00 · methodology

Acyclic toric sheaves

Core claim

What carries the argument

If this is right

Where Pith is reading between the lines

Load-bearing premise

What would settle it

discussion (0)