Flat connections on moduli spaces I: Local (1,0)-extension of the DHS connection

Benjamin Enriquez; Eric D'Hoker; Federico Zerbini; Oliver Schlotterer

REVIEW

Flat connections on moduli spaces I: Local (1,0)-extension of the DHS connection

Eric D'Hoker, Benjamin Enriquez, Oliver Schlotterer, Federico Zerbini

High Energy Physics - Theory · Submitted 29 Aug 2026

Pith's verdict: Technically solid but honestly unfinished: explicit local formulas for the (1,0)-extension, but two key proofs (variational Schwarz identity and ttt vanishing) are deferred or indirect, making the main theorem conditional.

T0 · AI review

How this review was made: An AI referee (deepseek/deepseek-v4-flash) read the paper on September 9, 2026 and answered a fixed list of questions about it. T0 is the starting level every paper gets. The levels describe how deeply Pith has checked the paper, never the authors.

T0 AI review An AI read the paper and answered a fixed list of questions.
T1 Audit Automatic checks that the references and files the paper relies on exist and match.
T2 Compute The paper's code or calculations re-run with the same results.
T3 Formal statement The claims written out in a formal math language a computer can read.
T4 Proof Those claims proved, and the proof checked by computer.

How Pith checks papers →

· 3 major objections · 7 minor · Ask about this paper · The compiled record · Read the full review →

Challenge this review Comment (0) Read on arXiv ↗

Cite ▾

arXiv ID2608.29169 (version 2)

Pith IDF54CEAKG, Pith's permanent record of this paper and its review

CitationBenjamin Enriquez, Eric D'Hoker, Federico Zerbini, Oliver Schlotterer. "Flat connections on moduli spaces I: Local (1,0)-extension of the DHS connection." arXiv:2608.29169 (2026). https://pith.science/paper/F54CEAKG

Cite this reviewBibTeX for Pith's review of this paper

Claim paper

Why Pith says this

Highlight any text to comment on it.

Editor's note

read the letter

Here's the straight story on D'Hoker et al. 2608.29169. The paper constructs an explicit local (1,0)-extension of the DHS connection to Teichmüller space at arbitrary genus. The concrete formulas for L¹_ww and the action of L⁰_ww via variational derivatives of the modular tensors A and D are genuinely new. The genus-one reduction reproduces the published CEE connection, which is a solid external check. The proof architecture is coherent and the authors are unusually honest about what they haven't done. The soft spots are the ones they flag themselves: the rigorous proof of the variational Schwarz identity (3.21) is deferred to a subsequent paper (footnote 22), and the vanishing of the ttt contributions that ensures L⁰_ww is a derivation is established only indirectly, with the authors stating that 'the set of identities required … remains to be fully understood' (Section 8.1). The stress-test note is correct: if the linear relations among A, D, N are incomplete, the derivation property of L⁰_ww fails and the whole construction breaks. These are not hidden flaws—they are admitted limitations—but they mean the central claim is not fully proven in this paper. The reliance on unreviewed preprints [3] and [30] for load-bearing inputs adds further contingency. For the right reader—someone working on higher-genus flat connections, string amplitudes, or polylogarithms on moduli space—this is a useful and interesting construction. It deserves a serious referee, but the referee will need to evaluate whether the deferred and indirect arguments are credible enough to accept the result as conditional or whether they require the promised sequels. I would not cite this in my own work yet, because the main theorem rests on incomplete verification. But I would bring it to a reading group for the ideas. Accept peer review? Yes, because the paper is important enough and the work is honestly scoped. Recommendation: send to peer review; the referee should focus on Sections 8.1 and footnote 22.

Referee report

Major objections (3)

[§8.1 and footnote near (8.2)] The proof that the ttt contributions in (8.2) vanish is incomplete. The authors state that 'the set of identities required for Υ = 0 remains to be fully understood' and that the vanishing is established only 'indirectly.' This is a load-bearing gap: Theorem 6.7(a) (which asserts that [L^0_ww, [a_i^I, a_j^J]] ∈ I) relies on this vanishing to show L^0_ww acts as a derivation of ṭ_{h,n}. Without a complete verification, the central construction of L as a derivation-valued connection is not fully justified. The authors must either provide a complete proof or derive the necessary identities from known modular tensor relations.
[§4.3, Schemata 4.1] The ansatz that L has a-degree one (and that all flatness conditions split into (4.17a)–(4.17f) according to a-degree) is not forced by the geometry. The paper neither constructs nor excludes flat extensions with mixed a-degree. While uniqueness under this ansatz is later proved (Theorem 7.3), the assumption itself narrows the search space. The authors should discuss whether mixed-a-degree solutions could exist and, if not, provide a geometric or representation-theoretic justification for restricting to a-degree one.
[§2 and §3; references [3] and [30]] The DHS connection and the equivalence of its flatness to Fay/interchange identities are taken from the authors' own unpublished preprints [3] and [30]. While these are publicly available, they have not yet undergone peer review. The present paper's central construction depends on the results of those preprints. To support the reliability of the current work, the authors should either include the essential arguments (or a sketch thereof) in the present paper or cite published versions if available.

Minor objections (7)

[§1.4] Theorem 1 is stated without explicit reference to the a-degree-one ansatz. The statement should clarify that the solution is unique under the assumption that its a-degree is one (as noted in Theorem 7.3).
[§4.6.2, Lemma 4.12] The footnotes 27 and 28 referencing 'caveats similar to Lemma 4.11' are vague. The gluing argument for the objects Z^a_{iI} and Z^t_{ij} should be briefly summarised in the main text to improve readability.
[§5.1, Definition 5.1] The definition of the auxiliary Lie algebra u_{h,n} is clear, but it would be helpful to explicitly note that the ideal I is generated by [ṭa_i^I, ṭa_j^J] for i≠j (equation (5.2)), not by all relations omitted from t_{h,n}.
[§6.1, equation (6.3a)] The statement that [J̃^{(1,0)}_i, J̃^{(1,0)}_j] ∈ I is claimed without proof; it depends on the same Fay identities that are only referenced. The authors should either provide a brief justification or refer to [30] more precisely.
[§7.4, Proposition 7.5] The modular covariance of L^0_ww is argued for generators of ṭ_{h,n}. To complete the modularity discussion, the authors should indicate how this extends to arbitrary elements of der(ṭ_{h,n}) and mention the remaining dependence on Beltrami differentials (as acknowledged in footnote 10).
[§8.1, equation (8.2)] The coefficient Υ^{⃗P|⃗Q|⃗R} is said to be 'complicated but explicitly known' yet never displayed. To aid verification, the authors could include the explicit expression in an appendix or a supplementary file.
[§3.2, equation (3.12)] The normalisation of the Beltrami differential μ is chosen such that δJ^z_ȳ = +2i μ(z). This differs by a factor of 2 from some conventions; a brief remark confirming consistency with the variational derivative (3.18) would be helpful.

How Pith checks papers → · Full audit of this paper →

The paper

The paper claims

The paper proves that the flat DHS connection on configuration spaces of points on a fixed Riemann surface admits an explicit local extension to complex-structure moduli, preserving flatness; at genus one it reproduces the known CEE…

The reading

This paper is the opening move in a program to extend the flat DHS connection — a connection on the space of n marked points on a fixed Riemann surface that organizes higher-genus polylogarithms — to a flat connection on the full Teichmüller space, where the surface itself is allowed to deform. The claim established here is local existence: around every point of Teichmüller space there is a neighborhood on which a moduli-dependent correction term can be added to the DHS connection, along the holomorphic directions of the moduli, so that the combined connection remains flat. The correction is built explicitly from the same DHS integration kernels that define the original connection, together with two new families of modular tensors A and D obtained by convoluting those kernels. If the extension works globally, it would supply iterated-integral representations of moduli-dependent polylogarithms at arbitrary genus, in the way its genus-one predecessor organizes elliptic Feynman integrals. As a check, the genus-one restriction of the construction reproduces the published Calaque–Enriquez–Etingof connection.

What carries the argument

The argument is carried by five interlocking objects. First, the DHS integration kernels G_{I1...Ir}(x,y) and $Φ^{{I1...Ir}}$_J(x), built by repeated convolution of the Arakelov Green function: the DHS connection and its extension are both Lie series in these kernels. Second, the a-degree grading of the Lie algebra t_{h,n}, whose generators a, b, t carry bidegrees (1,0), (0,1) and (1,1): the ansatz that L has a-degree one splits the flatness conditions into the decoupled subsystems (4.17a)–(4.17f), fixes the form of $L^{1}$_ww, and drives uniqueness. Third, the variational derivative δ_ww with respect to complex structure, paired against Beltrami differentials, which turns moduli variations into (2,0)-forms on the surface and yields the moduli variation of J_DHS in closed form. Fourth, the modular tensors A and D — convolution integrals of DHS kernels, with the Kawazumi–Zhang invariant as a special trace of A — whose variational derivatives give the action of $L^{0}$_ww on the Lie algebra generators. Fifth, the auxiliary algebra u_{h,n}, a free version of t_{h,n} obtained by relaxing the commutativity of the a-generators: showing that $L^{0}$_ww acts by derivations there, modulo the ideal I = ker(u_{h,n} → t_{h,n}), is the decisive step that makes $L^{0}$_ww a derivation of \t_hat_{h,n} after projection. The linear relations among A, D and the tensor N (Proposition 2.2) are what the derivation proof consumes, and at genus one the whole construction collapses onto the CEE connection via Tsunogai's derivations.

Extended reading notes

Core claim

The main theorem (Theorem 1, assembled from Theorems 7.3 and 7.4) states that for every point τ0 of Teichmüller space T_h there is a neighborhood on which the local (1,0) extension problem admits a solution: for any local section s: T_h → CS(Σ) one can attach a der(\t_hat_{h,n})-valued (1,0)-form L^s so that J^s = J^s_DHS + L^s satisfies the flatness equation (d_x + ∂_τ)J^s - J^s ∧ J^s = 0. The solution is unique under the assumption (Schemata 4.1) that L has a-degree one, and it is obtained in closed form as L_ww = $L^{0}$_ww + $L^{1}$_ww, where $L^{1}$_ww is an explicit Lie series in the DHS kernels taking values in \t_hat_{h,n}, while the x-independent piece $L^{0}$_ww acts on the generators a_{iI}, b^I_i, t_{ij} through the formulas (4.49), expressed in terms of variational derivatives of the modular tensors A and D. Proving that $L^{0}$_ww is a genuine derivation requires uplifting to a larger Lie algebra u_{h,n}, establishing the derivation property there modulo an ideal I, and projecting back down to \t_hat_{h,n}. In the limiting case of genus one, the dτ-component of the flat extension exactly matches the Calaque–Enriquez–Etingof connection, with coefficients identified as holomorphic Eisenstein series acting through Tsunogai's derivations.

Load-bearing premise

The load-bearing premise is the ansatz that the moduli-correction term has a-degree one, an algebraic bookkeeping restriction that decouples the flatness equations and forces a unique solution, which the paper imposes rather than derives, so any flat extension of a different degree would lie outside its construction.

Editorial extensions

If this is right

The explicit local solution is the holomorphic-moduli building block for the eventual global flat connection on Teichmüller space, with the global (1,0) extension, the anti-holomorphic component, and the meromorphic analogue of reference [4] left as the program's next steps.
At genus one the new connection is a single-valued, modular-invariant relative of the CEE connection, differing from it by a known gauge transformation; this check ties the construction to a published result.
Local flatness makes the path-ordered exponential of the extended connection homotopy-invariant inside each neighborhood, giving a concrete ingredient for iterated integrals that mix configuration-space dependence with moduli dependence.
The construction introduces the modular tensors A and D on T_h and a new family of linear relations among them, equations (2.14) and (8.1)–(8.5), extending the Kawazumi–Zhang type invariants to all genera and ranks.
Full flatness of the extension is shown to require bilinear relations among variational derivatives of A and D, the moduli analogue of the Fay identities, whose systematic derivation the paper leaves open.
If flat extensions with mixed a-degree exist, then the uniqueness theorem describes only one branch of the solution space; a decisive next step would be to search for such extensions, since the geometry itself does not obviously privilege a-degree one.
The observation in Remark 4.8 that U_ww may represent a nontrivial cohomology class in H^1(M_h, \t_hat_{h,n}) suggests that the obstruction to a global extension is cohomological; the promised sequel could test this by checking whether the local solutions glue across overlapping charts.
The bilinear relations left open in Section 8.2 can be tested computationally at genus two: A, D and N are explicit integrals of DHS kernels, so [L_vv, L_ww] = 0 truncated at low b-degree is a finite polynomial identity that symbolic or numerical computation can check before a general proof is found.

Original abstract

The flat DHS connection $\mathcal J_{\mathrm{DHS}}$ constructed in arXiv:2602.01461 is smooth on the configuration space of $n$ points on a fixed compact Riemann surface $\Sigma$ of arbitrary genus $h$, takes values in an infinite-dimensional Lie algebra $\hat{\mathfrak t}_{h,n}$ and is invariant under the modular group $\mathrm{Sp}(2h,\mathbb Z)$. This paper is the first in a series for a program whose goal is to extend the connection $\mathcal J_{\mathrm{DHS}}$ to a global flat connection on the Teichm\"uller space $\mathcal T_{h,n}$ valued in the Lie algebra of derivations of $\hat{\mathfrak t}_{h,n}$. Upon the choice of local coordinates adapted to the map $\mathcal T_{h,n}\to \mathcal T_h$, such a connection splits into three pieces: $\mathcal J_{\mathrm{DHS}}$, a piece $\mathcal L$ corresponding to holomorphic directions of $\mathcal T_h$ and a third piece corresponding to anti-holomorphic directions in $\mathcal T_h$. In this paper, we isolate the system of equations satisfied by $\mathcal L$ and obtain its solution locally and explicitly. The construction of a global extension of $\mathcal J_{\mathrm{DHS}}$ to $\mathcal T_{h,n}$ and the extension of the meromorphic connection of arXiv:1112.0864 to $\mathcal T_{h,n}$, are relegated to future publications in this series.

The compiled record

The paper's own sentences, arranged, kept beside the review and separate from it. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. Numbers in the tables are the authors', checked by code. No sentence in this record was written by a model.

Compiled by classifier-1.13.0 via TypeSafe API, question bank abstract-p1-20260923, 2026-09-23: 1 request, 4,818 input tokens.

What the abstract itself states, as probabilities: claims first 0.47 · states limitation 0.93 · human participants 0.01 · controlled comparison 0.01 · randomized assignment 0.01 · states quantitative result 0.04 · compares with prior results 0.55 · mentions code or data availability 0.03.

The abstract, sentence by sentence

arXiv listing abstract v2. Results and the main claim are underlined; show every role.

The flat DHS connection $\mathcal J_{\mathrm{DHS}}$ constructed in arXiv:2602.01461 is smooth on the configuration space of $n$ points on a fixed compact Riemann surface $\Sigma$ of arbitrary genus $h$, takes values in an infinite-dimensional Lie algebra $\hat{\mathfrak t}_{h,n}$ and is invariant under the modular group $\mathrm{Sp}(2h,\mathbb Z)$. This paper is the first in a series for a program whose goal is to extend the connection $\mathcal J_{\mathrm{DHS}}$ to a global flat connection on the Teichm\"uller space $\mathcal T_{h,n}$ valued in the Lie algebra of derivations of $\hat{\mathfrak t}_{h,n}$. Upon the choice of local coordinates adapted to the map $\mathcal T_{h,n}\to \mathcal T_h$, such a connection splits into three pieces: $\mathcal J_{\mathrm{DHS}}$, a piece $\mathcal L$ corresponding to holomorphic directions of $\mathcal T_h$ and a third piece corresponding to anti-holomorphic directions in $\mathcal T_h$. In this paper, we isolate the system of equations satisfied by $\mathcal L$ and obtain its solution locally and explicitly. The construction of a global extension of $\mathcal J_{\mathrm{DHS}}$ to $\mathcal T_{h,n}$ and the extension of the meromorphic connection of arXiv:1112.0864 to $\mathcal T_{h,n}$, are relegated to future publications in this series.

background contribution method result interpretation main claim

What the classifier reports for each sentence. The number is the probability it gave the label.
#	sentence	role	the authors' own work	states the main conclusion	strength
s0	The flat DHS connection $\mathcal J_{\mathrm{DHS}}$ constructed in arXiv:2602.01461 is smooth on the configuration space of $n$ points on a fixed compact Riemann surface $\Sigma$ of arbitrary genus $h$, takes values in an infinite-dimensional Lie algebra $\hat{\mathfrak t}_{h,n}$ and is invariant under the modular group $\mathrm{Sp}(2h,\mathbb Z)$.	background 1.00	0.25	0.07	asserted 1.00
s1	This paper is the first in a series for a program whose goal is to extend the connection $\mathcal J_{\mathrm{DHS}}$ to a global flat connection on the Teichm\"uller space $\mathcal T_{h,n}$ valued in the Lie algebra of derivations of $\hat{\mathfrak t}_{h,n}$.	future work 0.57	0.31	0.10	asserted 0.99
s2	Upon the choice of local coordinates adapted to the map $\mathcal T_{h,n}\to \mathcal T_h$, such a connection splits into three pieces: $\mathcal J_{\mathrm{DHS}}$, a piece $\mathcal L$ corresponding to holomorphic directions of $\mathcal T_h$ and a third piece corresponding to anti-holomorphic directions in $\mathcal T_h$.	method 0.75	0.45	0.07	asserted 0.99
s3	In this paper, we isolate the system of equations satisfied by $\mathcal L$ and obtain its solution locally and explicitly.	contribution 0.67	0.96	0.77	asserted 1.00
s4	The construction of a global extension of $\mathcal J_{\mathrm{DHS}}$ to $\mathcal T_{h,n}$ and the extension of the meromorphic connection of arXiv:1112.0864 to $\mathcal T_{h,n}$, are relegated to future publications in this series.	future work 0.99	0.30	0.07	asserted 1.00

What kind of paper the classifier reports this is: theoretical result 1.00 · evidence from proof or derivation 1.00.

What was examined, and what was not

sources read

arXiv listing abstract v2

not examined

full text
figures and tables
references and citing sentences
relations to other papers

levels run

P abstract

not run

S sections
T body sentences
C citations
R cross-paper relations

Every quoted sentence on this record is the authors'. Every label is from Pith's closed vocabulary, with the probability shown beside it. Every number in the measurements table is the authors', checked by code. Record as JSON

Figures

**Figure 1.** The lower box gives a schematic representation of the Teichm¨uller spaces

**Figure 2.** Flatness of Jglobal guarantees equality of the path-ordered exponentials Γ[γ1] = Γ[γ2] for any pair of homotopic curves γ1 and γ2 in Th,n. Moreover, combining the path-ordered exponentials of Jglobal in (1.14) with their complex conjugates will offer a starting point to investigate iterated-integral representations of the non-holomorphic modular tensors in [14, 15, 18, 19] and the systematics of their relations. In this way, Jglobal is expected to be a stepping stone to explore echoes beyond genus one of the link [44, 45, 46] between modular graph forms [16, 17] and equivariant…

Figures reproduced from arXiv:2608.29169 by the authors.

How the literature uses it

What this paper does with the arXiv papers it cites

Each citing sentence is taken from the citing paper's LaTeX source and typed by Pith's classifier. A label appears at probability 0.8 or more (0.95 for support), a contest at 0.7 or more; the quoted words are the citing authors'. How each label was checked · JSON

What it cites · 89 sentences without a confident label

Builds on 3 papers

In this paper, we shall address the extension problem in the smooth single-valued and modular invariant context provided by the multivariable DHS connection which was introduced in [ref] .

2602.01461 · The global extension problem for the DHS connection · 0.86
In this appendix, we construct the one coincident limit of the Fay identities involving three points $x,y,z ∈Σ$ that was not constructed in [ref] , namely from the $(1,0)_x ⊗(1,0)_y ⊗(0,0)_z$ form of the Fay identities to a $(2,0)_w ⊗(0,0)_z$ form when $x, y →w$.

Fay identities for polylogarithms on higher-genus Riemann surfaces · Coincident limits of the Fay identities · 0.95
The second option generalizes the construction for genus one in terms of meromorphic and multiple-valued Kronecker-Eisenstein integration kernels [ref] and Tsunogai's derivation algebra [ref] .

Universal KZB equations I: the elliptic case · The generalized flatness conditions · 0.84

Uses the method or tool of 3 papers

The remaining terms may be regrouped as follows, [equation] To proceed, we simplify $[ _ww^1, ã_iI ]_3$ in ([ref]) through the reformulation of the $_h,n$ identity in Proposition E.1 of [ref] within $_h,n$[The inductive proof of Proposition E.1 of [ref] relies on both of $[a_iI, a_jJ] = 0$ and $[a_iI+a_jI, t_ij] = 0$ for $j≠i$ within the base cases of Lemmas E.2 and E.3 of the reference, leading to explicitly known terms in $$ when transcribing the $_h,n$ relation of the reference to the relation ([ref]) in $_h,n$.] [equation] where $k≠i$.

2602.09108 · Proof of $L̃^0_ww(ã_iI)__1 + L̃^0_ww(ã_iI)__1 + [ _ww^1, ã_iI ] ∈$ · 0.83
The components $_$ may be obtained by integrating the system of equations ([ref]) with the help of the path-ordered exponential of the connection $_DHS$ and its associated polylogarithms [ref] .

Constructing polylogarithms on higher-genus Riemann surfaces · The generalized flatness conditions · 0.98
This proposition will be proven in appendix [ref] using the explicit construction of the Arakelov Green function in terms of Abelian differentials and the prime form in [ref] .

Higher genus modular graph functions, string invariants, and their exact asymptotics · The Arakelov Green function · 0.96

Compares with 2 papers

^0_CEE(τ) + ℓ(τ) = Δ_0 + ∑_r=1^∞(2r+1) G_2r+2(τ) ϵ_2r+2 The coefficients of the holomorphic Eisenstein series $G_k(τ)$ of modular weight $k≥4$ are then given by Tsunogai's derivations $ϵ_k$ of $_1,n$ [ref] .

Universal KZB equations I: the elliptic case · Identifying Tsunogai derivations · 0.81
The DHS connection ([ref]) and ([ref]) at genus one reduces to the Brown-Levin connection [ref] once the variables $z_2,⋯,z_n$ are treated as punctures of the torus (setting all the $dz_i≠1$ to zero) and one of $t_12,⋯,t_1n$ is eliminated through the $_1,n$ relation $[b^1_1,a_11]=-∑_j=2^n t_1j$.

Multiple Elliptic Polylogarithms · The connection at fixed modulus · 0.83

Cites as background 10 papers

A definition in terms of generators and relations will be given in section [ref].] Modular invariant connections that are real analytic and single-valued on $Cf_n(Σ)$ were produced for $n=1$ in [ref] and for general $n$ in [ref] .

2602.01461 · Introduction · 0.94
A definition in terms of generators and relations will be given in section [ref].] Modular invariant connections that are real analytic and single-valued on $Cf_n(Σ)$ were produced for $n=1$ in [ref] and for general $n$ in [ref] .

Constructing polylogarithms on higher-genus Riemann surfaces · Introduction · 0.94
A selection of combinatorial definitions and identities is reviewed in appendix [ref], and a more comprehensive collection can be found in appendix A of [ref] . ]

2602.09108 · The modular tensors $$, $$ and $$ · 0.93

Discussion

Disagree with the review, or know something it missed? Leave a comment, highlight any passage above to comment on it, or challenge this review formally.