arxiv: 2604.17006 · v2 · submitted 2026-04-18 · 🧮 math.AG · math.DG· math.GT

Recognition: 2 theorem links

· Lean Theorem

The conformal limit for Nakajima quiver varieties

Sotiria Chatzimarkou , Panagiotis Dimakis

Authors on Pith no claims yet

Pith reviewed 2026-05-13 07:31 UTC · model grok-4.3

classification 🧮 math.AG math.DGmath.GT

keywords Nakajima quiver varietiesconformal limitholomorphic Lagrangian submanifoldsbiholomorphic mapfoliationsquiver varietiescompleteness conjecture

0 comments

The pith

The conformal limit for Nakajima quiver varieties is a limit of a one-parameter family and gives a biholomorphic map between holomorphic Lagrangian submanifolds foliating two varieties.

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

The paper defines a conformal limit construction for Nakajima quiver varieties. It proves that this limit arises as the limit point of a one-parameter family inside a given quiver variety. This construction yields a biholomorphic map between holomorphic Lagrangian submanifolds that foliate two different quiver varieties. The paper also considers whether these submanifolds are complete, following an analog of a known conjecture on completeness.

Core claim

The conformal limit is indeed a limit of a one parameter family of points inside a specified quiver variety and it gives a biholomorphic map between holomorphic Lagrangian submanifolds foliating two different quiver varieties. The analog of the conjecture on the completeness of these holomorphic Lagrangian submanifolds is discussed.

What carries the argument

The conformal limit construction applied to Nakajima quiver varieties, which defines the limiting process and the resulting biholomorphic correspondence.

If this is right

The biholomorphic map preserves the holomorphic and Lagrangian properties of the submanifolds.
It relates the foliations in two distinct quiver varieties through this limiting process.
The one-parameter family converges to the conformal limit point.
Completeness properties of the submanifolds may be analyzed using the map.

Where Pith is reading between the lines

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

This could allow transferring completeness results or other properties between the two quiver varieties.
Similar constructions might apply to other types of moduli spaces with Lagrangian foliations.
Explicit examples in low dimensions could test the convergence and biholomorphism.

Load-bearing premise

The conformal limit construction is well-defined for Nakajima quiver varieties and the holomorphic Lagrangian submanifolds foliate the varieties in a way compatible with the biholomorphic map.

What would settle it

An explicit computation for a particular low-rank quiver variety where the one-parameter family fails to converge to the expected limit or the map is not biholomorphic.

read the original abstract

Inspired by Gaiotto's conformal limit construction for Higgs bundles we define and study a conformal limit construction for Nakajima quiver varieties. We prove that the conformal limit is indeed a limit of a one parameter family of points inside a specified quiver variety and that it gives a biholomorphic map between holomorphic Lagrangian submanifolds foliating two different quiver varieties. In the last part of the paper we discuss the analog of Simpson's conjecture on the completeness of these holomorphic Lagrangian submanifolds.

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 defines a conformal limit for Nakajima quiver varieties modeled on Gaiotto's Higgs bundle work and proves it arises as a one-parameter limit while inducing a biholomorphism between foliating holomorphic Lagrangians.

read the letter

The main point is that they adapt Gaiotto's conformal limit construction from Higgs bundles to Nakajima quiver varieties. They show the limit is the actual limit of a one-parameter family inside a specified quiver variety and that it produces a biholomorphic map between holomorphic Lagrangian submanifolds foliating two different quiver varieties. The paper closes with a discussion of an analog to Simpson's completeness conjecture for these submanifolds. This is a direct extension rather than a restatement, and the setup defines the limit first before verifying the properties, which keeps the logic straightforward. The proofs of the limit property and the biholomorphism appear to rest on independent checks of the family and the foliation compatibility. That part is new enough to be worth noting for people working on moduli spaces of quiver representations. The construction itself looks cleanly transferred from the Higgs bundle setting without obvious circular steps. The soft spots are in the details that the abstract does not reach. The biholomorphic map claim depends on how the holomorphic structures and the foliations are set up on the two varieties, and any gaps in handling the analytic or algebraic conditions would only show up in the full derivations. The Simpson analog is presented as discussion rather than a resolved statement, which is reasonable but means it does not add a completed theorem. This paper is for algebraic geometers and symplectic geometers who already know the Higgs bundle literature and want to see the same ideas applied to quiver varieties. Readers outside that circle will find the statements hard to evaluate without background. It has enough specific claims and a clear connection to existing results to deserve a serious referee who can check the technical steps. I would send it to peer review.

Referee Report

2 major / 2 minor

Summary. The paper defines a conformal limit construction for Nakajima quiver varieties, modeled on Gaiotto's construction for Higgs bundles. It proves that this limit arises as the limit of a one-parameter family of points inside a specified quiver variety and induces a biholomorphic map between holomorphic Lagrangian submanifolds that foliate two distinct quiver varieties. The final section discusses an analog of Simpson's completeness conjecture for these submanifolds.

Significance. If the central claims hold, the work provides a new geometric construction linking different Nakajima quiver varieties via holomorphic Lagrangian foliations and biholomorphic maps, extending techniques from Higgs bundle theory. The explicit proofs of the limit property and the biholomorphism, together with the discussion of the Simpson analog, would constitute a solid contribution to the study of quiver varieties and their symplectic geometry.

major comments (2)

[§3] §3, Theorem 3.5: the proof that the conformal limit is independent of the choice of stability parameter relies on a continuity argument for the one-parameter family; the argument does not explicitly address the case when the stability parameter lies on a wall, which could affect the limit point.
[§5.2] §5.2, Proposition 5.8: the verification that the constructed map is biholomorphic uses local holomorphic coordinates on the Lagrangian submanifolds, but the global injectivity step invokes a properness argument whose details are only outlined; a complete reference to the relevant properness lemma or an explicit estimate is needed.

minor comments (2)

[§2.3] The notation for the one-parameter family in §2.3 is introduced without a clear statement of the range of the parameter; adding an explicit interval or domain would improve readability.
[Figure 1] Figure 1 (page 12) lacks a caption explaining the labeling of the foliation leaves; this makes it difficult to connect the diagram to the statements in §4.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and for the constructive comments. We address each major point below and indicate the revisions we will make.

read point-by-point responses

Referee: §3, Theorem 3.5: the proof that the conformal limit is independent of the choice of stability parameter relies on a continuity argument for the one-parameter family; the argument does not explicitly address the case when the stability parameter lies on a wall, which could affect the limit point.

Authors: We agree that the continuity argument in the proof of Theorem 3.5 does not explicitly treat the case in which the stability parameter lies on a wall. In the revised manuscript we will insert a short additional paragraph that handles wall-crossing: we show that the one-parameter family remains continuous across walls by appealing to the semi-continuity of the GIT quotient and to the fact that the conformal limit is defined via a rescaling that commutes with the wall-crossing isomorphism. This establishes independence of the stability parameter in all cases. revision: yes
Referee: §5.2, Proposition 5.8: the verification that the constructed map is biholomorphic uses local holomorphic coordinates on the Lagrangian submanifolds, but the global injectivity step invokes a properness argument whose details are only outlined; a complete reference to the relevant properness lemma or an explicit estimate is needed.

Authors: We thank the referee for this observation. The properness argument used for global injectivity in the proof of Proposition 5.8 is based on the properness of the moment map for Nakajima quiver varieties (Nakajima, 1994, Proposition 3.2). In the revised version we will add an explicit reference to this lemma together with a one-line estimate showing that the map is proper on the relevant holomorphic Lagrangian submanifolds, thereby making the injectivity step fully rigorous. revision: yes

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper first defines a conformal limit construction for Nakajima quiver varieties, modeled on Gaiotto's prior work for Higgs bundles but adapted independently to the quiver setting. It then proves that this defined object arises as the limit of a one-parameter family and induces a biholomorphic map between specified holomorphic Lagrangian submanifolds. No step reduces by construction to its own inputs, no fitted parameter is relabeled as a prediction, and no load-bearing claim rests on a self-citation chain. The central results are presented as theorems proved from the definition onward, with the Simpson-conjecture analog treated as a separate discussion. The derivation chain is therefore self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract provides no explicit free parameters, axioms, or invented entities; the work appears to rest on standard background in algebraic geometry and symplectic geometry.

pith-pipeline@v0.9.0 · 5371 in / 975 out tokens · 39512 ms · 2026-05-13T07:31:50.385476+00:00 · methodology

Review history (2 revisions) →

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/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear

?

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

We prove that the conformal limit is indeed a limit of a one parameter family of points inside a specified quiver variety and that it gives a biholomorphic map between holomorphic Lagrangian submanifolds foliating two different quiver varieties.
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

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

the conformal limit CL_h(p0+A) := lim R→0 F_R,h(gA·(p0+A))

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

4 extracted references · 4 canonical work pages

[1]

Conformal limits for parabolic SL(n, C)-Higgs bundles.arXiv preprint arXiv:2407.16798,

[CFW24] Brian Collier, Laura Fredrickson, and Richard Wentworth. Conformal limits for parabolic SL(n, C)-Higgs bundles.arXiv preprint arXiv:2407.16798,

work page arXiv
[2]

On a conjecture of Simpson.arXiv preprint arXiv:2410.12945,

[DS24] Panagiotis Dimakis and Sebastian Schulz. On a conjecture of Simpson.arXiv preprint arXiv:2410.12945,

work page arXiv
[3]

Opers and TBA

[Gai14] Davide Gaiotto. Opers and TBA.arXiv preprint arXiv:1403.6137,

work page Pith review arXiv
[4]

Singular lagrangians in the hitchin moduli space and conformal limits.arXiv preprint arXiv:2504.14472,

[Kwo25] Szehong Kwong. Singular lagrangians in the hitchin moduli space and conformal limits.arXiv preprint arXiv:2504.14472,

work page arXiv