pith. sign in

arxiv: 2404.11561 · v11 · pith:ET5GWUQRnew · submitted 2024-04-17 · 🧮 math.RT

Note on factorization categories

Sergey Lysenko This is my paper

Pith reviewed 2026-05-24 01:40 UTC · model grok-4.3

classification 🧮 math.RT
keywords factorization categoriesRan spaceSatake functorDrinfeld-Plücker formalismcommutative factorization sheavescolored divisorsconstructible setting
0
0 comments X

The pith

By relating four constructions of commutative factorization sheaves on the Ran space, the Drinfeld-Plücker formalism extends and the factorizable Satake functors for Ran space and colored divisors become comparable.

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

The paper systematically studies commutative factorization categories over the Ran space. It fills a gap in the construction of the factorizable Satake functor in the constructible setting by summarizing four different constructions of commutative factorization sheaves of categories on the Ran space and establishing relations between them. This allows generalization of the Drinfeld-Plücker formalism. The results are applied to relate the versions of the Satake functors for the Ran space with that of the configuration space of colored divisors on a curve. A sympathetic reader would care because this completes a key step in constructing factorizable functors used in geometric representation theory.

Core claim

The central claim is that the four constructions of commutative factorization sheaves of categories on the Ran space are sufficiently related that the Drinfeld-Plücker formalism extends from previous work, the Satake functors for Ran space and colored divisors become comparable, and this fills the gap in the constructible setting.

What carries the argument

The four constructions of commutative factorization sheaves of categories on the Ran space, related via the generalized Drinfeld-Plücker formalism.

If this is right

  • The factorizable Satake functor is constructed in the constructible setting.
  • The Drinfeld-Plücker formalism is generalized.
  • Versions of Satake functors for Ran space and colored divisors are related.
  • Commutative factorization categories with additional grading are studied.

Where Pith is reading between the lines

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

  • The relations between constructions could allow transferring results from one setting to another in related geometric contexts.
  • Studying graded versions might lead to refined versions of the functors in categories with extra structure.

Load-bearing premise

The four summarized constructions of commutative factorization sheaves of categories on the Ran space are sufficiently related to one another that the Drinfeld-Plücker formalism extends and the Satake functors become comparable.

What would settle it

A concrete calculation showing that the Satake functors for the Ran space and the colored divisors are not equivalent under the established relations, or that one of the four constructions fails to satisfy a key property assumed in the others.

read the original abstract

We systematically study the commutative factorization categories over the Ran space. We fill in what we consider as a gap in the construction of the factorizable Satake functor in the constructible setting in arXiv:1708.07205, arXiv:1608.00284. To do so, we summarize four different constructions of commutative factorization sheaves of categories on Ran and establish some relations between them. We also generalize the Drinfeld-Pl\"ucker formalism from arXiv:1708.07205, arXiv:2310.0638. In addition, we study the commutative factorization categories Fact(C) with an additional grading of C. We apply our results to relate the versions of the Satake functors for the Ran space with that of the configuration space of colored divisors on a curve. This paper is a companion of arXiv:2508.01527.

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 / 3 minor

Summary. The manuscript systematically studies commutative factorization categories over the Ran space. It summarizes four different constructions of commutative factorization sheaves of categories on the Ran space, establishes relations between them, fills a gap in the factorizable Satake functor in the constructible setting from arXiv:1708.07205 and arXiv:1608.00284, generalizes the Drinfeld-Plücker formalism from those works and arXiv:2310.0638, considers graded versions of Fact(C), and applies the results to relate Satake functors for the Ran space with those for the configuration space of colored divisors on a curve. The paper positions itself as a companion to arXiv:2508.01527.

Significance. If the summarized relations between the four constructions hold and the generalizations are correctly carried out, the note would clarify connections among existing approaches to factorization sheaves of categories, enabling consistent extensions of the Drinfeld-Plücker formalism and direct comparisons of Satake functors across Ran space and colored divisor configurations. This is a useful contribution to geometric representation theory and the study of factorization structures on Ran spaces, particularly in the constructible setting. The explicit positioning as filling a specific gap and providing relations between constructions is a strength when supported by the details in the text.

minor comments (3)
  1. The abstract refers to 'four different constructions' and 'some relations' without naming the constructions or indicating the sections in which the relations are established; adding this would improve readability for readers familiar with the cited works.
  2. The generalization of the Drinfeld-Plücker formalism is stated at a high level; a brief indication of which parts of the original formalism are extended (e.g., specific axioms or functors) would help assess the scope without requiring the full companion paper.
  3. Notation for the graded versions of Fact(C) and the colored divisors configuration space should be introduced with a short comparison table or diagram to clarify how they relate to the ungraded Ran-space case.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary and recommendation of minor revision. We are glad that the manuscript is viewed as a useful contribution clarifying relations among constructions of commutative factorization sheaves of categories and extending the Drinfeld-Plücker formalism in the constructible setting.

Circularity Check

0 steps flagged

Minor self-citations present but central claims remain independent

full rationale

The paper's core activity is summarizing four existing constructions of commutative factorization sheaves of categories on the Ran space (from prior literature) and establishing relations among them, plus generalizing the Drinfeld-Plücker formalism. These steps are presented as filling a gap in cited earlier works rather than deriving new results from self-referential definitions or fitted parameters. No equation or claim reduces by construction to an input from the same paper; the load-bearing content consists of new comparisons and extensions that stand on the summarized external constructions. Self-citations appear but are not load-bearing for the main claims, consistent with a low circularity score.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The paper works entirely within the established framework of category theory, sheaf theory on algebraic curves, and the Ran space; no new free parameters, ad-hoc axioms, or invented entities are introduced.

axioms (1)
  • standard math Standard axioms and properties of categories of sheaves and factorization structures on algebraic varieties
    All constructions presuppose the existence and basic functoriality of constructible sheaves and factorization categories as background from prior literature.

pith-pipeline@v0.9.0 · 5662 in / 1340 out tokens · 35657 ms · 2026-05-24T01:40:54.448343+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 · 3 internal anchors

  1. [1]

    Arinkin, D

    D. Arinkin, D. Gaitsgory, D. Kazhdan, S. Raskin, N. Rozenblyum, Y. Varshavsky, The stack of local systems with restricted variation and geometric Langlands theory with nilpotent singular support, arXiv:2010.01906

    work page arXiv 2010

  2. [2]

    Beilinson, J

    A. Beilinson, J. Bernstein, P. Deligne, Faisceaux pervers, Asterisque vol. 100, Paris, Soci´ et´ e math´ ematique de France, 1982, DOI : 10.24033/ast.1042

    work page doi:10.24033/ast.1042 1982

  3. [3]

    Beilinson, V

    A. Beilinson, V. Drinfeld, Chiral algebras, AMS Colloquium publications, vol. 51 (2004), Asterisque 100, https://doi.org/10.1090/coll/051

    work page doi:10.1090/coll/051 2004

  4. [4]

    Chen, Nearby cycles on Drinfeld - Gaitsgory - Vinberg interpolation Grassmannian and long intertwining functor, Duke Math

    L. Chen, Nearby cycles on Drinfeld - Gaitsgory - Vinberg interpolation Grassmannian and long intertwining functor, Duke Math. J. 172(3), 447 - 543 (2023)

    work page 2023

  5. [5]

    Dhillon, S

    G. Dhillon, S. Lysenko, Semi-infinite parabolic IC-sheaf, arXiv:2310.0638 124 SERGEY LYSENKO

    work page arXiv

  6. [6]

    Dhillon, S

    G. Dhillon, S. Lysenko, Semi-infinite parabolic IC-sheaf II: the Ran space version, in preparation

    work page

  7. [7]

    Francis, D

    J. Francis, D. Gaitsgory, Chiral Koszul diality, Selecta Mathematica, Vol. 18, 27 - 87, (2012)

    work page 2012

  8. [8]

    Gaitsgory, Sheaves of categories and the notion of 1-affineness, Contemporary Mathematics 643 (2015), 127 - 226, http://dx.doi.org/10.1090/conm/643/12899

    D. Gaitsgory, Sheaves of categories and the notion of 1-affineness, Contemporary Mathematics 643 (2015), 127 - 226, http://dx.doi.org/10.1090/conm/643/12899

    work page doi:10.1090/conm/643/12899 2015

  9. [9]

    Gaitsgory, The semi-infinite intersection cohomoogy sheaf, arxiv version 6

    D. Gaitsgory, The semi-infinite intersection cohomoogy sheaf, arxiv version 6

    work page

  10. [10]

    Gaitsgory, The semi-infinite intersection cohomology sheaf-II: the Ran space version, In: Bara- novsky, V., Guay, N., Schedler, T

    D. Gaitsgory, The semi-infinite intersection cohomology sheaf-II: the Ran space version, In: Bara- novsky, V., Guay, N., Schedler, T. (eds) Representation Theory and Algebraic Geometry. Trends in Mathematics. Birkh¨ auser, Cham.https://doi.org/10.1007/978-3-030-82007-7 6

    work page doi:10.1007/978-3-030-82007-7

  11. [11]

    The Atiyah-Bott formula for the cohomology of the moduli space of bundles on a curve

    D. Gaitsgory, The Atiyah-Bott formula for the cohomology of the moduli space of bundles on a curve, arXiv:1505.02331 version 2

    work page internal anchor Pith review Pith/arXiv arXiv

  12. [12]

    Gaitsgory, On De Jong’s conjecture, Israel J

    D. Gaitsgory, On De Jong’s conjecture, Israel J. Math. 157 (2007), 155 - 191, https://doi.org/10.1007/s11856-006-0006-2

    work page doi:10.1007/s11856-006-0006-2 2007

  13. [13]

    Eisenstein series and quantum groups

    D. Gaitsgory, Eisenstein series and quantum groups, arXiv:1505.02329

    work page internal anchor Pith review Pith/arXiv arXiv

  14. [14]

    Gaitsgory, Central elements in the affine Hecke algebra via nearby cycles, Invent

    D. Gaitsgory, Central elements in the affine Hecke algebra via nearby cycles, Invent. Math. 144 (2001), p. 253 - 280, https://doi.org/10.1007/s002220100122

    work page doi:10.1007/s002220100122 2001

  15. [15]

    Gaitsgory, Contractibility of the space of rational maps, Inv

    D. Gaitsgory, Contractibility of the space of rational maps, Inv. Math. 191, p. 91 - 196, (2013) https://doi.org/10.1007/s00222-012-0392-5

    work page doi:10.1007/s00222-012-0392-5 2013

  16. [16]

    Gaitsgory, J

    D. Gaitsgory, J. Lurie, Weil’s Conjecture for Function Fields: Volume I (AMS-199). Princeton University Press (2019)

    work page 2019

  17. [17]

    Gaitsgory, S

    D. Gaitsgory, S. Lysenko, Parameters and duality for the metaplectic geometric Langlands theory, Selecta Math., (2018) Vol. 24, Issue 1, 227-301, https://doi.org/10.1007/s00029-017-0360-4 Corrected version: of Dec 21, 2022 on arXiv:1608.00284 version 7

    work page doi:10.1007/s00029-017-0360-4 2018

  18. [18]

    Metaplectic Whittaker category and quantum groups : the "small" FLE

    D. Gaitsgory, S. Lysenko, Metaplectic Whittaker category and quantum groups : the ”small” FLE, arXiv:1903.02279, version April 21, 2020

    work page internal anchor Pith review Pith/arXiv arXiv 1903

  19. [19]

    Gaitsgory, N

    D. Gaitsgory, N. Rozenblyum, A study in derived algebraic geometry, book version available at https://people.mpim-bonn.mpg.de/gaitsgde/Book

    work page

  20. [20]

    J. Hall, D. Rydh, Algebraic groups and compact generation of their derived categories of representations, Indiana University Mathematics Journal Vol. 64, No. 6 (2015), 1903 - 1923, DOI:10.1512/iumj.2015.64.5719

    work page doi:10.1512/iumj.2015.64.5719 2015

  21. [21]

    url: https://doi.org/10.1515/9781400830558

    J. Lurie, Higher topos theory, Annals of Mathematics Studies, Nu. 170, Princeton University Press (2009), DOI: 10.1515/9781400830558

    work page doi:10.1515/9781400830558 2009

  22. [22]

    Lurie, Higher algebra, version Sept

    J. Lurie, Higher algebra, version Sept. 18, 2017 available at https://www.math.ias.edu/ lurie

    work page 2017

  23. [23]

    Lysenko, Comments to Rozenblyum, Gaitsgory, A Study in Derived Algebraic Geometry, avail- able at https://lysenko.perso.math.cnrs.fr/index sub.html

    S. Lysenko, Comments to Rozenblyum, Gaitsgory, A Study in Derived Algebraic Geometry, avail- able at https://lysenko.perso.math.cnrs.fr/index sub.html

    work page

  24. [24]

    Lysenko, Comments to D

    S. Lysenko, Comments to D. Gaitsgory, S. Lysenko, Parameters and duality for the metaplectic geometric Langlands theory, available athttps://lysenko.perso.math.cnrs.fr/index sub.html

    work page

  25. [25]

    Lysenko, Assumptions on the sheaf theory for the small FLE paper, available at https://lysenko.perso.math.cnrs.fr/index sub.html

    S. Lysenko, Assumptions on the sheaf theory for the small FLE paper, available at https://lysenko.perso.math.cnrs.fr/index sub.html

    work page

  26. [26]

    Lysenko, My notes of the embryo GL seminar, available at https://lysenko.perso.math.cnrs.fr/index sub.html

    S. Lysenko, My notes of the embryo GL seminar, available at https://lysenko.perso.math.cnrs.fr/index sub.html

    work page

  27. [27]

    Lysenko, Comments to Beilinson, Drinfeld, Chiral algebras, available at https://lysenko.perso.math.cnrs.fr/index sub.html

    S. Lysenko, Comments to Beilinson, Drinfeld, Chiral algebras, available at https://lysenko.perso.math.cnrs.fr/index sub.html

    work page

  28. [28]

    Lysenko, Comments: Sheaves of categories and notion of 1-affineness, available at https://lysenko.perso.math.cnrs.fr/index sub.html

    S. Lysenko, Comments: Sheaves of categories and notion of 1-affineness, available at https://lysenko.perso.math.cnrs.fr/index sub.html

    work page

  29. [29]

    Mirkovic, K

    I. Mirkovic, K. Vilonen, Geometric Langlands duality and representations of algebraic groups over commutative rings, Ann. of Math., 166 (2007), 95 - 143, DOI: 10.4007/annals.2007.166.95

    work page doi:10.4007/annals.2007.166.95 2007

  30. [30]

    Peschke, W

    G. Peschke, W. Tholen, Diagrams, Fibrations, and the Decomposition of Colimits, arXiv:2006.10890

    work page arXiv 2006

  31. [31]

    Raskin, Chiral categories, version 4 Sept

    S. Raskin, Chiral categories, version 4 Sept. 2019, available at https://gauss.math.yale.edu/∼sr2532/

    work page 2019

  32. [32]

    Raskin, Chiral principal series categories I: finite-dimensional calculations, Advances in Math- ematics, Vol

    S. Raskin, Chiral principal series categories I: finite-dimensional calculations, Advances in Math- ematics, Vol. 388 (2021), 107856, https://doi.org/10.1016/j.aim.2021.107856 NOTE ON FACTORIZATION CATEGORIES 125

    work page doi:10.1016/j.aim.2021.107856 2021

  33. [33]

    Raskin, Chiral principal series categories II: the factorizable Whitaker category, available at https://gauss.math.yale.edu/∼sr2532/

    S. Raskin, Chiral principal series categories II: the factorizable Whitaker category, available at https://gauss.math.yale.edu/∼sr2532/

    work page

  34. [34]

    R. C. Reich, Twisted geometric Satake equivalence via gerbes on the factorizable grassmannian, Repr. Theory, An Electronic Journal of the AMS, Volume 16, 345 - 449 (2012), DOI: 10.1090/s1088- 4165-2012-00420-4 Institut Elie Cartan Lorraine, Universit´e de Lorraine, B.P. 239, F-54506 Vandoeuvre- l`es-Nancy Cedex, France Email address: Sergey.Lysenko@univ-l...

    work page doi:10.1090/s1088- 2012