Extrinsic Geometry and Linear Differential Equations

We give a unified method for the general equivalence problem of extrinsic geometry, based on our formulation of a general extrinsic geometry as that of an osculating map : (, f) → /⁰ ⊂ Flag(, ) from a filtered manifold (, f) to a homogeneous space /⁰ in a flag variety Flag(, ), where L is a finite-d...

Повний опис

Збережено в:
Бібліографічні деталі
Опубліковано в: :Symmetry, Integrability and Geometry: Methods and Applications
Дата:2021
Автори: Doubrov, Boris, Machida, Yoshinori, Morimoto, Tohru
Формат: Стаття
Мова:Англійська
Опубліковано: Інститут математики НАН України 2021
Онлайн доступ:https://nasplib.isofts.kiev.ua/handle/123456789/211362
Теги: Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:Extrinsic Geometry and Linear Differential Equations. Boris Doubrov, Yoshinori Machida and Tohru Morimoto. SIGMA 17 (2021), 061, 60 pages

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine
_version_ 1862638809684901888
author Doubrov, Boris
Machida, Yoshinori
Morimoto, Tohru
author_facet Doubrov, Boris
Machida, Yoshinori
Morimoto, Tohru
citation_txt Extrinsic Geometry and Linear Differential Equations. Boris Doubrov, Yoshinori Machida and Tohru Morimoto. SIGMA 17 (2021), 061, 60 pages
collection DSpace DC
container_title Symmetry, Integrability and Geometry: Methods and Applications
description We give a unified method for the general equivalence problem of extrinsic geometry, based on our formulation of a general extrinsic geometry as that of an osculating map : (, f) → /⁰ ⊂ Flag(, ) from a filtered manifold (, f) to a homogeneous space /⁰ in a flag variety Flag(, ), where L is a finite-dimensional Lie group and ⁰ its closed subgroup. We establish an algorithm to obtain complete systems of invariants for the osculating maps that satisfy a reasonable regularity condition, namely, a constant symbol of type (₋, gr , ). We show the categorical isomorphism between the extrinsic geometries in flag varieties and the (weighted) involutive systems of linear differential equations of finite type. Therefore, we also obtain a complete system of invariants for a general involutive system of linear differential equations of finite type and of constant symbol. The invariants of an osculating map (or an involutive system of linear differential equations) are proved to be controlled by the cohomology group ¹₊(₋, /¯) which is defined algebraically from the symbol of the osculating map (resp. involutive system), and which, in many cases (in particular, if the symbol is associated with a simple Lie algebra and its irreducible representation), can be computed by the algebraic harmonic theory, and the vanishing of which gives rigidity theorems in various concrete geometries. We also extend the theory to the case when is infinite-dimensional.
first_indexed 2026-03-15T03:02:41Z
format Article
fulltext
id nasplib_isofts_kiev_ua-123456789-211362
institution Digital Library of Periodicals of National Academy of Sciences of Ukraine
issn 1815-0659
language English
last_indexed 2026-03-15T03:02:41Z
publishDate 2021
publisher Інститут математики НАН України
record_format dspace
spelling Doubrov, Boris
Machida, Yoshinori
Morimoto, Tohru
2025-12-30T15:56:04Z
2021
Extrinsic Geometry and Linear Differential Equations. Boris Doubrov, Yoshinori Machida and Tohru Morimoto. SIGMA 17 (2021), 061, 60 pages
1815-0659
2020 Mathematics Subject Classification: 53A55; 53C24; 53C30; 53D10
arXiv:1904.05687
https://nasplib.isofts.kiev.ua/handle/123456789/211362
https://doi.org/10.3842/SIGMA.2021.061
We give a unified method for the general equivalence problem of extrinsic geometry, based on our formulation of a general extrinsic geometry as that of an osculating map : (, f) → /⁰ ⊂ Flag(, ) from a filtered manifold (, f) to a homogeneous space /⁰ in a flag variety Flag(, ), where L is a finite-dimensional Lie group and ⁰ its closed subgroup. We establish an algorithm to obtain complete systems of invariants for the osculating maps that satisfy a reasonable regularity condition, namely, a constant symbol of type (₋, gr , ). We show the categorical isomorphism between the extrinsic geometries in flag varieties and the (weighted) involutive systems of linear differential equations of finite type. Therefore, we also obtain a complete system of invariants for a general involutive system of linear differential equations of finite type and of constant symbol. The invariants of an osculating map (or an involutive system of linear differential equations) are proved to be controlled by the cohomology group ¹₊(₋, /¯) which is defined algebraically from the symbol of the osculating map (resp. involutive system), and which, in many cases (in particular, if the symbol is associated with a simple Lie algebra and its irreducible representation), can be computed by the algebraic harmonic theory, and the vanishing of which gives rigidity theorems in various concrete geometries. We also extend the theory to the case when is infinite-dimensional.
The third author is partially supported by JSPS KAKENHI Grant Number 17K05232.
en
Інститут математики НАН України
Symmetry, Integrability and Geometry: Methods and Applications
Extrinsic Geometry and Linear Differential Equations
Article
published earlier
spellingShingle Extrinsic Geometry and Linear Differential Equations
Doubrov, Boris
Machida, Yoshinori
Morimoto, Tohru
title Extrinsic Geometry and Linear Differential Equations
title_full Extrinsic Geometry and Linear Differential Equations
title_fullStr Extrinsic Geometry and Linear Differential Equations
title_full_unstemmed Extrinsic Geometry and Linear Differential Equations
title_short Extrinsic Geometry and Linear Differential Equations
title_sort extrinsic geometry and linear differential equations
url https://nasplib.isofts.kiev.ua/handle/123456789/211362
work_keys_str_mv AT doubrovboris extrinsicgeometryandlineardifferentialequations
AT machidayoshinori extrinsicgeometryandlineardifferentialequations
AT morimototohru extrinsicgeometryandlineardifferentialequations