Pith. sign in

REVIEW 1 major objections 4 minor 55 references

Groups generated by spherical twists on K3 surfaces and full exceptional collections on Fano threefolds

T0 review · 1 major / 4 minor · reviewed 2026-08-11 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read The group generated by spherical twists on a rank-one K3 surface is free, and this forces every full exceptional collection on four Fano threefolds to consist of shifted vector bundles.

desk verdict Strong K3 freeness theorem; the Fano application has a genuine but repairable gap in Lemma 8.4. read the letter →

arxiv 2412.06023 v5 pith:5NIL26OJ submitted 2024-12-08 math.AG

Anya Nordskova , Michel Van den Bergh This is my paper · ORCID
classification math.AG MSC 14J4514J2814F08
keywords K3surfacePicardrank1sphericaltwistexceptionalcollectionFanothreefoldderivedcategorystabilityconditionMukaivector
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

For a complex K3 surface with Picard rank 1, the paper proves that the subgroup of $\mathrm{Aut}\,D^b(Y)$ generated by all spherical twists is free, and it gives an explicit recipe for choosing free generators as spherical twists along vector bundles whose Mukai vectors represent root orbits inside a convex fundamental domain. The same description leads to a classification of spherical objects up to autoequivalence and shift. The paper then applies this to the Fano threefolds $\mathbb{P}^3$, $Q_3$, $V_5$ and $V_{22}$, which are precisely the threefolds admitting a full exceptional collection of four vector bundles. It shows that every full exceptional collection on these threefolds is strong and consists of shifts of vector bundles, and that the braid group acting by mutations and shifts is transitive and free—the first three-dimensional verification of the conjectured transitivity, with freeness added.

What carries the argument

The load-bearing object is the extended Néron-Severi lattice $N(Y)=H^0(Y,\mathbb{Z})\oplus\mathrm{Pic}(Y)\oplus H^4(Y,\mathbb{Z})$ with the Mukai quadratic form; its negative cone $P(N(Y)_{\mathbb{R}})_{<0}$ is identified with the hyperbolic plane $\mathbb{H}$. Spherical twists act on this lattice by reflections at roots, so the group $G$ they generate sits inside the Atkin-Lehner group $\Gamma_0^+(\delta)$ (the extension of the congruence subgroup $\Gamma_0(\delta)$ by Atkin-Lehner involutions), and the full monodromy sits inside the Fricke group $F(\delta)$. The key bridge is the identification, coming from the contractibility of the distinguished component $\mathrm{Stab}^\dagger(Y)$ of the stability manifold and from explicit generators of $\pi_1(P_0^+(Y))$, of the image of $G$ in $\mathrm{Aut}\,D^b(Y)/N$ with the orbifold fundamental group $\pi_1([\mathbb{H}_0/G])$. Because $G$ acts freely on $\mathbb{H}_0$ and $\mathbb{H}_0/G$ is a non-compact contractible Riemann surface, this fundamental group is free; loops around punctures lift to squares of spherical twists, and taking square roots yields the free generators $T_{E_i}$. The Fano step uses Proposition 3.13: the composition of the twists attached to a full exceptional collection is the functor $-\otimes i^*\omega_X[2]$.

What would settle it

Take a generic quartic K3 surface $Y$ and let $S_0,S_1,S_2,S_3$ be the spherical twists along $\mathcal{O}_Y,\mathcal{O}_Y(1),\mathcal{O}_Y(2),\mathcal{O}_Y(3)$. The paper predicts these four elements freely generate the subgroup generated by all spherical twists, so exhibiting any nontrivial reduced word in them that acts as the identity on a test object (or on the Mukai lattice) would disprove Theorem 6.5 for this surface. A similarly direct check is the degree-8 case, where the paper predicts the infinite family $T_{\mathcal{O}_Y(k)}$, $k\in\mathbb{Z}$, is free: finding any relation among these twists would falsify the claim.

Watch

Extended reading notes

Core claim

The central result (Theorem 6.5) is that for a K3 surface $Y$ of Picard rank 1, the subgroup $G \subset \mathrm{Aut}\,D^b(Y)$ generated by all spherical twists is freely generated by the twists $T_{E_i}$ attached to spherical vector bundles $E_i$ whose Mukai vectors $\rho_i$ are orbit representatives, up to sign, for the action of the group of spherical reflections on the roots, with the points $p(\bar{\rho}_i)$ lying in a convex fundamental domain containing infinity. In particular $G$ is a free group, and it is finitely generated exactly under the numerical conditions of Corollary 5.11 on the modular curve $X_0^+(\delta)$. The Fano application (Theorem 8.5 and Corollary 8.6) says that if $X$ is $\mathbb{P}^3$, $Q_3$, $V_5$ or $V_{22}$ and $Y \subset X$ is a generic anticanonical K3 divisor, then the restriction of a full exceptional collection gives four twists that freely generate $G$, the corresponding twists of any full exceptional collection have the same product, and the $B_4 \rtimes \mathbb{Z}^4$ action by mutations and shifts on full exceptional collections is transitive and free; consequently every full exceptional collection is strong and consists of shifts of vector bundles.

Load-bearing premise

The proof assumes the theorem that the distinguished component of the stability space of a rank-one K3 surface is contractible and has the stated fundamental group, and also that a generic anticanonical divisor has Picard rank 1; if either input failed, the free-generation argument would collapse.

Editorial extensions

If this is right

  • Spherical objects on a rank-one K3 surface are classified up to shift and the action of $G$ by their Mukai vector, because $G$-freeness gives each spherical twist a unique normal form and Corollary 3.23 identifies spherical objects modulo $\mathbb{Z}[2]\times G$ with roots modulo $G$.
  • $G$ is finitely generated exactly when the modular curve $X_0^+(\delta)$ has genus zero, one cusp, and at most one exceptional fixed point of the allowed type; examples are degrees 4, 6, 10 and 22, where $G\cong F_4$, and degree 2, where $G\cong F_3$, while degree 8 gives an infinitely generated free group on the twists $T_{\mathcal{O}_Y(k)}$.
  • Every full exceptional collection on $\mathbb{P}^3$, $Q_3$, $V_5$ or $V_{22}$ is strong and consists of shifts of vector bundles, settling the first three-dimensional case of the transitivity conjecture.
  • The braid group action by mutations and shifts on full exceptional collections of these four threefolds is transitive and free, so the stabiliser of a full exceptional collection is trivial up to shift.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • This suggests a general strategy for transitivity of braid group actions: prove that the twists attached to an exceptional collection generate a free group, then apply the Hurwitz-orbit criterion, instead of classifying exceptional objects first.
  • The same stability-space-to-hyperbolic-plane mechanism might yield freeness criteria for spherical twist groups on K3 surfaces beyond Picard rank 1, once a contractibility statement for the distinguished stability component is available.
  • For Fano threefolds whose generic anticanonical K3 section has Picard rank 1 but which do not admit full exceptional collections, such as degree 14, the freeness result still constrains the spherical twists on the section and may give a tool for studying exceptional objects on the threefold itself.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

1 major / 4 minor

Summary. The paper studies the subgroup G of Aut D^b(Y) generated by spherical twists for a K3 surface Y of Picard rank 1. The main structural result (Theorem 6.5) asserts that G is freely generated by spherical twists associated to spherical vector bundles whose Mukai vectors form orbit representatives for the action of the reflection group on the roots, chosen in a convex fundamental domain. The authors also prove (Theorem 7.1) that for generic anticanonical divisors in P3, Q3, V5 and V22 the group is the free group F4 generated by the restrictions of a full exceptional collection, and for a degree-2 double cover it is F3. These results are applied to Fano threefolds with a full exceptional collection of four vector bundles: Theorem 8.5 and Corollary 8.6 establish that every full exceptional collection consists of shifted vector bundles and that the braid group action by mutations and shifts is transitive and free, giving the first three-dimensional verification of the Bondal–Polishchuk conjecture in this setting.

Significance. The paper is substantial and well-organised. The freeness theorem for the spherical-twist group is a strong, new structural result for derived autoequivalence groups of Picard-rank-one K3 surfaces, with an explicit and computable description of generators. The application to Fano threefolds resolves a previously open case of the Bondal–Polishchuk conjecture and includes freeness of the braid action, which is stronger than transitivity. The appendices give independent proofs of known descriptions of the relevant isometry groups, and the paper is careful to cite the deep external input (Bayer–Bridgeland, Kawatani, Moishezon) on which the argument depends. The explicit examples in §7 are a useful feature. The main caveat is a gap in Lemma 8.4 detailed below; it is local and does not appear to affect the core strategy.

major comments (1)
  1. [§8, Lemma 8.4 (and its use in Theorem 8.5)] The proof of Lemma 8.4 does not justify the final application of Theorem 3.18. Theorem 3.18 describes the Hurwitz orbit of a tuple t=(t1,...,tn) whose entries are the free generators themselves. In Lemma 8.4 the entries T_{S(i)} are only assumed to be conjugate to the generators, and the common product p of the two tuples need not equal the product of the corresponding generator tuple. The abelianization argument matches basis indices, but after applying the permutation τ the product equality is lost, and no reduction to the generator-tuple case is provided. Consequently the claimed orbit conclusion does not follow from the cited theorem. This is load-bearing for Theorem 8.5, which invokes Lemma 8.4. The gap is local: in the application the tuple φ(F) is exactly the generator tuple, so Theorem 3.18 can be applied directly to φ(F) and φ(E) once each entry of φ(E) is known to be conjugate to the corresponding generator. The authors should either prove the general statement or restrict Lemma 8.4 to this special case.
minor comments (4)
  1. [Appendix B, Theorem B.8] In the definition of N and \bar N, the second branch again says 'if d ≠ 2'; it should read 'if d = 2'.
  2. [Theorem 6.5 proof] The sentence 'By Lemma it is sufficient to prove the theorem with G replaced by \bar G' is missing the lemma number; it should presumably refer to Lemma 6.4.
  3. [§7.3] The verification that (s0 s1 t)^2 = 1 holds on the level of derived categories is quite terse; a short derivation or a precise reference to the displayed computation would improve readability.
  4. [Abstract] The name 'Polishchuck' should be spelled 'Polishchuk'.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the main theorems are derived from external stability-condition theorems and independent free-group results, not from restated inputs.

full rationale

The derivation chain is: Theorem 3.20 (Bayer–Bridgeland) gives contractibility of Stab†(Y) and the exact sequence (3.6); Theorem 3.21 (Kawatani) identifies π1(P0+(Y)) with Z × ⟨T^2_{E_ρ}⟩; Section 5 converts this into the statement that the reflection group G, and hence the twist group G, is free with generators indexed by root-orbit representatives in a convex fundamental domain (Theorem 6.5); and §7 verifies for the four Fano anticanonical K3 surfaces that the four restriction twists T_{F_i|Y} are exactly such representatives, giving G ≅ F4. Lemma 8.4 and Theorem 8.5 then transfer this freeness to the Hurwitz action on all full exceptional collections, using only the product-independence of twists (Proposition 3.13), Lemma 8.3, and Polishchuk's Theorem 8.1. None of these steps defines the conclusion in terms of itself: the target statements about arbitrary exceptional collections are not used as hypotheses when proving Theorem 6.5 or Theorem 7.1, which rely only on the fixed exceptional collection on X and the external structure theorems. The one load-bearing self-citation, Theorem 3.18 from the authors' preprint [40], is a parameter-free statement about Hurwitz orbits of tuples of free-group generators; it does not assume any K3 or Fano fact, so it constitutes independent support rather than circular input. The skeptical concern about Lemma 8.4, namely that Theorem 3.18 as stated covers tuples whose entries are free generators while Lemma 8.4 applies it to tuples whose entries are only conjugate to generators, is a possible proof gap rather than a circularity, and it is therefore noted here but not scored as circular.

Assumptions & free parameters 0 free parameters · 8 assumptions · 0 invented entities

No fitted parameters, invented entities, or ad hoc axioms beyond the stated external theorems and standard mathematical background. The free choices in the paper (fundamental domain, base point, orbit representatives) are canonical up to isomorphism and do not affect the mathematical content.

assumptions (8)
  • domain assumption Bayer-Bridgeland Theorem 3.20: Stab^†(Y) is contractible for K3 surfaces of Picard rank 1, giving the exact sequence 1 -> Aut0 Db(Y) -> Aut Db(Y) -> Aut+ H*(Y,Z) -> 1.
    Used throughout, e.g., in Theorem 3.20 and Lemma 6.2; not proved in the paper.
  • domain assumption Kawatani Theorem 3.21: pi1(P0+(Y)) is isomorphic to Z times the free group generated by T^2_{E_rho} for all positive roots rho.
    Essential for identifying the kernel of the action and for the explicit generators in Theorem 6.5.
  • domain assumption Bridgeland Theorem 3.19: pi maps Stab^†(Y) onto P0+(Y) as a Galois covering with deck group Aut0 Db(Y).
    Used in the identification of the exact sequence (3.6).
  • domain assumption Huybrechts-Macri-Stellari: Aut+ H*(Y,Z) is the image of Aut Db(Y) -> Aut H*(Y,Z).
    Used to define the exact sequence (3.6) and the quotient N.
  • domain assumption Moishezon's theorem: a generic anticanonical divisor in a Fano threefold has Picard rank 1.
    Ensures the K3 surface Y has Picard rank 1 in the applications in Section 7.
  • domain assumption Classification of Fano threefolds with a full exceptional collection of four vector bundles (Lemma 3.5): only P3, Q3, V5, and V22.
    Used to identify the four threefolds to which the main application applies.
  • domain assumption Polishchuk's Theorem 8.1: exceptional vector bundles on such Fano threefolds with the same K0 class and vanishing Ext1 are isomorphic.
    Used at the end of the proof of Theorem 8.5 to get equality of objects, not just of spherical twists.
  • domain assumption Nordskova-Van den Bergh Theorem 3.18 ([40]): description of the Hurwitz action on free groups; used in Lemma 8.4.
    This is the authors' own prior result, but it is a statement about braid groups and free groups, independent of the K3/Fano context.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Groups generated by spherical twists on K3 surfaces and full exceptional collections on Fano threefolds." pith.science (2026). https://pith.science/paper/5NIL26OJ

@misc{pith2026241206023,
  author       = {Pith},
  title        = {Pith review of: Groups generated by spherical twists on K3 surfaces and full exceptional collections on Fano threefolds},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/5NIL26OJ}},
  note         = {Machine review of arXiv:2412.06023}
}
read the original abstract

Let Y be a smooth K3 surface of Picard rank 1. We prove that the subgroup G of Aut D^b(Y) generated by spherical twists with respect to all spherical objects is free. Moreover, we provide a precise recipe to find free generators of G and determine the cases when G is finitely generated, depending on the degree of Y. This description in particular yields a precise classification of spherical objects in Aut D^b(Y). We apply these results to verify the first three-dimensional case of a conjecture due to Bondal and Polishchuck, namely, we establish the transitivity of the braid group action on full exceptional collections for Fano threefolds of Picard rank 1.

Figures

Figures reproduced from arXiv: 2412.06023 by the authors.

Figure 1
Figure 1. A fundamental domain for G ⊂ Γ + 0 (2) containing √ i 2 , 1 + √ i 2 , 2 + √ i 2 and 3 + √ i 2 . the following full exceptional collection of vector bundles on Q3: F = (O, S ∗ , O(1), O(2)), where S is the spinor bundle. The quadratic form corresponding to the Mukai pair￾ing on N (Y ) is q(r, l, s) = 3l 2−rs. The spherical vector bundles on Y corresponding to the objects of F have the following classes in N (Y ): v(O… view at source ↗
Figure 2
Figure 2. A fundamental domain for G ⊂ Γ + 0 (3) containing √ i 3 , 1 2 + i 2 √ 3 , 1 + √ i 3 and 2 + √ i 3 . 7.3. Y ⊂ V5 (degree 10). Let X be a section of the Pl¨ucker embedding of Gr(2, 5) by a subspace of codimension 3. X is a Fano variety of type V5 and a smooth anticanonical divisor Y ⊂ X is a K3 surface of degree 10. We consider a full exceptional collection on X constructed by Orlov in [42], namely, F = (O, QX, U ∗ X,… view at source ↗
Figure 3
Figure 3. A fundamental domain for G ⊆ Γ + 0 (5) containing −1 2 + i 2 √ 5 , √ i 5 , 1 2 + i 2 √ 5 and 1 + √ i 5 . 7.4. Y ⊂ V22 (degree 22). Let X be the zero locus of (Λ2U ∗ ) ⊕3 in Gr(3, 7), where U denotes the universal bundle. X a Fano variety of type V22 and a smooth anti￾canonical divisor Y ⊂ X is a K3 surface of degree 22. A full exceptional collection of vector bundles on X was constructed by Kuznetsov in [33] (see [3… view at source ↗
Figures from the paper (3 more)
Figure 4
Figure 4. Figure 4: A fundamental domain for G = Γ+ 0 (11) containing −1 3 + i 3 √ 11 , √ i 11 , 1 3 + i 3 √ 11 , and 1 2 + i 2 √ 11 [PITH_FULL_IMAGE:figures/full_fig_p039_4.png]
Figure 7
Figure 7. Figure 7: shows a fundamental domain for [PITH_FULL_IMAGE:figures/full_fig_p040_7.png]
Figure 6
Figure 6. Figure 6: A fundamental domain for G ⊂ Γ + 0 (4) containing the fixed points {k + i 2 }k∈Z Remark 7.2. In other examples considered in this section the associated Fano variety had a full exceptional collection. This is not the case for a complete intersection X of 3 quadrics in …

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

55 extracted references · 52 canonical work pages

  1. [1]

    Rina Anno and Timothy Logvinenko, Spherical DG-functors, J. Eur. Math. Soc. (JEMS) 19 (2017), no. 9, 2577–2656

    work page 2017

  2. [2]

    Federico Barbacovi, On the composition of two spherical twists , Int. Math. Res. Not. IMRN (2023), no. 20, 17270–17323

    work page 2023

  3. [3]

    Federico Barbacovi and Kohei Kikuta, Spherical twists, relations and the center of autoequiv- alence groups of k3 surfaces , arXiv e-prints (2022)

    work page 2022

  4. [4]

    Arend Bayer and Tom Bridgeland, Derived automorphism groups of K3 surfaces of Picard rank 1, Duke Math. J. 166 (2017), no. 1, 75–124

    work page 2017

  5. [5]

    Bayer and A

    P. Bayer and A. Travesa, Uniformization of triangle modular curves , Publ. Mat. (2007), 43– 106

    work page 2007

  6. [6]

    A. A. Beilinson, Coherent sheaves on Pn and problems in linear algebra , Funktsional. Anal. i Prilozhen. 12 (1978), no. 3, 68–69

    work page 1978

  7. [7]

    Pieter Belmans, Fanography, 2024

    work page 2024

  8. [8]

    Bondal and D

    A. Bondal and D. Orlov, Derived categories of coherent sheaves , Proceedings of the Interna- tional Congress of Mathematicians, Vol. II (Beijing, 2002), Higher Ed. Press, Beijing, 2002, pp. 47–56. 54 ANYA NORDSKOV A AND MICHEL V AN DEN BERGH

    work page 2002

Show all 55 references
  1. [9]

    Alexey Bondal, Representations of associative algebras and coherent sheaves, Izv. Akad. Nauk SSSR Ser. Mat. 53 (1989), no. 1, 25–44

    1989

  2. [10]

    Alexey Bondal and Mikhail Kapranov, Framed triangulated categories, Mat. Sb. 181 (1990), no. 5, 669–683

    1990

  3. [11]

    Alexey Bondal and Alexander Polishchuk, Homological properties of associative algebras: the method of helices , Izv. Ross. Akad. Nauk Ser. Mat. 57 (1993), no. 2, 3–50

    1993

  4. [12]

    Tom Bridgeland, Stability conditions on triangulated categories, Ann. of Math. (2) 166 (2007), no. 2, 317–345

    2007

  5. [13]

    , Stability conditions on K3 surfaces, Duke Math. J. 141 (2008), no. 2, 241–291

    2008

  6. [14]

    Karp, Derived autoequivalences and a weighted Beilinson resolution, J

    Alberto Canonaco and Robert L. Karp, Derived autoequivalences and a weighted Beilinson resolution, J. Geom. Phys. 58 (2008), no. 6, 743–760. MR 2424051

    2008

  7. [15]

    Wen Chang, Fabian Haiden, and Sibylle Schroll, Braid group actions on branched coverings and full exceptional sequences , preprint, arXiv:2301.04398 (2023)

    2023 arXiv

  8. [16]

    Kok Seng Chua and Mong Lung Lang, Congruence subgroups associated to the monster , Ex- periment. Math. 13 (2004), no. 3, 343–360

    2004

  9. [17]

    148, American Mathematical Society, Providence, RI, 2008

    Patrick Dehornoy, Ivan Dynnikov, Dale Rolfsen, and Bert Wiest, Ordering braids , Mathe- matical Surveys and Monographs, vol. 148, American Mathematical Society, Providence, RI, 2008

    2008

  10. [18]

    I. V. Dolgachev, Mirror symmetry for lattice polarized K3 surfaces, vol. 81, 1996, Algebraic geometry, 4, pp. 2599–2630. MR 1420220

    1996

  11. [19]

    Yu-Wei Fan and Kuan-Wen Lai, Nielsen realization problem for derived automorphisms of generic k3 surfaces , arXiv e-prints (2023)

    2023

  12. [20]

    H. M. Farkas and I. Kra, Riemann surfaces , second ed., Graduate Texts in Mathematics, vol. 71, Springer-Verlag, New York, 1992

    1992

  13. [21]

    Huybrechts, Fourier-Mukai transforms in algebraic geometry, Oxford Mathematical Mono- graphs, The Clarendon Press, Oxford University Press, Oxford, 2006

    D. Huybrechts, Fourier-Mukai transforms in algebraic geometry, Oxford Mathematical Mono- graphs, The Clarendon Press, Oxford University Press, Oxford, 2006

    2006

  14. [22]

    158, Cambridge University Press, Cambridge, 2016

    Daniel Huybrechts, Lectures on K3 surfaces , Cambridge Studies in Advanced Mathematics, vol. 158, Cambridge University Press, Cambridge, 2016

    2016

  15. [23]

    Daniel Huybrechts, Emanuele Macr ` ı, and Paolo Stellari,Derived equivalences of K3 surfaces and orientation , Duke Math. J. 149 (2009), no. 3, 461–507

    2009

  16. [24]

    Akira Ishii, Shinnosuke Okawa, and Hokuto Uehara, Exceptional collections on Σ2, preprint, arXiv:2107.03051 (2021)

    2021 arXiv

  17. [25]

    Differential Geom

    Akira Ishii and Hokuto Uehara, Autoequivalences of derived categories on the minimal reso- lutions of An-singularities on surfaces , J. Differential Geom. 71 (2005), no. 3, 385–435

    2005

  18. [26]

    V. A. Iskovskikh and Yu. ˜G. Prokhorov, Fano varieties, Algebraic geometry, V, Encyclopaedia Math. Sci., vol. 47, Springer, Berlin, 1999, pp. 1–247

    1999

  19. [27]

    M. M. Kapranov, On the derived categories of coherent sheaves on some homogeneous spaces , Invent. Math. 92 (1988), no. 3, 479–508

    1988

  20. [28]

    Karrass and D

    A. Karrass and D. Solitar, On free products, Proc. Amer. Math. Soc. 9 (1958), 217–221. FULL EXCEPTIONAL COLLECTIONS ON F ANO THREEFOLDS 55

    1958

  21. [29]

    Svetlana Katok, Fuchsian groups, Chicago Lectures in Mathematics, University of Chicago Press, Chicago, IL, 1992

    1992

  22. [30]

    Algebra 417 (2014), 103–115

    Kotaro Kawatani, Fourier-Mukai transformations on K3 surfaces with ρ = 1 and Atkin-Lehner involutions, J. Algebra 417 (2014), 103–115. MR 3244640

    2014

  23. [31]

    , A hyperbolic metric and stability conditions on K3 surfaces with ρ = 1, Comm. Anal. Geom. 27 (2019), no. 6, 1325–1354

    2019

  24. [32]

    S. A. Kuleshov and D. O. Orlov, Exceptional sheaves on Del Pezzo surfaces , Izv. Ross. Akad. Nauk Ser. Mat. 58 (1994), no. 3, 53–87

    1994

  25. [33]

    A. G. Kuznetsov, An exceptional set of vector bundles on the varieties V22 (in Russian) , Vestnik Moskov. Univ. Ser. I Mat. Mekh. (1996), no. 3, 41–44, 92

    1996

  26. [34]

    Alexander Kuznetsov, Fano threefolds V22, Preprint MPIM1997–24 (1997)

    1997

  27. [35]

    , Derived categories of Fano threefolds , Tr. Mat. Inst. Steklova 264 (2009), 116–128. MR 2590842

    2009

  28. [36]

    , Hochschild homology and semiorthogonal decompositions , arXiv e-prints (2009)

    2009

  29. [37]

    Colin Maclachlan, Groups of units of zero ternary quadratic forms , Proc. Roy. Soc. Edinburgh Sect. A 88 (1981), no. 1-2, 141–157

    1981

  30. [38]

    B. G. Moishezon, Algebraic homology classes on algebraic varieties , Izv. Akad. Nauk SSSR Ser. Mat. 31 (1967), 225–268

    1967

  31. [39]

    Mukai, On the moduli space of bundles on K3 surfaces

    S. Mukai, On the moduli space of bundles on K3 surfaces. I , Vector bundles on algebraic varieties (Bombay, 1984), Tata Inst. Fund. Res. Stud. Math., vol. 11, Tata Inst. Fund. Res., Bombay, 1987, pp. 341–413

    1984

  32. [40]

    Anya Nordskova and Michel Van den Bergh, Subgroups of braid groups generated by Birman- Ko-Lee generators, preprint, arXiv:2410.13544 (2024)

    2024

  33. [41]

    Ogg, Automorphismes de courbes modulaires, S´ eminaire Delange-Pisot-Poitou (16e ann´ ee: 1974/75), Th´ eorie des nombres, Fasc

    Andrew P. Ogg, Automorphismes de courbes modulaires, S´ eminaire Delange-Pisot-Poitou (16e ann´ ee: 1974/75), Th´ eorie des nombres, Fasc. 1, Secr´ etariat Math., Paris, 1975, pp. Exp. No. 7, 8

    1974

  34. [42]

    D. O. Orlov, Exceptional set of vector bundles on the variety V5 (in Russian), Vestnik Moskov. Univ. Ser. I Mat. Mekh. (1991), no. 5, 69–71

    1991

  35. [43]

    Orlov, Equivalences of derived categories and K3 surfaces, J

    Dmitri O. Orlov, Equivalences of derived categories and K3 surfaces, J. Math. Sci. (New York) 84 (1997), no. 5, 1361–1381, Algebraic geometry, 7

    1997

  36. [44]

    Alexander Polishchuk, Simple helices on Fano threefolds, Canad. Math. Bull. 54 (2011), no. 3, 520–526

    2011

  37. [45]

    Leonid Positselski, All strictly exceptional collections in Db(Pm) consist of vector bundles , preprint, arvix:9507014 (1995)

    1995

  38. [46]

    A. N. Rudakov, Exceptional vector bundles on a quadric , Izv. Akad. Nauk SSSR Ser. Mat. 52 (1988), no. 4, 788–812, 896

    1988

  39. [47]

    , Markov numbers and exceptional bundles on P2, Izv. Akad. Nauk SSSR Ser. Mat. 52 (1988), no. 1, 100–112, 240. 56 ANYA NORDSKOV A AND MICHEL V AN DEN BERGH

    1988

  40. [48]

    London Math

    Peter Scott, The geometries of 3-manifolds, Bull. London Math. Soc. 15 (1983), no. 5, 401– 487

    1983

  41. [49]

    Paul Seidel and Richard Thomas, Braid group actions on derived categories of coherent sheaves, Duke Math. J. 108 (2001), no. 1, 37–108

    2001

  42. [50]

    Caroline Series, Hyperbolic geometry, MA 448 , http://homepages.warwick.ac.uk/~masbb/ Papers/MA448.pdf, 2010

    2010

  43. [51]

    Junichi Shigezumi, On the zeros of certain modular functions for the normalizers of congruence subgroups of low levels I , arXiv e-prints (2008)

    2008

  44. [52]

    72, Springer-Verlag, New York, 1993

    John Stillwell, Classical topology and combinatorial group theory , second ed., Graduate Texts in Mathematics, vol. 72, Springer-Verlag, New York, 1993

    1993

  45. [53]

    Yuriko Umemoto, On Dirichlet fundamental domains for Fuchsian groups , http:// yurikoumemoto.web.fc2.com/fuchsian-group.pdf

  46. [54]

    10, Soci´ et´ e Math´ ematique de France, Paris, 2002

    Claire Voisin, Th´ eorie de Hodge et g´ eom´ etrie alg´ ebrique complexe, Cours Sp´ ecialis´ es [Special- ized Courses], vol. 10, Soci´ et´ e Math´ ematique de France, Paris, 2002

    2002

  47. [55]

    3, 225–247

    Kota Yoshioka, Moduli spaces of vector bundles on algebraic surfaces, S¯ ugaku56 (2004), no. 3, 225–247. (Anya Nordskova and Michel Van den Bergh)V akgroep Wiskunde, Universiteit Hasselt, Universitaire Campus, B-3590 Diepenbeek Email address : anya.nordskova@uhasselt.be Email ...

    2004

Pith tools

Reviewed August 11, 2026 · model on record in the stance chip above.