Low dimensional Lie groups admitting left invariant flat projective or affine structures

We prove that any real Lie group of dimension ?5 admits a left invariant flat projective structure. We also prove that a real Lie group L of dimension ?5 admits a left invariant flat affine structure if and only if the Lie algebra of L is not perfect.     

Algebraic and topological entropy on lie groups

This paper starts with some examples and quick results on the topological entropy of continuous functions. It discusses the topological entropy on Lie groups and proves their shift properties. It proves Fried's conjecture h(φγ) <- h(φ)+h(γ) for affine maps on Lie groups. Moreover, φ and γ do not have to commute. As a corollary, it proves that entropy is invariant with isometric endomorphisms of Lie groups. Also, it discusses algebraic entropy on elementary Abelian groups and Lie groups. It proves that the topological entropy is preserved when projected from Lie group lib to its quotient space compact Lie group ^S1 for continuous functions lifted from the quotient space and shows that algebraic entropy in general is strictly less than topological entropy.     

Lie properties of symmetric elements in group rings II

Let F be a field of characteristic different from 2, and G a group with involution ∗. Write (FG)⁺ for the set of elements in the group ring FG that are symmetric with respect to the induced involution. Recently, Giambruno, Polcino Milies and Sehgal showed that if G has no 2-elements, and (FG)⁺ is Lie nilpotent (resp. Lie n-Engel), then FG is Lie nilpotent (resp. Lie m-Engel, for some m). Here, we classify the groups containing 2-elements such that (FG)⁺ is Lie nilpotent or Lie n-Engel.     

On geometric vector fields of Minkowski spaces and their applications

As it is well-known, a Minkowski space is a finite dimensional real vector space equipped with a Minkowski functional F. By the help of its second order partial derivatives we can introduce a Riemannian metric on the vector space and the indicatrix hypersurface S:=F⁻¹(1) can be investigated as a Riemannian submanifold in the usual sense.Our aim is to study affine vector fields on the vector space which are, at the same time, affine with respect to the Funk metric associated with the indicatrix hypersurface. We give an upper bound for the dimension of their (real) Lie algebra and it is proved that equality holds if and only if the Minkowski space is Euclidean. Criteria of the existence is also given in lower dimensional cases. Note that in case of a Euclidean vector space the Funk metric reduces to the standard Cayley-Klein metric perturbed with a nonzero 1-form.As an application of our results we present the general solution of Matsumoto's problem on conformal equivalent Berwald and locally Minkowski manifolds. The reasoning is based on the theory of harmonic vector fields on the tangent spaces as Riemannian manifolds or, in an equivalent way, as Minkowski spaces. Our main result states that the conformal equivalence between two Berwald manifolds must be trivial unless the manifolds are Riemannian.     

Real eigenvalues of nonnegative matrices which commute with a symmetric matrix involution

It is well known that if P is a nonnegative matrix, then its spectral radius is an eigenvalue of P (Perron-Frobenius theorem). In this paper it is shown that if P is an n × n nonnegative matrix and it commutes with a nonnegative symmetric involution when n=4m+3, then (1) P has at least two real eigenvalues if n=4m or 4m + 2, (2) P has at least one real eigenvalue if n=4m+1, and (3) P has at least three real eigenvalues if n=4m+3, where m is a nonnegative integer and n ? 1. Examples are given to show that these results are the best possible, and nonnegative symmetric involutions are classified.     

On the exponentiality of affine symmetric spaces

An affine symmetric space G/H is said to be exponential if every two points of this space can be joined by a geodesic and weakly exponential if the union of all geodesics issuing from one point is everywhere dense in G/H. For the group space (G × G)/G _diag of a Lie group G, these properties are equivalent to the exponentiality and weak exponentiality of G, respectively. We generalize known theorems on the image of the exponential mapping in Lie groups to the case of affine symmetric spaces. We prove the weak exponentiality of the symmetric spaces of solvable Lie groups, and in the semisimple case we obtain criteria for exponentiality and weak exponentiality.     

Phragmén-Lindelöf conditions for graph varieties

For P_m ∈ ?[z₁, …, z_n], homogeneous of degree m we investigate when the graph of P_m in ?ⁿ⁺¹ satisfies the Phragmén-Lindelöf condition PL(?ⁿ⁺¹, log), or equivalently, when the operator $i{\partial \over \partial_{x_{n+1}}}+P_{m}(D)$ admits a continuous solution operator on C^∞(?ⁿ⁺¹). This is shown to happen if the varieties V_+- ? {z ∈ ?ⁿ: P_m(z) = ±1} satisfy the following Phragmén-Lindelöf condition (SPL): There exists A ≥ 1 such that each plurisubharmonic function u on V_+- satisfying u(z) ≤ ¦z¦+ o(¦z¦) on V_+- and u(x) ≤ 0 on V_+- ∩ ?ⁿ also satisfies u(z) A¦ Im z¦ on V_+-. Necessary as well as sufficient conditions for V_+- to satisfy (SPL) are derived and several examples are given.     

Compact complex homogeneous manifolds with large automorphism groups

Let X be a compact complex homogeneous manifold and let Aut(X) be the complex Lie group of holomorphic automorphisms of X. It is well-known that the dimension of Aut(X) is bounded by an integer that depends only on n=dim X. Moreover, if X is K?hler then dimAut (X)≤n(n+2) with equality only when X is complex projective space. In this article examples of non-K?hler compact complex homogeneous manifolds X are given that demonstrate dimAut(X) can depend exponentially on n. Let X be a connected compact complex manifold of dimension n. The group of holomorphic automorphisms of X, Aut(X), is a complex Lie group [3]. For a fixed n>1, the dimension of Aut(X) can be arbitrarily large compared to n. Simple examples are provided by the Hirzebruch surfaces F _m , m∈N, for which dimAut(F _m )=m+5, see, e.g. [2, Example 2.4.2]. If X is homogeneous, that is, any point of X can be mapped to any other point of X under a holomorphic automorphism, then the dimension of the automorphism group of X is bounded by an integer that depends only on n, see [1, 2, 6]. The estimate given in [2, Theorem 3.8.2] is roughly dimAut(X)≤(n+2) ⁿ . For many classes of manifolds, however, the dimension of the automorphism group never exceeds n(n+2). For example, it follows directly from the classification given by Borel and Remmert [4], that if X is a compact homogeneous K?hler manifold, then dimAut(X)≤n(n+2) with equality only when X is complex projective space P ⁿ . It is an old question raised by Remmert, see [2, p. 99], [6], whether this same bound applies to all compact complex homogeneous manifolds. In this note we show that this is not the case by constructing non-K?hler compact complex homogeneous manifolds whose automorphism group has a dimension that depends exponentially on n. The simplest case among these examples has n=3m+1 and dimAut(X)=3m+3 ^m , so the above conjectured bound is exceeded when n≥19. These manifolds have the structure of non-trivial fiber bundles over products of flag manifolds with parallelizable fibers given as the quotient of a solvable group by a discrete subgroup. They are constructed using the original ideas of Otte [6, 7] and are surprisingly similar to examples found there. Generally, a product of manifolds does not result in an automorphism group with a large dimension relative to n. Nevertheless, products are used in an essential way in the construction given here, and it is perhaps this feature that caused such examples to be previously overlooked. Oblatum 13-X-97 & 24-X-1997     

Congruence Criteria for Finite Subsets of Quaternionic Elliptic and Quaternionic Hyperbolic Spaces

We investigate congruence classes of m-tuples of points in the quaternionic elliptic space ?P ⁿ . We establish a canonical bijection between the set of congruence classes of m-tuples of points in ?P ⁿ and the set of equivalence classes of positive semidefinite Hermitian m×m matrices of rank at most n+1 with the 1's on the diagonal. We show that with each m-tuple of points in ?P ⁿ is associated a tuple of points on the real unit sphere S ². Then we get that the congruence class of an m-tuple of points in ?P ⁿ is determined by the congruence classes of all its triangles and by the direct congruence class of the associated tuple on the sphere S ² provided that no pair of points of the m-tuple has distance π/2. Finally we carry out the same kind of investigation for the quaternionic hyperbolic space ?H ⁿ . Most of the results are completely analogous, although there are also some interesting differences.     

On lie algebras of affine vector fields of ideal realizations of holomorphic linear connections

We study the properties of real realizations of holomorphic linear connections over associative commutative algebras \(\mathbb{A}\) _m with unity. The following statements are proved.If a holomorphic linear connection ? on M _n over \(\mathbb{A}\) _m (m ≥ 2) is torsion-free and R ≠ 0, then the dimension over ? of the Lie algebra of all affine vector fields of the space (M _mn ^? , ?^?) is no greater than (mn)² ? 2mn + 5, where m = dim_? \(\mathbb{A}\), \(n = dim_\mathbb{A} \) M _n , and ?^? is the real realization of the connection ?.Let ?^? =¹ ? ײ ? be the real realization of a holomorphic linear connection ? over the algebra of double numbers. If the Weyl tensor W = 0 and the components of the curvature tensor ¹ R ≠ 0, ² R ≠ 0, then the Lie algebra of infinitesimal affine transformations of the space (M _2n ^? , ?^?) is isomorphic to the direct sum of the Lie algebras of infinitesimal affine transformations of the spaces ( ^a M _n , ^a ?) (a = 1, 2).     

On certain finite-dimensional algebras generated by two idempotents

This paper is concerned with algebras generated by two idempotents P and Q satisfying (PQ)^m=(QP)^m and (PQ)^m-1≠(QP)^m-1. The main result is the classification of all these algebras, implying that for each m?2 there exist exactly eight nonisomorphic copies. As an application, it is shown that if an element of such an algebra has a nondegenerate leading term, then it is group invertible, and a formula for the explicit computation of the group inverse is given.     

Conjugate connections and Radon's theorem in affine differential geometry

For a given nondegenerate hypersurfaceM ⁿ in affine space ? ⁿ⁺¹ there exist an affine connection ?, called the induced connection, and a nondegenerate metrich, called the affine metric, which are uniquely determined. The cubic formC=?h is totally symmetric and satisfies the so-called apolarity condition relative toh. A natural question is, conversely, given an affine connection ? and a nondegenerate metrich on a differentiable manifoldM ⁿ such that ?h is totally symmetric and satisfies the apolarity condition relative toh, canM ⁿ be locally immersed in ? ⁿ⁺¹ in such a way that (?,h) is realized as the induced structure? In 1918J. Radon gave a necessary and sufficient condition (somewhat complicated) for the problem in the casen=2. The purpose of the present paper is to give a necessary and sufficient condition for the problem in casesn=2 andn≥3 in terms of the curvature tensorR of the connection ?. We also provide another formulation valid for all dimensionsn: A necessary and sufficient condition for the realizability of (?,h) is that the conjugate connection of ? relative toh is projectively flat.     

Dual submanifolds in rational homology spheres

Let Σ be a simply connected rational homology sphere. A pair of disjoint closed submanifolds M_+, M_-? Σ are called dual to each other if the complement Σ-M_+ strongly homotopy retracts onto M_- or vice-versa. In this paper, we are concerned with the basic problem of which integral triples(n; m_+, m-) ∈ N~3 can appear, where n = dimΣ-1 and m_± = codim M_±-1. The problem is motivated by several fundamental aspects in differential geometry.(i) The theory of isoparametric/Dupin hypersurfaces in the unit sphere S~(n+1) initiated by′Elie Cartan, where M_± are the focal manifolds of the isoparametric/Dupin hypersurface M ? S~(n+1), and m± coincide with the multiplicities of principal curvatures of M.(ii) The Grove-Ziller construction of non-negatively curved Riemannian metrics on the Milnor exotic spheres Σ,i.e., total spaces of smooth S~3-bundles over S~4 homeomorphic but not diffeomorphic to S~7, where M_± =P_±×_(SO(4))S~3, P → S~4 the principal SO(4)-bundle of Σ and P_± the singular orbits of a cohomogeneity one SO(4) × SO(3)-action on P which are both of codimension 2.Based on the important result of Grove-Halperin, we provide a surprisingly simple answer, namely, if and only if one of the following holds true:· m_+ = m_-= n;· m_+ = m_-=1/3n ∈ {1, 2, 4, 8};· m_+ = m_-=1/4n ∈ {1, 2};· m_+ = m_-=1/6n ∈ {1, 2};·n/(m_++m_-)= 1 or 2, and for the latter case, m_+ + m_-is odd if min(m_+, m_-)≥2.In addition, if Σ is a homotopy sphere and the ratio n/(m_++m_-)= 2(for simplicity let us assume 2 m_- m_+),we observe that the work of Stolz on the multiplicities of isoparametric hypersurfaces applies almost identically to conclude that, the pair can be realized if and only if, either(m_+, m_-) =(5, 4) or m_+ + m_-+ 1 is divisible by the integer δ(m_-)(see the table on Page 1551), which is equivalent to the existence of(m_--1) linearly independent vector fields on the sphere S~(m_++m_-)by Adams' celebrated work. In contrast, infinitely many counterexamples are given if Σ is a rational homology sphere.     

A construction of 2-designs from Steiner systems and extendable designs

We give a construction of a 2-(mn²+1,mn,(n+1)(mn−1)) design starting from a Steiner system S(2,m+1,mn²+1) and an affine plane of order n. This construction is applied to known classes of Steiner systems arising from affine and projective geometries, Denniston designs, and unitals. We also consider the extendability of these designs to 3-designs.     

Equivariant cohomology of incidence Hilbert schemes and infinite dimensional Lie algebras

Let S be the affine plane ${\mathbb C^2}$ together with an appropriate ${\mathbb T = \mathbb C^*}$ action. Let S ^[m,m+1] be the incidence Hilbert scheme. Parallel to Li and Qin (2007, Incidence Hilbert schemes and infinite dimensional Lie algebras, Hangzhou), we construct an infinite dimensional Lie algebra that acts on the direct sum $$\widetilde {\mathbb H}_{\mathbb T} = \bigoplus_{m=0}^{+\infty}H^{2(m+1)}_{\mathbb T}(S^{[m,m+1]})$$ of the middle-degree equivariant cohomology group of S ^[m,m+1]. The algebra is related to an infinite dimensional Heisenberg algebra. In addition, we study the transformations among three different linear bases of ${\widetilde {\mathbb H}_{\mathbb T}}$ . Our results are applied to the ring structure of the ordinary cohomology of S ^[m,m+1] and to the ring of symmetric functions in infinitely many variables.     

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.     

Subadditive affine-invariant transformations of convex bodies

We prove two results about the continuous maps F, from the space of d-dimensional convex bodies K of ? ^d into the space of non-empty compact sets of ? ^d , which are subadditive and invariant by affine permutations. The first theorem gives properties of the images F(K). In the second one, we determine the largest map (with respect to inclusion of images) in the family of all subadditive and continuous affine invariants F such that F(P)?p+(2r-1)(P-p) where P is a given parallelotope with center P and where r is a number between d/(d+1) and 1.     

Finite extensions and unipotent shadows of affine crystallographic groupsExtensions finies et ombres unipotentes des groupes affines cristallographiques

Let Γ be a virtually polycyclic group so that the Fitting subgroup is torsion-free and contains its centralizer. We prove that an effective extension of Γ by a finite group μ is isomorphic to an affine crystallographic group if and only if there exists a fixed point for the action of μ on the deformation space of affine crystallographic actions of Γ. We associate to Γ a finitely generated torsion-free nilpotent group Θ which is called the unipotent shadow of Γ, and we relate the deformation space of Γ to the deformation space of Θ. As an application, we show that Γ is isomorphic to an affine crystallographic group if, e.g., Θ has nilpotency class ?3, or if the polycylic rank of Γ is ?5, and also in some other cases. To cite this article: O. Baues, C. R. Acad. Sci. Paris, Ser. I 335 (2002) 785–788.     

Invariant convex sets in polar representations

We study a compact invariant convex set E in a polar representation of a compact Lie group. Polar representations are given by the adjoint action of K on p, where K is a maximal compact subgroup of a real semisimple Lie group G with Lie algebra g = k ⊕ p. If a ? p is a maximal abelian subalgebra, then P = E ∩ a is a convex set in a. We prove that up to conjugacy the face structure of E is completely determined by that of P and that a face of E is exposed if and only if the corresponding face of P is exposed. We apply these results to the convex hull of the image of a restricted1 momentum map.