Relative Riemann-Hilbert and Newlander-Nirenberg Theorems for torsion-free analytic sheaves on maximal and homogeneous spaces

Thomas Kurbach

arxiv: 2506.05841 · v2 · submitted 2025-06-06 · 🧮 math.CV

Relative Riemann-Hilbert and Newlander-Nirenberg Theorems for torsion-free analytic sheaves on maximal and homogeneous spaces

Thomas Kurbach This is my paper

Pith reviewed 2026-05-19 11:41 UTC · model grok-4.3

classification 🧮 math.CV

keywords Riemann-Hilbert theoremNewlander-Nirenberg theoremanalytic sheavesflat connectionslocal systemscomplex analytic spacestorsion-free sheavesrelative connections

0 comments

The pith

Tame flat relative connections on torsion-free sheaves correspond one-to-one with torsion-free relative local systems for locally trivial morphisms between reduced complex analytic spaces.

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

The paper shows that the Relative Riemann-Hilbert correspondence extends, up to torsion, to locally trivial complex analytic morphisms between reduced spaces: tame flat relative connections on torsion-free sheaves stand in bijection with torsion-free relative local systems. Generalized bar partial operators on real analytic sheaves are then interpreted as relative complex analytic connections on the complexification of the underlying real analytic space. Applying the relative correspondence produces a Newlander-Nirenberg type theorem for those operators on torsion-free real analytic sheaves. In the absolute setting the same machinery yields a bijection between tame flat analytic connections and local systems on maximal and homogeneous analytic spaces, hence with linear representations of the fundamental group when the space is connected.

Core claim

For locally trivial complex analytic morphisms between reduced spaces, tame flat relative connections on torsion-free sheaves are in one-to-one correspondence with torsion-free relative local systems. Generalized bar partial operators on real analytic sheaves become relative complex analytic connections on the complexification of the space; the relative Riemann-Hilbert theorem then gives a Newlander-Nirenberg theorem for torsion-free real analytic sheaves. On maximal and homogeneous analytic spaces, tame flat analytic connections correspond bijectively to local systems, which correspond to linear representations of the fundamental group when the space is connected.

What carries the argument

Tame flat relative connections on torsion-free sheaves, shown to correspond bijectively to torsion-free relative local systems under the stated hypotheses on morphisms and spaces.

If this is right

The relative Riemann-Hilbert theorem holds up to torsion for locally trivial morphisms between reduced spaces.
Generalized bar partial operators on real analytic sheaves are equivalent to relative connections on complexifications.
A Newlander-Nirenberg type result holds for torsion-free real analytic sheaves over complex analytic varieties.
On maximal and homogeneous analytic spaces, tame flat connections are in bijection with representations of the fundamental group.

Where Pith is reading between the lines

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

The correspondence may classify holomorphic structures on real analytic varieties that satisfy the maximality and homogeneity conditions.
Similar extensions of the Riemann-Hilbert and Newlander-Nirenberg statements could be tested on other classes of reduced analytic spaces.
The local-system side of the correspondence opens a route to deformation theory or moduli problems for torsion-free sheaves on these spaces.

Load-bearing premise

The morphisms must be locally trivial complex analytic maps between reduced spaces, and in the non-relative case the spaces must be maximal and homogeneous.

What would settle it

A counterexample would be a torsion-free sheaf on a maximal homogeneous complex analytic space carrying a tame flat connection that fails to arise from any local system on the space.

read the original abstract

In this paper it is shown that for locally trivial complex analytic morphisms between some reduced spaces the Relative Riemann-Hilbert Theorem still holds up to torsion, i.e. tame flat relative connections on torsion-free sheaves are in 1-to-1 correspondence with torsion-free relative local systems. Subsequently, it is shown that generalised $\bar{\partial}$-operators on real analytic sheaves over complex analytic spaces can be viewed as relative complex analytic connections on the complexification of the underlying real analytic space with respect to a canonical morphism. By means of complexification, the Relative Riemann-Hilbert Theorem then yields a Newlander-Nirenberg type theorem for $\bar{\partial}$-operators on torsion-free real analytic sheaves over some complex analytic varieties. In the non-relative case, this result shows that on all maximal and homogeneous analytic spaces tame flat analytic connections are in 1-to-1 correspondence with local systems, which in turn are in 1-to-1 correspondence with linear representations of the fundamental group assuming connectedness.

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.

Desk Editor's Note private letter to a colleague

The paper gives a relative Riemann-Hilbert statement for torsion-free sheaves and derives a Newlander-Nirenberg result from it via complexification, but the link rests on whether the canonical morphism is locally trivial.

read the letter

The main thing to know is that the paper states a relative Riemann-Hilbert correspondence for tame flat connections on torsion-free sheaves over locally trivial morphisms between reduced complex analytic spaces, and then uses that to produce a Newlander-Nirenberg type theorem for generalized d-bar operators on real analytic sheaves by recasting them as relative connections on the complexification. In the absolute case it recovers the usual link from connections to local systems to fundamental group representations on maximal and homogeneous spaces. That is the concrete output. The relative version and the torsion-free restriction are the parts that go beyond the classical statements, and the complexification trick is a direct way to move from real analytic data to the relative setting. The non-relative application on homogeneous spaces looks like a clean special case that ties back to representation theory. The abstract lays out the logic without obvious circularity or invented objects. The proofs would still need checking for how they control the torsion and verify the analytic properties. The soft spot is exactly the one the stress-test flags. The relative theorem is only claimed for locally trivial morphisms, yet the abstract gives no sign that the canonical morphism from the complexification satisfies local triviality or that the complexified space stays reduced. If either fails, the Newlander-Nirenberg claim does not follow from the relative result. This is not a minor technicality; it is load-bearing for the second half of the paper. If the full text shows that local triviality holds by construction or by an extra argument, then the gap closes. Otherwise the derivation needs repair. The work is aimed at people who already know the classical Riemann-Hilbert and Newlander-Nirenberg theorems in several complex variables and want to see how they behave under relative morphisms or on real analytic sheaves. A reader who cares about sheaf-theoretic generalizations on analytic spaces would get the most out of it. It is worth sending to referees because the statements are specific, the strategy is clear, and the potential flaw is localized enough that a careful review can settle it without rewriting the whole paper.

Referee Report

1 major / 1 minor

Summary. The manuscript establishes a relative Riemann-Hilbert correspondence (up to torsion) stating that tame flat relative connections on torsion-free sheaves are in 1-to-1 correspondence with torsion-free relative local systems, for locally trivial complex analytic morphisms between reduced spaces. It then recasts generalized ∂-bar operators on real analytic sheaves as relative complex-analytic connections on the complexification of the underlying real space with respect to a canonical morphism, and invokes the relative result to obtain a Newlander-Nirenberg-type theorem for such operators on torsion-free real analytic sheaves. In the non-relative case the paper claims that, on maximal and homogeneous analytic spaces, tame flat analytic connections correspond to local systems, which in turn correspond to linear representations of the fundamental group (assuming connectedness).

Significance. If the central derivations are correct, the work extends the classical Riemann-Hilbert and Newlander-Nirenberg theorems to a relative setting while restricting to torsion-free sheaves and to maximal/homogeneous spaces; such correspondences can be useful for questions in analytic geometry and representation theory of fundamental groups on homogeneous spaces. No machine-checked proofs or parameter-free derivations are indicated in the provided material.

major comments (1)

[complexification paragraph / derivation of NN theorem] The derivation of the Newlander-Nirenberg-type theorem (the paragraph beginning 'By means of complexification...') proceeds by identifying generalized ∂-bar operators with relative complex-analytic connections on the complexification and then applying the relative Riemann-Hilbert theorem. The latter is stated only for locally trivial complex-analytic morphisms between reduced spaces, yet the manuscript supplies no argument that the canonical morphism satisfies local triviality or that the complexification remains reduced. This verification is load-bearing for the claimed implication.

minor comments (1)

The abstract and introduction would benefit from an explicit statement of the precise class of 'some reduced spaces' and 'some complex analytic varieties' to which the results apply.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and for identifying a point that strengthens the rigor of our derivation of the Newlander-Nirenberg-type theorem. We address the major comment below.

read point-by-point responses

Referee: The derivation of the Newlander-Nirenberg-type theorem (the paragraph beginning 'By means of complexification...') proceeds by identifying generalized ∂-bar operators with relative complex-analytic connections on the complexification and then applying the relative Riemann-Hilbert theorem. The latter is stated only for locally trivial complex-analytic morphisms between reduced spaces, yet the manuscript supplies no argument that the canonical morphism satisfies local triviality or that the complexification remains reduced. This verification is load-bearing for the claimed implication.

Authors: We agree that the manuscript does not explicitly verify these hypotheses for the canonical morphism arising in the complexification construction. In the revised version we will insert a short proposition immediately after the definition of the complexification, showing that the canonical morphism is locally trivial (by local models reducing to the standard complexification of real-analytic manifolds, which are locally trivial) and that reducedness of the base is preserved. This addition will make the application of the relative Riemann-Hilbert theorem fully justified. revision: yes

Circularity Check

0 steps flagged

No circularity: derivation proceeds from stated assumptions to theorems without self-referential reductions

full rationale

The paper first proves the relative Riemann-Hilbert correspondence for tame flat connections on torsion-free sheaves corresponding to torsion-free local systems, under the explicit hypothesis of locally trivial complex analytic morphisms between reduced spaces. It then shows that generalized ∂-bar operators on real analytic sheaves arise as relative connections on the complexification via a canonical morphism, and applies the prior result to obtain the Newlander-Nirenberg-type statement for torsion-free sheaves. The non-relative case on maximal and homogeneous spaces follows directly as a specialization. No equation or step reduces by construction to a fitted input, self-definition, or load-bearing self-citation; each correspondence is derived as a theorem from the given conditions rather than presupposed. The chain is self-contained against external mathematical benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The paper works inside existing sheaf theory and analytic geometry; no new free parameters, invented entities, or ad-hoc axioms are introduced in the abstract.

axioms (1)

standard math Standard axioms and definitions of complex analytic spaces, sheaves, connections, and local systems.
The stated theorems presuppose the usual foundations of analytic geometry and sheaf cohomology.

pith-pipeline@v0.9.0 · 5708 in / 1169 out tokens · 64224 ms · 2026-05-19T11:41:42.833197+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

tame flat relative connections on torsion-free sheaves are in 1-to-1 correspondence with torsion-free relative local systems
IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

complexification of real analytic spaces and canonical morphism Φ : M^C → M

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

19 extracted references · 19 canonical work pages

[1]

Equations Diff´ erentielles ` a Points Singuliers R´ eguliers

Pierre Deligne. Equations Diff´ erentielles ` a Points Singuliers R´ eguliers. 01 1970

work page 1970
[2]

Guaraldo, P

F. Guaraldo, P. Macri, and A. Tancredi. Topics on Real Analytic Spaces . Friedr. Vieweg & Sohn, Braunschweig, 1986

work page 1986
[3]

G. Fischer. Complex analytic geometry . Springer-Verlage Berlin-Heidelberg, 1976

work page 1976
[4]

G. E. Bredon. Sheaf Theory. Springer Science+Business Media New York, 1997

work page 1997
[5]

E. Kunz. K¨ ahler Differentials. Spinger Fachmedien Wiesbaden, 1986

work page 1986
[6]

Y. Siu. Techniques of extension of analytic objects . Marcel Beker, Inc New York, 1974

work page 1974
[7]

Grauert and R

H. Grauert and R. Remmert. Coherent Analytic Sheaves. Spinger-Verlag Berlin-Heidelberg, 1984

work page 1984
[8]

Modifications of torsion-free coherent analytic sheaves

Jean Ruppenthal and Martin Sera. Modifications of torsion-free coherent analytic sheaves. Annales de L‘institut Fourier , 67:237–265, 2017

work page 2017
[9]

Narasimhan

R. Narasimhan. Introduction to the Theory of Analytic Spaces . Spinger-Verlag Berlin- Heidelberg, 1966

work page 1966
[10]

H. J. Reiffen. Das Lemma von Poincar´ e f¨ ur holomorphe Differentialformen auf komplexen R¨ aumen.Mathematische Zeitschrift, 101:269–284, 1967

work page 1967
[11]

H. Rossi. Vector fields on analytic spaces. Ann. of Math , 78:455–467, 1963

work page 1963
[12]

Adkins, Aldo Andreotti, and J.V

William A. Adkins, Aldo Andreotti, and J.V. Leahy. An analogue of oka’s theorem for weakly normal complex spaces. Pacific Journal of Mathematics , 68:297–301, 1977

work page 1977
[13]

Komplexe r¨ aume

Hans Grauert and Reinhold Remmert. Komplexe r¨ aume. Mathematische Annalen, 136:245– 318, 1958

work page 1958
[14]

Resolution of singularities of analytic spaces

Jaroslaw Wlodarczyk. Resolution of singularities of analytic spaces. Proceedings of 15th G¨ okova Geometry-Topology Conference, pages 31–63, 11

work page
[15]

Holomorphic and differentiable tangent spaces to a complex analytic variety

Joseph Becker. Holomorphic and differentiable tangent spaces to a complex analytic variety. Journal of Differential Geometry , 12:377–401, 1977

work page 1977
[16]

H. Grauert. Analytische faserungen ¨ uber holomorph-vollst¨ andigen ra¨ umen.Mathematische Annalen, 135:263–273, 1958. 68 THOMAS KURBACH

work page 1958
[17]

J. L. Koszul and B. Malgrange. Sur certaines structures fibr´ ees complexes.Archiv der Math- ematik, 9:102–109, 04 1958

work page 1958
[18]

Faisceaux ¯∂-coh´ erents sur les vari´ et´ es complexes.Mathematische Annalen, 336, 11 2006

Nefton Pali. Faisceaux ¯∂-coh´ erents sur les vari´ et´ es complexes.Mathematische Annalen, 336, 11 2006

work page 2006
[19]

A complex frobenius theorem, multiplier ideal sheaves and hermitian-einstein metrics on stable bundles

Ben Weinkove. A complex frobenius theorem, multiplier ideal sheaves and hermitian-einstein metrics on stable bundles. Transactions of the American Mathematical Society, 359, 07 2003

work page 2003

[1] [1]

Equations Diff´ erentielles ` a Points Singuliers R´ eguliers

Pierre Deligne. Equations Diff´ erentielles ` a Points Singuliers R´ eguliers. 01 1970

work page 1970

[2] [2]

Guaraldo, P

F. Guaraldo, P. Macri, and A. Tancredi. Topics on Real Analytic Spaces . Friedr. Vieweg & Sohn, Braunschweig, 1986

work page 1986

[3] [3]

G. Fischer. Complex analytic geometry . Springer-Verlage Berlin-Heidelberg, 1976

work page 1976

[4] [4]

G. E. Bredon. Sheaf Theory. Springer Science+Business Media New York, 1997

work page 1997

[5] [5]

E. Kunz. K¨ ahler Differentials. Spinger Fachmedien Wiesbaden, 1986

work page 1986

[6] [6]

Y. Siu. Techniques of extension of analytic objects . Marcel Beker, Inc New York, 1974

work page 1974

[7] [7]

Grauert and R

H. Grauert and R. Remmert. Coherent Analytic Sheaves. Spinger-Verlag Berlin-Heidelberg, 1984

work page 1984

[8] [8]

Modifications of torsion-free coherent analytic sheaves

Jean Ruppenthal and Martin Sera. Modifications of torsion-free coherent analytic sheaves. Annales de L‘institut Fourier , 67:237–265, 2017

work page 2017

[9] [9]

Narasimhan

R. Narasimhan. Introduction to the Theory of Analytic Spaces . Spinger-Verlag Berlin- Heidelberg, 1966

work page 1966

[10] [10]

H. J. Reiffen. Das Lemma von Poincar´ e f¨ ur holomorphe Differentialformen auf komplexen R¨ aumen.Mathematische Zeitschrift, 101:269–284, 1967

work page 1967

[11] [11]

H. Rossi. Vector fields on analytic spaces. Ann. of Math , 78:455–467, 1963

work page 1963

[12] [12]

Adkins, Aldo Andreotti, and J.V

William A. Adkins, Aldo Andreotti, and J.V. Leahy. An analogue of oka’s theorem for weakly normal complex spaces. Pacific Journal of Mathematics , 68:297–301, 1977

work page 1977

[13] [13]

Komplexe r¨ aume

Hans Grauert and Reinhold Remmert. Komplexe r¨ aume. Mathematische Annalen, 136:245– 318, 1958

work page 1958

[14] [14]

Resolution of singularities of analytic spaces

Jaroslaw Wlodarczyk. Resolution of singularities of analytic spaces. Proceedings of 15th G¨ okova Geometry-Topology Conference, pages 31–63, 11

work page

[15] [15]

Holomorphic and differentiable tangent spaces to a complex analytic variety

Joseph Becker. Holomorphic and differentiable tangent spaces to a complex analytic variety. Journal of Differential Geometry , 12:377–401, 1977

work page 1977

[16] [16]

H. Grauert. Analytische faserungen ¨ uber holomorph-vollst¨ andigen ra¨ umen.Mathematische Annalen, 135:263–273, 1958. 68 THOMAS KURBACH

work page 1958

[17] [17]

J. L. Koszul and B. Malgrange. Sur certaines structures fibr´ ees complexes.Archiv der Math- ematik, 9:102–109, 04 1958

work page 1958

[18] [18]

Faisceaux ¯∂-coh´ erents sur les vari´ et´ es complexes.Mathematische Annalen, 336, 11 2006

Nefton Pali. Faisceaux ¯∂-coh´ erents sur les vari´ et´ es complexes.Mathematische Annalen, 336, 11 2006

work page 2006

[19] [19]

A complex frobenius theorem, multiplier ideal sheaves and hermitian-einstein metrics on stable bundles

Ben Weinkove. A complex frobenius theorem, multiplier ideal sheaves and hermitian-einstein metrics on stable bundles. Transactions of the American Mathematical Society, 359, 07 2003

work page 2003