Pith. sign in

REVIEW 1 major objections 4 minor 20 references

Proper moduli spaces of orthosymplectic complexes

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

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

Pith's one-line read The paper proves that, for a smooth projective complex variety and a self-dual Bridgeland stability condition, every moduli stack of semistable orthosymplectic complexes with a fixed Chern character has a proper good moduli space.

desk verdict Useful short paper: a general fixed-loci result applied to get proper moduli spaces for orthosymplectic complexes; the main proof is sound but one GIT step in Lemma 3.2 is skated over. read the letter →

arxiv 2512.24275 v4 pith:XH2ZXZJK submitted 2025-12-30 math.AG

Chenjing Bu This is my paper · ORCID
classification math.AG MSC 14D2014D2314L24
keywords orthosymplecticcomplexesgoodmodulispacesBridgelandstabilityconditionsfixedlociofgroupactionsmappingstacksprincipalbundlesself-dualderivedcategories
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

This paper tries to establish that moduli of orthosymplectic complexes—complexes of coherent sheaves equipped with a self-duality isomorphism—admit proper moduli spaces, thereby compactifying moduli spaces of orthogonal and symplectic principal bundles on higher-dimensional varieties. The proof reduces the problem to a general statement: if an algebraic stack has a proper good moduli space, then so do its fixed loci under finite group actions and the mapping stacks from finite groupoids into it. Since the stack of semistable orthosymplectic complexes is the Z/2-fixed locus of the derived dual action on the stack of semistable complexes, and the latter is known to admit proper good moduli spaces, the result follows. A notable feature is that compactness survives taking fixed-point stacks, which is not a formal consequence of the definition and requires an extension argument over discrete valuation rings.

What carries the argument

The machinery is the derived self-duality functor D = RHom(I^*(-), L)[s] with D^2 ≃ id, which induces a Z/2-action on the stack of semistable complexes; the orthosymplectic stack is the fixed locus of this action. The carrying tool is a general theorem that transfers the existence of a proper good moduli space from a stack to its finite-group fixed loci and mapping stacks from finite groupoids, proved via a valuation-extension argument through an auxiliary stabilizer scheme.

What would settle it

Compute the semistable locus of the stabilizer scheme Stab^Γ_{GL_N}(X) under the pulled-back linearization for a non-cyclic group such as Γ = Z/2 × Z/2, and find a point that becomes semistable on X but not on the original open subscheme U; this would invalidate Lemma 3.2 and hence Theorem 3.1 and Theorem 4.4.

Watch

Extended reading notes

Core claim

The central discovery is that the moduli problem for self-dual complexes is tractable precisely because it is a fixed locus of a finite group action on a moduli stack whose moduli spaces are already known to be compact. For a smooth projective complex variety and a self-dual stability condition on its derived category with rational central charge satisfying generic flatness and boundedness, the stack of semistable orthosymplectic complexes of a fixed self-dual Chern character with positive central charge admits a proper good moduli space. Consequently, every connected component of the semistable self-dual stack is compact in this sense, giving a candidate compactification of moduli of orthog

Load-bearing premise

The proof leans on an unverified geometric statement about which orbits are semistable in an auxiliary construction; if that statement is false for some non-cyclic finite group, the key extension lemma and the main theorem do not follow as written.

Editorial extensions

If this is right

  • Every connected component of the stack of semistable self-dual complexes has a proper good moduli space, giving a compact moduli space for each fixed Chern character.
  • On K3 and abelian surfaces, the moduli space carries a Poisson structure that becomes symplectic on the stable locus.
  • The statement holds for any self-dual stability condition in the same connected component as one satisfying the rationality, generic flatness, and boundedness hypotheses, so the moduli spaces are independent of the particular choice of stability condition.
  • The auxiliary theorem is a standalone result: fixed loci of finite group actions and mapping stacks from finite groupoids into a stack with a proper good moduli space again have proper good moduli spaces, finite over the original.

Reading between the lines

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

  • The fixed-locus mechanism is generic: any moduli problem realized as a Γ-fixed locus of a stack with proper good moduli spaces inherits properness, so the same strategy could compactify moduli for other groups with self-duality structures.
  • The local model via self-dual quivers suggests the singularities of these spaces can be studied by explicit linear algebra, opening a path to checking whether the symplectic singularities and resolutions known for sheaves on K3 surfaces also appear here.
  • A possible test is to compute the boundary strata for a high-rank example on a K3 surface of Picard rank one, to see whether strictly semistable points genuinely extend the stable locus and how the resulting compact space compares with other proposed compactifications.
Share X Bluesky LinkedIn Reddit HN

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 constructs proper good moduli spaces for moduli stacks of Bridgeland semistable orthosymplectic complexes on smooth projective complex varieties. The main result, Theorem 4.4, states that for self-dual stability data and any D-invariant Chern character with positive real central charge, the stack of semistable self-dual complexes admits a proper good moduli space. The proof combines Alper–Halpern-Leistner–Heinloth's proper good moduli spaces for semistable complexes with a general theorem, Theorem 3.1, asserting that mapping stacks Map(BΓ,X) and fixed loci X^Γ of stacks with good moduli spaces admit good moduli spaces finite over the original good moduli space. The key local input is Lemma 3.2, a DVR-extension lemma for finite group actions, whose cyclic case is used in the main application Γ=Z/2.

Significance. If completed, the paper would offer a natural moduli-theoretic compactification of moduli spaces of orthogonal and symplectic principal bundles in dimension at least two, complementing the principal ρ-sheaf approach. The general Theorem 3.1 on mapping stacks from finite groups and fixed loci is potentially useful beyond the present application. The paper is clearly written and the main line of argument is transparent: Theorem 4.4 follows from AHLH's theorem once Theorem 3.1 is available, and the cyclic case of Lemma 3.2 suffices for the orthosymplectic application. The main weakness is an unproved GIT assertion in the non-cyclic part of Lemma 3.2, which leaves Theorem 3.1 as stated incomplete but does not endanger Theorem 4.4.

major comments (1)
  1. [§3.2, Lemma 3.2] The proof of Lemma 3.2 for non-cyclic Γ is incomplete. The 'second modification' asserts that for Stab^Γ_GL_N(X) with the linearization pulled back from X, the GIT semistable locus is exactly Stab^Γ_GL_N(U). This is not a formal consequence of [2, Prop. 5.11]: for a closed GL_N-invariant subscheme Y of a GL_N-linearized projective scheme, Y^ss(L|_Y) can be larger than Y∩Z^ss(L) (e.g. a fixed point in Y can be semistable in Y but unstable in Z). The coordinates ρ(γ) give invariant sections of the pulled-back line bundle extra freedom to be nonzero at points with x∉U, so semistability is not determined by x alone. Consequently the asserted properness of Stab^Γ_GL_N(U)//GL_N → U//GL_N × GL_N^Γ//GL_N is not established, and the DVR-extension argument for arbitrary Γ has a gap; the footnote does not address this. Since the main application uses Γ=Z/2, which is cyclic and covered by the first
minor comments (4)
  1. [§4.3, proof of Theorem 4.4] The application of Theorem 3.1 requires X^ss(0;τ) to have a good moduli space with separated quotient. Please state explicitly that X^ss(0;τ)=∐_α X^ss_α(τ) and that the disjoint union of the X_α is the relevant good moduli space; this follows from the cited AHLH results but is not written down.
  2. [§3.2, proof of Lemma 3.2] In the lattice argument, 'V⊗_R K≃V' should refer to V_R⊗_R K; as written V is a K-vector space.
  3. [§2.4] Please make left/right action conventions consistent: H is first described with a right G-action after left actions are used elsewhere in the paper.
  4. [§4.2] The notation H^{2•}(X;Q) should be H^{2*}(X;Q) or defined explicitly.

Circularity Check

0 steps flagged · score 2.0 of 10

No meaningful circularity: the properness of orthosymplectic moduli spaces is derived from the external AHLH existence theorem and Alper's good moduli theory; self-citations to [7] are definitional and expository only.

full rationale

The main derivation is not circular. Theorem 4.4 applies Theorem 3.1 to the Z/2-fixed locus X^{sd,ss}(τ) of the moduli stack X^{ss}(0;τ), whose proper good moduli spaces are quoted from the external paper Alper–Halpern-Leistner–Heinloth [2, Lemma 7.20, Examples 7.26 and 7.29]. Theorem 3.1 itself is proved from Alper's good moduli space theory and from Lemma 3.2, which generalizes AHLH's Theorem 5.3(1). None of these steps uses the target theorem as an input. The self-citations to the author's prior work [7] occur only in definitions and examples: the notion of orthosymplectic complexes is recalled from [7, §6.2], the Z/2-action example refers to [7, Example 2.2.6], the shifted-symplectic enhancement is quoted from [7, §6.2], and examples of stability conditions are cited from [7, Example 6.2.5]. None of these self-citations supplies a load-bearing existence, uniqueness, or forced-choice statement. The weakest point is Lemma 3.2's unproved GIT assertion for non-cyclic Γ, where the paper states: 'The stability condition on Stab^Γ_{GL_N}(X) is given by the pullback of a line bundle on X as in the original proof, so the semistable locus is Stab^Γ_{GL_N}(U).' This is a genuine proof gap and a correctness risk, but it is not circular: it is an unverified auxiliary GIT claim, not an assumption of the theorem being proved. Therefore the circularity score is low, reflecting only the definitional self-citations.

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

The central claim rests on external theorems (AHLH existence, Alper good moduli theory) and on the assumption that a suitable self-dual Bridgeland stability condition exists. No free parameters or invented entities are introduced.

assumptions (4)
  • domain assumption A self-dual Bridgeland stability condition τ on X with rational central charge satisfying generic flatness and boundedness exists (for the relevant X).
    Hypothesis of Theorem 4.4; examples are cited from the author's [7, Ex. 6.2.5] for curves, surfaces, and threefolds.
  • standard math The stack X^ss(0;τ) of slope-0 semistable objects has affine diagonal, and each X^ss_α(0;τ) admits a proper good moduli space.
    External theorem from AHLH [2, Lemma 7.20, Examples 7.26, 7.29]; load-bearing input for Theorem 4.4.
  • standard math Good moduli space theory: affine morphisms to a stack with good moduli yield good moduli (Alper Lemma 4.14); good moduli morphisms are universally closed and surjective (Alper Theorem 4.16).
    Used in the proof of Theorem 3.1.
  • standard math AHLH Theorem 5.3(1) and Proposition 5.11 (existence of R-point extensions for cyclic group actions) hold as stated, and are proved in [2] for all discrete valuation rings, not only those essentially of finite type.
    Used in the proof of Lemma 3.2; the paper relies on the proof in [2] for the general finite-group case.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Proper moduli spaces of orthosymplectic complexes." pith.science (2026). https://pith.science/paper/XH2ZXZJK

@misc{pith2026251224275,
  author       = {Pith},
  title        = {Pith review of: Proper moduli spaces of orthosymplectic complexes},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/XH2ZXZJK}},
  note         = {Machine review of arXiv:2512.24275}
}
read the original abstract

We construct proper good moduli spaces for moduli stacks of Bridgeland semistable orthosymplectic complexes on a complex smooth projective variety, which we propose as a candidate for compactifying moduli spaces of principal bundles for the orthogonal and symplectic groups. We also prove some results on good moduli spaces of fixed point stacks and mapping stacks from finite groupoids.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

20 extracted references · 13 linked inside Pith

  1. [7]

    2025), arXiv:2503 .20667v1

    Bu, C.,Orthosymplectic Donaldson–Thomas theory, preprint v1 (26 Mar. 2025), arXiv:2503 .20667v1

    2025

  2. [1]

    Alper, J.,Good moduli spaces for Artin stacks, Ann. Inst. Fourier, 63/6 (2013), 2349–2402. doi: 10.5802/aif.2833, arXiv:0804.2242

    arXiv 2013

  3. [2]

    Alper, J., Halpern-Leistner, D., and Heinloth, J.,Existence of moduli spaces for algebraic stacks, Invent. Math. 234/3 (2023), 949–1038. doi:10.1007/s00222-023-01214-4, arXiv:1812.01128

    arXiv 2023

  4. [3]

    I: Bogomo- lov–Gieseker type inequalities, J

    Bayer, A., Macrì, E., and Toda, Y.,Bridgeland stability conditions on threefolds. I: Bogomo- lov–Gieseker type inequalities, J. Algebr. Geom. 23/1 (2014), 117–163. doi:10.1090/S1056-3911 -2013-00617-7, arXiv:1103.5010

    arXiv 2014

  5. [4]

    Beauville, A.,Symplectic singularities, Invent. Math. 139/3 (2000), 541–549. doi:10 . 1007 / s002229900043, arXiv:math/9903070. 8

    arXiv 2000

  6. [5]

    Bridgeland, T.,Stability conditions on triangulated categories, Ann. Math. 166/2 (2007), 317–345. doi:10.4007/annals.2007.166.317, arXiv:math/0212237

    arXiv 2007

  7. [6]

    Brion, M.,Homomorphisms of algebraic groups: representability and rigidity, Mich. Math. J. 72 (2022), 51–76. doi:10.1307/mmj/20217214, arXiv:2101.12460

    arXiv 2022

  8. [8]

    Derksen, H., and Weyman, J.,Generalized quivers associated to reductive groups, Colloq. Math. 94/2 (2002), 151–173. doi:10.4064/cm94-2-1

    doi:10.4064/cm94-2-1 2002

Show all 20 references
  1. [9]

    Gómez, T., and Sols, I.,Moduli space of principal sheaves over projective varieties, Ann. Math. 161/ 2 (2005), 1037–1092. doi:10.4007/annals.2005.161.1037, arXiv:math/0206277

    2005 arXiv

  2. [10]

    L., Herrero, A

    Gómez, T. L., Herrero, A. F., and Zamora, A.,The moduli stack of principal𝜌-sheaves and Gieseker–Harder–Narasimhan filtrations, Math. Z. 307/3 (2024), 51. doi:10.1007/s00209-024 -03497-6, arXiv:2107.03918

    2024 arXiv

  3. [11]

    2022), arXiv:1411.0627v5

    Halpern-Leistner, D.,On the structure of instability in moduli theory, preprint v5 (4 Feb. 2022), arXiv:1411.0627v5

    2022 arXiv

  4. [12]

    B., Lehn, M., and Sorger, C.,Singular symplectic moduli spaces, Invent

    Kaledin, D. B., Lehn, M., and Sorger, C.,Singular symplectic moduli spaces, Invent. Math. 164/3 (2006), 591–614. doi:10.1007/s00222-005-0484-6, arXiv:math/0504202

    2006 arXiv

  5. [13]

    G.,Desingularized moduli spaces of sheaves on a𝐾3, J

    O’Grady, K. G.,Desingularized moduli spaces of sheaves on a𝐾3, J. Reine Angew. Math. 512 (1999), 49–117. doi:10.1515/crll.1999.056, arXiv:alg-geom/9708009

    1999 arXiv

  6. [14]

    Olsson, M.,Algebraic spaces and stacks(Colloq. Publ. 62; Am. Math. Soc., 2016)

    2016

  7. [15]

    Math., Inst

    Pantev, T., Toën, B., Vaquié, M., and Vezzosi, G.,Shifted symplectic structures, Publ. Math., Inst. Hautes Étud. Sci. 117 (2013), 271–328. doi:10.1007/s10240-013-0054-1, arXiv:1111.3209

    2013 arXiv

  8. [16]

    Perego, A., and Rapagnetta, A.,Irreducible symplectic varieties from moduli spaces of sheaves on K3 and Abelian surfaces, Algebr. Geom. 10/3 (2023), 348–393. doi:10.14231/ag-2023-012, arXiv: 1802.01182

    2023 arXiv

  9. [17]

    Reine Angew

    Piyaratne, D., and Toda, Y.,Moduli of Bridgeland semistable objects on3-folds and Donald- son–Thomas invariants, J. Reine Angew. Math. 747 (2019), 175–219. doi:10.1515/crelle-2016 -0006, arXiv:1504.01177

    2019 arXiv

  10. [18]

    Ramanathan, A.,Moduli for principal bundles over algebraic curves. I, Proc. Indian Acad. Sci., Math. Sci. 106/3 (1996), 301–328. doi:10.1007/bf02867438

    1996 doi

  11. [19]

    II, Proc

    Ramanathan, A.,Moduli for principal bundles over algebraic curves. II, Proc. Indian Acad. Sci., Math. Sci. 106/4 (1996), 421–449. doi:10.1007/bf02837697

    1996 doi

  12. [20]

    Romagny, M.,Group actions on stacks and applications, Mich. Math. J. 53/1 (2005), 209–236. doi: 10.1307/mmj/1114021093, arXiv:math/0305243. [21]The Stacks project,https://stacks.math.columbia.edu/. Chenjing Bubucj@mailbox.org Mathematical Institute, University of Oxford, Oxfor...

    2005

Pith tools

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