Some remarks on the global structure of proper Lie groupoids in low codimensions

We observe that any connected proper Lie groupoid whose orbits have codimension at most two admits a globally effective representation, i.e. one whose kernel consists only of ineffective arrows, on a smooth vector bundle. As an application, we deduce that any such groupoid can up to Morita equivalence be presented as an extension, by some bundle of compact Lie groups, of some action groupoid G?X with G compact.     

On the role of effective representations of Lie groupoids

In this paper, we undertake the study of the Tannaka duality construction for the ordinary representations of a proper Lie groupoid on vector bundles. We show that for each proper Lie groupoid G, the canonical homomorphism of G into the reconstructed groupoid T(G) is surjective, although — contrary to what happens in the case of groups — it may fail to be an isomorphism. We obtain necessary and sufficient conditions in order that G may be isomorphic to T(G) and, more generally, in order that T(G) may be a Lie groupoid. We show that if T(G) is a Lie groupoid, the canonical homomorphism G→T(G) is a submersion and the two groupoids have isomorphic categories of representations.     

On duality between étale groupoids and Hopf algebroids

For any étale Lie groupoid G over a smooth manifold M, the groupoid convolution algebra of smooth functions with compact support on G has a natural coalgebra structure over the commutative algebra which makes it into a Hopf algebroid. Conversely, for any Hopf algebroid A over we construct the associated spectral étale Lie groupoid over M such that is naturally isomorphic to G. Both these constructions are functorial, and is fully faithful left adjoint to . We give explicit conditions under which a Hopf algebroid is isomorphic to the Hopf algebroid of an étale Lie groupoid G.     

On transitive Lie bialgebroids and Poisson groupoids

We prove that, for any transitive Lie bialgebroid (A, A^∗), the differential associated to the Lie algebroid structure on A^∗ has the form d_∗=A[Λ,⋅]+Ω, where Λ is a section of ^∧2A and Ω is a Lie algebroid 1-cocycle for the adjoint representation of A. Globally, for any transitive Poisson groupoid (Γ,Π), the Poisson structure has the form , where ΠF is a bivector field on Γ associated to a Lie groupoid 1-cocycle.     

Orbifolds and groupoids

We define a 2-category structure (Pre-Orb) on the category of reduced complex orbifold atlases. We construct a 2-functor F from (Pre-Orb) to the 2-category (Grp) of proper étale effective groupoid objects over the complex manifolds. Both on (Pre-Orb) and (Grp) there are natural equivalence relations on objects: (a natural extension of) equivalence of orbifold atlases on (Pre-Orb) and Morita equivalence in (Grp). We prove that F induces a bijection between the equivalence classes of its source and target.     

Basic forms and Morse–Novikov cohomology of Lie groupoids

Given a basic closed 1‐form on a Lie groupoid , the Morse–Novikov cohomology groups are defined in this paper. They coincide with the usual de Rham cohomology groups when θ is exact and with the usual Morse–Novikov cohomology groups when is the unit groupoid generated by a smooth manifold M. We prove that the Morse–Novikov cohomology groups are invariant under Morita equivalences of Lie groupoids. On orbifold groupoids, we show that these groups are isomorphic to sheaf cohomology groups. Finally, when θ is not exact, we extend a vanishing theorem from smooth manifolds to orbifold groupoids.     

Constructing an atlas for the diffeomorphism group of a compact manifold with boundary,with application to the analysis of image registrations

This paper considers the problem of defining a parameterization (chart) on the group of diffeomorphisms with compact support, motivated primarily by a problem in image registration, where diffeomorphic warps are used to align images. Constructing a chart on the diffeomorphism group will enable the quantitative analysis of these warps to discover the normal and abnormal variation of structures in a population.     

Lie groupoids and their natural transformations

We discuss natural transformations in the context of Lie groupoids, and their infinitesimal counterpart. Our main result is an integration procedure that provides smooth natural transformations between Lie groupoid morphisms.     

Lie solutions of Riemannian transport equations on compact manifolds

Given a couple of smooth positive measures of same total mass on a compact Riemannian manifold, the associated optimal transport equation admits a symplectic Monge-Ampère structure, hence Lie solutions (in a restricted sense, though, still expressing measure-transport). Properties of such solutions are recorded; a structure result is obtained for regular ones (each consisting of a closed 1-form composed with a diffeomorphism) and a quadratic cost-functional proposed for them.     

On the integrability of Lie subalgebroids

Let G be a Lie groupoid with Lie algebroid g. It is known that, unlike in the case of Lie groups, not every subalgebroid of g can be integrated by a subgroupoid of G. In this paper we study conditions on the invariant foliation defined by a given subalgebroid under which such an integration is possible. We also consider the problem of integrability by closed subgroupoids, and we give conditions under which the closure of a subgroupoid is again a subgroupoid.     

On the developability of Lie subalgebroids

For a Lie groupoid G with algebroid g, one says that a subalgebroid h⊂g is developable if it can be integrated to a closed Lie subgroupoid of the universal covering groupoid of G. Under some additional hypotheses, we construct an algebroid b, depending on G and h, and prove that the developability of h is equivalent to the integrability of b. This result extends the Almeida-Molino obstruction to developability of foliations.     

Semidirect products of internal groupoids

We give a characterization of those finitely complete categories with initial object and pushouts of split monomorphisms that admit categorical semidirect products. As an application we examine the case of groupoids with fixed set of objects. Further, we extend this to the internal case.     

Subelliptic operators on Lie groups: Variable coefficients

Let G be a Lie group with Lie algebra g and a _i,...,a _d and algebraic basic of g. Futher, if A _i=dL(a_i) are the corresponding generators of left translations by G on one of the usual function spaces over G, let% MathType!MTEF!2!1!+-% feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn% hiov2DGi1BTfMBaeXafv3ySLgzGmvETj2BSbqefm0B1jxALjhiov2D% aebbfv3ySLgzGueE0jxyaibaiGc9yrFr0xXdbba91rFfpec8Eeeu0x% Xdbba9frFj0-OqFfea0dXdd9vqaq-JfrVkFHe9pgea0dXdar-Jb9hs% 0dXdbPYxe9vr0-vr0-vqpWqaaeaabiGaciaacaqabeaadaqaaqGaaO% qaamXvP5wqonvsaeHbfv3ySLgzaGqbciab-Heaijaab2dadaaeqbqa% aiaadogadaWgaaWcbaqedmvETj2BSbacgmGae4xSdegabeaakiaadg% eadaahaaWcbeqaaiab+f7aHbaaaeaacqGFXoqycaGG6aGaaiiFaiab% +f7aHjaacYhatuuDJXwAK1uy0HMmaeXbfv3ySLgzG0uy0HgiuD3BaG% Wbbiab9rMiekaaikdaaeqaniabggHiLdaaaa!5EC1!\[H{\rm{ = }}\sum\limits_{\alpha :|\alpha | \le 2} {c_\alpha A^\alpha } \] be a second-order differential operator with real bounded coefficients c . The operator is defined to be subelliptic if% MathType!MTEF!2!1!+-% feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn% hiov2DGi1BTfMBaeXafv3ySLgzGmvETj2BSbqefm0B1jxALjhiov2D% aebbfv3ySLgzGueE0jxyaibaiGc9yrFr0xXdbba91rFfpec8Eeeu0x% Xdbba9frFj0-OqFfea0dXdd9vqaq-JfrVkFHe9pgea0dXdar-Jb9hs% 0dXdbPYxe9vr0-vr0-vqpWqaaeaabiGaciaacaqabeaadaqaaqGaaO% qaaiGacMgacaGGUbGaaiOzamXvP5wqonvsaeHbfv3ySLgzaGqbaKaz% aasacqWF7bWEcqWFTaqlkmaaqafabaGaam4yamaaBaaaleaarmWu51% MyVXgaiyWacqGFXoqyaeqaaaqaaiab+f7aHjaacQdacaGG8bGae4xS% deMaaiiFaiabg2da9iaaikdaaeqaniabggHiLdGccqWFOaakiuGacq% qFNbWzcqWFPaqkcqaH+oaEdaahaaWcbeqaamaaBaaameaacqGFXoqy% aeqaaaaakiaacUdacqqFNbWzcqGHiiIZcqqFhbWrcqqFSaalcqqFGa% aicqaH+oaEcqGHiiIZrqqtubsr4rNCHbachaGaeWxhHe6aaWbaaSqa% beaacqqFKbazcqqFNaWjcqaFaC-jaaGccaGGSaGaaiiFaiabe67a4j% aacYhacqGH9aqpjqgaGeGae8xFa0NccqGH+aGpcaaIWaGaaiOlaaaa% !7884!\[\inf \{ - \sum\limits_{\alpha :|\alpha | = 2} {c_\alpha } (g)\xi ^{_\alpha } ;g \in G, \xi \in ^{d'} ,|\xi | = \} > 0.\]We prove that if the principal coefficients {c ; ||=2} of the subelliptic operator are once left differentiable in the directions a ₁,...,a _d with bounded derivatives, then the operator has a family of semigroup generator extensions on the L _p-spaces with respect to left Haar measure dg, or right Haar measure d, and the corresponding semigroups S are given by a positive integral kernel,% MathType!MTEF!2!1!+-% feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn% hiov2DGi1BTfMBaeXafv3ySLgzGmvETj2BSbqefm0B1jxALjhiov2D% aebbfv3ySLgzGueE0jxyaibaiGc9yrFr0xXdbba91rFfpec8Eeeu0x% Xdbba9frFj0-OqFfea0dXdd9vqaq-JfrVkFHe9pgea0dXdar-Jb9hs% 0dXdbPYxe9vr0-vr0-vqpWqaaeaabiGaciaacaqabeaadaqaaqGaaO% qaamXvP5wqonvsaeHbfv3ySLgzaGqbaiab-HcaOGqbciab+nfatnaa% BaaaleaacaWG0baabeaaruqqYLwySbacgiGccaqFgpGae8xkaKIae8% hkaGIae43zaCMae8xkaKIae8xpa0Zaa8qeaeaacaqGKbaaleaacqGF% hbWraeqaniabgUIiYdGcceWGObGbaKaacaWGlbWaaSbaaSqaaiaads% haaeqaaOGae8hkaGIae43zaCMae43oaSJae4hAaGMae8xkaKIaa0NX% diab-HcaOiab+HgaOjab-LcaPiab-5caUaaa!5DFA!\[(S_t \phi )(g) = \int_G {\rm{d}} \hat hK_t (g;h)\phi (h).\]The semigroups are holomorphic and the kernel satisfies Gaussian upper bounds. If in addition the coefficients with ||=2 are three times differentiable and those with ||=1 are once differentiable, then the kernel also satisfies Gaussian lower bounds.Some original features of this article are the use of the following: a priori inequalities on L in Section 3, fractional operator expansions for resolvent estimates in Section 4, a parametrix method based on reduction to constant coefficient operators on the Lie group rather than the usual Euclidean space in Section 5, approximation theory of semigroups in Section 11 and time dependent perturbation theory to treat the lower order terms of H in Sections 11 and 12.     

Towards a 2-dimensional notion of holonomy

Previous work (Pradines, C. R. Acad. Sci. Paris 263 (1966) 907; Aof and Brown, Topology Appl. 47 (1992) 97) has given a setting for a holonomy Lie groupoid of a locally Lie groupoid. Here we develop analogous 2-dimensional notions starting from a locally Lie crossed module of groupoids. This involves replacing the Ehresmann notion of a local smooth coadmissible section of a groupoid by a local smooth coadmissible homotopy (or free derivation) for the crossed module case. The development also has to use corresponding notions for certain types of double groupoids. This leads to a holonomy Lie groupoid rather than double groupoid, but one which involves the 2-dimensional information.     

Symplectic duality of symmetric spaces

Let M⊂Cn be a complex n-dimensional Hermitian symmetric space endowed with the hyperbolic form ωhyp. Denote by (M^∗,ωFS) the compact dual of (M,ωhyp), where ωFS is the Fubini-Study form on M^∗. Our first result is Theorem 1.1 where, with the aid of the theory of Jordan triple systems, we construct an explicit symplectic duality, namely a diffeomorphism satisfying and for the pull-back of ΨM, where ω₀ is the restriction to M of the flat Kähler form of the Hermitian positive Jordan triple system associated to M. Amongst other properties of the map ΨM, we also show that it takes (complete) complex and totally geodesic submanifolds of M through the origin to complex linear subspaces of Cn. As a byproduct of the proof of Theorem 1.1 we get an interesting characterization (Theorem 5.3) of the Bergman form of a Hermitian symmetric space in terms of its restriction to classical complex and totally geodesic submanifolds passing through the origin.     

On the connection theory of extensions 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.     

Symmetries and conservation laws of partial differential equations: Basic notions and results

The main notions and results which are necessary for finding higher symmetries and conservation laws for general systems of partial differential equations are given. These constitute the starting point for the subsequent papers of this volume. Some problems are also discussed.     

Nonlocal trends in the geometry of differential equations: Symmetries,conservation laws,and Bäcklund transformations

The theory of coverings over differential equations is exposed which is an adequate language for describing various nonlocal phenomena: nonlocal symmetries and conservation laws, Bäcklund transformations, prolongation structures, etc. A notion of a nonlocal cobweb is introduced which seems quite useful for dealing with nonlocal objects.