Source author record

Victor M. Buchstaber

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

21works
14topics
4close collaborators

Published work

21 publications

preprint2022arXiv

Relationships Between Hyperelliptic Functions of Genus 2 and Elliptic Functions

The article is devoted to the classical problems about the relationships between elliptic functions and hyperelliptic functions of genus 2. It contains new results, as well as a derivation from them of well-known results on these issues. Our research was motivated by applications to the theory of equations and dynamical systems integrable in hyperelliptic functions of genus 2. We consider a hyperelliptic curve VV of genus 2 which admits a morphism of degree 2 to an elliptic curve. Then there exist two elliptic curves EiE_i, i=1,2i=1,2, and morphisms of degree 2 from VV to EiE_i. We construct hyperelliptic functions associated with VV from the Weierstrass elliptic functions associated with EiE_i and describe them in terms of the fundamental hyperelliptic functions defined by the logarithmic derivatives of the two-dimensional sigma functions. We show that the restrictions of hyperelliptic functions associated with VV to the appropriate subspaces in C2\mathbb{C}^2 are elliptic functions and describe them in terms of the Weierstrass elliptic functions associated with EiE_i. Further, we express the hyperelliptic functions associated with VV on C2\mathbb{C}^2 in terms of the Weierstrass elliptic functions associated with EiE_i. We derive these results by describing the homomorphisms between the Jacobian varieties of the curves VV and EiE_i induced by the morphisms from VV to EiE_i explicitly.

preprint2020arXiv

A resolution of singularities for the orbit spaces Gn,2/TnG_{n,2}/T^n

The problem of the description of the orbit space Xn=Gn,2/TnX_{n} = G_{n,2}/T^n for the standard action of the torus TnT^n on a complex Grassmann manifold Gn,2G_{n,2} is widely known and it appears in diversity of mathematical questions. A point x∈Xnx\in X_{n} is said to be a critical point if the stabilizer of its corresponding orbit is nontrivial. In this paper, the notion of singular points of XnX_n is introduced which opened the new approach to this problem. It is showed that for n>4n>4 the set of critical points CritXn\text{Crit}X_n belongs to our set of singular points SingXn\text{Sing}X_{n}, while the case n=4n=4 is somewhat special for which SingX4⊂CritX4\text{Sing}X_4\subset \text{Crit}X_4, but there are critical points which are not singular. The central result of this paper is the construction of the smooth manifold UnU_n with corners, dim⁡Un=dim⁡Xn\dim U_n = \dim X_n and an explicit description of the projection pn:Un→Xnp_{n} : U_{n}\to X_{n} which in the defined sense resolve all singular points of the space XnX_n. Thus, we obtain the description of the orbit space Gn,2/TnG_{n,2}/T^n combinatorial structure. Moreover, the TnT^n-action on Gn,2G_{n,2} is a seminal example of complexity (n−3)(n-3) - action. Our results demonstrate the method for general description of orbit spaces for torus actions of positive complexity.

preprint2016arXiv

Finite sets of operations sufficient to construct any fullerene from C20C_{20}

We study the well-known problem of combinatorial classification of fullerenes. By a (mathematical) fullerene we mean a convex simple three dimensional polytope with all facets pentagons and hexagons. We analyse approaches of construction of arbitrary fullerene from the dodecahedron (a fullerene C20C_{20}). A growth operation is a combinatorial operation that substitutes the patch with more facets and the same boundary for the patch on the surface of a simple polytope to produce a new simple polytope. It is known that an infinite set of different growth operations transforming fullerenes into fullerenes is needed to construct any fullerene from the dodecahedron. We prove that if we allow a polytope to contain one exceptional facet, which is a quadrangle or a heptagon, then a finite set of growth operation is sufficient. We analyze pairs of objects: a finite set of operations, and a family of acceptable polytopes containing fullerenes such that any polytope of the family can be obtained from the dodecahedron by a sequence of operations from the corresponding set. We describe explicitly three such pairs. First two pairs contain seven operations, and the last -- eleven operations. Each of these operations corresponds to a finite set of growth operations and is a composition of edge- and two edges-truncations.

preprint2016arXiv

On determinants of modified Bessel functions and entire solutions of double confluent Heun equations

We investigate the question on existence of entire solutions of well-known linear differential equations that are linearizations of nonlinear equations modeling the Josephson effect in superconductivity. We consider the modified Bessel functions Ij(x)I_j(x) of the first kind, which are Laurent series coefficients of the analytic function family ex2(z+1z)e^{\frac x2(z+\frac 1z)}. For every l≥1l\geq1 we study the family parametrized by k,n∈Zlk, n\in\mathbb Z^l, k1>⋯>klk_1>\dots>k_l, n1>⋯>nln_1>\dots>n_l of (l×l)(l\times l)-matrix functions formed by the modified Bessel functions of the first kind aij(x)=Ikj−ni(x)a_{ij}(x)=I_{k_j-n_i}(x), i,j=1,…,li,j=1,\dots,l. We show that their determinants fk,n(x)f_{k,n}(x) are positive for every l≥1l\geq1, k,n∈Zlk,n\in\mathbb Z^l as above and x>0x>0. The above determinants are closely related to a sequence (indexed by ll) of families of double confluent Heun equations, which are linear second order differential equations with two irregular singularities, at zero and at infinity. V.M.Buchstaber and S.I.Tertychnyi have constructed their holomorphic solutions on C\mathbb C for an explicit class of parameter values and conjectured that they do not exist for other parameter values. They have reduced their conjecture to the second conjecture saying that if an appropriate second similar equation has a polynomial solution, then the first one has no entire solution. They have proved the latter statement under the additional assumption (third conjecture) that fk,n(x)≠0f_{k,n}(x)\neq0 for k=(l,…,1)k=(l,\dots,1), n=(l−1,…,0)n=(l-1,\dots,0) and every x>0x>0. Our more general result implies all the above conjectures, together with their corollary for the overdamped model of the Josephson junction in superconductivity: the description of adjacency points of phase-lock areas as solutions of explicit analytic equations.

preprint2016arXiv

Topology and geometry of the canonical action of T4T^4 on the complex Grassmannian G4,2G_{4,2} and the complex projective space CP5CP^{5}

We consider the canonical action of the compact torus T4T^4 on the Grassmann manifold G4,2G_{4,2} and prove that the orbit space G4,2/T4G_{4,2}/T^4 is homeomorphic to the sphere S5S^5. We prove that the induced differentiable structure on S5S^5 is not the smooth one and describe the smooth and the singular points. We also consider the action of T4T^4 on CP5CP^5 induced by the composition of the second symmetric power T4⊂T6T^4\subset T^6 and the standard action of T6T^6 on CP5CP^5 and prove that the orbit space CP5/T4CP^5/T^4 is homeomorphic to the join CP2∗S2CP^2\ast S^2. The Plücker embedding G4,2⊂CP5G_{4,2}\subset CP^5 is equivariant for these actions and induces embedding CP1∗S2⊂CP2∗S2CP^1\ast S^2 \subset CP^2 \ast S^2 for the standard embedding CP1⊂CP2CP^1 \subset CP^2. All our constructions are compatible with the involution given by the complex conjugation and give the corresponding results for the real Grassmannian G4,2(R)G_{4,2}(R) and the real projective space RP5RP^5 for the action of the group Z24Z _{2}^{4}. We prove that the orbit space G4,2(R)/Z24G_{4,2}(R)/Z _{2}^{4} is homeomorphic to the sphere S4S^4 and that the orbit space RP5/Z24RP^{5}/Z _{2}^{4} is homeomorphic to the join RP2∗S2RP^2\ast S^2.

preprint2015arXiv

Construction of fullerenes

We present an infinite series of operations on fullerenes generalizing the Endo-Kroto operation, such that each combinatorial fullerene is obtained from the dodecahedron by a sequence of such operations. We prove that these operations are invertible in the proper sense, and are compositions of (1;4,5)-, (1;5,5)-, (2,6;4,5)-, (2,6;5,5)-, (2,6;5,6)-, (2,7;5,5)-, and (2,7;5,6)-truncations, where each truncation increases the number of hexagons by one.

preprint2013arXiv

Algebraically integrable quadratic dynamical systems

We consider in C^n the class of symmetric homogeneous quadratic dynamical systems. We introduce the notion of algebraic integrability for this class. We present a class of symmetric quadratic dynamical systems that are algebraically integrable by the set of functions h_1(t), ..., h_n(t) where h_1(t) is any solution of an ordinary differential equation of order n and h_k(t) are differential polynomials in h_1(t), k = 2, ..., n. We describe a method of constructing this ordinary differential equation. We give a classification of symmetric quadratic dynamical systems and describe the maximal subgroup in GL(n, C) that acts on this systems. We apply our results to analysis of classical systems of Lotka-Volterra type and Darboux-Halphen system and their modern generalizations.

preprint2012arXiv

Ordinary differential equations associated with the heat equation

This paper is devoted to the one-dimensional heat equation and the non-linear ordinary differential equations associated to it. We consider homogeneous polynomial dynamical systems in the n-dimensional space, n = 0, 1, 2, .... For any such system our construction matches a non-linear ordinary differential equation. We describe the algorithm that brings the solution of such an equation to a solution of the heat equation. The classical fundamental solution of the heat equation corresponds to the case n=0 in terms of our construction. Solutions of the heat equation defined by the elliptic theta-function lead to the Chazy-3 equation and correspond to the case n=2. The group SL(2, C) acts on the space of solutions of the heat equation. We show this action for each n induces the action of SL(2, C) on the space of solutions of the corresponding ordinary differential equations. In the case n=2 this leads to the well-known action of this group on the space of solutions of the Chazy-3 equation. An explicit description of the family of ordinary differential equations arising in our approach is given.

preprint2012arXiv

Toric genera of homogeneous spaces and their fibrations

The aim of this paper is to study further the universal toric genus of compact homogeneous spaces and their homogeneous fibrations. We consider the homogeneous spaces with positive Euler characteristic. It is well known that such spaces carry many stable complex structures equivariant under the canonical action of the maximal torus TkT^k. As the torus action in this case has only isolated fixed points it is possible to effectively apply localization formula for the universal toric genus. Using this we prove that the famous topological results related to rigidity and multiplicativity of a Hirzebruch genus can be obtained on homogeneous spaces just using representation theory. In that context for homogeneous SUSU-spaces we prove the well known result about rigidity of the Krichever genus. We also prove that for a large class of stable complex homogeneous spaces any TkT^k-equivariant Hirzebruch genus given by an odd power series vanishes. Related to the problem of multiplicativity we provide construction of stable complex TkT^k-fibrations for which the universal toric genus is twistedly multiplicative. We prove that it is always twistedly multiplicative for almost complex homogeneous fibrations and describe those fibrations for which it is multiplicative. As a consequence for such fibrations the strong relations between rigidity and multiplicativity for an equivariant Hirzebruch genus is established. The universal toric genus of the fibrations for which the base does not admit any stable complex structure is also considered. The main examples here for which we compute the universal toric genus are the homogeneous fibrations over quaternionic projective spaces.

preprint2010arXiv

Elliptic formal group laws, integral Hirzebruch genera and Krichever genera

We consider the geometrical addition law on the elliptic curve in Tate coordinates. It corresponds to the general formal group law over the ring of polynomials with integer coefficients of the parametra of the curve. We study the structure of this law and the differential equation that determines its exponent. We describe a 5-parametric family of Hirzebruch genera with integer values on stably complex manifolds. We introduce the general Krichever genus, which is given by a generalized Baker-Akhiezer function. This function has many of the fundamental properties of the Baker-Akhiezer function, but unlike it, it is not meromorphic, because it can have two branch points in the parallelogram of periods.

preprint2010arXiv

Polytopes, Hopf algebras and Quasi-symmetric functions

In this paper we use the technique of Hopf algebras and quasi-symmetric functions to study the combinatorial polytopes. Consider the free abelian group P\mathcal{P} generated by all combinatorial polytopes. There are two natural bilinear operations on this group defined by a direct product ×\times and a join ⋇\divideontimes of polytopes. (P,×)(\mathcal{P},\times) is a commutative associative bigraded ring of polynomials, and RP=(Z∅⊕P,⋇)\mathcal{RP}=(\mathbb Z\varnothing\oplus\mathcal{P},\divideontimes) is a commutative associative threegraded ring of polynomials. The ring RP\mathcal{RP} has the structure of a graded Hopf algebra. It turns out that P\mathcal{P} has a natural Hopf comodule structure over RP\mathcal{RP}. Faces operators dkd_k that send a polytope to the sum of all its (n−k)(n-k)-dimensional faces define on both rings the Hopf module structures over the universal Leibnitz-Hopf algebra Z\mathcal{Z}. This structure gives a ring homomorphism $\R\to\Qs\otimes\R$, where R\R is P\mathcal{P} or RP\mathcal{RP}. Composing this homomorphism with the characters Pn→αnP^n\toα^n of P\mathcal{P}, Pn→αn+1P^n\toα^{n+1} of RP\mathcal{RP}, and with the counit we obtain the ring homomorphisms $f\colon\mathcal{P}\to\Qs[α]$, $f_{\mathcal{RP}}\colon\mathcal{RP}\to\Qs[α]$, and $\F^*:\mathcal{RP}\to\Qs$, where FF is the Ehrenborg transformation. We describe the images of these homomorphisms in terms of functional equations, prove that these images are rings of polynomials over Q\mathbb Q, and find the relations between the images, the homomorphisms and the Hopf comodule structures. For each homomorphism f,  fRPf,\;f_{\mathcal{RP}}, and $\F$ the images of two polytopes coincide if and only if they have equal flag ff-vectors. Therefore algebraic structures on the images give the information about flag ff-vectors of polytopes.

preprint2010arXiv

Ring of Polytopes, Quasi-symmetric functions and Fibonacci numbers

In this paper we study the ring P\mathcal{P} of combinatorial convex polytopes. We introduce the algebra of operators D\mathcal{D} generated by the operators dkd_k that send an nn-dimensional polytope PnP^n to the sum of all its (n−k)(n-k)-dimensional faces. It turns out that D\mathcal{D} is isomorphic to the universal Leibnitz-Hopf algebra with the antipode χ(dk)=(−1)kdkχ(d_k)=(-1)^kd_k. Using the operators dkd_k we build the generalized ff-polynomial, which is a ring homomorphism from P\mathcal{P} to the ring $\Qsym[t_1,t_2,...][α]$ of quasi-symmetric functions with coefficients in Z[α]\mathbb Z[α]. The images of two polytopes coincide if and only if their flag ff-vectors are equal. We describe the image of this homomorphism over the integers and prove that over the rationals it is a free polynomial algebra with dimension of the nn-th graded component equal to the nn-th Fibonacci number. This gives a representation of the Fibonacci series as an infinite product. The homomorphism is an isomorphism on the graded group BBBB generated by the polytopes introduced by Bayer and Billera to find the linear span of flag ff-vectors of convex polytopes. This gives the group BBBB a structure of the ring isomorphic to f(P)f(\mathcal{P}). We show that the ring of polytopes has a natural Hopf comodule structure over the Rota-Hopf algebra of posets. As a corollary we build a ring homomorphism lα ⁣:P→R[α]l_α\colon\mathcal{P}\to\mathcal{R}[α] such that F(lα(P))=f(P)∗F(l_α(P))=f(P)^*, where FF is the Ehrenborg quasi-symmetric function.

preprint2010arXiv

Two-valued groups, Kummer varieties and integrable billiards

A natural and important question of study two-valued groups associated with hyperelliptic Jacobians and their relationship with integrable systems is motivated by seminal examples of relationship between algebraic two-valued groups related to elliptic curves and integrable systems such as elliptic billiards and celebrated Kowalevski top. The present paper is devoted to the case of genus 2, to the investigation of algebraic two-valued group structures on Kummer varieties. One of our approaches is based on the theory of σσ-functions. It enables us to study the dependence of parameters of the curves, including rational limits. Following this line, we are introducing a notion of nn-groupoid as natural multivalued analogue of the notion of topological groupoid. Our second approach is geometric. It is based on a geometric approach to addition laws on hyperelliptic Jacobians and on a recent notion of billiard algebra. Especially important is connection with integrable billiard systems within confocal quadrics. The third approach is based on the realization of the Kummer variety in the framework of moduli of semi-stable bundles, after Narasimhan and Ramanan. This construction of the two-valued structure is remarkably similar to the historically first example of topological formal two-valued group from 1971, with a significant difference: the resulting bundles in the 1971 case were "virtual", while in the present case the resulting bundles are effectively realizable.

preprint2010arXiv

Upper and lower bound theorems for graph-associahedra

From the paper of the first author it follows that upper and lower bounds for γγ-vector of a simple polytope imply the bounds for its gg-,hh- and ff-vectors. In the paper of the second author it was obtained unimprovable upper and lower bounds for γγ-vectors of flag nestohedra, particularly Gal's conjecture was proved for this case. In the present paper we obtain unimprovable upper and lower bounds for γγ-vectors (consequently, for gg-,hh- and ff-vectors) of graph-associahedra and some its important subclasses. We use the constructions that for an (n−1)(n-1)-dimensional graph-associahedron PΓnP_{Γ_n} give the nn-dimensional graph-associahedron PΓn+1P_{Γ_{n+1}} that is obtained from the cylinder PΓn×IP_{Γ_n}\times I by sequential shaving some facets of its bases. We show that the well-known series of polytopes (associahedra, cyclohedra, permutohedra and stellohedra) can be derived by these constructions. As a corollary we obtain inductive formulas for γγ- and hh- vectors of the mentioned series. These formulas communicate the method of differential equations developed by the first author with the method of shavings developed by the second author.

preprint2009arXiv

Toric Genera

Our primary aim is to develop a theory of equivariant genera for stably complex manifolds equipped with compatible actions of a torus T^k. In the case of omnioriented quasitoric manifolds, we present computations that depend only on their defining combinatorial data; these draw inspiration from analogous calculations in toric geometry, which seek to express arithmetic, elliptic, and associated genera of toric varieties in terms only of their fans. Our theory focuses on the universal toric genus Φ, which was introduced independently by Krichever and Loeffler in 1974, albeit from radically different viewpoints. In fact Φis a version of tom Dieck's bundling transformation of 1970, defined on T^k-equivariant complex cobordism classes and taking values in the complex cobordism algebra of the classifying space. We proceed by combining the analytic, the formal group theoretic, and the homotopical approaches to genera, and refer to the index theoretic approach as a recurring source of insight and motivation. The resultant flexibility allows us to identify several distinct genera within our framework, and to introduce parametrised versions that apply to bundles equipped with a stably complex structure on the tangents along their fibres. In the presence of isolated fixed points, we obtain universal localisation formulae, whose applications include the identification of Krichever's generalised elliptic genus as universal amongst genera that are rigid on SU-manifolds. We follow the traditions of toric geometry by working with a variety of illustrative examples wherever possible. For background and prerequisites we attempt to reconcile the literature of east and west, which developed independently for several decades after the 1960s.

preprint2006arXiv

Spaces of polytopes and cobordism of quasitoric manifolds

Our aim is to bring the theory of analogous polytopes to bear on the study of quasitoric manifolds, in the context of stably complex manifolds with compatible torus action. By way of application, we give an explicit construction of a quasitoric representative for every complex cobordism class as the quotient of a free torus action on a real quadratic complete intersection. We suggest a systematic description for omnioriented quasitoric manifolds in terms of combinatorial data, and explain the relationship with non-singular projective toric varieties (otherwise known as toric manifolds). By expressing the first and third authors' approach to the representability of cobordism classes in these terms, we simplify and correct two of their original proofs concerning quotient polytopes; the first relates to framed embeddings in the positive cone, and the second involves modifying the operation of connected sum to take account of orientations. Analogous polytopes provide an informative setting for several of the details.

preprint1999arXiv

Torus actions, equivariant moment-angle complexes, and coordinate subspace arrangements

We show that the cohomology algebra of the complement of a coordinate subspace arrangement in m-dimensional complex space is isomorphic to the cohomology algebra of Stanley-Reisner face ring of a certain simplicial complex on m vertices. (The face ring is regarded as a module over the polynomial ring on m generators.) Then we calculate the latter cohomology algebra by means of the standard Koszul resolution of polynomial ring. To prove these facts we construct an equivariant with respect to the torus action homotopy equivalence between the complement of a coordinate subspace arrangement and the moment-angle complex defined by the simplicial complex. The moment-angle complex is a certain subset of a unit poly-disk in m-dimensional complex space invariant with respect to the action of an m-dimensional torus. This complex is a smooth manifold provided that the simplicial complex is a simplicial sphere, but otherwise has more complicated structure. Then we investigate the equivariant topology of the moment-angle complex and apply the Eilenberg-Moore spectral sequence. We also relate our results with well known facts in the theory of toric varieties and symplectic geometry.

preprint1998arXiv

Flag manifolds and the Landweber-Novikov algebra

We investigate geometrical interpretations of various structure maps associated with the Landweber-Novikov algebra S^* and its integral dual S_*. In particular, we study the coproduct and antipode in S_*, together with the left and right actions of S^* on S_* which underly the construction of the quantum (or Drinfeld) double D(S^*). We set our realizations in the context of double complex cobordism, utilizing certain manifolds of bounded flags which generalize complex projective space and may be canonically expressed as toric varieties. We discuss their cell structure by analogy with the classical Schubert decomposition, and detail the implications for Poincare duality with respect to double cobordism theory; these lead directly to our main results for the Landweber-Novikov algebra.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

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