Searcharxiv⌕ Search

arXiv subjects

V. M. Buchstaber

Publications and source records attributed to V. M. Buchstaber.

At least 19 recordsLinked to original sources

Theta divisors and permutohedra

We establish an intriguing relation of the smooth theta divisor $Θ^n$ with permutohedron $Π^n$ and the corresponding toric variety $X_Π^n.$ In particular, we show that the generalised Todd genus of the theta divisor $Θ^n$ coincides with $h$-polynomial of permutohedron $Π^n$ and thus is different from the same genus of $X_Π^n$ only by the sign $(-1)^n.$ As an application we find all the Hodge numbers of the theta divisors in terms of the Eulerian numbers. We reveal also interesting numerical relations between theta-divisors and Tomei manifolds from the theory of the integrable Toda lattice.

math.AT↗

Differential algebra of polytopes and inversion formulas

We use the differential algebra of polytopes to explain the known remarkable relation of the combinatorics of the associahedra and permutohedra with the universal compositional and multiplicative inversion formulas for the formal power series. This approach allows to single out the associahedra and permutohedra among all graph-associahedra and emphasizes the significance of the differential equations for special sequences of simple polytopes derived earlier by one of the authors. We discuss also the link with the geometry of Deligne-Mumford moduli spaces $\bar M_{0,n}$ and the interpretation of the combinatorics of cyclohedra in relation with the classical Faà di Bruno's formula.

math.CO↗

Chern-Dold character in complex cobordisms and theta divisors

We show that the smooth theta divisors of general principally polarised abelian varieties can be chosen as irreducible algebraic representatives of the coefficients of the Chern-Dold character in complex cobordisms and describe the action of the Landweber-Novikov operations on them. We introduce a quantisation of the complex cobordism theory with the dual Landweber-Novikov algebra as the deformation parameter space and show that the Chern-Dold character can be interpreted as the composition of quantisation and dequantisation maps. Some smooth real-analytic representatives of the cobordism classes of theta divisors are described in terms of the classical Weierstrass elliptic functions. The link with the Milnor-Hirzebruch problem about possible characteristic numbers of irreducible algebraic varieties is discussed.

math.AT↗

KdV hierarchies and quantum Novikov's equations

This paper begins with a review of the well-known KdV hierarchy, the $N$-th Novikov equation, and its finite hierarchy in the classical commutative case. This finite hierarchy consists of $N$ compatible integrable polynomial dynamical systems in $\mathbb{C}^{2N}$. We discuss a non-commutative version of the $N$-th Novikov hierarchy defined on the finitely generated free associative algebra ${\mathfrak{B}}_N$ with $2N$ generators. Using the method of quantisation ideals in ${\mathfrak{B}}_N$, for $N=1,2,3,4$, we obtain two-sided homogeneous ideals ${\mathfrak{Q}}_N\subset{\mathfrak{B}}_N$ (quantisation ideals) that are invariant with respect to the $N$-th Novikov equation and such that the quotient algebra ${\mathfrak{C}}_N = {\mathfrak{B}}_N/ {\mathfrak{Q}}_N$ has a well-defined Poincare-Birkhoff-Witt basis. This allows us to define the quantum $N$-th Novikov equation and its hierarchy on ${\mathfrak{C}}_N$. We derive $N$ commuting quantum first integrals (Hamiltonians) and represent the equations of the hierarchy in the Heisenberg form. Essential for our research is the concept of cyclic Frobenius algebras, which we introduced in our recent paper. In terms of the quadratic form that defines the structure of a cyclic Frobenius algebra, we explicitly express the first integrals of the $N$-th Novikov hierarchy in the commutative, free, and quantum cases.

nlin.SI↗

Cyclic Frobenius algebras

In this paper, we introduce the notion of cyclic Frobenius algebras (CF-algebras). Canonical structures of CF-algebras exist on associative and Poisson algebras. It turns out that the modern theory of integrable systems yields non-trivial examples of CF-algebras. In the theory of the KdV hierarchy there is a structure of CF-algebra which leads to explicit expressions for the first integrals of the N-th Novikov hierarchy, suitable for classical, non-Abelian and quantum cases.

nlin.SI↗

Parametric Korteweg--de Vries hierarchy and hyperelliptic sigma functions

In this paper we define the parametric Korteweg-de Vries hierarchy that depends on an infinite set of graded parameters $a = (a_4,a_6,\dots)$. We show that, for any genus $g$, the Klein hyperelliptic function $\wp_{1,1}(t,λ)$ defined on the basis of the multidimensional sigma function $σ(t, λ)$, where $t = (t_1, t_3,\dots, t_{2g-1})$, $λ= (λ_4, λ_6,\dots, λ_{4 g + 2})$, determines a solution of this hierarchy, where the parameters $a$ are given as polynomials in the parameters $λ$ of the sigma function. The proof uses results on the family of operators introduced by V. M. Buchstaber and S. Yu. Shorina. This family consists of $g$ third-order differential operators of $g$ variables. Such families are defined for all $g \geqslant 1$, the operators in each of them commute in pairs and also commute with the Schrödinger operator. In this paper, we describe the relationship between these families and the parametric Korteweg--de Vries hierarchy. A similar infinite family of third-order operators on an infinite set of variables is constructed. The results obtained are extended to the case of such a family.

nlin.SI↗

Hyperelliptic sigma functions and Adler-Moser polynomials

In a 2004 paper by V. M. Buchstaber and D. V. Leykin, published in "Functional Analysis and Its Applications," for each $g > 0$, a system of $2g$ multidimensional heat equations in a nonholonomic frame was constructed. The sigma function of the universal hyperelliptic curve of genus $g$ is a solution of this system. In the work arXiv:2007.08966 explicit expressions for the Schrödinger operators that define the equations of the system considered were obtained in the hyperelliptic case. In this work we use these results to show that if the initial condition of the system considered is polynomial, then the solution of the system is uniquely determined up to a constant factor. This has important applications in the well-known problem of series expansion for the hyperelliptic sigma function. We give an explicit description of the connection of such solutions to well-known Burchnall-Chaundy polynomials and Adler-Moser polynomials. We find a system of linear second-order differential equations that determines the corresponding Adler-Moser polynomial.

math-ph↗

Yang--Baxter maps, Darboux transformations, and linear approximations of refactorisation problems

Yang--Baxter maps (YB maps) are set-theoretical solutions to the quantum Yang--Baxter equation. For a set $X=Ω\times V$, where $V$ is a vector space and $Ω$ is regarded as a space of parameters, a linear parametric YB map is a YB map $Y\colon X\times X\to X\times X$ such that $Y$ is linear with respect to $V$ and one has $πY=π$ for the projection $π\colon X\times X\toΩ\timesΩ$. These conditions are equivalent to certain nonlinear algebraic relations for the components of $Y$. Such a map $Y$ may be nonlinear with respect to parameters from $Ω$. We present general results on such maps, including clarification of the structure of the algebraic relations that define them and several transformations which allow one to obtain new such maps from known ones. Also, methods for constructing such maps are described. In particular, developing an idea from [Konstantinou-Rizos S and Mikhailov A V 2013 J. Phys. A: Math. Theor. 46 425201], we demonstrate how to obtain linear parametric YB maps from nonlinear Darboux transformations of some Lax operators using linear approximations of matrix refactorisation problems corresponding to Darboux matrices. New linear parametric YB maps with nonlinear dependence on parameters are presented.

nlin.SI↗

Sigma functions and Lie algebras of Schrödinger operators

In the work by V. M. Buchstaber and D. V. Leikin for any $g > 0$ is defined a system of $2g$ multidimensional Schrödinger equations in magnetic fields with quadratic potentials. This systems are equivalent to systems of heat equations in nonholonomic frame. It is proved that such a system determines the sigma function of the universal hyperelliptic curve of genus $g$. A polynomial Lie algebra with $2g$ Schrödinger operators $Q_0, Q_2, \ldots, Q_{4g-2}$ as generators was introduced. In this work for any $g > 0$ we obtain explicit expressions for $Q_0$, $Q_2$, $Q_4$, and recurrent formulas for $Q_{2k}$ with $k>2$ expressing this operators as elements of the polynomial Lie algebra using Lie brackets of the operators $Q_0$, $Q_2$, and $Q_4$. As an application we obtain explicit expressions for the operators $Q_0, Q_2, \ldots, Q_{4g-2}$ for $g = 1,2,3,4$.

math-ph↗

Differentiation of Genus $4$ Hyperelliptic Functions

In this work we give an explicit solution to the problem of differentiation of hyperelliptic functions in genus $4$ case. It is a genus $4$ analogue of the classical result of F. G. Frobenius and L. Stickelberger [F. G. Frobenius, L. Stickelberger, "Uber die Differentiation der elliptischen Functionen nach den Perioden und Invarianten", J. Reine Angew. Math., 92 (1882), 311-337] in the case of elliptic functions. An explicit solution in the genus $2$ case was given in [V. M. Buchstaber, "Polynomial dynamical systems and Korteweg-de Vries equation", Proc. Steklov Inst. Math., 294 (2016), 176-200]. An explicit solution in the genus $3$ case was given in [E. Yu. Bunkova, "Differentiation of genus 3 hyperelliptic functions", European Journal of Mathematics, 4:1 (2018), 93-112].

nlin.SI↗

Fricke identities, Frobenius $k$-characters and Markov equation

In 1896 Frobenius and Fricke had published two seemingly unrelated papers: Frobenius had started to develop his theory of $k$-characters for finite groups motivated by Dedekind's question about factorisation of the group determinant, while Fricke followed Klein's approach to the uniformization theorem. We show that in fact these two works can be naturally linked and both are related to remarkable Markov's paper of 1880 on arithmetic of binary quadratic forms.

math.RT↗

Lie Algebras of Heat Operators in Nonholonomic Frame

Lie algebras of systems of $2 g$ graded heat conduction operators $Q_{2k}$, where $k = 0,1, \ldots,2 g-1$, determining sigma functions $σ(z, λ)$ of genus $g = 1,2$, and $3$ hyperelliptic curves are constructed. As a corollary, it is found that a system of three operators $Q_0, Q_2$ and $Q_4$ is already sufficient to determine the sigma functions. The operator $Q_0$ is the Euler operator, and each of the operators $Q_{2k}$, $k>0$, determines a $g$-dimensional Schrödinger equation with quadratic potential in $z$ for a nonholonomic frame of vector fields in $\mathbb{C}^{2g}$ with coordinates $λ$. An analogy of the Cole--Hopf transformation is considered. It associates with each solution $φ(z, λ)$ of a linear system of heat equations a system of nonlinear equations for the vector function $\nabla \ln φ(z, λ)$, where $\nabla$ is the gradient of the function in $z$. For any solution $φ(z, λ)$ of the system of heat equations the graded ring $\mathcal{R}_φ$ is introduced. It is generated by the logarithmic derivatives of the function $φ(z, λ)$ of order of at least $2$. The Lie algebra of derivations of the ring $\mathcal{R}_φ$ is presented explicitly. The interrelation of this Lie algebra with the system of nonlinear equations is shown. In the case when $φ(z, λ) = σ(z, λ)$, this leads to a known result of constructing Lie algebras of derivations of hyperellitic functions of genus $g = 1,2,3$.

math-ph↗

The space of symmetric squares of hyperelliptic curves and integrable Hamiltonian polynomial systems on $\bbbR^4$

We construct Lie algebras of vector fields on universal bundles $\mathcal{E}^2_{N,0}$ of symmetric squares of hyperelliptic curves of genus $g=1,2,\dots$, where $g=\left[\frac{N-1}{2}\right], \ N=3,4,\ldots$. For each of these Lie algebras, the Lie subalgebra of vertical fields has commuting generators, while the generators of the Lie subalgebra of projectable fields determines the canonical representation of the Lie subalgebra with generators $L_{2q}$, $q=-1, 0, 1, 2, \dots$, of the Witt algebra. We give explicitly a bi-rational equivalence of the space $\mathcal{E}^2_{N,0}$ and $\bbbC^{N+1}$ (in the case $N=5$ it is a well known result of Dubrovin and Novikov) and construct a polynomial Lie algebra on $\bbbC^{N+1}$, which contains two commuting generators. These commuting generators results in two compatible polynomial dynamical systems on $\bbbR^4$, which possess two common polynomial first integrals. Moreover, these systems are Hamiltonian and thus Liouville integrable. Using Abel-Jacobi two point map the solutions of these systems can be given in terms of functions defined on universal covering of the universal bundle of the Jacobians of the curves. These functions are not Abelian if $g\ne 2$. Finally we give explicit solutions of the constructed Hamiltonian systems on $\bbbR^4$ in the cases $N=3,4,5$.

nlin.SI↗

Multi-Dimensional Sigma-Functions

In 1997 the present authors published a review (Ref. BEL97 in the present manuscript) that recapitulated and developed classical theory of Abelian functions realized in terms of multi-dimensional sigma-functions. This approach originated by K.Weierstrass and F.Klein was aimed to extend to higher genera Weierstrass theory of elliptic functions based on the Weierstrass $σ$-functions. Our development was motivated by the recent achievements of mathematical physics and theory of integrable systems that were based of the results of classical theory of multi-dimensional theta functions. Both theta and sigma-functions are integer and quasi-periodic functions, but worth to remark the fundamental difference between them. While theta-function are defined in the terms of the Riemann period matrix, the sigma-function can be constructed by coefficients of polynomial defining the curve. Note that the relation between periods and coefficients of polynomials defining the curve is transcendental. Since the publication of our 1997-review a lot of new results in this area appeared (see below the list of Recent References), that promoted us to submit this draft to ArXiv without waiting publication a well-prepared book. We complemented the review by the list of articles that were published after 1997 year to develop the theory of $σ$-functions presented here. Although the main body of this review is devoted to hyperelliptic functions the method can be extended to an arbitrary algebraic curve and new material that we added in the cases when the opposite is not stated does not suppose hyperellipticity of the curve considered.

math-ph↗

Moment-angle complexes and polyhedral products for convex polytopes

Let P be a convex polytope not simple in general. In the focus of this paper lies a simplicial complex K_P which carries complete information about the combinatorial type of P. In the case when P is simple, K_P is the same as dP*, where P* is a polar dual polytope. Using the canonical embedding of a polytope P into nonnegative orthant, we introduce a moment-angle space Z_P for a polytope P. It is known, that in the case when P is simple the space Z_P is homeomorphic to the polyhedral product (D^2,S^1)^{K_P}. When P is not simple, we prove that the space Z_P is homotopically equivalent to the space (D^2,S^1)^{K_P}. This allows to introduce bigraded Betti numbers for any convex polytope. A Stanley-Reisner ring of a polytope P can be defined as a Stanley-Reisner ring of a simplicial complex K_P. All these considerations lead to a natural question: which simplicial complexes arise as K_P for some polytope P? We have proceeded in this direction by introducing a notion of a polytopic simplicial complex. It has the following property: link of each simplex in a polytopic complex is either contractible, or retractible to a subcomplex, homeomorphic to a sphere. The complex K_P is a polytopic simplicial complex for any polytope P. Links of so called face simplices in a polytopic complex are polytopic complexes as well. This fact is sufficient enough to connect face polynomial of a simplicial complex K_P to the face polynomial of a polytope P, giving a series of inequalities on certain combinatorial characteristics of P. Two of these inequalities are equalities for each P and represent Euler-Poincare formula and one of Bayer-Billera relations for flag f-numbers. In the case when P is simple all inequalities turn out to be classical Dehn-Sommerville relations.

math.CO↗

Frobenius $n$-homomorphisms, transfers and branched coverings

The main purpose is to characterise continuous maps that are $n$-branched coverings in terms of induced maps on the rings of functions. The special properties of Frobenius $n$-homomorphisms between two function spaces that correspond to $n$-branched coverings are determined completely. Several equivalent definitions of a Frobenius $n$-homomorphism are compared and some of their properties are proved. An axiomatic treatment of $n$-transfers is given in general and properties of $n$-branched coverings are studied and compared with those of regular coverings.

math.RA↗

$w$-function of the KdV hierarchy

In this paper we construct a family of commuting multidimensional differential operators of order 3, which is closely related to the KdV hierarchy. We find a common eigenfunction of this family and an algebraic relation between these operators. Using these operators we associate a hyperelliptic curve to any solution of the stationary KdV equation. A basic generating function of the solutions of stationary KdV equation is introduced as a special polarization of the equation of the hyperelliptic curve. We also define and discuss the notion of a $w$-function of a solution of the stationary $g$-KdV equation.

math.DS↗

Rings of continuous functions, symmetric products, and Frobenius algebras

Properties of higher characters are developed and applied to symmetric products and Frobenius algebras. A `constructive' proof of the Gel'fand-Kolmogorov theorem is given. Generalisations of that theorem and the Nullstellensatz to symmetric products are discussed.Applications to the theory of multi-symmetric functions are also discussed. It is proved that the first three characters determine the Jordan algebra associated to a Frobenius algebra and as a corollary one obtains the theorem of Hoehnke and Johnson that a finite group is determined by the first three characters of its regular representation.

math.RA↗