pith. sign in

arxiv: 2404.12851 · v2 · submitted 2024-04-19 · 🧮 math.AG

A Semi-orthogonal Sequence in the Derived Category of the Hilbert Scheme of Three Points

Erik Nikolov This is my paper

Pith reviewed 2026-05-24 02:29 UTC · model grok-4.3

classification 🧮 math.AG
keywords derived categoriesHilbert schemessemi-orthogonal decompositionsFourier-Mukai transformsGrassmannian bundlesnormal bundlesKummer varietiesplanar subschemes
0
0 comments X

The pith

The bounded derived category of the Hilbert scheme of three points on a variety of dimension at least five contains a semi-orthogonal sequence of length binom(d-3,2) made of copies of the derived category of the variety.

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

This paper establishes that for any smooth projective variety X of dimension d at least 5, the bounded derived category of its Hilbert scheme of three points X^[3] contains a semi-orthogonal sequence whose length is the binomial coefficient binom(d-3,2). Each term in the sequence is equivalent to the derived category of X and arises as the image of a Fourier-Mukai functor coming from a Grassmannian bundle over X that classifies planar subschemes of length three. The proof turns on an explicit calculation of the normal bundle of this Grassmannian bundle inside X^[3], which supplies the vanishing of higher Ext groups and the full faithfulness of each functor. The same construction yields an analogous sequence for generalized Kummer varieties.

Core claim

For a smooth projective variety X of dimension d ≥ 5 over an algebraically closed field k of characteristic zero, the bounded derived category of the Hilbert scheme of three points X^[3] admits a semi-orthogonal sequence of length binom(d-3,2). Each subcategory in this sequence is equivalent to the derived category of X and realized as the image of a Fourier-Mukai transform along a Grassmannian bundle G over X parametrizing planar subschemes in X^[3]. The main ingredient in the proof is the computation of the normal bundle of G in X^[3]. An analogous result for generalized Kummer varieties is deduced at the end.

What carries the argument

The Grassmannian bundle G over X parametrizing planar subschemes inside X^[3], together with the Fourier-Mukai transform it induces; the normal bundle of G inside X^[3] supplies the Ext-vanishing and full-faithfulness needed for the images to form the claimed semi-orthogonal sequence.

If this is right

  • D(X^[3]) contains at least binom(d-3,2) mutually orthogonal copies of D(X) that can be embedded via explicit Fourier-Mukai functors.
  • The same Grassmannian-bundle construction produces a parallel semi-orthogonal sequence inside the derived category of any generalized Kummer variety associated to an abelian variety of dimension at least 5.
  • Any invariant of D(X^[3]) that is additive under semi-orthogonal decompositions can be reduced, in part, to the corresponding invariant of D(X).
  • The length of the sequence grows quadratically with d, giving a concrete lower bound on the number of D(X)-summands that must appear in any full semi-orthogonal decomposition of D(X^[3]).

Where Pith is reading between the lines

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

  • The normal-bundle calculation may adapt directly to Hilbert schemes of n points for n > 3 when the ambient dimension is large enough, producing longer sequences of D(X) summands.
  • Hochschild homology or algebraic K-theory of X^[3] would then contain a direct summand isomorphic to the corresponding group for X, repeated binom(d-3,2) times.
  • The construction suggests a pattern in which the derived category of the Hilbert scheme X^[n] decomposes into summands equivalent to D(X) whose number depends on both n and d in a combinatorial way.

Load-bearing premise

The normal bundle of the Grassmannian bundle inside X^[3] has the precise Chern classes and vanishing properties that force the Fourier-Mukai images to be fully faithful and mutually orthogonal in the required order.

What would settle it

An explicit computation, for some smooth projective X of dimension 5 or 6, showing that the Fourier-Mukai functor along G fails to be fully faithful or that Ext groups between two such images do not vanish.

read the original abstract

For a smooth projective variety $X$ of dimension $d \geq 5$ over an algebraically closed field $k$ of characteristic zero, it is shown in this paper that the bounded derived category of the Hilbert scheme of three points $X^{[3]}$ admits a semi-orthogonal sequence of length $\binom{d-3}{2}$. Each subcategory in this sequence is equivalent to the derived category of $X$ and realized as the image of a Fourier-Mukai transform along a Grassmannian bundle $\mathbb{G}$ over $X$ parametrizing planar subschemes in $X^{[3]}$. The main ingredient in the proof is the computation of the normal bundle of $\mathbb{G}$ in $X^{[3]}$. An analogous result for generalized Kummer varieties is deduced at the end.

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.

Referee Report

1 major / 2 minor

Summary. The paper proves that for a smooth projective variety X of dimension d ≥ 5 over an algebraically closed field of characteristic zero, the bounded derived category D^b(X^[3]) admits a semi-orthogonal sequence of length binom(d-3,2). Each term in the sequence is equivalent to D(X) and arises as the image of a Fourier-Mukai functor whose kernel is supported on a Grassmannian bundle G over X that parametrizes planar subschemes of length three. The central step is an explicit computation of the normal bundle of G inside X^[3], from which the required Ext-vanishing and full faithfulness are deduced. An analogous statement is obtained for generalized Kummer varieties.

Significance. If the normal-bundle computation is verified, the result supplies an explicit geometric construction of a long semi-orthogonal sequence in the derived category of a Hilbert scheme, relating it directly to the derived category of the base variety. Such constructions are useful for studying the structure of D^b of moduli spaces and may interact with existing work on semiorthogonal decompositions of Hilbert schemes and Kummer varieties.

major comments (1)
  1. [Computation of the normal bundle (main technical section)] The abstract states that the normal-bundle computation of the Grassmannian bundle G inside X^[3] is the main ingredient yielding the Ext-vanishing needed for full faithfulness and semi-orthogonality. The manuscript must supply the explicit local computation (or at least the resulting Chern classes or splitting type) together with the verification that the resulting Ext groups between distinct Fourier-Mukai images vanish in the required range; without this verification the central claim remains formally incomplete.
minor comments (2)
  1. [Introduction / Theorem statement] The statement of the length binom(d-3,2) should be accompanied by a brief remark on the range of d for which the Grassmannian bundle is well-defined and the dimension count holds.
  2. Notation for the Grassmannian bundle (denoted G or mathbb{G}) should be made uniform throughout the text and figures.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the detailed report and the specific suggestion regarding the normal-bundle computation. We will revise the manuscript to address this point.

read point-by-point responses

  1. Referee: [Computation of the normal bundle (main technical section)] The abstract states that the normal-bundle computation of the Grassmannian bundle G inside X^[3] is the main ingredient yielding the Ext-vanishing needed for full faithfulness and semi-orthogonality. The manuscript must supply the explicit local computation (or at least the resulting Chern classes or splitting type) together with the verification that the resulting Ext groups between distinct Fourier-Mukai images vanish in the required range; without this verification the central claim remains formally incomplete.

    Authors: We agree that an explicit local computation of the normal bundle (including its splitting type or Chern classes) together with the verification of the required Ext-vanishing is necessary to make the argument complete. The current manuscript outlines the global properties and the strategy but does not contain the full local coordinate calculation or the detailed Ext-group verification between distinct images. In the revised version we will add this material as a dedicated subsection. revision: yes

Circularity Check

0 steps flagged

No significant circularity

full rationale

The derivation proceeds from the explicit geometric computation of the normal bundle of the Grassmannian bundle G inside X^[3], which directly supplies the Ext-vanishing needed for full faithfulness of the Fourier-Mukai functors and for semi-orthogonality of the sequence. This computation is performed under the paper's stated hypotheses (smooth projective X, dim d >=5, char 0) and does not reduce to any input quantity by definition, fitted parameter, or self-citation chain. The length binom(d-3,2) arises from the geometry of the Grassmannian fibers rather than from any renaming or ansatz smuggled via prior work. The argument is therefore self-contained against external geometric benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper relies on standard tools of derived algebraic geometry; no free parameters or new entities are introduced. The central work is the normal-bundle computation.

axioms (2)
  • standard math Standard properties of bounded derived categories of coherent sheaves and Fourier-Mukai transforms on smooth projective varieties
    Used to define D^b(X^[3]), equivalences, and the functors realizing the subcategories.
  • domain assumption Existence of the Grassmannian bundle G over X that parametrizes planar subschemes inside X^[3]
    This geometric object is the source of the Fourier-Mukai kernels.

pith-pipeline@v0.9.0 · 5659 in / 1655 out tokens · 30918 ms · 2026-05-24T02:29:32.617187+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

48 extracted references · 48 canonical work pages · 2 internal anchors

  1. [1]

    K. Akin, D. A. Buchsbaum, J. Weyman, Schur functors and Schur complexes , Advances in Mathematics, Vol. 44, Issue 3 (1982), 207--278. 0.2cm

    work page 1982

  2. [2]

    Michael F. Atiyah, On the Krull-Schmidt theorem with application to sheaves , Bulletin de la Soci \'e t \'e Math \'e matique de France 84 (1956), 307 -- 317, http://www.numdam.org/articles/10.24033/bsmf.1475/. 0.2cm

    work page doi:10.24033/bsmf.1475/ 1956

  3. [3]

    Arbarello, and M

    E. Arbarello, and M. Cornalba, and P.A. Griffiths, Geometry of algebraic curves. V olume II , Grundlehren der mathematischen Wissenschaften 268 (2011), Springer, Heidelberg, https://doi.org/10.1007/978-3-540-69392-5. 0.2cm

    work page doi:10.1007/978-3-540-69392-5 2011

  4. [4]

    Bartocci, and U

    C. Bartocci, and U. Bruzzo, and D. R. Hern\' a ndez, Fourier- M ukai and N ahm transforms in geometry and mathematical physics , Progress in Mathematics 276 (2009), Birkh\" a user Boston, Inc., Boston, MA, https://doi.org/10.1007/b11801. 0.2cm

    work page doi:10.1007/b11801 2009

  5. [5]

    Bertin, The punctual H ilbert scheme: an introduction , Geometric methods in representation theory

    J. Bertin, The punctual H ilbert scheme: an introduction , Geometric methods in representation theory. I , S\' e min. Congr. 24-I (2012), 1--102, Soc. Math. France, Paris. 0.2cm

    work page 2012

  6. [6]

    A. I. Bondal, Representations of associative algebras and coherent sheaves , Izv. Akad. Nauk SSSR Ser. Mat. 53 (1989), 25 -- 44, https://doi.org/10.1070/IM1990v034n01ABEH000583. 0.2cm

    work page doi:10.1070/im1990v034n01abeh000583 1989

  7. [7]

    A. I. Bondal, M. M. Kapranov, Representable functors, S erre functors, and reconstructions , Izv. Akad. Nauk SSSR Ser. Mat. 53 No. 6 (1989), 1183--1205, 1337, https://doi.org/10.1070/IM1990v035n03ABEH000716. 0.2cm

    work page doi:10.1070/im1990v035n03abeh000716 1989

  8. [8]

    Semiorthogonal decomposition for algebraic varieties

    A.I. Bondal, D. Orlov, Semiorthogonal decomposition for algebraic varieties (1995), arXiv: alg-geom/9506012. 0.2cm

    work page internal anchor Pith review Pith/arXiv arXiv 1995

  9. [9]

    Bridgeland, A

    T. Bridgeland, A. King, M. Reid, The M c K ay correspondence as an equivalence of derived categories , J. Amer. Math. Soc. 14 (2001), 535--554, https://doi.org/10.1090/S0894-0347-01-00368-X. 0.2cm

    work page doi:10.1090/s0894-0347-01-00368-x 2001

  10. [10]

    Belmans, L

    P. Belmans, L. Fu, T. Raedschelders, Derived categories of flips and cubic hypersurfaces , Proceedings of the London Mathematical Society. Third Series 125 (2022), 1452--1482, https://doi.org/10.1112/plms.12487. 0.2cm

    work page doi:10.1112/plms.12487 2022

  11. [11]

    Buchweitz, G.J

    R. Buchweitz, G.J. Leuschke and M. Van den Bergh, On the derived category of G rassmannians in arbitrary characteristic Compos. Math. 151, 7 (2015), 1242--1264, https://doi.org/10.1112/S0010437X14008070. 0.2cm

    work page doi:10.1112/s0010437x14008070 2015

  12. [12]

    C a ld a raru, S

    A. C a ld a raru, S. Katz, E. Sharpe, D-branes, B fields, and E xt groups , Adv. Theor. Math. Phys. 7 (2003), 381--404, http://projecteuclid.org/euclid.atmp/1112627372. 0.2cm

    work page arXiv 2003

  13. [13]

    Eisenbud, J

    D. Eisenbud, J. Harris, 3264 and all that---a second course in algebraic geometry , Cambridge University Press, Cambridge (2016), 978-1-107-60272-4, https://doi.org/10.1017/CBO9781139062046. 0.2cm

    work page doi:10.1017/cbo9781139062046 2016

  14. [14]

    Fantechi, L

    B. Fantechi, L. G\" o ttsche, Local properties and H ilbert schemes of points , Fundamental algebraic geometry (2005), Amer. Math. Soc., Providence, RI, 139--178. 0.2cm

    work page 2005

  15. [15]

    Fantechi, L

    B. Fantechi, L. G\" o ttsche, The cohomology ring of the H ilbert scheme of 3 points on a smooth projective variety , J. Reine Angew. Math. 439 (1993), 147--158, https://doi.org/10.1515/crll.1993.439.147. 0.2cm

    work page doi:10.1515/crll.1993.439.147 1993

  16. [16]

    Fulton, Young tableaux - With applications to representation theory and geometry , London Mathematical Society Student Texts 35 (1997), Cambridge University Press, Cambridge

    W. Fulton, Young tableaux - With applications to representation theory and geometry , London Mathematical Society Student Texts 35 (1997), Cambridge University Press, Cambridge. 0.2cm

    work page 1997

  17. [17]

    Fulton, J

    W. Fulton, J. Harris, Representation theory - A First Course , Graduate Texts in Mathematics 129 (1991), Springer-Verlag, New York. 0.2cm

    work page 1991

  18. [18]

    Gelfand, Y

    S.I. Gelfand, Y. I. Manin, Methods of homological algebra , Springer Monographs in Mathematics (2003), Springer-Verlag, Berlin, https://doi.org/10.1007/978-3-662-12492-5. 0.2cm

    work page doi:10.1007/978-3-662-12492-5 2003

  19. [19]

    [2020] 2020 , PAGES =

    U. Görtz, T. Wedhorn, Algebraic geometry I. Schemes -- with examples and exercises , Springer Studium Mathematik -- Master (2020), Springer Spektrum, Wiesbaden, https://doi.org/10.1007/978-3-658-30733-2. 0.2cm

    work page doi:10.1007/978-3-658-30733-2 2020

  20. [20]

    Görtz, T

    U. Görtz, T. Wedhorn, Algebraic Geometry II: Cohomology of Schemes , Springer Studium Mathematik -- Master (2023), Springer Spektrum, Wiesbaden, https://doi.org/10.1007/978-3-658-43031-3. 0.2cm

    work page doi:10.1007/978-3-658-43031-3 2023

  21. [21]

    L. G\" o ttsche, Hilbert schemes of zero-dimensional subschemes of smooth varieties , Lecture Notes in Mathematics 1572 (1994), Springer-Verlag, Berlin, https://doi.org/10.1007/BFb0073491. 0.2cm

    work page doi:10.1007/bfb0073491 1994

  22. [22]

    Grothendieck, Techniques de construction et th\' e or\`emes d'existence en g\' e om\' e trie alg\' e brique

    A. Grothendieck, Techniques de construction et th\' e or\`emes d'existence en g\' e om\' e trie alg\' e brique. IV . L es sch\' e mas de H ilbert , S\' e minaire B ourbaki, V ol. 6, Exp. No. 221 (1995), Soc. Math. France, Paris, 249--276. 0.2cm

    work page 1995

  23. [23]

    Some theorems on locally product Riemann - ian spaces

    A. Grothendieck, Sur quelques points d'alg\`ebre homologique , Tohoku Math. J. (2), Vol. 9 (1957), 119--221, https://doi.org/10.2748/tmj/1178244839. 0.5cm

    work page doi:10.2748/tmj/1178244839 1957

  24. [24]

    Haiman, Hilbert schemes, polygraphs and the M acdonald positivity conjecture , J

    M. Haiman, Hilbert schemes, polygraphs and the M acdonald positivity conjecture , J. Amer. Math. Soc. 14 (2001), 941--1006, https://doi.org/10.1090/S0894-0347-01-00373-3. 0.2cm

    work page doi:10.1090/s0894-0347-01-00373-3 2001

  25. [25]

    Harris, I

    J. Harris, I. Morrison, Moduli of curves , Graduate Texts in Mathematics 187, Springer-Verlag, New York (1998). 0.2cm

    work page 1998

  26. [26]

    Hartshorne, Algebraic geometry , Graduate Texts in Mathematics No

    R. Hartshorne, Algebraic geometry , Graduate Texts in Mathematics No. 52 (1977), Springer-Verlag, New York-Heidelberg. 0.2cm

    work page 1977

  27. [27]

    Hartshorne, Residues and duality , Lecture Notes in Mathematics No

    R. Hartshorne, Residues and duality , Lecture Notes in Mathematics No. 20 (1966), Springer-Verlag, Berlin-New York. 0.2cm

    work page 1966

  28. [28]

    D. Huybrechts, Fourier--Mukai transforms in algebraic geometry , Oxford Mathematical Monographs (2006), The Clarendon Press, Oxford University Press, Oxford, https://doi.org/10.1093/acprof:oso/9780199296866.001.0001. 0.2cm

    work page doi:10.1093/acprof:oso/9780199296866.001.0001 2006

  29. [29]

    Iarrobino, Punctual H ilbert schemes , Bull

    A. Iarrobino, Punctual H ilbert schemes , Bull. Amer. Math. Soc. 78 (1972), 819--823, https://doi.org/10.1090/S0002-9904-1972-13049-0. 0.2cm

    work page doi:10.1090/s0002-9904-1972-13049-0 1972

  30. [30]

    Iarrobino, Punctual H ilbert schemes , Mem

    A. Iarrobino, Punctual H ilbert schemes , Mem. Amer. Math. Soc. 10 (1977), https://doi.org/10.1090/memo/0188. 0.2cm

    work page doi:10.1090/memo/0188 1977

  31. [31]

    Iarrobino, A., Reducibility of the families of 0 -dimensional schemes on a variety , Invent. Math. 15 (1972), 72--77, https://doi.org/10.1007/BF01418644. 0.2cm

    work page doi:10.1007/bf01418644 1972

  32. [32]

    M. M. Kapranov, ON THE DERIVED CATEGORY OF COHERENT SHEAVES ON GRASSMANN MANIFOLDS , Mathematics of the USSR-Izvestiya (1985), 24(1): 183 -- 192, https://doi.org/10.1070/IM1985v024n01ABEH001221. 0.2cm

    work page doi:10.1070/im1985v024n01abeh001221 1985

  33. [33]

    A. Krug, C. Meachan, Universal functors on symmetric quotient stacks of A belian varieties , Selecta Math. (N.S.) 28 (2022), Paper No. 28, 37, https://doi.org/10.1007/s00029-021-00740-4. 0.2cm

    work page doi:10.1007/s00029-021-00740-4 2022

  34. [34]

    Krug, J.V

    A. Krug, J.V. Rennemo, Some ways to reconstruct a sheaf from its tautological image on a Hilbert scheme of points , Math. Nachr. 295 (2022), 158--174, https://doi.org/10.1002/mana.201900351. 0.2cm

    work page doi:10.1002/mana.201900351 2022

  35. [35]

    A. Krug, D. Ploog, P. Sosna, Derived categories of resolutions of cyclic quotient singularities , Q. J. Math. 69 (2018), 509--548, https://doi.org/10.1093/qmath/hax048. 0.2cm

    work page doi:10.1093/qmath/hax048 2018

  36. [36]

    A. G. Kuznetsov, Semiorthogonal decompositions in algebraic geometry (2015), arXiv: 1404.3143. 0.2cm

    work page internal anchor Pith review Pith/arXiv arXiv 2015

  37. [37]

    A. G. Kuznetsov, Homological projective duality , Publ. Math. Inst. Hautes \' E tudes Sci. 105 (2007), 157 --220, https://doi.org/10.1007/s10240-007-0006-8. 0.2cm https://doi.org/10.1007/s10240-007-0006-8

    work page doi:10.1007/s10240-007-0006-8 2007

  38. [38]

    A. G. Kuznetsov, Hyperplane sections and derived categories , Izv. Ross. Akad. Nauk Ser. Mat. 70 (2006), 23--128, https://doi.org/10.1070/IM2006v070n03ABEH002318. 0.2cm

    work page doi:10.1070/im2006v070n03abeh002318 2006

  39. [39]

    A. G. Kuznetsov, Exceptional collections for G rassmannians of isotropic lines , Proc. Lond. Math. Soc. (3) 97 (2008), 155--182, https://doi.org/10.1112/plms/pdm056. 0.2cm

    work page doi:10.1112/plms/pdm056 2008

  40. [40]

    Lange, Universal families of extensions , J

    H. Lange, Universal families of extensions , J. Algebra 83 (1983), 101 -- 112, https://doi.org/10.1016/0021-8693(83)90139-4. 0.2cm

    work page doi:10.1016/0021-8693(83)90139-4 1983

  41. [41]

    Lehn, On the cotangent sheaf of Q uot-schemes , Internat

    M. Lehn, On the cotangent sheaf of Q uot-schemes , Internat. J. Math. 9 (1998), 513--522, https://doi.org/10.1142/S0129167X98000221. 0.2cm

    work page doi:10.1142/s0129167x98000221 1998

  42. [42]

    Nitsure, Construction of Hilbert and Quot schemes , Fundamental algebraic geometry, Math

    N. Nitsure, Construction of Hilbert and Quot schemes , Fundamental algebraic geometry, Math. Surveys Monogr. 123 (2005), 105--137. 0.2cm

    work page 2005

  43. [43]

    Polishchuk, M

    A. Polishchuk, M. Van den Bergh, Semiorthogonal decompositions of the categories of equivariant coherent sheaves for some reflection groups , Journal of the European Mathematical Society 21 (JEMS) (2019), 2653--2749, https://doi.org/10.4171/JEMS/890. 0.2cm

    work page doi:10.4171/jems/890 2019

  44. [44]

    Sernesi, Deformations of algebraic schemes , Grundlehren der mathematischen Wissenschaften 334 (2006), Springer-Verlag, Berlin

    E. Sernesi, Deformations of algebraic schemes , Grundlehren der mathematischen Wissenschaften 334 (2006), Springer-Verlag, Berlin. 0.2cm

    work page 2006

  45. [45]

    M. Shen, C. Vial, The motive of the H ilbert cube X^ [3] , Forum Math. Sigma 4 (2016), Paper No. e30, 55, https://doi.org/10.1017/fms.2016.25. 0.2cm

    work page doi:10.1017/fms.2016.25 2016

  46. [46]

    The Stacks Project Authors , Stacks Project (2018), https://stacks.math.columbia.edu. 0.2cm

    work page 2018

  47. [47]

    Weibel, An Introduction to Homological Algebra Cambridge University Press (1994), [ doi:10.1017/CBO9781139644136 https://doi.org/10.1017/CBO9781139644136]

    C. Weibel, An introduction to homological algebra , Cambridge Studies in Advanced Mathematics 38 (94), Cambridge University Press, Cambridge, https://doi.org/10.1017/CBO9781139644136. 0.2cm

    work page doi:10.1017/cbo9781139644136

  48. [48]

    Cohomology of Vector Bundles and Syzygies

    J. Weyman, Cohomology of vector bundles and syzygies , Cambridge Tracts in Mathematics 149 (2003), Cambridge University Press, Cambridge, https://doi.org/10.1017/CBO9780511546556. 0.2cm scriptsize

    work page doi:10.1017/cbo9780511546556 2003