Showing 1–21 of 21 results for author: Diatta, A

Cartan-Schouten metrics for information geometry and machine learning

Authors: Andre Diatta, Bakary Manga, Fatimata Sy

Abstract: We study Cartan-Schouten metrics, explore invariant dual connections, and propose them as models for Information Geometry. Based on the underlying Riemannian barycenter and the biinvariant mean of Lie groups, we subsequently propose a new parametric mean for data science and machine learning which comes with several advantages compared to traditional tools such as the arithmetic mean, median, mo… ▽ More We study Cartan-Schouten metrics, explore invariant dual connections, and propose them as models for Information Geometry. Based on the underlying Riemannian barycenter and the biinvariant mean of Lie groups, we subsequently propose a new parametric mean for data science and machine learning which comes with several advantages compared to traditional tools such as the arithmetic mean, median, mode, expectation, least square method, maximum likelihood, linear regression. We call a metric on a Lie group, a Cartan-Schouten metric, if its Levi-Civita connection is biinvariant, so every 1-parameter subgroup through the unit is a geodesic. Except for not being left or right invariant in general, Cartan-Schouten metrics enjoy the same geometry as biinvariant metrics, since they share the same Levi-Civita connection. To bypass the non-invariance apparent drawback, we show that Cartan-Schouten metrics are completely determined by their value at the unit. We give an explicit formula for recovering them from their value at the unit, thus making them much less computationally demanding, compared to general metrics on manifolds. Furthermore, Lie groups with Cartan-Schouten metrics are complete Riemannian or pseudo-Riemannian manifolds. We give a complete characterization of Lie groups with Riemannian or Lorentzian Cartan-Schouten metrics. Cartan-Schouten metrics are in abundance on 2-nilpotent Lie groups. Namely, on every 2-nilpotent Lie group, there is a 1-1 correspondence between the set of left invariant metrics and that of Cartan-Schouten metrics. △ Less

Submitted 28 August, 2024; originally announced August 2024.

Comments: 32 pages, Latex

MSC Class: 22E60; 53B12; 53B30; 53B50; 53C20; 53C21; 53C50; 62B10; 62B11; 62M20; 94A16

On dual quaternions, dual split quaternions and Cartan-Schouten metrics on perfect Lie groups

Authors: Andre Diatta, Bakary Manga, Fatimata Sy

Abstract: We discuss Cartan-Schouten metrics (Riemannian or pseudo-Riemannian metrics that are parallel with respect to the Cartan-Schouten canonical connection) on perfect Lie groups. Applications are foreseen in Information Geometry. Throughout this work, the tangent bundle TG and the cotangent bundle T*G of a Lie group G, are always endowed with their Lie group structures induced by the right trivializat… ▽ More We discuss Cartan-Schouten metrics (Riemannian or pseudo-Riemannian metrics that are parallel with respect to the Cartan-Schouten canonical connection) on perfect Lie groups. Applications are foreseen in Information Geometry. Throughout this work, the tangent bundle TG and the cotangent bundle T*G of a Lie group G, are always endowed with their Lie group structures induced by the right trivialization. We show that TG and T*G are isomorphic if G possesses a biinvariant Riemannian or pseudo-Riemannian metric. We also show that, if on a perfect Lie group, there exists a Cartan-Schouten metric, then it must be biinvariant. We compute all such metrics on the cotangent bundles of simple Lie groups. We further show the following. Endowed with their canonical Lie group structures, the set of unit dual quaternions is isomorphic to TSU(2), the set of unit dual split quaternions is isomorphic to T*SL(2,R). The group SE(3) of special rigid displacements of the Euclidean 3-space is isomorphic to T*SO(3). The group SE(2,1) of special rigid displacements of the Minkowski 3-space is isomorphic to T*SO(2,1). Some results on SE(3) by N. Miolane and X. Pennec, and M. Zefran, V. Kumar and C. Croke, are generalized to SE(2,1) and to T*G, for any simple Lie group G. △ Less

Submitted 3 January, 2024; v1 submitted 3 October, 2023; originally announced October 2023.

Comments: v2: 21 pages, Latex. A few mistakes, misprints and notations corrected. More details on proofs given. Accepted for publication

MSC Class: 58F05; MSC 53B15; MSC 70D10; 53C50; 53C35; 53A30; 22E60; 15B33;

Influence of the curvature in the existence of solutions for a two Hardy-Sobolev critical exponents

Authors: El Hadji Abdoulaye Thiam, Abdourahmane Diatta

Abstract: For $N\geq 4$, we let $Ω$ be a bounded domain of $\mathbb{R}^N$ and $Γ$ be a closed curve contained in $Ω$. We study existence of positive solutions $u \in H^1_0\left(Ω\right)$ to the equation \begin{equation}\label{Atusi} -Δu+hu=λρ^{-s_1}_Γu^{2^*_{s_1}-1}+ρ^{-s_2}_Γu^{2^*_{s_2}-1} \qquad \textrm{ in } Ω\end{equation} where $h$ is a continuous function and $ρ_Γ$ is the distance function to $Γ$. We… ▽ More For $N\geq 4$, we let $Ω$ be a bounded domain of $\mathbb{R}^N$ and $Γ$ be a closed curve contained in $Ω$. We study existence of positive solutions $u \in H^1_0\left(Ω\right)$ to the equation \begin{equation}\label{Atusi} -Δu+hu=λρ^{-s_1}_Γu^{2^*_{s_1}-1}+ρ^{-s_2}_Γu^{2^*_{s_2}-1} \qquad \textrm{ in } Ω\end{equation} where $h$ is a continuous function and $ρ_Γ$ is the distance function to $Γ$. We prove the existence of a mountain pass solution for this Euler-Lagrange equation depending on the local geometry of the curve and the potential $h$. △ Less

Submitted 25 June, 2024; v1 submitted 9 September, 2023; originally announced September 2023.

Comments: arXiv admin note: text overlap with arXiv:1702.02202

On the classification of 2-solvable Frobenius Lie algebras

Authors: Andre Diatta, Bakary Manga, Ameth Mbaye

Abstract: We discuss the classification of 2-solvable Frobenius Lie algebras. We prove that every 2-solvable Frobenius Lie algebra splits as a semidirect sum of an n-dimensional vector space V and an n-dimensional maximal Abelian subalgebra (MASA) of the full space of endomorphisms of V. We supply a complete classification of 2-solvable Frobenius Lie algebras corresponding to nonderogatory endomorphisms, as… ▽ More We discuss the classification of 2-solvable Frobenius Lie algebras. We prove that every 2-solvable Frobenius Lie algebra splits as a semidirect sum of an n-dimensional vector space V and an n-dimensional maximal Abelian subalgebra (MASA) of the full space of endomorphisms of V. We supply a complete classification of 2-solvable Frobenius Lie algebras corresponding to nonderogatory endomorphisms, as well as those given by maximal Abelian nilpotent subalgebras (MANS) of class 2, hence of Kravchuk signature (n-1,0,1). In low dimensions, we classify all 2-solvable Frobenius Lie algebras in general up to dimension 8. We correct and complete the classification list of MASAs of sl(4, R) by Winternitz and Zassenhaus. As a biproduct, we give a simple proof that every nonderogatory endormorphism of a real vector space admits a Jordan form and also provide a new characterization of Cartan subalgebras of sl(n, R). △ Less

Submitted 16 July, 2023; v1 submitted 12 September, 2022; originally announced September 2022.

Comments: V3: 26 pages, Latex. A few misprints corrected. To appear at Journal of Lie Theory

MSC Class: 17B05; 17B08; 15A27; 53A15; 53D15; 22E60; 17B60; 70G45; 16W25; 13B25

Journal ref: Journal of Lie Theory 33 (2023), No. 3, 799-830

On systems of commuting matrices, Frobenius Lie algebras and Gerstenhaber's Theorem

Authors: Andre Diatta, Bakary Manga, Ameth Mbaye

Abstract: This work relates to three problems, the classification of maximal Abelian subalgebras (MASAs) of the Lie algebra of square matrices, the classification of 2-step solvable Frobenius Lie algebras and the Gerstenhaber's Theorem. Let M and N be two commuting square matrices of order n with entries in an algebraically closed field K. Then the associative commutative K-algebra, they generate, is of dim… ▽ More This work relates to three problems, the classification of maximal Abelian subalgebras (MASAs) of the Lie algebra of square matrices, the classification of 2-step solvable Frobenius Lie algebras and the Gerstenhaber's Theorem. Let M and N be two commuting square matrices of order n with entries in an algebraically closed field K. Then the associative commutative K-algebra, they generate, is of dimension at most n. This result was proved by Murray Gerstenhaber in 1961. The analog of this property for three commuting matrices is still an open problem, its version for a higher number of commuting matrices is not true in general. In the present paper, we give a sufficient condition for this property to be satisfied, for any number of commuting matrices and arbitrary field K. Such a result is derived from a discussion on the structure of 2-step solvable Frobenius Lie algebras and a complete characterization of their associated left symmetric algebra structure. We discuss the classification of 2-step solvable Frobenius Lie algebras and show that it is equivalent to that of n-dimensional MASAs of the Lie algebra of square matrices, admitting an open orbit for the contragradient action associated to the multiplication of matrices and vectors. Numerous examples are discussed in any dimension and a complete classification list is supplied in low dimensions. Furthermore, in any finite dimension, we give a full classification of all 2-step solvable Frobenius Lie algebras corresponding to nonderogatory matrices. △ Less

Submitted 29 July, 2021; v1 submitted 18 February, 2020; originally announced February 2020.

Comments: This new version V2, 37 pages in Latex, contains substantial deep changes compared to version 1 which was only 12 pages. In particular, the present version includes deep discussions on the classification of 2-step solvable Frobenius Lie algebras and maximal Abelian subalgebras of sl(n,K)

MSC Class: 15A27; 15B48; 47B47; 17B05; 17B08; 22E60; 15A30; 15A03; 17B30; 15A27; 17B60; 22E60; 15A30; 15A03; 70G45; 16W25; 13B25; 53A15

On near-cloaking for linear elasticity

Authors: Richard Craster, Andre Diatta, Sebastien Guenneau, Harsha Hutridurga

Abstract: We make precise some results on the cloaking of displacement fields in linear elasticity. In the spirit of transformation media theory, the transformed governing equations in Cosserat and Willis frameworks are shown to be equivalent to certain high contrast small defect problems for the usual Navier equations. We discuss near-cloaking for elasticity systems via a regularized transform and perform… ▽ More We make precise some results on the cloaking of displacement fields in linear elasticity. In the spirit of transformation media theory, the transformed governing equations in Cosserat and Willis frameworks are shown to be equivalent to certain high contrast small defect problems for the usual Navier equations. We discuss near-cloaking for elasticity systems via a regularized transform and perform numerical experiments to illustrate our near-cloaking results. We also study the sharpness of the estimates from [H. Ammari, H. Kang, K. Kim and H. Lee, J. Diff. Eq. 254, 4446-4464 (2013)], wherein the convergence of the solutions to the transmission problems is investigated, when the Lamé parameters in the inclusion tend to extreme values. Both soft and hard inclusion limits are studied and we also touch upon the finite frequency case. Finally, we propose an approximate isotropic cloak algorithm for a symmetrized Cosserat cloak. △ Less

Submitted 5 April, 2019; v1 submitted 4 March, 2018; originally announced March 2018.

Comments: 7 figures, 7 tables; Note that the earlier version of this preprint was titled 'Some results in near-cloaking for elasticity systems'. This new version of the manuscript has also seen some major upgrade. We have added a new section on 'Cloaking parameters and isotropic approximation'. In there, we propose an approximate isotropic cloak algorithm for a symmetrized Cosserat cloak

Riemannian Geometry on Contact Lie Groups

Authors: Andre Diatta

Abstract: We investigate contact Lie groups having a left invariant Riemannian or pseudo-Riemannian metric with specific properties such as being bi-invariant, flat, negatively curved, Einstein, etc. We classify some of such contact Lie groups and derive some obstruction results to the existence of left invariant contact structures on Lie groups We investigate contact Lie groups having a left invariant Riemannian or pseudo-Riemannian metric with specific properties such as being bi-invariant, flat, negatively curved, Einstein, etc. We classify some of such contact Lie groups and derive some obstruction results to the existence of left invariant contact structures on Lie groups △ Less

Submitted 20 February, 2014; originally announced February 2014.

Comments: The last version appeared at Geom. Dedicata (2008) 133, 83-94. arXiv admin note: substantial text overlap with arXiv:math/0403555

MSC Class: 53D10; 53D35; 53C50; 53C25; 57R17

Journal ref: Geom. Dedicata (2008) 133, 83-94

On properties of principal elements of Frobenius Lie algebras

Authors: Andre Diatta, Bakary Manga

Abstract: We investigate the properties of principal elements of Frobenius Lie algebras, following the work of M. Gerstenhaber and A. Giaquinto. We prove that any Lie algebra with a left symmetric algebra structure can be embedded, in a natural way, as a subalgebra of some sl(m,K), for K= R or C. Hence, the work of Belavin and Drinfeld on solutions of the Classical Yang-Baxter Equation on simple Lie algebra… ▽ More We investigate the properties of principal elements of Frobenius Lie algebras, following the work of M. Gerstenhaber and A. Giaquinto. We prove that any Lie algebra with a left symmetric algebra structure can be embedded, in a natural way, as a subalgebra of some sl(m,K), for K= R or C. Hence, the work of Belavin and Drinfeld on solutions of the Classical Yang-Baxter Equation on simple Lie algebras, applied to the particular case of sl(m, K) alone, paves the way to the complete classification of Frobenius and more generally quasi-Frobenius Lie algebras. We prove that, if a Frobenius Lie algebra has the property that every derivation is an inner derivation, then every principal element is semisimple, at least for K=C. As an important case, we prove that in the Lie algebra of the group of affine motions of the Euclidean space of finite dimension, every derivation is inner. We also bring a class of examples of Frobenius Lie algebras, that hence are subalgebras of sl(m, K), but yet have nonsemisimple principal elements as well as some with semisimple principal elements having nonrational eigenvalues, where K=R or C. △ Less

Submitted 14 April, 2014; v1 submitted 21 December, 2012; originally announced December 2012.

Comments: Latex, 16 pages. The last version appeared at Journal of Lie Theory. Keywords and phrases: Frobenius Lie algebra, affine Lie algebra, Left symmetric Lie algebra, affine motion, symplectic Lie algebra, seaweed Lie algebra, symplectic Lie group, invariant symplectic structure, invariant affine structure

MSC Class: 17B05; 17B08; 22E60

Journal ref: Journal of Lie Theory 24 (2014), No. 3, 849--864

Distinguishing properties of weak slice conditions II

Authors: Stephen M. Buckley, Andre Diatta, Alexander Stanoyevitch

Abstract: The slice condition and the more general weak slice conditions are geometric conditions on Euclidean space domains which have evolved over the last several years as a tool in various areas of analysis. This paper examines some of their finer distinctive properties. The slice condition and the more general weak slice conditions are geometric conditions on Euclidean space domains which have evolved over the last several years as a tool in various areas of analysis. This paper examines some of their finer distinctive properties. △ Less

Submitted 21 December, 2012; originally announced December 2012.

Comments: 16 pages, 3 enclosed latex figures. Key Words and Phrases: slice conditions, quasihyperbolic metric. The final version appeared at International Journal of Pure and Applied Mathematics, Volume 71, No. 1, pp 83-98 (2011)

MSC Class: 51M15; 46E35

Journal ref: Int. J. Pure Appl. Math. 71 (2011), no. 1, 83-98

Numerical Analysis of Three-dimensional Acoustic Cloaks and Carpets

Authors: Guillaume Dupont, Mohamed Farhat, Andre Diatta, Sebastien Guenneau, Stefan Enoch

Abstract: We start by a review of the chronology of mathematical results on the Dirichlet-to-Neumann map which paved the way towards the physics of transformational acoustics. We then rederive the expression for the (anisotropic) density and bulk modulus appearing in the pressure wave equation written in the transformed coordinates. A spherical acoustic cloak consisting of an alternation of homogeneous isot… ▽ More We start by a review of the chronology of mathematical results on the Dirichlet-to-Neumann map which paved the way towards the physics of transformational acoustics. We then rederive the expression for the (anisotropic) density and bulk modulus appearing in the pressure wave equation written in the transformed coordinates. A spherical acoustic cloak consisting of an alternation of homogeneous isotropic concentric layers is further proposed based on the effective medium theory. This cloak is characterised by a low reflection and good efficiency over a large bandwidth for both near and far fields, which approximates the ideal cloak with a inhomogeneous and anisotropic distribution of material parameters. The latter suffers from singular material parameters on its inner surface. This singularity depends upon the sharpness of corners, if the cloak has an irregular boundary, e.g. a polyhedron cloak becomes more and more singular when the number of vertices increases if it is star shaped. We thus analyse the acoustic response of a non-singular spherical cloak designed by blowing up a small ball instead of a point, as proposed in [Kohn, Shen, Vogelius, Weinstein, Inverse Problems 24, 015016, 2008]. The multilayered approximation of this cloak requires less extreme densities (especially for the lowest bound). Finally, we investigate another type of non-singular cloaks, known as invisibility carpets [Li and Pendry, Phys. Rev. Lett. 101, 203901, 2008], which mimic the reflection by a flat ground. △ Less

Submitted 5 March, 2011; originally announced March 2011.

Comments: Latex, 21 pages, 7 Figures, last version submitted to Wave Motion. OCIS Codes: (000.3860) Mathematical methods in physics; (260.2110) Electromagnetic theory; (160.3918) Metamaterials; (160.1190) Anisotropic optical materials; (350.7420) Waves; (230.1040) Acousto-optical devices; (160.1050) Acousto-optical materials; (290.5839) Scattering,invisibility; (230.3205) Invisibility cloaks

MSC Class: 78A40; 78A45; 78A48; 78A25; 81V80; 81V65; 82D40; 78M99; 78A50

Journal ref: Wave Motion 48 (2011), no. 6, 483-496

Non-singular cloaks allow mimesis

Authors: Andre Diatta, Sebastien Guenneau

Abstract: We design non-singular cloaks enabling objects to scatter waves like objects with smaller size and very different shapes. We consider the Schrodinger equation which is valid e.g. in the contexts of geometrical and quantum optics. More precisely, we introduce a generalized non-singular transformation for star domains, and numerically demonstrate that an object of nearly any given shape surrounded b… ▽ More We design non-singular cloaks enabling objects to scatter waves like objects with smaller size and very different shapes. We consider the Schrodinger equation which is valid e.g. in the contexts of geometrical and quantum optics. More precisely, we introduce a generalized non-singular transformation for star domains, and numerically demonstrate that an object of nearly any given shape surrounded by a given cloak scatters waves in exactly the same way as a smaller object of another shape. When a source is located inside the cloak, it scatters waves as if it would be located some distance away from a small object. Moreover, the invisibility region actually hosts almost-trapped eigenstates. Mimetism is numerically shown to break down for the quantified energies associated with confined modes. If we further allow for non-isomorphic transformations, our approach leads to the design of quantum super-scatterers: a small size object surrounded by a quantum cloak described by a negative anisotropic heterogeneous effective mass and a negative spatially varying potential scatters matter waves like a larger nano-object of different shape. Potential applications might be for instance in quantum dots probing. △ Less

Submitted 2 September, 2010; v1 submitted 3 June, 2010; originally announced June 2010.

Comments: Version 2: 23 pages, 9 figures. More figures added. Misprints corrected. OCIS Codes: (000.3860) Mathematical methods in physics; (260.2110) Electromagnetic theory; (160.3918) Metamaterials; (160.1190) Anisotropic optical materials; (350.7420) Waves; (230.1040) Acousto-optical devices; (160.1050) Acousto-optical materials; (290.5839) Scattering,invisibility; (230.3205) Invisibility cloaks

MSC Class: 78A40; 78A45; 78A48; 78A25; 81V80; 81V65; 82D40; 78M99; 78A50

Journal ref: Journal of Optics 13 (2011), no.2, 024012-024022

Focusing: coming to the point in metamaterials

Authors: Sebastien Guenneau, Andre Diatta, Ross McPhedran

Abstract: The point of the paper is to show some limitations of geometrical optics in the analysis of subwavelength focusing. We analyze the resolution of the image of a line source radiating in the Maxwell fisheye and the Veselago-Pendry slab lens. The former optical medium is deduced from the stereographic projection of a virtual sphere and displays a heterogeneous refractive index n(r) which is proportio… ▽ More The point of the paper is to show some limitations of geometrical optics in the analysis of subwavelength focusing. We analyze the resolution of the image of a line source radiating in the Maxwell fisheye and the Veselago-Pendry slab lens. The former optical medium is deduced from the stereographic projection of a virtual sphere and displays a heterogeneous refractive index n(r) which is proportional to the inverse of 1+r^2. The latter is described by a homogeneous, but negative, refractive index. It has been suggested that the fisheye makes a perfect lens without negative refraction [Leonhardt, Philbin arxiv:0805.4778v2]. However, we point out that the definition of super-resolution in such a heterogeneous medium should be computed with respect to the wavelength in a homogenized medium, and it is perhaps more adequate to talk about a conjugate image rather than a perfect image (the former does not necessarily contains the evanescent components of the source). We numerically find that both the Maxwell fisheye and a thick silver slab lens lead to a resolution close to lambda/3 in transverse magnetic polarization (electric field pointing orthogonal to the plane). We note a shift of the image plane in the latter lens. We also observe that two sources lead to multiple secondary images in the former lens, as confirmed from light rays travelling along geodesics of the virtual sphere. We further observe resolutions ranging from lambda/2 to nearly lambda/4 for magnetic dipoles of varying orientations of dipole moments within the fisheye in transverse electric polarization (magnetic field pointing orthogonal to the plane). Finally, we analyse the Eaton lens for which the source and its image are either located within a unit disc of air, or within a corona 1<r<2 with refractive index $n(r)=\sqrt{2/r-1}$. In both cases, the image resolution is about lambda/2. △ Less

Submitted 2 September, 2010; v1 submitted 1 December, 2009; originally announced December 2009.

Comments: Version 2: 22 pages, 11 figures. More figures added, additional cases discussed. Misprints corrected. Keywords: Maxwell fisheye, Eaton lens; Non-Euclidean geometry; Stereographic projection; Transformation optics; Metamaterials; Perfect lens. The last version appears at J. Modern Opt. 57 (2010), no. 7, 511-527

Journal ref: J. Modern Opt. 57 (2010), no. 7, 511-527

Geometry of isophote curves

Authors: Andre Diatta, Peter Giblin

Abstract: In this paper, we consider the intensity surface of a 2D image, we study the evolution of the symmetry sets (and medial axes) of 1-parameter families of iso-intensity curves. This extends the investigation done on 1-parameter families of smooth plane curves (Bruce and Giblin, Giblin and Kimia, etc.) to the general case when the family of curves includes a singular member, as will happen if the c… ▽ More In this paper, we consider the intensity surface of a 2D image, we study the evolution of the symmetry sets (and medial axes) of 1-parameter families of iso-intensity curves. This extends the investigation done on 1-parameter families of smooth plane curves (Bruce and Giblin, Giblin and Kimia, etc.) to the general case when the family of curves includes a singular member, as will happen if the curves are obtained by taking plane sections of a smooth surface, at the moment when the plane becomes tangent to the surface. Looking at those surface sections as isophote curves, of the pixel values of an image embedded in the real plane, this allows us to propose to combine object representation using a skeleton or symmetry set representation and the appearance modelling by representing image information as a collection of medial representations for the level-sets of an image. △ Less

Submitted 1 December, 2009; originally announced December 2009.

Comments: 15 pages, 7 figures

MSC Class: 53A04;53A05; 53A55; 34C23; 68U05; 14Q10; 14H50; 14Q05; 51N05; 65D17; 34C14

Journal ref: Lecture Notes in Computer Science 3459 (2005), 50-61

Lattices in contact Lie groups and 5-dimensional contact solvmanifolds

Authors: Andre Diatta, Brendan Foreman

Abstract: This paper investigates the geometry of compact contact manifolds that are uniformized by contact Lie groups, i.e., compact manifolds that are the quotient of some Lie group G with a left invariant contact structure and a uniform lattice subgroup. We re-examine Alexander's criteria for existence of lattices on solvable Lie groups and apply them, along with some other well known tools, and use thes… ▽ More This paper investigates the geometry of compact contact manifolds that are uniformized by contact Lie groups, i.e., compact manifolds that are the quotient of some Lie group G with a left invariant contact structure and a uniform lattice subgroup. We re-examine Alexander's criteria for existence of lattices on solvable Lie groups and apply them, along with some other well known tools, and use these results to prove that, in dimension 5, there are exactly seven connected and simply connected contact Lie groups with uniform lattices, all of which are solvable. Issues of symplectic boundaries are explored, as well. It is also shown that the special affine group has no uniform lattice. △ Less

Submitted 28 April, 2015; v1 submitted 20 April, 2009; originally announced April 2009.

Comments: V3: 19 pages. Latex. Former Section 5 from V1 and V2 has now been removed. We thank Dr Chris Wendl and Prof. Patrick Massot for constructive remarks that have led to some reconsiderations on former Section 5 of V2. Last version appeared at Kodai Mathematical Journal

MSC Class: 53D10; 53D35; 53C50; 53C25; 57R17

Journal ref: Kodai Math. J. 38 (2015), no. 1, 228-248

Automorphisms of cotangent bundles of Lie groups

Authors: Andre Diatta, Bakary Manga

Abstract: Let G be a Lie group, $T^*G$ its cotangent bundle with its natural Lie group structure obtained by performing a left trivialization of T^*G and endowing the resulting trivial bundle with the semi-direct product, using the coadjoint action of G on the dual space of its Lie algebra. We investigate the group of automorphisms of the Lie algebra of $T^*G$. More precisely, amongst other results, we fu… ▽ More Let G be a Lie group, $T^*G$ its cotangent bundle with its natural Lie group structure obtained by performing a left trivialization of T^*G and endowing the resulting trivial bundle with the semi-direct product, using the coadjoint action of G on the dual space of its Lie algebra. We investigate the group of automorphisms of the Lie algebra of $T^*G$. More precisely, amongst other results, we fully characterize the space of all derivations of the Lie algebra of $T^*G$. As a byproduct, we also characterize some spaces of operators on G amongst which, the space J of bi-invariant tensors on G and prove that if G has a bi-invariant Riemannian or pseudo-Riemannian metric, then J is isomorphic to the space of linear maps from the Lie algebra of G to its dual space which are equivariant with respect to the adjoint and coadjoint actions, as well as that of bi-invariant bilinear forms on G. We discuss some open problems and possible applications. △ Less

Submitted 28 April, 2015; v1 submitted 18 November, 2008; originally announced November 2008.

Comments: V2: 27 pages, Latex, a few minor results added and the paper layout reorganised. The last version appeared at Afr. Diaspora J. Math

MSC Class: 22C05; 22E60; 22E15; 22E10

Journal ref: Afr. Diaspora J. Math. 17, no 2 (2014), 20-46

Perestroikas of vertex sets at umbilic points

Authors: Gianmarco Capitanio, Andre Diatta

Abstract: Mark all vertices on a curve evolving under a family of curves obtained by intersecting a smooth surface M with the 1-parameter family of planes parallel to the tangent plane to M at a point p. Those vertices trace out a set, called the vertex set of M through p. We take p to be an isolated umbilic point on M and describe the perestroikas of the vertex set under generic n-parameter small deforma… ▽ More Mark all vertices on a curve evolving under a family of curves obtained by intersecting a smooth surface M with the 1-parameter family of planes parallel to the tangent plane to M at a point p. Those vertices trace out a set, called the vertex set of M through p. We take p to be an isolated umbilic point on M and describe the perestroikas of the vertex set under generic n-parameter small deformations of the surface, as well as the corresponding discriminants. One of the main consequences of our results is that, in some sense (see Theorem 2), generically the study of the discriminants of small n-deformations, with n greater than or equal to 2, simplifies to that of 2-deformations. This work was primarily motivated by the medial representation of shapes in Computer Vision and Image Analysis, where the behaviour of vertices plays a crucial role in the qualitative changes of the skeleton or Blum medial axis of curves. On the other hand, the study of vertices of curves has raised up a great interest in particular in Geometry and Singularity Theory, in line with several problems such as the 4-vertex Theorem, the local geometry of surfaces and Geometry of Caustics. These classical subjects have received a new impulsion due to the development of Contact Geometry, especially in the works of V. Arnold on Legendrian Collapse and Legendrian Sturm Theory showing the relation between vertices of plane curves and Legendrian singularities and Sturm-Hurwitz Theorem. △ Less

Submitted 14 August, 2007; v1 submitted 14 March, 2006; originally announced March 2006.

Comments: V2: Latex, 17 pages, 9 figures. Some minor misprints added. Interesting comments from Prof. V.I. Arnold added

MSC Class: 53A04; 53A05; 53A55; 51L15; 34C23; 68U05; 14H50; 14Q05; 14Q10; 51N05

Journal ref: Funct. Anal. Other Math. 2 (2009), no 2-4, 165--178

Pre-Symmetry Sets of 3D shapes

Authors: Andre Diatta, Peter J. Giblin

Abstract: The investigation of 3D euclidean symmetry sets (SS) and medial axis is an important area, due in particular to their various important applications. The pre-symmetry set of a surface M in 3-space (resp. smooth closed curve in 2D) is the set of pairs of points which contribute to the symmetry set, that is, the closure of the set of pairs of distinct points p and q in M, for which there exists… ▽ More The investigation of 3D euclidean symmetry sets (SS) and medial axis is an important area, due in particular to their various important applications. The pre-symmetry set of a surface M in 3-space (resp. smooth closed curve in 2D) is the set of pairs of points which contribute to the symmetry set, that is, the closure of the set of pairs of distinct points p and q in M, for which there exists a sphere (resp. a circle) tangent to M at p and at q. The aim of this paper is to address problems related to the smoothness and the singularities of the pre-symmetry sets of 3D shapes. We show that the pre-symmetry set of a smooth surface in 3-space has locally the structure of the graph of a function from R^2 to R^2, in many cases of interest. △ Less

Submitted 5 May, 2005; originally announced May 2005.

Comments: ACM-class: I.2; I.5; I.4; J.2. Latex, 3 grouped figures. The final version will appear in the proceedings of the First International Workshop on Deep Structure, Singularities and Computer Vision, Maastricht June 2005

MSC Class: 53A05; 53A55; 34C23; 68U05; 14Q10; 51N05; 65D17; 34C14

Journal ref: Deep Structure, Singularities and Computer Vision. Lecture Notes in Computer Science 3753 (2005) 36-48.

Level sets of functions and symmetry sets of smooth surface sections

Authors: Andre Diatta, Peter Giblin, Brendan Guilfoyle, Wilhelm Klingenberg

Abstract: We prove that the level sets of a real C^s function of two variables near a non-degenerate critical point are of class C^[s/2] and apply this to the study of planar sections of surfaces close to the singular section by the tangent plane at hyperbolic points or elliptic points, and in particular at umbilic points. We also analyse the cases coming from degenerate critical points, corresponding t… ▽ More We prove that the level sets of a real C^s function of two variables near a non-degenerate critical point are of class C^[s/2] and apply this to the study of planar sections of surfaces close to the singular section by the tangent plane at hyperbolic points or elliptic points, and in particular at umbilic points. We also analyse the cases coming from degenerate critical points, corresponding to elliptic cusps of Gauss on a surface, where the differentiability is now reduced to C^[s/4]. However in all our applications to symmetry sets of families of plane curves, we assume the C^infty smoothness. △ Less

Submitted 19 April, 2005; originally announced April 2005.

Comments: 15 pages, Latex, 6 grouped figures. The final version will appear in Mathematics of Surfaces. Lecture Notes in Computer Science (2005)

MSC Class: 53A04; 53A05; 53A55; 34C23; 68U05; 14H50; 14Q05; 14Q10; 51N05

Journal ref: Mathematics of Surfaces. Lecture Notes in Computer Science 3604 (2005), 147-160

Vertices and inflexions of plane sections of surfaces in R^3

Authors: Andre Diatta, Peter J. Giblin

Abstract: We investigate the behaviour of vertices and inflexions on 1-parameter families of curves on smooth surfaces in the 3-space, which include a singular member. In particular, we discuss the context where the curves evolve as sections of a smooth surface by parallel planes. More precisely we will trace the patterns of inflexions and vertices (maxima and minima of curvature) on the sections of a s… ▽ More We investigate the behaviour of vertices and inflexions on 1-parameter families of curves on smooth surfaces in the 3-space, which include a singular member. In particular, we discuss the context where the curves evolve as sections of a smooth surface by parallel planes. More precisely we will trace the patterns of inflexions and vertices (maxima and minima of curvature) on the sections of a surface as the section passes through a tangential point. We also keep track on the evolution of the curvature of the curves at vertices and control its limit when the vertices collapse at singular points. In particular, we cover all the generic cases, namely when the tangential points are elliptic (A1), umbilic (A1), hyperbolic(A1), parabolic (A2) and cusp of Gauss (A3) points. This has some applications in Computer vision and is also related to interesting mathematical problems such as Legendrian collapse, foliations of surfaces, the 4-vertex Theorem or in general the behaviour of vertices and inflexions in parameter families of curves etc. △ Less

Submitted 7 October, 2005; v1 submitted 25 February, 2005; originally announced February 2005.

Comments: v2: 22 pages, Latex. Added references and comments, 10 figures. Proof of main result improved, after discussions with Prof. Terry Wall. See also: http://www.liv.ac.uk/~pjgiblin/ or http://www.liv.ac.uk/~adiatta/diatta-giblin-surf-vertices.pdf

MSC Class: 53A04; 53A05; 53A55; 51L15; 34C23; 68U05; 14H50; 14Q05; 14Q10; 51N05

Journal ref: Real and complex singularities, 71-97. Trends Math., Birkhauser, Basel, 2007

Left Invariant Contact Structures on Lie Groups

Authors: Andre Diatta

Abstract: A result from Gromov ensures the existence of a contact structure on any connected non-compact odd dimensional Lie group. But in general such structures are not invariant under left translations of the Lie group. The problem of finding which Lie groups admit a left invariant contact structure (contact Lie groups), is then still open. While Lie groups with left invariant symplectic structures are… ▽ More A result from Gromov ensures the existence of a contact structure on any connected non-compact odd dimensional Lie group. But in general such structures are not invariant under left translations of the Lie group. The problem of finding which Lie groups admit a left invariant contact structure (contact Lie groups), is then still open. While Lie groups with left invariant symplectic structures are widely studied by a number of authors (amongst which A. Lichnerowicz; E.B. Vinberg; I.I. Pjateckii-Sapiro; S. G. Gindikin; A. Medina; Ph. Revoy; M. Goze, J. Dorfmeister; K. Nakajima; etc.), contact Lie groups still remain quite unexplored. We perform a `contactization' method to construct, in every odd dimension, many contact Lie groups with a discrete centre and discuss some applications and consequences of such a construction. We give classification results in low dimensions. In any dimension greater than or equal to 7, there are infinitely many locally non-isomorphic solvable contact Lie groups. We also classify and characterize contact Lie groups having some prescribed Riemannian or semi-Riemannian structure and derive some obstructions results. △ Less

Submitted 24 September, 2004; v1 submitted 31 March, 2004; originally announced March 2004.

Comments: 17 pages, Latex. Added references, examples and comments, corrected typos

MSC Class: 53D10; 53D35; 57R17; 53C25

Classical Yang-Baxter Equation and Left Invariant Affine Geometry on Lie Groups

Authors: Andre Diatta, Alberto Medina

Abstract: Let G be a Lie group with Lie algebra $ \Cal G: = T_εG$ and $T^*G = \Cal G^* \rtimes G$ its cotangent bundle considered as a Lie group, where G acts on $\Cal G^*$ via the coadjoint action. We show that there is a 1-1 correspondance between the skew-symmetric solutions $r\in \wedge^2 \Cal G$ of the Classical Yang-Baxter Equation in G, and the set of connected Lie subgroups of $T^*G$ which carry… ▽ More Let G be a Lie group with Lie algebra $ \Cal G: = T_εG$ and $T^*G = \Cal G^* \rtimes G$ its cotangent bundle considered as a Lie group, where G acts on $\Cal G^*$ via the coadjoint action. We show that there is a 1-1 correspondance between the skew-symmetric solutions $r\in \wedge^2 \Cal G$ of the Classical Yang-Baxter Equation in G, and the set of connected Lie subgroups of $T^*G$ which carry a left invariant affine structure and whose Lie algebras are lagrangian graphs in $ \Cal G \oplus \Cal G^*$. An invertible solution r endows G with a left invariant symplectic structure and hence a left invariant affine structure. In this case we prove that the Poisson Lie tensor $π:= r^+ - r^-$ is polynomial of degree at most 2 and the double Lie groups of $(G,π)$ also carry a canonical left invariant affine structure. In the general case of (non necessarly invertible) solutions r, we supply a necessary and suffisant condition to the geodesic completness of the associated affine structure △ Less

Submitted 19 March, 2002; originally announced March 2002.

Comments: 13 pages, latex

MSC Class: 53D17; 53A15; 17B62

Journal ref: Manuscripta Math. 114 (2004), no. 4, 477-486