arxiv: 2604.12072 · v1 · submitted 2026-04-13 · 🧮 math.AG · math.RT

Recognition: unknown

Semiorthogonal decompositions and components of derived categories of orthogonal Grassmannian fibrations

Saket Shah

Authors on Pith no claims yet

Pith reviewed 2026-05-10 14:47 UTC · model grok-4.3

classification 🧮 math.AG math.RT

keywords semiorthogonal decompositionderived categoryorthogonal Grassmannianquadric fibrationClifford algebraalgebraic geometryembedding

0 comments

The pith

For quadric fibrations with a rank condition on fibers, the even Clifford algebra category embeds fully faithfully into the derived category of the relative orthogonal Grassmannian.

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

The paper builds on prior work showing a semiorthogonal decomposition for the derived category of a quadric fibration that includes the derived category of the even part of the Clifford algebra on the base. It proves that this Clifford category embeds fully and faithfully into the derived category of the relative orthogonal Grassmannian fibration, provided the quadric fibers satisfy a minor rank condition. Specializing to orthogonal Grassmannians of rank 2, the authors derive a semiorthogonal decomposition for the full derived category, identifying the remaining residual category explicitly in the smooth case and offering a conjecture for the case of a pencil of quadrics with smooth base locus.

Core claim

Under a minor condition on the rank of the quadric fibers, the category D^b(S, Cl_0) embeds fully faithfully into D^b(OGr(k, Q)). For k = 2, this produces a semiorthogonal decomposition of D^b(OGr(2, Q)) up to a residual category, which is computed when the fibration is smooth and conjectured for a pencil of quadrics with smooth base locus.

What carries the argument

Full faithful embedding of D^b(S, Cl_0) into D^b(OGr(k, Q))

If this is right

The derived category D^b(OGr(2, Q)) admits a semiorthogonal decomposition including the embedded Clifford category.
The residual category in the decomposition is explicitly determined when Q is smooth.
A conjecture describes the residual category for pencils of quadrics with smooth base locus.

Where Pith is reading between the lines

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

This approach may generalize to other values of k or different types of fibrations.
The residual category could be related to categories of sheaves on the base locus or other geometric objects.
Such embeddings might aid in computing categorical invariants like Hochschild homology for these varieties.

Load-bearing premise

The quadric fibers satisfy a minor condition on their ranks that is needed for the embedding to be fully faithful.

What would settle it

Finding a quadric fibration violating the rank condition where the natural map from D^b(S, Cl_0) to D^b(OGr(k, Q)) fails to be fully faithful.

read the original abstract

Kuznetsov showed that for a flat quadric fibration $\mathcal{Q}$ over a smooth base $S$, $\mathrm{D}^b(\mathcal{Q})$ admits a semiorthogonal decomposition where one of the components is the derived category of the sheaf of even parts of a Clifford algebra $\mathrm{D}^b(S,\mathcal{C}l_0)$. \par As progress towards a generalization, we show that for a quadric fibration with a fairly minor condition on the rank of the quadric fibers, the category $\mathrm{D}^b(S,\mathcal{C}l_0)$ embeds fully faithfully into the derived category of the relative orthogonal Grassmannian $\mathrm{D}^b(\mathrm{OGr}(k,\mathcal{Q}))$. When $k = 2$, we use this to produce a semiorthogonal decomposition of $\mathrm{D}^b(\mathrm{OGr}(2,\mathcal{Q}))$ up to a residual category; we compute this residual category in the smooth case and produce a conjecture for in the case of a pencil of quadrics with smooth base locus.

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

Shah gives a new fully faithful embedding of the Clifford category into the derived category of the relative orthogonal Grassmannian under a fiber rank condition, and uses it for an explicit semiorthogonal decomposition when k=2.

read the letter

The main takeaway is that this paper constructs a fully faithful embedding of D^b(S, Cl_0) into D^b(OGr(k, Q)) for a quadric fibration Q over S, assuming some condition on the rank of the fibers. For k=2 this produces a semiorthogonal decomposition of D^b(OGr(2, Q)) with a residual category that gets computed explicitly in the smooth case and conjectured for a pencil of quadrics with smooth base locus. It builds directly on Kuznetsov's theorem for the quadric fibration itself but moves the story to the orthogonal Grassmannian setting. The embedding and the k=2 decomposition are the new pieces. The paper handles the smooth residual category with concrete descriptions rather than leaving it abstract, which is a clear step forward in this line of work. The constructions appear to follow standard techniques in derived categories of fibrations without obvious circularity or invented objects. The soft spot is the rank condition on the quadric fibers. The abstract calls it fairly minor but does not state it explicitly, so it is hard to tell how restrictive it actually is or whether it rules out standard low-rank examples where the embedding might fail. If the full paper gives a precise statement, such as a lower bound on rank(Q_s) for all s, and shows it is needed for the Hom-vanishing, that would be fine. Otherwise the result risks applying only to a narrower class of fibrations than the abstract suggests. The conjecture for the pencil case is reasonable but left open. This is for specialists working on semiorthogonal decompositions, Clifford algebras, and fibrations in algebraic geometry. A reader already following Kuznetsov-type results would get the most out of the explicit k=2 case and the embedding construction. The paper shows clear engagement with the literature and specific claims rather than vague generalizations. I would send it to peer review so referees can verify the embedding functor and the exact rank condition in the main theorem.

Referee Report

2 major / 2 minor

Summary. The paper extends Kuznetsov's semiorthogonal decomposition for the derived category of a flat quadric fibration Q over a smooth base S, where one component is D^b(S, Cl_0). It proves that under a minor condition on the ranks of the quadric fibers, D^b(S, Cl_0) embeds fully faithfully into D^b(OGr(k, Q)). For k=2 this yields a semiorthogonal decomposition of D^b(OGr(2, Q)) up to a residual category, which is computed explicitly when the fibration is smooth and conjectured for a pencil of quadrics with smooth base locus.

Significance. If the embedding and decomposition hold, the work advances the program of decomposing derived categories of orthogonal Grassmannian fibrations and relating them to Clifford algebra categories. The explicit computation of the residual category in the smooth case and the conjecture for the pencil case supply concrete, potentially falsifiable statements that could guide further research in semiorthogonal decompositions and noncommutative resolutions.

major comments (2)

[Abstract] Abstract: the embedding D^b(S, Cl_0) ↪ D^b(OGr(k, Q)) is asserted only under an unspecified 'fairly minor condition on the rank of the quadric fibers'. This condition is load-bearing for the central claim; the main theorem (likely the statement in the section introducing the embedding functor) must give its precise formulation (e.g., rank(Q_s) ≥ 2k+2 for all s ∈ S) and prove that it guarantees full faithfulness, for instance by verifying that Hom spaces between the image of the functor and objects supported on lower-rank loci vanish.
[Main embedding theorem] The paper should clarify whether the rank condition is necessary or merely an artifact of the chosen functor. If the embedding fails without the condition, a brief counterexample or reference to a locus where Hom-spaces do not vanish would strengthen the result; otherwise the statement should be relaxed.

minor comments (2)

[Abstract] Notation: the abstract uses both mathrm and mathcal for D^b and Cl_0; ensure uniform notation and consistent use of script letters throughout the manuscript.
[Conjecture section] The conjecture for the pencil case is stated only in the abstract; a precise formulation (including the expected form of the residual category) should appear in the body, together with any partial results supporting it.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and valuable suggestions. We will revise the manuscript to make the rank condition explicit in the main theorem and abstract, and to clarify its necessity with supporting arguments.

read point-by-point responses

Referee: [Abstract] Abstract: the embedding D^b(S, Cl_0) ↪ D^b(OGr(k, Q)) is asserted only under an unspecified 'fairly minor condition on the rank of the quadric fibers'. This condition is load-bearing for the central claim; the main theorem (likely the statement in the section introducing the embedding functor) must give its precise formulation (e.g., rank(Q_s) ≥ 2k+2 for all s ∈ S) and prove that it guarantees full faithfulness, for instance by verifying that Hom spaces between the image of the functor and objects supported on lower-rank loci vanish.

Authors: We agree that the condition requires precise formulation. In the revised version, the main theorem will explicitly state that the embedding D^b(S, Cl_0) ↪ D^b(OGr(k, Q)) holds when rank(Q_s) ≥ 2k+2 for all s ∈ S. We will add a proof that this condition implies full faithfulness by verifying the vanishing of Hom spaces between the image of the functor and objects supported on loci of lower rank. revision: yes
Referee: [Main embedding theorem] The paper should clarify whether the rank condition is necessary or merely an artifact of the chosen functor. If the embedding fails without the condition, a brief counterexample or reference to a locus where Hom-spaces do not vanish would strengthen the result; otherwise the statement should be relaxed.

Authors: The condition is necessary for full faithfulness of the embedding functor we construct. Without it, Hom spaces between the image and objects supported on lower-rank loci do not vanish, as follows from the fiberwise analysis of the functor. We will include a brief remark in the revised manuscript referencing this computation to show that the condition is intrinsic rather than an artifact of the choice of functor. revision: yes

Circularity Check

0 steps flagged

No significant circularity; builds on external Kuznetsov theorem via new constructions

full rationale

The paper's derivation begins with a citation to Kuznetsov's external result that D^b(Q) admits an SOD with D^b(S,Cl_0) as a component for flat quadric fibrations. It then states a new fully faithful embedding D^b(S,Cl_0) ↪ D^b(OGr(k,Q)) under an explicit (though minor) rank condition on fibers, and for k=2 applies this to produce an SOD of D^b(OGr(2,Q)) up to a residual category whose computation is performed directly in the smooth case. No equations, definitions, or steps reduce by construction to fitted parameters, self-referential inputs, or load-bearing self-citations; the central claims consist of independent functor constructions and explicit computations that do not presuppose the target results. The rank condition is an assumption required for the embedding statement rather than a derived or circular element.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The claims rest on standard background from derived category theory and one key prior theorem; no free parameters, new entities, or ad-hoc axioms appear in the abstract.

axioms (2)

standard math Standard properties of derived categories of coherent sheaves and semiorthogonal decompositions
Foundational axioms invoked throughout the field.
domain assumption Kuznetsov's theorem on semiorthogonal decompositions for flat quadric fibrations
Directly referenced as the starting point for the generalization.

pith-pipeline@v0.9.0 · 5490 in / 1452 out tokens · 56818 ms · 2026-05-10T14:47:28.953367+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

5 extracted references · 5 canonical work pages

[1]

Spinor sheaves on singular quadrics

[Add11] Nicolas Addington. “Spinor sheaves on singular quadrics”. In:Proc. Amer. Math. Soc.139.11 (2011), pp. 3867–3879.doi:10.1090/S0002-9939-2011-10819-0. [Bel] Pieter Belmans. “geometry.sage: Cohomology computations via the Borel–Weil–Bott theorem”. Private SageMath code. [Bel+25] Pieter Belmans et al. “On decompositions for Fano schemes of intersectio...

work page doi:10.1090/s0002-9939-2011-10819-0 2011
[2]

Fulton and J

Graduate Texts in Mathematics. A first course, Readings in Mathematics. Springer-Verlag, New York, 1991, pp. xvi+551.doi: 10.1007/978-1-4612-0979-9. [Ful97] William Fulton.Young tableaux. Vol

work page doi:10.1007/978-1-4612-0979-9 1991
[3]

The special McKay correspondence and exceptional collections

London Mathematical Society Student Texts. With applications to representation theory and geometry. Cambridge University Press, Cambridge, 1997, pp. x+260. [IU15] Akira Ishii and Kazushi Ueda. “The special McKay correspondence and exceptional collections”. In:Tohoku Math. J. (2)67.4 (2015), pp. 585–609.doi:10.2748/tmj/1450798075. [Kap88] M. M. Kapranov. “...

work page doi:10.2748/tmj/1450798075 1997
[4]

Derived categories of resolutions of cyclic quotient singularities

arXiv:2205.09854 [math.AG]. [KPS18] Andreas Krug, David Ploog, and Pawel Sosna. “Derived categories of resolutions of cyclic quotient singularities”. In:Q. J. Math.69.2 (2018), pp. 509–548.doi:10.1093/qmath/hax048. [KS21] Alexander Kuznetsov and Maxim Smirnov. “Residual categories for (co)adjoint Grassmannians in classical types”. In:Compos. Math.157.6 (2...

work page doi:10.1093/qmath/hax048 2018
[5]

arXiv:2602.07366 [math.AG]. 41

work page arXiv