pith. sign in

arxiv: 2310.12456 · v3 · submitted 2023-10-19 · 🧮 math.AG

Lectures on algebraic stacks

Adeel A. Khan This is my paper

Pith reviewed 2026-05-24 06:51 UTC · model grok-4.3

classification 🧮 math.AG
keywords algebraic stackslecture notesalgebraic geometrymoduli problemsNCTS course
0
0 comments X

The pith

Lecture notes supply material for an eleven-lecture course on algebraic stacks.

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

The paper consists of prepared notes for an eleven-lecture course introducing algebraic stacks. It structures the material to build from schemes and categories toward the definition and basic properties of stacks. A sympathetic reader would value this if they seek a compact, sequential path through the subject for teaching or study. The notes target an audience already familiar with the prerequisites and focus on making the topic accessible within the fixed lecture count.

Core claim

The author assembles notes that cover the foundations of algebraic stacks in exactly eleven lectures, providing a ready-made course outline delivered at NCTS Taipei in 2022.

What carries the argument

Algebraic stacks, presented through successive lectures that extend schemes to handle groupoid-valued functors and moduli problems.

If this is right

  • The notes allow an instructor to deliver a complete introduction without assembling material from multiple sources.
  • Students receive a single reference that progresses from basic objects to stack-specific constructions in a fixed number of sessions.
  • The lecture format supports both classroom use and independent reading at a consistent pace.

Where Pith is reading between the lines

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

  • Organizing the topic into eleven discrete lectures might help identify minimal sets of concepts needed before tackling applications in moduli theory.
  • The notes could be tested by running the course and measuring how far participants advance on standard exercises involving quotient stacks.
  • Similar lecture-length constraints might be applied to related topics such as derived algebraic geometry to see where the stack framework naturally stops.

Load-bearing premise

The intended readers already know enough schemes and categories to follow the lectures without further background.

What would settle it

A check that the notes fail to reach the standard definition and first properties of algebraic stacks by the end of the eleventh lecture would disprove the claim of suitability for the course.

read the original abstract

Notes on algebraic stacks, prepared for an 11-lecture course at the NCTS, Taipei, during the fall of 2022.

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

0 major / 0 minor

Summary. The manuscript consists of lecture notes on algebraic stacks prepared for an eleven-lecture introductory course at the NCTS in Taipei during fall 2022.

Significance. If the notes deliver a coherent, self-contained exposition of the basic theory, definitions, and examples of algebraic stacks, they would provide a useful pedagogical resource for graduate students transitioning from schemes to stack-theoretic methods in algebraic geometry.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript and their recommendation to accept. The notes were prepared as an introductory course on algebraic stacks and we are pleased that they are viewed as a potentially useful pedagogical resource.

Circularity Check

0 steps flagged

Expository lecture notes contain no derivation chain

full rationale

The document consists of prepared lecture notes for an 11-lecture course on algebraic stacks. It presents standard material from algebraic geometry without introducing new theorems, predictions, fitted parameters, or derivations. No load-bearing steps exist that could reduce to self-definition, fitted inputs, or self-citations. The central statement is merely descriptive of the notes' preparation and intended use, carrying no mathematical assertions subject to internal circularity.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

As lecture notes on established mathematics, the content relies on standard axioms of algebraic geometry and category theory without introducing new free parameters, axioms, or invented entities.

pith-pipeline@v0.9.0 · 5517 in / 825 out tokens · 15387 ms · 2026-05-24T06:51:47.369283+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

34 extracted references · 34 canonical work pages

  1. [1]

    Aranha, A.\,A

    D. Aranha, A.\,A. Khan, A. Latyntsev, H. Park, C. Ravi, Localization theorems for algebraic stacks. arXiv:2207.01652 (2022)

    work page arXiv 2022

  2. [2]

    Aoki, Tensor triangular geometry of filtered objects and sheaves

    K. Aoki, Tensor triangular geometry of filtered objects and sheaves. arXiv:2001.00319 (2020)

    work page arXiv 2001

  3. [3]

    Avramov, Locally complete intersection homomorphisms and a conjecture of Quillen on the vanishing of cotangent homology

    L. Avramov, Locally complete intersection homomorphisms and a conjecture of Quillen on the vanishing of cotangent homology. Ann. Math. 150 (1999), no. 2, 455–487

    work page 1999

  4. [4]

    Behrend, B

    K. Behrend, B. Fantechi, The intrinsic normal cone, Invent. Math. 128 (1997), no. 1, 45--88

    work page 1997

  5. [5]

    Purity for flat cohomology, 2023

    K. C esnavicius, P. Scholze, Purity for flat cohomology. arXiv:1912.10932 (2019)

    work page arXiv 1912

  6. [6]

    Cisinski, Higher categories and homotopical algebra

    D.-C. Cisinski, Higher categories and homotopical algebra. Cambridge Studies in Advances Mathematics 180 (2019)

    work page 2019

  7. [7]

    Conrad, Arithmetic moduli of generalized elliptic curves

    B. Conrad, Arithmetic moduli of generalized elliptic curves. J. Inst. Math. Jussieu 6 (2007), no. 2, 209--278

    work page 2007

  8. [8]

    Graber, R

    T. Graber, R. Pandharipande, Localization of virtual classes. Invent. Math. 135 (1999), no. 2, 487--518

    work page 1999

  9. [9]

    Gaitsgory, N

    D. Gaitsgory, N. Rozenblyum, A study in derived algebraic geometry. Vols. I--II. Math. Surv. Mono. 221 (2017)

    work page 2017

  10. [10]

    Gabriel, M

    P. Gabriel, M. Zisman, Calculus of fractions and homotopy theory. Ergebnisse der Mathematik und ihrer Grenzgebiete, Band 35 (1967). Springer--Verlag

    work page 1967

  11. [11]

    Gross, Tensor generators on schemes and stacks

    Ph. Gross, Tensor generators on schemes and stacks. Algebr. Geom. 4 , no. 4, 501--522 (2017)

    work page 2017

  12. [12]

    Hekking, A.\,A

    J. Hekking, A.\,A. Khan, D. Rydh, Deformation to the normal cone and blow-ups via derived Weil restrictions. In preparation

    work page

  13. [13]

    Hirschowitz, C

    A. Hirschowitz, C. Simpson, Descente pour les n-champs. 9807049 (2001)

    work page 2001

  14. [14]

    A.\,A. Khan, D. Rydh, Virtual Cartier divisors and blow-ups. arXiv:1802.05702 (2018)

    work page arXiv 2018

  15. [15]

    A.\,A. Khan, C. Ravi, Equivariant generalized cohomology via stacks. arXiv:2209.07801 (2022)

    work page arXiv 2022

  16. [16]

    Khan, Virtual fundamental classes for derived stacks I

    A.\,A. Khan, Virtual fundamental classes for derived stacks I. arXiv:1909.01332 (2019)

    work page arXiv 1909

  17. [17]

    Khan, K-theory and G-theory of derived algebraic stacks

    A.\,A. Khan, K-theory and G-theory of derived algebraic stacks. Jpn. J. Math. 17 (2022), 1--61

    work page 2022

  18. [18]

    Khan, Absolute Poincaré duality in étale cohomology

    A.\,A. Khan, Absolute Poincaré duality in étale cohomology. Forum Math. Sigma 10 (2022), no. 10, e99. arXiv:2111.02875

    work page arXiv 2022

  19. [19]

    Kontsevich, Enumeration of rational curves via torus actions, in: The moduli space of curves (Texel Island, 1994), 335--368, Progr

    M. Kontsevich, Enumeration of rational curves via torus actions, in: The moduli space of curves (Texel Island, 1994), 335--368, Progr. Math. 129 (1995)

    work page 1994

  20. [20]

    Laumon, L

    G. Laumon, L. Moret-Bailly, Champs algébriques. Ergebnisse der Mathematik und ihrer Grenzgebiete 39 (2000)

    work page 2000

  21. [21]

    Y. Liu, W. Zheng, Enhanced six operations and base change theorem for higher Artin stacks. arXiv:1211.5948 (2012)

    work page arXiv 2012

  22. [22]

    Lurie, Higher Topos Theory

    J. Lurie, Higher Topos Theory. Ann. Math. Stud. 170 (2009)

    work page 2009

  23. [23]

    Lurie, Higher Algebra, version of 2017-09-18

    J. Lurie, Higher Algebra, version of 2017-09-18. Available at: https://www.math.ias.edu/ lurie/papers/HA.pdf

    work page 2017

  24. [24]

    Lurie, Spectral algebraic geometry, version of 2018-02-03

    J. Lurie, Spectral algebraic geometry, version of 2018-02-03. Available at: https://www.math.ias.edu/ lurie/papers/HA.pdf

    work page 2018

  25. [25]

    Lurie, Kerodon, https://kerodon.net

    J. Lurie, Kerodon, https://kerodon.net

    work page

  26. [26]

    Rydh, Noetherian approximation of algebraic spaces and stacks

    D. Rydh, Noetherian approximation of algebraic spaces and stacks. J. Algebra 422 (2015), 105--147

    work page 2015

  27. [27]

    Rydh, Approximation of sheaves on algebraic stacks

    D. Rydh, Approximation of sheaves on algebraic stacks. Int. Math. Res. Not. 2016 (2016), no. 3, 717--737

    work page 2016

  28. [28]

    de Jong, The Stacks Project, https://stacks.math.columbia.edu

    J. de Jong, The Stacks Project, https://stacks.math.columbia.edu

    work page

  29. [29]

    Serre, Algèbre locale

    J.-P. Serre, Algèbre locale. Multiplicités. Lecture Notes in Mathematics 11 (1989)

    work page 1989

  30. [30]

    To\"en, M

    B. To\"en, M. Vaqui\'e, Moduli of objects in dg-categories. Ann. Sci. Éc. Norm. Supér. 40 (2007), no. 3, 387--444

    work page 2007

  31. [31]

    B. Toën, G. Vezzosi, Homotopical algebraic geometry. II: Geometric stacks and applications. Mem. Am. Math. Soc. 902 (2008)

    work page 2008

  32. [32]

    Thomason, Equivariant resolution, linearization, and Hilbert’s fourteenth problem over arbitrary base schemes

    R.\,W. Thomason, Equivariant resolution, linearization, and Hilbert’s fourteenth problem over arbitrary base schemes. Adv. Math. 65 (1987), 16--34

    work page 1987

  33. [33]

    AdamekRosickyVitale, Algebraic theories

    work page

  34. [34]

    Verdier, Le théorème de Riemann-Roch pour les intersections complètes, in: Séminaire de géométrie analytique, Paris, France, 1974--75

    J.-L. Verdier, Le théorème de Riemann-Roch pour les intersections complètes, in: Séminaire de géométrie analytique, Paris, France, 1974--75. Astérisque 36 - 37 (1976), 189--228

    work page 1974