Showing 1–50 of 75 results for author: Ovsienko, V

On $q$-deformed Markov numbers. Cohn matrices and perfect matchings with weighted edges

Authors: Sam Evans, Perrine Jouteur, Sophie Morier-Genoud, Valentin Ovsienko

Abstract: We consider a natural $q$-deformation of the classical Markov numbers. This $q$-deformation is closely related to $q$-deformed rational numbers recently introduced by two of us. Both notions, those of $q$-rationals and $q$-Markov numbers, are based on invariance with respect to the action of the modular group $mathrm{PSL}(2,\mathbb{Z})$. We prove that every Markov number has a unique $q$-deformati… ▽ More We consider a natural $q$-deformation of the classical Markov numbers. This $q$-deformation is closely related to $q$-deformed rational numbers recently introduced by two of us. Both notions, those of $q$-rationals and $q$-Markov numbers, are based on invariance with respect to the action of the modular group $mathrm{PSL}(2,\mathbb{Z})$. We prove that every Markov number has a unique $q$-deformation, which is a monic unimodal palindromic Laurent polynomial with positive integer coefficients. The $q$-Markov numbers can be calculated in terms of the traces of $q$-deformed Cohn matrices, and we show that $q$-Markov numbers are independent of the choice of such matrices. We construct a combinatorial model counting perfect matchings of snake graphs with weighted edges. △ Less

Submitted 25 July, 2025; originally announced July 2025.

Comments: 26 pages, 16 figures

$q$-deformed rationals and irrationals

Authors: Sophie Morier-Genoud, Valentin Ovsienko

Abstract: The concept of $q$-deformation, or ``$q$-analogue'' arises in many areas of mathematics. In algebra and representation theory, it is the origin of quantum groups; $q$-deformations are important for knot invariants, combinatorial enumeration, discrete geometry, analysis, and many other parts of mathematics. In mathematical physics, $q$-deformations are often understood as ``quantizations''. The r… ▽ More The concept of $q$-deformation, or ``$q$-analogue'' arises in many areas of mathematics. In algebra and representation theory, it is the origin of quantum groups; $q$-deformations are important for knot invariants, combinatorial enumeration, discrete geometry, analysis, and many other parts of mathematics. In mathematical physics, $q$-deformations are often understood as ``quantizations''. The recently introduced notion of a $q$-deformed real number is based on the geometric idea of invariance by a modular group action. The goal of this lecture is to explain what is a $q$-rational and a $q$-irrational, demonstrate beautiful properties of these objects, and describe their relations to many different areas. We also tried to describe some applications of $q$-numbers. △ Less

Submitted 31 March, 2025; originally announced March 2025.

Comments: This lecture is a contribution to the second edition of the book "Mathematical omnibus", American Mathematical Society, by Dmitry Fuchs, and Serge Tabachnikov. The exposition is accessible for undergraduate students

On $q$-deformed cubic equations: the quantum heptagon and nonagon

Authors: Valentin Ovsienko, Alexey Ustinov

Abstract: The recent notion of $q$-deformed irrational numbers is characterized by the invariance with respect to the action of the modular group $\PSL(2,\Z)$, or equivalently under the Burau representation of the braid group~$B_3$. The theory of $q$-deformed quadratic irrationals and quadratic equations with integer coefficients is known and entirely based on this invariance. In this paper, we consider the… ▽ More The recent notion of $q$-deformed irrational numbers is characterized by the invariance with respect to the action of the modular group $\PSL(2,\Z)$, or equivalently under the Burau representation of the braid group~$B_3$. The theory of $q$-deformed quadratic irrationals and quadratic equations with integer coefficients is known and entirely based on this invariance. In this paper, we consider the case of cubic irrationals. We show that irreducible cubic equations with three distinct real roots and cyclic Galois group~$C_3$ (or $\Z/3\Z$) acting by a third order element of $\PSL(2,\Z)$, have a canonical $q$-deformation, that we describe. This class of cubic equations contains well-known examples including the equations that describe regular $7$- and $9$-gons. △ Less

Submitted 24 August, 2024; originally announced August 2024.

Comments: 13 pages

Continued fractions for $q$-deformed real numbers, $\{-1,0,1\}$-Hankel determinants, and Somos-Gale-Robinson sequences

Authors: Valentin Ovsienko, Emmanuel Pedon

Abstract: $q$-deformed real numbers are power series with integer coefficients. We study Stieltjes and Jacobi type continued fraction expansions of $q… ▽ More $q$-deformed real numbers are power series with integer coefficients. We study Stieltjes and Jacobi type continued fraction expansions of $q$-deformed real numbers and find many new examples of such continued fractions. We also investigate the corresponding sequences of Hankel determinants and find an infinite family of power series for which several of the first sequences of Hankel determinants consist of $-1,0$ and $1$ only. These Hankel sequences satisfy Somos and Gale-Robinson recurrences. △ Less

Submitted 20 September, 2024; v1 submitted 28 December, 2023; originally announced December 2023.

Comments: Second and final version, 31 pages, to appear in Adv. in Appl. Math. We have mainly simplified the presentation, clarified some statements, and corrected and improved the main conjecture

MSC Class: 05A30; 11A55 (Primary) 11B37; 11C20; 37J70 (Secondary)

Burau representation of braid groups and $q$-rationals

Authors: Sophie Morier-Genoud, Valentin Ovsienko, Alexander Veselov

Abstract: We establish a link between the new theory of $q$-deformed rational numbers and the classical Burau representation of the braid group $\mathrm{B}_3$. We apply this link to the open problem of classification of faithful complex specializations of this representation. As a result we provide an answer to this problem in terms of the singular set of the $q$-rationals and prove the faithfulness of the… ▽ More We establish a link between the new theory of $q$-deformed rational numbers and the classical Burau representation of the braid group $\mathrm{B}_3$. We apply this link to the open problem of classification of faithful complex specializations of this representation. As a result we provide an answer to this problem in terms of the singular set of the $q$-rationals and prove the faithfulness of the Burau representation specialized at complex $t\in \mathbb{C}^*$ outside the annulus $3-2\sqrt2 \leq |t| \leq 3+2\sqrt2.$ △ Less

Submitted 8 September, 2023; originally announced September 2023.

A shadow Markov equation

Authors: Nathan Bonin, Valentin Ovsienko

Abstract: We introduce a superanalogue of the classical Markov equation. This equation characterizes the ``shadow Markov numbers'' recently considered by one of us. We show that this equation is characterized by invariance by cluster algebra mutations. We introduce a superanalogue of the classical Markov equation. This equation characterizes the ``shadow Markov numbers'' recently considered by one of us. We show that this equation is characterized by invariance by cluster algebra mutations. △ Less

Submitted 8 March, 2023; v1 submitted 29 November, 2022; originally announced November 2022.

Comments: 7 pages

Shadows of rationals and irrationals: supersymmetric continued fractions and the super modular group

Authors: Charles H. Conley, Valentin Ovsienko

Abstract: This paper is an attempt to apply the tools of supergeometry to arithmetic. Supergeometric objects are defined over supercommutative rings of coefficients, and we consider an integral ring with exactly two odd variables. In this case the even quantities, such as numbers and continued fractions, are doubled, having both a classical and a nilpotent part. We refer to the nilpotent part as the shadow.… ▽ More This paper is an attempt to apply the tools of supergeometry to arithmetic. Supergeometric objects are defined over supercommutative rings of coefficients, and we consider an integral ring with exactly two odd variables. In this case the even quantities, such as numbers and continued fractions, are doubled, having both a classical and a nilpotent part. We refer to the nilpotent part as the shadow. We investigate the notions of supersymmetric continued fractions and the orthosymplectic modular group and make some initial steps toward studying their properties. △ Less

Submitted 21 September, 2022; originally announced September 2022.

Comments: 18 pages, 3 figures

MSC Class: 11J70; 81Q60

Counting quiddities of polygon dissections

Authors: Charles H Conley, Valentin Ovsienko

Abstract: We formulate the following general problem. To the best of our knowledge, it is open and has not previously been considered. It seems (at least to us!) to be difficult; at any rate, more difficult than enumerating the dissections themselves. Enumerate the distinct quiddities of dissections of the $N$-gon into $m$ cells. We formulate the following general problem. To the best of our knowledge, it is open and has not previously been considered. It seems (at least to us!) to be difficult; at any rate, more difficult than enumerating the dissections themselves. Enumerate the distinct quiddities of dissections of the $N$-gon into $m$ cells. △ Less

Submitted 1 February, 2022; originally announced February 2022.

Comments: 11 pages

Shadow sequences of integers, from Fibonacci to Markov and back

Authors: Valentin Ovsienko

Abstract: The following general idea looks crazy. What if another integer sequence follows each integer sequence like a shadow? I will demonstrate that this is indeed the case, perhaps not for every integer sequence, but for many of them. The following general idea looks crazy. What if another integer sequence follows each integer sequence like a shadow? I will demonstrate that this is indeed the case, perhaps not for every integer sequence, but for many of them. △ Less

Submitted 3 November, 2021; originally announced November 2021.

Comments: 6 pages

On Ramanujan's cubic composition formula

Authors: Valentin Ovsienko

Abstract: This is an elementary explanation of a cubic composition formula due to Ramanujan. This is an elementary explanation of a cubic composition formula due to Ramanujan. △ Less

Submitted 4 October, 2021; originally announced October 2021.

Quiddities of polygon dissections and the Conway-Coxeter frieze equation

Authors: Charles H. Conley, Valentin Ovsienko

Abstract: We study a $2 \times 2$ matrix equation arising naturally in the theory of Coxeter frieze patterns. It is formulated in terms of the generators of the group $\mathrm{PSL}(2,\mathbb{Z})$ and is closely related to continued fractions. It appears in a number of different areas, for example, toric varieties. We count its positive solutions, obtaining a series of integer sequences, some known and some… ▽ More We study a $2 \times 2$ matrix equation arising naturally in the theory of Coxeter frieze patterns. It is formulated in terms of the generators of the group $\mathrm{PSL}(2,\mathbb{Z})$ and is closely related to continued fractions. It appears in a number of different areas, for example, toric varieties. We count its positive solutions, obtaining a series of integer sequences, some known and some new. This extends classical work of Conway and Coxeter proving that the first of these sequences is the Catalan numbers. △ Less

Submitted 2 July, 2021; originally announced July 2021.

Comments: 34 pages

MSC Class: 05A15 (Primary) 05E16; 05A16 (Secondary)

Towards quantized complex numbers: $q$-deformed Gaussian integers and the Picard group

Authors: Valentin Ovsienko

Abstract: This work is a first step towards a theory of "$q$-deformed complex numbers". Assuming the invariance of the $q$-deformation under the action of the modular group I prove the existence and uniqueness of the operator of translations by~$i$ compatible with this action. Obtained in such a way $q$-deformed Gaussian integers have interesting properties and are related to the Chebyshev polynomials. This work is a first step towards a theory of "$q$-deformed complex numbers". Assuming the invariance of the $q$-deformation under the action of the modular group I prove the existence and uniqueness of the operator of translations by~$i$ compatible with this action. Obtained in such a way $q$-deformed Gaussian integers have interesting properties and are related to the Chebyshev polynomials. △ Less

Submitted 26 July, 2021; v1 submitted 18 March, 2021; originally announced March 2021.

Comments: 21 pages

Journal ref: Open Communications in Nonlinear Mathematical Physics, Volume 1 (July 29, 2021) ocnmp:7480

On radius of convergence of $q$-deformed real numbers

Authors: Ludivine Leclere, Sophie Morier-Genoud, Valentin Ovsienko, Alexander Veselov

Abstract: We study analytic properties of ``$q$-deformed real numbers'', a notion recently introduced by two of us. A $q$-deformed positive real number is a power series with integer coefficients in one formal variable~$q$. We study the radius of convergence of these power series assuming that $q$ is a complex variable. Our main conjecture, which can be viewed as a $q$-analogue of Hurwitz's Irrational Numbe… ▽ More We study analytic properties of ``$q$-deformed real numbers'', a notion recently introduced by two of us. A $q$-deformed positive real number is a power series with integer coefficients in one formal variable~$q$. We study the radius of convergence of these power series assuming that $q$ is a complex variable. Our main conjecture, which can be viewed as a $q$-analogue of Hurwitz's Irrational Number Theorem, claims that the $q$-deformed golden ratio has the smallest radius of convergence among all real numbers. The conjecture is proved for certain class of rational numbers and confirmed by a number of computer experiments. We also prove the explicit lower bounds for the radius of convergence for the $q$-deformed convergents of golden and silver ratios. △ Less

Submitted 20 December, 2022; v1 submitted 1 February, 2021; originally announced February 2021.

Comments: 16 pages, 1 figure

Quantum real numbers and $q$-deformed Conway-Coxeter friezes

Authors: Sophie Morier-Genoud, Valentin Ovsienko

Abstract: We explain the notion of "$q$-deformed real numbers" introduced in our previous work and overview their main properties. We will also introduce $q$-deformed Conway-Coxeter friezes. We explain the notion of "$q$-deformed real numbers" introduced in our previous work and overview their main properties. We will also introduce $q$-deformed Conway-Coxeter friezes. △ Less

Submitted 22 February, 2021; v1 submitted 21 November, 2020; originally announced November 2020.

Comments: 12 pages, 2 figures

On the 80th Birthday of Dmitry Borisovich Fuchs

Authors: Alice Fialowski, Ekaterina Fuchs, Elena Fuchs, Boris Khesin, Alexandre Kirillov, Fedor Malikov, Valentin Ovsienko, Alexei Sossinsky, Serge Tabachnikov

Abstract: This article is a collection of several memories for a special issue of SIGMA devoted to Dmitry Borisovich Fuchs. This article is a collection of several memories for a special issue of SIGMA devoted to Dmitry Borisovich Fuchs. △ Less

Submitted 7 April, 2020; originally announced April 2020.

Journal ref: SIGMA 16 (2020), 023, 17 pages

On $q$-deformed real numbers

Authors: Sophie Morier-Genoud, Valentin Ovsienko

Abstract: We associate a formal power series with integer coefficients to a positive real number, we interpret this series as a "$q$-analogue of a real." The construction is based on the notion of $q$-deformed rational number introduced in arXiv:1812.00170. Extending the construction to negative real numbers, we obtain certain Laurent series. We associate a formal power series with integer coefficients to a positive real number, we interpret this series as a "$q$-analogue of a real." The construction is based on the notion of $q$-deformed rational number introduced in arXiv:1812.00170. Extending the construction to negative real numbers, we obtain certain Laurent series. △ Less

Submitted 7 October, 2019; v1 submitted 12 August, 2019; originally announced August 2019.

Lagrangian configurations and symplectic cross-ratios

Authors: Charles Conley, Valentin Ovsienko

Abstract: We consider moduli spaces of cyclic configurations of $N$ lines in a $2n$-dimensional symplectic vector space, such that every set of $n$ consecutive lines generates a Lagrangian subspace. We study geometric and combinatorial problems related to these moduli spaces, and prove that they are isomorphic to quotients of spaces of symmetric linear difference operators with monodromy $-1$. The symplec… ▽ More We consider moduli spaces of cyclic configurations of $N$ lines in a $2n$-dimensional symplectic vector space, such that every set of $n$ consecutive lines generates a Lagrangian subspace. We study geometric and combinatorial problems related to these moduli spaces, and prove that they are isomorphic to quotients of spaces of symmetric linear difference operators with monodromy $-1$. The symplectic cross-ratio is an invariant of two pairs of $1$-dimensional subspaces of a symplectic vector space. For $N = 2n+2$, the moduli space of Lagrangian configurations is parametrized by $n+1$ symplectic cross-ratios. These cross-ratios satisfy a single remarkable relation, related to tridiagonal determinants and continuants, given by the Pfaffian of a Gram matrix. △ Less

Submitted 26 March, 2020; v1 submitted 11 December, 2018; originally announced December 2018.

Comments: 29 pages, minor revisions and corrections

Journal ref: Math. Ann. 375 (2019) 1105-1145

$q$-deformed rationals and $q$-continued fractions

Authors: Sophie Morier-Genoud, Valentin Ovsienko

Abstract: We introduce a notion of $q$-deformed rational numbers and $q$-deformed continued fractions. A $q$-deformed rational is encoded by a triangulation of a polygon and can be computed recursively. The recursive formula is analogous to the $q$-deformed Pascal identitiy for the Gaussian binomial coefficients, but the Pascal triangle is replaced by the Farey graph. The coefficients of the polynomials def… ▽ More We introduce a notion of $q$-deformed rational numbers and $q$-deformed continued fractions. A $q$-deformed rational is encoded by a triangulation of a polygon and can be computed recursively. The recursive formula is analogous to the $q$-deformed Pascal identitiy for the Gaussian binomial coefficients, but the Pascal triangle is replaced by the Farey graph. The coefficients of the polynomials defining the $q$-rational count quiver subrepresentations of the maximal indecomposable representation of the graph dual to the triangulation. Several other properties, such as total positivity properties, $q$-deformation of the Farey graph, matrix presentations and $q$-continuants are given, as well as a relation to the Jones polynomial of rational knots. △ Less

Submitted 13 February, 2020; v1 submitted 1 December, 2018; originally announced December 2018.

Journal ref: Forum of Mathematics, Sigma 8 (2020) e13

Farey boat I. Continued fractions and triangulations, modular group and polygon dissections

Authors: Sophie Morier-Genoud, Valentin Ovsienko

Abstract: We reformulate several known results about continued fractions in combinatorial terms. Among them the theorem of Conway and Coxeter and that of Series, both relating continued fractions and triangulations. More general polygon dissections appear when extending these theorems for elements of the modular group $PSL(2,\mathbb{Z})$. These polygon dissections are interpreted as walks in the Farey tesse… ▽ More We reformulate several known results about continued fractions in combinatorial terms. Among them the theorem of Conway and Coxeter and that of Series, both relating continued fractions and triangulations. More general polygon dissections appear when extending these theorems for elements of the modular group $PSL(2,\mathbb{Z})$. These polygon dissections are interpreted as walks in the Farey tessellation. The combinatorial model of continued fractions can be further developed to obtain a canonical presentation of elements of $PSL(2,\mathbb{Z})$. △ Less

Submitted 25 January, 2019; v1 submitted 3 November, 2018; originally announced November 2018.

Cluster algebras with Grassmann variables

Authors: Valentin Ovsienko, Michael Shapiro

Abstract: We develop a version of cluster algebra extending the ring of Laurent polynomials by adding Grassmann variables. These algebras can be described in terms of `extended quivers' which are oriented hypergraphs. We describe mutations of such objects and define a corresponding commutative superalgebra. Our construction includes the notion of weighted quivers that has already appeared in different conte… ▽ More We develop a version of cluster algebra extending the ring of Laurent polynomials by adding Grassmann variables. These algebras can be described in terms of `extended quivers' which are oriented hypergraphs. We describe mutations of such objects and define a corresponding commutative superalgebra. Our construction includes the notion of weighted quivers that has already appeared in different contexts. This paper is a step of understanding the notion of cluster superalgebra △ Less

Submitted 27 February, 2019; v1 submitted 6 September, 2018; originally announced September 2018.

Comments: Final version, to appear in Electron. Res. Announc. Math. Sci., 14 pages. arXiv admin note: substantial text overlap with arXiv:1503.01894

Partitions of unity in $\mathrm{SL}(2,\mathbb Z)$, negative continued fractions, and dissections of polygons

Authors: Valentin Ovsienko

Abstract: We characterize sequences of positive integers $(a_1,a_2,\ldots,a_n)$ for which the $2\times2$ matrix $\left( \begin{array}{cc} a_n&-1 1&0 \end{array} \right) \left( \begin{array}{cc} a_{n-1}&-1 1&0 \end{array} \right) \cdots \left( \begin{array}{cc} a_1&-1 1&0 \end{array} \right) $ is either the identity matrix $\mathrm Id$, its negative $-\mathrm Id$, or square root of $-\mathrm Id$. This extend… ▽ More We characterize sequences of positive integers $(a_1,a_2,\ldots,a_n)$ for which the $2\times2$ matrix $\left( \begin{array}{cc} a_n&-1 1&0 \end{array} \right) \left( \begin{array}{cc} a_{n-1}&-1 1&0 \end{array} \right) \cdots \left( \begin{array}{cc} a_1&-1 1&0 \end{array} \right) $ is either the identity matrix $\mathrm Id$, its negative $-\mathrm Id$, or square root of $-\mathrm Id$. This extends a theorem of Conway and Coxeter that classifies such solutions subject to a total positivity restriction. △ Less

Submitted 21 May, 2018; v1 submitted 9 October, 2017; originally announced October 2017.

Comments: final version

MSC Class: 11C08 (05A05 11A55)

Journal ref: Res. Math. Sci. 5 (2018), no. 2, 5:21

Rotundus: triangulations, Chebyshev polynomials, and Pfaffians

Authors: Charles Conley, Valentin Ovsienko

Abstract: We introduce and study a cyclically invariant polynomial which is an analog of the classical tridiagonal determinant usually called the continuant. We prove that this polynomial can be calculated as the Pfaffian of a skew-symmetric matrix. We consider the corresponding Diophantine equation and prove an analog of a famous result due to Conway and Coxeter. We also observe that Chebyshev polynomials… ▽ More We introduce and study a cyclically invariant polynomial which is an analog of the classical tridiagonal determinant usually called the continuant. We prove that this polynomial can be calculated as the Pfaffian of a skew-symmetric matrix. We consider the corresponding Diophantine equation and prove an analog of a famous result due to Conway and Coxeter. We also observe that Chebyshev polynomials of the first kind arise as Pfaffians. △ Less

Submitted 28 July, 2017; originally announced July 2017.

Comments: 8 pages

Journal ref: Math. Intelligencer 40 (2018), no. 3, 45-50

Dual numbers, weighted quivers, and extended Somos and Gale-Robinson sequences

Authors: Valentin Ovsienko, Serge Tabachnikov

Abstract: We investigate a general method that allows one to construct new integer sequences extending existing ones. We apply this method to the classic Somos-4 and Somos-5, and the Gale-Robinson sequences, as well as to more general class of sequences introduced by Fordy and Marsh, and produce a great number of new sequences. The method is based on the notion of "weighted quiver", a quiver with a… ▽ More We investigate a general method that allows one to construct new integer sequences extending existing ones. We apply this method to the classic Somos-4 and Somos-5, and the Gale-Robinson sequences, as well as to more general class of sequences introduced by Fordy and Marsh, and produce a great number of new sequences. The method is based on the notion of "weighted quiver", a quiver with a $\mathbb Z$-valued function on the set of vertices that obeys very special rules of mutation. △ Less

Submitted 3 May, 2017; originally announced May 2017.

On tangent cones of Schubert varieties

Authors: Dmitry Fuchs, Alexandre Kirillov, Sophie Morier-Genoud, Valentin Ovsienko

Abstract: We consider tangent cones of Schubert varieties in the complete flag variety, and investigate the problem when the tangent cones of two different Schubert varieties coincide. We give a sufficient condition for such coincidence, and formulate a conjecture that provides a necessary condition. In particular, we show that all Schubert varieties corresponding to the Coxeter elements of the Weyl group h… ▽ More We consider tangent cones of Schubert varieties in the complete flag variety, and investigate the problem when the tangent cones of two different Schubert varieties coincide. We give a sufficient condition for such coincidence, and formulate a conjecture that provides a necessary condition. In particular, we show that all Schubert varieties corresponding to the Coxeter elements of the Weyl group have the same tangent cone. Our main tool is the notion of pillar entries in the rank matrix counting the dimensions of the intersections of a given flag with the standard one. This notion is a version of Fulton's essential set. We calculate the dimension of a Schubert variety in terms of the pillar entries of the rank matrix. △ Less

Submitted 9 June, 2017; v1 submitted 24 June, 2016; originally announced June 2016.

Comments: Major changes in the main theorem and conjecture of version 1

Real Clifford algebras and quadratic forms over ${\mathbb F}_2$: two old problems become one

Authors: Valentin Ovsienko

Abstract: We show equivalence of two old classification theorems: Dickson's classification of quadratic forms over ${\mathbb F}_2$, and Chevalley's classification of real Clifford algebras. We show equivalence of two old classification theorems: Dickson's classification of quadratic forms over ${\mathbb F}_2$, and Chevalley's classification of real Clifford algebras. △ Less

Submitted 2 March, 2016; v1 submitted 28 January, 2016; originally announced January 2016.

Affine Hopf fibration

Authors: V. Ovsienko, S. Tabachnikov

Abstract: An affine Hopf fibration is a fibration of n-dimensional real affine space by p-dimensional pairwise skew affine subspaces. An example is a fibration of 3-space by pairwise skew lines, the result of the central projection of the classical Hopf fibration of 3-sphere. In this expository article, we describe the solution of the following problem: for which values of n and p does an affine Hopf fibrat… ▽ More An affine Hopf fibration is a fibration of n-dimensional real affine space by p-dimensional pairwise skew affine subspaces. An example is a fibration of 3-space by pairwise skew lines, the result of the central projection of the classical Hopf fibration of 3-sphere. In this expository article, we describe the solution of the following problem: for which values of n and p does an affine Hopf fibration exist? The answer is given in terms of the Hurwitz-Radon function. △ Less

Submitted 30 November, 2015; v1 submitted 28 November, 2015; originally announced November 2015.

A step towards cluster superalgebras

Authors: Valentin Ovsienko

Abstract: We introduce a class of commutative superalgebras generalizing cluster algebras. A cluster superalgebra is defined by a hypergraph called an "extended quiver", and transformations called mutations. We prove the super analog of the "Laurent phenomenon", i.e., that all elements of a given cluster superalgebra are Laurent polynomials in the initial variables, and find an invariant presymplectic form.… ▽ More We introduce a class of commutative superalgebras generalizing cluster algebras. A cluster superalgebra is defined by a hypergraph called an "extended quiver", and transformations called mutations. We prove the super analog of the "Laurent phenomenon", i.e., that all elements of a given cluster superalgebra are Laurent polynomials in the initial variables, and find an invariant presymplectic form. Examples of cluster superalgebras are provided by superanalogs of Coxeter's frieze patterns. We apply the Laurent phenomenon to construct a new integer sequence extending the Somos-$4$ sequence. △ Less

Submitted 5 November, 2016; v1 submitted 6 March, 2015; originally announced March 2015.

Comments: 29 pages

Introducing supersymmetric frieze patterns and linear difference operators

Authors: Sophie Morier-Genoud, Valentin Ovsienko, Serge Tabachnikov

Abstract: We introduce a supersymmetric analog of the classical Coxeter frieze patterns. Our approach is based on the relation with linear difference operators. We define supersymmetric analogs of linear difference operators called Hill's operators. The space of these "superfriezes" is an algebraic supervariety, which is isomorphic to the space of supersymmetric second order difference equations, called Hil… ▽ More We introduce a supersymmetric analog of the classical Coxeter frieze patterns. Our approach is based on the relation with linear difference operators. We define supersymmetric analogs of linear difference operators called Hill's operators. The space of these "superfriezes" is an algebraic supervariety, which is isomorphic to the space of supersymmetric second order difference equations, called Hill's equations. △ Less

Submitted 24 March, 2015; v1 submitted 29 January, 2015; originally announced January 2015.

Comments: Appendix 2 on Supercontinuants is written by Alexey Ustinov

$SL_2(\mathbb{Z})$-tilings of the torus, Coxeter-Conway friezes and Farey triangulations

Authors: Sophie Morier-Genoud, Valentin Ovsienko, Serge Tabachnikov

Abstract: The notion of $SL_2$-tiling is a generalization of that of classical Coxeter-Conway frieze pattern. We classify doubly antiperiodic $SL_2$-tilings that contain a rectangular domain of positive integers. Every such $SL_2$-tiling corresponds to a pair of frieze patterns and a unimodular $2\times2$-matrix with positive integer coefficients. We relate this notion to triangulated $n$-gons in the Farey… ▽ More The notion of $SL_2$-tiling is a generalization of that of classical Coxeter-Conway frieze pattern. We classify doubly antiperiodic $SL_2$-tilings that contain a rectangular domain of positive integers. Every such $SL_2$-tiling corresponds to a pair of frieze patterns and a unimodular $2\times2$-matrix with positive integer coefficients. We relate this notion to triangulated $n$-gons in the Farey graph. △ Less

Submitted 16 April, 2014; v1 submitted 22 February, 2014; originally announced February 2014.

Comments: 5 figures

Coxeter's frieze patterns and discretization of the Virasoro orbit

Authors: Valentin Ovsienko, Serge Tabachnikov

Abstract: We show that the space of classical Coxeter's frieze patterns can be viewed as a discrete version of a coadjoint orbit of the Virasoro algebra. The canonical (cluster) (pre)symplectic form on the space of frieze patterns is a discretization of the Kirillov symplectic form. We relate a continuous version of frieze patterns to conformal metrics of constant curvature in dimension 2. We show that the space of classical Coxeter's frieze patterns can be viewed as a discrete version of a coadjoint orbit of the Virasoro algebra. The canonical (cluster) (pre)symplectic form on the space of frieze patterns is a discretization of the Kirillov symplectic form. We relate a continuous version of frieze patterns to conformal metrics of constant curvature in dimension 2. △ Less

Submitted 17 January, 2014; v1 submitted 10 December, 2013; originally announced December 2013.

Comments: typos corrected

Linear difference equations, frieze patterns and combinatorial Gale transform

Authors: Sophie Morier-Genoud, Valentin Ovsienko, Richard Evan Schwartz, Serge Tabachnikov

Abstract: 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 or… ▽ More 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. △ Less

Submitted 16 September, 2013; originally announced September 2013.

MSC Class: 39A; 14M15; 05E

Riemannian Curl in Contact Geometry

Authors: Sofiane Bouarroudj, Valentin Ovsienko

Abstract: We consider a contact manifold with a pseudo-Riemannian metric and define a contact vector field intrinsically associated to this pair of structures. We call this new differential invariant the contact Riemannian curl. On a Riemannian manifold, Killing vector fields are those that annihilate the metric; a Killing $1$-form is obtained from a Killing vector field by lowering indices. We show that th… ▽ More We consider a contact manifold with a pseudo-Riemannian metric and define a contact vector field intrinsically associated to this pair of structures. We call this new differential invariant the contact Riemannian curl. On a Riemannian manifold, Killing vector fields are those that annihilate the metric; a Killing $1$-form is obtained from a Killing vector field by lowering indices. We show that the contact Riemannian curl vanishes if the metric is of constant curvature and the contact structure is defined by a Killing $1$-form. We also show that the contact Riemannian curl has a strong similarity with the Schwarzian derivative since it depends only on the projective equivalence class of the metric. For the Laplace-Beltrami operator on a contact manifold, the contact Riemannian curl is proportional to the subsymbol defined in arXiv:1205.6562. We also show that the contact Riemannian curl vanishes on the (co)tangent bundle over a Riemannian manifold. This implies that the corresponding subsymbol of the Laplace-Beltrami operator is identically zero. △ Less

Submitted 10 February, 2014; v1 submitted 8 July, 2013; originally announced July 2013.

Comments: 16 pages, Theorem 5.2.1 corrected

Journal ref: International Math. Res. Not. No. 12, (2015), 3917-3942

Extremal set theory, cubic forms on $\mathbb{F}_2^n$ and Hurwitz square identities

Authors: Sophie Morier-Genoud, Valentin Ovsienko

Abstract: We consider a family, $\mathcal{F}$, of subsets of an $n$-set such that the cardinality of the symmetric difference of any two elements $F,F'\in\mathcal{F}$ is not a multiple of 4. We prove that the maximal size of $\mathcal{F}$ is bounded by $2n$, unless $n\equiv{}3\mod4$ when it is bounded by $2n+2$. Our method uses cubic forms on $\mathbb{F}_2^n$ and the Hurwitz-Radon theory of square identitie… ▽ More We consider a family, $\mathcal{F}$, of subsets of an $n$-set such that the cardinality of the symmetric difference of any two elements $F,F'\in\mathcal{F}$ is not a multiple of 4. We prove that the maximal size of $\mathcal{F}$ is bounded by $2n$, unless $n\equiv{}3\mod4$ when it is bounded by $2n+2$. Our method uses cubic forms on $\mathbb{F}_2^n$ and the Hurwitz-Radon theory of square identities. We also apply this theory to obtain some information about boolean cubic forms and so-called additive quadruples. △ Less

Submitted 27 March, 2014; v1 submitted 3 April, 2013; originally announced April 2013.

MSC Class: 05D05; 11B30; 11E25; 17A99

Linear differential operators on contact manifolds

Authors: Charles H. Conley, Valentin Ovsienko

Abstract: 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 di… ▽ More 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. △ Less

Submitted 30 May, 2012; originally announced May 2012.

Journal ref: Int. Math. Res. Not. IMRN 2016, no. 22, 6884-6920

On fibrations with flat fibers

Authors: Valentin Ovsienko, Serge Tabachnikov

Abstract: 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. 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. △ Less

Submitted 16 March, 2012; originally announced March 2012.

Orthogonal Designs and a Cubic Binary Function

Authors: Sophie Morier-Genoud, Valentin Ovsienko

Abstract: 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 pre… ▽ More 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. △ Less

Submitted 2 March, 2012; originally announced March 2012.

MSC Class: 94C30; 5B30; 11E25

Higher Trace and Berezinian of Matrices over a Clifford Algebra

Authors: Tiffany Covolo, Valentin Ovsienko, Norbert Poncin

Abstract: We define the notions of trace, determinant and, more generally, Berezinian of matrices over a (Z_2)^n graded commutative associative algebra. The applications include a new approach to the classical theory of matrices with coefficients in a Clifford algebra, in particular of quaternionic matrices. In a special case, we recover the classical Dieudonné determinant of quaternionic matrices, but in g… ▽ More We define the notions of trace, determinant and, more generally, Berezinian of matrices over a (Z_2)^n graded commutative associative algebra. The applications include a new approach to the classical theory of matrices with coefficients in a Clifford algebra, in particular of quaternionic matrices. In a special case, we recover the classical Dieudonné determinant of quaternionic matrices, but in general our quaternionic determinant is different. We show that the graded determinant of purely even (Z_2)^n graded matrices of degree 0 is polynomial in its entries. In the case of the algebra of quaternions, we calculate the formula for the Berezinian in terms of a product of quasiminors in the sense of Gelfand, Retakh, and Wilson. The graded trace is related to the graded Berezinian (and determinant) by a (Z_2)^n graded version of Liouville's formula. △ Less

Submitted 16 October, 2014; v1 submitted 27 September, 2011; originally announced September 2011.

Comments: 36 pages; added references, corrected typos

MSC Class: 17A70; 58J52; 58A50; 15A66; 11R52

Journal ref: Journal of Geometry and Physics 62 (2012), pp. 2294-2319

Liouville-Arnold integrability of the pentagram map on closed polygons

Authors: Valentin Ovsienko, Richard Evan Schwartz, Serge Tabachnikov

Abstract: 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 conje… ▽ More 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. △ Less

Submitted 27 July, 2011; v1 submitted 19 July, 2011; originally announced July 2011.

Comments: a revised version. with minor changes to clarify some points

Journal ref: Duke Math. J. 162, no. 12 (2013), 2149-2196

Alternated Hochschild Cohomology

Authors: Pierre B. A. Lecomte, Valentin Ovsienko

Abstract: 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 ze… ▽ More 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. △ Less

Submitted 11 October, 2011; v1 submitted 17 December, 2010; originally announced December 2010.

Comments: 23 pages

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

Authors: Sophie Morier-Genoud, Valentin Ovsienko, Serge Tabachnikov

Abstract: 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 alge… ▽ More 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. △ Less

Submitted 18 July, 2011; v1 submitted 19 August, 2010; originally announced August 2010.

Comments: 36 pages, 4 figures, minor changes from the previous versions; references added (v2), section 5.5 added (v3), picture added (v4)

New solutions to the Hurwitz problem on square identities

Authors: Anna Lenzhen, Sophie Morier-Genoud, Valentin Ovsienko

Abstract: 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. 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. △ Less

Submitted 13 March, 2011; v1 submitted 14 July, 2010; originally announced July 2010.

Comments: 13 pages, 2 figures, final version to appear in J. Pure Appl. Alg

MSC Class: 11E25; 17A70

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

Authors: Sophie Morier-Genoud, Valentin Ovsienko

Abstract: 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 simplicit… ▽ More 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. △ Less

Submitted 11 February, 2011; v1 submitted 1 March, 2010; originally announced March 2010.

Comments: 36 pages, 5 figures, final version, to appear in CMP

MSC Class: 16W50; 15A66; 11E25; 94B25; 17A99

Graded commutative algebras: examples, classification, open problems

Authors: Sophie Morier-Genoud, Valentin Ovsienko

Abstract: 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. 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. △ Less

Submitted 15 September, 2009; originally announced September 2009.

Journal ref: AIP Conf.Proc.1191:141-147,2009

Simple graded commutative algebras

Authors: Sophie Morier-Genoud, Valentin Ovsienko

Abstract: 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 e… ▽ More 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. △ Less

Submitted 7 May, 2009; v1 submitted 19 April, 2009; originally announced April 2009.

Comments: References added

Quasiperiodic Motion for the Pentagram Map

Authors: Valentin Ovsienko, Richard Schwartz, Serge Tabachnikov

Abstract: 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 o… ▽ More 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. △ Less

Submitted 12 January, 2009; originally announced January 2009.

Comments: This note is a short announcement of arXiv:0810.5605

MSC Class: 37J35 (Primary); 51A99 (Secondary)

The Pentagram map: a discrete integrable system

Authors: Valentin Ovsienko, Richard Schwartz, Serge Tabachnikov

Abstract: 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 sen… ▽ More 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. △ Less

Submitted 14 October, 2009; v1 submitted 30 October, 2008; originally announced October 2008.

Comments: revised version: errors and typos corrected, Theorem 4 improved

Well, Papa, can you multiply triplets?

Authors: Sophie Morier-Genoud, Valentin Ovsienko

Abstract: 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. 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. △ Less

Submitted 30 October, 2008; originally announced October 2008.

Comments: 3 pages

Lie antialgebras: premices

Authors: Valentin Ovsienko

Abstract: 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: repres… ▽ More 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. △ Less

Submitted 15 October, 2010; v1 submitted 11 May, 2007; originally announced May 2007.

Comments: This is the final version

Supertransvectants and symplectic geometry

Authors: Hichem Gargoubi, Valentin Ovsienko

Abstract: 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… ▽ More 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. △ Less

Submitted 13 February, 2008; v1 submitted 10 May, 2007; originally announced May 2007.

Hyperbolic Carathéodory conjecture

Authors: Valentin Ovsienko, Serge Tabachnikov

Abstract: A quadratic point on a surface in $RP^3$ is a point at which the surface can be approximated by a quadric abnormally well (up to order 3). We conjecture that the least number of quadratic points on a generic compact non-degenerate hyperbolic surface is 8; the relation between this and the classic Carathéodory conjecture is similar to the relation between the six-vertex and the four-vertex theore… ▽ More A quadratic point on a surface in $RP^3$ is a point at which the surface can be approximated by a quadric abnormally well (up to order 3). We conjecture that the least number of quadratic points on a generic compact non-degenerate hyperbolic surface is 8; the relation between this and the classic Carathéodory conjecture is similar to the relation between the six-vertex and the four-vertex theorems on plane curves. Examples of quartic perturbations of the standard hyperboloid confirm our conjecture. Our main result is a linearization and reformulation of the problem in the framework of 2-dimensional Sturm theory; we also define a signature of a quadratic point and calculate local normal forms recovering and generalizing Tresse-Wilczynski's theorem. △ Less

Submitted 21 November, 2006; originally announced November 2006.

Comments: Latex 25 pages, 10 figures

MSC Class: 53A20; 53C99; 58K50