Abstract
In this paper we study one-point rank one commutative rings of difference operators. We find conditions on spectral data which specify such operators with periodic coefficients.
Access provided by Autonomous University of Puebla. Download conference paper PDF
Similar content being viewed by others
Keywords
Mathematics Subject Classification (2010)
1 Introduction and Main Results
In this paper we study one-point rank one commuting difference operators with periodic coefficients.
Let us consider a (maximal) commutative ring \({\mathcal A}\) of difference operators consisting of operators of the form
where T is a shift operator, Tψ(n) = ψ(n + 1), m = N + + N − is the order of L m (assuming \(u_{N_{-}}\neq 0\)). The operator L m acts on the space of formal functions \(\{\psi :\mathbb {Z}\longrightarrow \mathbb {C}\}\). The ring \({\mathcal A}\) is isomorphic to a ring of rational functions on spectral curve Γ with poles in points q 1, …, q s ∈ Γ (see [1]). Common eigenfunctions of operators from \({\mathcal A}\) form a vector bundle of rank l over \(\Gamma \backslash \{ \cup _{j=1}^{s}q_j\}.\) More precisely, there is a vector-function \(\psi (n,P)=(\psi _1(n,P),\dots ,\psi _l(n,P)), P\in \Gamma \backslash \{ \cup _{j=1}^{s}q_j\}\) which is called Baker–Akhiezer function, such that every operator \(L_m\in {\mathcal A}\) corresponds to a meromorphic function f(P) on Γ with poles in q 1, …, q s
Moreover, m = lm′, where m′ is the degree of the pole divisor of f. The operators from \({\mathcal A}\) are called s-point rank l operators.
Two-point rank one operators were classified in [1, 7]. Baker–Akhiezer function of such operators can be reconstructed from Krichever’s spectral data [1]. One-point rank l > 1 operators were discovered by Krichever and Novikov in [3]. Spectral data for one-point rank one operators were found in [4]. Those operators contain the shift operator T only in positive power. Recall that the spectral data for such operators has the form (see [4])
Here Γ is a Riemannian surface of genus g (we do not consider singular spectral curves), γ = γ 1 + … + γ g is a non-special divisor on \(\Gamma ,\ P_n\in \Gamma ,\ n\in \mathbb {Z}\) is a set of general points, q ∈ Γ is a fixed point, k −1 is a local parameter near q. There is a unique Baker–Akhezer function \(\psi (n,P),n\in \mathbb {Z}, P\in \Gamma \) which is rational function on Γ and satisfies the following properties
-
if n > 0, then the zero and pole divisor of ψ has the form
$$\displaystyle \begin{aligned}(\psi(n,P))= \gamma(n)+P_0+ \ldots +P_{n-1}-\gamma-nq,\end{aligned}$$ -
if n < 0, then the zero and pole divisor of ψ has the form
$$\displaystyle \begin{aligned}(\psi(n,P))= \gamma(n)-P_{-1}- \ldots -P_n-\gamma-nq,\end{aligned}$$ -
if n = 0 then ψ(n, P) = 1,
-
in a neighborhood of q the function ψ has the following expansion
$$\displaystyle \begin{aligned}\psi(n,P)=k^n+O(k^{n-1}). \end{aligned}$$
Here γ(n) = γ 1(n) + … + γ g(n), n≠0 is some divisor on Γ. Further we will use the following notation γ(0) = γ. For arbitrary meromorphic function f(P) on Γ with the unique pole in q of order m there is a unique operator
such that L m ψ = fψ, see [4].
If in the spectral data S all points P n coincide, P n = q +, then we get the two-point Krichever’s construction [1].
One-point rank one operators were studied in [4,5,6], in particular some explicit examples of such operators were given. That class of operators is very interesting because, for example with the help of those operators one can construct a discretization of the Lamé operator preserving the spectral curve. More precisely, let ℘(x), ζ(x) be the Weierstrass functions. We define the function A g(x, ε) by the following formulas
The operator
commutes with the operator L 2g+1, operators L 2, L 2g+1 are rank one one-point operators. In the above formulas it is assumed that T ε ψ(x) = ψ(x + ε). The operator L 2 has the following expansion
For small g it is checked that the spectral curve of the pair L 2, L 2g+1 coincides with the spectral curve of the Lamé operator \(\partial _x^2-g(g+1)\wp (x)\), see [5]. Probably this class of difference operators can be used for the construction of a discretization of arbitrary finite-gap one dimensional Schrödinger operators. Note that the operator (1) is periodic. So, for the discretization of the finite-gap operators it is useful to find the condition when rank one one-point operators are periodic with real coefficients. This is the main motivation of this paper.
In the next theorem we formulate periodicity and reality conditions of the coefficients of the operators.
Theorem 1
Coefficients of one-point rank one operators corresponding to the spectral data
are N-periodic, \(N\in {\mathbb N}\) , if and only if
and there is a meromorphic function λ(P) on Γ with a divisor of zeros and poles of the form
Let us assume that the spectral curve Γ admits an antiholomorphic involution
If
then the Baker–Akhiezer function satisfies the identity
and if additionally
then the coefficients of the operator L m corresponding to the function f(P), L m ψ = fψ, are real.
In the case of two-point rank one operators the analogue of Theorem 1 was proved in [2]. In the two-point case we have (λ) = Nq + − Nq.
2 Proof of Theorem 1
At the beginning we prove the second part of the theorem. The proof of this part is usual. The identity (3) follows from the uniqueness of the Baker–Akhiezer function with the fixed spectral data. Indeed, from (2) it follows that the function \(\overline {\psi (n,\tau (P))}\) satisfies the same conditions as ψ(n, P), hence we get (3).
We have
Consequently,
Hence
From the uniqueness of the operator corresponding to the meromorphic function f(P) we get
hence, the coefficients of L m are real.
To prove the first part of the theorem we introduce the following function
From the definition of the Baker–Akhiezer function we obtain that the zero and pole divisor of χ has the form
Lemma 1
Operators from \({\mathcal A}\) have N-periodic coefficients if and only if
Proof
Let us prove the inverse part of the lemma. We assume that the coefficients of all operators from \({\mathcal A}\) are periodic. This means that the operator T N commutes with all operators from \({\mathcal A}\), i.e., \(T^N\in {\mathcal A}\). This also means that there is a meromorphic function λ(P) on Γ with the unique pole in q of order N such that
We have
Let us prove the direct part of the lemma. We assume that χ(n + N, P) = χ(n, P). We introduce a rational function on Γ
Then we obtain
Hence,
From (7) it follows that \(T^N\in {\mathcal A}\) since T N and operators from \({\mathcal A}\) have common Baker–Akhiezer eigenfunction. Moreover λ(P) has the unique pole of order N in q. Lemma 1 is proved. □
Now we can finish the proof of Theorem 1. Let us assume that coefficients of the operators are periodic. Then by Lemma 1 the function χ is periodic and from (4) we have
Hence, comparing the pole divisors of (4) and (8) we get γ(n) = γ(n + N), and after comparing the zero divisors of (4) and (8) we get P n+N = P n.
From the proof of Lemma 1 it follows that the function λ(P) = ψ(N, P) has an unique pole q of order N, moreover
Hence the direct part of Theorem 1 is proven.
Let us assume that there is a meromorphic function λ(P) such that
and P n+N = P n. We can suppose that in the neighborhood of q we have the expansion
Then from (4) we have
Since χ(n) = k + O(1) in the neighborhood of q, we get χ(n + N) = χ(n). Hence by Lemma 1 the coefficient of the operators are periodic. Theorem 1 is proven.
2.1 Example
Let us consider the case of elliptic spectral curve Γ given by the equation
The degree of the divisor γ(n) is 1. Let
Commuting operators of orders 2 and 3 have the forms (see [4])
The function χ(n, P) has the form
The point P n = (z n, w n) ∈ Γ has the coordinates
If α n+N = α n, β n+N = β n, then
and the meromorphic function
satisfies the conditions of Theorem 1.
References
Krichever, I.M.: Algebraic curves and non-linear difference equations. Russ. Math. Surv. 33(4), 255–256 (1978)
Krichever, I.M.: Commuting difference operators and the combinatorial Gale transform. Funct. Anal. Appl. 49(3), 175–188 (2015); Translation of Funktsional. Anal. i Prilozhen. 49(3), 22–40 (2015). MR 3402406
Krichever, I.M., Novikov, S.P.: Two-dimensionalized Toda lattice, commuting difference operators, and holomorphic bundles. Russ. Math. Surv. 58(3), 473–510 (2003)
Mauleshova, G.S., Mironov, A.E.: One-point commuting difference operators of rank 1. Dokl. Math. 93(1), 62–64 (2016)
Mauleshova, G.S., Mironov, A.E.: One-point commuting difference operators of rank one and their relation with finite-gap Schrödinger operators. Dokl. Math. 97(1), 62–64 (2018)
Mauleshova, G.S., Mironov, A.E.: Positive one-point commuting difference operators. Integrable Systems and Algebraic Geometry. In: London Mathematical Society Lecture Note Series, vol. 1. Cambridge University Press, Cambridge (2020). arXiv:1810.10717
Mumford, D.: An algebro-geometric construction of commuting operators and of solutions to the Toda lattice equation, Korteweg deVries equation and related nonlinear equation. In: Proceedings of the International Symposium on Algebraic Geometry (Kyoto Univ., Kyoto, 1977). Kinokuniya Book Store, Tokyo, 1978, pp. 115–153. MR 578857
Acknowledgements
A.D. was supported by the Polish Ministry of Science and Higher Education under subsidy for maintaining the research potential of the Faculty of Mathematics, University of Bialystok and A.E.M. was supported by RFBR (grant 18-01-00411) and by the State Maintenance Program for the Leading Scientific Schools of the Russian Federation (grant NSh-5913.2018.1).
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2020 The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerland AG
About this paper
Cite this paper
Dobrogowska, A., Mironov, A.E. (2020). Periodic One-Point Rank One Commuting Difference Operators. In: Kielanowski, P., Odzijewicz, A., Previato, E. (eds) Geometric Methods in Physics XXXVIII. Trends in Mathematics. Birkhäuser, Cham. https://doi.org/10.1007/978-3-030-53305-2_4
Download citation
DOI: https://doi.org/10.1007/978-3-030-53305-2_4
Published:
Publisher Name: Birkhäuser, Cham
Print ISBN: 978-3-030-53304-5
Online ISBN: 978-3-030-53305-2
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)