arXiv subjects

Iakovos Androulidakis

Publications and source records attributed to Iakovos Androulidakis.

At least 19 recordsLinked to original sources

arXiv2025

Integration of singular subalgebroids by diffeological groupoids

We establish an integration theory for singular subalgebroids, by diffeological groupoids. To do so, we single out a class of diffeological groupoids satisfying specific properties, and we introduce a differentiation-integration procedure under which they correspond to singular subalgebroids. Our definition of integration distinguishes the holonomy groupoid from the graph, although both differentiate to the original singular subalgebroid: the holonomy groupoid satisfies a certain submersive property, while the graph does not.

math.DG↗

arXiv2023

On a remark by Alan Weinstein

Alan Weinstein remarked that, working in the framework of diffeology, a construction from Noncommutative Differential Geometry might provide the non-trivial representations required for the geometric quantisation of a symplectic structure which is not integral. In this note we show that the construction we gave with P. Antonini does indeed provide non-trivial representations.

math.DG↗

arXiv2022

A pseudodifferential calculus for maximally hypoelliptic operators and the Helffer-Nourrigat conjecture

We extend the classical regularity theorem of elliptic operators to maximally hypoelliptic differential operators. More precisely, given vector fields $X_1,\ldots,X_m$ on a smooth manifold which satisfy Hörmander's bracket generating condition, we define a principal symbol for \textit{any} linear differential operator. Our symbol takes into account the vector fields $X_i$ and their commutators. We show that for an arbitrary differential operator, its principal symbol is invertible if and only if the operator is maximally hypoelliptic. This answers affirmatively a conjecture due to Helffer and Nourrigat. Our result is proven in a more general setting, where we allow each one of the vector fields $X_1,\ldots,X_m$ to have an arbitrary weight. In particular, our theorem generalizes Hörmander's sum of squares theorem to higher order polynomials.

math.AP↗

arXiv2021

Singular subalgebroids

We introduce singular subalgebroids of an integrable Lie algebroid, extending the notion of Lie subalgebroid by dropping the constant rank requirement. We lay the bases of a Lie theory for singular subalgebroids: we construct the associated holonomy groupoids, adapting the procedure of Androulidakis-Skandalis for singular foliations, in a way that keeps track of the choice of Lie groupoid integrating the ambient Lie algebroid. The holonomy groupoids are topological groupoids, and are suitable for noncommutative geometry as they allow for the construction of the associated convolution algebras. Further we carry out the construction for morphisms in a functorial way.

math.DG↗

arXiv2021

Coordinates for non-integrable Lie algebroids

We construct local coordinates for the Weinstein groupoid of a non-integrable Lie algebroid. To this end, we reformulate the notion of bi-submersion in a completely algebraic way and prove the existence of bi-submersions as such for the Weinstein groupoid. This implies that a $C^*$-algebra can be attached to every Lie algebroid.

math.DG↗

arXiv2020

The convolution algebra of Schwarz kernels on a singular foliation

Motivated by the study of Hörmander's sums-of-squares operators and their generalizations, we define the convolution algebra of transverse distributions associated to a singular foliation. We prove that this algebra is represented as continuous linear operators on the spaces of smooth functions and generalized functions on the underlying manifold, and on the leaves and their holonomy covers. This generalizes Schwartz kernel operators to singular foliations. We also define the algebra of smoothing operators in this context and prove that it is a two-sided ideal.

math.AP↗

arXiv2019

Laplacians on generalized smooth distributions as $C^*$-algebra multipliers

In this paper, we discuss spectral properties of Laplacians associated with an arbitrary smooth distribution on a compact manifold. First, we give a survey of results on generalized smooth distributions on manifolds, Riemannian structures and associated Laplacians. Then, under the assumption that the singular foliation generated by the distribution is regular, we prove that the Laplacian associated with the distribution defines an unbounded multiplier on the foliation $C^*$-algebra. To this end, we give the construction of a parametrix.

math.DG↗

arXiv2018

Riemannian metrics and Laplacians for generalised smooth distributions

We show that any generalised smooth distribution on a smooth manifold, possibly of non-constant rank, admits a Riemannian metric. Using such a metric, we attach a Laplace operator to any smooth distribution as such. When the underlying manifold is compact, we show that it is essentially self-adjoint. Viewing this Laplacian in the longitudinal pseudodifferential calculus of the smallest singular foliation which includes the distribution, we prove hypoellipticity.

math.DG↗

arXiv2017

Integrable lifts for transitive Lie algebroids

Inspired by the work of Molino, we show that the integrability obstruction for transitive Lie algebroids can be made to vanish by adding extra dimensions. In particular, we prove that the Weinstein groupoid of a non-integrable transitive and abelian Lie algebroid, is the quotient of a finite dimensional Lie groupoid. Two constructions as such are given: First, explaining the counterexample to integrability given by Almeida and Molino, we see that it can be generalized to the construction of an "Almeida-Molino" integrable lift when the base manifold is simply connected. On the other hand, we notice that the classical de Rham isomorphism provides a universal integrable algebroid. Using it we construct a "de Rham" integrable lift for any given transitive Abelian Lie algebroid.

math.DG↗

arXiv2017

Almost regular Poisson manifolds and their holonomy groupoids

We look at Poisson geometry taking the viewpoint of singular foliations, understood as suitable submodules generated by Hamiltonian vector fields rather than partitions into (symplectic) leaves. The class of Poisson structures which behave best from this point of view, are those whose submodule generated by Hamiltonian vector fields arises from a smooth holonomy groupoid. We call them almost regular Poisson structures and determine them completely. They include regular Poisson and log symplectic manifolds, as well as several other Poisson structures whose symplectic foliation presents singularities. We show that the holonomy groupoid associated with an almost regular Poisson structure is a Poisson groupoid, integrating a naturally associated Lie bialgebroid. The Poisson structure on the holonomy groupoid is regular, and as such it provides a desingularization. The holonomy groupoid is "minimal" among Lie groupoids which give rise to the submodule generated by Hamiltonian vector fields. This implies that, in the case of log-symplectic manifolds, the holonomy groupoid coincides with the symplectic groupoid constructed by Gualtieri and Li. Last, we focus on the integrability of almost regular Poisson manifolds and exhibit the role of the second homotopy group of the source-fibers of the holonomy groupoid.

math.SG↗

arXiv2016

A Baum-Connes conjecture for singular foliations

We consider singular foliations whose holonomy groupoid may be nicely decomposed using Lie groupoids (of unequal dimension). We show that the Baum-Connes conjecture can be formulated in this setting. This conjecture is shown to hold under assumptions of amenability. We examine several examples that can be described in this way and make explicit computations of their K-theory.

math.KT↗

arXiv2014

Holonomy transformations for singular foliations

In order to understand the linearization problem around a leaf of a singular foliation, we extend the familiar holonomy map from the case of regular foliations to the case of singular foliations. To this aim we introduce the notion of holonomy transformation. Unlike the regular case, holonomy transformations can not be attached to classes of paths in the foliation, but rather to elements of the holonomy groupoid of the singular foliation. This assignment is injective. Holonomy transformations allow us to link the linearization problem with the compactness of the isotropy group of the holonomy groupoid, as well as with the linearization problem for proper Lie groupoids.

math.DG↗

arXiv2011

Smoothness of holonomy covers for singular foliations and essential isotropy

Given a singular foliation, we attach an "essential isotropy" group to each of its leaves, and show that its discreteness is the integrability obstruction of a natural Lie algebroid over the leaf. We show that a condition ensuring discreteness is the local surjectivity of a transversal exponential map associated with the maximal ideal of vector fields prescribed to be tangent to the foliation. The essential isotropy group is also shown to control the smoothness of the holonomy cover of the leaf (the associated fiber of the holonomy groupoid), as well as the {smoothness} of the associated isotropy group. Namely, the (topological) closeness of the essential isotropy group is a necessary and sufficient condition for the holonomy cover to be a smooth (finite-dimensional) manifold and the isotropy group to be a Lie group. These results are useful towards understanding the normal form of a singular foliation around a compact leaf. At the end of this article we briefly outline work of ours on this normal form, to be presented in a subsequent paper.

math.DG↗

arXiv2010

The analytic index of elliptic pseudodifferential operators on a singular foliation

In previous papers (arxiv:math/0612370 and arxiv:0909.1342) we defined the C*-algebra and the longitudinal pseudodifferential calculus of any singular foliation (M,F). Here we construct the analytic index of an elliptic operator as a KK-theory element, and prove that the same element can be obtained from an "adiabatic foliation" TF on $M \times \R$, which we introduce here.

math.OA↗

arXiv2009

Pseudodifferential calculus on a singular foliation

In a previous paper ([1]), we associated a holonomy groupoid and a C*-algebra to any singular foliation (M,F). Using these, we construct the associated pseudodifferential calculus. This calculus gives meaning to a Laplace operator of any singular foliation F on a compact manifold M, and we show that it can be naturally understood as a positive, unbounded, self-adjoint operator on L2(M).

math.DG↗

arXiv2007

The holonomy groupoid of a singular foliation

We construct the holonomy groupoid of any singular foliation. In the regular case this groupoid coincides with the usual holonomy groupoid of Winkelnkemper (1983); the same holds in the singular cases of Bigonnet and Pradines (1985) and Debord (2001), which from our point of view can be thought of as being "almost regular". In the general case, the holonomy groupoid can be quite an ill behaved geometric object. On the other hand it often has a nice longitudinal smooth structure. Nonetheless, we use this groupoid to generalize to the singular case Connes' construction of the C*-algebra of the foliation. We also outline the construction of a longitudinal pseudo-differential calculus; the analytic index of a longitudinally elliptic operator takes place in the K-theory of our C*-algebra. In our construction, the key notion is that of a bi-submersion which plays the role of a local Lie groupoid defining the foliation. Our groupoid is the quotient of germs of these bi-submersions with respect to an appropriate equivalence relation.

math.DG↗

arXiv2006

Crossed modules and the integrability of Lie brackets

We show that the integrability obstruction of a transitive Lie algebroid coincides with the lifting obstruction of a crossed module of groupoids associated naturally with the given algebroid. Then we extend this result to general extensions of integrable transitive Lie algebroids by Lie algebra bundles. Such a lifting obstruction is directly related with the classification of extensions of transitive Lie groupoids. We also give a classification of such extensions which differentiates to the classification of transitive Lie algebroids discussed in \cite{KCHM:new}.

math.DG↗

arXiv2005

On the connection theory of transitive Lie groupoids

Due to a result by Mackenzie, extensions of transitive Lie groupoids are equivalent to certain Lie groupoids which admit an action of a Lie group. This paper is a treatment of the equivariant connection theory and holonomy of such groupoids, and shows that such connections give rise to the transition data necessary for the classification of their respective Lie algebroids.

math.DG↗