Asymptotic Monodromy Operator

• Asymptotic Monodromy Operator is an analytic continuation construct, defined as an ordered product of Stokes matrices and formal monodromy, capturing local asymptotic behavior near singularities.
• It facilitates the reconstruction of global analytic properties from local data, bridging diverse fields such as meromorphic opers, TMG, and degenerating Hodge structures.
• Its multiple realizations—from unipotent Jordan blocks to nilpotent logarithms—offer practical insights for addressing differential equations, spectral problems, and irregular singularities.

The asymptotic monodromy operator is the operator obtained from analytic continuation near a singular point, puncture, asymptotic boundary, or degeneration parameter. In current usage it does not denote a single universal construction, but a family of closely related objects: in meromorphic projective structures and opers it is the ordered product of Stokes matrices and formal monodromy; in chiral Topologically Massive Gravity it is a unipotent operator acting on a logarithmic Virasoro Jordan cell; in degenerating Hodge-theoretic or arithmetic settings it is often represented by a nilpotent logarithm of unipotent monodromy; and in WKB or quasinormal-mode problems it is the contour monodromy built from local connection matrices and horizon or Stokes factors (Sérandour, 2023, Mvondo-She, 8 May 2026, A'Campo, 2024, Lan et al., 2022).

1. Core definition and formal structure

A standard analytic realization appears for meromorphic projective structures and rank-2 opers. There, after passing to Hukuhara–Turrittin formal normal form near a pole, one obtains formal monodromy $e^{2\pi i \Lambda}$ together with Stokes matrices $S_k$ attached to sector changes. The asymptotic monodromy operator around a puncture is then

$$M_{\mathrm{asym}}(z_0)=S_mS_{m-1}\cdots S_1 e^{2\pi i\Lambda},$$

with the ordering determined by the orientation of the Stokes rays. For regular singularities there are no Stokes matrices, so $M_{\mathrm{asym}}=M_{\mathrm{form}}$ (Sérandour, 2023).

This factorized viewpoint persists in several ODE-based problems. For the deformed cubic oscillator, all monodromy data lie at the irregular singularity at $x=\infty$, and the monodromy operator is written as the ordered product of five Stokes matrices,

$M_\infty=S_{k+4}S_{k+3}S_{k+2}S_{k+1}S_k,$

with the Stokes multipliers encoded by sectorial subdominant solutions and by Fock–Goncharov coordinates (Bridgeland et al., 2020). In higher-order Painlevé III systems, the same structure is split between $\xi=\infty$ and $\xi=0$, with

$$\nu_d^{(\infty)}=S_{d,-}^{(\infty)-1}e^{2\pi i\delta A}S_{d,+}^{(\infty)},\qquad \nu_d^{(0)}=S_{-d,-}^{(0)-1}e^{-2\pi i\delta(G^{-1}AG)}S_{-d,+}^{(0)},$$

and a connection matrix relating the two (Wang et al., 22 Dec 2025).

Context	Operator form	Primary data
Meromorphic opers	$S_m\cdots S_1 e^{2\pi i\Lambda}$	Formal residues and Stokes matrices
Chiral TMG	$S_k$0	Jordan cell and logarithmic mixing
Dwork motives	$S_k$1, with $S_k$2	Unipotent local monodromy at $S_k$3
Regular black holes	$S_k$4	Stokes contour transport and horizon factor

A recurrent misconception is to treat the asymptotic monodromy operator as necessarily a full holonomy matrix. The literature shows at least three distinct but compatible meanings: a full Stokes-formal product, a reduced nilpotent logarithm, or a unipotent Jordan action after quotienting out an overall phase (Sérandour, 2023, A'Campo, 2024, Mvondo-She, 8 May 2026).

2. Unipotent and logarithmic realizations

A particularly explicit representation-theoretic realization is provided by chiral TMG at the critical point $S_k$5. The logarithmic graviton sector is organized as a rank-2 Jordan cell with highest-weight pair $S_k$6, $S_k$7 satisfying

$S_k$8

with nilpotent operator $S_k$9 defined by $$M_{\mathrm{asym}}(z_0)=S_mS_{m-1}\cdots S_1 e^{2\pi i\Lambda},$$0, $$M_{\mathrm{asym}}(z_0)=S_mS_{m-1}\cdots S_1 e^{2\pi i\Lambda},$$1, $$M_{\mathrm{asym}}(z_0)=S_mS_{m-1}\cdots S_1 e^{2\pi i\Lambda},$$2, so that $$M_{\mathrm{asym}}(z_0)=S_mS_{m-1}\cdots S_1 e^{2\pi i\Lambda},$$3. In the chiral TMG logarithmic graviton sector, $$M_{\mathrm{asym}}(z_0)=S_mS_{m-1}\cdots S_1 e^{2\pi i\Lambda},$$4 (Mvondo-She, 8 May 2026).

The asymptotic monodromy operator arises from analytic continuation of the Fefferman–Graham radial coordinate, $$M_{\mathrm{asym}}(z_0)=S_mS_{m-1}\cdots S_1 e^{2\pi i\Lambda},$$5, acting on near-boundary profiles

$$M_{\mathrm{asym}}(z_0)=S_mS_{m-1}\cdots S_1 e^{2\pi i\Lambda},$$6

Since $$M_{\mathrm{asym}}(z_0)=S_mS_{m-1}\cdots S_1 e^{2\pi i\Lambda},$$7, the logarithmic mode is shifted by the primary profile, and the operator on the Jordan cell is

$$M_{\mathrm{asym}}(z_0)=S_mS_{m-1}\cdots S_1 e^{2\pi i\Lambda},$$8

In the ordered basis $$M_{\mathrm{asym}}(z_0)=S_mS_{m-1}\cdots S_1 e^{2\pi i\Lambda},$$9 this is

$M_{\mathrm{asym}}=M_{\mathrm{form}}$0

so the reduced monodromy is unipotent with a size-2 Jordan block (Mvondo-She, 8 May 2026).

The same Jordan structure persists uniformly along the full $M_{\mathrm{asym}}=M_{\mathrm{form}}$1 descendant tower generated by $M_{\mathrm{asym}}=M_{\mathrm{form}}$2. If $M_{\mathrm{asym}}=M_{\mathrm{form}}$3 and $M_{\mathrm{asym}}=M_{\mathrm{form}}$4, then

$M_{\mathrm{asym}}=M_{\mathrm{form}}$5

and monodromy-compatibility is the commutator condition $M_{\mathrm{asym}}=M_{\mathrm{form}}$6. In this sense, the unipotent monodromy is not an auxiliary boundary artifact but the geometric avatar of the indecomposable LCFT module (Mvondo-She, 8 May 2026).

3. Irregular singularities, Stokes data, and asymptotic expansions

For irregular linear systems, the asymptotic monodromy operator is controlled by Stokes geometry. In meromorphic opers this begins with the difference of formal exponents $M_{\mathrm{asym}}=M_{\mathrm{form}}$7; Stokes rays are directions where $M_{\mathrm{asym}}=M_{\mathrm{form}}$8, and actual sectorial solutions jump by right-multiplication with Stokes matrices when such rays are crossed. This is precisely why the operator is not determined by formal monodromy alone at irregular points (Sérandour, 2023).

The deformed cubic oscillator makes this dependence quantitative. Its generalized monodromy map is encoded by five subdominant solutions at infinity, with Stokes relations

$M_{\mathrm{asym}}=M_{\mathrm{form}}$9

and corresponding unipotent Stokes matrices. For saddle-free phases, the Fock–Goncharov coordinates satisfy WKB asymptotic expansions governed by action integrals $x=\infty$0, and these expansions transfer directly to the Stokes multipliers through

$x=\infty$1

Thus the entries of the Stokes matrices, and therefore $x=\infty$2, acquire exponentially small WKB behavior determined by the action integrals and their corrections (Bridgeland et al., 2020).

The first Painlevé transcendent provides a related asymptotic regime in which the monodromy data are the Stokes multipliers $x=\infty$3 of the Lax pair at $x=\infty$4, with the cyclic monodromy operator

$x=\infty$5

The paper on full asymptotic expansion derives complete large-parameter expansions of the $x=\infty$6 both for large initial data and for large pole parameters, using refined complex WKB and Airy uniformization near simple turning points (Long et al., 2024).

In higher-order Painlevé III equations, the asymptotic monodromy operator is not merely implicit: the Stokes matrices and connection matrix are written explicitly in terms of asymptotic parameters $x=\infty$7, with entrywise formulas involving $x=\infty$8-products and minors of upper-left submatrices. This suggests a strong inversion principle: asymptotic parameters determine Stokes data, and Stokes data determine the monodromy operators at $x=\infty$9 and $M_\infty=S_{k+4}S_{k+3}S_{k+2}S_{k+1}S_k,$0 (Wang et al., 22 Dec 2025).

4. Cohomological, logarithmic, and arithmetic incarnations

In degenerating geometric settings, the operator is frequently recast as a nilpotent logarithm. For Dwork motives, the local monodromy at $M_\infty=S_{k+4}S_{k+3}S_{k+2}S_{k+1}S_k,$1 is unipotent: if $M_\infty=S_{k+4}S_{k+3}S_{k+2}S_{k+1}S_k,$2, then

$M_\infty=S_{k+4}S_{k+3}S_{k+2}S_{k+1}S_k,$3

The Jordan block sizes of $M_\infty=S_{k+4}S_{k+3}S_{k+2}S_{k+1}S_k,$4 are determined by the multiplicities of the $M_\infty=S_{k+4}S_{k+3}S_{k+2}S_{k+1}S_k,$5, and hence the Jordan type of $M_\infty=S_{k+4}S_{k+3}S_{k+2}S_{k+1}S_k,$6 is read off combinatorially. In the computational families exhibited in dimensions $M_\infty=S_{k+4}S_{k+3}S_{k+2}S_{k+1}S_k,$7, many partitions occur, and the thin Hodge profile $M_\infty=S_{k+4}S_{k+3}S_{k+2}S_{k+1}S_k,$8 strongly constrains the resulting limiting mixed Hodge structures (A'Campo, 2024).

Rigid and logarithmic $M_\infty=S_{k+4}S_{k+3}S_{k+2}S_{k+1}S_k,$9-adic geometry provides another version. For dagger spaces with strictly semistable reduction, the monodromy operator is defined as the connecting morphism arising from the exact sequence

$\xi=\infty$0

It satisfies

$\xi=\infty$1

and the paper explicitly interprets $\xi=\infty$2 as the asymptotic monodromy governing the degeneration from $\xi=\infty$3 to $\xi=\infty$4. In local coordinates with $\xi=\infty$5, the operator is induced by wedging with $\xi=\infty$6 and decomposes into residue contributions along the normal-crossings boundary (Grosse-Klönne, 2014).

For log curves over the standard log point, the same philosophy becomes combinatorial. The algebraic monodromy operator

$\xi=\infty$7

is defined on a hypercocycle $\xi=\infty$8 by

$\xi=\infty$9

It coincides with the classical topological monodromy in a semistable degeneration over the complex disc, and its invariant part is identified with Du Bois cohomology through an exact sequence

$\xi=0$0

Here the “asymptotic monodromy operator” is already the nilpotent logarithm rather than the full local system holonomy (Gatti, 2018).

5. Spectral, gauge/gravity, and contour-monodromy applications

In two-dimensional conformal field theory at large central charge, the asymptotic monodromy operator appears as the holonomy of the BPZ system underlying the monodromy method for semiclassical Virasoro blocks. For the standard level-two degenerate insertion, one rewrites the second-order equation as a first-order system $\xi=0$1, and the contour monodromy is

$\xi=0$2

The generalized monodromy method shows that replacing the level-two degenerate operator by a level-three one leads to a third-order equation,

$\xi=0$3

with a different-looking monodromy problem but the same accessory parameter and the same classical conformal block. The paper interprets this as a nontrivial equivalence of Riemann–Hilbert data for different Fuchsian systems built from the same semiclassical stress tensor $\xi=0$4 (Hou, 2023).

For regular black holes, the asymptotic monodromy operator is defined by analytic continuation along a closed contour $\xi=0$5 in the complex radial plane. The operator is

$\xi=0$6

where the $\xi=0$7 are local rotation or connection matrices associated with complex singularities and $\xi=0$8 contributes the horizon factor $\xi=0$9. Quantization follows from

$$\nu_d^{(\infty)}=S_{d,-}^{(\infty)-1}e^{2\pi i\delta A}S_{d,+}^{(\infty)},\qquad \nu_d^{(0)}=S_{-d,-}^{(0)-1}e^{-2\pi i\delta(G^{-1}AG)}S_{-d,+}^{(0)},$$0

The paper emphasizes that, for regular black holes with spherical symmetry and a single shape function, the resulting asymptotic quasinormal-mode spectrum is not universal: it depends on complex singularities and the Stokes trajectory rather than on a universal central singularity monodromy (Lan et al., 2022).

Compact CMC surfaces yield a different asymptotic regime. Their associated $$\nu_d^{(\infty)}=S_{d,-}^{(\infty)-1}e^{2\pi i\delta A}S_{d,+}^{(\infty)},\qquad \nu_d^{(0)}=S_{-d,-}^{(0)-1}e^{-2\pi i\delta(G^{-1}AG)}S_{-d,+}^{(0)},$$1-family of flat $$\nu_d^{(\infty)}=S_{d,-}^{(\infty)-1}e^{2\pi i\delta A}S_{d,+}^{(\infty)},\qquad \nu_d^{(0)}=S_{-d,-}^{(0)-1}e^{-2\pi i\delta(G^{-1}AG)}S_{-d,+}^{(0)},$$2-connections

$$\nu_d^{(\infty)}=S_{d,-}^{(\infty)-1}e^{2\pi i\delta A}S_{d,+}^{(\infty)},\qquad \nu_d^{(0)}=S_{-d,-}^{(0)-1}e^{-2\pi i\delta(G^{-1}AG)}S_{-d,+}^{(0)},$$3

is analyzed as $$\nu_d^{(\infty)}=S_{d,-}^{(\infty)-1}e^{2\pi i\delta A}S_{d,+}^{(\infty)},\qquad \nu_d^{(0)}=S_{-d,-}^{(0)-1}e^{-2\pi i\delta(G^{-1}AG)}S_{-d,+}^{(0)},$$4 by passing to the Hitchin cover and introducing $$\nu_d^{(\infty)}=S_{d,-}^{(\infty)-1}e^{2\pi i\delta A}S_{d,+}^{(\infty)},\qquad \nu_d^{(0)}=S_{-d,-}^{(0)-1}e^{-2\pi i\delta(G^{-1}AG)}S_{-d,+}^{(0)},$$5. After a gauge transformation, one obtains a twisted family with leading diagonal term $$\nu_d^{(\infty)}=S_{d,-}^{(\infty)-1}e^{2\pi i\delta A}S_{d,+}^{(\infty)},\qquad \nu_d^{(0)}=S_{-d,-}^{(0)-1}e^{-2\pi i\delta(G^{-1}AG)}S_{-d,+}^{(0)},$$6, and for admissible curves $$\nu_d^{(\infty)}=S_{d,-}^{(\infty)-1}e^{2\pi i\delta A}S_{d,+}^{(\infty)},\qquad \nu_d^{(0)}=S_{-d,-}^{(0)-1}e^{-2\pi i\delta(G^{-1}AG)}S_{-d,+}^{(0)},$$7 the monodromy trace satisfies the WKB asymptotic

$$\nu_d^{(\infty)}=S_{d,-}^{(\infty)-1}e^{2\pi i\delta A}S_{d,+}^{(\infty)},\qquad \nu_d^{(0)}=S_{-d,-}^{(0)-1}e^{-2\pi i\delta(G^{-1}AG)}S_{-d,+}^{(0)},$$8

Consequently, the asymptotics of the monodromy traces determine the periods of $$\nu_d^{(\infty)}=S_{d,-}^{(\infty)-1}e^{2\pi i\delta A}S_{d,+}^{(\infty)},\qquad \nu_d^{(0)}=S_{-d,-}^{(0)-1}e^{-2\pi i\delta(G^{-1}AG)}S_{-d,+}^{(0)},$$9, and under the simple-umbilic assumption this determines the conformal structure and Hopf differential locally in Teichmüller space (Heller, 2015).

6. Reconstruction, invariants, and scope

A central theme across these works is reconstruction from asymptotic monodromy data. In meromorphic projective structures, the generalized monodromy map to the wild character variety is locally biholomorphic after fixing residues and excluding apparent singularities, so the asymptotic monodromy operator varies holomorphically and locally determines the oper data (Sérandour, 2023). In chiral TMG, monodromy-compatible Virasoro flow uniquely reconstructs the indecomposable logarithmic module once the primary Jordan cell and the commutators $S_m\cdots S_1 e^{2\pi i\Lambda}$0 and $S_m\cdots S_1 e^{2\pi i\Lambda}$1 are fixed (Mvondo-She, 8 May 2026). In higher-order Painlevé III, asymptotic parameters explicitly determine Stokes matrices and the connection matrix, producing closed formulas for the monodromy operators themselves (Wang et al., 22 Dec 2025).

The principal invariants extracted from these operators vary with the framework. In Stokes-theoretic problems they include eigenvalues, Stokes multipliers, and connection matrices (Bridgeland et al., 2020, Long et al., 2024). In logarithmic and unipotent settings they include Jordan block sizes and nilpotent logarithms (A'Campo, 2024, Mvondo-She, 8 May 2026). In Hodge-theoretic degeneration they include the monodromy weight filtration and its relation to residue strata (Grosse-Klönne, 2014). In contour-based spectral problems they govern quantization conditions and large-overtone spectra (Lan et al., 2022).

A plausible implication is that “asymptotic monodromy operator” is best understood as a structural role rather than a fixed formula. The role is stable: it packages the effect of analytic continuation at infinity, near a pole, around a degeneration, or along a Stokes contour. The implementation is not stable: it may be a Stokes-formal product, a unipotent shift, a nilpotent logarithm, or a contour transport operator. The modern literature therefore treats the term as a bridge between local asymptotics and global classification, rather than as the name of a single operator on a single category of objects (Sérandour, 2023, Gatti, 2018, Mvondo-She, 8 May 2026).