arXiv subjects

Valentin Ovsienko

Publications and source records attributed to Valentin Ovsienko.

At least 55 records · Page 3Linked to original sources

arXiv2013

Linear difference equations, frieze patterns and combinatorial Gale transform

We study the space of linear difference equations with periodic coefficients and (anti)periodic solutions. We show that this space is isomorphic to the space of tame frieze patterns and closely related to the moduli space of configurations of points in the projective space. We define the notion of combinatorial Gale transform which is a duality between periodic difference equations of different orders. We describe periodic rational maps generalizing the classical Gauss map.

math.CO↗

arXiv2012

Linear differential operators on contact manifolds

We consider differential operators between sections of arbitrary powers of the determinant line bundle over a contact manifold. We extend the standard notions of the Heisenberg calculus: noncommutative symbolic calculus, the principal symbol, and the contact order to such differential operators. Our first main result is an intrinsically defined "subsymbol" of a differential operator, which is a differential invariant of degree one lower than that of the principal symbol. In particular, this subsymbol associates a contact vector field to an arbitrary second order linear differential operator. Our second main result is the construction of a filtration that strengthens the well-known contact order filtration of the Heisenberg calculus.

math-ph↗

arXiv2012

On fibrations with flat fibers

We describe pairs (p,n) such that n-dimensional affine space is fibered by pairwise skew p-dimensional affine subspaces. The problem is closely related with the theorem of Adams on vector fields on spheres and the Hurwitz-Radon theory of composition of quadratic forms.

math.AT↗

arXiv2012

Orthogonal Designs and a Cubic Binary Function

Orthogonal designs are fundamental mathematical notions used in the construction of space time block codes for wireless transmissions. Designs have two important parameters, the rate and the decoding delay; the main problem of the theory is to construct designs maximizing the rate and minimizing the decoding delay. All known constructions of CODs are inductive or algorithmic. In this paper, we present an explicit construction of optimal CODs. We do not apply recurrent procedures and do calculate the matrix elements directly. Our formula is based on a cubic function in two binary n-vectors. In our previous work (Comm. Math. Phys., 2010, and J. Pure and Appl. Algebra, 2011), we used this function to define a series of non-associative algebras generalizing the classical algebra of octonions and to obtain sum of squares identities of Hurwitz-Radon type.

cs.IT↗

arXiv2011

Alternated Hochschild Cohomology

In this paper we construct a graded Lie algebra on the space of cochains on a $\mathbbZ_2$-graded vector space that are skew-symmetric in the odd variables. The Lie bracket is obtained from the classical Gerstenhaber bracket by (partial) skew-symmetrization; the coboundary operator is a skew-symmetrized version of the Hochschild differential. We show that an order-one element $m$ satisfying the zero-square condition $[m,m]=0$ defines an algebraic structure called "Lie antialgebra". The cohomology (and deformation) theory of these algebras is then defined. We present two examples of non-trivial cohomology classes which are similar to the celebrated Gelfand-Fuchs and Godbillon-Vey classes.

math.RA↗

arXiv2011

Liouville-Arnold integrability of the pentagram map on closed polygons

The pentagram map is a discrete dynamical system defined on the moduli space of polygons in the projective plane. This map has recently attracted a considerable interest, mostly because its connection to a number of different domains, such as: classical projective geometry, algebraic combinatorics, moduli spaces, cluster algebras and integrable systems. Integrability of the pentagram map was conjectured by R. Schwartz and later proved by V. Ovsienko, R. Schwartz and S. Tabachnikov for a larger space of twisted polygons. In this paper, we prove the initial conjecture that the pentagram map is completely integrable on the moduli space of closed polygons. In the case of convex polygons in the real projective plane, this result implies the existence of a toric foliation on the moduli space. The leaves of the foliation carry affine structure and the dynamics of the pentagram map is quasi-periodic. Our proof is based on an invariant Poisson structure on the space of twisted polygons. We prove that the Hamiltonian vector fields corresponding to the monodoromy invariants preserve the space of closed polygons and define an invariant affine structure on the level surfaces of the monodromy invariants.

math.DS↗

arXiv2011

2-frieze patterns and the cluster structure of the space of polygons

We study the space of 2-frieze patterns generalizing that of the classical Coxeter-Conway frieze patterns. The geometric realization of this space is the space of n-gons (in the projective plane and in 3-dimensional vector space) which is a close relative of the moduli space of genus 0 curves with n marked points. We show that the space of 2-frieze patterns is a cluster manifold and study its algebraic and arithmetic properties.

math.AG↗

arXiv2011

New solutions to the Hurwitz problem on square identities

The Hurwitz problem of composition of quadratic forms, or of "sum of squares identity" is tackled with the help of a particular class of $(\mathbb{Z}_2)^n$-graded non-associative algebras generalizing the octonions. This method provides an explicit formula for the classical Hurwitz-Radon identity and leads to new solutions in a neighborhood of the Hurwitz-Radon identity.

math.AC↗

arXiv2011

A series of algebras generalizing the octonions and Hurwitz-Radon identity

We study non-associative twisted group algebras over $(\Z_2)^n$ with cubic twisting functions. We construct a series of algebras that extend the classical algebra of octonions in the same way as the Clifford algebras extend the algebra of quaternions. We study their properties, give several equivalent definitions and prove their uniqueness within some natural assumptions. We then prove a simplicity criterion. We present two applications of the constructed algebras and the developed technique. The first application is a simple explicit formula for the following famous square identity: $(a_1^2+...+a_{N}^2)\,(b_1^2+...+b_{ρ(N)}^2)= c_1^2+...+c_{N}^2$, where $c_k$ are bilinear functions of the $a_i$ and $b_j$ and where $ρ(n)$ is the Hurwitz-Radon function. The second application is the relation to Moufang loops and, in particular, to the code loops. To illustrate this relation, we provide an explicit coordinate formula for the factor set of the Parker loop.

math.RA↗

arXiv2010

Lie antialgebras: premices

The main purpose of this work is to develop the basic notions of the Lie theory for commutative algebras. We introduce a class of $\mathbbZ_2$-graded commutative but not associative algebras that we call ``Lie antialgebras''. These algebras are closely related to Lie (super)algebras and, in some sense, link together commutative and Lie algebras. The main notions we define in this paper are: representations of Lie antialgebras, an analog of the Lie-Poisson bivector (which is not Poisson) and central extensions. We also classify simple finite-dimensional Lie antialgebras.

math-ph↗

arXiv2009

The Pentagram map: a discrete integrable system

The pentagram map is a projectively natural iteration defined on polygons, and also on objects we call twisted polygons (a twisted polygon is a map from Z into the projective plane that is periodic modulo a projective transformation). We find a Poisson structure on the space of twisted polygons and show that the pentagram map relative to this Poisson structure is completely integrable in the sense of Arnold-Liouville. For certain families of twisted polygons, such as those we call universally convex, we translate the integrability into a statement about the quasi-periodic motion for the dynamics of the pentagram map. We also explain how the pentagram map, in the continuous limit, corresponds to the classical Boussinesq equation. The Poisson structure we attach to the pentagram map is a discrete version of the first Poisson structure associated with the Boussinesq equation.

math.DS↗

arXiv2009

Graded commutative algebras: examples, classification, open problems

We consider $\G$-graded commutative algebras, where $\G$ is an abelian group. Starting from a remarkable example of the classical algebra of quaternions and, more generally, an arbitrary Clifford algebra, we develop a general viewpoint on the subject. We then give a recent classification result and formulate an open problem.

math-ph↗

arXiv2009

Simple graded commutative algebras

We study the notion of $Γ$-graded commutative algebra for an arbitrary abelian group $Γ$. The main examples are the Clifford algebras already treated by Albuquerque and Majid. We prove that the Clifford algebras are the only simple finite-dimensional associative graded commutative algebras over $\mathbb{R}$ or $\mathbb{C}$. Our approach also leads to non-associative graded commutative algebras extending the Clifford algebras.

math.AC↗

arXiv2009

Quasiperiodic Motion for the Pentagram Map

The pentagram map is a projectively natural iteration defined on polygons, and also on a generalized notion of a polygon which we call {\it twisted polygons}. In this note we describe our recent work on the pentagram map, in which we find a Poisson structure on the space of twisted polygons and show that the pentagram map relative to this Poisson structure is completely integrable in the sense of Arnold-Liouville. For certain families of twisted polygons, such as those we call {\it universally convex}, we translate the integrability into a statement about the quasi-periodic notion of the pentagram-map orbits. We also explain how the continuous limit of the Pentagram map is the classical Boissinesq equation, a completely integrable PDE.

math.DS↗

arXiv2008

Well, Papa, can you multiply triplets?

We show that the classical algebra of quaternions is a commutative $\Z_2\times\Z_2\times\Z_2$-graded algebra. A similar interpretation of the algebra of octonions is impossible.

math.AC↗

arXiv2008

Lie antialgebras: cohomology and representations

We describe the main algebraic and geometric properties of the class of algebras introduced in [arXiv:0705.1629]. We discuss their origins in symplectic geometry and associative algebra, and the notions of cohomology and representations. We formulate classification theorems and give a number of examples.

math-ph↗

arXiv2008

Supertransvectants and symplectic geometry

We consider the $osp(1|2)$-invariant bilinear operations on weighted densities on the supercircle $S^{1|1}$ called the supertransvectants. These operations are analogues of the famous Gordan transvectants (or Rankin-Cohen brackets). We prove that these operations coincide with the iterated Poisson and ghost Poisson brackets on ${\mathbb R}^{2|1}$ and apply this result to construct star-products involving the supertransvectants.

math-ph↗

arXiv2008

Bi-Hamiltonian nature of the equation $u_{tx}=u_{xy} u_y-u_{yy} u_x$

We study non-linear integrable partial differential equations naturally arising as bi-Hamiltonian Euler equations related to the looped cotangent Virasoro algebra. This infinite-dimensional Lie algebra (constructed in \cite{OR}) is a generalization of the classical Virasoro algebra to the case of two space variables. Two main examples of integrable equations we obtain are quite well known. We show that the relation between these two equations is similar to that between the Korteweg-de Vries and Camassa-Holm equations.

math-ph↗