REVIEW 3 major objections 7 minor 2 cited by
Multiple chordal SLE(0) and classical Calogero-Moser system
T0 review · 3 major / 7 minor · reviewed 2026-08-07 · deepseek-v4-flash
Pith's one-line read The traces of multiple chordal SLE(0) systems are the real locus of a single rational function fixed by the starting points, and their equal-capacity dynamics are the classical Calogero-Moser system.
desk verdict Genuine extension of the ABKM20 SLE(0) program to general (n,m), with real content in the integral-of-motion and Calogero-Moser results, but the advertised trace correspondence is only proved one-way. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The argument is carried by a preserved differential, the field integral of motion $N_t(z)$: with the marked point at infinity, $N_t(z) = g'_t(z)\big/\big(\prod_{k=1}^n (g_t(z)-x_k(t)) \prod_{j=1}^m (g_t(z)-\xi_j(t))^2\big)$, and with a finite marked point $u$ an extra factor $(g_t(z)-u)^{2m-n-2}$ appears. Along the multiple Loewner flow the logarithmic derivative of $N_t(z)$ vanishes identically, so the growing conformal map $g_t$ continues to conjugate the same meromorphic differential; from this the paper derives that the traced hulls lie on the real locus of a rational function $R$ and that the transported function $R \circ g_t^{-1}$ stays in $C_R^{m,n}(x(t))$, with the moving critical points $x(t)$. The complementary machinery is algebraic: the stationary relations (equivalently, criticality of the master function), the quadratic null-vector equations $\frac{1}{2} U_j^2 + \sum_{k \neq j} \frac{2}{x_k-x_j} U_k - \sum_{k \neq j} \frac{6}{(x_j-x_k)^2} = 0$, and the Calogero-Moser Lax pair $(L,M)$, which turns the null-vector equations into $L^2 \mathbf{1} = 0$ and shows that $H = \sum_j H_j$ is the classical Calogero-Moser Hamiltonian.
What would settle it
Numerically integrate a small case at the predicted boundary: pick generic real starting points $x$ for, say, $(n,m) = (3,1)$, solve the stationary relations for the screening charge $\xi$, plot the real locus of $R$ with $R'(z) = c\prod (z-x_j)/((z-\xi)^2 (z+1)^{n-2m+1})$, and run the Loewner flow with $\nu_j = 1$. If the traced hull fails to cover all of $\Gamma(R)$, or leaves it before a collision, the identification in Theorem 1.5 is only a containment. To test the $\kappa \to 0$ premise itself, simulate the driving functions of the chordal SLE($\kappa$) multiple system at very small $\kappa$ for fixed $x$ and check whether the empirical concentration points of the partition functions approach the master-function critical points predicted by the stationary relations.
Extended reading notes
Core claim
The central correspondence (Theorem 1.9) identifies three equivalent descriptions of a type-$(n,m)$ chordal SLE(0) system: a multiple Loewner flow driven by the stationary relations between growth points $x = (x_1,\dots,x_n)$ on the real line and conjugation-symmetric screening charges $\xi = (\xi_1,\dots,\xi_m)$, which are exactly the critical point equations of the rational Knizhnik-Zamolodchikov master function $\Phi(x,\xi)$; a real rational function $R$ with simple critical points at $x$, simple poles at $\xi$, and a pole of order $n-2m+1$ at infinity, whose real locus $\Gamma(R)$ carries the $(n,m)$ link pattern; and the corresponding critical point of the master function. The trace theorem (Theorem 1.5) proves that the hulls $K_t$ generated by the Loewner flow stay inside $\Gamma(R)$ up to collision times, with $R \circ g_t^{-1}$ remaining in the class $C_R^{m,n}(x(t))$; the paper states the intended conclusion as the real locus being exactly the traces. Dynamically (Theorems 1.10 and 4.2), with equal capacity parametrization $\nu_j = 1$ the growth points satisfy $\ddot{x}_j = -\sum_{k \neq j} \frac{8}{(x_j-x_k)^3}$, the classical Calogero-Moser equations with coupling 8; the null-vector Hamiltonians $H_j$ sum to the Calogero-Moser Hamiltonian $H = \sum p_j^2/2 - \sum_{j<k} \frac{8}{(x_j-x_k)^2}$, they Poisson-commute along the invariant manifolds $N_c$, and the Lax pair $(L,M)$ encodes the constraints as $L^2 \mathbf{1} = 0$.
Load-bearing premise
The load-bearing assumption is Conjecture 3.1, that as $\kappa \to 0$ the normalized multiple SLE($\kappa$) partition functions concentrate by steepest descent on critical points of the master function — without it the stationary-relation flows are only a self-consistent model, not the genuine SLE(0) limit — and, for the trace identification, the unproved reverse containment, since Theorem 1.5 establishes only that the hulls lie inside the real locus and not that the real locus is fully traced.
Editorial extensions
If this is right
- Every admissible $(n,m)$ link pattern is realized geometrically: in the under-screening regime $n+1-m > m$ by a unique rational function (up to a real constant) for generic $x$, and in the over-screening regime by a continuous family, so the classification of chordal SLE(0) systems is the classification of these rational functions.
- At the threshold $n+1-m = m$ no such systems exist for generic data, so the SLE(0) construction has a sharp boundary in parameter space.
- With equal capacity parametrization the growth points satisfy the classical Calogero-Moser equations $\ddot{x}_j = -\sum_{k\neq j} \frac{8}{(x_j-x_k)^3}$ with total energy zero, so the Loewner driving dynamics are integrable, with the null-vector Hamiltonians commuting along the invariant manifolds $N_c$ and an explicit Lax pair.
- The equivalence of Theorem 1.9 transfers the enumeration of chordal SLE(0) systems to the known count of critical points of the rational KZ master function, and the integral of motion arises as the $\kappa \to 0$ limit of an SLE($\kappa$) martingale built from vertex operators and screening charges.
Reading between the lines
- A low-cost probe of the whole theory is a very small-$\kappa$ simulation of a single link pattern: the predicted screening charge $\xi$ is computable from the stationary relations, so the empirical concentration point of the SLE($\kappa$) partition function either matches it or refutes Conjecture 3.1 without needing to resolve the traces.
- Calogero-Moser integrability implies higher conserved quantities, such as traces of powers of the Lax matrix $L$, beyond those written down; whether these quantities are preserved along the $\nu_j = 1$ Loewner flow is not addressed and can be checked directly.
- If the trace identification holds in full, the SLE(0) curve ensemble is compressed into finitely many real parameters — the starting points and the additive constant of $R$ — which suggests a low-dimensional, welding-style reconstruction of deterministic multiple-SLE traces and a concrete moduli count for over-screening families.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper develops a deterministic multiple chordal Loewner evolution of type (n,m), called a multiple chordal SLE(0) system, defined through stationary relations that are the critical point equations of a master function. The main claims are (i) that the traces of these Loewner flows are exactly the real locus of a real rational function R with the driving points as simple critical points and the screening charges as simple poles; (ii) that this class of rational functions is classified by critical points of the rational KZ master function; and (iii) that, under a common capacity parametrization, the driving points evolve by the classical Calogero-Moser equations. The paper includes a field integral of motion N_t, examples in the disk uniformization, and a heuristic derivation of the construction as the kappa-to-0 limit of multiple chordal SLE(kappa).
Significance. If the trace identification were fully established, the paper would give a clean geometric description of deterministic multiple-SLE traces as contour lines of a single rational function, tying SLE(0) to the enumerative theory of real rational functions and to critical points of rational KZ equations. The Calogero-Moser dynamics is an elegant and nontrivial integrable-systems consequence, and the direct verification of the integral of motion and the explicit cancellation in the Calogero-Moser derivation are valuable. The examples illustrate a rich family of link patterns. However, the exactness of the trace correspondence is not proved, and the SLE(0) interpretation rests on a conjectural steepest-descent limit; these caveats substantially temper the paper's main significance.
major comments (3)
- [Section 1.2 and Theorem 1.5] The paper's central claim that traces are 'exactly the real locus' is not supported by the stated theorem. Theorem 1.5 asserts only that the hulls K_t are a subset of Γ(R) up to collision times and that R∘g_t^{-1} stays in C_R^{m,n}(x(t)); no reverse inclusion is stated or proved. The field integral of motion forces each growing trace to lie on a level set Im R = 0, but it does not force every component of the real locus to be traced: the real locus can contain arcs emanating from a critical point in the opposite flow direction or arcs ending at poles, and the Loewner dynamics selects particular flow directions from each starting point. The sentence immediately before Theorem 1.5 asserts the exact equality, and the abstract repeats it. This gap is load-bearing because Theorem 1.9 presents the classification of rational functions whose real locus forms a link pattern as a classification of SLE(0) systems, which is only justified if the reverse inclusion holds. The authors should either prove the converse or explicitly downgrade the correspondence to a containment statement and adjust the abstract and Theorem 1.9 accordingly.
- [Sections 3.4 and 4.1] The proof of Theorem 1.5 is not written out. After stating the theorem, the text says only that the key ingredient is the integral of motion, then states Theorem 1.6 and Lemma 3.7; no argument is given showing how N_t implies K_t ⊆ Γ(R). Moreover, the use of the stationary relations at positive times in the proof of Theorem 4.2 (equations (4.1)-(4.2)) requires that the evolved configuration (x(t), ξ(t)) satisfy the stationary relations for all t, which is equivalent to the class invariance R∘g_t^{-1} ∈ C_R^{m,n}(x(t)) asserted in Theorem 1.5. Since that theorem is not proved, the Calogero-Moser derivation depends on an unproved preservation statement. The paper should provide a direct proof of the class invariance along the Loewner flow, or at least a separate lemma proving that the stationary relations are preserved.
- [Section 3.1 and Conjecture 3.1] The paper presents the constructed flows as 'multiple chordal SLE(0) systems' and, in the introduction and abstract, implies that they are the classical limit of multiple chordal SLE(kappa). However, the kappa-to-0 limit is explicitly conjectural: Conjecture 3.1 asserts that normalized partition functions concentrate on critical points of the master function, and the paper itself states that the construction is self-consistent and does not depend on resolving the classical limit. If the conjecture fails, the stationary-relations Loewner chains are a valid deterministic model but are not proven to be the SLE(0) limit of the random SLE(kappa) processes. This conditionality should be stated in the abstract or introduction, and the title's unqualified use of 'SLE(0)' should be hedged.
minor comments (7)
- [Definition 1.1] The index in the stationary relations (1.1) is written as k=1,2,...,n, but the screening charges ξ_k are indexed by 1,...,m; it should read k=1,2,...,m, as in (1.7).
- [Theorem 1.6] In equation (1.8), the factor g_t(x) in the denominator should be g_t(z); the same correction applies to the displayed formula in the proof of Lemma 3.7.
- [Section 2.1, equation (2.1)] The notation changes from b(W_t) to v(W_t) in the same derivation, and the term -3Ψ''_t(W_t) appears without a displayed factor; please check the formula against the cited Lawler reference and make the notation consistent.
- [Section 3.3, proof of Theorem 1.4] The summary proof uses the letter d for the number of poles while the theorem uses m, and the case range '0≤m≤n' should be consistent with the standing assumption m≤⌊n/2⌋; please unify the notation.
- [Section 3.7 and 3.8] The manuscript refers to Figures 1-15, but the actual figures are not included in the text; since the examples and the claimed link patterns are verified visually in these figures, their absence makes those sections difficult to assess.
- [Proof of Theorem 3.6] The displayed computation of ∑ x_j U_j contains corrupted notation (a stray '+' and a missing expression); the final result appears correct, but the line should be cleaned up.
- [References] The entry [MZ24a] is listed twice with different titles, and [JZ25a] is a self-reference to the present paper; please renumber and deduplicate the bibliography.
Circularity Check
Theorem 1.9's three-way classification is partly definitional: the multiple chordal SLE(0) system is defined by the very stationary relations that Theorem 3.3 identifies as the critical-point equations of the master function.
-
self definitional
[Definition 1.2, Eq. (1.5); Theorem 3.3; Theorem 1.9 (Section 1.2)]
"Definition 1.2: Given growth points x and screening charges {ξ_1,...,ξ_m} ... solving the stationary relations ... the driving functions x_j(t) evolve as ẋ_j = ν_j(t) ∂ log Z(x,ξ)/∂x_j + Σ_{k≠j} 2ν_k(t)/(x_j−x_k), where Z(x,ξ) = ∏(x_i−x_j)^2 ∏(ξ_i−ξ_j)^8 ∏(x_i−ξ_j)^{−4}. Theorem 1.9: The classification of the following three objects is equivalent: ... The critical point of the master function Φ(z,ξ)."
The SLE(0) system in Definition 1.2 is only defined when the screening charges solve the stationary relations, and Theorem 3.3 proves those stationary relations are exactly the equations ∂Φ/∂ξ_k = 0 for the master function Φ whose Coulomb-gas form is the same Z used in Definition 1.2. Therefore the first and third bullets of Theorem 1.9 are the same condition by construction: every SLE(0) system is, by definition, a critical point of the master function. The rational-function equivalence has independent content, but the three-way classification as stated partly restates the defining assumption rather than deriving a new correspondence.
full rationale
The main geometric claim has independent content: Theorem 1.6 constructs an integral of motion N_t(z) by direct computation, and Theorem 1.5 derives K_t ⊆ Γ(R) from it, so the trace-to-real-locus direction is not circular. However, the abstract and Section 1.2 assert that the real locus is 'exactly the traces', while Theorem 1.5 proves only the containment K_t ⊆ Γ(R); the reverse inclusion is never established. This is a correctness gap, not a circularity, but it makes the advertised exactness stronger than the proved result. The κ→0 identification in Conjecture 3.1 is explicitly conjectural and the paper states the construction is self-consistent without resolving that limit, so it is not presented as a proved derivation. The Calogero-Moser dynamics in Section 4 are obtained by algebraic manipulation of the null-vector equations and do not reduce to a fit. The cited [ABKM20] results are external prior work, not a self-citation chain by the present author. The one genuine circularity is Definition 1.2 plus Theorem 3.3 feeding into the first and third bullets of Theorem 1.9, where the classification reduces to the defining stationary relations. This partial, definitional circularity justifies a score of 4 rather than 0.
Assumptions & free parameters
assumptions (5)
- domain assumption Conjecture 3.1: as kappa goes to 0, normalized multiple chordal SLE(kappa) partition functions concentrate on critical points of the master function.
- domain assumption ABKM20 theorems: geometric commutation of Loewner flows is equivalent to the null-vector equations (2.8), and stationary relations yield a partition function satisfying those equations.
- standard math Enumeration of real rational functions with real critical points and of critical points of KZ master functions.
- standard math Loewner half-plane capacity coordinate-change formula from Lawler's book (equation (4.35) of Law05).
- standard math The flow lines of the vector field v_R = 1/R' starting at critical points exhaust the real locus of R.
invented entities (1)
-
Field integral of motion N_t(z) (equations (1.8) and (3.15))
independent evidence
Cite this review
Pith. "Pith review of Multiple chordal SLE(0) and classical Calogero-Moser system." pith.science (2026). https://pith.science/paper/D3RIO2DC
@misc{pith2026250517129,
author = {Pith},
title = {Pith review of: Multiple chordal SLE(0) and classical Calogero-Moser system},
year = {2026},
howpublished = {\url{https://pith.science/paper/D3RIO2DC}},
note = {Machine review of arXiv:2505.17129}
}
abstract
We develop a general theory of multiple chordal $\mathrm{SLE}(0)$ systems of type $(n, m)$ for positive integers $n$ and $m$ with $m \leq \lfloor n/2 \rfloor$, extending the construction of~\cite{ABKM20} beyond the previously studied case $n = 2m$. By applying integrals of motion associated with the Loewner evolution, we show that, in the $\mathbb{H}$-uniformization with the marked point $q = \infty$, the traces of type $(n, m)$ multiple chordal $\mathrm{SLE}(0)$ systems correspond to the real locus of real rational functions with $n$ real simple critical points, $m$ simple poles, and a pole of order $n - 2m + 1$ at infinity. Furthermore, we demonstrate that, under a common capacity parametrization, the Loewner dynamics evolve according to the classical Calogero-Moser Hamiltonian.
Figures
Figures from the paper (5 more)
Forward citations
Cited by 2 Pith papers
-
Asymptotic of Coulomb gas integral, Temperley-Lieb type algebras and pure partition functions
Fusion asymptotics of Coulomb gas integrals are identified with Temperley-Lieb meander matrices, yielding proposed pure partition functions for multiple chordal and radial SLE(κ) at irrational κ.
-
Irregular traces of multiple SLE(0) systems with multiple marked points
Multiple SLE(0) traces can develop spirals and same-direction asymptotics when two or more interior marked points are present, even without spin.
Reference graph
Works this paper leans on
-
[1]
[ABKM20] T. Alberts, S. S. Byun, N-G. Kang, and N. Makarov.Pole dynamics and an integral of motion for multiple SLE(0). Preprint in arXiv:2011.05714,
arXiv 2011
-
[7]
26 [GGJ07] A. Garijo, A. Gasull, and X. Jarque,Local and global phase portrait of equation˙z=f(z), Discrete Contin. Dyn. Syst.17(2007), no. 2, 309–329. MR2257435 [Gol91] L. Goldberg,Catalan numbers and branched coverings by the Riemann sphere, Adv. Math.85(1991), no. 2, 129–144. MR1093002 [Gra07] K. Graham,On multiple Schramm-Loewner evolutions, J. Stat. ...
work page 2007
-
[12]
[Mos75] J. Moser,Three integrable Hamiltonian systems connected with isospectral deformations, Advances in Math.16(1975), 197–220. MR375869 [MS16a] J. Miller and S. Sheffield,Imaginary geometry I: interacting SLEs, Probab. Theory Related Fields164 (2016), no. 3-4, 553–705. MR3477777 [MS16b] ,Imaginary geometry II: reversibility ofSLE κ(ρ1;ρ 2)forκ∈(0,4), ...
work page 1975
-
[13]
[PW19] E. Peltola and H. Wu,Global and local multiple SLEs forκ≤4and connection probabilities for level lines of GFF, Comm. Math. Phys.366(2019), no. 2, 469–536. MR3922531 [PW20] E. Peltola and Y. Wang,Large deviations of multichordal SLE 0+, real rational functions, and zeta- regularized determinants of Laplacians, arXiv:2006.08574, to appear in J. Eur. ...
arXiv 2019
-
[17]
[SS09] O. Schramm and S. Sheffield,Contour lines of the two-dimensional discrete Gaussian free field, Acta Math. 202(2009), no. 1, 21–137. MR2486487 [SW05] O. Schramm and D. Wilson,SLE coordinate changes, New York J. Math.11(2005), 659–669. MR2188260 28
work page 2009
-
[1996]
Cardy,Calogero-Sutherland model and bulk-boundary correlations in conformal field theory, Phys
[Car04] J. Cardy,Calogero-Sutherland model and bulk-boundary correlations in conformal field theory, Phys. Lett. B582(2004), no. 1-2, 121–126. MR2047300 [DC07] B. Doyon and J. Cardy,Calogero-Sutherland eigenfunctions with mixed boundary conditions and conformal field theory correlators, J. Phys. A40(2007), no. 10, 2509–2540. MR2305181 [Dub06] Julien Dub´ ...
work page 2004
-
[1998]
[HL21] V. Healey, and G. Lawler.”N-sided chordal Schramm–Loewner evolution.”Probability Theory and Related Fields 181.1-3 (2021): 451-488. [JL18] M. Jahangoshahi and G. Lawler,On the smoothness of the partition function for multiple Schramm-Loewner evolutions, J. Stat. Phys.173(2018), no. 5, 1353–1368. MR3878346 [MZ24a] N. Makarov and J. Zhang,Multiple ra...
arXiv 2021
-
[2002]
[S02b] ,Rational Functions with Prescribed Critical Points. GAF A, Geom. funct. anal. 12, 1365–1380 (2002). [SV03] I. Scherbak and A. Varchenko,Critical points of functions,sl 2 representations, and Fuchsian differential equations with only univalued solutions, Mosc. Math. J., 2003, Volume 3, Number 2, Pages 621–645. [Sch00] O. Schramm.Scaling limits of l...
work page 2002
Show all 17 references
-
[2003]
Bauer, D
[BBK05] M. Bauer, D. Bernard, and Kalle Kyt¨ ol¨ a,Multiple Schramm-Loewner evolutions and statistical mechanics martingales, J. Stat. Phys.120(2005), no. 5-6, 1125–1163. MR2187598 [BE21] M. Bonk and A. Eremenko,Canonical embeddings of pairs of arcs, Comput. Methods Funct. The...
2005
-
[2004]
Flores and P
[FK15a] S. Flores and P. Kleban,A solution space for a system of null-state partial differential equations: Part 1, Comm. Math. Phys.333(2015), no. 1, 389–434. MR3294954 [FK15b] ,A solution space for a system of null-state partial differential equations: Part 2, Comm. Math. Ph...
2015 arXiv
-
[2005]
Ser., vol
MR2129588 [Law09a] ,Schramm-Loewner evolution (SLE), Statistical mechanics, IAS/Park City Math. Ser., vol. 16, Amer. Math. Soc., Providence, RI, 2009, pp. 231–295. MR2523461 [Law09b] ,Partition functions, loop measure, and versions of SLE, J. Stat. Phys.134(2009), no. 5-6, 813...
2009
-
[2006]
Schiffer and D
[SS54] M. Schiffer and D. C. Spencer.Functionals of Finite Riemann Surfaces, Princeton University Press, 1954 . [Smi06] S. Smirnov.Towards conformal invariance of2Dlattice models, In International Congress of Mathemati- cians, vol. 2, pp. 1421-1451. Eur. Math. Soc., Z¨ urich,
1954
-
[2007]
Eremenko and A
[EG02] A. Eremenko and A. Gabrielov,Rational functions with real critical points and the B. and M. Shapiro conjecture in real enumerative geometry, Ann. of Math. (2)155(2002), no. 1, 105–129. MR1888795 [EG11] ,An elementary proof of the B. and M. Shapiro conjecture for rationa...
2002
-
[2014]
Scherbak,Asymptotic solutions to thesl 2 KZ equation and the intersection of Schubert classes, Preprint in arXiv:math/0207218 ,
[S85] S, Lang,SL 2(R), Graduate texts in mathematics, 105, Springer, 1985 [S02a] I. Scherbak,Asymptotic solutions to thesl 2 KZ equation and the intersection of Schubert classes, Preprint in arXiv:math/0207218 ,
1985 arXiv
-
[2020]
Abanov, A
[AGK11] A. Abanov, A. Gromov, and M. Kulkarni,Soliton solutions of a Calogero model in a harmonic potential, Journal of Physics A: Mathematical and Theoretical44(2011), no. 29, 295203. [AS60] L. V. Ahlfors, L. Sario,Riemann Surfaces, Princeton Universty Press, 1960 . [AHSY23] ...
2011
-
[2024]
Makarov and J
[MZ24a] N. Makarov and J. Zhang,Multiple radial SLE(κ) and quantum Calegero-Sutherland system, Preprint in arXiv:2505.14762, 2025 [JZ25a] J. Zhang,Multiple chordal SLE(0) and classical Calegero-Moser system, Preprint in arXiv:2505.17129, 2025 [JZ25b] J. Zhang,Multiple chordal ...
2025
-
[2025]
Kozdron and G
[KL07] M. Kozdron and G. Lawler,The configurational measure on mutually avoiding SLE paths, Universality and renormalization, Fields Inst. Commun., vol. 50, Amer. Math. Soc., Providence, RI, 2007, pp. 199–224. MR2310306 [KM13] N-G Kang and N. Makarov,Gaussian free field and co...
2013 arXiv
Reviewed August 7, 2026 · model on record in the stance chip above.
Discussion (0). Sign in to comment.