Pith. sign in

REVIEW 2 major objections 5 minor 51 references

Rational points in coarse moduli spaces and twisted representations

T0 review · 2 major / 5 minor · reviewed 2026-08-10 · deepseek-v4-flash

Pith's one-line read Schur representations of associative algebras in Azumaya algebras admit a genuine moduli stack, and twisting makes every rational point of the coarse space come from an actual representation.

desk verdict Solid and genuinely useful, but Theorem 6.4's proof has a repairable gap that needs to be closed. read the letter →

arxiv 2501.06822 v1 pith:Z6256UUA submitted 2025-01-12 math.AG math.RT

classification math.AGmath.RT MSC 14D2214D2314A2016G1016G2016H05
keywords rationalpointscoarsemodulispacesalgebraicstackstwistedrepresentationsAzumayaalgebrasSchurnon-abeliancohomologyBrauergroup
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

The paper proves that Schur representations of a finitely presented associative algebra $\Lambda$ in an Azumaya algebra $\Lambda^{\mathrm{azu}}$ form a genuine moduli stack, over arbitrary ground rings and without stability conditions. The central theorem identifies this stack of twisted Schur representations, whose objects live on the gerbe of splittings of the Azumaya algebra, with the quotient stack $[X/G^{\mathrm{op}}/Q]$, where $X=X^{\Lambda^{\mathrm{azu}}}_{\Lambda/R}$ is the quasiaffine scheme of Schur representations. Consequently every rational point of the coarse moduli space $Q=X/H^{\mathrm{op}}$ acquires geometric origin after modifying the moduli problem by twisting the Azumaya algebra. The proof also computes two Brauer classes on $Q$, relating the endomorphism algebra of the tautological sheaf to the non-abelian coboundary of the quotient torsor.

What carries the argument

The load-bearing machinery is the $\mathbb{G}_m$-gerbe of splittings $V'$ of the Azumaya algebra $\Lambda^{\mathrm{azu}}$, carrying the tautological locally free sheaf $F^{\mathrm{taut}}_{V'}$ of rank $n$ and weight one. A twisted Schur representation is a pair $(E',\rho')$ where $E'$ is a locally free weight-one sheaf of rank $n$ on $V'$ and $\rho':\Lambda\otimes\mathcal{O}_{V'}\to\operatorname{End}(E')$ is Schur. The comparison functor $\Phi$ converts $(V,E',\rho')$ into the $G_V$-torsor $P_{V,E'}=\operatorname{Hom}_{\mathcal{O}_{V'}}(E',F^{\mathrm{taut}}_{V'})$ and a $G_V$-equivariant morphism $P_{V,E'}\to X$; the canonical isomorphism $E^{\vee}\otimes E\cong\operatorname{End}(E)$ carries the proof of equivariance. The target $[X/G^{\mathrm{op}}/Q]$ consists of $G$-torsors $P\to U$ with a $G$-equivariant map $P\to X_U$ inducing a given $g:U\to Q$.

What would settle it

A direct way to test the main equivalence is to compute the automorphism group of a twisted Schur representation $(S,E',\rho')$ over a local ground ring $R$ for which $\operatorname{Hom}_{\mathcal{O}_{S'}}(E',F^{\mathrm{taut}}_{S'})$ is a non-free rank-one module. Theorem 6.4 and Corollary 2.4 force this automorphism group to be $R^{\times}$; any non-scalar automorphism found in such a computation would refute the full faithfulness of the comparison functor and hence the equivalence.

Watch

Extended reading notes

Core claim

The authors' central claim is Theorem 6.4: the category of twisted Schur representations $\mathcal{M}=\mathcal{M}^{\Lambda^{\mathrm{azu}}}_{\Lambda/R}$ is equivalent, as a category fibered over affine schemes, to the quotient stack $[X/G^{\mathrm{op}}/Q]$. An object of $\mathcal{M}$ over an affine scheme $V$ is a pair $(E',\rho')$ with $E'$ a locally free sheaf of rank $n=\deg(\Lambda^{\mathrm{azu}})$ and weight one on the $\mathbb{G}_{m,V}$-gerbe $V'$ of splittings, and $\rho':\Lambda\otimes\mathcal{O}_{V'}\to\operatorname{End}(E')$ a Schur representation. The equivalence sends such a pair to the $G_V$-torsor $\operatorname{Hom}_{\mathcal{O}_{V'}}(E',F^{\mathrm{taut}}_{V'})$ together with a $G_V$-equivariant map to $X$, and the key identity $E^{\vee}\otimes E\cong\operatorname{End}(E)$ makes the map equivariant. Corollary 6.5 then yields that $\mathcal{M}$ is an Artin stack, a $\mathbb{G}_m$-gerbe over $Q$, with $Q=X/H^{\mathrm{op}}$ as its coarse moduli space. Applying the twisting formalism, any rational point of $Q$ becomes of geometric origin for the modified moduli problem, and the Brauer classes satisfy $[A_Q]=\partial[X]$ and $[A_Q^0]=[\Lambda^{\mathrm{azu}}\otimes\mathcal{O}_Q]$.

Load-bearing premise

The whole construction is limited to Schur representations, meaning that at every prime point the only endomorphisms of the representation in the Azumaya algebra are scalar multiplications; if a representation has any non-scalar endomorphism it is not an object of the stack, and the main equivalence does not apply.

Editorial extensions

If this is right

  • The stack $\mathcal{M}$ is an Artin stack and a $\mathbb{G}_m$-gerbe over the algebraic space $Q$, with $Q$ as its coarse moduli space; the quotient-stack description gives a concrete representation-theoretic model for the gerbe.
  • For any rational point $g\in Q(R)$, twisting by the torsor $g^*(X)$ produces a modified moduli problem with the same quotient $Q$, and the twisted form $\widetilde{X}$ is the scheme of Schur representations of $\Lambda$ in the twisted Azumaya algebra; in this modified problem $g$ has geometric origin.
  • If $H^1(S,\mathrm{GL}_n)$ is a singleton, having geometric origin, being induced by a Schur representation, and being induced by a twisted Schur representation are equivalent for a rational point $g\in Q(R)$.
  • The endomorphism Azumaya algebra $A_Q$ of the tautological sheaf has Brauer class $\partial[X]$, while its commutant $A_Q^0$ has Brauer class $[\Lambda^{\mathrm{azu}}\otimes\mathcal{O}_Q]$; these are explicit obstructions attached to the coarse space.
  • Over fields, the geometrically stable representations are Schur, so the stable loci of all GIT stability conditions appear as open subschemes of $Q$, and the stack $\mathcal{M}$ covers them without fixing a stability condition.

Reading between the lines

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

  • A natural extension, not pursued in the paper, would relax the Schur condition to allow objects with non-scalar endomorphism rings; the automorphism groups would then no longer be $\mathbb{G}_m$, and the gerbe structure and Brauer-class computations would have to be replaced by a different group.
  • The general twisting theorem of Section 1 applies to any free quotient $Q=X/H^{\mathrm{op}}$; the same modification technique could be used for moduli of coherent sheaves through Kronecker modules, as the authors mention, or for other moduli problems with non-trivial automorphisms.
  • The identity $[A_Q]=\partial[X]$ suggests a practical obstruction computation: in examples, the Brauer class of the endomorphism Azumaya algebra of the tautological bundle can be compared with the class of the splitting gerbe to decide whether a given rational point is geometric.
  • Over non-perfect fields, Lemma 3.6 shows that simple representations need not be Schur, so the stack misses many simple objects; checking whether the equivalence survives after base change to the perfection would clarify the arithmetic scope of the result.
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

2 major / 5 minor

Summary. The paper introduces moduli stacks and spaces for Schur representations of a finitely presented associative algebra Lambda in an Azumaya algebra Lambda^azu over arbitrary ground rings. It defines a stack M of twisted Schur representations living on the gerbe of splittings of Lambda^azu, and proves (Theorem 6.4) that this stack is equivalent to the quotient stack [X/G^op/Q], where X is the quasiaffine scheme of Schur representations, G is the unit group, and Q = X/H^op is the coarse algebraic space. The paper then uses this equivalence to show that every rational point of Q acquires geometric origin after a canonical modification of the moduli problem (Theorem 7.1), and to compute Brauer classes of tautological Azumaya algebras on Q (Theorem 8.3).

Significance. If Theorem 6.4 holds, the paper provides a clean stack-theoretic framework for understanding why rational points on coarse moduli spaces of representations may fail to be represented by actual objects, and it gives a canonical repair via twisted representations and Azumaya algebras. The treatment is broad: it works over arbitrary ground rings, avoids stability conditions, and covers arbitrary finitely presented algebras, including group and path algebras. The exposition is largely concrete and checkable, with explicit constructions of the splitting gerbe, the comparison functor, and the tautological sheaf; the equivariance check in Lemma 6.3 is carried out in detail. The restriction to Schur representations is clearly stated and is a real limitation, as ordinary simple or stable representations need not be Schur over non-perfect fields. The main results are important and plausible, but the proof of the central equivalence Theorem 6.4 contains a nontrivial gap that needs to be addressed.

major comments (2)
  1. [Theorem 6.4, Step 3] The proof of full faithfulness is incomplete. The argument verifies that the comparison functor Phi induces a bijection on automorphism groups of each object in a fiber, and then concludes that Phi is fully faithful because the fibers are groupoids. This inference is not valid: a functor between groupoids can induce isomorphisms on all automorphism groups while failing to be full or faithful on Hom sets between non-isomorphic objects (for example, two objects with no morphisms between them can both map to one object). To prove full faithfulness, the paper must compare Hom-sets between arbitrary objects of the twisted Schur stack and the quotient stack, for instance by identifying both with isomorphisms of the associated G-torsors, or by constructing an explicit inverse functor along the lines suggested in the stress-test note: send (U,g,P,f) to E' = Hom_{Lambda^azu}(M, F^taut_{U'}) with M the rank-one Lambda^azu-module attached to the G_U-torsor P. This verification is absent.
  2. [Theorem 6.4, Proof, overall] The proof of essential surjectivity is not supplied. The text states that every descent datum of the quotient stack arises from a descent datum of M, and says this is 'immediate from step 2', but full faithfulness on fibers does not imply that every object of the quotient stack is locally in the image of Phi. One must construct, for a given quadruple (U,g,P,f), a twisted Schur representation (E',rho') whose image under Phi is that quadruple, at least after passing to a cover, and then use descent to glue. The paper does not provide this construction. Since Corollary 6.5, Theorem 7.2, and Theorem 8.3 all depend on Theorem 6.4, this gap is load-bearing and requires a repaired proof.
minor comments (5)
  1. [Theorem 3.5, proof] The reduction to the case where R is finitely generated over Z is too terse; the proof should explicitly justify that quasi-compactness and local finite presentation descend along the fppf extension R -> R0.
  2. [Section 3, closing paragraph] The statement that all possible GIT quotients are simultaneously contained as schematic open subsets in Q is imprecise, since GIT quotients typically involve semistable points that are not Schur; it should be restricted to loci where objects are geometrically stable, as the preceding sentence suggests.
  3. [Definition 6.1] The condition that rho' is Schur is formulated by requiring that all pullbacks rho'_U to objects of the splitting gerbe are Schur; it may be simpler and more natural to require that the kernel of the adjoint map is exactly the scalars after pullback to a covering of the gerbe, but the current formulation is acceptable.
  4. [Throughout] The paper uses [24] (SGA 1) for several stack-descent facts; for the benefit of readers, more precise pointers (e.g., the relevant Expose and proposition numbers for effectiveness of descent data on sheaves and torsors) would be helpful.
  5. [Introduction, page 3] The phrase 'the twisted forms \tilde H of the group scheme H = PGL_n correspond to Azumaya algebras' is slightly telegraphic; the correspondence is via the non-abelian cohomology set H^1(-, PGL_n) and is standard, but a few words of clarification would improve readability.

Circularity Check

0 steps flagged · score 2.0 of 10

No circular derivation: the quotient-stack equivalence is constructed from independent twisted-representation data, and the authors' self-citations are prior technical building blocks rather than restatements of the main theorem; the real issue is a non-circular proof gap in Theorem 6.4.

full rationale

The central derivation is not circular. Theorem 6.4 is proved by constructing a comparison functor from genuinely representation-theoretic data (weight-one locally free sheaves on the splitting gerbe together with a Schur representation of Λ) to the quotient stack, and the inverse data (a G-torsor plus equivariant map to X) is not assumed in the definition of M. The Schur condition is an explicit openness and freeness hypothesis (Propositions 3.2 and 3.4), not a restatement of the equivalence. The cited items involving the authors ([27], [34], [38], [44]) are prior published technical facts: torsor-automorphism identifications, existence of algebraic-space quotients for free actions, and resolution properties. None of them asserts the quotient-stack equivalence or the Brauer-class conclusions, and none is itself derived from the target theorem. Theorem 8.3 legitimately depends on Theorem 6.4 plus de Jong's external Lemma 2.14. There is no fitted parameter renamed as a prediction, no ansatz smuggled in by self-citation, and no uniqueness theorem imported from the authors' own prior work. What the manuscript does contain is a genuine but non-circular proof gap: in Step 2 of the proof of Theorem 6.4 the authors show bijections on automorphism groups and then state 'Since the fibers are groupoids, Φ is fully faithful on the fibers'; that inference is invalid in general, and Step 3's claim that essential surjectivity follows 'immediately from step 2' is not a complete verification. This omission affects correctness risk, but it does not make the derivation circular. Overall circularity score 2 reflects only the presence of minor same-author citations that are not load-bearing; the central claim has independent mathematical content.

Assumptions & free parameters 0 free parameters · 5 assumptions · 2 invented entities

The central results carry no fitted numbers. They rest on standard algebraic geometry machinery and on explicit domain assumptions: Λazu is an Azumaya algebra of degree n, Λ is finitely presented, the quotient stack uses local sections of G to H, and only Schur representations are considered. The newly introduced objects, twisted Schur representations and the tautological sheaf, are definitional rather than empirical, so they carry no independent evidence outside the mathematical framework.

assumptions (5)
  • domain assumption Λ is a finitely presented associative R-algebra and Λazu is an Azumaya algebra of degree n over R.
    Used throughout Sections 3 to 8; needed for X to be a quasiaffine scheme of finite presentation in Theorem 3.5.
  • domain assumption The representation functor is restricted to Schur representations, i.e. the commutant in Λazu⊗κ(p) is exactly κ(p) for every prime p.
    Defines the subfunctor F^0 in Section 3; used to prove the Aut-action is free in Proposition 3.4 and that automorphism groups reduce to scalars in Theorem 6.4.
  • domain assumption The epimorphism G to H in the exact sequence 1 to Gm to G to H to 1 locally admits sections, not necessarily respecting the group laws.
    Used in Proposition 2.2 to show the quotient stack [X/G^op/Q] is a gerbe; holds for G=U_{Λazu} and H=Aut_{Λazu}.
  • standard math Standard background theorems from SGA and EGA, including fpqc descent, Hilbert 90, and the Quillen-Suslin theorem, are accepted.
    Corollary 2.6 uses Hilbert 90 and Quillen-Suslin; Proposition 3.1 and Theorem 6.2 rely on effective fpqc descent for sheaves and modules.
  • standard math The splitting gerbe for an Azumaya algebra, with its tautological locally free sheaf of weight one, has the properties developed by Lieblich, de Jong, and Căldăraru.
    Section 5 builds on this theory, and Section 6 uses weight decompositions on the gerbe of splittings to define twisted Schur representations.
invented entities (2)
  • Twisted Schur representation (E', ρ') on the gerbe of splittings V'
    purpose: Defines the objects of the stack M and supplies the representation-theoretic description of the quotient stack in Theorem 6.4.
    This is a definitional mathematical object introduced in Definition 6.1, not an empirical entity; its existence is justified by the proof of Theorem 6.4 rather than by external data.
  • Tautological sheaf T_M on the stack M
    purpose: Used in Section 8 to construct the Azumaya algebras A_Q and A_Q^0 and to compute their Brauer classes.
    Constructed locally as the Hom sheaf Hom(F^{taut}_{V'}, E'); it is a new mathematical object for the proof, with no independent falsifiable prediction.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Rational points in coarse moduli spaces and twisted representations." pith.science (2026). https://pith.science/paper/Z6256UUA

@misc{pith2026250106822,
  author       = {Pith},
  title        = {Pith review of: Rational points in coarse moduli spaces and twisted representations},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/Z6256UUA}},
  note         = {Machine review of arXiv:2501.06822}
}
read the original abstract

We study moduli spaces and moduli stacks for representations of associative algebras in Azumaya algebras, in rather general settings. We do not impose any stability condition and work over arbitrary ground rings, but restrict attention to the so-called Schur representations, where the only automorphisms are scalar multiplications. The stack comprises twisted representations, which are representations that live on the gerbe of splittings for the Azumaya algebra. Such generalized spaces and stacks appear naturally: For any rational point on the classical coarse moduli space of matrix representations, the machinery of non-abelian cohomology produces a modified moduli problem for which the point acquires geometric origin. The latter are given by representations in Azumaya algebras.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

51 extracted references · 51 canonical work pages

  1. [42]

    Reineke, S

    M. Reineke, S. Schr¨ oer: Brauer groups for quiver moduli. Algebr. Geom. 4 (2017), 452–471

  2. [1]

    ´Alvarez-C´ onsul, A

    L. ´Alvarez-C´ onsul, A. King: A functorial construction of moduli of sheaves. Invent. Math. 168 (2007), 613–666

  3. [2]

    Artin: Algebraic spaces

    M. Artin: Algebraic spaces. Yale University Press, New Haven, Conn.-London, 1971

  4. [3]

    Artin: Th´ eor` emes de repr´ esentabilit´ e pour les espaces alg´ ebriques

    M. Artin: Th´ eor` emes de repr´ esentabilit´ e pour les espaces alg´ ebriques. Les Presses de l’Universit´ e de Montr´ eal, Montreal, Que., 1973

  5. [4]

    Artin: Versal deformations and algebraic stacks

    M. Artin: Versal deformations and algebraic stacks. Invent. Math. 27 (1974), 165–189

  6. [5]

    Artin, A

    M. Artin, A. Grothendieck, J.-L. Verdier (eds.): Th´ eorie des topos et cohomologie ´ etale des sch´ emas (SGA 4) Tome 1. Springer, Berlin, 1972

  7. [6]

    Assem, D

    I. Assem, D. Simson, A. Skowro´ nski: Elements of the representation theory of associative algebras. Vol. 1. Cambridge University Press, Cambridge, 2006

  8. [7]

    Auslander, O

    M. Auslander, O. Goldman: The Brauer group of a commutative ring. Trans. Amer. Math. Soc. 97 (1960), 367–409

Show all 51 references
  1. [8]

    Bourbaki: Alg` ebre

    N. Bourbaki: Alg` ebre. Chapitres 1 ` a 3. Hermann, Paris, 1970. RATIONAL POINTS IN COARSE MODULI SPACES 33

  2. [9]

    Bourbaki: Alg` ebre

    N. Bourbaki: Alg` ebre. Chapitre 8. Modules et anneaux semi-simples. Hermann, Paris, 1958

  3. [10]

    C˘ ald˘ araru: Derived categories of twisted sheaves on Calabi-Yau manifolds

    A. C˘ ald˘ araru: Derived categories of twisted sheaves on Calabi-Yau manifolds. Thesis, Cor- nell University, 2000

  4. [11]

    C˘ ald˘ araru: Derived categories of twisted sheaves on elliptic threefolds

    A. C˘ ald˘ araru: Derived categories of twisted sheaves on elliptic threefolds. J. Reine Angew. Math. 544 (2002), 161–179

  5. [12]

    Curtis, I

    W. Curtis, I. Reiner: Methods of representation theory. Vol. I. Wiley, New York, 1990

  6. [13]

    de Jong: A result of Gabber

    A. de Jong: A result of Gabber. Preprint, http://www.math.columbia.edu/~dejong/

  7. [14]

    Deligne, D

    P. Deligne, D. Mumford: The irreducibility of the space of curves of given genus. Publ. Math. Inst. Hautes ´Etud. Sci. 36 (1969) 75–109

  8. [15]

    Demazure, A

    M. Demazure, A. Grothendieck (eds.): Sch´ emas en groupes I (SGA 3 Tome 1). Springer, Berlin, 1970

  9. [16]

    Derksen, J

    H. Derksen, J. Weyman: The combinatorics of quiver representations. Ann. Inst. Fourier Tome 61 (2011), no. 3, 1061–1131

  10. [17]

    Giraud: Cohomologie non ab´ elienne

    J. Giraud: Cohomologie non ab´ elienne. Springer, Berlin, 1971

  11. [18]

    Grothendieck: A general theory of fibre spaces with structure sheaf

    A. Grothendieck: A general theory of fibre spaces with structure sheaf. University of Kansas, Department of Mathematics, Report No. 4

  12. [19]

    Grothendieck: Sur quelques points d’alg` ebre homologique

    A. Grothendieck: Sur quelques points d’alg` ebre homologique. Tohoku Math. J. 9 (1957), 119–221

  13. [20]

    Grothendieck, J

    A. Grothendieck, J. Dieudonn´ e: ´El´ ements de g´ eom´ etrie alg´ ebrique I: Le langage des sch´ emas. Springer, Berlin, 1970

  14. [21]

    Grothendieck: ´El´ ements de g´ eom´ etrie alg´ ebrique II:´Etude globale ´ el´ ementaire de quelques classes de morphismes

    A. Grothendieck: ´El´ ements de g´ eom´ etrie alg´ ebrique II:´Etude globale ´ el´ ementaire de quelques classes de morphismes. Publ. Math., Inst. Hautes ´Etud. Sci. 8 (1961)

  15. [22]

    Grothendieck: ´El´ ements de g´ eom´ etrie alg´ ebrique IV:´Etude locale des sch´ emas et des morphismes de sch´ emas

    A. Grothendieck: ´El´ ements de g´ eom´ etrie alg´ ebrique IV:´Etude locale des sch´ emas et des morphismes de sch´ emas. Publ. Math., Inst. Hautes´Etud. Sci. 24 (1965)

  16. [23]

    Grothendieck: Le groupe de Brauer

    A. Grothendieck: Le groupe de Brauer. In: J. Giraud (ed.) et al.: Dix expos´ es sur la cohomologie des sch´ emas, pp. 46–189. North-Holland, Amsterdam, 1968

  17. [24]

    Grothendieck: Revˆ etements ´ etales et groupe fondamental (SGA 1)

    A. Grothendieck: Revˆ etements ´ etales et groupe fondamental (SGA 1). Springer, Berlin, 1971

  18. [25]

    Hartshorne: Algebraic geometry

    R. Hartshorne: Algebraic geometry. Springer, Berlin, 1977

  19. [26]

    Hoskins, F

    V. Hoskins, F. Schaffhauser: Rational points of quiver moduli spaces. Ann. Inst. Fourier (Grenoble) 70 (2020), 1259–1305

  20. [27]

    Hilario, S

    C. Hilario, S. Schr¨ oer: Generalizations of quasielliptic curves.´Epijournal Geom. Alg´ ebrique 7 (2024), Article 23, 31 pp

  21. [28]

    King: Moduli of representations of finite-dimensional algebras

    A. King: Moduli of representations of finite-dimensional algebras. Quart. J. Math. Oxford Ser. 45 (1994), 515–530

  22. [29]

    Kirillov: Quiver representations and quiver varieties

    A. Kirillov: Quiver representations and quiver varieties. American Mathematical Society, Providence, RI, 2016

  23. [30]

    Knutson: Algebraic spaces

    D. Knutson: Algebraic spaces. Springer, Berlin, 1971

  24. [31]

    Kraft, C

    H. Kraft, C. Riedtmann: Geometry of representations of quivers. In: P. Webb (ed.), Rep- resentations of algebras, pp. 109–145. Cambridge Univ. Press, Cambridge, 1986

  25. [32]

    Edidin, B

    D. Edidin, B. Hassett, A. Kresch, A. Vistoli: Brauer groups and quotient stacks. Amer. J. Math. 123 (2001), 761–777

  26. [33]

    Laumon, L

    G. Laumon, L. Moret-Bailly: Champs algebriques. Springer, Berlin, 2000

  27. [34]

    Laurent, S

    B. Laurent, S. Schr¨ oer: Para-abelian varieties and Albanese maps. Bull. Braz. Math. Soc. 55 (2024), 1–39

  28. [35]

    Lieblich: Moduli of twisted sheaves and generalized Azumaya algebras

    M. Lieblich: Moduli of twisted sheaves and generalized Azumaya algebras. Thesis, Mas- sachusetts Institute of Technology, 2004

  29. [36]

    Lieblich: Moduli of twisted sheaves

    M. Lieblich: Moduli of twisted sheaves. Duke Math. J. 138 (2007),23–118

  30. [37]

    Lieblich: On the ubiquity of twisted sheaves

    M. Lieblich: On the ubiquity of twisted sheaves. In: F. Bogomolov, B. Hassett and Y. Tschinkel (eds.), Birational geometry, rational curves, and arithmetic, pp. 205–227. Springer, Cham, 2013

  31. [38]

    Mathur, S

    S. Mathur, S. Schr¨ oer: The resolution property holds away from codimension three. Trans. Amer. Math. Soc. 376 (2023), 1041–1063. RATIONAL POINTS IN COARSE MODULI SPACES 34

  32. [39]

    Mumford, J

    D. Mumford, J. Fogarty, F. Kirwan: Geometric invariant theory. Third edition. Springer, Berlin, 1993

  33. [40]

    Olsson: Algebraic spaces and stacks

    M. Olsson: Algebraic spaces and stacks. American Mathematical Society, Providence, RI, 2016

  34. [41]

    Quillen: Projective modules over polynomial rings

    D. Quillen: Projective modules over polynomial rings. Invent. Math. 36 (1976), 167–171

  35. [43]

    Schr¨ oer, G

    S. Schr¨ oer, G. Vezzosi: Existence of vector bundles and global resolutions on singular surfaces. Compositio Math. 140 (2004), 717–728

  36. [44]

    Schr¨ oer, N

    S. Schr¨ oer, N. Tziolas: The structure of Frobenius kernels for automorphism group schemes. Algebra Number Theory 17 (2023), 1637–1680

  37. [45]

    Schr¨ oer: Algebraic spaces that become schematic after ground field extension

    S. Schr¨ oer: Algebraic spaces that become schematic after ground field extension. Math. Nachr. 295 (2022), 1008–1012

  38. [46]

    Skorobogatov: Torsors and rational points

    A. Skorobogatov: Torsors and rational points. Cambridge University Press, Cambridge, 2001

  39. [47]

    https://stacks.math.columbia.edu, 2018

    Stacks project authors: Stacks project. https://stacks.math.columbia.edu, 2018

  40. [48]

    Suslin: Projective modules over polynomial rings are free

    A. Suslin: Projective modules over polynomial rings are free. Soviet Math. Dokl. 17 (1976), 1160–1164

  41. [49]

    Totaro: The resolution property for schemes and stacks

    B. Totaro: The resolution property for schemes and stacks. J. Reine Angew. Math. 577 (2004), 1–22

  42. [50]

    Watts: Intrinsic characterizations of some additive functors

    C. Watts: Intrinsic characterizations of some additive functors. Proc. Amer. Math. Soc. 11 (1960), 5–8

  43. [51]

    Weißmann, X

    D. Weißmann, X. Zhang: A stacky approach to identify the semi-stable locus of vector bundles. Preprint, arXiv:2302.09245. Heinrich Heine University D¨usseldorf, F aculty of Mathematics and Natural Sci- ences, Mathematical Institute, 40204 D¨usseldorf, Germany Email address : K...

Pith tools

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