Showing 1–16 of 16 results for author: Zheglov, A

Normal forms for ordinary differential operators, I

Authors: J. Guo, A. B. Zheglov

Abstract: In this paper we develop the generalised Schur theory offered in the recent paper by the second author in dimension one case, and apply it to obtain two applications in different directions of algebra/algebraic geometry. The first application is a new explicit parametrisation of torsion free rank one sheaves on projective irreducible curves with vanishing cohomology groups. The second applicat… ▽ More In this paper we develop the generalised Schur theory offered in the recent paper by the second author in dimension one case, and apply it to obtain two applications in different directions of algebra/algebraic geometry. The first application is a new explicit parametrisation of torsion free rank one sheaves on projective irreducible curves with vanishing cohomology groups. The second application is a commutativity criterion for operators in the Weyl algebra or, more generally, in the ring of ordinary differential operators, which we prove in the case when operators have a normal form with the restriction top line (for details see Introduction). Both applications are obtained with the help of normal forms. Namely, considering the ring of ordinary differential operators $D_1=K[[x]][\partial ]$ as a subring of a certain complete non-commutative ring $\hat{D}_1^{sym}$, the normal forms of differential operators mentioned here are obtained after conjugation by some invertible operator ("Schur operator"), calculated using one of the operators in a ring. Normal forms of commuting operators are polynomials with constant coefficients in the differentiation, integration and shift operators, which have a finite order in each variable, and can be effectively calculated for any given commuting operators. △ Less

Submitted 20 June, 2024; originally announced June 2024.

Comments: 67 p

Schur-Sato theory for quasi-elliptic rings

Authors: Alexander Zheglov

Abstract: The notion of quasi-elliptic rings appeared as a result of an attempt to classify a wide class of commutative rings of operators found in the theory of integrable systems, such as rings of commuting differential, difference, differential-difference, etc. operators. They are contained in a certain non-commutative "universal" ring - a purely algebraic analogue of the ring of pseudodifferential opera… ▽ More The notion of quasi-elliptic rings appeared as a result of an attempt to classify a wide class of commutative rings of operators found in the theory of integrable systems, such as rings of commuting differential, difference, differential-difference, etc. operators. They are contained in a certain non-commutative "universal" ring - a purely algebraic analogue of the ring of pseudodifferential operators on a manifold, and admit (under certain mild restrictions) a convenient algebraic-geometric description. An important algebraic part of this description is the Schur-Sato theory - a generalisation of the well known theory for ordinary differential operators. Some parts of this theory were developed earlier in a series of papers, mostly for dimension two. In this paper we present this theory in arbitrary dimension. We apply this theory to prove two classification theorems of quasi-elliptic rings in terms of certain pairs of subspaces (Schur pairs). They are necessary for the algebraic-geometric description of quasi-elliptic rings mentioned above. The theory is effective and has several other applications, among them is a new proof of the Abhyankar inversion formula. △ Less

Submitted 6 October, 2022; v1 submitted 13 May, 2022; originally announced May 2022.

Comments: 57 p.; new examples 7.1, 8.1 are added, prop. 7.1 and typos are corrected

On some questions around Berest's conjecture

Authors: Junhu Guo, Alexander Zheglov

Abstract: Let $K$ be a field of characteristic zero, let $A_1=K[x][\partial ]$ be the first Weyl algebra. In this paper we prove the following two results. Assume there exists a non-zero polynomial $f(X,Y)\in K[X,Y]$, which has a non-trivial solution $(P,Q)\in A_{1}^{2}$ with $[P,Q]=0$, and the number of orbits under the group action of $Aut(A_1)$ on solutions of $f$ in $A_{1}^{2}$ is finite. Then the Dix… ▽ More Let $K$ be a field of characteristic zero, let $A_1=K[x][\partial ]$ be the first Weyl algebra. In this paper we prove the following two results. Assume there exists a non-zero polynomial $f(X,Y)\in K[X,Y]$, which has a non-trivial solution $(P,Q)\in A_{1}^{2}$ with $[P,Q]=0$, and the number of orbits under the group action of $Aut(A_1)$ on solutions of $f$ in $A_{1}^{2}$ is finite. Then the Dixmier conjecture holds, i.e $\forall \varphi\in End(A_{1})-\{0\}$, $\varphi$ is an automorphism. Assume $\varphi$ is an endomorphism of monomial type (in particular, it is not an automorphism, see theorem 4.1). Then it has no non-trivial fixed point, i.e. there are no $P\in A_1$, $P\notin K$, s.t. $\varphi (P)=P$. △ Less

Submitted 10 January, 2024; v1 submitted 24 March, 2022; originally announced March 2022.

Comments: V3: 15 p, a significally elaborated version; the proof of the main result from V1 is greatly simplified, the second result is based on a part of the previous proof; important references added

MSC Class: 16S32

Lax Pairs for Linear Hamiltonian Systems

Authors: D. V. Osipov, A. B. Zheglov

Abstract: In the paper Lax pairs for linear Hamiltonian systems of differential equations are constructed. In particular, Gröbner bases are used for the computations. It is proved that the maps which appear in the construction of Lax pairs are Poisson. Various properties of first integrals of the system which are obtained from the Lax pairs are investigated. In the paper Lax pairs for linear Hamiltonian systems of differential equations are constructed. In particular, Gröbner bases are used for the computations. It is proved that the maps which appear in the construction of Lax pairs are Poisson. Various properties of first integrals of the system which are obtained from the Lax pairs are investigated. △ Less

Submitted 30 January, 2019; originally announced January 2019.

Comments: 18 p., to appear in Sib. Mat. J

Journal ref: Siberian Mathematical Journal, Volume 60, Issue 4, 2019, pp. 592-604

Amazing examples of nonrational smooth spectral surfaces

Authors: Viktor S. Kulikov, Alexander Zheglov

Abstract: In this paper we construct first examples of smooth projective surfaces of general type satisfying the following conditions: there are 1) an ample integral curve $C$ with $C^2=1$ and $h^0(X,O_X(C))=1$; \quad 2) a divisor $D$ with $(D, C)_X=g(C)-1$, $h^i(X,O_X(D))=0$, $i=0,1,2$, and $h^0(X, O_X(D+C))=1$. Such conditions arise from necessary and sufficient conditions for the existence of non-trivi… ▽ More In this paper we construct first examples of smooth projective surfaces of general type satisfying the following conditions: there are 1) an ample integral curve $C$ with $C^2=1$ and $h^0(X,O_X(C))=1$; \quad 2) a divisor $D$ with $(D, C)_X=g(C)-1$, $h^i(X,O_X(D))=0$, $i=0,1,2$, and $h^0(X, O_X(D+C))=1$. Such conditions arise from necessary and sufficient conditions for the existence of non-trivial commutative subalgebras of rank one in $\hat{D}$, a completion of the algebra of partial differential operators in two variables, which can be thought of as a simple algebraic analogue of the algebra of analytic pseudodifferential operators on a manifold. We extract these conditions by elaborating the classification theorem of commutative subalgebras in $\hat{D}$ due to the second author for the case of rank one subalgebras. Amazingly, the commutative subalgebras with such spectral surfaces do not admit isospectral deformations. △ Less

Submitted 29 January, 2018; v1 submitted 16 October, 2017; originally announced October 2017.

Comments: 30 pages; V2: improved version

Cohen-Macaulay modules over the algebra of planar quasi-invariants and Calogero-Moser systems

Authors: Igor Burban, Alexander Zheglov

Abstract: In this paper, we study properties of the algebras of planar quasi-invariants. These algebras are Cohen-Macaulay and Gorenstein in codimension one. Using the technique of matrix problems, we classify all Cohen-Macaulay modules of rank one over them and determine their Picard groups. In terms of this classification, we describe the spectral modules of the planar rational Calogero-Moser systems. Fin… ▽ More In this paper, we study properties of the algebras of planar quasi-invariants. These algebras are Cohen-Macaulay and Gorenstein in codimension one. Using the technique of matrix problems, we classify all Cohen-Macaulay modules of rank one over them and determine their Picard groups. In terms of this classification, we describe the spectral modules of the planar rational Calogero-Moser systems. Finally, we elaborate the theory of the algebraic inverse scattering method, computing a new unexpected explicit example of a deformed Calogero-Moser system. △ Less

Submitted 1 May, 2020; v1 submitted 6 March, 2017; originally announced March 2017.

Comments: 50 pages, some misprints corrected

Fourier-Mukai transform on Weierstrass cubics and commuting differential operators

Authors: Igor Burban, Alexander Zheglov

Abstract: In this article, we describe the spectral sheaves of algebras of commuting differential operators of genus one and rank two with singular spectral curve, solving a problem posed by Previato and Wilson. We also classify all indecomposable semi-stable sheaves of slope one and ranks two or three on a cuspidal Weierstrass cubic. In this article, we describe the spectral sheaves of algebras of commuting differential operators of genus one and rank two with singular spectral curve, solving a problem posed by Previato and Wilson. We also classify all indecomposable semi-stable sheaves of slope one and ranks two or three on a cuspidal Weierstrass cubic. △ Less

Submitted 1 May, 2020; v1 submitted 28 February, 2016; originally announced February 2016.

Commuting ordinary differential operators with polynomial coefficients and automorphisms of the first Weyl algebra

Authors: Andrey E. Mironov, Alexander B. Zheglov

Abstract: In this paper we study rank two commuting ordinary differential operators with polynomial coefficients and the orbit space of the automorphisms group of the first Weyl algebra on such operators. We prove that for arbitrary fixed spectral curve of genus one the space of orbits is infinite. Moreover, we prove in this case that for for any $n\ge 1$ there is a pair of self-adjoint commuting ordinary d… ▽ More In this paper we study rank two commuting ordinary differential operators with polynomial coefficients and the orbit space of the automorphisms group of the first Weyl algebra on such operators. We prove that for arbitrary fixed spectral curve of genus one the space of orbits is infinite. Moreover, we prove in this case that for for any $n\ge 1$ there is a pair of self-adjoint commuting ordinary differential operators of rank two $L_4=(\partial_x^2+V(x))^2+W(x)$, $L_{6}$, where $W(x),V(x)$ are polynomials of degree $n$ and $n+2$. We also prove that there are hyperelliptic spectral curves with the infinite spaces of orbits. △ Less

Submitted 2 March, 2015; originally announced March 2015.

Comments: 15 pages

Geometric properties of commutative subalgebras of partial differential operators

Authors: Herbert Kurke, Alexander Zheglov

Abstract: We investigate further alebro-geometric properties of commutative rings of partial differential operators continuing our research started in previous articles. In particular, we start to explore the most evident examples and also certain known examples of algebraically integrable quantum completely integrable systems from the point of view of a recent generalization of Sato's theory which belongs… ▽ More We investigate further alebro-geometric properties of commutative rings of partial differential operators continuing our research started in previous articles. In particular, we start to explore the most evident examples and also certain known examples of algebraically integrable quantum completely integrable systems from the point of view of a recent generalization of Sato's theory which belongs to the second author. We give a complete characterisation of the spectral data for a class of "trivial" rings and strengthen geometric properties known earlier for a class of known examples. We also define a kind of a restriction map from the moduli space of coherent sheaves with fixed Hilbert polynomial on a surface to analogous moduli space on a divisor (both the surface and divisor are part of the spectral data). We give several explicit examples of spectral data and corresponding rings of commuting (completed) operators, producing as a by-product interesting examples of surfaces that are not isomorphic to spectral surfaces of any commutative ring of PDOs of rank one. At last, we prove that any commutative ring of PDOs, whose normalisation is isomorphic to the ring of polynomials $k[u,t]$, is a Darboux transformation of a ring of operators with constant coefficients. △ Less

Submitted 8 July, 2015; v1 submitted 20 May, 2014; originally announced May 2014.

Comments: 32 pp.; V2: 35 pp., exposition improved; V3: final version, minor changes

Commuting differential operators and higher-dimensional algebraic varieties

Authors: Herbert Kurke, Denis Osipov, Alexander Zheglov

Abstract: Several algebro-geometric properties of commutative rings of partial differential operators as well as several geometric constructions are investigated. In particular, we show how to associate a geometric data by a commutative ring of partial differential operators, and we investigate the properties of these geometric data. This construction is similar to the construction of a formal module of Bak… ▽ More Several algebro-geometric properties of commutative rings of partial differential operators as well as several geometric constructions are investigated. In particular, we show how to associate a geometric data by a commutative ring of partial differential operators, and we investigate the properties of these geometric data. This construction is similar to the construction of a formal module of Baker-Akhieser functions. On the other hand, there is a recent generalization of Sato's theory which belongs to the third author of this paper. We compare both approaches to the commutative rings of partial differential operators in two variables. △ Less

Submitted 29 January, 2018; v1 submitted 5 November, 2012; originally announced November 2012.

Comments: 25 p V2: minor change V3: revised version, to appear in Selecta Math V4: an inaccuracy in Th.2.1 is fixed

Journal ref: Selecta Math. (N.S.), 20:4 (2014), 1159-1195

On rings of commuting partial differential operators

Authors: A. B. Zheglov

Abstract: We give a natural generalization of the classification of commutative rings of ordinary differential operators, given in works of Krichever, Mumford, Mulase, and determine commutative rings of operators in a completed ring of partial differential operators in two variables (satisfying certain mild conditions) in terms of Parshin's generalized geometric data. It uses a generalization of M.Sato's th… ▽ More We give a natural generalization of the classification of commutative rings of ordinary differential operators, given in works of Krichever, Mumford, Mulase, and determine commutative rings of operators in a completed ring of partial differential operators in two variables (satisfying certain mild conditions) in terms of Parshin's generalized geometric data. It uses a generalization of M.Sato's theory and is constructible in both ways. △ Less

Submitted 12 December, 2012; v1 submitted 3 June, 2011; originally announced June 2011.

Comments: 40 p. V2: This is an extended version with corrested typos and inaccuracies in some definitions and claims; several statements and remarks in part 3 added; new part 4 with more examples and a new theorem 4.1 added; introduction extended; new references added V3: Introduction is slightly modified, several remarks added, typos corrected V4: minor change

Journal ref: St. Petersburg Mathematical Journal. 2014. Vol. 25, no. 5. P. 775 - 814

Formal groups arising from formal punctured ribbons

Authors: Herbert Kurke, Denis Osipov, Alexander Zheglov

Abstract: We investigate Picard functor of a formal punctured ribbon. We prove that under some conditions this functor is representable by a formal group scheme. Formal punctured ribbons were introduced in arXiv:0708.0985. We investigate Picard functor of a formal punctured ribbon. We prove that under some conditions this functor is representable by a formal group scheme. Formal punctured ribbons were introduced in arXiv:0708.0985. △ Less

Submitted 25 January, 2011; v1 submitted 12 January, 2009; originally announced January 2009.

Comments: 42 pages, minor changes

Report number: Vienna, Preprint ESI 2094 MSC Class: 14D15; 14D20 (primary); 37K10 (secondary)

Journal ref: International Journal of Mathematics,Volume: 21, Issue: 6(2010) pp. 755-797

Formal punctured ribbons and two-dimensional local fields

Authors: Herbert Kurke, Denis Osipov, Alexander Zheglov

Abstract: We investigate formal ribbons on curves. Roughly speaking, formal ribbon is a family of locally linearly compact vector spaces on a curve. We establish a one-to-one correspondence between formal ribbons on curves plus some geometric data and some subspaces of two-dimensional local field. We investigate formal ribbons on curves. Roughly speaking, formal ribbon is a family of locally linearly compact vector spaces on a curve. We establish a one-to-one correspondence between formal ribbons on curves plus some geometric data and some subspaces of two-dimensional local field. △ Less

Submitted 25 January, 2011; v1 submitted 7 August, 2007; originally announced August 2007.

Comments: 38 pages, minor changes

Journal ref: Journal fuer die reine und angewandte Mathematik. Vol. 2009, Issue 629, pp. 133 - 170

On some questions related to the Krichever correspondence

Authors: D. V. Osipov, A. B. Zheglov

Abstract: We investigate various new properties and examples of one-dimensional and two-dimensional Krichever correspondence developed by Parshin. In particular, we give explicit examples of the Krichever-Parshin map for various plane curves, we introduce analogs of the Schur pairs in a two-dimensional local field and show that they are oft geometrical. At the end we investigate analogs of the KP hierarch… ▽ More We investigate various new properties and examples of one-dimensional and two-dimensional Krichever correspondence developed by Parshin. In particular, we give explicit examples of the Krichever-Parshin map for various plane curves, we introduce analogs of the Schur pairs in a two-dimensional local field and show that they are oft geometrical. At the end we investigate analogs of the KP hierarchy for two-dimensional local skew-fields with arbitrary commutation law instead of the usual law of Weyl algebra. We derive for these hierarchies new partial differential equations, which coincide with the usual KP equation for certain values of parameters. △ Less

Submitted 15 October, 2006; v1 submitted 11 October, 2006; originally announced October 2006.

Comments: 13 p

MSC Class: 47G30; 14F05

Journal ref: Mathematical Notes, 2007, Vol. 81, No. 4, pp. 467-476

Wild division algebras over Laurent series fields

Authors: Alexander Zheglov

Abstract: In this paper we study some special classes of division algebras over a Laurent series field with arbitrary residue field. We call the algebras from these classes as splittable and good splittable division algebras. It is shown that these classes contain the group of tame division algebras. For the class of good division algebras a decomposition theorem is given. This theorem is a generalization… ▽ More In this paper we study some special classes of division algebras over a Laurent series field with arbitrary residue field. We call the algebras from these classes as splittable and good splittable division algebras. It is shown that these classes contain the group of tame division algebras. For the class of good division algebras a decomposition theorem is given. This theorem is a generalization of the decomposition theorems for tame division algebras given by Jacob and Wadsworth. For both clases we introduce a notion of a $δ$-map and develop a technique of $δ$-maps for division algebras from these classes. Using this technique we reprove several old well known results of Saltman and get the positive answer on the period-index conjecture of M.Artin: the exponent of $A$ is equal to its index for any division algebra $A$ over a $C_2$-field $F$, when $F\eq F_1((t_2))$, where $F_1$ is a $C_1$-field. The paper includes also some other results about splittable division algebras, which, we hope, will be useful for the further investigation of wild division algebras. △ Less

Submitted 28 March, 2005; originally announced March 2005.

Comments: 32 pages

MSC Class: 16K20;12J20

Journal ref: Mat.Sb.,195 (2004), no. 6, 21-56

Invitation to higher local fields, Part II, section 8: Higher local skew fields

Authors: Alexander Zheglov

Abstract: This work studies two dimensional local skew fields and their automorphisms. This work studies two dimensional local skew fields and their automorphisms. △ Less

Submitted 17 December, 2000; originally announced December 2000.

Comments: For introduction and notation, see math.NT/0012131 . Published by Geometry and Topology Monographs at http://www.maths.warwick.ac.uk/gt/GTMon3/m3-II-8.abs.html

MSC Class: 16K99

Journal ref: Geom. Topol. Monogr. Volume 3(2000) 281-292