Number theoretic techniques in the theory of Lie groups and differential geometry
Gopal Prasad, Andrei S. Rapinchuk
备注：
This is a slightly revised version of a survey article published in the Proceedings of the International Congress of Chinese Mathematicians held in 2007
The purpose of this article is to present a survey of our recent results on length commensurable and isospectral locally symmetric spaces. The geometric questions led us to the notion of "weak commensurability" of two Zariski-dense subgroups in a semi-simple Lie group. We have shown that for arithmetic subgroups, weak commensurability has surprisingly strong consequences. Our proofs make use of p-adic techniques and results from algebraic and transcendental number theory.
A new category of Lie algebras, called generalized Lie algebras, is presented such that classical Lie algebras and Lie-Rinehart algebras are objects of this new category. A new philosophy over generalized Lie algebroids theory is presented using the notion of generalized Lie algebra and examples of objects of the category of generalized Lie algebroids are presented. An exterior differential calculus on generalized Lie algebras is pre- sented and a theorem of Maurer-Cartan type is obtained. Supposing that any submodule(vector subbundle) of a generalized Lie algebra(algebroid) is an interior alg…
In this paper we discuss the question of integrating differential graded Lie algebras (DGLA) to differential graded Lie groups (DGLG). We first recall the classical problem of integration in the context, and present the construction for (non-graded) differential Lie algebras. Then, we define the category of differential graded Lie groups and study its properties. We show how to associate a differential graded Lie algebra to every differential graded Lie group and vice-versa. For the DGLA $\to$ DGLG direction, the main ``tools'' are graded Hopf algebras and Harish-Chandra pairs (HCP) -- we defi…
In this paper we investigate the relations between semispray, nonlinear connection, dynamical covariant derivative and Jacobi endomorphism on Lie algebroids. Using these geometric structures, we study the symmetries of second order differential equations in the general framework of Lie algebroids.
An exterior differential calculus in the general framework of generalized Lie algebroids is presented. A theorem of Maurer-Cartan type is obtained. All results with details proofs are presented and a new point of view over exterior differential calculus for Lie algebroids is obtained. Using the theory of linear connections of Ehresmann type presented in the firstt reference, the identities of Cartan and Bianchi type are presented. Supposing that any vector subbundle of the pull-back Lie algebroid of a generalized Lie algebroid is interior differential system (IDS) for that generalized Lie alge…
In this note we study the analytical index of pseudo-differential operators by using the notion of (infinite dimensional) operator-valued symbols (in the sense of Ruzhansky and Turunen). Our main tools will be the McKean-Singer index formula together with the operator-valued functional calculus developed here.
The theory of Lie remarkable equations, i.e. differential equations characterized by their Lie point symmetries, is reviewed and applied to ordinary differential equations. In particular, we consider some relevant Lie algebras of vector fields on $\mathbb{R}^k$ and characterize Lie remarkable equations admitted by the considered Lie algebras.
Differential geometry of the quantum Lie superalgebra of the extended quantum superplane and its Z$_2$-graded Hopf algebra structure is obtained. Its Z$_2$-graded dual Hopf algebra is also given.
The space of differential operators acting on skewsymmetric tensor fields or on smooth forms of a smooth manifold are representations of its Lie algebra of vector fields. We compute the first cohomology spaces of these representations and show how they are related to the cohomology with coefficients in ther space of smooth functions of the manifold.
A theorem of Maurer-Cartan type for Lie algebroids is presented. Suppose that any vector subbundle of a Lie algebroid is called interior differential system (IDS) for that Lie algebroid. A theorem of Cartan type is obtained. Extending the classical notion of exterior differential system (EDS) to Lie algebroids, a theorem of Cartan type is obtained.
Let $M$ be a smooth manifold, $\cal S$ the space of polynomial on fibers functions on $T^*M$ (i.e., of symmetric contravariant tensor fields). We compute the first cohomology space of the Lie algebra, $Vect(M)$, of vector fields on $M$ with coefficients in the space of linear differential operators on $\cal S$. This cohomology space is closely related to the $Vect(M)$-modules, ${\cal D}_λ(M)$, of linear differential operators on the space of tensor densities on $M$ of degree $λ$.
A rather simple natural outer derivation of the graded Lie algebra of all vector valued differential forms with the Frölicher-Nijenhuis bracket turns out to be a differential and gives rise to a cohomology of the manifold, which is functorial under local diffeomorphisms. This cohomology is determined as the direct product of the de Rham cohomology space and the graded Lie algebra of "traceless" vector valued differential forms, equipped with a new natural differential concomitant as graded Lie bracket. We find two graded Lie algebra structures on the space of differential forms. Some consequen…
Let g be a simplicial Lie algebra with Moore complex Ng of length k. Let G be the simplicial Lie group integrating g, which is simply connected in each simplicial level. We use the 1-jet of the classifying space of G to construct, starting from g, a Lie k-algebra L. The so constructed Lie k-algebra L is actually a differential graded Lie algebra. The differential and the brackets are explicitly described in terms (of a part) of the corresponding k-hypercrossed complex structure of Ng. The result can be seen as a geometric interpretation of Quillen's (purely algebraic) construction of the adjun…
A general theory of rigid completely integrable analytic partial differential equations is endeavoured. The tube over the light cone in C^3 is shown to be the unique model (up to biholomorphisms) having CR automorphism group of maximal dimension equal to 10. Explicit formulas for the Lie prolongation of vector fields to jets spaces are derived.
Groupoids provide a more appropriate framework for differential geometry than principal bundles. Synthetic differential geometry is the avant-garde branch of differential geometry, in which nilpotent infinitesimals are available in abundance. The principal objective in this paper is to show within our favorite framework of synthetic differential geometry that the tangent space of the group of bisections of a microlinear groupoid at its identity is naturally a Lie algebra. We give essentially distinct two proofs for its Jacobi identity.
Given a group action, known by its infinitesimal generators, we exhibit a complete set of syzygies on a generating set of differential invariants. For that we elaborate on the reinterpretation of Cartan's moving frame by Fels and Olver (1999). This provides constructive tools for exploring algebras of differential invariants.
We give an account of the construction of exterior differential systems based on the notion of tableaux over Lie algebras as developed in [Comm. Anal. Geom 14 (2006), 475-496; math.DG/0412169]. The definition of a tableau over a Lie algebra is revisited and extended in the light of the formalism of the Spencer cohomology; the question of involutiveness for the associated systems and their prolongations is addressed; examples are discussed.
We present a differential calculus on the extension of the quantum plane obtained considering that the (bosonic) generator $x$ is invertible and furthermore working polynomials in $\ln x$ instead of polynomials in $x$. We call quantum Lie algebra to this extension and we obtain its Hopf algebra structure and its dual Hopf algebra. Differential geometry of the quantum Lie algebra of the extended quantum plane and its Hopf algebra structure is obtained. Its dual Hopf algebra is also given.
We prove a global algebraic version of the Lie-Tresse theorem which states that the algebra of differential invariants of an algebraic pseudogroup action on a differential equation is generated by a finite number of rational-polynomial differential invariants and invariant derivations.
The aim of this work is to lay the foundations of differential geometry and Lie theory over the general class of topological base fields and -rings for which a differential calculus has been developed in recent work (collaboration with H. Gloeckner and K.-H. Neeb), without any restriction on the dimension or on the characteristic. Two basic features distinguish our approach from the classical real (finite or infinite dimensional) theory, namely the interpretation of tangent- and jet functors as functors of scalar extensions and the introduction of multilinear bundles and multilinear connection…
It is presently our aim to undertake the discussion, of the Parts I and II, on the infinitesimal level and outline as well the transition from infinitesimal to finite, the main reason for this being, of course, the well known fact that arguments and calculation on the infinitesimal level are far simpler that those on the finite level.
We study the interplay between the differential Galois group and the Lie algebra of infinitesimal symmetries of systems of linear differential equations. We show that some symmetries can be seen as solutions of a hierarchy of linear differential systems. We show that the existence of rational symmetries constrains the differential Galois group in the system in a way that depends of the Maclaurin series of the symmetry along the zero solution.
A realization of coherent state Lie algebras by first-order differential operators with holomorphic polynomial coefficients on Kähler coherent state orbits is presented. Explicit formulas involving the Bernoulli numbers and the structure constants for the semisimple Lie groups are proved.
This is the lecture 4 of a mini-course of 4 lectures. Our purpose of this mini-curse is to explain some ideas of E. Cartan and S. Lie when we study differential geometry, particularly we will to explain the Cartan reduction method. The Cartan reduction method is a technique in Differential Geometry for determining whether two geometrical structure are the same up to a diffeomorphism. This method use new tools of differential geometry as principal bundles, $G$-structures and jets theory. We start with an example of a $G$-structure: the 3-webs in $\mathbb{R}^{2}$. Here we use the Cartan method t…
This is the lecture 3 of a mini-course of 4 lectures. Our purpose of this mini-curse is to explain some ideas of E. Cartan and S. Lie when we study differential geometry, particularly we will to explain the Cartan reduction method. The Cartan reduction method is a technique in Differential Geometry for determining whether two geometrical structure are the same up to a diffeomorphism. This method use new tools of differential geometry as principal bundles, $G$-structures and jets theory. We start with an example of a $G$-structure: the 3-webs in $\mathbb{R}^{2}$. Here we use the Cartan method t…
This is the lecture 1 of a mini-course of 4 lectures. Our purpose of this mini-curse is to explain some ideas of E. Cartan and S. Lie when we study differential geometry, particularly we will to explain the Cartan reduction method. The Cartan reduction method is a technique in Differential Geometry for determining whether two geometrical structure are the same up to a diffeomorphism. This method use new tools of differential geometry as principal bundles, $G$-structures and jets theory. We start with an example of a $G$-structure: the 3-webs in $\mathbb{R}^{2}$. Here we use the Cartan method t…
This is the lecture 2 of a mini-course of 4 lectures. Our purpose of this mini-curse is to explain some ideas of E. Cartan and S. Lie when we study differential geometry, particularly we will to explain the Cartan reduction method. The Cartan reduction method is a technique in Differential Geometry for determining whether two geometrical structure are the same up to a diffeomorphism. This method use new tools of differential geometry as principal bundles, $G$-structures and jets theory. We start with an example of a $G$-structure: the 3-webs in $\mathbb{R}^{2}$. Here we use the Cartan method t…
A Lie algebroid over a manifold is a vector bundle over that manifold whose properties are very similar to those of a tangent bundle. Its dual bundle has properties very similar to those of a cotangent bundle: in the graded algebra of sections of its external powers, one can define an operator similar to the exterior derivative. We present in this paper the theory of Lie derivatives, Schouten-Nijenhuis brackets and exterior derivatives in the general setting of a Lie algebroid, its dual bundle and their exterior powers. All the results (which, for their most part, are already known) are given …
The main topic of this paper is two folds. First, we compute the first relative cohomology group of the Lie algebra of smooth vector fields on the projective line, Vect(RP^1), with coefficients in the space of bilinear differential operators that act on tensor densities, D_{λ, ν;μ}, vanishing on the Lie algebra sl(2,R). Second, we compute the first cohomology group of the Lie algebra sl(2,R) with coefficients in D_{λ, ν;μ}.
We show that there is an one-to-one correspondence between resolutions (equivariant w.r.t. a Lie groupoid action) of a singular subset of a manifold, and substacks (of a certain type) of the differential stack associated to the Lie groupoid in question. In particular, we show how to build an equivariant resolution out of Lie subgroupoids (of a certain type).
A survey of real differential geometry and loop theory is given in order to introduce the construction of an analytic loop associated to p-adic differential manifold.
We describe explicitly Lie superalgebra isomorphisms between the Lie superalgebras of first-order superdifferential operators on supermanifolds, showing in particular that any such isomorphism induces a diffeomorphism of the supermanifolds. We also prove that the group of automorphisms of such a Lie superalgebra is a semi-direct product of the subgroup induced by the supermanifold diffeomorphisms and another subgroup which consists of automorphisms determined by even superdivergences. These superdivergences are proven to exist on any supermanifold and their local form is explicitly described a…
A theory of local convexity for a second order differential equation (SODE) on a Lie algebroid is developed. The particular case when the SODE is homogeneous quadratic is extensively discussed.
The assumption in the main result of [Peter W. Michor: Basic Differential Forms for Actions of Lie Groups, Proc. AMS 124, 5 (1996) 1633-1642] is removed. Thus: A section of a Riemannian $G$-manifold $M$ is a closed submanifold $\Si$ which meets each orbit orthogonally. It is shown that the algebra of $G$-invariant differential forms on $M$ which are horizontal in the sense that they kill every vector which is tangent to some orbit, is isomorphic to the algebra of those differential forms on $\Si$ which are invariant with respect to the generalized Weyl group of $\Si$, without any further condi…
A section of a Riemannian $G$-manifold $M$ is a closed submanifold $Σ$ which meets each orbit orthogonally. It is shown that the algebra of $G$-invariant differential forms on $M$ which are horizontal in the sense that they kill every vector which is tangent to some orbit, is isomorphic to the algebra of those differential forms on $Σ$ which are invariant with respect to the generalized Weyl group of this orbit, under some condition.
We explain that general differential calculus and Lie theory have a common foundation: Lie Calculus is differential calculus, seen from the point of view of Lie theory, by making use of the groupoid concept as link between them. Higher order theory naturally involves higher algebra (n-fold groupoids).(conceptual, topological) differential calculus, groupoids, higher algebra($n$-fold groupoids), Lie group, Lie groupoid, tangent groupoid, cubes of rings
We demonstrate that the notions of derivative representation of a Lie algebra on a vector bundle, of semi-linear representations of a Lie group on a vector bundle, and related concepts, may be understood in terms of representations of Lie algebroids and Lie groupoids, and we indicate how these notions extend to derivative representations of Lie algebroids and semi-linear representations of Lie groupoids in general.
We present an axiomatic approach to finite- and infinite-dimensional differential calculus over arbitrary infinite fields (and, more generally, suitable rings). The corresponding basic theory of manifolds and Lie groups is developed. Special attention is paid to the case of mappings between topological vector spaces over non-discrete topological fields, in particular ultrametric fields or the fields of real and complex numbers. In the latter case, a theory of differentiable mappings between general, not necessarily locally convex spaces is obtained, which in the locally convex case is equivale…
These are expository notes from the 2008 Srni Winter School. They have two purposes: (1) to give a quick introduction to exterior differential systems (EDS), which is a collection of techniques for determining local existence to systems of partial differential equations, and (2) to give an exposition of recent work (joint with C. Robles) on the study of the Fubini-Griffiths-Harris rigidity of rational homogeneous varieties, which also involves an advance in the EDS technology.
The space of m-ary differential operators acting on weighted densities is a (m+1)-parameter family of modules over the Lie algebra of vector fields. For almost all the parameters, we construct a canonical isomorphism between this space and the corresponding space of symbols as sl(2)-modules. This yields to the notion of the sl(2)-equivariant symbol calculus for m-ary differential operators. We show, however, that these two modules cannot be isomorphic as sl(2)-modules for some particular values of the parameters. Furthermore, we use the symbol map to show that all modules of second-order m-ary…
This paper encloses a complete and explicit description of the derivations of the Lie algebra D(M) of all linear differential operators of a smooth manifold M, of its Lie subalgebra D^1(M) of all linear first-order differential operators of M, and of the Poisson algebra S(M)=Pol(T*M) of all polynomial functions on T*M, the symbols of the operators in D(M). It turns out that, in terms of the Chevalley cohomology, H^1(D(M),D(M))=H^1_{DR}(M), H^1(D^1(M),D^1(M))=H^1_{DR}(M)\oplus\R^2, and H^1(S(M),S(M))=H^1_{DR}(M)\oplus\R. The problem of distinguishing those derivations that generate one-paramete…
Let $G$ be an arbitrary compact Lie group. In this work we apply the method of the analytic continuation of traces in order to compute the Wodzicki residue for a classical pseudo-differential operator on $G$ in terms of its matrix-valued symbol (which is globally defined on the non-commutative phase space $G\times \widehat{G},$ with $\widehat{G}$ being the unitary dual of $G$). Our main theorem is complementary to the results in [2], where we remove the ellipticity hypothesis when the operators belong to the Hörmander classes on $G$ defined by local coordinate systems.
