Researcher profile

Anton Izosimov

Anton Izosimov contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
21works
0followers
11topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

21 published item(s)

preprint2022arXiv

Change of polytope volumes under Möbius transformations and the circumcenter of mass

The circumcenter of mass of a simplicial polytope $P$ is defined as follows: triangulate $P$, assign to each simplex its circumcenter taken with weight equal to the volume of the simplex, and then find the center of mass of the resulting system of point masses. The so obtained point is independent of the triangulation. The aim of the present note is to give a definition of the circumcenter of mass that does not rely on a triangulation. To do so we investigate how volumes of polytopes change under Möbius transformations.

preprint2022arXiv

Pentagram maps and refactorization in Poisson-Lie groups

The pentagram map was introduced by R. Schwartz in 1992 and is now one of the most renowned discrete integrable systems. In the present paper we prove that this map, as well as all its known integrable multidimensional generalizations, can be seen as refactorization-type mappings in the Poisson-Lie group of pseudo-difference operators. This brings the pentagram map into the rich framework of Poisson-Lie groups, both describing new structures and simplifying and revealing the origin of its known properties. In particular, for multidimensional pentagram maps the Poisson-Lie group setting provides new Lax forms with a spectral parameter and, more importantly, invariant Poisson structures in all dimensions, the existence of which has been an open problem since the introduction of those maps. Furthermore, for the classical pentagram map our approach naturally yields its combinatorial description in terms of weighted directed networks and cluster algebras.

preprint2022arXiv

The pentagram map, Poncelet polygons, and commuting difference operators

The pentagram map takes a planar polygon $P$ to a polygon $P'$ whose vertices are the intersection points of consecutive shortest diagonals of $P$. This map is known to interact nicely with Poncelet polygons, i.e. polygons which are simultaneously inscribed in a conic and circumscribed about a conic. A theorem of R. Schwartz says that if $P$ is a Poncelet polygon, then the image of $P$ under the pentagram map is projectively equivalent to $P$. In the present paper we show that in the convex case this property characterizes Poncelet polygons: if a convex polygon is projectively equivalent to its pentagram image, then it is Poncelet. The proof is based on the theory of commuting difference operators, as well as on properties of real elliptic curves and theta functions.

preprint2020arXiv

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.

preprint2016arXiv

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.

preprint2016arXiv

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.

preprint2016arXiv

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$.

preprint2016arXiv

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.

preprint2016arXiv

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.

preprint2016arXiv

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.

preprint2015arXiv

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.

preprint2015arXiv

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.

preprint2014arXiv

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.

preprint2014arXiv

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.

preprint2014arXiv

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.

preprint2013arXiv

Singularities of bi-Hamiltonian systems

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.

preprint2013arXiv

The derived algebra of a stabilizer, families of coadjoint orbits, and sheets

Let $\mathfrak{g}$ be a finite-dimensional real or complex Lie algebra, and let $μ\in \mathfrak{g}^{*}$. In the first part of the paper, the relation is discussed between the derived algebra of the stabilizer of $μ$ and the set of coadjoint orbits which have the same dimension as the orbit of $μ$. In the second part, semisimple Lie algebras are considered, and the relation is discussed between the derived algebra of a centralizer and sheets.

preprint2012arXiv

A note on relative equilibria of multidimensional rigid body

It is well known that a rotation of a free generic three-dimensional rigid body is stationary if and only if it is a rotation around one of three principal axes of inertia. As it was noted by many authors, the analogous result is true for a multidimensional body: a rotation is stationary if and only if it is a rotation in the principal axes of inertia, provided that the eigenvalues of the angular velocity matrix are pairwise distinct. However, if some eigenvalues of the angular velocity matrix of a stationary rotation coincide, then it is possible that this rotation has a different nature. A description of such rotations is given in the present paper.