2024 Выпуск 55(1)

Рассматривается вопрос о так называемых аксио­мах почти контактных метрических гиперповерхностей для почти эрмитовых многообразий, то есть об услови­ях, при которых через каждую точку почти эрмитова мно­гообразия проходит почти контактная метрическая ги­перповерхность с заданными свойствами.

From 1950s, it is known that an almost contact metric structure is in­duced on an arbitrary oriented hypersurface in an almost Hermitian mani­fold. In accordance with the definition, an almost Hermitian manifold satisfies the axiom of almost contact hypersurfaces endowed with a some property, if an almost contact hypersurface with this property passes through every point of considered almost Hermitian manifold. In the present note, we discuss some problems related to almost con­tact metric hypersurfaces axioms for almost Hermitian manifolds. In par­ticular, we select some special types of almost contact metric hypersur­faces axioms for almost Hermitian manifolds. We mark out the axioms consisting of the conditions for the almost contact metric structure on the hypersurface of an almost Hermitian manifold to belong to a special class (for example, to the class of Sasakian or quasi-Sasakian structures). We also mark out the axioms that are related to the second fundamental form of the immersion of the almost contact metric hypersurface into an almost Hermitian manifold.

Доказано, что обращение в нуль пятого и шестого структурных тензоров (в терминологии Кириченко) про­извольной почти контактной метрической структу­ры является условием, необходимым и достаточным для замкнутости контактной формы этой структуры.

Almost contact metric structures on odd-dimensional manifolds are considered. The first group of the Cartan structural equations of an arbi­trary almost contact metric structure written in an A-frame (i. e., in a fra­me adapted to this almost contact metric structure) is studied. It is proved that the fifth and sixth Kirichenko structural tensors of the almost contact metric structure vanish if and only if the structural contact form is closed.

В аффинном пространстве рассматривается гипер­полосное распределение, которое в каждой точке ба­зисной поверхности оснащено касательной плоскостью и сопряженной касательной прямой. Приведены зада­ние изучаемого гиперполосного распределения в аф­финном пространстве относительно репера 1-го поряд­ка и теорема существования. Построены поля аффин­ных нормалей 1-го рода Бляшке и Трансона и найдены ус­ловия их совпадения. Приведено задание нормальной аф­финной и нормальной центроаффинной связностей на изучаемом оснащенном гиперполосном распределе­нии.

A rigged hyperstrip distribution is a special class of hyperstrips. The study of hyperstrips and their generalizations in spaces with various fun­damental groups is of great interest due to numerous applications in mathematics and physics. A special place is occupied by regular hyper­strips, for which the characteristic planes of families of principal tangent hyperplanes do not contain directions tangent to the base surface of the hyperstrip. In this work, we use E. Cartan’s method of external differen­tial forms and the group-theoretic method of G. F. Laptev. In affine space, a hyperstrip distribution is considered, which at each point of the base surface is equipped with a tangent plane and a conjugate tangent line. The specification of the studied hyperstrip distribution in an affine space with respect to a 1st order reference and an existence theorem are given. The fields of affine normals of the 1st kind for Blaschke and Transon are constructed and the conditions for their coincidence are found. The definition of normal affine connection and normal centroaffine connection on the studied framed hyperstrip distribution is given.

Произведен подробный вывод выражений для ска­ляр­ных компонент канонической формы на расслоени­ях реперов высших порядков над гладким многообра­зием. Каноническая форма на расслоении реперов по­рядка p + 1 над n-мерным гладким многообразием явля­ется век­торнозначной дифференциальной 1-формой, прини­ма­ющей значения в касательном пространстве к рассло­е­нию реперов порядка p над n-мерным арифме­тическим пространством, в единице дифференциальной группы. Ее скалярные компоненты являются диффе­ренциаль­ны­ми 1-формами и представляют собой коэф­фициенты ее раз­ложения по натуральному базису дан­ного касатель­но­го пространства. Поскольку каждый репер представ­ля­ется некоторым полиномиальным отображением в за­дан­ной локальной карте на гладком многообразии, то ка­сательный вектор к расслоению ре­перов представля­ет­ся разложением однопараметриче­ского семейства по­ли­номиальных отображений по формуле Маклорена пер­вого порядка относительно па­раметра. Искомые фор­мулы получаются приравнивани­ем коэффициентов двух разложений для одного и того же касательного вектора.

A detailed obtaining of the expressions for the scalar components of the canonical form on higher order frame bundles over a smooth manifold has been done. The canonical form on the frame bundle of order p + 1 over an n-dimensional smooth manifold is a vector-valued differential 1-form with values in the tangent space to the p-th order frame bundle over the n-di­mensional arithmetical space at the unit of the p-th order differential group. The scalar components of the canonical form are its coefficients with respect to natural basis of the tangent space. For every frame, there exists a polynomial mapping representing the frame in a given local chart on the manifold. Therefore, for any tangent vector to the frame bundle there is a first order Taylor expansion of one-parametric family of poly­nomial mappings representing the tangent vector. We obtain the formulas of the scalar components from the equations for coefficients of the two expansions for some tangent vector.

Понятие общего пространства путей ввел Дж. Дуг­лас. Аффинные и проективные движения в этих про­стран­ствах первым начал рассматривать М. С. Кне­бель­ман. Общее пространство путей является обобще­нием про­странства аффинной связности. В статье ис­следуют­ся пространства путей, допускающие группы аффин­ных движений с одномерными орбитами. Для каждого представления абелевой алгебры Ли и алгеб­ры Lr, со­держащей абелев идеал Lr-1, в виде алгебры векторных полей составляется система уравнений ин­финитези­мальных аффинных движений. Векторные поля каждо­го из этих представлений являются опера­торами груп­пы преобразований с одномерными орби­тами. Путем ин­те­грирования системы определяются общие прост­ран­ства путей, допускающие группу аф­финных движе­ний с од­номерными орбитами, операто­рами которой яв­ля­ются векторные поля этих пред­ставлений. Установ­лен мак­симальный порядок этих групп. Показано, что про­странства путей, допускаю­щие группу аффинных дви­жений с одномерными ор­битами максимального по­ряд­ка, являются проективно плоскими. Приводятся усло­вия, необходимые и доста­точные для того, чтобы про­странство путей допускало группу аффинных движений с одномерными орбитами максимального порядка.

The concept of a common path space was introduced by J. Duqlas. M. S. Knebelman was the first to consider affine and projective move­ments in these spaces. The general path space is a generalization of the space of affine connectivity. In this paper, we study spaces of paths that admit groups of affine motions with one-dimensional orbits. For each representation in the form of algebra of vector fields of the abelian Lie algebra and the Lr algebra containing the abelian ideal Lr-1, a system of equations of infinitesimal affine motions is compiled. The vector fields of each of these representations are operators of a group of transformations with one-dimensional orbits. Integrating this system, general spaces of paths are defined that admit a group of affine motions with one-dimensional orbits, the operators of which are the vector fields of these representations. The maximum order of these groups is set. It is shown that the spaces of paths admitting a group of affine motions with one-dimensional orbits of maximum order are projectively flat. The conditions that are necessary and sufficient for the space of paths to admit a group of affine motions with one-dimensional orbits of maximum order are given.

В известном списке восьми трехмерных геометрий Тёрстона находится геометрия многообразия Sol. Мно­гобразие Sol — связная односвязная группа Ли веще­ственных матриц специального вида. На многообразии Sol имеется левоинвариантная псевдориманова метри­ка, для которой группа левых сдвигов является максималь­ной просто-транзитивной группой изометрии. В насто­ящей работе доказано, что на многообразии Sol суще­ствует левоинвариантная дифференциальная 1-фор­ма, которая вместе с левоинвариантной псевдоримановой метрикой определяют на Sol параконтактную метриче­скую структуру. Найдено трехпараметрическое семей­ство левоинвариантных параконтактных метрических связ­ностей, то есть линейных связностей, инвариант­ных относительно левых сдвигов, в которых структур­ные тензоры параконтактной структуры ковариантно постоянны. Среди этих связностей выделена плоская связность. Установлено, что часть геодезических плос­кой связности являются геодезическими усеченной связ­ности, представляющей собой ортогональную про­ек­цию исходной связности на -мерное контактное рас­пределение. Это означает, что данная связность со­гла­со­вана с контактным распределением. Таким обра­зом, на многообразии Sol имеется псевдосубриманова струк­тура, оп­ре­деляемая вполне неголономным кон­тактным рас­преде­лением и ограничением на него ис­ходной псевдорима­новой метрики.

Among Thurston's famous list of eight three-dimensional geometries is the geometry of the manifold Sol. The variety Sol is a connected simply connected Lie group of real matrices of a special form. The manifold Sol has a left-invariant pseudo-Riemannian metric for which the group of left shifts is the maximal simply transitive isometry group. In this paper, we prove that on the manifold Sol there exists a left-invariant differential 1-form, which, together with the left-invariant pseudo-Riemannian metric, defines a paracontact metric structure on Sol. A three-parameter family of left-invariant paracontact metric connections is found, that is, linear con­nec­tions invariant under left shifts, in which the structure tensors of the par­acontact structure are covariantly constant. Among these connections, a flat connection is distinguished. It has been established that some geo­desics of a flat connection are geodesics of a truncated connection, which is an orthogonal projection of the original connection onto a 2n-dimen­sional con­tact distribution. This means that this connection is con­sistent with the con­tact distribution. Thus, the manifold Sol has a pseudo-sub-Riemannian structure determined by a completely non-holonomic contact distribution and the restriction of the original pseudo-Riemannian metric to it.

В представленной статье мы доказываем, что если  — это -мерное  компактное риманово многообразие и если  где ,   и  — секционная кривизна и кривизна Риччи многообразия , то оно будет диффеоморфным сфериче­ской пространственной форме . В частности, если  одно­связное, то оно диффеоморфно евклидовой сфере

In the present paper, we prove that if is an -dimensional compact Riemannian manifold and if where , and are the sectional and Ricci curvatures of respectively, then is diffeomorphic to a spherical space form where is a finite group of isometries acting freely. In particular, if is simply connected, then it is diffeo­mor­phic to the Euclidian sphere

Изучаются алгебры Ли дифференцирований линей­ной алгебры, операция умножения в которой определя­ет­ся с помощью линейной формы и двух фиксирован­ных элементов основного поля. Дано определение диф­фе­ренцирования линейной алгебры, получена система линейных однородных уравнений, которой удовлетво­ря­ют компоненты произвольного дифференцирования. Построено вложение алгебры Ли дифференцирований в алгебру Ли квадратных матриц порядка n над полем Р. Это позволило дать оценку размерности алгебры Ли диф­ференцирований сверху. Доказано, что размерность ал­гебры дифференцирований изучаемых алгебр равна n2 – n, где n — размерность алгебры. Далее приводится ре­зультат о максимальной размерности алгебры Ли диф­ференцирований линейной алгебры, обладающей еди­ницей. С опорой на приведенные факты доказано, что изучаемые алгебры не могут иметь единицы.

In this work, Lie algebras of differentiation of linear algebra, the op­eration of multiplication in which is defined using a linear form and two fixed elements of the main field are studied. In the first part of the work, a definition of differentiation of linear algebra is given, a system of linear homogeneous equations is obtained, which is satisfied by the components of arbitrary differentiation. An embedding of the Lie algebra of differenti­ations into the Lie algebra of square matrices of order n over the field P is constructed. This made it possible to give an upper bound for the dimen­sion of the Lie algebra of derivations. It has been proven that the dimen­sion of the algebra of differentiation of the algebras under study is equal to n2 – n, where n is the dimension of the algebra. Next we give a result on the maximum dimension of the Lie algebra of derivations of a linear alge­bra with identity. Based on the above facts, it is proven that the algebras under study cannot have a unit.

Исследуется преобразование Бианки для поверхно­стей постоянной отрицательной гауссовой кривизны. По­верхности вращения постоянной отрицательной га­ус­совой кривизны — это волчок Миндинга, катушка Мин­динга, псевдосфера (поверхность Бельтрами). К по­верхностям  постоянной отрицательной гауссовой кри­визны относятся также поверхность Куэна и поверх­ность Дини. Изучение поверхностей  постоянной отри­цательной гауссовой кривизны (псевдосферических по­верхностей) имеет большое значение для интерпрета­ций планиметрии Лобачевского. Установлена связь гео­мет­рических характеристик псевдосферических поверх­ностей с теорией сетей, теорией солитонов, нелиней­ными дифференциальными уравнениями и уравнения­ми синус-Гордона. Уравнение sin-Гордона играет важ­ную роль в современной физике. Преобразования Биан­ки позволяют получить по данной псевдосферической по­верхности новые псевдосферические поверхности.
С использованием математического пакета строятся катушка Миндинга и ее преобразования Бианки.

The work is devoted to the study of the Bianchi transform for surfac­es of constant negative Gaussian curvature. The surfaces of rotation of constant negative Gaussian curvature are the Mining top, the Minding coil, the pseudosphere (Beltrami surface). Surfaces of constant negative Gaussian curvature also include Kuens surface and the Dinis surface. The study of surfaces of constant negative Gaussian curvature (pseudospheri­cal surfaces) is of great importance for the interpretation of Lobachevsky planimetry. The connection of the geometric characteristics of pseudo­spherical surfaces with the theory of networks, with the theory of solitons, with non-linear differential equations and sin-Gordon equations is estab­lished. The sin-Gordon equation plays an important role in modern phys­ics. Bianchi transformations make it possible to obtain new pseudospheri­cal surfaces from a given pseudospherical surface. The Bianchi transform for the Minding coil is constructed. Using a mathematical package, the Minding coil and its Bianchi transform are constructed.