arXiv subjects

Gabriel Araújo

Publications and source records attributed to Gabriel Araújo.

10 recordsLinked to original sources

arXiv2026

Global properties of the differential complex associated to closed, nonsingular $1$-forms on compact manifolds

Given a closed, real, non-singular 1-form on a compact manifold $Ω$, global properties of the associated differential complex are studied. We completely characterize global solvability in the first and last levels of the complex. Furthermore, in the particular case where the $1$-form is rational, we prove global solvability for every degree and give a complete description of the cohomology spaces. Finally, a complete characterization for global hypoellipticity is obtained, building on the work of A. Meziani (Comm. PDE., 2002). In all cases, it is shown that the conditions depend exclusively on the arithmetic nature of the form's periods.

math.AP↗

arXiv2026

Real involutive systems on compact Lie groups

On a compact connected Lie group $G$, we study the global solvability and the cohomology spaces of the differential complex associated with an essentially real involutive structure that is invariant under left translations. We prove that solvability in the first degree of the complex implies solvability in all other degrees, and furnish a converse for this fact under a certain commutativity hypothesis (that always holds when $G$ is a torus). Additionally, it is proved that the solvability holds when the structure comes from the Lie algebra of a closed subgroup of $G$. We also investigate real tube structures when $G$ is the base manifold.

math.AP↗

arXiv2023

Global solvability and cohomology of tube structures on compact manifolds

We introduce new techniques to study the differential complexes associated to tube structures on $M \times \mathbb{T}^m$ of corank $m$, in which $M$ is a compact manifold and $\mathbb{T}^m$ is the $m$-torus. By systematically employing partial Fourier series, for complex tube structures, we completely characterize global solvability, in a given degree, in terms of a weak form of hypoellipticity, thus generalizing existing results and providing a broad answer to an open problem proposed by Hounie and Zugliani (2017). We also obtain new results on the finiteness of the cohomology spaces in intermediate degrees. In the case of real tube structures, we extend an isomorphism for the cohomology spaces originally obtained by Dattori da Silva and Meziani (2016) in the case $M = \mathbb{T}^n$. Moreover, we establish necessary and sufficient conditions for the differential operator to have closed range in the first degree.

math.AP↗

arXiv2021

Global analytic hypoellipticity and solvability of certain operators subject to group actions

On $T \times G$, where $T$ is a compact real-analytic manifold and $G$ is a compact Lie group, we consider differential operators $P$ which are invariant by left translations on $G$ and are elliptic in $T$. Under a mild technical condition, we prove that global hypoellipticity of $P$ implies its global analytic-hypoellipticity (actually Gevrey of any order $s \geq 1$). We also study the connection between the latter property and the notion of global analytic (resp. Gevrey) solvability, but in a much more general setup.

math.AP↗

arXiv2020

Global solvability and propagation of regularity of sums of squares on compact manifolds

We investigate global solvability, in the framework of smooth functions and Schwartz distributions, of certain sums of squares of vector fields defined on a product of compact Riemannian manifolds $T \times G$, where $G$ is further assumed to be a Lie group. As in a recent article due to the authors, our analysis is carried out in terms of a system of left-invariant vector fields on $G$ naturally associated with the operator under study, a simpler object which nevertheless conveys enough information about the original operator so as to fully encode its solvability. As a welcome side effect of the tools developed for our main purpose, we easily prove a general result on propagation of regularity for such operators.

math.AP↗

arXiv2020

Global hypoellipticity of sums of squares on compact manifolds

In this work, we present necessary and sufficient conditions for an operator of the type sum of squares to be globally hypoelliptic on a product of compact Riemannian manifolds $T \times G$, where $G$ is also a Lie group. These new conditions involve the global hypoellipticity of a system of vector fields and are weaker than Hörmander's condition, at the same time that they generalize the well known Diophantine conditions on the torus. We were also able to provide examples of operators satisfying these conditions in the general setting.

math.AP↗

arXiv2019

Periodic trajectory tracking for control-affine driftless systems on compact Lie groups

We treat the periodic trajectory tracking problem: given a periodic trajectory of a control-affine, left-invariant driftless system in a compact and connected Lie group $G$ and an initial condition in $G$, find another trajectory of the system satisfying the initial condition given and that asymptotically tracks the periodic trajectory. We solve this problem locally (for initial conditions in a neighborhood of some point of the periodic trajectory) when $G$ is semisimple and the system is Lie-determined (i.e. controllable), and only for a class of periodic trajectories (which we call regular). Finally we present a set of sufficient conditions to ensure the existence of such trajectories.

math.OC↗

arXiv2019

Computing cohomology spaces of left-invariant involutive structures on $\mathrm{SU}(2)$: examples

In these notes we study left-invariant involutive structures on $\mathrm{SU}(2)$, the most naïve non-commutative compact Lie group. We determine closedness of the range (in the smooth topology) of a single complex vector field spanning the standard CR structure of $\mathrm{SU}(2)$ and also compute the smooth cohomology spaces of a corank $1$ structure. In our approach, it is fundamental to understand concretely the irreducible representations of the ambient Lie group and how left-invariant vector fields operate on their matrix coefficients (which we borrow from the book of Ruzhansky and Turunen (2010)). Our purpose is solely to provide some easy applications of the theory developed in a previous paper (2019), as the results shown here can probably be obtained by more direct methods.

math.DG↗

arXiv2019

Global regularity and solvability of left-invariant differential systems on compact Lie groups

We are interested in global properties of systems of left-invariant differential operators on compact Lie groups: regularity properties, properties on the closedness of the range and finite dimensionality of their cohomology spaces, when acting on various function spaces e.g. smooth, analytic and Gevrey. Extending the methods of Greenfield and Wallach (1973) to systems, we obtain abstract characterizations for these properties and use them to derive some generalizations of results due to Greenfield (1972), Greenfield and Wallach (1972), as well as global versions of a result of Caetano and Cordaro (2011) for involutive structures.

math.AP↗

arXiv2018

Regularity and solvability of linear differential operators in Gevrey spaces: omitted proofs

This is an addendum to a previous article, which aims to provide the proofs of some results in that paper (Theorem 7.5 and Proposition 9.15) which were removed from its final version. The reason for such omission is that these proofs follow quite closely others already present in the literature, with minor modifications. I make them publicly available for the sake of completeness.

math.AP↗