5
$\begingroup$

For simplicity, we assume that $X=\mathbb P_{\mathbb C}^1-\{s_1, s_2, \dots, s_k\}$ and $\infty \in X$. Consider the trivial bundle $E=\mathcal O_X^r$ with the connection $\nabla$ induced by a Fushcian system on $X$, i.e. $$\nabla:= d+\sum_{i=1}^k \frac{A_i}{z-s_i},$$ where $A_i$'s are $r\times r$ constant matrices over $\mathbb C$ such that $\sum_{i=1}^kA_i=0$. Then we have a flat bundle with connection (or a logarithmic connection), note it only has regular singularities. My question is that what is the corresponding monodromy representation to $(E,\nabla)$ via the Riemann Hilbert correspondence? The known part is that locally at each $z=s_i$, the monodromy $T_i$ can be obtained by the residue map: $T_i=\exp(2\pi i A_i)$, but this seems not to admit a unique representation up to isomorphism. Is there any more properties/facts around the question?

$\endgroup$
  • 1
    $\begingroup$ You cannot solve ode "explicitly" - so cannot find explicit monodromies. Rare exceptions like Knizhnik-Zamolodchikov equation are due some hidden Lie group symmetry inside. $\endgroup$ – Alexander Chervov Feb 24 at 12:20
  • $\begingroup$ By Riemann Hilbert correspondence, if the sum of A_i is zero, and fix a map $\mathbb C/\mathbb Z\to \mathbb C$, then there exists a unique local system, namely a unique representation. $\endgroup$ – Longma Feb 25 at 9:06
4
$\begingroup$

It depends on what is called "explicit". If $k>2$, monodromy representation is a transcendental function of the $A_j$ and $s_j$. When $d=0$, it was expressed as an everywhere convergent power series in the $A_j$ whose coefficients are explicit (rational) functions in $s_j$ by Lappo-Danilevski:

Lappo-Danilevsky, J. A. Mémoires sur la théorie des systèmes des équations différentielles linéaires. (French) Chelsea Publishing Co., New York, N. Y., 1953.

If $d\neq 0$, the system is not Fuchsian: singularity at $\infty$ is irregular. If $k=2, d\neq 0$ your system already contains the "prolate/oblate spheroid equations", which were studied much and no reasonable explicit formula for the monodromy is known. There are asymptotics, of course. A recent paper about this special case, with a good reference list is

Richard-Jung, F.; Ramis, J.-P.; Thomann, J.; Fauvet, F. New characterizations for the eigenvalues of the prolate spheroidal wave equation. Stud. Appl. Math. 138 (2017), no. 1, 3–42.

The case $d=0$, $k=3$ was also much studied. The papers usually refer to "Heun's equation".

$\endgroup$
  • 1
    $\begingroup$ In physics they call it 'time ordered exponent' en.m.wikipedia.org/wiki/Ordered_exponential $\endgroup$ – Alexander Chervov Feb 24 at 14:35
  • $\begingroup$ @Alexander Chervov: good remark! This gives many references which are more modern than the original papers of Lappo-Danilevsky. $\endgroup$ – Alexandre Eremenko Feb 24 at 14:38
  • $\begingroup$ @Alexander Chervov: what is this m.wikipedia? I could not find any general description. $\endgroup$ – Alexandre Eremenko Feb 24 at 23:33
  • $\begingroup$ M stands for mobile it is the same wiki, but it looks like that from mobile devices $\endgroup$ – Alexander Chervov Feb 25 at 4:28
  • $\begingroup$ Thanks a lot for your help. Maybe I should assume that the sum of A_i is 0 and d is not 0 so that the system is Fuchsian, do you have any idea in this case? $\endgroup$ – Longma Feb 25 at 9:03
1
$\begingroup$

You are correct that the monodromy representation is given by the $T_i$. To address your concerns about this being unique up to isomorphism, notice that a change of basis of $\mathcal{O}_X^r$ induces a corresponding (compatible) change to the $T_i$.

You might be interested in the following references: Sections 5.1.1 and 5.1.2 of Hotta, Tanasaki, and Takeuchi's "D-Modules, Perverse Sheaves, and Representation Theory"; and Chapter III of "Algebraic D-Modules" by Borel, et al.

$\endgroup$
  • $\begingroup$ Thanks a lot. Actually the reference you gave is exactly the book I am reading. In this book, they gave a way to obtain the monodromy representation, however, their method requires that all monodromy are commuting invertible matrices, which I do not get the point, do you have any idea? $\endgroup$ – Longma Feb 25 at 9:03
  • $\begingroup$ @Longma if you don’t have commuting matrices, you don’t get an integrable connection, and in particular can’t use the Riemann-Hilbert Correspondence. In fact, you won’t even get a D-module $\endgroup$ – Avi Steiner Feb 25 at 16:03
  • $\begingroup$ In higher dimensional cases, I totally agree with you. However, in my example, we are working on the one dimensional case, namely, every two components of the NCD divisor has no intersection, so we don't need to require that the monodromy commutates. (Since the commutativity condition is due to monodromy agrees on the intersection of each "singularity". Does it make any sense for you? $\endgroup$ – Longma Feb 26 at 11:04
  • $\begingroup$ @Longma Oh! Shoot! You’re right! Yeah, there’s no particular reason you need commuting matrices. My answer still holds , though. $\endgroup$ – Avi Steiner Feb 26 at 14:21
  • $\begingroup$ Ok. I need more information to determine the induced map between isomorphic classes. Thanks anyway. $\endgroup$ – Longma Feb 26 at 19:42

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.