Showing 1–40 of 40 results for author: Bolsinov, A

Applications of Nijenhuis Geometry V: geodesically equivalent metrics and finite-dimensional reductions of certain integrable quasilinear systems

Authors: Alexey V. Bolsinov, Andrey Yu. Konyaev, Vladimir S. Matveev

Abstract: We describe all metrics geodesically compatible with a gl-regular Nijenhuis operator $L$. The set of such metrics is large enough so that a generic local curve $γ$ is a geodesic for a suitable metric $g$ from this set. Next, we show that a certain evolutionary PDE system of hydrodynamic type constructed from $L$ preserves the property of $γ$ to be a $g$-geodesic. This implies that every metric… ▽ More We describe all metrics geodesically compatible with a gl-regular Nijenhuis operator $L$. The set of such metrics is large enough so that a generic local curve $γ$ is a geodesic for a suitable metric $g$ from this set. Next, we show that a certain evolutionary PDE system of hydrodynamic type constructed from $L$ preserves the property of $γ$ to be a $g$-geodesic. This implies that every metric $g$ geodesically compatible with $L$ gives us a finite dimensional reduction of this PDE system. We show that its restriction onto the set of $g$-geodesics is naturally equivalent to the Poisson action of $\mathbb{R}^n$ on the cotangent bundle generated by the integrals coming from geodesic compatibility. △ Less

Submitted 22 June, 2023; originally announced June 2023.

MSC Class: 37K05; 37K06; 37K10; 37K25; 37K50; 53B10; 53A20; 53B20; 53B30; 53B50; 53B99; 53D17

Nijenhuis geometry IV: conservation laws, symmetries and integration of certain non-diagonalisable systems of hydrodynamic type in quadratures

Authors: Alexey V. Bolsinov, Andrey Yu. Konyaev, Vladimir S. Matveev

Abstract: The paper contains two lines of results: the first one is a study of symmetries and conservation laws of gl-regular Nijenhuis operators. We prove the splitting Theorem for symmetries and conservation laws of Nijenhuis operators, show that the space of symmetries of a gl-regular Nijenhuis operator forms a commutative algebra with respect to (pointwise) matrix multiplication. Moreover, all the eleme… ▽ More The paper contains two lines of results: the first one is a study of symmetries and conservation laws of gl-regular Nijenhuis operators. We prove the splitting Theorem for symmetries and conservation laws of Nijenhuis operators, show that the space of symmetries of a gl-regular Nijenhuis operator forms a commutative algebra with respect to (pointwise) matrix multiplication. Moreover, all the elements of this algebra are strong symmetries of each other. We establish a natural relationship between symmetries and conservation laws of a gl-regular Nijenhuis operator and systems of the first and second companion coordinates. Moreover, we show that the space of conservation laws is naturally related to the space of symmetries in the sense that any conservation laws can be obtained from a single conservation law by multiplication with an appropriate symmetry. In particular, we provide an explicit description of all symmetries and conservation laws for gl-regular operators at algebraically generic points. The second line of results contains an application of the theoretical part to a certain system of partial differential equations of hydrodynamic type, which was previously studied by different authors, but mainly in the diagonalisable case. We show that this system is integrable in quadratures, i.e., its solutions can be found for almost all initial curves by integrating closed 1-forms and solving some systems of functional equations. The system is not diagonalisable in general, and construction and integration of such systems is an actively studied and explicitly stated problem in the literature. △ Less

Submitted 20 April, 2023; originally announced April 2023.

MSC Class: 37K05; 37K06; 37K10; 37K25; 37K50; 53B10; 53A20; 53B20; 53B30; 53B50; 53B99; 53D17

Orthogonal separation of variables for spaces of constant curvature

Authors: Alexey V. Bolsinov, Andrey Yu. Konyaev, Vladimir S. Matveev

Abstract: We construct all orthogonal separating coordinates in constant curvature spaces of arbitrary signature. Further, we construct explicit transformation between orthogonal separating and flat or generalised flat coordinates, as well as explicit formulas for the corresponding Killing tensors and the Stäckel matrices. We construct all orthogonal separating coordinates in constant curvature spaces of arbitrary signature. Further, we construct explicit transformation between orthogonal separating and flat or generalised flat coordinates, as well as explicit formulas for the corresponding Killing tensors and the Stäckel matrices. △ Less

Submitted 20 December, 2023; v1 submitted 3 December, 2022; originally announced December 2022.

Comments: 28 pages, one figure. Comments are welcome

MSC Class: 37J35; 70H20; 37J11; 37J06; 37J38; 37J38; 70H15; 70S10; 37K06; 37K10; 37K25; 53B50; 53A20; 53B20; 53B30; 53B99

Applications of Nijenhuis Geometry IV: multicomponent KdV and Camassa-Holm equations

Authors: Alexey V. Bolsinov, Andrey Yu. Konyaev, Vladimir S. Matveev

Abstract: We construct a new series of multicomponent integrable PDE systems that contain as particular example (with appropriately chosen parameters) many famous integrable systems including KdV, coupled KdV, Harry Dym, coupled Harry Dym, Camassa-Holm, multicomponent Camassa-Holm, Kaup-Boussinesq systems. The series contains also integrable systems with no low-component analogues. We construct a new series of multicomponent integrable PDE systems that contain as particular example (with appropriately chosen parameters) many famous integrable systems including KdV, coupled KdV, Harry Dym, coupled Harry Dym, Camassa-Holm, multicomponent Camassa-Holm, Kaup-Boussinesq systems. The series contains also integrable systems with no low-component analogues. △ Less

Submitted 13 September, 2022; v1 submitted 26 June, 2022; originally announced June 2022.

MSC Class: 37K05; 37K06; 37K10; 37K25; 37K50; 53B10; 53A20; 53B20; 53B30; 53B50; 53B99; 53D17

Journal ref: Dyn. Partial Differ. Equ. 20 (2023), no. 1, 73--98

Applications of Nijenhuis geometry III: Frobenius pencils and compatible non-homogeneous Poisson structures

Authors: Alexey V. Bolsinov, Andrey Yu. Konyaev, Vladimir S. Matveev

Abstract: We consider multicomponent local Poisson structures of the form $\mathcal P_3 + \mathcal P_1$, under the assumption that the third order term $\mathcal P_3$ is Darboux-Poisson and non-degenerate, and study the Poisson compatibility of two such structures. We give an algebraic interpretation of this problem in terms of Frobenius algebras and reduce it to classification of Frobenius pencils, i.e. of… ▽ More We consider multicomponent local Poisson structures of the form $\mathcal P_3 + \mathcal P_1$, under the assumption that the third order term $\mathcal P_3$ is Darboux-Poisson and non-degenerate, and study the Poisson compatibility of two such structures. We give an algebraic interpretation of this problem in terms of Frobenius algebras and reduce it to classification of Frobenius pencils, i.e. of linear families of Frobenius algebras. Then, we completely describe and classify Frobenius pencils under minor genericity conditions. In particular we show that each such Frobenuis pencil is a subpencil of a certain maximal pencil. These maximal pencils are uniquely determined by some combinatorial object, a directed rooted in-forest with edges labeled by numbers $λ_α$'s and vertices labeled by natural numbers whose sum is the dimension of the manifold. These pencils are naturally related to certain (polynomial, in the most nondegenerate case) pencils of Nijenhuis operators. We show that common Frobenius coordinate systems admit an elegant invariant description in terms of the Nijenhuis pencil. △ Less

Submitted 6 December, 2022; v1 submitted 17 December, 2021; originally announced December 2021.

Comments: In Version v2, Theorem 4 and its proof are improved, and a mistake in Theorem 5 is corrected. In Version v3 we changed the signs in certain formulas for cosmetical reasons, to avoid multiple use of $(-1)^n$, and to make the paper better compatible with arXiv:2212.01605, and also updated the references

MSC Class: 37K05; 37K06; 37K10; 37K25; 37K50; 53B10; 53A20; 53B20; 53B30; 53B50; 53B99; 53D17

Journal ref: J. Geom. Anal. 33 (2023), no. 6, 193

Applications of Nijenhuis geometry II: maximal pencils of multihamiltonian structures of hydrodynamic type

Authors: Alexey V. Bolsinov, Andrey Yu. Konyaev, Vladimir S. Matveev

Abstract: We connect two a priori unrelated topics, theory of geodesically equivalent metrics in differential geometry, and theory of compatible infinite dimensional Poisson brackets of hydrodynamic type in mathematical physics. Namely, we prove that a pair of geodesically equivalent metrics such that one is flat produces a pair of such brackets. We construct Casimirs for these brackets and the correspondin… ▽ More We connect two a priori unrelated topics, theory of geodesically equivalent metrics in differential geometry, and theory of compatible infinite dimensional Poisson brackets of hydrodynamic type in mathematical physics. Namely, we prove that a pair of geodesically equivalent metrics such that one is flat produces a pair of such brackets. We construct Casimirs for these brackets and the corresponding commuting flows. There are two ways to produce a large family of compatible Poisson structures from a pair of geodesically equivalent metrics one of which is flat. One of these families is $(n+1)(n+2)/2$ dimensional; we describe it completely and show that it is maximal. Another has dimension $\le n+2$ and is, in a certain sense, polynomial. We show that a nontrivial polynomial family of compatible Poisson structures of dimension $n+2$ is unique and comes from a pair of geodesically equivalent metrics. In addition, we generalise a result of Sinjukov (1961) from constant curvature metrics to arbitrary Einstein metrics. △ Less

Submitted 16 September, 2020; originally announced September 2020.

Comments: comments are welcome

MSC Class: 37K05; 37K06; 37K10; 37K25; 37K50; 53B10; 53A20; 53B20; 53B30; 53B50; 53B99; 53D17

Journal ref: Nonlinearity 34 (8)(2021): 5136--5162

Nijnehuis Geometry III: gl-regular Nijenhuis operators

Authors: Alexey Bolsinov, Andrey Konyaev, Vladimir Matveev

Abstract: We study Nijenhuis operators, that is, (1,1)-tensors with vanishing Nijenhuis torsion under the additional assumption that they are gl-regular, i.e., every eigenvalue has geometric multiplicity one. We prove the existence of a coordinate system in which the operator takes first or second companion form, and give a local describtion of such operators. We apply this local description to study singul… ▽ More We study Nijenhuis operators, that is, (1,1)-tensors with vanishing Nijenhuis torsion under the additional assumption that they are gl-regular, i.e., every eigenvalue has geometric multiplicity one. We prove the existence of a coordinate system in which the operator takes first or second companion form, and give a local describtion of such operators. We apply this local description to study singular points. In particular, we obtain their normal forms in dimension two and discover topological restrictions for the existence of gl-regular Nijenhuis operators on closed surfaces. This paper is an important step in the research programme suggested in arXiv:1903.04603 and arXiv:1903.06411. △ Less

Submitted 18 July, 2020; originally announced July 2020.

MSC Class: 53B99; 53A45; 37K10

Applications of Nijenhuis geometry: Nondegenerate singular points of Poisson-Nijenhuis structures

Authors: Alexey V. Bolsinov, Andrey Yu. Konyaev, Vladimir S. Matveev

Abstract: We study and completely describe pairs of compatible Poisson structures near singular points of the recursion operator satisfying natural non-degeneracy condition. We study and completely describe pairs of compatible Poisson structures near singular points of the recursion operator satisfying natural non-degeneracy condition. △ Less

Submitted 14 January, 2020; originally announced January 2020.

Journal ref: European Journal of Mathematics (2021)

Chaos and integrability in SL(2,R)-geometry

Authors: A. V. Bolsinov, A. P. Veselov, Y. Ye

Abstract: The integrability of the geodesic flow on the three-folds $\mathcal M^3$ admitting $SL(2,\mathbb R)$-geometry in Thurston's sense is investigated. The main examples are the quotients $\mathcal M^3_Γ=Γ\backslash PSL(2,\mathbb R)$, where $Γ\subset PSL(2,\mathbb R)$ is a cofinite Fuchsian group. We show that the corresponding phase space $T^*M_Γ^3$ contains two open regions with integrable and chaoti… ▽ More The integrability of the geodesic flow on the three-folds $\mathcal M^3$ admitting $SL(2,\mathbb R)$-geometry in Thurston's sense is investigated. The main examples are the quotients $\mathcal M^3_Γ=Γ\backslash PSL(2,\mathbb R)$, where $Γ\subset PSL(2,\mathbb R)$ is a cofinite Fuchsian group. We show that the corresponding phase space $T^*M_Γ^3$ contains two open regions with integrable and chaotic behaviour with zero and positive topological entropy respectively. As a concrete example we consider the case of modular 3-fold with the modular group $Γ=PSL({2,\mathbb Z})$, when $\mathcal M^3_Γ$ is known to be homeomorphic to the complement of a trefoil knot $\mathcal K$ in 3-sphere. Ghys proved a remarkable fact that the lifts of the periodic geodesics to the modular surface to $\mathcal M^3_Γ$ produce the same isotopy class of knots, which appeared in the chaotic version of the celebrated Lorenz system and were extensively studied by Birman and Williams. We show that in the integrable limit of the geodesic system on $\mathcal M^3_Γ$ they are replaced by the simple class of cable knots of trefoil. △ Less

Submitted 8 June, 2020; v1 submitted 19 June, 2019; originally announced June 2019.

Comments: Slightly revised and extended version with one more figure added

MSC Class: 37D40; 37J35; 57M50

Nijenhuis Geometry

Authors: Alexey V. Bolsinov, Andrey Yu. Konyaev, Vladimir S. Matveev

Abstract: This work is the first, and main, of the series of papers in progress dedicated to Nienhuis operators, i.e., fields of endomorphisms with vanishing Nijenhuis tensor. It serves as an introduction to Nijenhuis Geometry that should be understood in much wider context than before: from local description at generic points to singularities and global analysis. The goal of the present paper is to introdu… ▽ More This work is the first, and main, of the series of papers in progress dedicated to Nienhuis operators, i.e., fields of endomorphisms with vanishing Nijenhuis tensor. It serves as an introduction to Nijenhuis Geometry that should be understood in much wider context than before: from local description at generic points to singularities and global analysis. The goal of the present paper is to introduce terminology, develop new important techniques (e.g., analytic functions of Nijenhuis operators, splitting theorem and linearisation), summarise and generalise basic facts (some of which are already known but we give new self-contained proofs), and more importantly, to demonstrate that the research programme proposed in the paper is realistic by proving a series of new, not at all obvious, results. △ Less

Submitted 11 December, 2019; v1 submitted 11 March, 2019; originally announced March 2019.

Journal ref: Adv. Math. 394 (2022), Paper No. 108001

Open Problems, Questions, and Challenges in Finite-Dimensional Integrable Systems

Authors: A. Bolsinov, V. Matveev, E. Miranda, S. Tabachnikov

Abstract: The paper surveys open problems and questions related to different aspects of integrable systems with finitely many degrees of freedom. Many of the open problems were suggested by the participants of the conference "Finite-dimensional Integrable Systems, FDIS 2017" held at CRM, Barcelona in July 2017. The paper surveys open problems and questions related to different aspects of integrable systems with finitely many degrees of freedom. Many of the open problems were suggested by the participants of the conference "Finite-dimensional Integrable Systems, FDIS 2017" held at CRM, Barcelona in July 2017. △ Less

Submitted 14 January, 2020; v1 submitted 10 April, 2018; originally announced April 2018.

Journal ref: Philosophical Transactions A. 376 (2018) 20170430

Symplectic invariants for parabolic orbits and cusp singularities of integrable systems with two degrees of freedom

Authors: Alexey Bolsinov, Lorenzo Guglielmi, Elena Kudryavtseva

Abstract: We discuss normal forms and symplectic invariants of parabolic orbits and cuspidal tori in integrable Hamiltonian systems with two degrees of freedom. Such singularities appear in many integrable systems in geometry and mathematical physics and can be considered as the simplest example of degenerate singularities. We also suggest some new techniques which apparently can be used for studying symple… ▽ More We discuss normal forms and symplectic invariants of parabolic orbits and cuspidal tori in integrable Hamiltonian systems with two degrees of freedom. Such singularities appear in many integrable systems in geometry and mathematical physics and can be considered as the simplest example of degenerate singularities. We also suggest some new techniques which apparently can be used for studying symplectic invariants of degenerate singularities of more general type. △ Less

Submitted 27 February, 2018; originally announced February 2018.

Comments: 3 figures

MSC Class: 53D12; 53D20; 37J35; 70H06

Local description of Bochner-flat (pseudo-)Kähler metrics

Authors: Alexey V. Bolsinov, Stefan Rosemann

Abstract: The Bochner tensor is the Kähler analogue of the conformal Weyl tensor. In this article, we derive local (i.e., in a neighbourhood of almost every point) normal forms for a (pseudo-)Kähler manifold with vanishing Bochner tensor. The description is pined down to a new class of symmetric spaces which we describe in terms of their curvature operators. We also give a local description of weakly Bochne… ▽ More The Bochner tensor is the Kähler analogue of the conformal Weyl tensor. In this article, we derive local (i.e., in a neighbourhood of almost every point) normal forms for a (pseudo-)Kähler manifold with vanishing Bochner tensor. The description is pined down to a new class of symmetric spaces which we describe in terms of their curvature operators. We also give a local description of weakly Bochner-flat metrics defined by the property that the Bochner tensor has vanishing divergence. Our results are based on the local normal forms for c-projectively equivalent metrics. As a by-product, we also describe all Kähler-Einstein metrics admitting a c-projectively equivalent one. △ Less

Submitted 26 September, 2017; originally announced September 2017.

MSC Class: 53B35 (Primary); 53C35 (Secondary)

Smooth invariants of focus-focus singularities and obstructions to product decomposition

Authors: Alexey Bolsinov, Anton Izosimov

Abstract: We study focus-focus singularities (also known as nodal singularities, or pinched tori) of Lagrangian fibrations on symplectic $4$-manifolds. We show that, in contrast to elliptic and hyperbolic singularities, there exist homeomorphic focus-focus singularities which are not diffeomorphic. Furthermore, we obtain an algebraic description of the moduli space of focus-focus singularities up to smooth… ▽ More We study focus-focus singularities (also known as nodal singularities, or pinched tori) of Lagrangian fibrations on symplectic $4$-manifolds. We show that, in contrast to elliptic and hyperbolic singularities, there exist homeomorphic focus-focus singularities which are not diffeomorphic. Furthermore, we obtain an algebraic description of the moduli space of focus-focus singularities up to smooth equivalence, and show that for double pinched tori this space is one-dimensional. Finally, we apply our construction to disprove Zung's conjecture which says that any non-degenerate singularity can be smoothly decomposed into an almost direct product of standard singularities. △ Less

Submitted 28 August, 2018; v1 submitted 22 June, 2017; originally announced June 2017.

Comments: Final version accepted to Journal of Symplectic Geometry; 25 pages, 2 figures

Argument shift method and sectional operators: applications to differential geometry

Authors: Alexey Bolsinov

Abstract: This paper does not contain any new results, it is just an attempt to present, in a systematic way, one construction which establishes an interesting relationship between some ideas and notions well-known in the theory of integrable systems on Lie algebras and a rather different area of mathematics studying projectively equivalent Riemannian and pseudo-Riemannian metrics. This paper does not contain any new results, it is just an attempt to present, in a systematic way, one construction which establishes an interesting relationship between some ideas and notions well-known in the theory of integrable systems on Lie algebras and a rather different area of mathematics studying projectively equivalent Riemannian and pseudo-Riemannian metrics. △ Less

Submitted 9 February, 2016; originally announced February 2016.

Local normal forms for c-projectively equivalent metrics and proof of the Yano-Obata conjecture in arbitrary signature. Proof of the projective Lichnerowicz conjecture for Lorentzian metrics

Authors: Alexey V. Bolsinov, Vladimir S. Matveev, Stefan Rosemann

Abstract: Two Kähler metrics on a complex manifold are called c-projectively equivalent if their $J$-planar curves coincide. These curves are defined by the property that the acceleration is complex proportional to the velocity. We give an explicit local description of all pairs of c-projectively equivalent Kähler metrics of arbitrary signature and use this description to prove the classical Yano-Obata conj… ▽ More Two Kähler metrics on a complex manifold are called c-projectively equivalent if their $J$-planar curves coincide. These curves are defined by the property that the acceleration is complex proportional to the velocity. We give an explicit local description of all pairs of c-projectively equivalent Kähler metrics of arbitrary signature and use this description to prove the classical Yano-Obata conjecture: we show that on a closed connected Kähler manifold of arbitrary signature, any c-projective vector field is an affine vector field unless the manifold is $CP^n$ with (a multiple of) the Fubini-Study metric. As a by-product, we prove the projective Lichnerowicz conjecture for metrics of Lorentzian signature: we show that on a closed connected Lorentzian manifold, any projective vector field is an affine vector field. △ Less

Submitted 1 October, 2015; originally announced October 2015.

Comments: comments are welcome

Jordan-Kronecker invariants of Lie algebra representations and degrees of invariant polynomials

Authors: Alexey Bolsinov, Anton Izosimov, Ivan Kozlov

Abstract: For an arbitrary representation $ρ$ of a complex finite-dimensional Lie algebra, we construct a collection of numbers that we call the Jordan-Kronecker invariants of $ρ$. Among other interesting properties, these numbers provide lower bounds for degrees of polynomial invariants of $ρ$. Furthermore, we prove that these lower bounds are exact if and only if the invariants are independent outside of… ▽ More For an arbitrary representation $ρ$ of a complex finite-dimensional Lie algebra, we construct a collection of numbers that we call the Jordan-Kronecker invariants of $ρ$. Among other interesting properties, these numbers provide lower bounds for degrees of polynomial invariants of $ρ$. Furthermore, we prove that these lower bounds are exact if and only if the invariants are independent outside of a set of large codimension. Finally, we show that under certain additional assumptions our bounds are exact if and only if the algebra of invariants is freely generated. △ Less

Submitted 28 November, 2019; v1 submitted 7 July, 2014; originally announced July 2014.

Comments: 18 pages

Geometrisation of Chaplygin's reducing multiplier theorem

Authors: Alexey V. Bolsinov, Alexey V. Borisov, Ivan S. Mamaev

Abstract: We develop the reducing multiplier theory for a special class of nonholonomic dynamical systems and show that the non-linear Poisson brackets naturally obtained in the framework of this approach are all isomorphic to the Lie-Poisson $e(3)$-bracket. As two model examples, we consider the Chaplygin ball problem on the plane and the Veselova system. In particular, we obtain an integrable gyrostatic g… ▽ More We develop the reducing multiplier theory for a special class of nonholonomic dynamical systems and show that the non-linear Poisson brackets naturally obtained in the framework of this approach are all isomorphic to the Lie-Poisson $e(3)$-bracket. As two model examples, we consider the Chaplygin ball problem on the plane and the Veselova system. In particular, we obtain an integrable gyrostatic generalisation of the Veselova system. △ Less

Submitted 22 May, 2014; originally announced May 2014.

MSC Class: 37J60; 37J35; 70E18; 53D17

Some remarks about Mishchenko-Fomenko subalgebras

Authors: Alexey Bolsinov

Abstract: We discuss and compare two different approaches to the notion of Mishchenko--Fomenko subalgebras in Poisson-Lie algebras of finite-dimensional Lie algebras. One of them, commonly accepted by the algebraic community, uses polynomial $\Ad^*$-invariants. The other is based on formal $\Ad^*$-invariants and allows one to deal with arbitrary Lie algebras, not necessarily algebraic. In this sense, the la… ▽ More We discuss and compare two different approaches to the notion of Mishchenko--Fomenko subalgebras in Poisson-Lie algebras of finite-dimensional Lie algebras. One of them, commonly accepted by the algebraic community, uses polynomial $\Ad^*$-invariants. The other is based on formal $\Ad^*$-invariants and allows one to deal with arbitrary Lie algebras, not necessarily algebraic. In this sense, the latter is more universal. △ Less

Submitted 7 May, 2014; originally announced May 2014.

MSC Class: 15A21; 15A22; 17B45; 17B80; 37J35; 53D17

Topological monodromy as an obstruction to Hamiltonization of nonholonomic systems: pro or contra?

Authors: Alexey V. Bolsinov, Alexander A. Kilin, Alexey O. Kazakov

Abstract: The phenomenon of a topological monodromy in integrable Hamiltonian and nonholonomic systems is discussed. An efficient method for computing and visualizing the monodromy is developed. The comparative analysis of the topological monodromy is given for the rolling ellipsoid of revolution problem in two cases, namely, on a smooth and on a rough plane. The first of these systems is Hamiltonian, the s… ▽ More The phenomenon of a topological monodromy in integrable Hamiltonian and nonholonomic systems is discussed. An efficient method for computing and visualizing the monodromy is developed. The comparative analysis of the topological monodromy is given for the rolling ellipsoid of revolution problem in two cases, namely, on a smooth and on a rough plane. The first of these systems is Hamiltonian, the second is nonholonomic. We show that, from the viewpoint of monodromy, there is no difference between the two systems, and thus disprove the conjecture by Cushman and Duistermaat stating that the topological monodromy gives a topological obstruction for Hamiltonization of the rolling ellipsoid of revolution on a rough plane. △ Less

Submitted 15 January, 2014; originally announced January 2014.

Comments: 31 pages, 11 figures

Four-dimensional Kähler metrics admitting c-projective vector fields

Authors: Alexey V. Bolsinov, Vladimir S. Matveev, Thomas Mettler, Stefan Rosemann

Abstract: A vector field on a Kähler manifold is called c-projective if its flow preserves the J-planar curves. We give a complete local classification of Kähler real 4-dimensional manifolds that admit an essential c-projective vector field. An important technical step is a local description of 4-dimensional c-projectively equivalent metrics of arbitrary signature. As an application of our results we prove… ▽ More A vector field on a Kähler manifold is called c-projective if its flow preserves the J-planar curves. We give a complete local classification of Kähler real 4-dimensional manifolds that admit an essential c-projective vector field. An important technical step is a local description of 4-dimensional c-projectively equivalent metrics of arbitrary signature. As an application of our results we prove the natural analog of the classical Yano-Obata conjecture in the pseudo-Riemannian 4-dimensional case. △ Less

Submitted 3 November, 2013; originally announced November 2013.

Comments: 33 pages, 2 figures

Journal ref: J. Math. Pures Appl. 103 (2015), no. 3, 619-657

Local normal forms for geodesically equivalent pseudo-Riemannian metrics

Authors: Alexey V. Bolsinov, Vladimir S. Matveev

Abstract: Two pseudo-Riemannian metrics $g $ and $\bar g$ are geodesically equivalent, if they share the same (unparameterized) geodesics. We give a complete local description of such metrics which solves the natural generalisation of Beltrami problem for pseudo-Riemannian metrics. Two pseudo-Riemannian metrics $g $ and $\bar g$ are geodesically equivalent, if they share the same (unparameterized) geodesics. We give a complete local description of such metrics which solves the natural generalisation of Beltrami problem for pseudo-Riemannian metrics. △ Less

Submitted 17 October, 2013; v1 submitted 11 January, 2013; originally announced January 2013.

Comments: this is an extended version of the submitted paper. It contains all proofs with all details and also an appendix where we explain how can one construct a complex structure by a (1,1)-tensor such that all its eigenvalues are not real and such that the Nijenhuis torsion vanishes

Journal ref: Trans. Amer. Math. Soc. 367 (2015), 6719-6749

Jordan-Kronecker invariants of finite-dimensional Lie algebras

Authors: Alexey Bolsinov, Pumei Zhang

Abstract: For any finite-dimensional Lie algebra we introduce the notion of Jordan-Kronecker invariants, study their properties and discuss examples. These invariants naturally appear in the framework of the bi-Hamiltonian approach to integrable systems on Lie algebras and are closely related to Mischenko-Fomenko's argument shift method. For any finite-dimensional Lie algebra we introduce the notion of Jordan-Kronecker invariants, study their properties and discuss examples. These invariants naturally appear in the framework of the bi-Hamiltonian approach to integrable systems on Lie algebras and are closely related to Mischenko-Fomenko's argument shift method. △ Less

Submitted 2 November, 2012; originally announced November 2012.

MSC Class: 37K10; 17B80

Complete commutative subalgebras in polynomial Poisson algebras: a proof of the Mischenko--Fomenko conjecture

Authors: Alexey Bolsinov

Abstract: The Mishchenko-Fomenko conjecture says that for each real or complex finite-dimensional Lie algebra $\goth g$ there exists a complete set of commuting polynomials on its dual space $\goth g^*$. In terms of the theory of integrable Hamiltonian systems this means that the dual space $\goth g^*$ endowed with the standard Lie-Poisson bracket admits polynomial integrable Hamiltonian systems. Recently t… ▽ More The Mishchenko-Fomenko conjecture says that for each real or complex finite-dimensional Lie algebra $\goth g$ there exists a complete set of commuting polynomials on its dual space $\goth g^*$. In terms of the theory of integrable Hamiltonian systems this means that the dual space $\goth g^*$ endowed with the standard Lie-Poisson bracket admits polynomial integrable Hamiltonian systems. Recently this conjecture has been proved by S.T. Sadetov. Following his idea, we give an explicit geometric construction for commuting polynomials on $\goth g^*$ and consider some examples. △ Less

Submitted 18 June, 2012; originally announced June 2012.

MSC Class: 53D17

Singularities of bi-Hamiltonian systems

Authors: Alexey Bolsinov, Anton Izosimov

Abstract: We study the relationship between singularities of bi-Hamiltonian systems and algebraic properties of compatible Poisson brackets. As the main tool, we introduce the notion of linearization of a Poisson pencil. From the algebraic viewpoint, a linearized Poisson pencil can be understood as a Lie algebra with a fixed 2-cocycle. In terms of such linearizations, we give a criterion for non-degeneracy… ▽ More We study the relationship between singularities of bi-Hamiltonian systems and algebraic properties of compatible Poisson brackets. As the main tool, we introduce the notion of linearization of a Poisson pencil. From the algebraic viewpoint, a linearized Poisson pencil can be understood as a Lie algebra with a fixed 2-cocycle. In terms of such linearizations, we give a criterion for non-degeneracy of singular points of bi-Hamiltonian systems and describe their types. △ Less

Submitted 31 May, 2013; v1 submitted 15 March, 2012; originally announced March 2012.

MSC Class: 37J35; 37K10

Journal ref: Communications in Mathematical Physics, 2014, vol. 331, issue 2, pp. 507-543

On one class of holonomy groups in pseudo-Riemannian geometry

Authors: Alexey Bolsinov, Dragomir Tsonev

Abstract: We describe a new class of holonomy groups on pseudo-Riemannian manifolds. Namely, we prove the following theorem. Let g be a nondegenerate bilinear form on a vector space V, and L:V -> V a g-symmetric operator. Then the identity component of the centraliser of L in SO(g) is a holonomy group for a suitable Levi-Civita connection. We describe a new class of holonomy groups on pseudo-Riemannian manifolds. Namely, we prove the following theorem. Let g be a nondegenerate bilinear form on a vector space V, and L:V -> V a g-symmetric operator. Then the identity component of the centraliser of L in SO(g) is a holonomy group for a suitable Levi-Civita connection. △ Less

Submitted 31 January, 2014; v1 submitted 12 July, 2011; originally announced July 2011.

Comments: (revised version)

Splitting and gluing constructions for geodesically equivalent pseudo-Riemannian metrics

Authors: Alexey V. Bolsinov, Vladimir S. Matveev

Abstract: Two metrics $g $ and $\bar g$ are geodesically equivalent, if they share the same (unparameterized) geodesics. We introduce two constructions that allow one to reduce many natural problems related to geodesically equivalent metrics, such as the classification of local normal forms and the Lie problem (the description of projective vector fields), to the case when the (1,1)-tensor… ▽ More Two metrics $g $ and $\bar g$ are geodesically equivalent, if they share the same (unparameterized) geodesics. We introduce two constructions that allow one to reduce many natural problems related to geodesically equivalent metrics, such as the classification of local normal forms and the Lie problem (the description of projective vector fields), to the case when the (1,1)-tensor $G^i_j:= g^{ik} \bar g_{kj}$ has one real eigenvalue, or two complex conjugate eigenvalues, and give first applications. As a part of the proof of the main result, we generalize Topalov-Sinjukov (hierarchy) Theorem for pseudo-Riemannian metrics △ Less

Submitted 3 April, 2009; originally announced April 2009.

Comments: 39 pages, no pictures

Journal ref: Trans. Amer. Math. Soc. 363 (2011), 4081-4107

Fubini Theorem for pseudo-Riemannian metrics

Authors: Alexey V. Bolsinov, Volodymyr Kiosak, Vladimir S. Matveev

Abstract: We generalize the following classical result of Fubini for pseudo-Riemannian metrics: if three essentially different metrics on $M^{n\ge 3}$ share the same unparametrized geodesics, and two of them (say, $g$ and $\bar g$) are strictly nonproportional (i.e., the minimal polynomial of $g^{iα} \bar g_{αj}$ coincides with the characteristic polynomial) at least at one point, then they have constant… ▽ More We generalize the following classical result of Fubini for pseudo-Riemannian metrics: if three essentially different metrics on $M^{n\ge 3}$ share the same unparametrized geodesics, and two of them (say, $g$ and $\bar g$) are strictly nonproportional (i.e., the minimal polynomial of $g^{iα} \bar g_{αj}$ coincides with the characteristic polynomial) at least at one point, then they have constant curvature. △ Less

Submitted 16 June, 2008; originally announced June 2008.

MSC Class: 53A20; 53B21; 53C22; 53C50; 53D25; 70G45; 70H06; 70H33; 58J60

Journal ref: Journal of the London Mathematical Society 80(2009) no. 2, 341--356

Normal forms for pseudo-Riemannian 2-dimensional metrics whose geodesic flows admit integrals quadratic in momenta

Authors: Alexey V. Bolsinov, Vladimir S. Matveev, Giuseppe Pucacco

Abstract: We discuss pseudo-Riemannian metrics on 2-dimensional manifolds such that the geodesic flow admits a nontrivial integral quadratic in velocities. We construct local normal forms of such metrics. We show that these metrics have certain useful properties similar to those of Riemannian Liouville metrics, namely: 1) they admit geodesically equivalent metrics; 2) one can use them to construct a big f… ▽ More We discuss pseudo-Riemannian metrics on 2-dimensional manifolds such that the geodesic flow admits a nontrivial integral quadratic in velocities. We construct local normal forms of such metrics. We show that these metrics have certain useful properties similar to those of Riemannian Liouville metrics, namely: 1) they admit geodesically equivalent metrics; 2) one can use them to construct a big family of natural systems admitting integrals quadratic in momenta; 3) the integrability of such systems can be generalized to the quantum setting; 4) these natural systems are integrable by quadratures. △ Less

Submitted 8 April, 2009; v1 submitted 3 March, 2008; originally announced March 2008.

MSC Class: 35Q72; 37J35; 58F07; 53A20; 53B80

Journal ref: J. Geom. Phys. 59(2009), no. 7, 1048--1062

Appendix: Dini theorem for pseudo-Riemannian metrics

Authors: Alexei V. Bolsinov, Vladimir S. Matveev, Giuseppe Pucacco

Abstract: We construct local normal forms of pseudo-Riemannian projectively equivalent 2-dimensional metrics. We construct local normal forms of pseudo-Riemannian projectively equivalent 2-dimensional metrics. △ Less

Submitted 18 February, 2008; originally announced February 2008.

Comments: 6 pages. This is an appendix to the paper "A solution of another problem of Sophus Lie: 2-dimensional metrics admitting precisely one projective vector field" of V. Matveev

MSC Class: 35Q72; 37J35; 58F07; 53A20; 53B80

Geodesics on the Ellipsoid and Monodromy

Authors: Chris M. Davison, Holger R. Dullin, Alexey V. Bolsinov

Abstract: The equations for geodesic flow on the ellipsoid are well known, and were first solved by Jacobi in 1838 by separating the variables of the Hamilton-Jacobi equation. In 1979 Moser investigated the case of the general ellipsoid with distinct semi-axes and described a set of integrals which weren't know classically. After reviewing the properties of geodesic flow on the three dimensional ellipsoid… ▽ More The equations for geodesic flow on the ellipsoid are well known, and were first solved by Jacobi in 1838 by separating the variables of the Hamilton-Jacobi equation. In 1979 Moser investigated the case of the general ellipsoid with distinct semi-axes and described a set of integrals which weren't know classically. After reviewing the properties of geodesic flow on the three dimensional ellipsoid with distinct semi-axes, we investigate the three dimensional ellipsoid with the two middle semi-axes being equal, corresponding to a Hamiltonian invariant under rotations. The system is Liouville-integrable and thus the invariant manifolds corresponding to regular points of the energy momentum map are 3-dimensional tori. An analysis of the critical points of the energy momentum maps gives the bifurcation diagram. We find the fibres of the critical values of the energy momentum map, and carry out an analysis of the action variables. We show that the obstruction to the existence of single valued globally smooth action variables is monodromy. △ Less

Submitted 26 September, 2006; originally announced September 2006.

Comments: 24 pages, 7 figures

MSC Class: 37J15; 37J35; 53D25; 70H06; 70H33

Journal ref: J. Geom. Phys. 57, 2437-2454 (2007)

Magnetic Flows on Homogeneous Spaces

Authors: Alexey V. Bolsinov, Bozidar Jovanovic

Abstract: We consider magnetic geodesic flows of the normal metrics on a class of homogeneous spaces, in particular (co)adjoint orbits of compact Lie groups. We give the proof of the non-commutative integrability of flows and show, in addition, for the case of (co)adjoint orbits, the usual Liouville integrability by means of analytic integrals. We also consider the potential systems on adjoint orbits, whi… ▽ More We consider magnetic geodesic flows of the normal metrics on a class of homogeneous spaces, in particular (co)adjoint orbits of compact Lie groups. We give the proof of the non-commutative integrability of flows and show, in addition, for the case of (co)adjoint orbits, the usual Liouville integrability by means of analytic integrals. We also consider the potential systems on adjoint orbits, which are generalizations of the magnetic spherical pendulum. The complete integrability of such system is proved for an arbitrary adjoint orbit of a compact semisimple Lie group. △ Less

Submitted 16 March, 2007; v1 submitted 2 September, 2006; originally announced September 2006.

Comments: 21 pages, minor changes, final version, to appear in Commentarii Mathematici Helvetici

MSC Class: 70H06; 37J35; 53D25

Journal ref: Comment. Math. Helv. 83 (2008), no. 3, 679-700

Magnetic Geodesic Flows on Coadjoint Orbits

Authors: Alexey V. Bolsinov, Bozidar Jovanovic

Abstract: We describe a class of completely integrable $G$-invariant magnetic geodesic flows on (co)adjoint orbits of a compact connected Lie group $G$ with magnetic field given by the Kirillov-Konstant 2-form. We describe a class of completely integrable $G$-invariant magnetic geodesic flows on (co)adjoint orbits of a compact connected Lie group $G$ with magnetic field given by the Kirillov-Konstant 2-form. △ Less

Submitted 3 April, 2006; v1 submitted 7 February, 2006; originally announced February 2006.

Comments: 8 pages, final version

MSC Class: 70H06; 37J35; 53D25

Journal ref: J. Phys. A: Math. Gen. 39 (2006) L247 - L252

Lie algebras in vortex dynamics and celestial mechanics - IV

Authors: A. V. Bolsinov, A. V. Borisov, I. S. Mamaev

Abstract: The work of A.V. Borisov, A.E. Pavlov, Dynamics and Statics of Vortices on a Plane and a Sphere - I (Reg. & Ch. Dynamics, 1998, Vol. 3, No 1, p.28-39) introduces a naive description of dynamics of point vortices on a plane in terms of variables of distances and areas which generate Lie-Poisson structure. Using this approach a qualitative description of dynamics of point vortices on a plane and a… ▽ More The work of A.V. Borisov, A.E. Pavlov, Dynamics and Statics of Vortices on a Plane and a Sphere - I (Reg. & Ch. Dynamics, 1998, Vol. 3, No 1, p.28-39) introduces a naive description of dynamics of point vortices on a plane in terms of variables of distances and areas which generate Lie-Poisson structure. Using this approach a qualitative description of dynamics of point vortices on a plane and a sphere is obtained in the works Dynamics of Three Vortices on a Plane and a Sphere - II. General compact case by A.V. Borisov, V.G. Lebedev (Reg. & Ch. Dynamics, 1998, Vol. 3, No 2, p.99-114), Dynamics of three vortices on a plane and a sphere - III. Noncompact case. Problem of collaps and scattering by A.V. Borisov, V.G. Lebedev (Reg. & Ch. Dynamics, 1998, Vol. 3, No 4, p.76-90). In this paper we consider more formal constructions of the general problem of n vortices on a plane and a sphere. The developed methods of algebraization are also applied to the classical problem of the reduction in the three-body problem. △ Less

Submitted 30 March, 2005; originally announced March 2005.

Comments: 41 pages, 17 figures

Journal ref: Regular and Chaotic Dynamics, 1999 Volume 4 Number 1

Spectra of Sol-manifolds: arithmetic and quantum monodromy

Authors: A. V. Bolsinov, H. R. Dullin, A. P. Veselov

Abstract: The spectral problem of three-dimensional manifolds M_A admitting Sol-geometry in Thurston's sense is investigated. Topologically M_A are torus bundles over a circle with a unimodular hyperbolic gluing map A. The eigenfunctions of the corresponding Laplace-Beltrami operators are described in terms of the modified Mathieu functions. It is shown that the multiplicities of the eigenvalues are the s… ▽ More The spectral problem of three-dimensional manifolds M_A admitting Sol-geometry in Thurston's sense is investigated. Topologically M_A are torus bundles over a circle with a unimodular hyperbolic gluing map A. The eigenfunctions of the corresponding Laplace-Beltrami operators are described in terms of the modified Mathieu functions. It is shown that the multiplicities of the eigenvalues are the same for generic values of the parameters in the metric and are directly related to the number of representations of an integer by a given indefinite binary quadratic form. As a result the spectral statistics is shown to disagree with the Berry-Tabor conjecture. The topological nature of the monodromy for both classical and quantum systems on Sol-manifolds is demonstrated. △ Less

Submitted 17 March, 2005; originally announced March 2005.

Comments: 28 pages, 8 figures

MSC Class: 58J50; 35P20

Journal ref: Commun. Math. Phys., 264: 583--611, 2006

Integrable geodesic flows on Riemannian manifolds: Construction and Obstructions

Authors: Alexey V. Bolsinov, Bozidar Jovanovic

Abstract: This paper is a review of recent and classical results on integrable geodesic flows on Riemannian manifolds and topological obstructions to integrability. We also discuss some open problems. This paper is a review of recent and classical results on integrable geodesic flows on Riemannian manifolds and topological obstructions to integrability. We also discuss some open problems. △ Less

Submitted 8 July, 2003; originally announced July 2003.

Comments: 37 pages

MSC Class: 70H06; 37J35; 53D17; 53D25

Journal ref: Contemporary Geometry and Related Topics (Eds. Bokan N., Djoric M., Rakic Z., Fomenko A. T., Wess J.), World Scientific, 2004, 57-103.

Non-commutative Integrability, Moment Map and Geodesic Flows

Authors: Alexey V. Bolsinov, Bozidar Jovanovic

Abstract: The purpose of this paper is to discuss the relationship between commutative and non-commutative integrability of Hamiltonian systems and to construct new examples of integrable geodesic flows on Riemannian manifolds. In particular, we prove that the geodesic flow of the bi-invariant metric on any bi-quotient of a compact Lie group is integrable in non-commutative sense by means of polynomial in… ▽ More The purpose of this paper is to discuss the relationship between commutative and non-commutative integrability of Hamiltonian systems and to construct new examples of integrable geodesic flows on Riemannian manifolds. In particular, we prove that the geodesic flow of the bi-invariant metric on any bi-quotient of a compact Lie group is integrable in non-commutative sense by means of polynomial integrals, and therefore, in classical commutative sense by means of $C^\infty$--smooth integrals. △ Less

Submitted 29 May, 2002; v1 submitted 27 September, 2001; originally announced September 2001.

Comments: 19 pages, minor changes, to appear in Annals of Global Analysis and Geometry

MSC Class: 37J35; 37J15; 70H06; 70H33; 53D20; 53D25

Journal ref: Annals of Global Analysis and Geometry, 23 (4): 305-322, 2003

Integrable geodesic flows on the suspensions of toric automorphisms

Authors: A. V. Bolsinov, I. A. Taimanov

Abstract: For any toric automorphism with only real eigenvalues a Riemannian metric with an integrable geodesic flow on the suspension of this automorphism is constructed. A qualitative analysis of such a flow on a three-solvmanifold constructed by the authors in math.DG/9905078 is done. This flow is an example of the geodesic flow, which has vanishing Liouville entropy and, moreover, is integrable but ha… ▽ More For any toric automorphism with only real eigenvalues a Riemannian metric with an integrable geodesic flow on the suspension of this automorphism is constructed. A qualitative analysis of such a flow on a three-solvmanifold constructed by the authors in math.DG/9905078 is done. This flow is an example of the geodesic flow, which has vanishing Liouville entropy and, moreover, is integrable but has positive topological entropy. The authors also discuss some open problems on integrability of geodesic flows and related subjects. △ Less

Submitted 2 December, 1999; v1 submitted 24 November, 1999; originally announced November 1999.

Comments: LaTeX, 23 pages, submitted to Proceedings of the Steklov Institute of Mathematics, some formulas and typos are corrected

Journal ref: Proceedings of the Steklov Institute of Math. 231 (2000), 42-58.

Integrable geodesic flow with positive topological entropy

Authors: A. V. Bolsinov, I. A. Taimanov

Abstract: An example of a real-analytic metric on a compact manifold whose geodesic flow is Liouville integrable by $C^\infty$ functions and has positive topological entropy is constructed. An example of a real-analytic metric on a compact manifold whose geodesic flow is Liouville integrable by $C^\infty$ functions and has positive topological entropy is constructed. △ Less

Submitted 13 May, 1999; v1 submitted 12 May, 1999; originally announced May 1999.

Comments: 7 pages, LaTeX

Journal ref: Inventiones Mathematicae 140 (2000), 639--650.

Topology of energy surfaces and existence of transversal Poincaré sections

Authors: Alexey Bolsinov, Holger R. Dullin, Andreas Wittek

Abstract: Two questions on the topology of compact energy surfaces of natural two degrees of freedom Hamiltonian systems in a magnetic field are discussed. We show that the topology of this 3-manifold (if it is not a unit tangent bundle) is uniquely determined by the Euler characteristic of the accessible region in configuration space. In this class of 3-manifolds for most cases there does not exist a tra… ▽ More Two questions on the topology of compact energy surfaces of natural two degrees of freedom Hamiltonian systems in a magnetic field are discussed. We show that the topology of this 3-manifold (if it is not a unit tangent bundle) is uniquely determined by the Euler characteristic of the accessible region in configuration space. In this class of 3-manifolds for most cases there does not exist a transverse and complete Poincaré section. We show that there are topological obstacles for its existence such that only in the cases of $S^1\times S^2$ and $T^3$ such a Poincaré section can exist. △ Less

Submitted 29 February, 1996; originally announced February 1996.

Comments: 10 pages, LaTex

Journal ref: J. Phys. A, 29:4977--4985, 1996