Pith. sign in

REVIEW 4 major objections 5 minor 1 cited by

Curved $\infty$-Local Systems And Projectively Flat Riemann-Hilbert Correspondence

T0 review · 4 major / 5 minor · reviewed 2026-08-12 · deepseek-v4-flash

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

Pith's one-line read The higher Riemann–Hilbert correspondence survives a fixed scalar curvature: for any closed 2-form h, curved local systems, projectively flat graded vector bundles, and curved loop-space representations form equivalent dg-categories.

desk verdict A substantial, technically serious extension of the higher Riemann-Hilbert correspondence to curved/twisted settings; the main equivalences look right, but the Dolbeault non-compact generalization and a few deferred proofs need attention before I'd trust it fully. read the letter →

arxiv 2411.19595 v1 pith:IKNENLHJ submitted 2024-11-29 math.AT math.DG

Patrick Antweiler This is my paper · ORCID
classification math.ATmath.DG MSC 55N3014F0832L1053C0558A12
keywords curved∞-localsystemsprojectivelyflatgradedvectorbundleshigherRiemann-HilbertcorrespondencetwistedsheavesMooreloopspacecohesivemodulesDolbeaultalgebraA∞-quasiequivalence
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 extends the higher Riemann–Hilbert correspondence to settings with a fixed scalar curvature, namely a closed 2-form h on a smooth manifold M. It proves that three dg-categories—curved ∞-local systems, graded vector bundles with projectively flat Z-graded connections, and curved representations of the based Moore loop space—are all A∞-quasi equivalent for the same h. That equivalence yields dg-enhancements of the bounded derived category of twisted locally constant sheaves with finite-dimensional fibers, so curvature h is implemented by twisting sheaves by a gerbe. In the ungraded case the same framework gives a precise correspondence between projectively flat vector bundles and projective representations of the fundamental group, with a computable obstruction deciding which projective representations actually arise. A final application transfers the machinery to the curved Dolbeault algebra of a possibly non-compact complex manifold, recovering a twisted-sheaf statement previously known only in the compact case.

What carries the argument

The load-bearing mechanism is a family of holonomy forms, defined as unique solutions of first-order differential equations on path space rather than by summing iterated integrals. These forms assemble the parallel transport of a projectively flat graded connection into simplicial data, and the higher Riemann–Hilbert functor is built by integrating them over a collection of smooth cube-to-simplex maps satisfying explicit admissibility axioms. Around this, the paper develops a general criterion, Theorem 3.3.9, that upgrades an A∞-quasi equivalence on objects with zero curvature to an A∞-quasi equivalence of the associated dg-categories of twisted complexes, provided both curved categories are sufficiently Maurer–Cartan and split. That criterion is what lets curvature be carried through the correspondence without re-doing the full homotopy theory at each step.

What would settle it

Find a non-compact complex manifold X and a closed (0,2)-form h such that some object of $H^{0}$(($Ω^{{0,*}}$(X),h)-Mod_coh) is not, on any neighbourhood, homotopy equivalent to $Ω^{{0,*}}$⊗_{O_X} W^* with W^* bounded and finitely generated projective over O_X; that would make J fail to land in DB_perf(X)_h and break Theorem 7.4.3, while leaving the loop-space equivalences of Sections 4–5 intact.

Watch

Extended reading notes

Core claim

The paper's central claim is that scalar curvature is compatible with every level of the Riemann–Hilbert correspondence. For any closed 2-form h, Theorems 4.5.6 and 5.2.11 give A∞-quasi equivalences among the dg-category of h-curved cohesive modules, the dg-category of h-curved ∞-local systems, and the dg-category of curved representations of the singular simplicial set of the based Moore loop space. Theorem 5.4.5 then packages all scalar curvatures into an ordinary equivalence between projectively flat graded vector bundles and logarithmic projective representations of the loop space; its ungraded specialization, Theorem 6.1.9, says projectively flat bundles correspond exactly to projective representations of π1(M;x0) whose curvature class is killed by $H^{2}$(π1(M),C*) → $H^{3}$(M,Z). In Section 7 the paper proves that these dg-categories enhance the bounded derived category of twisted locally constant sheaves (Theorem 7.3.3) and, for a complex manifold, identifies cohesive modules over the curved Dolbeault algebra with globally bounded perfect twisted sheaves, with the embedding into bounded coherent twisted sheaves becoming an equivalence when the manifold is compact (Theorem 7.4.3).

Load-bearing premise

The whole twisted-sheaf conclusion in Section 7 rests on assuming that every locally projective graded module over the resolution algebra can locally be descended to a bounded, finitely generated, projective module over the underlying coefficient sheaf; in the complex-manifold application this lifting is asserted to follow from a lemma stated for compact manifolds, and if the lifting fails away from compactness the Dolbeault equivalence collapses even though the loop-space equivalences may survive.

Editorial extensions

If this is right

  • For each closed 2-form h, the homotopy category of h-curved cohesive modules is equivalent to the derived category of h-twisted locally constant sheaves with bounded, finite-dimensional cohomology, so scalar curvature is exactly a gerbe twist.
  • A projectively flat vector bundle over a connected manifold corresponds to a projective representation of π1(M;x0) whose curvature is annihilated by H^2(π1(M),C*) → H^3(M,Z); Example 6.2.2 shows the obstruction is non-trivial, since a projective representation of π1(RP^2 × S^1) with generator curvature is realized by no projectively flat bundle.
  • Over the real numbers, projective flatness is a disguised version of flatness: every non-zero projectively flat real bundle has exact curvature, so the h-curved category is equivalent to the flat one when [h]=0 and is zero otherwise (Theorem 6.3.2).
  • For a possibly non-compact complex manifold, cohesive modules over the curved Dolbeault algebra form a dg-enhancement of the bounded derived category of globally bounded perfect twisted sheaves, embedding fully faithfully into bounded coherent twisted sheaves and equalling it in the compact case.

Reading between the lines

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

  • The paper leaves implicit that the same Section 7 machine would work for any soft, exponentiable resolution of a coefficient sheaf; replacing de Rham or Dolbeault forms with another soft resolution would give a twisted Riemann–Hilbert correspondence in that geometry.
  • The projective categories PF∞(M) and LPRep(ΩM) identify objects up to tensor product by line bundles; a natural next step is to check whether the equivalence intertwines characteristic-class invariants, such as the projective Chern class of a bundle with the curvature class of the corresponding loop-space representation.
  • A sharper test of Theorem 7.4.3 outside compactness is to compute the essential image of J on a non-compact Stein manifold, where vanishing of coherent cohomology makes the bounded coherent side easier to describe; if the image strictly misses some bounded perfect twisted sheaf, the lifting assumption is genuinely needed, not automatic.
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

4 major / 5 minor

Summary. The paper develops a curved version of the higher Riemann-Hilbert correspondence. For a fixed closed 2-form h on a smooth manifold M, it introduces dg-categories of h-curved cohesive modules P(M)_∞[h], h-curved ∞-local systems Loc(M)_∞[H], and curved representations of the singular simplicial set of the Moore loop space, and shows via A∞-quasi equivalences that they are all equivalent (Theorems 4.5.6, 5.2.11, and 5.4.5). It then proves 1-categorical reductions to projectively flat vector bundles and projective representations of π_1(M), and in the final section gives a general twisted-sheaf correspondence: cohesive modules over a curved sheaf of dg-algebras are equivalent to globally bounded perfect twisted sheaves (Theorem 7.2.20), with applications to the de Rham algebra (Theorem 7.3.3) and to the Dolbeault algebra of a possibly non-compact complex manifold (Theorem 7.4.3), generalizing a result of Block.

Significance. If the main results hold, they provide a coherent dg-enhancement framework for the bounded derived category of twisted locally constant sheaves and a useful categorical description of projectively flat graded bundles. The paper's technical core is substantial: the holonomy-form machinery is developed in detail, the A∞-relations are verified explicitly, and the twisted-complex criterion of Theorem 3.3.9 is a useful general tool. The h=0 specialization correctly matches the established higher Riemann-Hilbert results of [BS14], [Hol14a], [Hol14b], [CHL21], and [AS16], which provides a consistency check. The main advertised new applications, especially the non-compact Dolbeault theorem and the projectively flat loop-space equivalence, are significant if the deferred assumptions are verified.

major comments (4)
  1. [§7.2–7.4] Assumption 6 (referred to as 'Assumption 7' in §7.3 and §7.4) is load-bearing for the Dolbeault theorem, but it is not verified for non-compact complex manifolds. The assertion in §7.4 that 'Assumption 7 follows by [Blo09, Lemma 4.1.5]' is insufficient: Block's lemma is formulated for compact complex manifolds, and the manuscript does not reproduce the lemma or check that its hypotheses continue to hold when X is non-compact, even though the abstract advertises exactly that generalization. Since Proposition 7.2.18 and hence Theorem 7.4.3 depend on this local realizability property, the paper should either prove Assumption 6 directly for non-compact X or identify the precise hypotheses in [Blo09] that apply. The same issue affects §7.3, where Assumption 7 is said to follow from homotopy invariance without a demonstration.
  2. [Lemma 4.5.4] The proof of the isomorphism of complexes C^*(M,(Q,∇)) ≅ Hom^*_{Loc(M)^0[H]}(RH(E),RH(F)) is omitted ('we leave it to the reader'). This lemma is the mechanism for quasi-fully faithfulness of RH^0, and Theorem 4.5.6 depends on it. Please provide a complete proof or a precise reference covering the curved case; in particular, the identity relating parallel transport and the exponential factors, and the comparison of the two differentials, should be written out.
  3. [Proposition 3.3.8] Essential surjectivity of Tw(F) in Theorem 3.3.9 relies on Proposition A.9 of [AS16], which is neither stated nor proved in the manuscript. The hypotheses to be checked include the existence of the Maurer-Cartan element F, the invertible element g, and the compatibility of Tw(F) with the auxiliary-degree filtration. Please state the external proposition and verify its hypotheses in the present setting, or give a self-contained argument.
  4. [Example 6.2.2] The cohomology table for M = RP^2 × S^1 appears inconsistent with the Künneth theorem: for example H^3(RP^2 × S^1; Z) = 0 and H^2(RP^2 × S^1; C) = 0, while the table lists Z/2 × Z and Z/2 × C respectively. Since the example is used to show that the projective representation f does not arise from a projectively flat vector bundle, the computation of the image of H^2(π_1(M); C^*) in H^3(M; Z) must be redone.
minor comments (5)
  1. [Theorem 3.3.9] The statement says 'Tw(F) : Tw(C) → Tw(C)'; the target should be Tw(D).
  2. [§7.2] The assumptions are numbered 1–6, but §7.3 and §7.4 refer to 'Assumption 7'; please renumber or cross-reference consistently.
  3. [Theorem 7.4.3] The displayed equivalence repeats the same category on both sides: H^0((Ω^{0,*}(X),h)-Mod_coh) → H^0((Ω^{0,*}(X),h)-Mod_coh); one side should presumably be the sheafified category (A^*,h)-Mod_coh from §7.2, and the variable in h ∈ Ω^{0,2}_{cl}(M) should be X.
  4. [Lemma 4.6.4] The phrase 'By Definition 2 in Proposition 4.2.2' should refer to property (2) of that proposition, and the references to property 4 later in the proof should be made precise.
  5. [§6.2] The table in Example 6.2.1 and the surrounding notation for cohomology groups would benefit from explicit coefficient conventions, since singular cohomology with coefficients in C^* and C are used side by side.

Circularity Check

0 steps flagged · score 2.0 of 10

No circular derivation found: the curved Riemann–Hilbert equivalences are proved internally; the self-citations and the external Block-citation gap are correctness concerns, not circular reductions.

full rationale

The central derivation chain is self-contained. Theorem 3.3.9 proves a general transfer criterion: a proper A-infinity functor between split, sufficiently Maurer–Cartan cdg-categories whose degree-zero part is a quasi-equivalence induces a quasi-equivalence on twisted complexes. Section 4 constructs the higher Riemann–Hilbert functor explicitly from holonomy forms and checks the degree-zero case using parallel transport and the de Rham quasi-isomorphism for flat bundles (Lemmas 4.5.2–4.5.4, Corollary 4.5.5), giving Theorem 4.5.6 by the internal criterion. Section 5 similarly constructs the loop-space representation functor and proves Theorem 5.2.11; the h=0 quasi-fully-faithfulness is imported from the external, published [AS16, Prop. 4.17], and the new curved content is not forced by a definitional identity. The h=0 specializations to [BS14], [AS16], [CHL21], [Hol14a], and [Hol14b] are consequences of the new theorems rather than inputs. The main external delegation is in Section 7.4: 'Assumption 7 follows by [Blo09, Lemma 4.1.5]', where Assumption 7 is item 6 of Section 7.2. This is an appeal to an external lemma rather than to the theorem being proved; whether Block's lemma remains valid for possibly non-compact complex manifolds is a correctness risk, not a circular step. The self-citations to the advisor's [Hol14a], [Hol14b], and [CHL21] appear in the introduction and as methodological motivation, and no load-bearing claim in Sections 4–7 reduces to them. The low score reflects only the minor self-citation presence and the unverified external-citation gap, not any circular argument.

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

The central claims rest on standard differential geometry and homological algebra (de Rham theorem, Serre-Swan, Poincaré lemma, spectral sequences, K-projective/injective resolutions) and on the established uncurved higher Riemann-Hilbert theorems. Section 7 additionally assumes a list of technical hypotheses on the algebra sheaf A^*, including softness, exponentiability, K-flatness, and a local lifting property; the Dolbeault verification of the latter is delegated to Block's compact-manifold lemma. No free parameters are fitted and no new entities are postulated.

assumptions (5)
  • domain assumption M is a real connected smooth manifold, possibly non-compact; K = R or C; all vector bundles are finite-dimensional and smooth.
    Used throughout (Section 2) as the setting for connections, parallel transport, and the Serre-Swan correspondence; the non-compactness is part of the claimed generalization.
  • standard math de Rham isomorphism for flat vector bundles: DR: Ω^*(M,Q) → C^*(M,(Q,∇)) is a quasi-isomorphism.
    Invoked in Lemma 4.5.4 and Corollary 4.5.5, and again in Section 5.2, to prove quasi-fully faithfulness of the Riemann-Hilbert functors.
  • domain assumption P(M)pre[h] and Loc(M)pre[H] are sufficiently Maurer-Cartan and split.
    Proved in Lemmas 4.0.3, 4.0.6, and 4.5.1; these conditions are exactly what is needed to apply Theorem 3.3.9 and obtain the A-infinity quasi-equivalences.
  • standard math The uncurved higher Riemann-Hilbert results of [BS14], [CHL21], [AS16], [Hol14a], and [Hol14b] are correct.
    The h=0 specializations reduce to these published results; the paper cites them as external benchmarks rather than reproving them.
  • domain assumption Assumptions 7.2 (items 1-6) for the twisted-sheaf Riemann-Hilbert theorem, in particular the local lifting property (item 6), softness, exponentiability, and K-flatness of A^*.
    Stated as Assumptions 7.2 before Theorem 7.2.20; the Dolbeault case delegates the lifting property to [Blo09, Lemma 4.1.5] (Section 7.4) without re-proof for non-compact manifolds.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Curved $\infty$-Local Systems And Projectively Flat Riemann-Hilbert Correspondence." pith.science (2026). https://pith.science/paper/IKNENLHJ

@misc{pith2026241119595,
  author       = {Pith},
  title        = {Pith review of: Curved $\infty$-Local Systems And Projectively Flat Riemann-Hilbert Correspondence},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/IKNENLHJ}},
  note         = {Machine review of arXiv:2411.19595}
}
abstract

We generalize the higher Riemann-Hilbert correspondence in the presence of scalar curvature for a (possibly non-compact) smooth manifold $M$. We show that the dg-category of curved $\infty$-local systems, the dg-category of graded vector bundles with projectively flat $\mathbb Z$-graded connections and the dg-category of curved representations of the singular simplicial set of the based loop space of $M$ are all $A_\infty$-quasi equivalent. They provide dg-enhancements of the subcategory of the bounded derived category of twisted sheaves whose cohomology sheaves are locally constant and have finite-dimensional fibers. In the ungraded case, we reduce to an equivalence between projectively flat vector bundles and a subcategory of projective representations of $\pi_1(M; x_0)$. As an application of our general framework, we also prove that the category of cohesive modules over the curved Dolbeault algebra of a complex manifold $X$ is equivalent to a subcategory of the bounded derived category of twisted sheaves of $\mathcal O_X$-modules which generalizes a theorem due to Block to possibly non-compact complex manifolds.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Continuous Hochschild Cohomology and Formality

    math.QA 2025-12 reject novelty 6.0 of 10

    A continuous contraderived-category framework and formality theorems are proposed, but the foundational product/tensor-product lemma is false and the de Rham formality claim has a counterexample.

Reference graph

Works this paper leans on

19 extracted references · 9 canonical work pages · cited by 1 Pith paper

  1. [11]

    [Hol14a] J

    doi:10.1215/ijm/1256049021. [Hol14a] J. Holstein. Morita cohomology. Mathematical Proceedings of the Cambridge Philosophical Society , 158(1):1–26, December

    arXiv

  2. [12]

    96 [Hol14b] J

    doi:10.1017/s0305004114000516. 96 [Hol14b] J. Holstein. Morita cohomology and homotopy local ly constant sheaves. Math- ematical Proceedings of the Cambridge Philosophical Socie ty, 158(1):27–35, December

    work page doi:10.1017/s0305004114000516

  3. [13]

    [Igu09] K

    doi:10.1017/s0305004114000528. [Igu09] K. Igusa. Iterated integrals of superconnections. 12

    work page doi:10.1017/s0305004114000528

  4. [14]

    [Kel05] B

    arXiv:0912.0249. [Kel05] B. Keller. A-infinity algebras, modules and functor categories. 11

    arXiv

  5. [17]

    [TT07] R

    doi:10.4310/jdg/1228400631. [TT07] R. W. Thomason and T. Trobaugh. Higher Algebraic K-Theory of Schemes and of Derived Categories , pages 247–435. Birkhäuser Boston, Boston, MA,

    work page arXiv

  6. [18]

    [Wei94] C

    doi:10.1007/978-0-8176-4576-2_10 . [Wei94] C. A. Weibel. An Introduction to Homological Algebra . Cambridge Studies in Advanced Mathematics. Cambridge University Pre ss,

    doi:10.1007/978-0-8176-4576-2_10

  7. [19]

    doi:10.1017/CBO9781139644136. 97

    doi:10.1017/cbo9781139644136

  8. [1977]

    [CHL21] J

    doi:10.1090/S0002-9904-1977-14320-6 . [CHL21] J. Chuang, J. Holstein, and A. Lazarev. Maurer–Cart an moduli and theorems of Riemann–Hilbert type. Applied Categorical Structures, 29(4):685–728,

    doi:10.1090/s0002-9904-1977-14320-6 1977

Show all 19 references
  1. [1991]

    [Blo09] J

    doi:10.1070/SM1991v070n01ABEH001253. [Blo09] J. Block. Duality and equivalence of module categor ies in noncommutative geometry i,

    doi

  2. [1994]

    [GPW07] O

    doi:10.1002/9781118032527.ch4. [GPW07] O. Garcia-Prada and R. O. Wells. Differential Analysis on Complex Man- ifolds. Graduate Texts in Mathematics. Springer New York,

    doi

  3. [2005]

    [Low07] W

    doi:10.1090/conm/406/07654. [Low07] W. Lowen. Hochschild cohomology, the characterist ic morphism and derived deformations. Compositio Mathematica , 144, 08

    doi

  4. [2007]

    [Lur18] J

    doi:10.1112/S0010437X08003655. [Lur18] J. Lurie. Kerodon. https://kerodon.net,

    doi

  5. [2009]

    [BS14] J

    arXiv:math/0509284. [BS14] J. Block and A. M. Smith. The higher Riemann–Hilbert c or- respondence. Advances in Mathematics , 252:382–405,

    arXiv

  6. [2010]

    [Ber11] T

    doi:10.1515/crelle.2010.014. [Ber11] T. Bertrand. Lectures on DG-Categories , pages 243–302. Springer Berlin Heidelberg, Berlin, Heidelberg,

    2010 doi

  7. [2011]

    [BK91] A

    doi:10.1007/978-3-642-15708-0_5 . [BK91] A. I. Bondal and M. M. Kapranov. Enhanced triangulate d cat- egories. Mathematics of the USSR-Sbornik , 70(1):93, feb

    doi

  8. [2014]

    [Che77] K-T

    doi:10.1016/j.aim.2013.11.001. [Che77] K-T. Chen. Iterated path integrals. Bull. Am. Math. Soc. , 83:831–879,

    2013 doi

  9. [2015]

    [AS16] C

    arXiv:1506.03711. [AS16] C. A. Abad and F. Schätz. Flat Z-graded connections an d loop spaces. International Mathematics Research Notices , 2018(4):961–1008, 12

    2018 arXiv

  10. [2016]

    [BD10] J

    doi:10.1093/imrn/rnw258. [BD10] J. Block and C. Daenzer. Mukai duality for gerbes with connection. Jour- nal für die reine und angewandte Mathematik , 2010(639):131–171,

    2010 doi

  11. [2021]

    [GH94] P

    doi:10.1007/s10485-021-09631-3 . [GH94] P. Griffiths and J. Harris. Surfaces, Principles of Algebraic Geom- etry, chapter 4, pages 469–646. John Wiley and Sons, Ltd,

    doi

Pith tools

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