Showing 1–28 of 28 results for author: The, D

Geometric realizations of the Lie superalgebra D(2,1;a)

Authors: Anna Escofet, Boris Kruglikov, Dennis The

Abstract: For every parabolic subgroup $P$ of a Lie supergroup $G$, the homogeneous superspace $G/P$ carries a $G$-invariant supergeometry. We address the question whether $\mathfrak{g}=\text{Lie}(G)$ is the maximal supersymmetry of this supergeometry in the case of the exceptional Lie superalgebra $D(2,1;a)$. For each choice of parabolic $\mathfrak{p}\subset\mathfrak{g}$, we consider the corresponding nega… ▽ More For every parabolic subgroup $P$ of a Lie supergroup $G$, the homogeneous superspace $G/P$ carries a $G$-invariant supergeometry. We address the question whether $\mathfrak{g}=\text{Lie}(G)$ is the maximal supersymmetry of this supergeometry in the case of the exceptional Lie superalgebra $D(2,1;a)$. For each choice of parabolic $\mathfrak{p}\subset\mathfrak{g}$, we consider the corresponding negatively graded Lie subalgebra $\mathfrak{m}\subset\mathfrak{g}$, and compute its Tanaka--Weisfeiler prolongations, with reduction of the structure group when required, thus realizing $D(2,1;a)$ via symmetries of supergeometries. This gives 6 inequivalent supergeometries: one of these is a vector superdistribution, two are given by cone fields of supervarieties, and the remaining three are higher order structure reductions (a novel feature). We describe those supergeometries and realize $D(2,1;a)$ supersymmetry explicitly in each case. △ Less

Submitted 4 July, 2025; originally announced July 2025.

Conformal structures with $G_2$-symmetric twistor distribution

Authors: Pawel Nurowski, Katja Sagerschnig, Dennis The

Abstract: For any 4D split-signature conformal structure, there is an induced twistor distribution on the 5D space of all self-dual totally null 2-planes, which is $(2,3,5)$ when the conformal structure is not anti-self-dual. Several examples where the twistor distribution achieves maximal symmetry (the split-real form of the exceptional simple Lie algebra of type $\mathrm{G}_2$) were previously known, and… ▽ More For any 4D split-signature conformal structure, there is an induced twistor distribution on the 5D space of all self-dual totally null 2-planes, which is $(2,3,5)$ when the conformal structure is not anti-self-dual. Several examples where the twistor distribution achieves maximal symmetry (the split-real form of the exceptional simple Lie algebra of type $\mathrm{G}_2$) were previously known, and these include fascinating examples arising from the rolling of surfaces without twisting or slipping. Relaxing the rolling assumption, we establish a complete local classification result among those homogeneous 4D split-conformal structures for which the symmetry algebra induces a multiply-transitive action on the 5D space. Furthermore, we discuss geometric properties of these conformal structures such as their curvature, holonomy, and existence of Einstein representatives. △ Less

Submitted 4 November, 2024; originally announced November 2024.

Comments: 38 pages

MSC Class: Primary: 53C30; 53Z05

Vietnamese Legal Information Retrieval in Question-Answering System

Authors: Thiem Nguyen Ba, Vinh Doan The, Tung Pham Quang, Toan Tran Van

Abstract: In the modern era of rapidly increasing data volumes, accurately retrieving and recommending relevant documents has become crucial in enhancing the reliability of Question Answering (QA) systems. Recently, Retrieval Augmented Generation (RAG) has gained significant recognition for enhancing the capabilities of large language models (LLMs) by mitigating hallucination issues in QA systems, which is… ▽ More In the modern era of rapidly increasing data volumes, accurately retrieving and recommending relevant documents has become crucial in enhancing the reliability of Question Answering (QA) systems. Recently, Retrieval Augmented Generation (RAG) has gained significant recognition for enhancing the capabilities of large language models (LLMs) by mitigating hallucination issues in QA systems, which is particularly beneficial in the legal domain. Various methods, such as semantic search using dense vector embeddings or a combination of multiple techniques to improve results before feeding them to LLMs, have been proposed. However, these methods often fall short when applied to the Vietnamese language due to several challenges, namely inefficient Vietnamese data processing leading to excessive token length or overly simplistic ensemble techniques that lead to instability and limited improvement. Moreover, a critical issue often overlooked is the ordering of final relevant documents which are used as reference to ensure the accuracy of the answers provided by LLMs. In this report, we introduce our three main modifications taken to address these challenges. First, we explore various practical approaches to data processing to overcome the limitations of the embedding model. Additionally, we enhance Reciprocal Rank Fusion by normalizing order to combine results from keyword and vector searches effectively. We also meticulously re-rank the source pieces of information used by LLMs with Active Retrieval to improve user experience when refining the information generated. In our opinion, this technique can also be considered as a new re-ranking method that might be used in place of the traditional cross encoder. Finally, we integrate these techniques into a comprehensive QA system, significantly improving its performance and reliability △ Less

Submitted 4 September, 2024; originally announced September 2024.

Comments: 7 pages

Symmetries of $(2,3,5)$-distributions and associated Legendrian cone structures

Authors: Jun-Muk Hwang, Dennis The

Abstract: We exploit a natural correspondence between holomorphic $(2,3,5)$-distributions and nondegenerate lines on holomorphic contact manifolds of dimension $5$ to present a new perspective in the study of symmetries of $(2,3,5)$-distributions. This leads to a number of new results in this classical subject, including an unexpected relation between the multiply-transitive families of models having $7$- a… ▽ More We exploit a natural correspondence between holomorphic $(2,3,5)$-distributions and nondegenerate lines on holomorphic contact manifolds of dimension $5$ to present a new perspective in the study of symmetries of $(2,3,5)$-distributions. This leads to a number of new results in this classical subject, including an unexpected relation between the multiply-transitive families of models having $7$- and $6$-dimensional symmetries, and a one-to-one correspondence between equivalence classes of nontransitive $(2,3,5)$-distributions with $6$-dimensional symmetries and nonhomogeneous nondegenerate Legendrian curves in $\mathbb{P}^3$. An ingredient for establishing the former is an explicit classification of homogeneous nondegenerate Legendrian curves in $\mathbb{P}^3$, which we present. △ Less

Submitted 21 August, 2024; originally announced August 2024.

Comments: 33 pages

MSC Class: Primary: 58A30; 58J70; Secondary: 32L25; 34C41; 53A55

The R-IFSs and their attractors

Authors: Hung Nguyen Viet, Duy Mai The, Thanh Vu Thi Hong

Abstract: This paper introduces a new class of iterated function systems (IFSs) called R-IFSs, which include both rotation/reflection maps and contraction maps. The study of R-IFSs is motivated by the recent research direction on enriching IFSs by adding other types of mappings. The paper investigates the existence and properties of the semi-attractor and compact invariant sets of R-IFSs, as well as the cla… ▽ More This paper introduces a new class of iterated function systems (IFSs) called R-IFSs, which include both rotation/reflection maps and contraction maps. The study of R-IFSs is motivated by the recent research direction on enriching IFSs by adding other types of mappings. The paper investigates the existence and properties of the semi-attractor and compact invariant sets of R-IFSs, as well as the class of minimal invariant sets of R-IFSs. The paper also provides a familiar setting that is an invariant set of R-IFS but not an invariant set of any IFS. △ Less

Submitted 5 May, 2023; originally announced May 2023.

Comments: 11 pages, 4 figures

Report number: 2305.03426

On Uniqueness of Submaximally Symmetric Vector Ordinary Differential Equations of C-Class

Authors: Johnson Allen Kessy, Dennis The

Abstract: The fundamental invariants for vector ODEs of order $\ge 3$ considered up to point transformations consist of generalized Wilczynski invariants and C-class invariants. An ODE of C-class is characterized by the vanishing of the former. For any fixed C-class invariant ${\mathcal U}$, we give a local (point) classification for all submaximally symmetric ODEs of C-class with… ▽ More The fundamental invariants for vector ODEs of order $\ge 3$ considered up to point transformations consist of generalized Wilczynski invariants and C-class invariants. An ODE of C-class is characterized by the vanishing of the former. For any fixed C-class invariant ${\mathcal U}$, we give a local (point) classification for all submaximally symmetric ODEs of C-class with ${\mathcal U} \not \equiv 0$ and all remaining C-class invariants vanishing identically. Our results yield generalizations of a well-known classical result for scalar ODEs due to Sophus Lie. Fundamental invariants correspond to the harmonic curvature of the associated Cartan geometry. A key new ingredient underlying our classification results is an advance concerning the harmonic theory associated with the structure of vector ODEs of C-class. Namely, for each irreducible C-class module, we provide an explicit identification of a lowest weight vector as a harmonic 2-cochain. △ Less

Submitted 10 August, 2023; v1 submitted 23 January, 2023; originally announced January 2023.

MSC Class: Primary: 35B06; 53A55; Secondary: 17B66; 57M60

Journal ref: SIGMA 19 (2023), 058, 29 pages

Exceptionally simple super-PDE for $F(4)$

Authors: Andrea Santi, Dennis The

Abstract: For the largest exceptional simple Lie superalgebra $F(4)$, having dimension $(24|16)$, we provide two explicit geometric realizations as supersymmetries, namely as the symmetry superalgebra of super-PDE systems of second and third order respectively. For the largest exceptional simple Lie superalgebra $F(4)$, having dimension $(24|16)$, we provide two explicit geometric realizations as supersymmetries, namely as the symmetry superalgebra of super-PDE systems of second and third order respectively. △ Less

Submitted 26 January, 2024; v1 submitted 10 July, 2022; originally announced July 2022.

Comments: 34 pages, v3: acknowledgments completed. Final version to appear on Commun. Contemp. Math

Report number: Commun. Contemp. Math. 26 (2024)

A Cartan-theoretic classification of multiply-transitive $(2,3,5)$-distributions

Authors: Dennis The

Abstract: In his 1910 paper, Élie Cartan gave a tour-de-force solution to the (local) equivalence problem for generic rank 2 distributions on 5-manifolds, i.e. $(2,3,5)$-distributions. From a modern perspective, these structures admit equivalent descriptions as (regular, normal) parabolic geometries modelled on a quotient of $G_2$, but this is not transparent from his article: indeed, the Cartan "connection… ▽ More In his 1910 paper, Élie Cartan gave a tour-de-force solution to the (local) equivalence problem for generic rank 2 distributions on 5-manifolds, i.e. $(2,3,5)$-distributions. From a modern perspective, these structures admit equivalent descriptions as (regular, normal) parabolic geometries modelled on a quotient of $G_2$, but this is not transparent from his article: indeed, the Cartan "connection" of 1910 is not a "Cartan connection" in the modern sense. We revisit the classification of multiply-transitive $(2,3,5)$-distributions from a modern Cartan-geometric perspective, incorporating $G_2$ structure theory throughout, obtaining: (i) the complete (local) classifications in the complex and real settings, phrased "Cartan-theoretically", and (ii) the full curvature and infinitesimal holonomy of all these models. Moreover, we Cartan-theoretically prove exceptionality of the $3:1$ ratio for two 2-spheres rolling on each other without twisting or slipping, yielding a $(2,3,5)$-distribution with symmetry the Lie algebra of the split real form of $G_2$. △ Less

Submitted 6 May, 2022; originally announced May 2022.

Comments: 28 pages

MSC Class: Primary: 53Bxx; 58A30; 58J70; Secondary: 17B10; 22E46

Symmetry gaps for higher order ordinary differential equations

Authors: Johnson Allen Kessy, Dennis The

Abstract: The maximal contact symmetry dimensions for scalar ODEs of order $\ge 4$ and vector ODEs of order $\ge 3$ are well known. Using a Cartan-geometric approach, we determine for these ODEs the next largest realizable (submaximal) symmetry dimension. Moreover, finer curvature-constrained submaximal symmetry dimensions are also classified. The maximal contact symmetry dimensions for scalar ODEs of order $\ge 4$ and vector ODEs of order $\ge 3$ are well known. Using a Cartan-geometric approach, we determine for these ODEs the next largest realizable (submaximal) symmetry dimension. Moreover, finer curvature-constrained submaximal symmetry dimensions are also classified. △ Less

Submitted 2 July, 2022; v1 submitted 8 October, 2021; originally announced October 2021.

Comments: 18 pages, 2 figures

MSC Class: Primary: 35B06; 53A55; Secondary: 17B66; 57M60

Journal ref: Journal of Mathematical Analysis and Applications 2022

On uniqueness of submaximally symmetric parabolic geometries

Authors: Dennis The

Abstract: Among (regular, normal) parabolic geometries of type $(G,P)$, there is a locally unique maximally symmetric structure and it has symmetry dimension $\dim(G)$. The symmetry gap problem concerns the determination of the next realizable (submaximal) symmetry dimension. When $G$ is a complex or split-real simple Lie group of rank at least three or when $(G,P) = (G_2,P_2)$, we establish a local uniquen… ▽ More Among (regular, normal) parabolic geometries of type $(G,P)$, there is a locally unique maximally symmetric structure and it has symmetry dimension $\dim(G)$. The symmetry gap problem concerns the determination of the next realizable (submaximal) symmetry dimension. When $G$ is a complex or split-real simple Lie group of rank at least three or when $(G,P) = (G_2,P_2)$, we establish a local uniqueness result for submaximally symmetric structures of type $(G,P)$. △ Less

Submitted 16 January, 2024; v1 submitted 22 July, 2021; originally announced July 2021.

Comments: 17 pages, final version

MSC Class: Primary 58J70; Secondary 53B99; 22E46; 17B70

Symmetries of supergeometries related to nonholonomic superdistributions

Authors: Boris Kruglikov, Andrea Santi, Dennis The

Abstract: We extend Tanaka theory to the context of supergeometry and obtain an upper bound on the supersymmetry dimension of geometric structures related to strongly regular bracket-generating distributions on supermanifolds and their structure reductions. We extend Tanaka theory to the context of supergeometry and obtain an upper bound on the supersymmetry dimension of geometric structures related to strongly regular bracket-generating distributions on supermanifolds and their structure reductions. △ Less

Submitted 14 February, 2022; v1 submitted 9 April, 2021; originally announced April 2021.

Comments: 37 pages, v2: final version to appear in Transformation Groups

Journal ref: Transform. Groups 29 (2024), 179--229

Classification of simply-transitive Levi non-degenerate hypersurfaces in $\mathbb{C}^3$

Authors: Boris Doubrov, Joël Merker, Dennis The

Abstract: Holomorphically homogeneous CR real hypersurfaces $M^3 \subset \mathbb{C}^2$ were classified by Élie Cartan in 1932. In the next dimension, we complete the classification of simply-transitive Levi non-degenerate hypersurfaces $M^5 \subset \mathbb{C}^3$ using a novel Lie algebraic approach independent of any earlier classifications of abstract Lie algebras. Central to our approach is a new coordina… ▽ More Holomorphically homogeneous CR real hypersurfaces $M^3 \subset \mathbb{C}^2$ were classified by Élie Cartan in 1932. In the next dimension, we complete the classification of simply-transitive Levi non-degenerate hypersurfaces $M^5 \subset \mathbb{C}^3$ using a novel Lie algebraic approach independent of any earlier classifications of abstract Lie algebras. Central to our approach is a new coordinate-free formula for the fundamental (complexified) quartic tensor. Our final result has a unique (Levi-indefinite) non-tubular model, for which we demonstrate geometric relations to planar equi-affine geometry. △ Less

Submitted 8 May, 2021; v1 submitted 13 October, 2020; originally announced October 2020.

Comments: 31 pages, 2 figures

MSC Class: Primary: 32V40; 17B66; 53A55; Secondary: 53C30; 57M60; 35B06; 53A15

G(3)-supergeometry and a supersymmetric extension of the Hilbert-Cartan equation

Authors: Boris Kruglikov, Andrea Santi, Dennis The

Abstract: We realize the simple Lie superalgebra G(3) as supersymmetry of various geometric structures, most importantly super-versions of the Hilbert-Cartan equation (SHC) and Cartan's involutive PDE system that exhibit G(2) symmetry. We provide the symmetries explicitly and compute, via the first Spencer cohomology groups, the Tanaka-Weisfeiler prolongation of the negatively graded Lie superalgebras assoc… ▽ More We realize the simple Lie superalgebra G(3) as supersymmetry of various geometric structures, most importantly super-versions of the Hilbert-Cartan equation (SHC) and Cartan's involutive PDE system that exhibit G(2) symmetry. We provide the symmetries explicitly and compute, via the first Spencer cohomology groups, the Tanaka-Weisfeiler prolongation of the negatively graded Lie superalgebras associated with two particular choices of parabolics. We discuss non-holonomic superdistributions with growth vector (2|4,1|2,2|0) deforming the flat model SHC, and prove that the second Spencer cohomology group gives a binary quadratic form, thereby providing a "square-root" of Cartan's classical binary quartic invariant for generic rank 2 distributions in a 5-dimensional space. Finally, we obtain super-extensions of Cartan's classical submaximally symmetric models, compute their symmetries and observe a supersymmetry dimension gap phenomenon. △ Less

Submitted 25 September, 2020; v1 submitted 24 August, 2019; originally announced August 2019.

Comments: final version; the ancillary files can be accessed via version 1

Journal ref: Adv. Math. 376 (2021), 107420

Homogeneous Levi non-degenerate hypersurfaces in $\mathbb{C}^3$

Authors: Boris Doubrov, Alexandr Medvedev, Dennis The

Abstract: We classify all (locally) homogeneous Levi non-degenerate real hypersurfaces in $\mathbb{C}^3$ with symmetry algebra of dimension $\geq 6$. We classify all (locally) homogeneous Levi non-degenerate real hypersurfaces in $\mathbb{C}^3$ with symmetry algebra of dimension $\geq 6$. △ Less

Submitted 7 November, 2017; originally announced November 2017.

Comments: 30 pages

MSC Class: 32V40 (Primary); 32V05; 58J70; 53A15 (Secondary)

Journal ref: Mathematische Zeitschrift (2020)

On C-class equations

Authors: Andreas Cap, Boris Doubrov, Dennis The

Abstract: The concept of a C-class of differential equations goes back to E. Cartan with the upshot that generic equations in a C-class can be solved without integration. While Cartan's definition was in terms of differential invariants being first integrals, all results exhibiting C-classes that we are aware of are based on the fact that a canonical Cartan geometry associated to the equations in the class… ▽ More The concept of a C-class of differential equations goes back to E. Cartan with the upshot that generic equations in a C-class can be solved without integration. While Cartan's definition was in terms of differential invariants being first integrals, all results exhibiting C-classes that we are aware of are based on the fact that a canonical Cartan geometry associated to the equations in the class descends to the space of solutions. For sufficiently low orders, these geometries belong to the class of parabolic geometries and the results follow from the general characterization of geometries descending to a twistor space. In this article we answer the question of whether a canonical Cartan geometry descends to the space of solutions in the case of scalar ODEs of order at least four and of systems of ODEs of order at least three. As in the lower order cases, this is characterized by the vanishing of the generalized Wilczynski invariants, which are defined via the linearization at a solution. The canonical Cartan geometries (which are not parabolic geometries) are a slight variation of those available in the literature based on a recent general construction. All the verifications needed to apply this construction for the classes of ODEs we study are carried out in the article, which thus also provides a complete alternative proof for the existence of canonical Cartan connections associated to higher order (systems of) ODEs. △ Less

Submitted 23 July, 2020; v1 submitted 4 September, 2017; originally announced September 2017.

Comments: 33 pages; improved exposition around Theorem 4.1; added references to 2017 Tanaka technical reports; typos corrected

MSC Class: 53C10; 53C15; 53B15; 34C14 (Primary); 34A34; 53A40; 53A55 (Secondary)

Journal ref: Comm. Anal. Geom. 30 (2022), no. 10, 2231-2266

Jet-determination of symmetries of parabolic geometries

Authors: Boris Kruglikov, Dennis The

Abstract: We establish 2-jet determinacy for the symmetry algebra of the underlying structure of any (complex or real) parabolic geometry. At non-flat points, we prove that the symmetry algebra is in fact 1-jet determined. Moreover, we prove 1-jet determinacy at any point for a variety of non-flat parabolic geometries - in particular torsion-free, parabolic contact, and several other classes. We establish 2-jet determinacy for the symmetry algebra of the underlying structure of any (complex or real) parabolic geometry. At non-flat points, we prove that the symmetry algebra is in fact 1-jet determined. Moreover, we prove 1-jet determinacy at any point for a variety of non-flat parabolic geometries - in particular torsion-free, parabolic contact, and several other classes. △ Less

Submitted 12 December, 2016; v1 submitted 25 April, 2016; originally announced April 2016.

Comments: Some historical remarks and references added; text further polished and minor corrections made. The main changes concern: some formulations in the introduction, Remark 3.9, Theorem 6.6, Section 7.3

MSC Class: 58D19 (Primary); 57S25; 58K70; 22F30 (Secondary)

Journal ref: Math. Ann. (2017). https://doi.org/10.1007/s00208-017-1545-z

Exceptionally simple PDE

Authors: Dennis The

Abstract: We give local descriptions of parabolic contact structures and show how their flat models yield explicit PDE having symmetry algebras isomorphic to all complex simple Lie algebras except $\mathfrak{sl}_2$. This yields a remarkably uniform generalization of the Cartan-Engel models from 1893 in the $G_2$ case. We give a formula for the harmonic curvature of a $G_2$-contact structure and describe sub… ▽ More We give local descriptions of parabolic contact structures and show how their flat models yield explicit PDE having symmetry algebras isomorphic to all complex simple Lie algebras except $\mathfrak{sl}_2$. This yields a remarkably uniform generalization of the Cartan-Engel models from 1893 in the $G_2$ case. We give a formula for the harmonic curvature of a $G_2$-contact structure and describe submaximally symmetric models for general $G$-contact structures. △ Less

Submitted 29 September, 2016; v1 submitted 27 March, 2016; originally announced March 2016.

Comments: Abstract and introduction revised; exposition improved and text reorganized; Section 4.1 on G2-contact structures is new

MSC Class: 58J70 (Primary); 22E46; 53D10 (Secondary)

Journal ref: Differ. Geom. Appl. 56 (2018), 13-41

Submaximally symmetric c-projective structures

Authors: Boris Kruglikov, Vladimir Matveev, Dennis The

Abstract: C-projective structures are analogues of projective structures in the complex setting. The maximal dimension of the Lie algebra of c-projective symmetries of a complex connection on an almost complex manifold of C-dimension $n>1$ is classically known to be $2n^2+4n$. We prove that the submaximal dimension is equal to $2n^2-2n+4+2δ_{3,n}$. If the complex connection is minimal (encoded as a normal p… ▽ More C-projective structures are analogues of projective structures in the complex setting. The maximal dimension of the Lie algebra of c-projective symmetries of a complex connection on an almost complex manifold of C-dimension $n>1$ is classically known to be $2n^2+4n$. We prove that the submaximal dimension is equal to $2n^2-2n+4+2δ_{3,n}$. If the complex connection is minimal (encoded as a normal parabolic geometry), the harmonic curvature of the c-projective structure has three components and we specify the submaximal symmetry dimensions and the corresponding geometric models for each of these three pure curvature types. If the connection is non-minimal, we introduce a modified normalization condition on the parabolic geometry and use this to resolve the symmetry gap problem. We prove that the submaximal symmetry dimension in the class of Levi-Civita connections for pseudo-Kähler metrics is $2n^2-2n+4$, and specializing to the Kähler case, we obtain $2n^2-2n+3$. This resolves the symmetry gap problem for metrizable c-projective structures. △ Less

Submitted 30 November, 2015; v1 submitted 27 April, 2015; originally announced April 2015.

Comments: The manuscript was updated and revised. This version corrects some errors in Section 4 that do not influence the main results. The exposition is also slightly polished

Journal ref: Int. J. Math. 27, 1650022 (2016), 34 pages

Homogeneous integrable Legendrian contact structures in dimension five

Authors: Boris Doubrov, Alexandr Medvedev, Dennis The

Abstract: We consider Legendrian contact structures on odd-dimensional complex analytic manifolds. We are particularly interested in integrable structures, which can be encoded by compatible complete systems of second order PDEs on a scalar function of many independent variables and considered up to point transformations. Using the techniques of parabolic differential geometry, we compute the associated reg… ▽ More We consider Legendrian contact structures on odd-dimensional complex analytic manifolds. We are particularly interested in integrable structures, which can be encoded by compatible complete systems of second order PDEs on a scalar function of many independent variables and considered up to point transformations. Using the techniques of parabolic differential geometry, we compute the associated regular, normal Cartan connection and give explicit formulas for the harmonic part of the curvature. The PDE system is trivializable by means of point transformations if and only if the harmonic curvature vanishes identically. In dimension five, the harmonic curvature takes the form of a binary quartic field, so there is a Petrov classification based on its root type. We give a complete local classification of all five-dimensional integrable Legendrian contact structures whose symmetry algebra is transitive on the manifold and has at least one-dimensional isotropy algebra at any point. △ Less

Submitted 8 February, 2016; v1 submitted 12 November, 2014; originally announced November 2014.

Comments: 35 pages; added details on integration of Cartan structure equations

MSC Class: Primary: 58J70; Secondary: 35A30; 53A40; 53B15; 53D10; 22E46

Journal ref: J. Geom. Anal. (2019)

Maximally degenerate Weyl tensors in Riemannian and Lorentzian signatures

Authors: Boris Doubrov, Dennis The

Abstract: We establish the submaximal symmetry dimension for Riemannian and Lorentzian conformal structures. The proof is based on enumerating all subalgebras of orthogonal Lie algebras of sufficiently large dimension and verifying if they stabilize a non-zero Weyl tensor up to scale. Our main technical tools include Dynkin's classification of maximal subalgebras in complex simple Lie algebras, a theorem of… ▽ More We establish the submaximal symmetry dimension for Riemannian and Lorentzian conformal structures. The proof is based on enumerating all subalgebras of orthogonal Lie algebras of sufficiently large dimension and verifying if they stabilize a non-zero Weyl tensor up to scale. Our main technical tools include Dynkin's classification of maximal subalgebras in complex simple Lie algebras, a theorem of Mostow, and Kostant's Bott-Borel-Weil theorem. △ Less

Submitted 20 May, 2013; v1 submitted 15 May, 2013; originally announced May 2013.

Comments: Minor typos corrected; role of automorphisms clarified

MSC Class: 58J70 (Primary); 53A30; 22E46 (Secondary)

Journal ref: Differential Geometry and its Applications 34 (2014), 25-44

The gap phenomenon in parabolic geometries

Authors: Boris Kruglikov, Dennis The

Abstract: The infinitesimal symmetry algebra of any Cartan geometry has maximum dimension realized by the flat model, but often this dimension drops significantly when considering non-flat geometries, so a gap phenomenon arises. For general (regular, normal) parabolic geometries of type (G,P), we use Tanaka theory to derive a universal upper bound on the submaximal symmetry dimension. We use Kostant's versi… ▽ More The infinitesimal symmetry algebra of any Cartan geometry has maximum dimension realized by the flat model, but often this dimension drops significantly when considering non-flat geometries, so a gap phenomenon arises. For general (regular, normal) parabolic geometries of type (G,P), we use Tanaka theory to derive a universal upper bound on the submaximal symmetry dimension. We use Kostant's version of the Bott-Borel-Weil theorem to show that this bound is in fact sharp in almost all complex and split-real cases by exhibiting (abstract) models. We explicitly compute all submaximal symmetry dimensions when G is any complex or split-real simple Lie group. △ Less

Submitted 16 April, 2014; v1 submitted 6 March, 2013; originally announced March 2013.

Comments: 44 pages. In order to better emphasize our main results, we reorganized our manuscript and reduced excessive background material and some running examples. (Readers wishing more background can view the relevant sections in version 3.)

MSC Class: 58J70 (Primary); 53B99; 22E46; 17B70 (Secondary)

Journal ref: J. Reine Angew. Math. (Crelle's Journal) 2017(723), 153-215 (2014)

Rigid Schubert varieties in compact Hermitian symmetric spaces

Authors: C. Robles, D. The

Abstract: Given a singular Schubert variety Z in a compact Hermitian symmetric space it is a longstanding question to determine when Z is homologous to a smooth variety Y. We identify those Schubert varieties for which there exist first-order obstructions to the existence of Y. This extends (independent) work of M. Walters, R. Bryant and J. Hong. Key tools include: (i) a new characterization of Schubert v… ▽ More Given a singular Schubert variety Z in a compact Hermitian symmetric space it is a longstanding question to determine when Z is homologous to a smooth variety Y. We identify those Schubert varieties for which there exist first-order obstructions to the existence of Y. This extends (independent) work of M. Walters, R. Bryant and J. Hong. Key tools include: (i) a new characterization of Schubert varieties that generalizes the well known description of the smooth Schubert varieties by connected sub-diagrams of a Dynkin diagram; and (ii) an algebraic Laplacian (a la Kostant), which is used to analyze the Lie algebra cohomology group associated to the problem. △ Less

Submitted 9 February, 2011; originally announced February 2011.

Comments: 52 pages

MSC Class: 14M15; 58A15

Conformal geometry of surfaces in the Lagrangian--Grassmannian and second order PDE

Authors: Dennis The

Abstract: Of all real Lagrangian--Grassmannians $LG(n,2n)$, only $LG(2,4)$ admits a distinguished (Lorentzian) conformal structure and hence is identified with the indefinite M\"obius space $S^{1,2}$. Using Cartan's method of moving frames, we study hyperbolic (timelike) surfaces in $LG(2,4)$ modulo the conformal symplectic group $CSp(4,R)$. This $CSp(4,R)$-invariant classification is also a contact-invari… ▽ More Of all real Lagrangian--Grassmannians $LG(n,2n)$, only $LG(2,4)$ admits a distinguished (Lorentzian) conformal structure and hence is identified with the indefinite M\"obius space $S^{1,2}$. Using Cartan's method of moving frames, we study hyperbolic (timelike) surfaces in $LG(2,4)$ modulo the conformal symplectic group $CSp(4,R)$. This $CSp(4,R)$-invariant classification is also a contact-invariant classification of (in general, highly non-linear) second order scalar hyperbolic PDE in the plane. Via $LG(2,4)$, we give a simple geometric argument for the invariance of the general hyperbolic Monge--Ampère equation and the relative invariants which characterize it. For hyperbolic PDE of non-Monge--Ampère type, we demonstrate the existence of a geometrically associated ``conjugate'' PDE. Finally, we give the first known example of a Dupin cyclide in a Lorentzian space. △ Less

Submitted 7 September, 2010; originally announced September 2010.

Journal ref: Proc. Lond. Math. Soc. 104 (2012), no. 1, 79-122

Contact Geometry of Hyperbolic Equations of Generic Type

Authors: Dennis The

Abstract: We study the contact geometry of scalar second order hyperbolic equations in the plane of generic type. Following a derivation of parametrized contact-invariants to distinguish Monge-Ampere (class 6-6), Goursat (class 6-7) and generic (class 7-7) hyperbolic equations, we use Cartan's equivalence method to study the generic case. An intriguing feature of this class of equations is that every gene… ▽ More We study the contact geometry of scalar second order hyperbolic equations in the plane of generic type. Following a derivation of parametrized contact-invariants to distinguish Monge-Ampere (class 6-6), Goursat (class 6-7) and generic (class 7-7) hyperbolic equations, we use Cartan's equivalence method to study the generic case. An intriguing feature of this class of equations is that every generic hyperbolic equation admits at most a nine-dimensional contact symmetry algebra. The nine-dimensional bound is sharp: normal forms for the contact-equivalence classes of these maximally symmetric generic hyperbolic equations are derived and explicit symmetry algebras are presented. Moreover, these maximally symmetric equations are Darboux integrable. An enumeration of several submaximally symmetric (eight and seven-dimensional) generic hyperbolic structures is also given. △ Less

Submitted 19 August, 2008; v1 submitted 9 April, 2008; originally announced April 2008.

Comments: This is a contribution to the Special Issue "Elie Cartan and Differential Geometry", published in SIGMA (Symmetry, Integrability and Geometry: Methods and Applications) at http://www.emis.de/journals/SIGMA

MSC Class: 35A30; 35L70; 58J70

Journal ref: SIGMA 4 (2008), 058, 1-52

Invariant Yang-Mills connections over Non-Reductive Pseudo-Riemannian Homogeneous Spaces

Authors: Dennis The

Abstract: We study invariant gauge fields over the 4-dimensional non-reductive pseudo-Riemannian homogeneous spaces G/K recently classified by Fels & Renner (2006). Given H compact semi-simple, classification results are obtained for principal H-bundles over G/K admitting: (1) a G-action (by bundle automorphisms) projecting to left multiplication on the base, and (2) at least one G-invariant connection. T… ▽ More We study invariant gauge fields over the 4-dimensional non-reductive pseudo-Riemannian homogeneous spaces G/K recently classified by Fels & Renner (2006). Given H compact semi-simple, classification results are obtained for principal H-bundles over G/K admitting: (1) a G-action (by bundle automorphisms) projecting to left multiplication on the base, and (2) at least one G-invariant connection. There are two cases which admit nontrivial examples of such bundles and all G-invariant connections on these bundles are Yang-Mills. The validity of the principle of symmetric criticality (PSC) is investigated in the context of the bundle of connections and is shown to fail for all but one of the Fels-Renner cases. This failure arises from degeneracy of the scalar product on pseudo-tensorial forms restricted to the space of symmetric variations of an invariant connection. In the exceptional case where PSC is valid, there is a unique G-invariant connection which is moreover universal, i.e. it is the solution of the Euler-Lagrange equations associated to any G-invariant Lagrangian on the bundle of connections. This solution is a canonical connection associated with a weaker notion of reductivity which we introduce. △ Less

Submitted 17 April, 2008; v1 submitted 9 October, 2007; originally announced October 2007.

Comments: 34 pages; minor typos corrected; to appear in Transactions of the AMS

MSC Class: 70S15; 34A26; 53C30

Journal ref: Trans. Am. Math. Soc. 361:3879-3914,2009

Symmetries, conservation laws, and cohomology of Maxwell's equations using potentials

Authors: Stephen C. Anco, Dennis The

Abstract: New nonlocal symmetries and conservation laws are derived for Maxwell's equations using a covariant system of joint vector potentials for the electromagnetic tensor field and its dual. A key property of this system, as well as of this class of new symmetries and conservation laws, is their invariance under the duality transformation that exchanges the electromagnetic field with its dual. The non… ▽ More New nonlocal symmetries and conservation laws are derived for Maxwell's equations using a covariant system of joint vector potentials for the electromagnetic tensor field and its dual. A key property of this system, as well as of this class of new symmetries and conservation laws, is their invariance under the duality transformation that exchanges the electromagnetic field with its dual. The nonlocal symmetries of Maxwell's equations come from an explicit classification of all symmetries of a certain geometric form admitted by the joint potential system in Lorentz gauge. In addition to scaling and duality-rotation symmetries, and the well-known Poincare and dilation symmetries which involve homothetic Killing vectors, the classification yields new geometric symmetries involving Killing-Yano tensors related to rotations/boosts and inversions. The nonlocal conservation laws of Maxwell's equations are constructed from these geometric symmetries by applying a formula that uses the joint potentials and directly generates conserved currents from any (local or nonlocal) symmetries of Maxwell's equations. This formula is shown to arise through a series of mappings that relate, respectively, symmetries/adjoint-symmetries of the joint potential system and adjoint-symmetries/symmetries of Maxwell's equations. The mappings are derived as by-products of the study of cohomology of closed 1-forms and 2-forms locally constructed from the electromagnetic field and its derivatives to some finite order for all solutions of Maxwell's equations. The only nontrivial cohomology is shown to consist of the electromagnetic field (2-form) itself as well as its dual (2-form), and this 2-form cohomology is killed by the introduction of corresponding potentials. △ Less

Submitted 28 June, 2005; v1 submitted 20 January, 2005; originally announced January 2005.

Comments: Minor revisions, mainly in notation and discussion of the complex of differential forms on jet space. Accepted in Acta Applicandae Mathematicae

Journal ref: Acta Appl. Math. 89 (2005), 1-52

An invariant classification of cubic integrals of motion

Authors: R. G. McLenaghan, R. G. Smirnov, D. The

Abstract: We employ an isometry group invariants approach to study Killing tensors of valence three defined in the Euclidean plane. The corresponding invariants are found to be homogeneous polynomials of the parameters of the vector space of the Killing tensors. The invariants are used to classify the non-trivial first integrals of motion which are cubic in the momenta of Hamiltonian systems defined in th… ▽ More We employ an isometry group invariants approach to study Killing tensors of valence three defined in the Euclidean plane. The corresponding invariants are found to be homogeneous polynomials of the parameters of the vector space of the Killing tensors. The invariants are used to classify the non-trivial first integrals of motion which are cubic in the momenta of Hamiltonian systems defined in the Euclidean plane. The integrable cases isolated by Holt and Fokas-Lagerstrom are investigated from this viewpoint. △ Less

Submitted 25 May, 2003; originally announced May 2003.

Late-time asymptotic dynamics of Bianchi VIII cosmologies

Authors: J. T. Horwood, M. J. Hancock, D. The, J. Wainwright

Abstract: In this paper we give, for the first time, a complete description of the late-time evolution of non-tilted spatially homogeneous cosmologies of Bianchi type VIII. The source is assumed to be a perfect fluid with equation of state $p = (γ- 1)μ$, where $γ$ is a constant which satisfies $1 \leq γ\leq 2$. Using the orthonormal frame formalism and Hubble-normalized variables, we rigorously establish… ▽ More In this paper we give, for the first time, a complete description of the late-time evolution of non-tilted spatially homogeneous cosmologies of Bianchi type VIII. The source is assumed to be a perfect fluid with equation of state $p = (γ- 1)μ$, where $γ$ is a constant which satisfies $1 \leq γ\leq 2$. Using the orthonormal frame formalism and Hubble-normalized variables, we rigorously establish the limiting behaviour of the models at late times, and give asymptotic expansions for the key physical variables. The main result is that asymptotic self-similarity breaking occurs, and is accompanied by the phenomenon of `Weyl curvature dominance', characterized by the divergence of the Hubble-normalized Weyl curvature at late times. △ Less

Submitted 21 November, 2002; v1 submitted 10 October, 2002; originally announced October 2002.

Comments: 22 pages, 3 figures, submitted to Class. Quantum Grav.; updated references

Journal ref: Class.Quant.Grav. 20 (2003) 1757-1778