Searcharxiv⌕ Search

arXiv subjects

Anton Izosimov

Publications and source records attributed to Anton Izosimov.

At least 37 records · Page 2Linked to original sources
arXiv2020

The limit point of the pentagram map and infinitesimal monodromy

The pentagram map takes a planar polygon $P$ to a polygon $P'$ whose vertices are the intersection points of consecutive shortest diagonals of $P$. The orbit of a convex polygon under this map is a sequence of polygons which converges exponentially to a point. Furthermore, as recently proved by Glick, coordinates of that limit point can be computed as an eigenvector of a certain operator associated with the polygon. In the present paper we show that Glick's operator can be interpreted as the infinitesimal monodromy of the polygon. Namely, there exists a certain natural infinitesimal perturbation of a polygon, which is again a polygon but in general not closed; what Glick's operator measures is the extent to which this perturbed polygon does not close up.

nlin.SI↗
arXiv2019

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

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.

math.RT↗
arXiv2018

Vortex sheets and diffeomorphism groupoids

In 1966 V.Arnold suggested a group-theoretic approach to ideal hydrodynamics in which the motion of an inviscid incompressible fluid is described as the geodesic flow of the right-invariant $L^2$-metric on the group of volume-preserving diffeomorphisms of the flow domain. Here we propose geodesic, group-theoretic, and Hamiltonian frameworks to include fluid flows with vortex sheets. It turns out that the corresponding dynamics is related to a certain groupoid of pairs of volume-preserving diffeomorphisms with common interface. We also develop a general framework for Euler-Arnold equations for geodesics on groupoids equipped with one-sided invariant metrics.

math.SG↗
arXiv2018

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

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.

math.SG↗
arXiv2017

Classification of Casimirs in 2D hydrodynamics

We describe a complete list of Casimirs for 2D Euler hydrodynamics on a surface without boundary: we define generalized enstrophies which, along with circulations, form a complete set of invariants for coadjoint orbits of area-preserving diffeomorphisms on a surface. We also outline a possible extension of main notions to the boundary case and formulate several open questions in that setting.

math.SG↗
arXiv2016

Pentagrams, inscribed polygons, and Prym varieties

The pentagram map is a discrete integrable system on the moduli space of planar polygons. The corresponding first integrals are so-called monodromy invariants $E_1, O_1, E_2, O_2,\dots$ By analyzing the combinatorics of these invariants, R.Schwartz and S.Tabachnikov have recently proved that for polygons inscribed in a conic section one has $E_k = O_k$ for all $k$. In this paper we give a simple conceptual proof of the Schwartz-Tabachnikov theorem. Our main observation is that for inscribed polygons the corresponding monodromy satisfies a certain self-duality relation. From this we also deduce that the space of inscribed polygons with fixed values of the monodromy invariants is an open dense subset in the Prym variety (i.e., a half-dimensional torus in the Jacobian) of the spectral curve. As a byproduct, we also prove another conjecture of Schwartz and Tabachnikov on positivity of monodromy invariants for convex polygons.

nlin.SI↗
arXiv2016

Singularities of integrable systems and nodal curves

The relation between integrable systems and algebraic geometry is known since the XIXth century. The modern approach is to represent an integrable system as a Lax equation with spectral parameter. In this approach, the integrals of the system turn out to be the coefficients of the characteristic polynomial $χ$ of the Lax matrix, and the solutions are expressed in terms of theta functions related to the curve $χ= 0$. The aim of the present paper is to show that the possibility to write an integrable system in the Lax form, as well as the algebro-geometric technique related to this possibility, may also be applied to study qualitative features of the system, in particular its singularities.

nlin.SI↗
arXiv2016

Curvature of Poisson pencils in dimension three

A Poisson pencil is called flat if all brackets of the pencil can be simultaneously locally brought to a constant form. Given a Poisson pencil on a 3-manifold, we study under which conditions it is flat. Since the works of Gelfand and Zakharevich, it is known that a pencil is flat if and only if the associated Veronese web is trivial. We suggest a simpler obstruction to flatness, which we call the curvature form of a Poisson pencil. This form can be defined in two ways: either via the Blaschke curvature form of the associated web, or via the Ricci tensor of a connection compatible with the pencil. We show that the curvature form of a Poisson pencil can be given by a simple explicit formula. This allows us to study flatness of linear pencils on three-dimensional Lie algebras, in particular those related to the argument translation method. Many of them appear to be non-flat.

math.DG↗
arXiv2016

Flat bi-Hamiltonian structures and invariant densities

A bi-Hamiltonian structure is a pair of Poisson structures $\mathcal P$, $\mathcal Q$ which are compatible, meaning that any linear combination $α\mathcal P + β\mathcal Q$ is again a Poisson structure. A bi-Hamiltonian structure $(\mathcal P, \mathcal Q)$ is called flat if $\mathcal P$ and $\mathcal Q$ can be simultaneously brought to a constant form in a neighborhood of a generic point. We prove that a generic bi-Hamiltonian structure $(\mathcal P, \mathcal Q)$ on an odd-dimensional manifold is flat if and only if there exists a local density which is preserved by all vector fields Hamiltonian with respect to $\mathcal P$, as well as by all vector fields Hamiltonian with respect to $\mathcal Q$.

math.DG↗
arXiv2016

Singularities of integrable systems and algebraic curves

We study the relationship between singularities of finite-dimensional integrable systems and singularities of the corresponding spectral curves. For the large class of integrable systems on matrix polynomials, which is a general framework for various multidimensional spinning tops, as well as Beauville systems, we prove that if the spectral curve is nodal, then all singularities on the corresponding fiber of the system are non-degenerate. We also show that the type of a non-degenerate singularity can be read off from the behavior of double points on the spectral curve under an appropriately defined antiholomorphic involution. Our analysis is based on linearization of integrable flows on generalized Jacobian varieties, as well as on the possibility to express the eigenvalues of an integrable vector field linearized at a singular point in terms of residues of certain meromorphic differentials.

nlin.SI↗
arXiv2016

Coadjoint orbits of symplectic diffeomorphisms of surfaces and ideal hydrodynamics

We give a classification of generic coadjoint orbits for the groups of symplectomorphisms and Hamiltonian diffeomorphisms of a closed symplectic surface. We also classify simple Morse functions on symplectic surfaces with respect to actions of those groups. This gives an answer to V.Arnold's problem on describing all invariants of generic isovorticed fields for the 2D ideal fluids. For this we introduce a notion of anti-derivatives on a measured Reeb graph and describe their properties.

math.SG↗
arXiv2015

Characterization of steady solutions to the 2D Euler equation

Steady fluid flows have very special topology. In this paper we describe necessary and sufficient conditions on the vorticity function of a 2D ideal flow on a surface with or without boundary, for which there exists a steady flow among isovorticed fields. For this we introduce the notion of an antiderivative (or circulation function) on a measured graph, the Reeb graph associated to the vorticity function on the surface, while the criterion is related to the total negativity of this antiderivative. It turns out that given topology of the vorticity function, the set of coadjoint orbits of the symplectomorphism group admitting steady flows with this topology forms a convex polytope. As a byproduct of the proposed construction, we also describe a complete list of Casimirs for the 2D Euler hydrodynamics: we define generalized enstrophies which, along with circulations, form a complete set of invariants for coadjoint orbits of area-preserving diffeomorphisms on a surface.

math.SG↗
arXiv2015

Matrix polynomials, generalized Jacobians, and graphical zonotopes

A matrix polynomial is a polynomial in a complex variable $λ$ with coefficients in $n \times n$ complex matrices. The spectral curve of a matrix polynomial $P(λ)$ is the curve $\{ (λ, μ) \in \mathbb{C}^2 \mid \mathrm{det}(P(λ) - μ\cdot \mathrm{Id}) = 0\}$. The set of matrix polynomials with a given spectral curve $C$ is known to be closely related to the Jacobian of $C$, provided that $C$ is smooth. We extend this result to the case when $C$ is an arbitrary nodal, possibly reducible, curve. In the latter case the set of matrix polynomials with spectral curve $C$ turns out to be naturally stratified into smooth pieces, each one being an open subset in a certain generalized Jacobian. We give a description of this stratification in terms of purely combinatorial data and describe the adjacency of strata. We also make a conjecture on the relation between completely reducible matrix polynomials and the canonical compactified Jacobian defined by V.Alexeev.

math.AG↗
arXiv2014

Generalized argument shift method and complete commutative subalgebras in polynomial Poisson algebras

The Mischenko-Fomenko argument shift method allows to construct commutative subalgebras in the symmetric algebra $S(\mathfrak g)$ of a finite-dimensional Lie algebra $\mathfrak g$. For a wide class of Lie algebras, these commutative subalgebras appear to be complete, i.e. they have maximal transcendence degree. However, for many algebras, Mischenko-Fomenko subalgebras are incomplete or even empty. In this case, we suggest a natural way how to extend Mischenko-Fomenko subalgebras, and give a completeness criterion for these extended subalgebras.

math.RT↗
arXiv2014

Algebraic geometry and stability for integrable systems

In 1970s, a method was developed for integration of nonlinear equations by means of algebraic geometry. Starting from a Lax representation with spectral parameter, the algebro-geometric method allows to solve the system explicitly in terms of theta functions of Riemann surfaces. However, the explicit formulas obtained in this way fail to answer qualitative questions such as whether a given singular solution is stable or not. In the present paper, the problem of stability for equilibrium points is considered, and it is shown that this problem can also be approached by means of algebraic geometry.

nlin.SI↗
arXiv2014

Stability in bi-Hamiltonian systems and multidimensional rigid body

The presence of two compatible Hamiltonian structures is known to be one of the main, and the most natural, mechanisms of integrability. For every pair of Hamiltonian structures, there are associated conservation laws (first integrals). Another approach is to consider the second Hamiltonian structure on its own as a tensor conservation law. The latter is more intrinsic as compared to scalar conservation laws derived from it and, as a rule, it is "simpler". Thus it is natural to ask: can the dynamics of a bi-Hamiltonian system be understood by studying its Hamiltonian pair, without studying the associated first integrals?\par In this paper, the problem of stability of equilibria in bi-Hamiltonian systems is considered and it is shown that the conditions for nonlinear stability can be expressed in algebraic terms of linearization of the underlying Poisson pencil. This is used to study stability of stationary rotations of a free multidimensional rigid body.

nlin.SI↗
arXiv2014

Stability of relative equilibria of multidimensional rigid body

It is a classical result of Euler that the rotation of a torque-free three-dimensional rigid body about the short or the long axis is stable, whereas the rotation about the middle axis is unstable. This result is generalized to the case of a multidimensional body.

math-ph↗