Infinite-dimensional super Lie groups

A super Lie group is a group whose operations are G^∞ mappings in the sense of Rogers. Thus the underlying supermanifold possesses an atlas whose transition functions are G^∞ functions. Moreover the images of our charts are open subsets of a graded infinite-dimensional Banach space since our space of supernumbers is a Banach Grassmann algebra with a countably infinite set of generators.In this context, we prove that if h is a closed, split sub-super Lie algebra of the super Lie algebra of a super Lie group G, then h is the super Lie algebra of a sub-super Lie group of G. Additionally, we show that if g is a Banach super Lie algebra satisfying certain natural conditions, then there is a super Lie group G such that the super Lie algebra g is in fact the super Lie algebra of G. We also show that if H is a closed sub-super Lie group of a super Lie group G, then G→G/H is a principal fiber bundle.We emphasize that some of these theorems are known when one works in the super-analytic category and also when the space of supernumbers is finitely generated in which case, one can use finite-dimensional techniques. The issues dealt with here are that our supermanifolds are modeled on graded Banach spaces and that all mappings must be morphisms in the G^∞ category.     

Hilbert spaces with generic groups of automorphisms

Let G be a countable group. We prove that there is a model companion for the theory of Hilbert spaces with a group G of automorphisms. We use a theorem of Hulanicki to show that G is amenable if and only if the structure induced by countable copies of the regular representation of G is existentially closed.     

Conformally parallel G 2 structures on a class of solvmanifolds

Starting from a 6-dimensional nilpotent Lie group N endowed with an invariant SU(3) structure, we construct a homogeneous conformally parallel G₂-metric on an associated solvmanifold. We classify all half-flat SU(3) structures that endow the rank-one solvable extension of N with a conformally parallel G₂ structure. By suitably deforming the SU(3) structures obtained, we are able to describe the corresponding non-homogeneous Ricci-flat metrics with holonomy contained in G₂. In the process we also find a new metric with exceptional holonomy. Received: 20 September     

Linear Groups Definable in o-Minimal Structures

We study subgroups G of GL(n, R) definable in o-minimal expansions M = (R, +, · ,…) of a real closed field R. We prove several results such as: (a) G can be defined using just the field structure on R together with, if necessary, power functions, or an exponential function definable in M. (b) If G has no infinite, normal, definable abelian subgroup, then G is semialgebraic. We also characterize the definably simple groups definable in o-minimal structures as those groups elementarily equivalent to simple Lie groups, and we give a proof of the Kneser–Tits conjecture for real closed fields.     

Bernstein's theorem for compact groups

In this paper we generalize the classical Bernstein theorem concerning the absolute convergence of the Fourier series of Lipschitz functions. More precisely, we consider a group G which is finite dimensional, compact, and separable and has an infinite, closed, totally disconnected, normal subgroup D, such that $\text{G}\text{D}$ is a Lie group. Using this structure, we define in a natural way the notion of Lipschitz condition, and then prove that a function which satisfies a Lipschitz condition of order greater than $\text{(}\text{dim}\text{G + 1)}\text{2}$ belongs to the Fourier algebra of G.     

On compact semisimple Lie groups as 2-plectic manifolds

In this paper a compact and semisimple Lie group G is considered endowed with a 2-plectic structure ω, induced by the Killing form. We show that the Lie group of 2-plectomorphisms of G is finite dimensional and compact, and hence the Darboux’s theorem fails to be true for this 2-plectic structure. Also it is shown that ω induces a left-invariant \({\mathfrak{g}^{*}}\) valued 2-form which is proportional to dΘ, where Θ is the Cartan–Maurer 1-form on G. At last we consider the action of G on its tangent bundle which is furnished with the 2-plectic structure ω ^c , the complete lift of ω, and calculate covariant momentum map of this action.     

Caractères des groupes de Lie

Let G be a real Lie group with Lie algebra $\text{G}$. M. Duflo has constructed irreducible unitary representations of G associated to some G-orbits Ω in the dual $\text{G}$¹ of $\text{G}$. We prove a character formula when Ω is tempered, closed, and of maximal dimension.     

Twisted longitudinal index theorem for foliations and wrong way functoriality

For a Lie groupoid G with a twisting σ (a PU(H)-principal bundle over G), we use the (geometric) deformation quantization techniques supplied by Connes tangent groupoids to define an analytic index morphism in twisted K-theory. In the case the twisting is trivial we recover the analytic index morphism of the groupoid.For a smooth foliated manifold with twistings on the holonomy groupoid we prove the twisted analog of the Connes–Skandalis longitudinal index theorem. When the foliation is given by fibers of a fibration, our index coincides with the one recently introduced by Mathai, Melrose, and Singer.We construct the pushforward map in twisted K-theory associated to any smooth (generalized) map f:W→M/F and a twisting σ on the holonomy groupoid M/F, next we use the longitudinal index theorem to prove the functoriality of this construction. We generalize in this way the wrong way functoriality results of Connes and Skandalis when the twisting is trivial and of Carey and Wang for manifolds.     

On the failure of spectral synthesis for compact semisimple Lie groups

Let G be a compact connected semisimple Lie group with Lie algebra $\text{g}$. We show that the conjugacy class of a regular element of G is not a set of synthesis for the Fourier algebra of G. Similarly, the Ad(G)-orbit of a regular element of $\text{g}$ is not a set of synthesis for the algebra of Fourier transforms on $\text{g}$. In proving this latter result we demonstrate a regularity property of Ad-invariant Fourier transforms, analogous to the differentiability of radial Fourier transforms.     

On the Schwartz-Bruhat space and the Paley-Wiener theorem for locally compact abelian groups

Let G be a locally compact abelian group. The Schwartz-Bruhat space of functions on G is then defined in terms of Lie subquotient groups. We give an alternative characterization which involves asymptotic behavior of the function and its Fourier transform, and which makes no reference to Lie theory. We then prove the Paley-Wiener theorem for the Fourier transform of C_C^∞(G). The asymptotic estimates which arise are closely related to those used to characterize the Schwartz-Bruhat space.     

Proper smooth G-manifolds have complete G-invariant Riemannian metrics

Assume G is a Lie group, K is a compact subgroup of G and M is a proper smooth G-manifold. Using properties of the regular representations L²(G) and L²(K), we first prove results about extending certain representations and embedding homogeneous spaces smoothly into Hilbert G-spaces. We then prove that M can be embedded as a closed smooth G-invariant submanifold of some Hilbert G-space. It follows that M admits a complete G-invariant smooth Riemannian metric.     

A sufficient condition for the complete reducibility of the regular representation

The “Mackey machine” is heavily employed to prove the following theorem. Let G be a separable locally compact group. Suppose that every positive definite function p on G which vanishes at infinity is associated with the regular representation R, i.e., p(g) = (R_g?, ?) for some L² function ?. Then R decomposes into a direct sum of irreducible representations. This generalizes the theorem of Figà-Talamanca for unimodular groups. Although we use his result several times, our techniques are basically very different, the most difficult part occurring in a connected Lie group context.     

Metric properties on Lie groups of polynomial volume growth

It is well known that we have an algebraic characterization of connected Lie groups of polynomial volume growth: a Lie group G has polynomial volume growth if and only if it is of type R. In this paper, we shall give a geometric characterization of connected Lie groups of polynomial volume growth in terms of the distance distortion of the subgroups. More precisely, we prove that a connected Lie group G has polynomial volume growth if and only if every closed subgroup has a polynomial distortion in G.     

Linearization of Poisson groupoids

Motivated by a search for Lie group structures on groups of Poisson diffeomorphisms, we investigate linearizability of Poisson structures of Poisson groupoids around the unit section. After extending the Lagrangian neighbourhood theorem to the setting of cosymplectic Lie algebroids, we establish that dual integrations of triangular bialgebroids are always linearizable. Additionally, we show that the (non-dual) integration of a triangular Lie bialgebroid is linearizable whenever the $r$-matrix is of so-called cosymplectic type. The proof relies on the integration of a triangular Lie bialgebroid to a symplectic LA-groupoid, and in the process we define interesting new examples of double Lie algebroids and LA-groupoids. We also show that the product Poisson groupoid can only be linearizable when the Poisson structure on the unit space is regular.     

On approximation of Lie groups by discrete subgroups

A locally compact group G is said to be approximated by discrete subgroups (in the sense of Tôyama) if there is a sequence of discrete subgroups of G that converges to G in the Chabauty topology (or equivalently, in the Vietoris topology). The notion of approximation of Lie groups by discrete subgroups was introduced by Tôyama in Kodai Math. Sem. Rep. 1 (1949) 36–37 and investigated in detail by Kuranishi in Nagoya Math. J. 2 (1951) 63–71. It is known as a theorem of Tôyama that any connected Lie group approximated by discrete subgroups is nilpotent. The converse, in general, does not hold. For example, a connected simply connected nilpotent Lie group is approximated by discrete subgroups if and only if G has a rational structure. On the other hand, if Γ is a discrete uniform subgroup of a connected, simply connected nilpotent Lie group G then G is approximated by discrete subgroups Γ _n containing Γ. The proof of the above result is by induction on the dimension of G, and gives an algorithm for inductively determining Γ _n . The purpose of this paper is to give another proof in which we present an explicit formula for the sequence (Γ _n ) _n?≥?0 in terms of Γ. Several applications are given.     

Isotropic foliations of coadjoint orbits from the Iwasawa decomposition

Let G be a noncompact real semisimple Lie group. The set of regular coadjoint orbits of G can be partitioned according to a finite set of types. We show that on each regular orbit, the Iwasawa decomposition induces a left-invariant foliation which is isotropic with respect to the Kirillov symplectic form. Moreover, the leaves are affine subspaces of the dual of the Lie algebra, and the dimension of the leaves depends only on the type of the orbit. When G is a split real form, the foliations induced from the Iwasawa decomposition are actually Lagrangian fibrations with a global transverse Lagrangian section.     

Stability of Discontinuous Groups Acting on Homogeneous Spaces

Suppose given a nilpotent connected simply connected Lie group G, a connected Lie subgroup H of G, and a discontinuous group Γ for the homogeneous space M = G/H. In this work we study the topological stability of the parameter space R(Γ,G,H) in the case where G is three-step. We prove a stability theorem for certain particular pairs (Γ,H). We also introduce the notion of strong stability on layers making use of an explicit layering of Hom(Γ,G) and study the case of Heisenberg groups.     

Closed geodesics and holonomies for Kleinian manifolds

For a rank one Lie group G and a Zariski dense and geometrically finite subgroup \({\Gamma}\) of G, we establish the joint equidistribution of closed geodesics and their holonomy classes for the associated locally symmetric space. Our result is given in a quantitative form for geometrically finite real hyperbolic manifolds whose critical exponents are big enough. In the case when \({G={\rm PSL}_2 (\mathbb{C})}\) , our results imply the equidistribution of eigenvalues of elements of Γ in the complex plane. When \({\Gamma}\) is a lattice, the equidistribution of holonomies was proved by Sarnak and Wakayama in 1999 using the Selberg trace formula.     

Second cohomology groups for Frobenius kernels and related structures

Let G be a simple simply connected affine algebraic group over an algebraically closed field k of characteristic p for an odd prime p. Let B be a Borel subgroup of G and U be its unipotent radical. In this paper, we determine the second cohomology groups of B and its Frobenius kernels for all simple B-modules. We also consider the standard induced modules obtained by inducing a simple B-module to G and compute all second cohomology groups of the Frobenius kernels of G for these induced modules. Also included is a calculation of the second ordinary Lie algebra cohomology group of Lie(U) with coefficients in k.     

Complex Projective Structures with Schottky Holonomy

Let S be a closed orientable surface of genus at least two. Let ?? be a Schottky group whose rank is equal to the genus of S, and ?? be the domain of discontinuity of ??. Pick an arbitrary epimorphism : ${{\rho : \pi_{1}(S) \rightarrow \Gamma}}$ . Then ??/?? is a surface homeomorphic to S carrying a (complex) projective structure with holonomy ??. We show that every projective structure with holonomy ?? is obtained by (2??)grafting ??/?? along a multiloop on S.