BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Igor Zelenko

Igor Zelenko contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.DGmath.AGmath.OCmath.CV

Trust snapshot

Quick read

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

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

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

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

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

Building this graph slice

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

Published work

20 published item(s)

preprint2026arXiv

Canonical Frames for Bracket Generating Rank 2 Distributions which are not Goursat

We complete a uniform construction of canonical absolute parallelism for bracket generating rank $2$ distributions with $5$-dimensional cube on $n$-dimensional manifold with $n\geq 5$ by showing that the condition of maximality of class that was assumed previously by Doubrov-Zelenko for such a construction holds automatically at generic points. This also gives analogous constructions in the case when the cube is not $5$-dimensional but the distribution is not Goursat through the procedure of iterative Cartan deprolongation. This together with the classical theory of Goursat distributions covers in principle the local geometry of all bracket generating rank 2 distributions in a neighborhood of generic points. As a byproduct, for any $n\geq 5$ we describe the maximally symmetric germs among bracket generating rank $2$ distributions with $5$-dimensional cube, as well as among those which reduce to such a distribution under a fixed number of Cartan deprolongations. Another consequence of our results on maximality of class is for optimal control problems with constraint given by a rank $2$ distribution with $5$-dimensional cube: it implies that for a generic point $q_0$ of $M$, there are plenty abnormal extremal trajectories of corank $1$ (which is the minimal possible corank) starting at $q_0$. The set of such points contains all points where the distribution is equiregular.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Maximal dimension of groups of symmetries of homogeneous 2-nondegenerate CR structures of hypersurface type with a 1-dimensional Levi kernel

We prove that for every $n\geq 3$ the sharp upper bound for the dimension of the symmetry groups of homogeneous, 2-nondegenerate, $(2n+1)$-dimensional CR manifolds of hypersurface type with a $1$-dimensional Levi kernel is equal to $n^2+7$, and simultaneously establish the same result for a more general class of structures characterized by weakening the homogeneity condition. This supports Beloshapka's conjecture stating that hypersurface models with a maximal finite dimensional group of symmetries for a given dimension of the underlying manifold are Levi nondegenerate.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Absolute parallelism for 2-nondegenerate CR structures via bigraded Tanaka prolongation

An absolute parallelism for $2$-nondegenerate CR manifolds $M$ of hypersurface type was recently constructed independently by Isaev-Zaitsev, Medori-Spiro, and Pocchiola in the minimal possible dimension ($\dim M=5$), and for $\dim M=7$ in certain cases by the first author. We develop a bigraded analog of Tanaka's prolongation procedure to construct a canonical absolute parallelism for these CR structures in arbitrary (odd) dimension with Levi kernel of arbitrary admissible dimension. We introduce the notion of a bigraded Tanaka symbol. Under regularity assumption that the symbol is a Lie algebra, we define a bigraded analog of the Tanaka universal algebraic prolongation and prove that for any CR structure with a given regular symbol there exists a canonical absolute parallelism on a bundle whose dimension is that of this bigraded prolongation. We show that there is a unique (up to local equivalence) such CR structure whose algebra of infinitesimal symmetries has maximal possible dimension, and the latter algebra is isomorphic to the real part of the bigraded prolongation of the symbol. In the case of $1$-dimensional Levi kernel we classify all regular symbols and calculate their bigraded prolongations. In this case the regular symbols can be subdivided into nilpotent, strongly non-nilpotent and weakly non-nilpotent. The bigraded prolongation of strongly non-nilpotent symbols is isomorphic to $\mathfrak{so}\left(m,\mathbb C\right)$ where $m=\tfrac{1}{2}(\dim M+5)$. Any real form of this algebra, except $\mathfrak{so}\left(m\right)$ and $\mathfrak{so}\left(m-1,1\right)$, corresponds to the real part of the bigraded prolongation of exactly one strongly non-nilpotent symbol. However, for a fixed $\dim M\geq 7$ the dimension of the bigraded prolongations achieves its maximum on one of the nilpotent regular symbols, and this maximal dimension is equal to $\tfrac{1}{4}(\dim M-1)^2+7$.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Nontrivial linear projections of the Grassmannian Gr_3(C^6)

A typical linear projection of the Grassmannian in its Plucker embedding is injective, unless its image is a projective space. A notable exception are self-adjoint linear projections, which have even degree. We consider linear projections of Gr_3(C^6) with low-dimensional centers of projection. When the center has dimension less than five, we show that the projection has degree 1. When the center has dimension five and the projection has degree greater than 1, we show that it is self-adjoint.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

On Weyl's type theorems and genericity of projective rigidity in sub-Riemannian Geometry

H. Weyl in 1921 demonstrated that for a connected manifold of dimension greater than $1$, if two Riemannian metrics are conformal and have the same geodesics up to a reparametrization, then one metric is a constant scaling of the other one. In the present paper, we investigate the analogous property for sub-Riemannian metrics. In particular, we prove that the analogous statement, called the Weyl projective rigidity, holds either in real analytic category for all sub-Riemannian metrics on distributions with a specific property of their complex abnormal extremals, called minimal order, or in smooth category for all distributions such that all complex abnormal extremals of their nilpotent approximations are of minimal order. This also shows, in real analytic category, the genericity of distributions for which all sub-Riemannian metrics are Weyl projectively rigid and genericity of Weyl projectively rigid sub-Riemannian metrics on a given bracket generating distributions. Finally, this allows us to get analogous genericity results for projective rigidity of sub-Riemannian metrics, i.e.when the only sub-Riemannian metric having the same sub-Riemannian geodesics, up to a reparametrization, with a given one, is a constant scaling of this given one. This is the improvement of our results on the genericity of weaker rigidity properties proved in recent paper arXiv:1801.04257[math.DG].

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Vector distributions with very large symmetries via rational normal curves

We construct a sequence of rank 3 distributions on $n$-dimensional manifolds for any $n\geq 7$ such that the dimension of their symmetry group grows exponentially in $n$ (more precisely it is equal to $\operatorname{Fib}_{n-1}+n+2$, where $\operatorname{Fib}_n$ is the $n$-th Fibonacci number, starting with $\operatorname{Fib}_1=\operatorname{Fib}_2=1$) and such that the maximal order of weighted jet needed to determine these symmetries grows quadratically in $n$. These examples are in sharp contrast with the parabolic geometries where the dimension of a symmetry group grows polynomially with respect to the dimension of the ambient manifold and the corresponding maximal order of weighted jet space is equal to the degree of nonholonomy of the underlying distribution plus $1$. Our models are closely related to the geometry of certain curves of symplectic flags and of the rational normal curves.

0 citations0 reviewsNo code linkedOpen access
preprint2019arXiv

A canonical form for pairs consisting of a Hermitian form and a self-adjoint antilinear operator

Motivated by a problem in local differential geometry of Cauchy--Riemann (CR) structures of hypersurface type, we find a canonical form for pairs consisting of a nondegenerate Hermitian form and a self-adjoint antilinear operator, or, equivalently, consisting of a nondegenerate Hermitian form and a symmetric bilinear form. This generalizes the only previously known results on simultaneous normalization of such pairs, namely, the results of Benedetti and Cragnolini (1984) on simultaneous diagonalization of these pairs in the case where the Hermitian form is positive definite and of Hong and Horn (1986), where a criterion for simultaneous diagonalization is given.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Ricci curvature type lower bounds for sub-Riemannian structures on Sasakian manifolds

Measure contraction properties are generalizations of the notion of Ricci curvature lower bounds in Riemannian geometry to more general metric measure spaces. In this paper, we give sufficient conditions for a Sasakian manifold equipped with a natural sub-Riemannian distance to satisfy these properties. Moreover, the sufficient conditions are defined by the Tanaka-Webster curvature. This generalizes the earlier work in \cite{AgLe1} for the three dimensional case and in \cite{Ju} for the Heisenberg group. To obtain our results we use the intrinsic Jacobi equations along sub-Riemannian extremals, coming from the theory of canonical moving frames for curves in Lagrangian Grassmannians \cite{LiZe1, LiZe2}. The crucial new tool here is a certain decoupling of the corresponding matrix Riccati equation. It is also worth pointing out that our method leads to exact formulas for the measure contraction in the case of the corresponding homogeneous models in the considered class of sub-Riemannian structures.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

A congruence modulo four in real Schubert calculus

We establish a congruence modulo four in the real Schubert calculus on the Grassmannian of m-planes in 2m-space. This congruence holds for fibers of the Wronski map and a generalization to what we call symmetric Schubert problems. This strengthens the usual congruence modulo two for numbers of real solutions to geometric problems. It also gives examples of geometric problems given by fibers of a map whose topological degree is zero but where each fiber contains real points.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Geometry of rank 2 distributions with nonzero Wilczynski invariants and affine control systems with one input

We demonstrate how the novel approach to the local geometry of structures of nonholonomic nature, originated by Andrei Agrachev, works in the following two situations: rank 2 distributions of maximal class in R^n with non-zero generalized Wilczynski invariants and rank 2 distributions of maximal class in R^n with additional structures such as affine control system with one input spanning these distributions, sub-(pseudo)Riemannian structures etc. The common feature of these two situations is that each abnormal extremal (of the underlying rank 2 distribution) possesses a distinguished parametrization. This fact allows one to construct the canonical frame on a (2n-3)-dimensional bundle in both situations for arbitrary n greater than 4. The moduli spaces of the most symmetric models for both situations are described as well. The relation of our results to the divergence equivalence of Lagrangians of higher order is given

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Prolongation of quasi-principal frame bundles and geometry of flag structures on manifolds

Motivated by the geometric theory of differential equations and the variational approach to the equivalence problem for geometric structures on manifolds, we consider the problem of equivalence for distributions with fixed submanifolds of flags on each fiber. We call them flag structures. The construction of the canonical frames for these structures can be given in the two prolongation steps: the first step, based on our previous works, gives the canonical bundle of moving frames for the fixed submanifolds of flags on each fiber and the second step consists of the prolongation of the bundle obtained in the first step. The bundle obtained in the first step is not as a rule a principal bundle so that the classical Tanaka prolongation procedure for filtered structures can not be applied to it. However, under natural assumptions on submanifolds of flags and on the ambient distribution, this bundle satisfies a nice weaker property. The main goal of the present paper is to formalize this property, introducing the so-called quasi-principle frame bundles, and to generalize the Tanaka prolongation procedure to these bundles. Applications to the equivalence problems for systems of differential equations of mixed order, bracket generating distributions, sub-Riemannian and more general structures on distributions are given.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Symmetries of trivial systems of ODEs of mixed order

We compute symmetry algebras of a system of two equations y^(k)=z^(l)=0, where 2<=k<l. It appears that there are many ways to convert such system of ODEs to an exterior differential system. They lead to different series of finite-dimensional symmetry algebras. For example, for (k,l)=(2,3) we get two non-isomorphic symmetry algebras of the same dimension. We explore how these symmetry algebras are related to both Sternberg prolongation of G-structures and Tanaka prolongation of graded nilpotent Lie algebras. Surprisingly, the case (k,l)=(2,3) provides an example of a linear subalgebra g in gl(5,R) such that the Sternberg prolongations of g and g^t are both of the same dimension, but are non-isomorphic. We also discuss the non-linear case and the link with flag structures on smooth manifolds.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

On geometry of curves of flags of constant type

We develop an algebraic version of Cartan method of equivalence or an analog of Tanaka prolongation for the (extrinsic) geometry of curves of flags of a vector space $W$ with respect to the action of a subgroup $G$ of the $GL(W)$. Under some natural assumptions on the subgroup $G$ and on the flags, one can pass from the filtered objects to the corresponding graded objects and describe the construction of canonical bundles of moving frames for these curves in the language of pure Linear Algebra. The scope of applicability of the theory includes geometry of natural classes of curves of flags with respect to reductive linear groups or their parabolic subgroups. As simplest examples, this includes the projective and affine geometry of curves. The case of classical groups is considered in more detail.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Canonical frames for distributions of odd rank and corank 2 with maximal first Kronecker index

We construct canonical frames and find all maximally symmetric models for a natural generic class of corank 2 distributions on manifolds of odd dimension greater or equal to 7. This class of distributions is characterized by the following two conditions: the pencil of 2-forms associated with the corresponding Pfaffian system has the maximal possible first Kronecker index and the Lie square of the subdistribution generated by the kernels of all these 2-forms is equal to the original distribution. In particular, we show that the unique, up to a local equivalence, maximally symmetric model in this class of distributions with given dimension of the ambient manifold exists if and only if the dimension of the ambient manifold is equal to 7, 9, 11, 15 or 8l-3, where $l$ is an arbitrary natural number. Besides, if the dimension of the ambient manifold is equal to 19, then there exist two maximally symmetric models, up to a local equivalence, distinguished by certain discrete invariant. For all other dimensions of ambient manifold there are families of maximally symmetric models, depending on continuous parameters. Our main tool is the so-called symplectification procedure having its origin in Optimal Control Theory. Our results can be seen as an extension of some classical Cartan&#39;s results about rank 3 distributions on a 5-dimensional manifold to corank 2 distributions of higher odd rank.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Equivalence of variational problems of higher order

We show that for n>2 the following equivalence problems are essentially the same: the equivalence problem for Lagrangians of order n with one dependent and one independent variable considered up to a contact transformation, a multiplication by a nonzero constant, and modulo divergence; the equivalence problem for the special class of rank 2 distributions associated with underdetermined ODEs z&#39;=f(x,y,y&#39;,..., y^{(n)}); the equivalence problem for variational ODEs of order 2n. This leads to new results such as the fundamental system of invariants for all these problems and the explicit description of the maximally symmetric models. The central role in all three equivalence problems is played by the geometry of self-dual curves in the projective space of odd dimension up to projective transformations via the linearization procedure (along the solutions of ODE or abnormal extremals of distributions). More precisely, we show that an object from one of the three equivalence problem is maximally symmetric if and only if all curves in projective spaces obtained by the linearization procedure are rational normal curves.

0 citations0 reviewsNo code linkedOpen access
preprint2007arXiv

On local geometry of nonholonomic rank 2 distributions

In 1910 E. Cartan constructed a canonical frame and found the most symmetric case for maximally nonholonomic rank 2 distributions in $\mathbb R^5$. We solve the analogous problem for germs of generic rank 2 distributions in ${\mathbb R}^n$ for n>5. We use a completely different approach based on the symplectification of the problem. The main idea is to consider a special odd-dimensional submanifold $W_D$ of the cotangent bundle associated with any rank 2 distribution D. It is naturally foliated by characteristic curves, which are also called the abnormal extremals of the distribution D. The dynamics of vertical fibers along characteristic curves defines certain curves of flags of isotropic and coisotropic subspaces in a linear symplectic space. Using the classical theory of curves in projective spaces, we construct the canonical frame of the distribution D on a certain (2n-1)-dimensional fiber bundle over $W_D$ with the structure group of all Möbius transformations, preserving 0.

0 citations0 reviewsNo code linkedOpen access
preprint2004arXiv

Fundamental form and Cartan&#39;s tensor of (2,5)-distributions coincide

In our previous paper (see this arxiv math.DG/0402171) for generic rank 2 vector distributions on n-dimensional manifold (n greater or equal to 5) we constructed a special differential invariant, the fundamental form. In the case n=5 this differential invariant has the same algebraic nature, as the covariant binary biquadratic form, constructed by E.Cartan in 1910, using his ``reduction- prolongation&#39;&#39; procedure (we call this form Cartan&#39;s tensor). In the present paper we prove that our fundamental form coincides (up to constant factor -35) with Cartan&#39;s tensor. This result explains geometric reason for existence of Cartan&#39;s tensor (originally this tensor was obtained by very sophisticated algebraic manipulations) and gives the true analogs of this tensor in Riemannian geometry. In addition, as a part of the proof, we obtain a new useful formula for Cartan&#39;s tensor in terms of structural functions of any frame naturally adapted to the distribution.

0 citations0 reviewsNo code linkedOpen access
preprint2004arXiv

Variational Approach to Differential Invariants of Rank 2 Vector Distributions

In the present paper we construct differential invariants for generic rank 2 vector distributions on n-dimensional manifold. In the case n=5 (the first case containing functional parameters) E. Cartan found in 1910 the covariant fourth-order tensor invariant for such distributions, using his &#34;reduction-prolongation&#34; procedure. After Cartan&#39;s work the following questions remained open: first the geometric reason for existence of Cartan&#39;s tensor was not clear; secondly it was not clear how to generalize this tensor to other classes of distributions; finally there were no explicit formulas for computation of Cartan&#39;s tensor. Our paper is the first in the series of papers, where we develop an alternative approach, which gives the answers to the questions mentioned above. It is based on the investigation of dynamics of the field of so-called abnormal extremals (singular curves) of rank 2 distribution and on the general theory of unparametrized curves in the Lagrange Grassmannian, developed in our previous works with A. Agrachev . In this way we construct the fundamental form and the projective Ricci curvature of rank 2 vector distributions for arbitrary n greater than 4. For n=5 we give an explicit method for computation of these invariants and demonstrate it on several examples. In our next paper we show that in the case n=5 our fundamental form coincides with Cartan&#39;s tensor.

0 citations0 reviewsNo code linkedOpen access