Related papers: Metrizable linear connections in a Lie algebroid

We give a sufficient condition for a Borel subset $E\subset X$ of a complete metric space with $\mathcal{H}^n(E)<\infty$ to be $n$-rectifiable. This condition involves a decomposition of $E$ into rectifiable curves known as an Alberti…

We present a formalization, in the theorem prover Lean, of the classification of solvable Lie algebras of dimension at most three over arbitrary fields. Lie algebras are algebraic objects which encode infinitesimal symmetries, and as such…

A locally metric connection on a smooth manifold $M$ is a torsion-free connection $D$ on $TM$ with compact restricted holonomy group $\mathrm{Hol}_0(D)$. If the holonomy representation of such a connection is irreducible, then $D$ preserves…

A finite dimensional Lie algebra L with magic number c(L) is said to satisfy Rentschler's property if it admits an abelian Lie subalgebra H of dimension at least c(L) - 1. We study the occurrence of this new property in various Lie…

Manifolds have uses throughout and beyond Mathematics and it is not surprising that topologists have expended a huge effort in trying to understand them. In this article we are particularly interested in the question: `when is a manifold…

A class A of labelled graphs is bridge-addable if for all graphs G in A and all vertices u and v in distinct connected components of G, the graph obtained by adding an edge between u and u is also in A; the class A is monotone if for all G…

We prove that a holomorphic Lie algebroid is integrable if, and only if, its underlying real Lie algebroid is integrable. Thus the integrability criteria of Crainic-Fernandes do also apply in the holomorphic context without any…

We study a sequence of connections which is associated with a Riemannian metric and an almost symplectic structure on a manifold. We prove that if this sequence is trivial (i.e. constant) or 2-periodic, then the manifold has a canonical…

Lineability is a property enjoyed by some subsets within a vector space X. A subset A of X is called lineable whenever A contains, except for zero, an infinite dimensional vector subspace. If, additionally, X is endowed with richer…

The set of points of a one-dimensional cut-and-project quasicrystal or model set, while not additive, is shown to be multiplicative for appropriate choices of acceptance windows. This leads to the definition of an associative additive…

Let $f \colon X \rightarrow Y$ be a resolvable-measurable mapping of a metrizable space $X$ to a regular space $Y$. Then $f$ is piecewise continuous. Additionally, for a metrizable completely Baire space $X$, it is proved that $f$ is…

Using a almost product structure defined by a spray, we give a necessary and sufficient condition, for a linear connection with vanishing torsion to be Riemannian and, for the semi-simplicity of Lie algebra of projectable vector fields…

We give criteria for finite dimensionality or infinite dimensionality of the polynomial centralizer of the Lie algebra of a linear Lie group, in terms of invariants and relative invariants of the group. In the finite dimensional scenario…

A Hessian manifold $(M,D,g)$ is a manifold $M$ with a flat connection $D$ and a Riemannian or pseudo-Riemannian metric $g$ that is locally of the form $D^2 f$ for some function $f$. On a Hessian manifold $(M,D,g)$, we define a hybrid…

This paper verifies a conjecture of Edelman and Reiner regarding the homology of the $h$-complex of a Boolean algebra. A discrete Morse function with no low-dimensional critical cells is constructed, implying a lower bound on connectivity.…

In this paper, we characterize the accessibility of discrete-time linear control systems on Lie groups. Using an exceptional notion of derivative, we construct a subalgebra $\mathfrak{h}$ based on the infinitesimal automorphism of the…

Motivated by a search for Lie group structures on groups of Poisson diffeomorphisms [24], we investigate linearizability of Poisson structures of Poisson groupoids around the unit section. After extending the Lagrangian neighbourhood…

Solvable Lie algebras having at least one Abelian descending central ideal are studied. It is shown that all such Lie algebras can be built up from canonically defined ideals. The nature of such ideals is elucidated and their construction…

After a short review of the classical Lie theorem, a finite dimensional Lie algebra of vector fields is considered and the most general conditions under which the integral curves of one of the fields can be obtained by quadratures in a…

We prove that Leibniz homology of Lie algebras can be described as functor homology in the category of linear functors from a category associated to the Lie operad.